qvm: recover linked collision mask policy

docs/FINDINGS.md

@@ -1907,3 +1907,5 @@ RE-985: Rust owns an exact268-byte scratch slice and returns ordered zero/mode-c
 RE-986: 90 original-QVM fixtures recover live/non-following client mask2 suppression. Forward/right command bytes clear; positive signed up input clears, while zero and negative up values survive. Buttons, angles, timestamp and adjacent low byte survive. The rewritten24-byte command is then copied into scratch and the client pointer bound. Dead clients, followers and absent mask2 bypass suppression. [Evidence](research/QVM_CLIENT_MOVE_SUPPRESSION.md).
 
 RE-987: Rust snapshots six raw command words after source-backed suppression, retaining negative up bytes and all unrelated command words. Ninety source/Rust fixtures compare both the mutated command and scratch copy. Unit cases cover signed byte boundaries, neighboring button preservation and dead/follow/other-mask bypasses. The typed return represents binding to the supplied client rather than a raw address. [Evidence](research/RUST_CLIENT_MOVE_SUPPRESSION.md).
+
+RE-988: Forty source probes recover mask precedence and execute actual151954 overlap checks. Movement-type3 bypasses links and selects65537; overlapping live type0 linked entities select the same mask. Failed overlap clears both link words and selects33619969. Unlinked entity mask8 selects37814273 before mode9/nonzero client3704 selects67174401. The helper uses strict lower-X versus upper-X overlap, inclusive remaining comparisons, positive entity health and movement-type0 on both clients; boundary fixtures expose this asymmetry. [Evidence](research/QVM_CLIENT_MOVE_MASK.md).

docs/PROVISIONAL_TODO.md

@@ -1963,3 +1963,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [x] RE-986 Recover movement suppression and command snapshot ([evidence](research/QVM_CLIENT_MOVE_SUPPRESSION.md)).
 
 - [x] RE-987 Port signed movement suppression and snapshot ([evidence](research/RUST_CLIENT_MOVE_SUPPRESSION.md)).
+
+- [x] RE-988 Recover movement masks and linked overlap cleanup ([evidence](research/QVM_CLIENT_MOVE_MASK.md)).

docs/RESEARCH_LEDGER.md

@@ -2623,3 +2623,7 @@ Rust owns an exact268-byte scratch slice and returns ordered zero/mode-callback
 ## 2026-10-29 — RE-987 Port signed movement suppression and snapshot
 
 Rust snapshots six raw command words after source-backed suppression, retaining negative up bytes and all unrelated command words. Ninety source/Rust fixtures compare both the mutated command and scratch copy. Unit cases cover signed byte boundaries, neighboring button preservation and dead/follow/other-mask bypasses. The typed return represents binding to the supplied client rather than a raw address. Focused `cargo xtask test-group rust-client-move-suppression` 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-988 Recover movement masks and linked overlap cleanup
+
+Forty source probes recover mask precedence and execute actual151954 overlap checks. Movement-type3 bypasses links and selects65537; overlapping live type0 linked entities select the same mask. Failed overlap clears both link words and selects33619969. Unlinked entity mask8 selects37814273 before mode9/nonzero client3704 selects67174401. The helper uses strict lower-X versus upper-X overlap, inclusive remaining comparisons, positive entity health and movement-type0 on both clients; boundary fixtures expose this asymmetry. Focused `cargo xtask test-group qvm-client-move-mask` 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

@@ -2000,3 +2000,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [x] RE-986 Recover movement suppression and command snapshot ([evidence](research/QVM_CLIENT_MOVE_SUPPRESSION.md)).
 
 - [x] RE-987 Port signed movement suppression and snapshot ([evidence](research/RUST_CLIENT_MOVE_SUPPRESSION.md)).
+
+- [x] RE-988 Recover movement masks and linked overlap cleanup ([evidence](research/QVM_CLIENT_MOVE_MASK.md)).

docs/research/QVM_CLIENT_MOVE_MASK.md

@@ -0,0 +1,5 @@
+# Recover movement masks and linked overlap cleanup
+
+RE-988. Focused validation: `cargo xtask test-group qvm-client-move-mask`. [Machine report](qvm-client-move-mask.json).
+
+Forty source probes recover mask precedence and execute actual151954 overlap checks. Movement-type3 bypasses links and selects65537; overlapping live type0 linked entities select the same mask. Failed overlap clears both link words and selects33619969. Unlinked entity mask8 selects37814273 before mode9/nonzero client3704 selects67174401. The helper uses strict lower-X versus upper-X overlap, inclusive remaining comparisons, positive entity health and movement-type0 on both clients; boundary fixtures expose this asymmetry.

docs/research/README.md

@@ -1535,3 +1535,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-986: Recover movement suppression and command snapshot](QVM_CLIENT_MOVE_SUPPRESSION.md).
 
 - [RE-987: Port signed movement suppression and snapshot](RUST_CLIENT_MOVE_SUPPRESSION.md).
+
+- [RE-988: Recover movement masks and linked overlap cleanup](QVM_CLIENT_MOVE_MASK.md).

docs/research/qvm-client-move-mask.json

@@ -0,0 +1,1145 @@
+{
+  "limits": "154664..154777 with actual151954 overlap helper. Finite axis-aligned entity boxes; no native traces or movement simulation.",
+  "probes": [
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 33,
+        "trace_sha256": "c3a75ef8469ed16f8858e513cd73e676ee35a3a0f73d83b8f4638167812df472"
+      },
+      "input": {
+        "entity_flags": 0,
+        "ghost": 0,
+        "linked": 0,
+        "mode": 0,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 33,
+        "trace_sha256": "c3a75ef8469ed16f8858e513cd73e676ee35a3a0f73d83b8f4638167812df472"
+      },
+      "input": {
+        "entity_flags": 0,
+        "ghost": 1,
+        "linked": 0,
+        "mode": 0,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 40,
+        "trace_sha256": "e53902d39caf83ac854d04140d49974f97b238ff5d38ff5450aa53e7eec171c9"
+      },
+      "input": {
+        "entity_flags": 0,
+        "ghost": 0,
+        "linked": 0,
+        "mode": 9,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 42,
+        "trace_sha256": "2ffb51777216657bce4b46039c323cb793dfdc3b045b3bf5fd4fef3ae1a16532"
+      },
+      "input": {
+        "entity_flags": 0,
+        "ghost": 1,
+        "linked": 0,
+        "mode": 9,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 67174401,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 31,
+        "trace_sha256": "639908003684d3f2e5c5b1fe8c90e306473e3e425bb67ad59728973b9e84dce9"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 0,
+        "linked": 0,
+        "mode": 0,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 37814273,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 31,
+        "trace_sha256": "639908003684d3f2e5c5b1fe8c90e306473e3e425bb67ad59728973b9e84dce9"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 0,
+        "mode": 0,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 37814273,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 31,
+        "trace_sha256": "639908003684d3f2e5c5b1fe8c90e306473e3e425bb67ad59728973b9e84dce9"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 0,
+        "linked": 0,
+        "mode": 9,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 37814273,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 31,
+        "trace_sha256": "639908003684d3f2e5c5b1fe8c90e306473e3e425bb67ad59728973b9e84dce9"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 0,
+        "mode": 9,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 37814273,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 0,
+        "ghost": 0,
+        "linked": 0,
+        "mode": 0,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 0,
+        "ghost": 1,
+        "linked": 0,
+        "mode": 0,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 0,
+        "ghost": 0,
+        "linked": 0,
+        "mode": 9,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 0,
+        "ghost": 1,
+        "linked": 0,
+        "mode": 9,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 0,
+        "linked": 0,
+        "mode": 0,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 0,
+        "mode": 0,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 0,
+        "linked": 0,
+        "mode": 9,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 0,
+        "mode": 9,
+        "name": "unlinked",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 46,
+        "trace_sha256": "c280a4bfe38145d80a3fb2cf1653ee78098b4efdf3f7ec5869de4a985a2bf6a3"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "overlap",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": [
+        1
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "overlap",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 70,
+        "trace_sha256": "de79da707d8fb6ab3387568b7dfd3dcfe69375b673d304104815a45b6a5aa6b6"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "x-touch",
+        "origin": [
+          2.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": false,
+      "overlap_results": [
+        0
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "x-touch",
+        "origin": [
+          2.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 46,
+        "trace_sha256": "c280a4bfe38145d80a3fb2cf1653ee78098b4efdf3f7ec5869de4a985a2bf6a3"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "x-left-touch",
+        "origin": [
+          -2.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": [
+        1
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "x-left-touch",
+        "origin": [
+          -2.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 46,
+        "trace_sha256": "c280a4bfe38145d80a3fb2cf1653ee78098b4efdf3f7ec5869de4a985a2bf6a3"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "y-touch",
+        "origin": [
+          0.0,
+          2.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": [
+        1
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "y-touch",
+        "origin": [
+          0.0,
+          2.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 46,
+        "trace_sha256": "c280a4bfe38145d80a3fb2cf1653ee78098b4efdf3f7ec5869de4a985a2bf6a3"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "z-touch",
+        "origin": [
+          0.0,
+          0.0,
+          2.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": [
+        1
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "z-touch",
+        "origin": [
+          0.0,
+          0.0,
+          2.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 70,
+        "trace_sha256": "de79da707d8fb6ab3387568b7dfd3dcfe69375b673d304104815a45b6a5aa6b6"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "separated-x",
+        "origin": [
+          3.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": false,
+      "overlap_results": [
+        0
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "separated-x",
+        "origin": [
+          3.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 70,
+        "trace_sha256": "de79da707d8fb6ab3387568b7dfd3dcfe69375b673d304104815a45b6a5aa6b6"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "separated-y",
+        "origin": [
+          0.0,
+          3.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": false,
+      "overlap_results": [
+        0
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "separated-y",
+        "origin": [
+          0.0,
+          3.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 70,
+        "trace_sha256": "de79da707d8fb6ab3387568b7dfd3dcfe69375b673d304104815a45b6a5aa6b6"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "separated-z",
+        "origin": [
+          0.0,
+          0.0,
+          3.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": false,
+      "overlap_results": [
+        0
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "separated-z",
+        "origin": [
+          0.0,
+          0.0,
+          3.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 70,
+        "trace_sha256": "de79da707d8fb6ab3387568b7dfd3dcfe69375b673d304104815a45b6a5aa6b6"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "other-dead",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 0,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": false,
+      "overlap_results": [
+        0
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "other-dead",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 0,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 70,
+        "trace_sha256": "de79da707d8fb6ab3387568b7dfd3dcfe69375b673d304104815a45b6a5aa6b6"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "self-dead",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 0
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": false,
+      "overlap_results": [
+        0
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "self-dead",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 0
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 70,
+        "trace_sha256": "de79da707d8fb6ab3387568b7dfd3dcfe69375b673d304104815a45b6a5aa6b6"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "other-pm",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 1,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": false,
+      "overlap_results": [
+        0
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "other-pm",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 1,
+        "other_pm": 1,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 70,
+        "trace_sha256": "de79da707d8fb6ab3387568b7dfd3dcfe69375b673d304104815a45b6a5aa6b6"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "other-negative-health",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 4294967295,
+        "other_pm": 0,
+        "pm_type": 0,
+        "self_health": 1
+      },
+      "linked": false,
+      "mask": 33619969,
+      "other_linked": false,
+      "overlap_results": [
+        0
+      ]
+    },
+    {
+      "execution": {
+        "stop": 154777,
+        "trace_length": 12,
+        "trace_sha256": "8def5fd70edf9f6f35f3894c5a99a86b16ee7c982f03e8687bf845ba8a68b362"
+      },
+      "input": {
+        "entity_flags": 8,
+        "ghost": 1,
+        "linked": 1,
+        "mode": 9,
+        "name": "other-negative-health",
+        "origin": [
+          0.0,
+          0.0,
+          0.0
+        ],
+        "other_health": 4294967295,
+        "other_pm": 0,
+        "pm_type": 3,
+        "self_health": 1
+      },
+      "linked": true,
+      "mask": 65537,
+      "other_linked": true,
+      "overlap_results": []
+    }
+  ],
+  "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_client_move_mask.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_client_move_context_support import seed,mask,mask_fixtures
+
+def main():
+ q,raw,h,ins=source();probes=[]
+ for a in mask_fixtures():
+  m,b=seed(raw,h,a);m,p,b=mask(ins,m,b,a);p['input']=a;probes.append(p)
+ write_json(Path('docs/research/qvm-client-move-mask.json'),dict(source=q['source'],sha256=q['sha256'],probes=probes,limits='154664..154777 with actual151954 overlap helper. Finite axis-aligned entity boxes; no native traces or movement simulation.'))
+if __name__=='__main__':main()

scripts/qvm_client_move_context_oracle.py

@@ -8,3 +8,16 @@ def suppression(a):
  if 0<a['health']<0x80000000 and not a['follow'] and a['flags']&2:
   u=(command[5]>>24)&255;command[5]=(command[5]&255)|((u if u>=128 else 0)<<24)
  return dict(command=command,copied=command,client_bound=True)
+
+def mask(a):
+ linked=bool(a['linked']);other=True;results=[]
+ if a['pm_type']==3:mask=65537
+ elif linked:
+  o=a['origin'];overlap=(a['other_pm']==0 and a['pm_type']==0 and 0<a['other_health']<0x80000000 and 0<a['self_health']<0x80000000 and o[0]-1<1 and o[1]-1<=1 and o[2]-1<=1 and o[0]+1>=-1 and o[1]+1>=-1 and o[2]+1>=-1)
+  results=[int(overlap)]
+  if overlap:mask=65537
+  else:mask=33619969;linked=False;other=False
+ elif a['entity_flags']&8:mask=37814273
+ elif a['mode']==9 and a['ghost']:mask=67174401
+ else:mask=33619969
+ return dict(mask=mask,linked=linked,other_linked=other,overlap_results=results)

scripts/qvm_client_move_context_support.py

@@ -44,3 +44,36 @@ def suppression_view(m,b):
 def suppression(ins,m,b,a):
  suppression_seed(m,b,a);m,e,b=execute(ins,m,b,154579,154664)
  return m,dict(**suppression_view(m,b),execution={k:e[k] for k in ['stop','trace_length','trace_sha256']}),b
+
+from qvm_camera_world_support import POOL,run
+from qvm_exit_rules_support import CPOOL
+from analyze_qvm_acceleration import word
+OTHER=POOL+880*3
+OTHER_CLIENT=CPOOL+6336*3
+
+def mask_fixtures():
+ from itertools import product
+ rows=[dict(name='unlinked',pm_type=pm,linked=0,entity_flags=ef,mode=mode,ghost=ghost,other_pm=0,other_health=1,self_health=1,origin=[0.,0.,0.]) for pm,ef,mode,ghost in product([0,3],[0,8],[0,9],[0,1])]
+ profiles=[('overlap',{}),('x-touch',dict(origin=[2.,0.,0.])),('x-left-touch',dict(origin=[-2.,0.,0.])),('y-touch',dict(origin=[0.,2.,0.])),('z-touch',dict(origin=[0.,0.,2.])),('separated-x',dict(origin=[3.,0.,0.])),('separated-y',dict(origin=[0.,3.,0.])),('separated-z',dict(origin=[0.,0.,3.])),('other-dead',dict(other_health=0)),('self-dead',dict(self_health=0)),('other-pm',dict(other_pm=1)),('other-negative-health',dict(other_health=0xffffffff))]
+ defaults=dict(linked=1,entity_flags=8,mode=9,ghost=1,other_pm=0,other_health=1,self_health=1,origin=[0.,0.,0.])
+ rows += [dict(defaults,**changes,name=name,pm_type=pm) for name,changes in profiles for pm in [0,3]]
+ return rows
+
+def mask_seed(m,b,a):
+ m.update({ROOT+56:CLIENT,ROOT+52:CLIENT,CLIENT+4:a['pm_type'],CLIENT+4396:OTHER if a['linked'] else 0,ENTITY+424:a['entity_flags'],34090788:a['mode'],CLIENT+3704:a['ghost'],OTHER+520:OTHER_CLIENT,OTHER_CLIENT+4396:ENTITY,OTHER_CLIENT+4:a['other_pm'],OTHER+684:a['other_health'],ENTITY+684:a['self_health']})
+ for entity,origin in [(ENTITY,[0.,0.,0.]),(OTHER,a['origin'])]:
+  for j in range(3):m[entity+488+4*j]=word(origin[j]);m[entity+436+4*j]=word(-1.);m[entity+448+4*j]=word(1.)
+
+def mask_handlers(results):
+ def overlap(i,m,a,bs):
+  assert a[8]==ENTITY and a[12]==OTHER
+  m,v,p,b=run(i,m,151954,152219,64,{8:ENTITY,12:OTHER},dict(bs),base=ROOT+0x40000)
+  results.append(v&0xffffffff)
+  return m,v,{'actual_source_child':151954,'trace_sha256':p['execution']['trace_sha256']}
+ return {151954:overlap}
+
+def mask_view(m,results):return dict(mask=m[ROOT+84]&0xffffffff,linked=bool(m[CLIENT+4396]),other_linked=bool(m[OTHER_CLIENT+4396]),overlap_results=results)
+
+def mask(ins,m,b,a):
+ mask_seed(m,b,a);results=[];m,e,b=execute(ins,m,b,154664,154777,mask_handlers(results))
+ return m,dict(**mask_view(m,results),execution={k:e[k] for k in ['stop','trace_length','trace_sha256']}),b

scripts/test_qvm_client_move_mask.py

@@ -0,0 +1,13 @@
+import json,unittest
+from pathlib import Path
+from qvm_client_move_context_oracle import mask
+class OriginalTests(unittest.TestCase):
+ def test_original_contract(self):
+  rows=json.loads(Path('docs/research/qvm-client-move-mask.json').read_text())['probes'];self.assertEqual(len(rows),40)
+  for p in rows:
+   with self.subTest(input=p['input']):
+    for k,v in mask(p['input']).items():self.assertEqual(p[k],v,k)
+ def test_fixture_identity_and_trace(self):
+  r=json.loads(Path('docs/research/qvm-client-move-mask.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

@@ -3728,3 +3728,7 @@ edge	crates/urt-gameplay/src/client_processing.rs	scripts/analyze_rust_client_mo
 edge	crates/urt-gameplay/src/bin/urt-client-processing.rs	scripts/analyze_rust_client_move_suppression.py
 edge	crates/urt-gameplay/src/client_move_context.rs	scripts/analyze_rust_client_move_suppression.py
 edge	crates/urt-gameplay/src/bin/urt-client-move-context.rs	scripts/analyze_rust_client_move_suppression.py
+report	scripts/analyze_qvm_client_move_mask.py	docs/research/qvm-client-move-mask.json
+edge	docs/research/qvm-client-move-mask.json	scripts/test_qvm_client_move_mask.py
+group	qvm-client-move-mask	scripts/analyze_qvm_client_move_mask.py
+edge	scripts/analyze_qvm_client_move_mask.py	scripts/analyze_qvm_resumer_audit.py