qvm: recover assistance cleanup scan

docs/FINDINGS.md

@@ -1929,3 +1929,5 @@ RE-995: Rust ports meter f32 conversion, truncation, clamping, completion masks,
 RE-996: Thirty-six original-QVM cases execute152673 with actual meter child152386. Entity/client existence, mode10, connection2, positive signed health, zero follow and client mask16384 gate processing. Progress uses staged f32 operations32000/(seconds*1000)*signed wrapped elapsed, adds carry, advances clock6324, then runs self-melt completion. Negative elapsed/duration, wrapped ticks, fractional carry and all admission exits are covered. Early exits preserve clock and carry; event/log effects remain captured. [Evidence](research/QVM_MOVE_SELF_RECOVERY.md).
 
 RE-997: Rust ports actual self-recovery gates, wrapped signed elapsed time, staged f32 progress and the meter child across36 source cases. Admission exits preserve state without reading unused float configuration. Active invalid duration, nonfinite progress or unsupported conversion reject without advancing clock or committing meter/event changes. Unit tests cover wrapped elapsed time, inactive NaN preservation and late-error rollback. [Evidence](research/RUST_MOVE_SELF_RECOVERY.md).
+
+RE-998: Twenty-eight original-QVM fixtures recover152792 admission and its first entity-pool scan through152994. Protected self mask16384 clears own assistance mask8192, active6316 and target6320, then returns. Otherwise active helpers lose those fields when their target disconnects, dies or follows; healthy targets retain assistance. Loop order, zero/64 counts, absent entity/client, high-bit preservation and all self admission exits are covered. The subsequent distance/assistance search remains outside this boundary. [Evidence](research/QVM_MOVE_ASSIST_CLEANUP.md).

docs/PROVISIONAL_TODO.md

@@ -1986,3 +1986,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [x] RE-996 Recover timed mode10 self-recovery ([evidence](research/QVM_MOVE_SELF_RECOVERY.md)).
 
 - [x] RE-997 Port timed self-recovery with atomic state updates ([evidence](research/RUST_MOVE_SELF_RECOVERY.md)).
+
+- [x] RE-998 Recover mode10 assistance admission and cleanup scan ([evidence](research/QVM_MOVE_ASSIST_CLEANUP.md)).

docs/RESEARCH_LEDGER.md

@@ -2663,3 +2663,7 @@ Thirty-six original-QVM cases execute152673 with actual meter child152386. Entit
 ## 2026-10-29 — RE-997 Port timed self-recovery with atomic state updates
 
 Rust ports actual self-recovery gates, wrapped signed elapsed time, staged f32 progress and the meter child across36 source cases. Admission exits preserve state without reading unused float configuration. Active invalid duration, nonfinite progress or unsupported conversion reject without advancing clock or committing meter/event changes. Unit tests cover wrapped elapsed time, inactive NaN preservation and late-error rollback. Focused `cargo xtask test-group rust-move-self-recovery` 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-998 Recover mode10 assistance admission and cleanup scan
+
+Twenty-eight original-QVM fixtures recover152792 admission and its first entity-pool scan through152994. Protected self mask16384 clears own assistance mask8192, active6316 and target6320, then returns. Otherwise active helpers lose those fields when their target disconnects, dies or follows; healthy targets retain assistance. Loop order, zero/64 counts, absent entity/client, high-bit preservation and all self admission exits are covered. The subsequent distance/assistance search remains outside this boundary. Focused `cargo xtask test-group qvm-move-assist-cleanup` 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

@@ -2023,3 +2023,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [x] RE-996 Recover timed mode10 self-recovery ([evidence](research/QVM_MOVE_SELF_RECOVERY.md)).
 
 - [x] RE-997 Port timed self-recovery with atomic state updates ([evidence](research/RUST_MOVE_SELF_RECOVERY.md)).
+
+- [x] RE-998 Recover mode10 assistance admission and cleanup scan ([evidence](research/QVM_MOVE_ASSIST_CLEANUP.md)).

docs/research/QVM_MOVE_ASSIST_CLEANUP.md

@@ -0,0 +1,5 @@
+# Recover mode10 assistance admission and cleanup scan
+
+RE-998. Focused validation: `cargo xtask test-group qvm-move-assist-cleanup`. [Machine report](qvm-move-assist-cleanup.json).
+
+Twenty-eight original-QVM fixtures recover152792 admission and its first entity-pool scan through152994. Protected self mask16384 clears own assistance mask8192, active6316 and target6320, then returns. Otherwise active helpers lose those fields when their target disconnects, dies or follows; healthy targets retain assistance. Loop order, zero/64 counts, absent entity/client, high-bit preservation and all self admission exits are covered. The subsequent distance/assistance search remains outside this boundary.

docs/research/README.md

@@ -1557,3 +1557,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-996: Recover timed mode10 self-recovery](QVM_MOVE_SELF_RECOVERY.md).
 
 - [RE-997: Port timed self-recovery with atomic state updates](RUST_MOVE_SELF_RECOVERY.md).
+
+- [RE-998: Recover mode10 assistance admission and cleanup scan](QVM_MOVE_ASSIST_CLEANUP.md).

docs/research/qvm-move-assist-cleanup.json

@@ -0,0 +1,1799 @@
+{
+  "limits": "Actual152792 admission/first cleanup scan, stop152994 before assistance search or153417 return. Entity/client mappings supplied, no assistance-distance or nested thaw callbacks executed.",
+  "probes": [
+    {
+      "clients": [
+        [
+          8192,
+          1,
+          1
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          8192,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 233,
+        "trace_sha256": "d56b768baec13f1fa32a486725767e8b0b575f4a45f7bdf897118a63a258ee2d"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "normal",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 1
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          2147491840,
+          1,
+          1
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147491840,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 233,
+        "trace_sha256": "d56b768baec13f1fa32a486725767e8b0b575f4a45f7bdf897118a63a258ee2d"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "normal",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 1
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 283,
+        "trace_sha256": "8b874cb2ac6a75de1c7793b6fba3dea73520af608c88a4b54ea1a62c2b830091"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "dead-target",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 283,
+        "trace_sha256": "8b874cb2ac6a75de1c7793b6fba3dea73520af608c88a4b54ea1a62c2b830091"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "dead-target",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 263,
+        "trace_sha256": "9897b64d365fe8528494f4cc5a5dfd19b63cb304790268f5dccd171ef1ba1cf4"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "disconnected-target",
+        "self_flags": 0,
+        "target_connection": 1,
+        "target_follow": 0,
+        "target_health": 1
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 263,
+        "trace_sha256": "9897b64d365fe8528494f4cc5a5dfd19b63cb304790268f5dccd171ef1ba1cf4"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "disconnected-target",
+        "self_flags": 0,
+        "target_connection": 1,
+        "target_follow": 0,
+        "target_health": 1
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 303,
+        "trace_sha256": "6e51c04c44881601f6e003fbae45e6a812afebc855b471623de0953aeebe4deb"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "following-target",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 1,
+        "target_health": 1
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 303,
+        "trace_sha256": "6e51c04c44881601f6e003fbae45e6a812afebc855b471623de0953aeebe4deb"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "following-target",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 1,
+        "target_health": 1
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          8192,
+          0,
+          1
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 218,
+        "trace_sha256": "1f63d134a24bfdbd2a083feaeed93187f3454a539b73a24230452051873bc9c2"
+      },
+      "input": {
+        "active": 0,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "inactive-helper",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          2147491840,
+          0,
+          1
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 218,
+        "trace_sha256": "1f63d134a24bfdbd2a083feaeed93187f3454a539b73a24230452051873bc9c2"
+      },
+      "input": {
+        "active": 0,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "inactive-helper",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          8192,
+          1,
+          1
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          16384,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 84,
+        "trace_sha256": "a2b44bef539bef98d3913b1f327bfd286755201eb19b7e41279edd71662ca536"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "protected-self",
+        "self_flags": 16384,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          2147491840,
+          1,
+          1
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147500032,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 84,
+        "trace_sha256": "a2b44bef539bef98d3913b1f327bfd286755201eb19b7e41279edd71662ca536"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "protected-self",
+        "self_flags": 16384,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          8192,
+          1,
+          1
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          8192,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 42,
+        "trace_sha256": "e291bebc85d17a8bc5d164eaa0dac3c29d367cfb78264c3e8e919f87463c0e16"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 0,
+        "mode": 10,
+        "name": "dead-self",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          2147491840,
+          1,
+          1
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147491840,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 42,
+        "trace_sha256": "e291bebc85d17a8bc5d164eaa0dac3c29d367cfb78264c3e8e919f87463c0e16"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 0,
+        "mode": 10,
+        "name": "dead-self",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          8192,
+          1,
+          1
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          8192,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 49,
+        "trace_sha256": "818087e917ad22d0dcbb8dce7d2b212ca947b0495046e4343757da5c364f913f"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 1,
+        "health": 1,
+        "mode": 10,
+        "name": "following-self",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          2147491840,
+          1,
+          1
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147491840,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 49,
+        "trace_sha256": "818087e917ad22d0dcbb8dce7d2b212ca947b0495046e4343757da5c364f913f"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 1,
+        "health": 1,
+        "mode": 10,
+        "name": "following-self",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          8192,
+          1,
+          1
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          8192,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 21,
+        "trace_sha256": "ce61020379f64e251cc94177c2ac7a119ee00ef2d44c458c3b5c7248a74ee9de"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 9,
+        "name": "wrong-mode",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          2147491840,
+          1,
+          1
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147491840,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 21,
+        "trace_sha256": "ce61020379f64e251cc94177c2ac7a119ee00ef2d44c458c3b5c7248a74ee9de"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 9,
+        "name": "wrong-mode",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          8192,
+          1,
+          1
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          8192,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 10,
+        "trace_sha256": "c418d7be306a53564d3e304917dee3ed3ee4cdd48ba3be6b0b6b15a3a93b7a83"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 0,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "null-entity",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          2147491840,
+          1,
+          1
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147491840,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 10,
+        "trace_sha256": "c418d7be306a53564d3e304917dee3ed3ee4cdd48ba3be6b0b6b15a3a93b7a83"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 3,
+        "entity": 0,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "null-entity",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          8192,
+          1,
+          1
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          8192,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 17,
+        "trace_sha256": "7c6e2996fef52a100896ac3fa9e293aa75bc5c5961cc48d64a484cd43beeb423"
+      },
+      "input": {
+        "active": 1,
+        "client": 0,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "null-client",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          2147491840,
+          1,
+          1
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147491840,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 17,
+        "trace_sha256": "7c6e2996fef52a100896ac3fa9e293aa75bc5c5961cc48d64a484cd43beeb423"
+      },
+      "input": {
+        "active": 1,
+        "client": 0,
+        "connection": 2,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "null-client",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          8192,
+          1,
+          1
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          8192,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 35,
+        "trace_sha256": "1b8e2af1e9a9f271f86e2457ccc8744e05740d4817642e5424e999e3f7debd5b"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 1,
+        "count": 3,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "disconnected-self",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          2147491840,
+          1,
+          1
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147491840,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 153417,
+        "trace_length": 35,
+        "trace_sha256": "1b8e2af1e9a9f271f86e2457ccc8744e05740d4817642e5424e999e3f7debd5b"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 1,
+        "count": 3,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "disconnected-self",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": false
+    },
+    {
+      "clients": [
+        [
+          8192,
+          1,
+          1
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          8192,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 66,
+        "trace_sha256": "f7f792e3f01c8b990ef86038c084bec7ea2abdd78e3f5e484cb8f8c0f40cbb72"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 0,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "count-zero",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          2147491840,
+          1,
+          1
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147491840,
+          1,
+          1
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 66,
+        "trace_sha256": "f7f792e3f01c8b990ef86038c084bec7ea2abdd78e3f5e484cb8f8c0f40cbb72"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 0,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "count-zero",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ],
+        [
+          0,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 2052,
+        "trace_sha256": "f8f9978e024ea073f2ef147a7bf23722260f76addc3d001df38d80d4dd9c207c"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 64,
+        "entity": 1,
+        "extra": 0,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "full-pool",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": true
+    },
+    {
+      "clients": [
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ],
+        [
+          2147483648,
+          0,
+          null
+        ]
+      ],
+      "execution": {
+        "stop": 152994,
+        "trace_length": 2052,
+        "trace_sha256": "f8f9978e024ea073f2ef147a7bf23722260f76addc3d001df38d80d4dd9c207c"
+      },
+      "input": {
+        "active": 1,
+        "client": 1,
+        "connection": 2,
+        "count": 64,
+        "entity": 1,
+        "extra": 2147483648,
+        "follow": 0,
+        "health": 1,
+        "mode": 10,
+        "name": "full-pool",
+        "self_flags": 0,
+        "target_connection": 2,
+        "target_follow": 0,
+        "target_health": 0
+      },
+      "proceed": true
+    }
+  ],
+  "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
+    }
+  }
+}

docs/research/qvm-resumer-audit.json

@@ -9226,6 +9226,66 @@
       "repeated_calls_opt_in": false,
       "repeated_calls_setting": "default_false"
     },
+    {
+      "backward_conditional_branches": [
+        152993,
+        153416
+      ],
+      "calls": [
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 64,
+          "instruction": 153091,
+          "stores_result": true,
+          "target": 65655
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 153166,
+          "stores_result": false,
+          "target": 152386
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 153247,
+          "stores_result": false,
+          "target": 278003
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 153280,
+          "stores_result": false,
+          "target": 7259
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 153342,
+          "stores_result": false,
+          "target": 278003
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 153404,
+          "stores_result": false,
+          "target": 278003
+        }
+      ],
+      "explicit_result_offsets": null,
+      "helper": "qvm_trace_support.resume",
+      "line": 94,
+      "literal_range": [
+        152793,
+        153418
+      ],
+      "path": "scripts/qvm_move_callbacks_support.py",
+      "repeated_calls_opt_in": true,
+      "repeated_calls_setting": "literal_true"
+    },
     {
       "backward_conditional_branches": [],
       "calls": [],
@@ -10318,8 +10378,8 @@
     }
   },
   "summary": {
-    "call_expressions": 208,
-    "files": 160,
+    "call_expressions": 209,
+    "files": 161,
     "legacy_expressions": 158,
     "nonliteral_ranges": 29,
     "unresolved_mode_expressions": 3

scripts/analyze_qvm_move_assist_cleanup.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_move_callbacks_support import seed,cleanup,cleanup_fixtures
+
+def main():
+ q,raw,h,ins=source();probes=[]
+ for a in cleanup_fixtures():
+  m,b=seed(raw,h,a);m,p,b=cleanup(ins,m,b,a);p['input']=a;probes.append(p)
+ write_json(Path('docs/research/qvm-move-assist-cleanup.json'),dict(source=q['source'],sha256=q['sha256'],probes=probes,limits='Actual152792 admission/first cleanup scan, stop152994 before assistance search or153417 return. Entity/client mappings supplied, no assistance-distance or nested thaw callbacks executed.'))
+if __name__=='__main__':main()

scripts/qvm_move_callbacks_oracle.py

@@ -20,3 +20,14 @@ def self_recovery(a):
   increment=f32(f32(32000./f32(f32(a['seconds'])*1000.))*f32(signed((a['tick']-a['last'])&0xffffffff)))
   out.update(meter(dict(a,carry=f32(f32(a['carry'])+increment),melt=1,mirror=0)));out['last']=a['tick']
  return out
+
+def cleanup(a):
+ rows=[[a['extra'],0,None] for _ in range(max(3,a['count']))];rows[0]=[a['extra']|8192,a['active'],1];rows[2]=[a['extra']|a['self_flags']|8192,1,1]
+ active=a['entity'] and a['client'] and a['mode']==10 and a['connection']==2 and signed(a['health'])>0 and not a['follow'];proceed=False
+ if active:
+  if rows[2][0]&16384:rows[2]=[rows[2][0]&~8192,0,None]
+  else:
+   for j in range(a['count']):
+    if rows[j][1] and (a['target_connection']!=2 or signed(a['target_health'])<=0 or a['target_follow']):rows[j]=[rows[j][0]&~8192,0,None]
+   proceed=True
+ return dict(clients=rows,proceed=proceed)

scripts/qvm_move_callbacks_support.py

@@ -66,3 +66,30 @@ def self_recovery_run(ins,m,b,entity=ENTITY):
 
 def self_recovery(ins,m,b,a):
  self_recovery_seed(m,a);return self_recovery_run(ins,m,b,ENTITY if a['entity'] else 0)
+
+from qvm_client_processing_support import execute
+from qvm_camera_world_support import POOL
+from qvm_exit_rules_support import CPOOL
+
+def cleanup_fixtures():
+ profiles=[('normal',{}),('dead-target',dict(target_health=0)),('disconnected-target',dict(target_connection=1)),('following-target',dict(target_follow=1)),('inactive-helper',dict(active=0,target_health=0)),('protected-self',dict(self_flags=16384,target_health=0)),('dead-self',dict(health=0,target_health=0)),('following-self',dict(follow=1,target_health=0)),('wrong-mode',dict(mode=9,target_health=0)),('null-entity',dict(entity=0,target_health=0)),('null-client',dict(client=0,target_health=0)),('disconnected-self',dict(connection=1,target_health=0)),('count-zero',dict(count=0,target_health=0)),('full-pool',dict(count=64,target_health=0))]
+ defaults=dict(entity=1,client=1,mode=10,connection=2,health=1,follow=0,self_flags=0,target_health=1,target_connection=2,target_follow=0,active=1,count=3)
+ return [dict(defaults,**changes,name=name,extra=extra) for name,changes in profiles for extra in [0,0x80000000]]
+
+def cleanup_seed(m,a):
+ m.update({34090788:a['mode'],34992524:a['count'],ENTITY+520:CLIENT if a['client'] else 0})
+ # The loop traverses entity pointers, not a client array.
+ for j in range(max(3,a['count'])):
+  e=POOL+880*j;c=CPOOL+6336*j;m.update({e+520:c,c+468:2,c+208:1,c+4324:0,c+220:a['extra'],c+6316:0,c+6320:0})
+ m.update({ENTITY+520:CLIENT if a['client'] else 0,CLIENT+468:a['connection'],CLIENT+208:a['health'],CLIENT+4324:a['follow'],CLIENT+220:a['extra']|a['self_flags']|8192,CLIENT+6316:1,CLIENT+6320:POOL+880})
+ helper=CPOOL;m.update({helper+220:a['extra']|8192,helper+6316:a['active'],helper+6320:POOL+880,CPOOL+6336+468:a['target_connection'],CPOOL+6336+208:a['target_health'],CPOOL+6336+4324:a['target_follow']})
+
+def cleanup_view(m,a):
+ return [[m[CPOOL+6336*j+220]&0xffffffff,m[CPOOL+6336*j+6316]&0xffffffff,None if not m[CPOOL+6336*j+6320] else (m[CPOOL+6336*j+6320]-POOL)//880] for j in range(max(3,a['count']))]
+
+def cleanup(ins,m,b,a):
+ from qvm_string_memory_support import frame_args
+ from qvm_trace_support import resume
+ cleanup_seed(m,a);base=ROOT+0x70000;m,b=frame_args(m,b,{base+96:ENTITY if a['entity'] else 0})
+ m,p=resume(ins,152793,153418,m,base,boundaries=(152994,153417),byte_inputs=b,repeated_calls=True,sync_child_words=True,coherent_memory=True,byte_handlers=True,capture_byte_memory=True,limit=32768)
+ return m,dict(clients=cleanup_view(m,a),proceed=p['stop']==152994,execution={k:p[k] for k in ['stop','trace_length','trace_sha256']}),p['byte_memory']

scripts/test_qvm_move_assist_cleanup.py

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

@@ -3874,3 +3874,7 @@ edge	crates/urt-gameplay/src/client_move_context.rs	scripts/analyze_rust_move_se
 edge	crates/urt-gameplay/src/bin/urt-client-move-context.rs	scripts/analyze_rust_move_self_recovery.py
 edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_move_self_recovery.py
 edge	crates/urt-gameplay/src/bin/urt-move-callbacks.rs	scripts/analyze_rust_move_self_recovery.py
+report	scripts/analyze_qvm_move_assist_cleanup.py	docs/research/qvm-move-assist-cleanup.json
+edge	docs/research/qvm-move-assist-cleanup.json	scripts/test_qvm_move_assist_cleanup.py
+group	qvm-move-assist-cleanup	scripts/analyze_qvm_move_assist_cleanup.py
+edge	scripts/analyze_qvm_move_assist_cleanup.py	scripts/analyze_qvm_resumer_audit.py