gameplay: port ranked tie predicate

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

@@ -0,0 +1,67 @@
+use urt_gameplay::intermission::*;
+fn run() -> Result<String, String> {
+    let args = std::env::args().skip(1).collect::<Vec<_>>();
+    let kind = args.first().ok_or("missing command")?;
+    let w = args[1..]
+        .iter()
+        .map(|s| s.parse::<u32>().map_err(|_| "invalid word".to_string()))
+        .collect::<Result<Vec<_>, _>>()?;
+    if w.len() < 15 {
+        return Err("missing header".into());
+    }
+    let n = w[13] as usize;
+    let nr = w[14] as usize;
+    if n > 64 || nr > 64 || w.len() != 15 + 11 * n + nr {
+        return Err("invalid record count".into());
+    }
+    let mut state = State {
+        blocked: w[0] as i32,
+        now: w[1] as i32,
+        slow: w[2] as i32,
+        waiting: w[3] as i32,
+        wait_start: w[4] as i32,
+        pending: w[5] as i32,
+        mode: w[6] as i32,
+        playing: w[7] as i32,
+        enabled: w[8] as i32,
+        scores: [w[9] as i32, w[10] as i32],
+        max_clients: w[11] as usize,
+        client_count: w[12] as usize,
+    };
+    let mut clients = w[15..15 + 11 * n]
+        .chunks_exact(11)
+        .map(|v| Client {
+            connection: v[0] as i32,
+            id: v[1] as i32,
+            fallback_id: v[2] as i32,
+            score: v[3] as i32,
+            ping: v[4] as i32,
+            team: v[5] as i32,
+            class: v[6] as i32,
+            field308: v[7] as i32,
+            ready: v[8] as i32,
+            entity_flags: v[9],
+            field4324: v[10] as i32,
+        })
+        .collect::<Vec<_>>();
+    let rank = w[15 + 11 * n..]
+        .iter()
+        .map(|v| *v as usize)
+        .collect::<Vec<_>>();
+    match kind.as_str() {
+        "tie" => Ok(format!(
+            "{{\"tied\":{}}}",
+            tied(&state, &clients, &rank).map_err(|e| format!("{e:?}"))?
+        )),
+        _ => Err("unknown command".into()),
+    }
+}
+fn main() {
+    match run() {
+        Ok(s) => println!("{s}"),
+        Err(e) => {
+            eprintln!("{e}");
+            std::process::exit(2);
+        }
+    }
+}

crates/urt-gameplay/src/intermission.rs

@@ -0,0 +1,113 @@
+//! Recovered bounded intermission policies. Native effects remain explicit intentions.
+#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
+pub struct Client {
+    pub connection: i32,
+    pub id: i32,
+    pub fallback_id: i32,
+    pub score: i32,
+    pub ping: i32,
+    pub team: i32,
+    pub class: i32,
+    pub field308: i32,
+    pub ready: i32,
+    pub entity_flags: u32,
+    pub field4324: i32,
+}
+#[derive(Clone, Debug, Default, PartialEq, Eq)]
+pub struct State {
+    pub blocked: i32,
+    pub now: i32,
+    pub slow: i32,
+    pub waiting: i32,
+    pub wait_start: i32,
+    pub pending: i32,
+    pub mode: i32,
+    pub playing: i32,
+    pub enabled: i32,
+    pub scores: [i32; 2],
+    pub max_clients: usize,
+    pub client_count: usize,
+}
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub enum Error {
+    InvalidCount,
+    InvalidRank,
+}
+fn count(clients: &[Client], n: usize) -> Result<(), Error> {
+    if clients.len() > 64 || n > clients.len() {
+        Err(Error::InvalidCount)
+    } else {
+        Ok(())
+    }
+}
+pub fn team_mode(mode: i32) -> bool {
+    mode >= 3 && mode != 9 && mode != 11
+}
+pub fn tied(state: &State, clients: &[Client], rank: &[usize]) -> Result<bool, Error> {
+    if state.playing < 2 || state.enabled == 0 {
+        return Ok(false);
+    }
+    if team_mode(state.mode) {
+        return Ok(state.scores[0] == state.scores[1]);
+    }
+    if clients.len() > 64 || rank.len() < 2 {
+        return Err(Error::InvalidRank);
+    }
+    let field = |id: usize| -> Result<i32, Error> {
+        let c = clients.get(id).ok_or(Error::InvalidRank)?;
+        Ok(match state.mode {
+            9 => c.field308,
+            11 => c.class,
+            _ => c.score,
+        })
+    };
+    Ok(field(rank[0])? == field(rank[1])?)
+}
+#[cfg(test)]
+mod tests {
+    use super::*;
+    #[test]
+    fn tie_fields_and_gates() {
+        let mut s = State {
+            playing: 2,
+            enabled: 1,
+            ..State::default()
+        };
+        let c = [
+            Client {
+                score: 4,
+                field308: 2,
+                class: 3,
+                ..Client::default()
+            },
+            Client {
+                score: 4,
+                field308: 1,
+                class: 3,
+                ..Client::default()
+            },
+        ];
+        assert_eq!(tied(&s, &c, &[0, 1]), Ok(true));
+        s.mode = 9;
+        assert_eq!(tied(&s, &c, &[0, 1]), Ok(false));
+        s.mode = 11;
+        assert_eq!(tied(&s, &c, &[0, 1]), Ok(true));
+        s.playing = 1;
+        assert_eq!(tied(&s, &[], &[]), Ok(false));
+    }
+    #[test]
+    fn invalid_ranks_and_signed_classifier() {
+        let s = State {
+            playing: 2,
+            enabled: 1,
+            ..State::default()
+        };
+        assert_eq!(tied(&s, &[], &[]), Err(Error::InvalidRank));
+        for m in [-1, 0, 1, 2, 9, 11] {
+            assert!(!team_mode(m));
+        }
+        for m in [3, 8, 10, 12, i32::MAX] {
+            assert!(team_mode(m));
+        }
+    }
+}

crates/urt-gameplay/src/lib.rs

@@ -171,3 +171,5 @@ pub mod qvm_format;
 pub mod exit_prefix;
 
 pub mod exit_rules;
+
+pub mod intermission;

docs/FINDINGS.md

@@ -1502,3 +1502,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-834:** Actual 7662 and child 33715 execute across 168 cases. Playing count and the enabled global gate ties; team-classified modes compare global scores, mode9 uses ranked field308, mode11 field696, and other modes field248. Raw numeric names remain conservative; ranked pointer legality and native execution remain open. [Evidence](research/QVM_EXIT_PREDICATE.md).
+
+
+**RE-835:** Rust matches all 168 source cases with typed signed mode classification, global-score and ranked-field selection, early gate handling and safe rank rejection. A separate scoped intermission adapter avoids rebuilding unrelated lifecycle fixtures; original runtime remains open. [Evidence](research/RUST_EXIT_PREDICATE.md).

docs/PROVISIONAL_TODO.md

@@ -1518,3 +1518,6 @@ RE-833: Rust now composes the full recovered7805 priority and matches438 continu
 
 
 RE-834: Actual 7662 and child 33715 execute across 168 cases. Playing count and the enabled global gate ties; team-classified modes compare global scores, mode9 uses ranked field308, mode11 field696, and other modes field248. Raw numeric names remain conservative; ranked pointer legality and native execution remain open. Full runtime completion remains open. [Evidence](research/QVM_EXIT_PREDICATE.md).
+
+
+RE-835: Rust matches all 168 source cases with typed signed mode classification, global-score and ranked-field selection, early gate handling and safe rank rejection. A separate scoped intermission adapter avoids rebuilding unrelated lifecycle fixtures; original runtime remains open. Full runtime completion remains open. [Evidence](research/RUST_EXIT_PREDICATE.md).

docs/RESEARCH_LEDGER.md

@@ -1844,3 +1844,8 @@ Batch RE-824–833 boundary: the single `cargo xtask test-full --since 1ed43d40`
 ## 2026-10-27 — RE-834 Original exit tie predicate and mode classifier
 
 Actual 7662 and child 33715 execute across 168 cases. Playing count and the enabled global gate ties; team-classified modes compare global scores, mode9 uses ranked field308, mode11 field696, and other modes field248. Raw numeric names remain conservative; ranked pointer legality and native execution remain open. Focused `cargo xtask test-group exit-predicate` 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-835 Rust ranked exit tie predicate
+
+Rust matches all 168 source cases with typed signed mode classification, global-score and ranked-field selection, early gate handling and safe rank rejection. A separate scoped intermission adapter avoids rebuilding unrelated lifecycle fixtures; original runtime remains open. Focused `cargo xtask test-group rust-exit-predicate` 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

@@ -1555,3 +1555,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-834 Original exit tie predicate and mode classifier ([evidence](research/QVM_EXIT_PREDICATE.md)).
+
+
+- [x] RE-835 Rust ranked exit tie predicate ([evidence](research/RUST_EXIT_PREDICATE.md)).

docs/research/README.md

@@ -1094,3 +1094,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-834: Original exit tie predicate and mode classifier](QVM_EXIT_PREDICATE.md).
+
+
+[RE-835: Rust ranked exit tie predicate](RUST_EXIT_PREDICATE.md).

docs/research/RUST_EXIT_PREDICATE.md

@@ -0,0 +1,7 @@
+# Rust ranked exit tie predicate
+
+RE-835. Reproduce with `python3 scripts/analyze_rust_exit_predicate.py`; focused validation: `cargo xtask test-group rust-exit-predicate`. [Machine report](rust-exit-predicate.json).
+
+Rust matches all 168 source cases with typed signed mode classification, global-score and ranked-field selection, early gate handling and safe rank rejection. A separate scoped intermission adapter avoids rebuilding unrelated lifecycle fixtures; original runtime remains open.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/rust-exit-predicate.json

@@ -0,0 +1,1351 @@
+{
+  "limits": "Typed tie policy over168 original source cases. Bounded ranks; native runtime remains open.",
+  "probes": [
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": false
+      },
+      "source": {
+        "tied": false
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    },
+    {
+      "rust": {
+        "tied": true
+      },
+      "source": {
+        "tied": true
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-exit-predicate.json",
+  "source_report_sha256": "806a738609de74d6f425ecc4a9a2ad42e06eecb6ce53f285fb79daeab3d7c126"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_exit_predicate.py

@@ -0,0 +1,10 @@
+#!/usr/bin/env python3
+import hashlib,json
+from pathlib import Path
+from rust_intermission_support import binary,encode,result
+from analyze_qvm import write_json
+def main():
+ b=binary();p=Path('docs/research/qvm-exit-predicate.json');data=p.read_bytes();rows=[]
+ for s in json.loads(data)['probes']:rows.append({'source':{'tied':bool(s['return'])},'rust':result(b,'tie',encode(s['input'],s['clients']))})
+ write_json(Path('docs/research/rust-exit-predicate.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Typed tie policy over168 original source cases. Bounded ranks; native runtime remains open.'})
+if __name__=='__main__':main()

scripts/rust_intermission_support.py

@@ -0,0 +1,12 @@
+"""Scoped intermission binary; no full workspace test invocation."""
+import os,subprocess
+from pathlib import Path
+from rust_lifecycle_support import result
+FIELDS=[468,140,6156,248,452,3096,696,308,4036,'entity_flags',4324]
+def binary():
+    subprocess.run(['cargo','build','--offline','--package','urt-gameplay','--bin','urt-intermission'],capture_output=True,text=True,check=True)
+    return Path(os.environ.get('CARGO_TARGET_DIR','target'))/'debug'/'urt-intermission'
+def encode(a,clients):
+    order=a.get('order',list(range(len(clients))))
+    defaults={'enabled':1,'max_clients':len(clients),'client_count':len(clients)}
+    return [a.get(k,defaults.get(k,0)) for k in ['blocked','now','slow','waiting','wait_start','pending','mode','playing','enabled','first_score','second_score','max_clients','client_count']]+[len(clients),len(order),*[c.get(str(o),c.get(o,2 if o==468 else j if o==140 else 0)) for j,c in enumerate(clients) for o in FIELDS],*order]

scripts/test_rust_exit_predicate.py

@@ -0,0 +1,9 @@
+import hashlib,json,unittest
+from pathlib import Path
+class RustPredicateTests(unittest.TestCase):
+ def test_all_source_cases(self):
+  r=json.loads(Path('docs/research/rust-exit-predicate.json').read_text());self.assertEqual(len(r['probes']),168)
+  for p in r['probes']:self.assertEqual(p['rust'],p['source'])
+ def test_source_identity(self):
+  r=json.loads(Path('docs/research/rust-exit-predicate.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

@@ -2159,3 +2159,18 @@ edge	docs/research/qvm-exit-predicate.json	scripts/test_qvm_exit_predicate.py
 group	exit-predicate	scripts/analyze_qvm_exit_predicate.py
 edge	scripts/analyze_qvm_exit_predicate.py	scripts/analyze_qvm_resumer_audit.py
 edge	scripts/qvm_intermission_support.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_exit_predicate.py
+edge	Cargo.lock	scripts/analyze_rust_exit_predicate.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_exit_predicate.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_exit_predicate.py
+edge	crates/urt-gameplay/src/intermission.rs	scripts/analyze_rust_exit_predicate.py
+edge	crates/urt-gameplay/src/bin/urt-intermission.rs	scripts/analyze_rust_exit_predicate.py
+edge	docs/research/qvm-exit-predicate.json	scripts/analyze_rust_exit_predicate.py
+edge	crates/urt-gameplay/src/intermission.rs	scripts/analyze_rust_health_impulse.py
+group	rust-exit-predicate	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_exit_predicate.py
+report	scripts/analyze_rust_exit_predicate.py	docs/research/rust-exit-predicate.json
+edge	docs/research/rust-exit-predicate.json	scripts/test_rust_exit_predicate.py
+group	rust-exit-predicate	scripts/analyze_rust_exit_predicate.py
+edge	scripts/analyze_rust_exit_predicate.py	scripts/analyze_qvm_resumer_audit.py
+edge	scripts/rust_intermission_support.py	scripts/analyze_qvm_resumer_audit.py