gameplay: port assistance target acquisition

crates/urt-gameplay/src/assistance.rs

@@ -0,0 +1,90 @@
+//! Recovered assistance policy with explicit captured event/native effects.
+use crate::native_policy::Error;
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub struct HelperState {
+    pub flags: u32,
+    pub active: u32,
+    pub target: Option<usize>,
+    pub last: u32,
+}
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub enum AssistEffect {
+    Publish { slot: i32, event: u32, param: u32 },
+    Log { format: Vec<u8>, slots: Vec<i32> },
+    Nested(crate::move_callbacks::CallbackEffect),
+}
+fn indices(slot: i32, target: usize) -> Result<(), Error> {
+    if !(0..64).contains(&slot) || target >= 64 {
+        return Err(Error::InvalidIndex);
+    }
+    Ok(())
+}
+/// Original153177 acquisition fragment. Caller already selected a near protected
+/// target. An active flagged owner cannot switch; stale unflagged state can.
+pub fn acquire_assistance(
+    state: &mut HelperState,
+    slot: i32,
+    target: usize,
+    target_id: u32,
+    tick: u32,
+) -> Result<Vec<AssistEffect>, Error> {
+    indices(slot, target)?;
+    if state.flags & 8192 != 0 && state.active != 0 && state.target != Some(target) {
+        return Ok(vec![]);
+    }
+    state.flags |= 8192;
+    state.active = 1;
+    state.target = Some(target);
+    state.last = tick;
+    Ok(vec![
+        AssistEffect::Publish {
+            slot,
+            event: 104,
+            param: target_id,
+        },
+        AssistEffect::Log {
+            format: b"ThawOutStarted: %i %i: %s started thawing out %s\n".to_vec(),
+            slots: vec![slot, target as i32],
+        },
+    ])
+}
+#[cfg(test)]
+mod acquire_tests {
+    use super::*;
+    #[test]
+    fn flagged_owner_cannot_switch_but_stale_state_can() {
+        let mut s = HelperState {
+            flags: 0x80002002,
+            active: 1,
+            target: Some(0),
+            last: 7,
+        };
+        let old = s;
+        assert!(acquire_assistance(&mut s, 2, 3, 9, 100).unwrap().is_empty());
+        assert_eq!(s, old);
+        s.active = 0;
+        let e = acquire_assistance(&mut s, 2, 3, 9, u32::MAX).unwrap();
+        assert_eq!(s.target, Some(3));
+        assert_eq!(s.flags, 0x80002002);
+        assert_eq!(s.last, u32::MAX);
+        assert!(matches!(
+            &e[..],
+            [
+                AssistEffect::Publish { event: 104, .. },
+                AssistEffect::Log { .. }
+            ]
+        ));
+    }
+    #[test]
+    fn invalid_target_is_atomic() {
+        let mut s = HelperState {
+            flags: 0,
+            active: 0,
+            target: None,
+            last: 7,
+        };
+        let old = s;
+        assert!(acquire_assistance(&mut s, 2, 64, 9, 100).is_err());
+        assert_eq!(s, old);
+    }
+}

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

@@ -0,0 +1,78 @@
+use urt_gameplay::assistance::*;
+fn list(v: &[u32]) -> String {
+    format!(
+        "[{}]",
+        v.iter()
+            .map(|v| v.to_string())
+            .collect::<Vec<_>>()
+            .join(",")
+    )
+}
+fn hex(v: &[u8]) -> String {
+    v.iter().map(|v| format!("{v:02x}")).collect()
+}
+fn nested(e: &urt_gameplay::move_callbacks::CallbackEffect) -> String {
+    use urt_gameplay::move_callbacks::CallbackEffect::*;
+    match e {
+        Teleport { slot } => format!(r#"{{"op":"teleport","slot":{slot}}}"#),
+        Reset { slot } => format!(r#"{{"op":"reset","slot":{slot}}}"#),
+        Event { event } => format!(r#"{{"op":"event","event":{event}}}"#),
+        Log { format, slots } => format!(
+            r#"{{"op":"log","format":"{}","slots":{}}}"#,
+            hex(format),
+            list(&slots.iter().map(|v| *v as u32).collect::<Vec<_>>())
+        ),
+    }
+}
+fn events(v: &[AssistEffect]) -> String {
+    v.iter()
+        .map(|e| match e {
+            AssistEffect::Publish { slot, event, param } => {
+                format!(r#"{{"op":"publish","slot":{slot},"event":{event},"param":{param}}}"#)
+            }
+            AssistEffect::Log { format, slots } => format!(
+                r#"{{"op":"log","format":"{}","slots":{}}}"#,
+                hex(format),
+                list(&slots.iter().map(|v| *v as u32).collect::<Vec<_>>())
+            ),
+            AssistEffect::Nested(e) => nested(e),
+        })
+        .collect::<Vec<_>>()
+        .join(",")
+}
+fn helper(w: &[u32]) -> HelperState {
+    HelperState {
+        flags: w[0],
+        active: w[1],
+        target: if w[2] == u32::MAX {
+            None
+        } else {
+            Some(w[2] as usize)
+        },
+        last: w[4],
+    }
+}
+fn fields(s: HelperState, e: &[AssistEffect]) -> String {
+    format!(
+        r#""flags":{},"active":{},"target":{},"last":{},"events":[{}]"#,
+        s.flags,
+        s.active,
+        s.target.map(|v| v.to_string()).unwrap_or("null".into()),
+        s.last,
+        events(e)
+    )
+}
+fn main() {
+    let mut args = std::env::args().skip(1);
+    let kind = args.next().unwrap();
+    let w: Vec<u32> = args.map(|v| v.parse().unwrap()).collect();
+    match kind.as_str() {
+        "acquire" => {
+            assert_eq!(w.len(), 5);
+            let mut s = helper(&w);
+            let e = acquire_assistance(&mut s, 2, 3, 0x87654321, w[3]).unwrap();
+            println!("{{{}}}", fields(s, &e));
+        }
+        _ => panic!("unknown policy"),
+    }
+}

crates/urt-gameplay/src/lib.rs

@@ -195,3 +195,5 @@ pub mod client_processing;
 pub mod client_move_context;
 
 pub mod move_callbacks;
+
+pub mod assistance;

docs/FINDINGS.md

@@ -1945,3 +1945,5 @@ RE-1003: Rust replaces supplied mode10 feedback with recovered assistance cleanu
 RE-994–1003 batch validation passed:1,938 Python tests,299 Rust tests,121 deterministic affected report producers and579 documentation files. All ten tasks have separate commits and focused checks. [Batch evidence and remaining callback/runtime work](research/QVM_MOVE_CALLBACK_BATCH.md).
 
 RE-1004: Thirty-six original-QVM cases recover assistance acquisition after near/protected-target routing. A helper already holding mask8192 and nonzero active6316 cannot switch away from a different target6320. Otherwise acquisition sets mask8192, active1, target and clock6328, then requests event104 with target entity word0 followed by the source thaw-start log. Raw high bits and wrapped tick values survive; event/log bodies and preceding distance/admission gates are excluded. [Evidence](research/QVM_ASSIST_ACQUIRE.md).
+
+RE-1005: Rust ports the conditional assistance ownership lock across36 source cases. Typed target indices preserve stale-state behavior, raw flag bits and wrapped clocks. Event104 precedes the original source log; both remain plans. Unit tests cover locked switching, inactive stale-target replacement, event ordering and atomic invalid-target rejection. Caller admission and proximity selection remain separate. [Evidence](research/RUST_ASSIST_ACQUIRE.md).

docs/PROVISIONAL_TODO.md

@@ -2003,3 +2003,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [ ] RE-1004 recover nonempty assistance proximity search, mode8 objective transitions and nested native callback feedback ([scope](research/QVM_MOVE_CALLBACK_BATCH.md#next-work-re-1004)).
 
 - [x] RE-1004 Recover assistance acquisition and target ownership ([evidence](research/QVM_ASSIST_ACQUIRE.md)).
+
+- [x] RE-1005 Port assistance acquisition and ownership guard ([evidence](research/RUST_ASSIST_ACQUIRE.md)).

docs/RESEARCH_LEDGER.md

@@ -2691,3 +2691,7 @@ Rust replaces supplied mode10 feedback with recovered assistance cleanup and tim
 ## 2026-10-29 — RE-1004 Recover assistance acquisition and target ownership
 
 Thirty-six original-QVM cases recover assistance acquisition after near/protected-target routing. A helper already holding mask8192 and nonzero active6316 cannot switch away from a different target6320. Otherwise acquisition sets mask8192, active1, target and clock6328, then requests event104 with target entity word0 followed by the source thaw-start log. Raw high bits and wrapped tick values survive; event/log bodies and preceding distance/admission gates are excluded. Focused `cargo xtask test-group qvm-assist-acquire` passes with deterministic report regeneration and selected regressions. Full suite deferred to task ten. Original assets unchanged; Python uses the flake-declared Nix runtime.
+
+## 2026-10-29 — RE-1005 Port assistance acquisition and ownership guard
+
+Rust ports the conditional assistance ownership lock across36 source cases. Typed target indices preserve stale-state behavior, raw flag bits and wrapped clocks. Event104 precedes the original source log; both remain plans. Unit tests cover locked switching, inactive stale-target replacement, event ordering and atomic invalid-target rejection. Caller admission and proximity selection remain separate. Focused `cargo xtask test-group rust-assist-acquire` passes with deterministic report regeneration and selected regressions. Full suite deferred to task ten. Original assets unchanged; Python uses the flake-declared Nix runtime.

docs/REVERSE_ENGINEERING_TODO.md

@@ -2040,3 +2040,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [ ] RE-1004 recover nonempty assistance proximity search, mode8 objective transitions and nested native callback feedback ([scope](research/QVM_MOVE_CALLBACK_BATCH.md#next-work-re-1004)).
 
 - [x] RE-1004 Recover assistance acquisition and target ownership ([evidence](research/QVM_ASSIST_ACQUIRE.md)).
+
+- [x] RE-1005 Port assistance acquisition and ownership guard ([evidence](research/RUST_ASSIST_ACQUIRE.md)).

docs/research/README.md

@@ -1573,3 +1573,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [Movement callbacks: RE-994–1003](QVM_MOVE_CALLBACK_BATCH.md).
 
 - [RE-1004: Recover assistance acquisition and target ownership](QVM_ASSIST_ACQUIRE.md).
+
+- [RE-1005: Port assistance acquisition and ownership guard](RUST_ASSIST_ACQUIRE.md).

docs/research/RUST_ASSIST_ACQUIRE.md

@@ -0,0 +1,5 @@
+# Port assistance acquisition and ownership guard
+
+RE-1005. Focused validation: `cargo xtask test-group rust-assist-acquire`. [Machine report](rust-assist-acquire.json).
+
+Rust ports the conditional assistance ownership lock across36 source cases. Typed target indices preserve stale-state behavior, raw flag bits and wrapped clocks. Event104 precedes the original source log; both remain plans. Unit tests cover locked switching, inactive stale-target replacement, event ordering and atomic invalid-target rejection. Caller admission and proximity selection remain separate.

docs/research/rust-assist-acquire.json

@@ -0,0 +1,1423 @@
+{
+  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
+  "probes": [
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 8192,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 4294967295,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 10000,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 10000,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 4294967295,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [
+          {
+            "event": 104,
+            "op": "publish",
+            "param": 2271560481,
+            "slot": 2
+          },
+          {
+            "format": "546861774f7574537461727465643a2025692025693a20257320737461727465642074686177696e67206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "last": 4294967295,
+        "target": 3
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-assist-acquire.json",
+  "source_report_sha256": "8de7af5d68151eb5f856e3a7f4b511d502372e722f96e08137cdca9daccdb2f8"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_assist_acquire.py

@@ -0,0 +1,16 @@
+"""Compare recovered Rust policy with original QVM fixtures."""
+import hashlib,json,os,subprocess
+from pathlib import Path
+from analyze_qvm import write_json
+from rust_lifecycle_support import result
+
+def main():
+ subprocess.run(['cargo','build','--offline','--package','urt-gameplay','--bin','urt-assistance'],check=True,capture_output=True)
+ binary=Path(os.environ.get('CARGO_TARGET_DIR','target'))/'debug'/'urt-assistance'
+ path=Path('docs/research/qvm-assist-acquire.json');data=path.read_bytes();probes=[]
+ for p in json.loads(data)['probes']:
+  probes.append(dict(source={k:p[k] for k in ['flags', 'active', 'target', 'last', 'events']},rust=result(binary,'acquire',encode(p['input']))))
+ write_json(Path('docs/research/rust-assist-acquire.json'),dict(source_report=str(path),source_report_sha256=hashlib.sha256(data).hexdigest(),probes=probes,limits='Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.'))
+
+def encode(a):return [a['flags'],a['active'],0xffffffff if a['target'] is None else a['target'],a['tick'],a['last']]
+if __name__=='__main__':main()

scripts/test_rust_assist_acquire.py

@@ -0,0 +1,9 @@
+import hashlib,json,unittest
+from pathlib import Path
+class PortTests(unittest.TestCase):
+ def test_original_parity(self):
+  r=json.loads(Path('docs/research/rust-assist-acquire.json').read_text());self.assertGreaterEqual(len(r['probes']),12)
+  for p in r['probes']:self.assertEqual(p['source'],p['rust'])
+ def test_identity(self):
+  r=json.loads(Path('docs/research/rust-assist-acquire.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

@@ -3969,3 +3969,34 @@ report	scripts/analyze_qvm_assist_acquire.py	docs/research/qvm-assist-acquire.js
 edge	docs/research/qvm-assist-acquire.json	scripts/test_qvm_assist_acquire.py
 group	qvm-assist-acquire	scripts/analyze_qvm_assist_acquire.py
 edge	scripts/analyze_qvm_assist_acquire.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_assist_acquire.py	docs/research/rust-assist-acquire.json
+edge	docs/research/rust-assist-acquire.json	scripts/test_rust_assist_acquire.py
+group	rust-assist-acquire	scripts/analyze_rust_assist_acquire.py
+edge	scripts/analyze_rust_assist_acquire.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_assist_acquire.py
+edge	Cargo.lock	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/filter_loading.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/bin/urt-filter-loading.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_assist_acquire.py
+edge	docs/research/qvm-assist-acquire.json	scripts/analyze_rust_assist_acquire.py
+group	rust-assist-acquire	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/filter_commands.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/bin/urt-filter-commands.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/client_timer.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/bin/urt-client-timer.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/client_processing.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/bin/urt-client-processing.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/client_move_context.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/bin/urt-client-move-context.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/bin/urt-move-callbacks.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/assistance.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/bin/urt-assistance.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_assist_acquire.py
+edge	crates/urt-gameplay/src/assistance.rs	scripts/analyze_rust_health_impulse.py
+edge	crates/urt-gameplay/src/bin/urt-assistance.rs	scripts/analyze_rust_health_impulse.py

xtask/src/lib.rs

@@ -1142,6 +1142,8 @@ mod integration_tests {
             ("move_callbacks", "move_mode8_eligibility"),
             ("move_callbacks", "move_resolved_self"),
             ("client_move_context", "move_resolved_self"),
+            ("assistance", "assist_acquire"),
+            ("move_callbacks", "assist_acquire"),
             ("client_move_context", "client_move_scratch"),
             ("client_processing", "client_routing"),
             ("client_timer", "client_routing"),
@@ -1365,6 +1367,7 @@ mod integration_tests {
             ("qvm-move-assist-cleanup", "move_assist_cleanup"),
             ("qvm-move-mode8-eligibility", "move_mode8_eligibility"),
             ("qvm-move-resolved-self", "move_resolved_self"),
+            ("qvm-assist-acquire", "assist_acquire"),
             ("qvm-client-move-scratch", "client_move_scratch"),
             ("qvm-client-routing", "client_routing"),
             ("qvm-client-command-rewrite", "client_command_rewrite"),