gameplay: port assistance cancellation policy

crates/urt-gameplay/src/assistance.rs

@@ -88,3 +88,69 @@ mod acquire_tests {
         assert_eq!(s, old);
     }
 }
+
+/// Original153284/153346 cancellation, once far/unprotected routing is known.
+pub fn cancel_assistance(
+    state: &mut HelperState,
+    slot: i32,
+    target: usize,
+) -> 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 = 0;
+    state.target = None;
+    Ok(vec![AssistEffect::Publish {
+        slot,
+        event: 105,
+        param: u32::MAX,
+    }])
+}
+#[cfg(test)]
+mod cancel_tests {
+    use super::*;
+    #[test]
+    fn cancellation_preserves_clock_and_is_idempotent() {
+        let mut s = HelperState {
+            flags: 0x80002002,
+            active: 2,
+            target: Some(3),
+            last: u32::MAX,
+        };
+        let e = cancel_assistance(&mut s, 2, 3).unwrap();
+        assert_eq!(
+            s,
+            HelperState {
+                flags: 0x80000002,
+                active: 0,
+                target: None,
+                last: u32::MAX
+            }
+        );
+        assert_eq!(
+            e,
+            vec![AssistEffect::Publish {
+                slot: 2,
+                event: 105,
+                param: u32::MAX
+            }]
+        );
+        assert!(cancel_assistance(&mut s, 2, 3).unwrap().is_empty());
+    }
+    #[test]
+    fn unrelated_target_and_invalid_slot_preserve_state() {
+        let mut s = HelperState {
+            flags: 8192,
+            active: 1,
+            target: Some(0),
+            last: 7,
+        };
+        let old = s;
+        assert!(cancel_assistance(&mut s, 2, 3).unwrap().is_empty());
+        assert_eq!(s, old);
+        assert!(cancel_assistance(&mut s, 64, 0).is_err());
+        assert_eq!(s, old);
+    }
+}

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

@@ -73,6 +73,12 @@ fn main() {
             let e = acquire_assistance(&mut s, 2, 3, 0x87654321, w[3]).unwrap();
             println!("{{{}}}", fields(s, &e));
         }
+        "cancel" => {
+            assert_eq!(w.len(), 6);
+            let mut s = helper(&w);
+            let e = cancel_assistance(&mut s, 2, 3).unwrap();
+            println!("{{{}}}", fields(s, &e));
+        }
         _ => panic!("unknown policy"),
     }
 }

docs/FINDINGS.md

@@ -1949,3 +1949,5 @@ RE-1004: Thirty-six original-QVM cases recover assistance acquisition after near
 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).
 
 RE-1006: Seventy-two source cases recover both cancellation branches. Only a helper with mask8192, nonzero active state and matching target loses assistance: mask8192 clears, active becomes0 and target becomes null. Clock6328 and unrelated bits survive. Both far and no-longer-protected paths request event105 with parameter0xffffffff; unmatched or incomplete ownership is untouched. Native event publication remains captured. [Evidence](research/QVM_ASSIST_CANCEL.md).
+
+RE-1007: Rust matches both original cancellation branches across72 source cases. Matching flagged active ownership clears only assistance state and emits event105; repeated cancellation is silent. Clocks and high bits survive, mismatched targets remain intact, and invalid indices reject before mutation. Native publication remains an explicit effect plan. [Evidence](research/RUST_ASSIST_CANCEL.md).

docs/PROVISIONAL_TODO.md

@@ -2007,3 +2007,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [x] RE-1005 Port assistance acquisition and ownership guard ([evidence](research/RUST_ASSIST_ACQUIRE.md)).
 
 - [x] RE-1006 Recover far and unprotected assistance cancellation ([evidence](research/QVM_ASSIST_CANCEL.md)).
+
+- [x] RE-1007 Port conditional assistance cancellation ([evidence](research/RUST_ASSIST_CANCEL.md)).

docs/RESEARCH_LEDGER.md

@@ -2699,3 +2699,7 @@ Rust ports the conditional assistance ownership lock across36 source cases. Type
 ## 2026-10-29 — RE-1006 Recover far and unprotected assistance cancellation
 
 Seventy-two source cases recover both cancellation branches. Only a helper with mask8192, nonzero active state and matching target loses assistance: mask8192 clears, active becomes0 and target becomes null. Clock6328 and unrelated bits survive. Both far and no-longer-protected paths request event105 with parameter0xffffffff; unmatched or incomplete ownership is untouched. Native event publication remains captured. Focused `cargo xtask test-group qvm-assist-cancel` 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-1007 Port conditional assistance cancellation
+
+Rust matches both original cancellation branches across72 source cases. Matching flagged active ownership clears only assistance state and emits event105; repeated cancellation is silent. Clocks and high bits survive, mismatched targets remain intact, and invalid indices reject before mutation. Native publication remains an explicit effect plan. Focused `cargo xtask test-group rust-assist-cancel` 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

@@ -2044,3 +2044,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [x] RE-1005 Port assistance acquisition and ownership guard ([evidence](research/RUST_ASSIST_ACQUIRE.md)).
 
 - [x] RE-1006 Recover far and unprotected assistance cancellation ([evidence](research/QVM_ASSIST_CANCEL.md)).
+
+- [x] RE-1007 Port conditional assistance cancellation ([evidence](research/RUST_ASSIST_CANCEL.md)).

docs/research/README.md

@@ -1577,3 +1577,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-1005: Port assistance acquisition and ownership guard](RUST_ASSIST_ACQUIRE.md).
 
 - [RE-1006: Recover far and unprotected assistance cancellation](QVM_ASSIST_CANCEL.md).
+
+- [RE-1007: Port conditional assistance cancellation](RUST_ASSIST_CANCEL.md).

docs/research/RUST_ASSIST_CANCEL.md

@@ -0,0 +1,5 @@
+# Port conditional assistance cancellation
+
+RE-1007. Focused validation: `cargo xtask test-group rust-assist-cancel`. [Machine report](rust-assist-cancel.json).
+
+Rust matches both original cancellation branches across72 source cases. Matching flagged active ownership clears only assistance state and emits event105; repeated cancellation is silent. Clocks and high bits survive, mismatched targets remain intact, and invalid indices reject before mutation. Native publication remains an explicit effect plan.

docs/research/rust-assist-cancel.json

@@ -0,0 +1,1271 @@
+{
+  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
+  "probes": [
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 1,
+        "events": [],
+        "flags": 0,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 8192,
+        "last": 1234,
+        "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": 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": [],
+        "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": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 0,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 3
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "target": 3
+      },
+      "source": {
+        "active": 0,
+        "events": [],
+        "flags": 2147491842,
+        "last": 1234,
+        "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": 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": [],
+        "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": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 2147483650,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 2147483650,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 2147483650,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 2147483650,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 2147483650,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 2147483650,
+        "last": 1234,
+        "target": null
+      }
+    },
+    {
+      "rust": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 2147483650,
+        "last": 1234,
+        "target": null
+      },
+      "source": {
+        "active": 0,
+        "events": [
+          {
+            "event": 105,
+            "op": "publish",
+            "param": 4294967295,
+            "slot": 2
+          }
+        ],
+        "flags": 2147483650,
+        "last": 1234,
+        "target": null
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-assist-cancel.json",
+  "source_report_sha256": "8ddc14eace956d3976570cd611b3d4662706c6243a4919ae15d24cb6ec2805f3"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_assist_cancel.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-cancel.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,'cancel',encode(p['input']))))
+ write_json(Path('docs/research/rust-assist-cancel.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'],int(a['reason']=='far')]
+if __name__=='__main__':main()

scripts/test_rust_assist_cancel.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-cancel.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-cancel.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

@@ -4004,3 +4004,32 @@ report	scripts/analyze_qvm_assist_cancel.py	docs/research/qvm-assist-cancel.json
 edge	docs/research/qvm-assist-cancel.json	scripts/test_qvm_assist_cancel.py
 group	qvm-assist-cancel	scripts/analyze_qvm_assist_cancel.py
 edge	scripts/analyze_qvm_assist_cancel.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_assist_cancel.py	docs/research/rust-assist-cancel.json
+edge	docs/research/rust-assist-cancel.json	scripts/test_rust_assist_cancel.py
+group	rust-assist-cancel	scripts/analyze_rust_assist_cancel.py
+edge	scripts/analyze_rust_assist_cancel.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_assist_cancel.py
+edge	Cargo.lock	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/filter_loading.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-filter-loading.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_assist_cancel.py
+edge	docs/research/qvm-assist-cancel.json	scripts/analyze_rust_assist_cancel.py
+group	rust-assist-cancel	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/filter_commands.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-filter-commands.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/client_timer.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-client-timer.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/client_processing.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-client-processing.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/client_move_context.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-client-move-context.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-move-callbacks.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/assistance.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-assistance.rs	scripts/analyze_rust_assist_cancel.py
+edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_assist_cancel.py

xtask/src/lib.rs

@@ -1144,6 +1144,8 @@ mod integration_tests {
             ("client_move_context", "move_resolved_self"),
             ("assistance", "assist_acquire"),
             ("move_callbacks", "assist_acquire"),
+            ("assistance", "assist_cancel"),
+            ("move_callbacks", "assist_cancel"),
             ("client_move_context", "client_move_scratch"),
             ("client_processing", "client_routing"),
             ("client_timer", "client_routing"),
@@ -1368,6 +1370,7 @@ mod integration_tests {
             ("qvm-move-mode8-eligibility", "move_mode8_eligibility"),
             ("qvm-move-resolved-self", "move_resolved_self"),
             ("qvm-assist-acquire", "assist_acquire"),
+            ("qvm-assist-cancel", "assist_cancel"),
             ("qvm-client-move-scratch", "client_move_scratch"),
             ("qvm-client-routing", "client_routing"),
             ("qvm-client-command-rewrite", "client_command_rewrite"),