gameplay: port bomb defuse cancellation

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

@@ -74,6 +74,11 @@ fn main() {
             let e = begin_defuse(&mut s, i).unwrap();
             println!("{{{}}}", fields(s, &e));
         }
+        "cancel" => {
+            let (mut s, i) = decode(&w);
+            let e = cancel_defuse(&mut s, i).unwrap();
+            println!("{{{}}}", fields(s, &e));
+        }
         _ => panic!("unknown policy"),
     }
 }

crates/urt-gameplay/src/defuse.rs

@@ -119,3 +119,92 @@ mod begin_tests {
         assert_eq!(s, old);
     }
 }
+
+/// Original153927/154008: inactive state does not clean stale flags or time.
+pub fn cancel_defuse(
+    state: &mut DefuseState,
+    input: DefuseInput,
+) -> Result<Vec<DefuseEffect>, Error> {
+    if state.busy == 0 {
+        return Ok(vec![]);
+    }
+    if !(0..64).contains(&input.slot) {
+        return Err(Error::InvalidIndex);
+    }
+    state.clock = 0;
+    state.busy = 0;
+    state.flags &= !4;
+    state.flags104 &= !16;
+    state.event[0] = 0;
+    state.event[1] |= 32;
+    Ok(vec![DefuseEffect::Allocate { event: 84 }])
+}
+#[cfg(test)]
+mod cancel_tests {
+    use super::*;
+    fn state() -> DefuseState {
+        DefuseState {
+            flags: u32::MAX,
+            flags104: u32::MAX,
+            busy: u32::MAX,
+            clock: 0x80000000,
+            complete: 0,
+            animation: 99,
+            weapon: 0x1234000d,
+            event: [7, 0x80000001],
+        }
+    }
+    fn input() -> DefuseInput {
+        DefuseInput {
+            tick: 10000,
+            duration: 5,
+            index: 3,
+            slot: 2,
+        }
+    }
+    #[test]
+    fn busy_cancel_clears_only_owned_fields() {
+        let mut s = state();
+        let e = cancel_defuse(&mut s, input()).unwrap();
+        assert_eq!(s.flags, u32::MAX & !4);
+        assert_eq!(s.flags104, u32::MAX & !16);
+        assert_eq!(
+            (s.busy, s.clock, s.animation, s.weapon),
+            (0, 0, 99, 0x1234000d)
+        );
+        assert_eq!(s.event, [0, 0x80000021]);
+        assert_eq!(e, vec![DefuseEffect::Allocate { event: 84 }]);
+        assert!(cancel_defuse(&mut s, input()).unwrap().is_empty());
+    }
+    #[test]
+    fn inactive_stale_state_and_active_errors_preserve_state() {
+        let mut s = state();
+        s.busy = 0;
+        let old = s;
+        assert!(
+            cancel_defuse(
+                &mut s,
+                DefuseInput {
+                    slot: 64,
+                    ..input()
+                }
+            )
+            .unwrap()
+            .is_empty()
+        );
+        assert_eq!(s, old);
+        s.busy = 1;
+        let old = s;
+        assert!(
+            cancel_defuse(
+                &mut s,
+                DefuseInput {
+                    slot: 64,
+                    ..input()
+                }
+            )
+            .is_err()
+        );
+        assert_eq!(s, old);
+    }
+}

docs/FINDINGS.md

@@ -1971,3 +1971,5 @@ RE-1014: Seventy-two original-QVM probes recover defuse start after near/eligibl
 RE-1015: Rust ports start-state masks, animation selection, shared clock, duration payload and event83-before-sound7 ordering across72 source cases. Raw weapon/duration/tick words remain bit-exact. Typed weapon/client indices reject before mutation; unit tests distinguish flag32 from flag64-only behavior and preserve neighboring fields by ownership. Native allocation and sound remain effect plans. [Evidence](research/RUST_DEFUSE_BEGIN.md).
 
 RE-1016: Forty-eight original-QVM cases compare far-target and unflagged cancellation. Any nonzero busy6164 clears busy, shared clock35000484, client mask4 and flag104 mask16, then allocates event84 with payload0 and event mask32. Zero busy leaves all fields unchanged, even stale flags or clock. Weapon/animation and unrelated bits survive. Both branches match; native event allocation and caller routing remain excluded. [Evidence](research/QVM_DEFUSE_CANCEL.md).
+
+RE-1017: Rust matches48 far/unflagged cancellation cases. Any nonzero busy state clears the shared clock and owned flags and emits event84 payload0; inactive stale state remains untouched. Weapon/animation words and unrelated bits survive. Unit tests verify idempotence, nonzero high-bit busy values, inactive unused-index preservation and active error atomicity. Native allocation remains a plan. [Evidence](research/RUST_DEFUSE_CANCEL.md).

docs/PROVISIONAL_TODO.md

@@ -2030,3 +2030,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [x] RE-1015 Port bomb-defuse start and effect ordering ([evidence](research/RUST_DEFUSE_BEGIN.md)).
 
 - [x] RE-1016 Recover bomb-defuse cancellation branches ([evidence](research/QVM_DEFUSE_CANCEL.md)).
+
+- [x] RE-1017 Port conditional bomb-defuse cancellation ([evidence](research/RUST_DEFUSE_CANCEL.md)).

docs/RESEARCH_LEDGER.md

@@ -2739,3 +2739,7 @@ Rust ports start-state masks, animation selection, shared clock, duration payloa
 ## 2026-10-29 — RE-1016 Recover bomb-defuse cancellation branches
 
 Forty-eight original-QVM cases compare far-target and unflagged cancellation. Any nonzero busy6164 clears busy, shared clock35000484, client mask4 and flag104 mask16, then allocates event84 with payload0 and event mask32. Zero busy leaves all fields unchanged, even stale flags or clock. Weapon/animation and unrelated bits survive. Both branches match; native event allocation and caller routing remain excluded. Focused `cargo xtask test-group qvm-defuse-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-1017 Port conditional bomb-defuse cancellation
+
+Rust matches48 far/unflagged cancellation cases. Any nonzero busy state clears the shared clock and owned flags and emits event84 payload0; inactive stale state remains untouched. Weapon/animation words and unrelated bits survive. Unit tests verify idempotence, nonzero high-bit busy values, inactive unused-index preservation and active error atomicity. Native allocation remains a plan. Focused `cargo xtask test-group rust-defuse-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

@@ -2067,3 +2067,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [x] RE-1015 Port bomb-defuse start and effect ordering ([evidence](research/RUST_DEFUSE_BEGIN.md)).
 
 - [x] RE-1016 Recover bomb-defuse cancellation branches ([evidence](research/QVM_DEFUSE_CANCEL.md)).
+
+- [x] RE-1017 Port conditional bomb-defuse cancellation ([evidence](research/RUST_DEFUSE_CANCEL.md)).

docs/research/README.md

@@ -1599,3 +1599,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-1015: Port bomb-defuse start and effect ordering](RUST_DEFUSE_BEGIN.md).
 
 - [RE-1016: Recover bomb-defuse cancellation branches](QVM_DEFUSE_CANCEL.md).
+
+- [RE-1017: Port conditional bomb-defuse cancellation](RUST_DEFUSE_CANCEL.md).

docs/research/RUST_DEFUSE_CANCEL.md

@@ -0,0 +1,5 @@
+# Port conditional bomb-defuse cancellation
+
+RE-1017. Focused validation: `cargo xtask test-group rust-defuse-cancel`. [Machine report](rust-defuse-cancel.json).
+
+Rust matches48 far/unflagged cancellation cases. Any nonzero busy state clears the shared clock and owned flags and emits event84 payload0; inactive stale state remains untouched. Weapon/animation words and unrelated bits survive. Unit tests verify idempotence, nonzero high-bit busy values, inactive unused-index preservation and active error atomicity. Native allocation remains a plan.

docs/research/rust-defuse-cancel.json

@@ -0,0 +1,2151 @@
+{
+  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
+  "probes": [
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 0,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 2147516416,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 2147483648,
+        "complete": 0,
+        "event": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    },
+    {
+      "rust": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      },
+      "source": {
+        "animation": 99,
+        "busy": 0,
+        "clock": 0,
+        "complete": 0,
+        "event": [
+          0,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 84,
+            "op": "allocate"
+          }
+        ],
+        "flags": 4294967291,
+        "flags104": 2147483650,
+        "guards": [
+          2864434397,
+          287454020
+        ],
+        "weapon": 305397771
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-defuse-cancel.json",
+  "source_report_sha256": "26383b6541112985964cdae4ac9c0aec7cbbefc4cdbd3846c78f3a1edf058747"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_defuse_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-defuse'],check=True,capture_output=True)
+ binary=Path(os.environ.get('CARGO_TARGET_DIR','target'))/'debug'/'urt-defuse'
+ path=Path('docs/research/qvm-defuse-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', 'flags104', 'busy', 'clock', 'complete', 'animation', 'weapon', 'event', 'guards', 'events']},rust=result(binary,'cancel',encode(p['input']))))
+ write_json(Path('docs/research/rust-defuse-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.'))
+
+from analyze_rust_defuse_begin import encode
+if __name__=='__main__':main()

scripts/test_rust_defuse_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-defuse-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-defuse-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

@@ -4174,3 +4174,35 @@ report	scripts/analyze_qvm_defuse_cancel.py	docs/research/qvm-defuse-cancel.json
 edge	docs/research/qvm-defuse-cancel.json	scripts/test_qvm_defuse_cancel.py
 group	qvm-defuse-cancel	scripts/analyze_qvm_defuse_cancel.py
 edge	scripts/analyze_qvm_defuse_cancel.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_defuse_cancel.py	docs/research/rust-defuse-cancel.json
+edge	docs/research/rust-defuse-cancel.json	scripts/test_rust_defuse_cancel.py
+group	rust-defuse-cancel	scripts/analyze_rust_defuse_cancel.py
+edge	scripts/analyze_rust_defuse_cancel.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_defuse_cancel.py
+edge	Cargo.lock	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/filter_loading.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-filter-loading.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_defuse_cancel.py
+edge	docs/research/qvm-defuse-cancel.json	scripts/analyze_rust_defuse_cancel.py
+group	rust-defuse-cancel	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/filter_commands.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-filter-commands.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/client_timer.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-client-timer.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/client_processing.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-client-processing.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/client_move_context.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-client-move-context.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-move-callbacks.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/assistance.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-assistance.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/defuse.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/bin/urt-defuse.rs	scripts/analyze_rust_defuse_cancel.py
+edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_defuse_cancel.py

xtask/src/lib.rs

@@ -1154,6 +1154,8 @@ mod integration_tests {
             ("move_callbacks", "assist_sequence"),
             ("defuse", "defuse_begin"),
             ("move_callbacks", "defuse_begin"),
+            ("defuse", "defuse_cancel"),
+            ("move_callbacks", "defuse_cancel"),
             ("client_move_context", "client_move_scratch"),
             ("client_processing", "client_routing"),
             ("client_timer", "client_routing"),
@@ -1383,6 +1385,7 @@ mod integration_tests {
             ("qvm-assist-complete", "assist_complete"),
             ("qvm-assist-sequence", "assist_sequence"),
             ("qvm-defuse-begin", "defuse_begin"),
+            ("qvm-defuse-cancel", "defuse_cancel"),
             ("qvm-client-move-scratch", "client_move_scratch"),
             ("qvm-client-routing", "client_routing"),
             ("qvm-client-command-rewrite", "client_command_rewrite"),