qvm: recover timed bomb defuse completion

docs/FINDINGS.md

@@ -1973,3 +1973,5 @@ RE-1015: Rust ports start-state masks, animation selection, shared clock, durati
 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).
+
+RE-1018: Thirty-two source cases recover active completion when signed wrapped elapsed reaches duration*1000, including equality, negative duration and overflow. Waiting preserves every field. Completion logs first, latches35000396=1, clears clock/busy and owned flags, allocates event84 payload1 with mask32, then requests teleport205260 and award283463 value5. Weapon/animation and neighboring event fields survive. Native nested effects remain captured or supplied. [Evidence](research/QVM_DEFUSE_FINISH.md).

docs/PROVISIONAL_TODO.md

@@ -2032,3 +2032,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [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)).
+
+- [x] RE-1018 Recover timed bomb-defuse completion and effect order ([evidence](research/QVM_DEFUSE_FINISH.md)).

docs/RESEARCH_LEDGER.md

@@ -2743,3 +2743,7 @@ Forty-eight original-QVM cases compare far-target and unflagged cancellation. An
 ## 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.
+
+## 2026-10-29 — RE-1018 Recover timed bomb-defuse completion and effect order
+
+Thirty-two source cases recover active completion when signed wrapped elapsed reaches duration*1000, including equality, negative duration and overflow. Waiting preserves every field. Completion logs first, latches35000396=1, clears clock/busy and owned flags, allocates event84 payload1 with mask32, then requests teleport205260 and award283463 value5. Weapon/animation and neighboring event fields survive. Native nested effects remain captured or supplied. Focused `cargo xtask test-group qvm-defuse-finish` 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

@@ -2069,3 +2069,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [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)).
+
+- [x] RE-1018 Recover timed bomb-defuse completion and effect order ([evidence](research/QVM_DEFUSE_FINISH.md)).

docs/research/QVM_DEFUSE_FINISH.md

@@ -0,0 +1,5 @@
+# Recover timed bomb-defuse completion and effect order
+
+RE-1018. Focused validation: `cargo xtask test-group qvm-defuse-finish`. [Machine report](qvm-defuse-finish.json).
+
+Thirty-two source cases recover active completion when signed wrapped elapsed reaches duration*1000, including equality, negative duration and overflow. Waiting preserves every field. Completion logs first, latches35000396=1, clears clock/busy and owned flags, allocates event84 payload1 with mask32, then requests teleport205260 and award283463 value5. Weapon/animation and neighboring event fields survive. Native nested effects remain captured or supplied.

docs/research/README.md

@@ -1601,3 +1601,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-1016: Recover bomb-defuse cancellation branches](QVM_DEFUSE_CANCEL.md).
 
 - [RE-1017: Port conditional bomb-defuse cancellation](RUST_DEFUSE_CANCEL.md).
+
+- [RE-1018: Recover timed bomb-defuse completion and effect order](QVM_DEFUSE_FINISH.md).

docs/research/qvm-defuse-finish.json

@@ -0,0 +1,1579 @@
+{
+  "limits": "Actual153644..154087 active defuse completion. Signed wrapped duration/elapsed; log, teleport and award captured, event allocation supplied. Caller eligibility/distance excluded.",
+  "probes": [
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5000,
+        "complete": 0,
+        "duration": 0,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5000,
+        "complete": 0,
+        "duration": 5,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5000,
+        "complete": 0,
+        "duration": 4294967295,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5000,
+        "complete": 0,
+        "duration": 2147483648,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5001,
+        "complete": 0,
+        "duration": 0,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 1,
+      "clock": 5001,
+      "complete": 0,
+      "event": [
+        7,
+        2147483649
+      ],
+      "events": [],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "e3856d42779ee1671074e4cc462b4948eeacc3e533d4680d8a443561ea96c918"
+      },
+      "flags": 2147516420,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5001,
+        "complete": 0,
+        "duration": 5,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5001,
+        "complete": 0,
+        "duration": 4294967295,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5001,
+        "complete": 0,
+        "duration": 2147483648,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 1,
+      "clock": 10001,
+      "complete": 0,
+      "event": [
+        7,
+        2147483649
+      ],
+      "events": [],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "e3856d42779ee1671074e4cc462b4948eeacc3e533d4680d8a443561ea96c918"
+      },
+      "flags": 2147516420,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 10001,
+        "complete": 0,
+        "duration": 0,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 1,
+      "clock": 10001,
+      "complete": 0,
+      "event": [
+        7,
+        2147483649
+      ],
+      "events": [],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "e3856d42779ee1671074e4cc462b4948eeacc3e533d4680d8a443561ea96c918"
+      },
+      "flags": 2147516420,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 10001,
+        "complete": 0,
+        "duration": 5,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 10001,
+        "complete": 0,
+        "duration": 4294967295,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 1,
+      "clock": 10001,
+      "complete": 0,
+      "event": [
+        7,
+        2147483649
+      ],
+      "events": [],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "e3856d42779ee1671074e4cc462b4948eeacc3e533d4680d8a443561ea96c918"
+      },
+      "flags": 2147516420,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 10001,
+        "complete": 0,
+        "duration": 2147483648,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 4294967280,
+        "complete": 0,
+        "duration": 0,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 1,
+      "clock": 4294967280,
+      "complete": 0,
+      "event": [
+        7,
+        2147483649
+      ],
+      "events": [],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "e3856d42779ee1671074e4cc462b4948eeacc3e533d4680d8a443561ea96c918"
+      },
+      "flags": 2147516420,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 4294967280,
+        "complete": 0,
+        "duration": 5,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 4294967280,
+        "complete": 0,
+        "duration": 4294967295,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 2147516416,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 4294967280,
+        "complete": 0,
+        "duration": 2147483648,
+        "flags": 2147516420,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5000,
+        "complete": 0,
+        "duration": 0,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5000,
+        "complete": 0,
+        "duration": 5,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5000,
+        "complete": 0,
+        "duration": 4294967295,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5000,
+        "complete": 0,
+        "duration": 2147483648,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5001,
+        "complete": 0,
+        "duration": 0,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 1,
+      "clock": 5001,
+      "complete": 0,
+      "event": [
+        7,
+        2147483649
+      ],
+      "events": [],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "e3856d42779ee1671074e4cc462b4948eeacc3e533d4680d8a443561ea96c918"
+      },
+      "flags": 4294967295,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5001,
+        "complete": 0,
+        "duration": 5,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5001,
+        "complete": 0,
+        "duration": 4294967295,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 5001,
+        "complete": 0,
+        "duration": 2147483648,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 1,
+      "clock": 10001,
+      "complete": 0,
+      "event": [
+        7,
+        2147483649
+      ],
+      "events": [],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "e3856d42779ee1671074e4cc462b4948eeacc3e533d4680d8a443561ea96c918"
+      },
+      "flags": 4294967295,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 10001,
+        "complete": 0,
+        "duration": 0,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 1,
+      "clock": 10001,
+      "complete": 0,
+      "event": [
+        7,
+        2147483649
+      ],
+      "events": [],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "e3856d42779ee1671074e4cc462b4948eeacc3e533d4680d8a443561ea96c918"
+      },
+      "flags": 4294967295,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 10001,
+        "complete": 0,
+        "duration": 5,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 10001,
+        "complete": 0,
+        "duration": 4294967295,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 1,
+      "clock": 10001,
+      "complete": 0,
+      "event": [
+        7,
+        2147483649
+      ],
+      "events": [],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "e3856d42779ee1671074e4cc462b4948eeacc3e533d4680d8a443561ea96c918"
+      },
+      "flags": 4294967295,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 10001,
+        "complete": 0,
+        "duration": 2147483648,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10000,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 4294967280,
+        "complete": 0,
+        "duration": 0,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 1,
+      "clock": 4294967280,
+      "complete": 0,
+      "event": [
+        7,
+        2147483649
+      ],
+      "events": [],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "e3856d42779ee1671074e4cc462b4948eeacc3e533d4680d8a443561ea96c918"
+      },
+      "flags": 4294967295,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 4294967280,
+        "complete": 0,
+        "duration": 5,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 4294967280,
+        "complete": 0,
+        "duration": 4294967295,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    },
+    {
+      "animation": 99,
+      "busy": 0,
+      "clock": 0,
+      "complete": 1,
+      "event": [
+        1,
+        2147483681
+      ],
+      "events": [
+        {
+          "format": "426f6d62207761732064656675736564206279202569210a",
+          "op": "log",
+          "slot": 2
+        },
+        {
+          "event": 84,
+          "op": "allocate"
+        },
+        {
+          "op": "teleport",
+          "slot": 2
+        },
+        {
+          "op": "award",
+          "slot": 2,
+          "value": 5
+        }
+      ],
+      "execution": {
+        "stop": 154087,
+        "trace_length": 130,
+        "trace_sha256": "38d637640c610de36625c3d0ffa2bc7c7f008ec0e1eff333c1e3284f4a82942e"
+      },
+      "flags": 4294967291,
+      "flags104": 2147483650,
+      "guards": [
+        2864434397,
+        287454020
+      ],
+      "input": {
+        "animation": 99,
+        "busy": 1,
+        "clock": 4294967280,
+        "complete": 0,
+        "duration": 2147483648,
+        "flags": 4294967295,
+        "flags104": 2147483650,
+        "index": 3,
+        "tick": 10,
+        "weapon": 305397771
+      },
+      "weapon": 305397771
+    }
+  ],
+  "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+  "source": {
+    "archive": "zUrT43_qvm.pk3",
+    "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
+    "member": {
+      "bytes": 983300,
+      "comment_hex": "",
+      "compressed_bytes": 246560,
+      "compression": 8,
+      "crc32": "98ea1768",
+      "create_system": 0,
+      "create_version": 63,
+      "date_time": [
+        2018,
+        6,
+        18,
+        22,
+        11,
+        50
+      ],
+      "directory": false,
+      "entry_index": 2,
+      "external_attr": 32,
+      "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
+      "extract_version": 20,
+      "flags": 0,
+      "header_offset": 221309,
+      "internal_attr": 0,
+      "occurrence": 0,
+      "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
+      "path": "vm/qagame.qvm",
+      "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+      "type": "member",
+      "volume": 0
+    }
+  }
+}

scripts/analyze_qvm_defuse_finish.py

@@ -0,0 +1,12 @@
+"""Verified original movement-context source contract."""
+from pathlib import Path
+from analyze_qvm import write_json
+from qvm_research_support import source
+from qvm_defuse_support import seed,finish,finish_fixtures
+
+def main():
+ q,raw,h,ins=source();probes=[]
+ for a in finish_fixtures():
+  m,b=seed(raw,h,a);m,p,b=finish(ins,m,b,a);p['input']=a;probes.append(p)
+ write_json(Path('docs/research/qvm-defuse-finish.json'),dict(source=q['source'],sha256=q['sha256'],probes=probes,limits='Actual153644..154087 active defuse completion. Signed wrapped duration/elapsed; log, teleport and award captured, event allocation supplied. Caller eligibility/distance excluded.'))
+if __name__=='__main__':main()

scripts/qvm_defuse_oracle.py

@@ -12,3 +12,9 @@ def cancel(a):
  out=initial(a);out['events']=[]
  if a['busy']:out.update(flags=a['flags']&~4,flags104=a['flags104']&~16,busy=0,clock=0,event=[0,0x80000021],events=[dict(op='allocate',event=84)])
  return out
+
+def finish(a):
+ out=initial(a);out['events']=[]
+ if signed((a['tick']-a['clock'])&0xffffffff)>=signed((a['duration']*1000)&0xffffffff):
+  out.update(flags=a['flags']&~4,flags104=a['flags104']&~16,busy=0,clock=0,complete=1,event=[1,0x80000021],events=[dict(op='log',format=b'Bomb was defused by %i!\n'.hex(),slot=2),dict(op='allocate',event=84),dict(op='teleport',slot=2),dict(op='award',slot=2,value=5)])
+ return out

scripts/qvm_defuse_support.py

@@ -43,3 +43,8 @@ def cancel_fixtures():
  from itertools import product
  return [dict(defaults(),flags=f,busy=busy,clock=clock,reason=reason) for f,busy,clock,reason in product([0,4,0x80008004,0xffffffff],[0,1,0xffffffff],[0,0x80000000],['far','unflagged'])]
 def cancel(ins,m,b,a):return fragment(ins,m,b,a,154008 if a['reason']=='far' else 153927)
+
+def finish_fixtures():
+ from itertools import product
+ return [dict(defaults(),busy=1,flags=f,tick=tick,clock=clock,duration=d) for f,(tick,clock),d in product([0x80008004,0xffffffff],[(10000,5000),(10000,5001),(10000,10001),(10,0xfffffff0)],[0,5,0xffffffff,0x80000000])]
+def finish(ins,m,b,a):return fragment(ins,m,b,a,153644)

scripts/test_qvm_defuse_finish.py

@@ -0,0 +1,13 @@
+import json,unittest
+from pathlib import Path
+from qvm_defuse_oracle import finish
+class OriginalTests(unittest.TestCase):
+ def test_original_contract(self):
+  rows=json.loads(Path('docs/research/qvm-defuse-finish.json').read_text())['probes'];self.assertEqual(len(rows),32)
+  for p in rows:
+   with self.subTest(input=p['input']):
+    for k,v in finish(p['input']).items():self.assertEqual(p[k],v,k)
+ def test_fixture_identity_and_trace(self):
+  r=json.loads(Path('docs/research/qvm-defuse-finish.json').read_text());self.assertEqual(len(r['sha256']),64)
+  self.assertTrue(all(p['execution']['trace_length']>0 for p in r['probes']))
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -4206,3 +4206,7 @@ edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_defuse_cance
 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
+report	scripts/analyze_qvm_defuse_finish.py	docs/research/qvm-defuse-finish.json
+edge	docs/research/qvm-defuse-finish.json	scripts/test_qvm_defuse_finish.py
+group	qvm-defuse-finish	scripts/analyze_qvm_defuse_finish.py
+edge	scripts/analyze_qvm_defuse_finish.py	scripts/analyze_qvm_resumer_audit.py