gameplay: port exit class guard

crates/urt-gameplay/src/bin/urt-lifecycle.rs

@@ -79,6 +79,20 @@ fn scoreboard_clients(
     }
     Ok((clients, names))
 }
+fn exit_client(v: &[u32]) -> urt_gameplay::exit_rules::Client {
+    urt_gameplay::exit_rules::Client {
+        connection: v[0] as i32,
+        team: v[1] as i32,
+        class: v[2] as i32,
+        id: v[3] as i32,
+        score: v[4] as i32,
+        field304: v[5] as i32,
+        field308: v[6] as i32,
+        packed: v[7],
+        field3692: v[8] as i32,
+        field3700: v[9] as i32,
+    }
+}
 fn main() {
     if let Err(e) = run() {
         eprintln!("{e}");
@@ -394,6 +408,16 @@ fn run() -> Result<(), String> {
                 second.cached_ping as u32
             );
         }
+        "exit-class" if w.len() >= 3 && w[2] <= 64 => {
+            let n = w[2] as usize;
+            if w.len() != 3 + 10 * n {
+                return Err("invalid exit clients".into());
+            }
+            let clients: Vec<_> = w[3..].chunks_exact(10).map(exit_client).collect();
+            let p = urt_gameplay::exit_rules::class_guard(w[0] as i32, &clients, w[1] as usize)
+                .map_err(|e| format!("unsupported input: {e:?}"))?;
+            println!("{{\"offender\":{}}}", p.map(|i| i as i32).unwrap_or(-1));
+        }
         "qvm-float" if w.len() == 3 => {
             let precision = if (w[2] as i32) < 0 {
                 None

crates/urt-gameplay/src/exit_rules.rs

@@ -0,0 +1,79 @@
+//! Finite7805 policy contracts. Transition/format/send/world effects are separate.
+#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
+pub struct Client {
+    pub connection: i32,
+    pub team: i32,
+    pub class: i32,
+    pub id: i32,
+    pub score: i32,
+    pub field304: i32,
+    pub field308: i32,
+    pub packed: u32,
+    pub field3692: i32,
+    pub field3700: i32,
+}
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub enum Error {
+    InvalidScan,
+    InvalidEntity,
+}
+fn scan(clients: &[Client], count: usize) -> Result<&[Client], Error> {
+    if clients.len() > 64 || count > clients.len() {
+        return Err(Error::InvalidScan);
+    }
+    Ok(&clients[..count])
+}
+/// Mode11 first offending state2/team0 record, scanning configured max slots.
+pub fn class_guard(
+    mode: i32,
+    clients: &[Client],
+    max_clients: usize,
+) -> Result<Option<usize>, Error> {
+    let clients = scan(clients, max_clients)?;
+    if mode != 11 {
+        return Ok(None);
+    }
+    Ok(clients
+        .iter()
+        .position(|c| c.connection == 2 && c.team == 0 && c.class > 20))
+}
+#[cfg(test)]
+mod tests {
+    use super::*;
+    #[test]
+    fn first_offender_and_count_limit() {
+        let mut c = [Client::default(); 64];
+        c[31] = Client {
+            connection: 2,
+            class: 21,
+            ..Client::default()
+        };
+        c[63] = c[31];
+        assert_eq!(class_guard(11, &c, 64).unwrap(), Some(31));
+        assert_eq!(class_guard(11, &c, 31).unwrap(), None);
+        assert_eq!(class_guard(9, &c, 64).unwrap(), None);
+    }
+    #[test]
+    fn signed_class_connection_team_and_safe_scan() {
+        let c = [
+            Client {
+                connection: 2,
+                class: -1,
+                ..Client::default()
+            },
+            Client {
+                connection: 1,
+                class: 99,
+                ..Client::default()
+            },
+            Client {
+                connection: 2,
+                team: 3,
+                class: 99,
+                ..Client::default()
+            },
+        ];
+        assert_eq!(class_guard(11, &c, 3).unwrap(), None);
+        assert_eq!(class_guard(11, &c, 4), Err(Error::InvalidScan));
+    }
+}

crates/urt-gameplay/src/lib.rs

@@ -169,3 +169,5 @@ pub mod scoreboard_wire;
 pub mod qvm_format;
 
 pub mod exit_prefix;
+
+pub mod exit_rules;

docs/FINDINGS.md

@@ -1478,3 +1478,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-826:** Mode11 exits on the first state2/team0 client whose signed class exceeds20, using the configured max-client count rather than the collected client count. [Evidence](research/QVM_EXIT_CLASS.md).
+
+
+**RE-827:** Rust reproduces the original first-offender mode11 guard and keeps the configured scan bound explicit and safe. [Evidence](research/RUST_EXIT_CLASS.md).

docs/PROVISIONAL_TODO.md

@@ -1491,3 +1491,6 @@ RE-825: Rust now reproduces original37498 fractional truncation and integer-only
 
 
 RE-826: Mode11 exits on the first state2/team0 client whose signed class exceeds20, using the configured max-client count rather than the collected client count. Full runtime completion remains open. [Evidence](research/QVM_EXIT_CLASS.md).
+
+
+RE-827: Rust reproduces the original first-offender mode11 guard and keeps the configured scan bound explicit and safe. Full runtime completion remains open. [Evidence](research/RUST_EXIT_CLASS.md).

docs/RESEARCH_LEDGER.md

@@ -1800,3 +1800,8 @@ Rust now reproduces original37498 fractional truncation and integer-only width p
 ## 2026-10-27 — RE-826 Original exit-rule mode11 class guard and scan bound
 
 Mode11 exits on the first state2/team0 client whose signed class exceeds20, using the configured max-client count rather than the collected client count. Focused `cargo xtask test-group exit-class` passes (5 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.
+
+
+## 2026-10-27 — RE-827 Rust exit-rule class guard with bounded configured scanning
+
+Rust reproduces the original first-offender mode11 guard and keeps the configured scan bound explicit and safe. Focused `cargo xtask test-group rust-exit-class` passes (9 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1528,3 +1528,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-826 Original exit-rule mode11 class guard and scan bound ([evidence](research/QVM_EXIT_CLASS.md)).
+
+
+- [x] RE-827 Rust exit-rule class guard with bounded configured scanning ([evidence](research/RUST_EXIT_CLASS.md)).

docs/research/README.md

@@ -1068,3 +1068,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-826: Original exit-rule mode11 class guard and scan bound](QVM_EXIT_CLASS.md).
+
+
+[RE-827: Rust exit-rule class guard with bounded configured scanning](RUST_EXIT_CLASS.md).

docs/research/RUST_EXIT_CLASS.md

@@ -0,0 +1,7 @@
+# Rust exit-rule class guard with bounded configured scanning
+
+RE-827. Reproduce with `python3 scripts/analyze_rust_exit_class.py`; focused validation: `cargo xtask test-group rust-exit-class`. [Machine report](rust-exit-class.json).
+
+45 source fixtures verify exact offender selection, raw signed class behavior and mode/state/team gates. Unit tests cover64-slot ordering, truncation and invalid safe-slice bounds. The API returns an offender intention without formatting, sending or transition effects.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/rust-exit-class.json

@@ -0,0 +1,1740 @@
+{
+  "limits": "Rust first-offender mode11 guard over45 original source fixtures. Safe configured count<=slice length<=64; no raw invalid-pointer ABI or transition/native side-effect claim.",
+  "probes": [
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 0,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 0,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 0,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 0,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 0,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 0,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 0,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 0,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 0,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 0,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 0,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 0,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 1,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 1,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 1,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 1,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 1,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 1,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 1,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 1,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 1,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 1,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 1,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 1,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": 0
+      },
+      "source": {
+        "offender": 0
+      },
+      "source_calls": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "12": 16,
+            "16": 0,
+            "20": 2067792376,
+            "8": 34618
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "12": 2073042944,
+            "8": -1
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": 0
+      },
+      "source": {
+        "offender": 0
+      },
+      "source_calls": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "12": 16,
+            "16": 0,
+            "20": 2067792376,
+            "8": 34618
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "12": 2073042944,
+            "8": -1
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 2,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 2,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 2,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 2,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 4,
+        "mode": 11
+      },
+      "rust": {
+        "offender": 0
+      },
+      "source": {
+        "offender": 0
+      },
+      "source_calls": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "12": 16,
+            "16": 0,
+            "20": 2067792376,
+            "8": 34618
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "12": 2073042944,
+            "8": -1
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 4,
+        "mode": 11
+      },
+      "rust": {
+        "offender": 3
+      },
+      "source": {
+        "offender": 3
+      },
+      "source_calls": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "12": 16,
+            "16": 0,
+            "20": 2067811384,
+            "8": 34618
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "12": 2073042944,
+            "8": -1
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 64,
+        "mode": 11
+      },
+      "rust": {
+        "offender": 0
+      },
+      "source": {
+        "offender": 0
+      },
+      "source_calls": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "12": 16,
+            "16": 0,
+            "20": 2067792376,
+            "8": 34618
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "12": 2073042944,
+            "8": -1
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 64,
+        "mode": 11
+      },
+      "rust": {
+        "offender": 3
+      },
+      "source": {
+        "offender": 3
+      },
+      "source_calls": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "12": 16,
+            "16": 0,
+            "20": 2067811384,
+            "8": 34618
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "12": 2073042944,
+            "8": -1
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "input": {
+        "clients": [],
+        "max_clients": 0,
+        "mode": 0
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [],
+        "max_clients": 0,
+        "mode": 9
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [],
+        "max_clients": 0,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 0,
+        "mode": 11
+      },
+      "rust": {
+        "offender": -1
+      },
+      "source": {
+        "offender": -1
+      },
+      "source_calls": []
+    },
+    {
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 2,
+        "mode": 11
+      },
+      "rust": {
+        "offender": 0
+      },
+      "source": {
+        "offender": 0
+      },
+      "source_calls": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "12": 16,
+            "16": 0,
+            "20": 2067792376,
+            "8": 34618
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "12": 2073042944,
+            "8": -1
+          },
+          "target": -18
+        }
+      ]
+    }
+  ],
+  "source_report": "docs/research/qvm-exit-class.json",
+  "source_report_sha256": "f8bba4248e4f44ea6ab4d98b2225d4661d4d609df768d81e1d81892b4fc358de"
+}

docs/research/rust-health-impulse.json

@@ -2985,7 +2985,7 @@
       "exit_code": 2
     }
   ],
-  "rust_unit_tests": 81,
+  "rust_unit_tests": 83,
   "source_report": "docs/research/qvm-health-impulse.json",
   "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
 }

scripts/analyze_rust_exit_class.py

@@ -0,0 +1,14 @@
+#!/usr/bin/env python3
+import hashlib,json
+from pathlib import Path
+from rust_lifecycle_support import binary,result
+from qvm_exit_rules_support import FIELDS
+from analyze_qvm import write_json
+
+def words(c,j):return [c.get(str(o),2 if o==468 else j if o==140 else 0) for o in FIELDS]
+def main():
+    b=binary();p=Path('docs/research/qvm-exit-class.json');data=p.read_bytes();rows=[]
+    for s in json.loads(data)['probes']:
+        a=s['input'];clients=a['clients'];ids=[j for j,c in enumerate(clients[:a['max_clients']]) if a['mode']==11 and c['468']==2 and c['3096']==0 and c['696']>20];rows.append({'input':a,'source':{'offender':ids[0] if ids else -1},'source_calls':s['requests'],'rust':result(b,'exit-class',[a['mode'],a['max_clients'],len(clients),*[v for j,c in enumerate(clients) for v in words(c,j)]])})
+    write_json(Path('docs/research/rust-exit-class.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust first-offender mode11 guard over45 original source fixtures. Safe configured count<=slice length<=64; no raw invalid-pointer ABI or transition/native side-effect claim.'})
+if __name__=='__main__':main()

scripts/test_rust_exit_class.py

@@ -0,0 +1,9 @@
+import hashlib,json,unittest
+from pathlib import Path
+class RustExitClassTests(unittest.TestCase):
+    def test_source_offender_and_gate(self):
+        r=json.loads(Path('docs/research/rust-exit-class.json').read_text());self.assertEqual(len(r['probes']),45)
+        for p in r['probes']:self.assertEqual(p['rust'],p['source']);self.assertEqual(bool(p['source_calls']),p['rust']['offender']>=0)
+    def test_source_identity(self):
+        r=json.loads(Path('docs/research/rust-exit-class.json').read_text());self.assertEqual(hashlib.sha256(Path(r['source_report']).read_bytes()).hexdigest(),r['source_report_sha256'])
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2083,3 +2083,16 @@ edge	docs/research/qvm-exit-class.json	scripts/test_qvm_exit_class.py
 group	exit-class	scripts/analyze_qvm_exit_class.py
 edge	scripts/analyze_qvm_exit_class.py	scripts/analyze_qvm_resumer_audit.py
 edge	scripts/qvm_exit_rules_support.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_exit_class.py
+edge	Cargo.lock	scripts/analyze_rust_exit_class.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_exit_class.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_exit_class.py
+edge	crates/urt-gameplay/src/bin/urt-lifecycle.rs	scripts/analyze_rust_exit_class.py
+edge	crates/urt-gameplay/src/exit_rules.rs	scripts/analyze_rust_exit_class.py
+edge	crates/urt-gameplay/src/exit_rules.rs	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_exit_class.py
+group	rust-exit-class	scripts/analyze_rust_health_impulse.py
+report	scripts/analyze_rust_exit_class.py	docs/research/rust-exit-class.json
+edge	docs/research/rust-exit-class.json	scripts/test_rust_exit_class.py
+group	rust-exit-class	scripts/analyze_rust_exit_class.py
+edge	scripts/analyze_rust_exit_class.py	scripts/analyze_qvm_resumer_audit.py

xtask/src/lib.rs

@@ -1047,6 +1047,7 @@ mod integration_tests {
             ("scoreboard_wire", "scoreboard_rows"),
             ("qvm_format", "qvm_format"),
             ("exit_prefix", "exit_prefix"),
+            ("exit_rules", "exit_class"),
             ("leaderboard", "leaderboard"),
             ("recipient_wire", "recipient_wire"),
         ] {