qvm: recover exit class guard

docs/FINDINGS.md

@@ -1475,3 +1475,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-825:** Rust now reproduces original37498 fractional truncation and integer-only width padding, including negative-zero and ignored flag behavior. [Evidence](research/RUST_FORMAT_FLOAT.md).
+
+
+**RE-826:** Mode11 exits on the first state2/team0 client whose signed class exceeds20, using the configured max-client count rather than the collected client count. [Evidence](research/QVM_EXIT_CLASS.md).

docs/PROVISIONAL_TODO.md

@@ -1488,3 +1488,6 @@ RE-824: 37498 pads only the signed integer portion, ignores formatting flags and
 
 
 RE-825: Rust now reproduces original37498 fractional truncation and integer-only width padding, including negative-zero and ignored flag behavior. Full runtime completion remains open. [Evidence](research/RUST_FORMAT_FLOAT.md).
+
+
+RE-826: Mode11 exits on the first state2/team0 client whose signed class exceeds20, using the configured max-client count rather than the collected client count. Full runtime completion remains open. [Evidence](research/QVM_EXIT_CLASS.md).

docs/RESEARCH_LEDGER.md

@@ -1795,3 +1795,8 @@ After exactly ten task commits from `7c1c4082`, the single `cargo xtask test-ful
 ## 2026-10-27 — RE-825 Rust f32 formatter truncation and original float dispatch
 
 Rust now reproduces original37498 fractional truncation and integer-only width padding, including negative-zero and ignored flag behavior. Focused `cargo xtask test-group rust-format-float` passes (19 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.
+
+
+## 2026-10-27 — RE-826 Original exit-rule mode11 class guard and scan bound
+
+Mode11 exits on the first state2/team0 client whose signed class exceeds20, using the configured max-client count rather than the collected client count. Focused `cargo xtask test-group exit-class` passes (5 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1525,3 +1525,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-825 Rust f32 formatter truncation and original float dispatch ([evidence](research/RUST_FORMAT_FLOAT.md)).
+
+
+- [x] RE-826 Original exit-rule mode11 class guard and scan bound ([evidence](research/QVM_EXIT_CLASS.md)).

docs/research/QVM_EXIT_CLASS.md

@@ -0,0 +1,7 @@
+# Original exit-rule mode11 class guard and scan bound
+
+RE-826. Reproduce with `python3 scripts/analyze_qvm_exit_class.py`; focused validation: `cargo xtask test-group exit-class`. [Machine report](qvm-exit-class.json).
+
+45 source guard fixtures cover state/team/class boundaries, empty/non-mode11 paths, multiple offenders,64-slot scans and configured count truncation. Independent tests verify exact captured format/send/reason arguments and first-offender ordering. The stage deliberately stops before the remaining exit policies.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1065,3 +1065,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-825: Rust f32 formatter truncation and original float dispatch](RUST_FORMAT_FLOAT.md).
+
+
+[RE-826: Original exit-rule mode11 class guard and scan bound](QVM_EXIT_CLASS.md).

docs/research/qvm-exit-class.json

@@ -0,0 +1,1819 @@
+{
+  "limits": "7805 mode11 class guard only, stopping before7945 or at8416. First scanned state2/team0 client with signed class>20 requests7367,70458 and broadcast send. Configured max-client count bounds scan. All child effects/formatting captured.",
+  "probes": [
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 0,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 0,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 0,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 0,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 0,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 0,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 0,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 0,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 0,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 0,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 0,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 0,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 1,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 1,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 1,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 1,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 1,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 1,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 1,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 1,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 1,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 1,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 1,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 43,
+        "trace_sha256": "39c96a703eec245718dccfa339f7d50276aa383e2109389cde6b73093f1f5d0e"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 1,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 55,
+        "trace_sha256": "fc6d2079d23fcfd307c67195fe0a342e44b32387e9906f1ee1439fbd09ad2e16"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 55,
+        "trace_sha256": "fc6d2079d23fcfd307c67195fe0a342e44b32387e9906f1ee1439fbd09ad2e16"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 8416,
+        "trace_length": 78,
+        "trace_sha256": "04c1497156adbc8c3c6b69b9673e9a62f61a1d1b311f5b29bdc9c6a67264670a"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "8": 34618,
+            "12": 16,
+            "16": 0,
+            "20": 2067792376
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "8": -1,
+            "12": 2073042944
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 8416,
+        "trace_length": 78,
+        "trace_sha256": "04c1497156adbc8c3c6b69b9673e9a62f61a1d1b311f5b29bdc9c6a67264670a"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "8": 34618,
+            "12": 16,
+            "16": 0,
+            "20": 2067792376
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "8": -1,
+            "12": 2073042944
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 50,
+        "trace_sha256": "f7ea99078b65c67f25c5dcf383c7e21f5602144b5004a3f07cdf688cfe099f17"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 2,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 50,
+        "trace_sha256": "f7ea99078b65c67f25c5dcf383c7e21f5602144b5004a3f07cdf688cfe099f17"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 50,
+        "trace_sha256": "f7ea99078b65c67f25c5dcf383c7e21f5602144b5004a3f07cdf688cfe099f17"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 50,
+        "trace_sha256": "f7ea99078b65c67f25c5dcf383c7e21f5602144b5004a3f07cdf688cfe099f17"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 1,
+            "468": 2,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 50,
+        "trace_sha256": "f7ea99078b65c67f25c5dcf383c7e21f5602144b5004a3f07cdf688cfe099f17"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 2,
+            "696": -1
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 50,
+        "trace_sha256": "f7ea99078b65c67f25c5dcf383c7e21f5602144b5004a3f07cdf688cfe099f17"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 50,
+        "trace_sha256": "f7ea99078b65c67f25c5dcf383c7e21f5602144b5004a3f07cdf688cfe099f17"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 50,
+        "trace_sha256": "f7ea99078b65c67f25c5dcf383c7e21f5602144b5004a3f07cdf688cfe099f17"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 3,
+            "468": 2,
+            "696": 2147483647
+          }
+        ],
+        "max_clients": 1,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 8416,
+        "trace_length": 78,
+        "trace_sha256": "04c1497156adbc8c3c6b69b9673e9a62f61a1d1b311f5b29bdc9c6a67264670a"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 4,
+        "mode": 11
+      },
+      "requests": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "8": 34618,
+            "12": 16,
+            "16": 0,
+            "20": 2067792376
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "8": -1,
+            "12": 2073042944
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 8416,
+        "trace_length": 201,
+        "trace_sha256": "823ad19345dced1ec18b507bbb67c68fd390d6b44b0c80d976fd37b836a76e64"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 4,
+        "mode": 11
+      },
+      "requests": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "8": 34618,
+            "12": 16,
+            "16": 0,
+            "20": 2067811384
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "8": -1,
+            "12": 2073042944
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 8416,
+        "trace_length": 78,
+        "trace_sha256": "04c1497156adbc8c3c6b69b9673e9a62f61a1d1b311f5b29bdc9c6a67264670a"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 64,
+        "mode": 11
+      },
+      "requests": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "8": 34618,
+            "12": 16,
+            "16": 0,
+            "20": 2067792376
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "8": -1,
+            "12": 2073042944
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 8416,
+        "trace_length": 201,
+        "trace_sha256": "823ad19345dced1ec18b507bbb67c68fd390d6b44b0c80d976fd37b836a76e64"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 20
+          }
+        ],
+        "max_clients": 64,
+        "mode": 11
+      },
+      "requests": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "8": 34618,
+            "12": 16,
+            "16": 0,
+            "20": 2067811384
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "8": -1,
+            "12": 2073042944
+          },
+          "target": -18
+        }
+      ]
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 4,
+        "trace_sha256": "974bfbb15720d6c2b22089b620ba456233a4bb8c215a944627d0e5c9a5f9bf70"
+      },
+      "input": {
+        "clients": [],
+        "max_clients": 0,
+        "mode": 0
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 4,
+        "trace_sha256": "974bfbb15720d6c2b22089b620ba456233a4bb8c215a944627d0e5c9a5f9bf70"
+      },
+      "input": {
+        "clients": [],
+        "max_clients": 0,
+        "mode": 9
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 14,
+        "trace_sha256": "1e7c311c49c870766502fa4744f390b170b4a8382609a121d87061243efdfcc0"
+      },
+      "input": {
+        "clients": [],
+        "max_clients": 0,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 7945,
+        "trace_length": 14,
+        "trace_sha256": "1e7c311c49c870766502fa4744f390b170b4a8382609a121d87061243efdfcc0"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 0,
+        "mode": 11
+      },
+      "requests": []
+    },
+    {
+      "changes": [],
+      "events": [],
+      "execution": {
+        "stop": 8416,
+        "trace_length": 78,
+        "trace_sha256": "04c1497156adbc8c3c6b69b9673e9a62f61a1d1b311f5b29bdc9c6a67264670a"
+      },
+      "input": {
+        "clients": [
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          },
+          {
+            "3096": 0,
+            "468": 2,
+            "696": 21
+          }
+        ],
+        "max_clients": 2,
+        "mode": 11
+      },
+      "requests": [
+        {
+          "arguments": {
+            "8": 34641
+          },
+          "target": 7367
+        },
+        {
+          "arguments": {
+            "8": 34618,
+            "12": 16,
+            "16": 0,
+            "20": 2067792376
+          },
+          "target": 70458
+        },
+        {
+          "arguments": {
+            "8": -1,
+            "12": 2073042944
+          },
+          "target": -18
+        }
+      ]
+    }
+  ],
+  "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

@@ -8667,6 +8667,17 @@
       "repeated_calls_opt_in": false,
       "repeated_calls_setting": "default_false"
     },
+    {
+      "backward_conditional_branches": [],
+      "calls": [],
+      "explicit_result_offsets": null,
+      "helper": "qvm_trace_support.resume",
+      "line": 26,
+      "literal_range": null,
+      "path": "scripts/qvm_exit_rules_support.py",
+      "repeated_calls_opt_in": true,
+      "repeated_calls_setting": "literal_true"
+    },
     {
       "backward_conditional_branches": [],
       "calls": [],
@@ -9978,10 +9989,10 @@
     }
   },
   "summary": {
-    "call_expressions": 198,
-    "files": 151,
+    "call_expressions": 199,
+    "files": 152,
     "legacy_expressions": 158,
-    "nonliteral_ranges": 24,
+    "nonliteral_ranges": 25,
     "unresolved_mode_expressions": 3
   }
 }

scripts/analyze_qvm_exit_class.py

@@ -0,0 +1,18 @@
+#!/usr/bin/env python3
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_exit_rules_support import seed,run
+from analyze_qvm import write_json
+
+def main():
+    q,raw,h,ins=source();rows=[];cases=[]
+    for state,team,klass in itertools.product([0,1,2],[0,1,3],[-1,20,21,2147483647]):cases.append((11,[{'468':state,'3096':team,'696':klass}],1))
+    for n,position in itertools.product([4,64],[0,3]):
+        c=[{'468':2,'3096':0,'696':20} for _ in range(n)];c[position]['696']=21;cases.append((11,c,n))
+    cases += [(mode,[],0) for mode in [0,9,11]]
+    c=[{'468':2,'3096':0,'696':21} for _ in range(4)];cases += [(11,c,0),(11,c,2)]
+    for mode,clients,count in cases:
+        _,p=run(ins,seed(clients,mode=mode,max_clients=count),7857,[7945]);p.update(input={'mode':mode,'clients':clients,'max_clients':count});rows.append(p)
+    write_json(Path('docs/research/qvm-exit-class.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'7805 mode11 class guard only, stopping before7945 or at8416. First scanned state2/team0 client with signed class>20 requests7367,70458 and broadcast send. Configured max-client count bounds scan. All child effects/formatting captured.'})
+if __name__=='__main__':main()

scripts/qvm_exit_rules_support.py

@@ -0,0 +1,29 @@
+"""Finite7805 state and captured child interfaces; no actual world transition."""
+from qvm_health_effects_support import H
+from qvm_notification_support import CPOOL,POOL
+from qvm_trace_support import resume
+E=H+0x700000
+TEXT=E+0x2000
+EVENT=E+0x4000
+GLOBALS={'blocked':34999596,'pending':34999592,'slow':34081612,'now':34992532,'mode':34090788,'max_clients':34089604,'client_count':34992524,'round_limit':34068588,'round_active':34081020,'round_count':35000376,'countdown':34999652,'time_limit':34088124,'paused':34992512,'start':34999656,'playing':34992588,'score_limit':34088420,'team_limit':34087828,'first_score':34992556,'second_score':34992560}
+FIELDS=[468,3096,696,140,248,304,308,300,3692,3700]
+
+def seed(clients=(),**a):
+    m={address:a.get(key,0) for key,address in GLOBALS.items()};m[34992496]=CPOOL;m[34089604]=a.get('max_clients',len(clients));m[34992524]=a.get('client_count',len(clients))
+    for j,c in enumerate(clients):
+        for o in FIELDS:m[CPOOL+6336*j+o]=c.get(str(o),2 if o==468 else j if o==140 else 0)
+        m[POOL+880*j]=100+j
+    return m
+
+def run(ins,m,start=7806,boundaries=(),predicate=0):
+    initial=dict(m);requests=[];allocations=[]
+    def capture(target,value=0):
+        def child(i,m,a):requests.append({'target':target,'arguments':a});return m,value,{'child_effect_captured':True}
+        return child
+    def event(i,m,a):
+        ptr=EVENT+880*len(allocations);m[ptr+424]=16;requests.append({'target':277695,'arguments':a});allocations.append(ptr);return m,ptr,{'allocation_supplied':True}
+    hs={t:capture(t) for t in [7525,6825,7367,-18,7259]};hs[70458]=capture(70458,TEXT);hs[7662]=capture(7662,predicate);hs[277695]=event
+    m,e=resume(ins,start,8416,m,E,handlers=hs,boundaries=boundaries,repeated_calls=True,sync_child_words=True,segment_limit=2048,limit=32768)
+    changes=[{'address':a,'before':v,'after':m[a]} for a,v in initial.items() if m[a]!=v]
+    events=[{'pointer':p,'fields':{str(o):m[p+o]&0xffffffff for o in [140,428,84,424]}} for p in allocations]
+    return m,{'requests':requests,'changes':changes,'events':events,'execution':{k:e[k] for k in ['stop','trace_length','trace_sha256']}}

scripts/test_qvm_exit_class.py

@@ -0,0 +1,13 @@
+import json,unittest
+from pathlib import Path
+from qvm_exit_rules_support import TEXT
+from qvm_notification_support import CPOOL
+class ExitClassTests(unittest.TestCase):
+    def test_independent_scan_gate_and_first_offender(self):
+        r=json.loads(Path('docs/research/qvm-exit-class.json').read_text());self.assertEqual(len(r['probes']),45)
+        for p in r['probes']:
+            a=p['input'];ids=[j for j,c in enumerate(a['clients'][:a['max_clients']]) if c['468']==2 and c['3096']==0 and c['696']>20] if a['mode']==11 else []
+            expected=[] if not ids else [{'target':7367,'arguments':{'8':34641}},{'target':70458,'arguments':{'8':34618,'12':16,'16':0,'20':CPOOL+6336*ids[0]+504}},{'target':-18,'arguments':{'8':-1,'12':TEXT}}];self.assertEqual(p['requests'],expected);self.assertEqual(p['execution']['stop'],8416 if ids else 7945)
+    def test_guard_only_reads_and_captures(self):
+        for p in json.loads(Path('docs/research/qvm-exit-class.json').read_text())['probes']:self.assertEqual(p['changes'],[]);self.assertEqual(p['events'],[])
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2078,3 +2078,8 @@ report	scripts/analyze_rust_format_float.py	docs/research/rust-format-float.json
 edge	docs/research/rust-format-float.json	scripts/test_rust_format_float.py
 group	rust-format-float	scripts/analyze_rust_format_float.py
 edge	scripts/analyze_rust_format_float.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_qvm_exit_class.py	docs/research/qvm-exit-class.json
+edge	docs/research/qvm-exit-class.json	scripts/test_qvm_exit_class.py
+group	exit-class	scripts/analyze_qvm_exit_class.py
+edge	scripts/analyze_qvm_exit_class.py	scripts/analyze_qvm_resumer_audit.py
+edge	scripts/qvm_exit_rules_support.py	scripts/analyze_qvm_resumer_audit.py