qvm: recover mode8 eligibility scan

docs/FINDINGS.md

@@ -1933,3 +1933,5 @@ RE-997: Rust ports actual self-recovery gates, wrapped signed elapsed time, stag
 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).
 
 RE-999: Rust ports152792 admission and first scan across28 original cases, including full64-slot and zero-count pools. Typed indices replace supplied entity/client pointers; inactive targets are not dereferenced. Protected self returns before scanning, preserving other helpers. Dead/disconnected/following targets clear only assistance mask8192, active state and target. Invalid active indices/counts reject atomically; unit tests cover high-bit preservation, early bypass and rollback after a prior planned cleanup. [Evidence](research/RUST_MOVE_ASSIST_CLEANUP.md).
+
+RE-1000: Sixty-six original-QVM cases recover153419 admission through153596. Both global enables, strict signed wrapped elapsed greater than delay*1000, incomplete state, connected/live/non-following self and selected team are required. Selector exactly1 chooses team2; other values choose team1. A live connected non-following teammate with nonzero6164 blocks entry, while self is excluded. All fields remain unchanged. Exact/negative/wrapped times, three selectors, zero/64 pools and teammate bypasses are covered; flag search and objective effects remain open. [Evidence](research/QVM_MOVE_MODE8_ELIGIBILITY.md).

docs/PROVISIONAL_TODO.md

@@ -1990,3 +1990,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [x] RE-998 Recover mode10 assistance admission and cleanup scan ([evidence](research/QVM_MOVE_ASSIST_CLEANUP.md)).
 
 - [x] RE-999 Port assistance cleanup and typed target ownership ([evidence](research/RUST_MOVE_ASSIST_CLEANUP.md)).
+
+- [x] RE-1000 Recover mode8 eligibility and teammate exclusion ([evidence](research/QVM_MOVE_MODE8_ELIGIBILITY.md)).

docs/RESEARCH_LEDGER.md

@@ -2671,3 +2671,7 @@ Twenty-eight original-QVM fixtures recover152792 admission and its first entity-
 ## 2026-10-29 — RE-999 Port assistance cleanup and typed target ownership
 
 Rust ports152792 admission and first scan across28 original cases, including full64-slot and zero-count pools. Typed indices replace supplied entity/client pointers; inactive targets are not dereferenced. Protected self returns before scanning, preserving other helpers. Dead/disconnected/following targets clear only assistance mask8192, active state and target. Invalid active indices/counts reject atomically; unit tests cover high-bit preservation, early bypass and rollback after a prior planned cleanup. Focused `cargo xtask test-group rust-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.
+
+## 2026-10-29 — RE-1000 Recover mode8 eligibility and teammate exclusion
+
+Sixty-six original-QVM cases recover153419 admission through153596. Both global enables, strict signed wrapped elapsed greater than delay*1000, incomplete state, connected/live/non-following self and selected team are required. Selector exactly1 chooses team2; other values choose team1. A live connected non-following teammate with nonzero6164 blocks entry, while self is excluded. All fields remain unchanged. Exact/negative/wrapped times, three selectors, zero/64 pools and teammate bypasses are covered; flag search and objective effects remain open. Focused `cargo xtask test-group qvm-move-mode8-eligibility` 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

@@ -2027,3 +2027,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [x] RE-998 Recover mode10 assistance admission and cleanup scan ([evidence](research/QVM_MOVE_ASSIST_CLEANUP.md)).
 
 - [x] RE-999 Port assistance cleanup and typed target ownership ([evidence](research/RUST_MOVE_ASSIST_CLEANUP.md)).
+
+- [x] RE-1000 Recover mode8 eligibility and teammate exclusion ([evidence](research/QVM_MOVE_MODE8_ELIGIBILITY.md)).

docs/research/QVM_MOVE_MODE8_ELIGIBILITY.md

@@ -0,0 +1,5 @@
+# Recover mode8 eligibility and teammate exclusion
+
+RE-1000. Focused validation: `cargo xtask test-group qvm-move-mode8-eligibility`. [Machine report](qvm-move-mode8-eligibility.json).
+
+Sixty-six original-QVM cases recover153419 admission through153596. Both global enables, strict signed wrapped elapsed greater than delay*1000, incomplete state, connected/live/non-following self and selected team are required. Selector exactly1 chooses team2; other values choose team1. A live connected non-following teammate with nonzero6164 blocks entry, while self is excluded. All fields remain unchanged. Exact/negative/wrapped times, three selectors, zero/64 pools and teammate bypasses are covered; flag search and objective effects remain open.

docs/research/README.md

@@ -1561,3 +1561,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-998: Recover mode10 assistance admission and cleanup scan](QVM_MOVE_ASSIST_CLEANUP.md).
 
 - [RE-999: Port assistance cleanup and typed target ownership](RUST_MOVE_ASSIST_CLEANUP.md).
+
+- [RE-1000: Recover mode8 eligibility and teammate exclusion](QVM_MOVE_MODE8_ELIGIBILITY.md).

docs/research/qvm-move-mode8-eligibility.json

@@ -0,0 +1,2219 @@
+{
+  "limits": "Actual153419 admission/teammate scan through153596 or154087 return. Stops before flag search, distance and objective mutation; no mode8 body completion claimed.",
+  "probes": [
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 245,
+        "trace_sha256": "44ba48e6f2b7b990a58631757608185e6b8b449eb085a512113022a49d7698c3"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "normal",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 247,
+        "trace_sha256": "f26856fab38858f4e765c9d1a9db6e1e38482f4110d22e0b7f2db95ce670bb18"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "normal",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 245,
+        "trace_sha256": "44ba48e6f2b7b990a58631757608185e6b8b449eb085a512113022a49d7698c3"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "normal",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 21,
+        "trace_sha256": "b4c583cd676746dc4ed5bd3bd822062b4041277019a24793e60b53c954f063bb"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 0,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "disabled-a",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 21,
+        "trace_sha256": "b4c583cd676746dc4ed5bd3bd822062b4041277019a24793e60b53c954f063bb"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 0,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "disabled-a",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 21,
+        "trace_sha256": "b4c583cd676746dc4ed5bd3bd822062b4041277019a24793e60b53c954f063bb"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 0,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "disabled-a",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 25,
+        "trace_sha256": "c592fe6c8f661117097392f81c0678fe8aee688f5862b5a9fafe50fdf006b1ca"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 0,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "disabled-b",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 25,
+        "trace_sha256": "c592fe6c8f661117097392f81c0678fe8aee688f5862b5a9fafe50fdf006b1ca"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 0,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "disabled-b",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 25,
+        "trace_sha256": "c592fe6c8f661117097392f81c0678fe8aee688f5862b5a9fafe50fdf006b1ca"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 0,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "disabled-b",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 35,
+        "trace_sha256": "d4fb51ffd60186dab10ef98ff501ccc8eda3f17e1c3d7bc04d6d49e4ee3c70ea"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "exact-time",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 9000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 35,
+        "trace_sha256": "d4fb51ffd60186dab10ef98ff501ccc8eda3f17e1c3d7bc04d6d49e4ee3c70ea"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "exact-time",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 9000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 35,
+        "trace_sha256": "d4fb51ffd60186dab10ef98ff501ccc8eda3f17e1c3d7bc04d6d49e4ee3c70ea"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "exact-time",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 9000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 35,
+        "trace_sha256": "d4fb51ffd60186dab10ef98ff501ccc8eda3f17e1c3d7bc04d6d49e4ee3c70ea"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "before-time",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 9500,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 35,
+        "trace_sha256": "d4fb51ffd60186dab10ef98ff501ccc8eda3f17e1c3d7bc04d6d49e4ee3c70ea"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "before-time",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 9500,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 35,
+        "trace_sha256": "d4fb51ffd60186dab10ef98ff501ccc8eda3f17e1c3d7bc04d6d49e4ee3c70ea"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "before-time",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 9500,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 245,
+        "trace_sha256": "44ba48e6f2b7b990a58631757608185e6b8b449eb085a512113022a49d7698c3"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "wrapped-time",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 4294963200,
+        "team": 0,
+        "tick": 10
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 247,
+        "trace_sha256": "f26856fab38858f4e765c9d1a9db6e1e38482f4110d22e0b7f2db95ce670bb18"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "wrapped-time",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 4294963200,
+        "team": 0,
+        "tick": 10
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 245,
+        "trace_sha256": "44ba48e6f2b7b990a58631757608185e6b8b449eb085a512113022a49d7698c3"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "wrapped-time",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 4294963200,
+        "team": 0,
+        "tick": 10
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 245,
+        "trace_sha256": "44ba48e6f2b7b990a58631757608185e6b8b449eb085a512113022a49d7698c3"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 4294967295,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "negative-delay",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 10000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 247,
+        "trace_sha256": "f26856fab38858f4e765c9d1a9db6e1e38482f4110d22e0b7f2db95ce670bb18"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 4294967295,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "negative-delay",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 10000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 245,
+        "trace_sha256": "44ba48e6f2b7b990a58631757608185e6b8b449eb085a512113022a49d7698c3"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 4294967295,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "negative-delay",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 10000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 39,
+        "trace_sha256": "e9d790f6ce2fe52a768db34a7c1b3afd91bb1ebeda84c353f8a4ea0b445c7111"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 1,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "completed",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 39,
+        "trace_sha256": "e9d790f6ce2fe52a768db34a7c1b3afd91bb1ebeda84c353f8a4ea0b445c7111"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 1,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "completed",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 39,
+        "trace_sha256": "e9d790f6ce2fe52a768db34a7c1b3afd91bb1ebeda84c353f8a4ea0b445c7111"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 1,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "completed",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 53,
+        "trace_sha256": "a032d7e4d6cfeb2a51cac356e6903338ffa13cc7377f44928e30fe7a60fe0690"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 1,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "unconnected",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 53,
+        "trace_sha256": "a032d7e4d6cfeb2a51cac356e6903338ffa13cc7377f44928e30fe7a60fe0690"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 1,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "unconnected",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 53,
+        "trace_sha256": "a032d7e4d6cfeb2a51cac356e6903338ffa13cc7377f44928e30fe7a60fe0690"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 1,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "unconnected",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 60,
+        "trace_sha256": "a825cd99f76bbd15e4584c1943cdfbe407c84c0e858dec33e0a4d39f260ab551"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 0,
+        "name": "dead",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 60,
+        "trace_sha256": "a825cd99f76bbd15e4584c1943cdfbe407c84c0e858dec33e0a4d39f260ab551"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 0,
+        "name": "dead",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 60,
+        "trace_sha256": "a825cd99f76bbd15e4584c1943cdfbe407c84c0e858dec33e0a4d39f260ab551"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 0,
+        "name": "dead",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 67,
+        "trace_sha256": "01be4305384015bda37dc1478470e42c0e2b5c009dcbaa6c2055b802ed3519d6"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 1,
+        "health": 1,
+        "name": "following",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 67,
+        "trace_sha256": "01be4305384015bda37dc1478470e42c0e2b5c009dcbaa6c2055b802ed3519d6"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 1,
+        "health": 1,
+        "name": "following",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 67,
+        "trace_sha256": "01be4305384015bda37dc1478470e42c0e2b5c009dcbaa6c2055b802ed3519d6"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 1,
+        "health": 1,
+        "name": "following",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 82,
+        "trace_sha256": "04f1008081dd916f7f12c925d6421219f7823d8a044b18f90dc291e6a1dcdc0c"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "wrong-team",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 3,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 84,
+        "trace_sha256": "6bb3dca95793a6e4800f6b2b297f55324d5e6945405a69383778606d2442f4a0"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "wrong-team",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 3,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 82,
+        "trace_sha256": "04f1008081dd916f7f12c925d6421219f7823d8a044b18f90dc291e6a1dcdc0c"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "wrong-team",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 3,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 10,
+        "trace_sha256": "1f7d93086bd47bcb62053126dead607c5b9452628ea8dc18671ad3c157158249"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 0,
+        "follow": 0,
+        "health": 1,
+        "name": "null-entity",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 10,
+        "trace_sha256": "1f7d93086bd47bcb62053126dead607c5b9452628ea8dc18671ad3c157158249"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 0,
+        "follow": 0,
+        "health": 1,
+        "name": "null-entity",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 10,
+        "trace_sha256": "1f7d93086bd47bcb62053126dead607c5b9452628ea8dc18671ad3c157158249"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 0,
+        "follow": 0,
+        "health": 1,
+        "name": "null-entity",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "d36a0cc16161a894486655d9ff8bd5194b3973c1371cbf4eb6951483d86e8276"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 0,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "null-client",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "d36a0cc16161a894486655d9ff8bd5194b3973c1371cbf4eb6951483d86e8276"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 0,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "null-client",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 17,
+        "trace_sha256": "d36a0cc16161a894486655d9ff8bd5194b3973c1371cbf4eb6951483d86e8276"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 0,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "null-client",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 145,
+        "trace_sha256": "21c46890f6a2da6277f8dba084056e3a1c0852e27db09e19837627f420244186"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-busy",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 147,
+        "trace_sha256": "fb5d306162a2b8e5014083565ffa19456da2ccf271b61f09a505d6a4f6aa963b"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-busy",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 145,
+        "trace_sha256": "21c46890f6a2da6277f8dba084056e3a1c0852e27db09e19837627f420244186"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-busy",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 222,
+        "trace_sha256": "9fdadad2ce5234c4dbe4291dfd0913cc57b32c0d04973db8584de87003739ce5"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-dead",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 0,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 224,
+        "trace_sha256": "21acea3a46f7556c47e5f18b32b18a1e79ffec8cec150981e5d167282c961677"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-dead",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 0,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 222,
+        "trace_sha256": "9fdadad2ce5234c4dbe4291dfd0913cc57b32c0d04973db8584de87003739ce5"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-dead",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 0,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 229,
+        "trace_sha256": "9f1d1bd138374f0ab80a319ced020983883f55db5df9866913567e80fd1e8640"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-following",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 1,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 231,
+        "trace_sha256": "363374718969de78f2a04437ea3907d6ffad2b61b7425a627b3b59ccd088c994"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-following",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 1,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 229,
+        "trace_sha256": "9f1d1bd138374f0ab80a319ced020983883f55db5df9866913567e80fd1e8640"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-following",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 1,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 215,
+        "trace_sha256": "0c14afda485eea698199bde8038d05351409a74b5317ace2ecf80a83553fd23e"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-disconnected",
+        "other_busy": 1,
+        "other_connection": 1,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 217,
+        "trace_sha256": "4ae366a916caea8b0817e2b0d5e5789a13cdbf0eead4ec290e64507a509ce61a"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-disconnected",
+        "other_busy": 1,
+        "other_connection": 1,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 215,
+        "trace_sha256": "0c14afda485eea698199bde8038d05351409a74b5317ace2ecf80a83553fd23e"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-disconnected",
+        "other_busy": 1,
+        "other_connection": 1,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 240,
+        "trace_sha256": "d6dddf0032beb801101b5c6df037606849ff7e990af0e0c24f45482311212bd4"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-team",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 3,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 242,
+        "trace_sha256": "2ba3f3fb0bd0df8307800c950c53867bdc693df4573760f599ac77861fdc43e6"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-team",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 3,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 240,
+        "trace_sha256": "d6dddf0032beb801101b5c6df037606849ff7e990af0e0c24f45482311212bd4"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "other-team",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 3,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 245,
+        "trace_sha256": "44ba48e6f2b7b990a58631757608185e6b8b449eb085a512113022a49d7698c3"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "self-busy",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 1,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 247,
+        "trace_sha256": "f26856fab38858f4e765c9d1a9db6e1e38482f4110d22e0b7f2db95ce670bb18"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "self-busy",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 1,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 245,
+        "trace_sha256": "44ba48e6f2b7b990a58631757608185e6b8b449eb085a512113022a49d7698c3"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 3,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "self-busy",
+        "other_busy": 0,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 1,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 90,
+        "trace_sha256": "12c91ba1ffde190fc70539f5c3126a74723d04ec4c5258050f8675bbfb844960"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 0,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "count-zero",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 92,
+        "trace_sha256": "1ffcf68caa1b1223b8da66ac9e8d118131d2a1b4d7f443866e9ab9b94d1b9a13"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 0,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "count-zero",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": true,
+      "execution": {
+        "stop": 153596,
+        "trace_length": 90,
+        "trace_sha256": "12c91ba1ffde190fc70539f5c3126a74723d04ec4c5258050f8675bbfb844960"
+      },
+      "input": {
+        "busy_slot": 0,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 0,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "count-zero",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 4140,
+        "trace_sha256": "eed8cfbcf8009a685db6bfc01077617473cdef6cbab1ab41dcdb3290a47101ef"
+      },
+      "input": {
+        "busy_slot": 63,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 64,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "full-pool",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 0,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 4142,
+        "trace_sha256": "19ad11d682f008a265026992cd17d2aa82cba1f900f73e966256b4010a1b5c24"
+      },
+      "input": {
+        "busy_slot": 63,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 64,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "full-pool",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 1,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": true
+    },
+    {
+      "eligible": false,
+      "execution": {
+        "stop": 154087,
+        "trace_length": 4140,
+        "trace_sha256": "eed8cfbcf8009a685db6bfc01077617473cdef6cbab1ab41dcdb3290a47101ef"
+      },
+      "input": {
+        "busy_slot": 63,
+        "client": 1,
+        "complete": 0,
+        "connection": 2,
+        "count": 64,
+        "delay": 1,
+        "enabled_a": 1,
+        "enabled_b": 1,
+        "entity": 1,
+        "follow": 0,
+        "health": 1,
+        "name": "full-pool",
+        "other_busy": 1,
+        "other_connection": 2,
+        "other_follow": 0,
+        "other_health": 1,
+        "other_team": 0,
+        "own_busy": 0,
+        "selector": 2,
+        "start": 8000,
+        "team": 0,
+        "tick": 10000
+      },
+      "unchanged": 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

@@ -9286,6 +9286,100 @@
       "repeated_calls_opt_in": true,
       "repeated_calls_setting": "literal_true"
     },
+    {
+      "backward_conditional_branches": [
+        153595
+      ],
+      "calls": [
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 56,
+          "instruction": 153602,
+          "stores_result": true,
+          "target": 276433
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 153615,
+          "stores_result": false,
+          "target": 2319
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 60,
+          "instruction": 153629,
+          "stores_result": true,
+          "target": 65655
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 153670,
+          "stores_result": false,
+          "target": 7259
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 72,
+          "instruction": 153721,
+          "stores_result": true,
+          "target": 277695
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 153762,
+          "stores_result": false,
+          "target": 205260
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 153770,
+          "stores_result": false,
+          "target": 283463
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 84,
+          "instruction": 153890,
+          "stores_result": true,
+          "target": 277695
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 153923,
+          "stores_result": false,
+          "target": 193620
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 72,
+          "instruction": 153980,
+          "stores_result": true,
+          "target": 277695
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 72,
+          "instruction": 154061,
+          "stores_result": true,
+          "target": 277695
+        }
+      ],
+      "explicit_result_offsets": null,
+      "helper": "qvm_trace_support.resume",
+      "line": 113,
+      "literal_range": [
+        153420,
+        154088
+      ],
+      "path": "scripts/qvm_move_callbacks_support.py",
+      "repeated_calls_opt_in": true,
+      "repeated_calls_setting": "literal_true"
+    },
     {
       "backward_conditional_branches": [],
       "calls": [],
@@ -10378,7 +10472,7 @@
     }
   },
   "summary": {
-    "call_expressions": 209,
+    "call_expressions": 210,
     "files": 161,
     "legacy_expressions": 158,
     "nonliteral_ranges": 29,

scripts/analyze_qvm_move_mode8_eligibility.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,eligibility,eligibility_fixtures
+
+def main():
+ q,raw,h,ins=source();probes=[]
+ for a in eligibility_fixtures():
+  m,b=seed(raw,h,a);m,p,b=eligibility(ins,m,b,a);p['input']=a;probes.append(p)
+ write_json(Path('docs/research/qvm-move-mode8-eligibility.json'),dict(source=q['source'],sha256=q['sha256'],probes=probes,limits='Actual153419 admission/teammate scan through153596 or154087 return. Stops before flag search, distance and objective mutation; no mode8 body completion claimed.'))
+if __name__=='__main__':main()

scripts/qvm_move_callbacks_oracle.py

@@ -31,3 +31,9 @@ def cleanup(a):
     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)
+
+def eligibility(a):
+ selected=2 if a['selector']==1 else 1;own=a['team'] or selected;other=a['other_team'] or selected
+ eligible=bool(a['entity'] and a['client'] and a['enabled_a'] and a['enabled_b'] and signed((a['tick']-a['start'])&0xffffffff)>signed((a['delay']*1000)&0xffffffff) and not a['complete'] and a['connection']==2 and signed(a['health'])>0 and not a['follow'] and own==selected)
+ if eligible and a['busy_slot']<a['count'] and a['busy_slot']!=2 and a['other_connection']==2 and signed(a['other_health'])>0 and not a['other_follow'] and other==own and a['other_busy']:eligible=False
+ return dict(eligible=eligible,unchanged=True)

scripts/qvm_move_callbacks_support.py

@@ -93,3 +93,22 @@ def cleanup(ins,m,b,a):
  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']
+
+def eligibility_fixtures():
+ defaults=dict(entity=1,client=1,enabled_a=1,enabled_b=1,tick=10000,start=8000,delay=1,complete=0,connection=2,health=1,follow=0,own_busy=0,other_busy=0,other_connection=2,other_health=1,other_follow=0,other_team=0,team=0,count=3,busy_slot=0)
+ profiles=[('normal',{}),('disabled-a',dict(enabled_a=0)),('disabled-b',dict(enabled_b=0)),('exact-time',dict(start=9000)),('before-time',dict(start=9500)),('wrapped-time',dict(tick=10,start=0xfffff000)),('negative-delay',dict(delay=0xffffffff,start=10000)),('completed',dict(complete=1)),('unconnected',dict(connection=1)),('dead',dict(health=0)),('following',dict(follow=1)),('wrong-team',dict(team=3)),('null-entity',dict(entity=0)),('null-client',dict(client=0)),('other-busy',dict(other_busy=1)),('other-dead',dict(other_busy=1,other_health=0)),('other-following',dict(other_busy=1,other_follow=1)),('other-disconnected',dict(other_busy=1,other_connection=1)),('other-team',dict(other_busy=1,other_team=3)),('self-busy',dict(own_busy=1)),('count-zero',dict(count=0,other_busy=1)),('full-pool',dict(count=64,other_busy=1,busy_slot=63))]
+ return [dict(defaults,**changes,name=name,selector=s) for name,changes in profiles for s in [0,1,2]]
+
+def eligibility_seed(m,a):
+ selected=2 if a['selector']==1 else 1;own=a['team'] or selected;other=a['other_team'] or selected
+ m.update({35000400:a['enabled_a'],35000380:a['enabled_b'],34992532:a['tick'],35000412:a['start'],34080428:a['delay'],35000396:a['complete'],35000476:a['selector'],34992524:a['count'],34992496:CPOOL})
+ for j in range(max(3,a['count'])):
+  c=CPOOL+6336*j;m.update({c+468:2,c+208:1,c+4324:0,c+3096:selected,c+6164:0})
+ c=CPOOL+6336*a['busy_slot'];m.update({c+468:a['other_connection'],c+208:a['other_health'],c+4324:a['other_follow'],c+3096:other,c+6164:a['other_busy'],ENTITY+520:CLIENT if a['client'] else 0,CLIENT+468:a['connection'],CLIENT+208:a['health'],CLIENT+4324:a['follow'],CLIENT+3096:own,CLIENT+6164:a['own_busy']})
+
+def eligibility(ins,m,b,a):
+ from qvm_string_memory_support import frame_args
+ from qvm_trace_support import resume
+ eligibility_seed(m,a);before=dict(m);base=ROOT+0x80000;m,b=frame_args(m,b,{base+100:ENTITY if a['entity'] else 0})
+ m,p=resume(ins,153420,154088,m,base,boundaries=(153596,154087),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(eligible=p['stop']==153596,unchanged=all(m[k]==v for k,v in before.items()),execution={k:p[k] for k in ['stop','trace_length','trace_sha256']}),p['byte_memory']

scripts/test_qvm_move_mode8_eligibility.py

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

@@ -3904,3 +3904,7 @@ edge	crates/urt-gameplay/src/client_move_context.rs	scripts/analyze_rust_move_as
 edge	crates/urt-gameplay/src/bin/urt-client-move-context.rs	scripts/analyze_rust_move_assist_cleanup.py
 edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_move_assist_cleanup.py
 edge	crates/urt-gameplay/src/bin/urt-move-callbacks.rs	scripts/analyze_rust_move_assist_cleanup.py
+report	scripts/analyze_qvm_move_mode8_eligibility.py	docs/research/qvm-move-mode8-eligibility.json
+edge	docs/research/qvm-move-mode8-eligibility.json	scripts/test_qvm_move_mode8_eligibility.py
+group	qvm-move-mode8-eligibility	scripts/analyze_qvm_move_mode8_eligibility.py
+edge	scripts/analyze_qvm_move_mode8_eligibility.py	scripts/analyze_qvm_resumer_audit.py