qvm: recover client notifications

docs/ASSET_PIPELINE_TODO.md

@@ -904,3 +904,6 @@ Research progress: RE-745 [report](research/RUST_MODE10_ANIMATION.md); original
 
 
 Research progress: RE-747 [report](research/QVM_SCORE_UPDATE.md); original assets unchanged.
+
+
+Research progress: RE-748 [report](research/QVM_CLIENT_NOTIFICATIONS.md); original assets unchanged.

docs/FINDINGS.md

@@ -1250,3 +1250,6 @@ RE-725–734 batch: [health, contact and Rust impulse findings](research/QVM_HEA
 
 
 **RE-747 — Complete score update gates wrapping and rank refresh:** 205260 updates client248 with wrapping addition, optionally updates a mode3 team score, and requests ranking5864 only after active mutations. [Evidence](research/QVM_SCORE_UPDATE.md).
+
+
+**RE-748 — Reset and pair notification gates and connected recipients:** 6369 and6439 dispatch only to client state2, after pointer/in-use/client gates; their recipient callbacks remain explicit. [Evidence](research/QVM_CLIENT_NOTIFICATIONS.md).

docs/PROVISIONAL_TODO.md

@@ -1242,3 +1242,6 @@ RE-736–745 batch validation:1413 Python and56 Rust tests pass after ten separa
 
 
 Research progress: RE-747 [report](research/QVM_SCORE_UPDATE.md); full native/platform/game scope remains open.
+
+
+Research progress: RE-748 [report](research/QVM_CLIENT_NOTIFICATIONS.md); full native/platform/game scope remains open.

docs/RESEARCH_LEDGER.md

@@ -1385,3 +1385,8 @@ Exactly ten task commits follow baseline `e1f7eb5a`. Each task passed focused `c
 ## 2026-10-21 — RE-747 Complete score update gates wrapping and rank refresh
 
 205260 updates client248 with wrapping addition, optionally updates a mode3 team score, and requests ranking5864 only after active mutations. Focused `cargo xtask test-group score` passes (3 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 68658 bytes. Full-suite validation is deferred to the tenth batch commit. No original assets, Rust runtime or shared VM evaluator changed.
+
+
+## 2026-10-21 — RE-748 Reset and pair notification gates and connected recipients
+
+6369 and6439 dispatch only to client state2, after pointer/in-use/client gates; their recipient callbacks remain explicit. Focused `cargo xtask test-group notifications` passes (3 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 42744 bytes. Full-suite validation is deferred to the tenth batch commit. No original assets, Rust runtime or shared VM evaluator changed.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1285,3 +1285,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-747 Complete score update gates wrapping and rank refresh ([report](research/QVM_SCORE_UPDATE.md)).
+
+
+- [x] RE-748 Reset and pair notification gates and connected recipients ([report](research/QVM_CLIENT_NOTIFICATIONS.md)).

docs/research/QVM_CLIENT_NOTIFICATIONS.md

@@ -0,0 +1,7 @@
+# Reset and pair notification gates and connected recipients
+
+RE-748. Reproduce with `python3 scripts/analyze_qvm_client_notifications.py`; validate with `cargo xtask test-group notifications`. See the [machine report](qvm-client-notifications.json).
+
+Recovered complete6369 and6439 over65 fixtures including null first pointer, in-use/client gates, empty/negative counts and mixed connection states. Client stride6336 selects recipients while entity stride880 constructs callback arguments. The loops themselves make no external state mutation.179736/180087 callback internals, positive counts beyond the four-slot fixture, and live networking remain open.
+
+No original executable/full VM/native world collision or rendering runs. Supplied callback/native responses and fixture domains remain explicit; complete macOS/Linux Rust/Bevy/Solari gameplay remains open.

docs/research/README.md

@@ -840,3 +840,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-747: Complete score update gates wrapping and rank refresh](QVM_SCORE_UPDATE.md).
+
+
+[RE-748: Reset and pair notification gates and connected recipients](QVM_CLIENT_NOTIFICATIONS.md).

docs/research/qvm-client-notifications.json

@@ -0,0 +1,1848 @@
+{
+  "limits": "Complete6369/6439 gates and loops over supplied four client states0,1,2,2 and counts-1..4.179736/180087 remain captured. No recipient callback internals/native notifications executed.",
+  "probes": [
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": -1,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": -1,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 0,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 0,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 1,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 1,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 4,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 4,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": -1,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": -1,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 0,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 0,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 1,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 1,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 4,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 4,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 24,
+        "trace_sha256": "fa24d2d0c0115eaf9ba69b664648bb2bd9b17bba174279ca81f3a936e24efc3e"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": -1,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": -1,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 24,
+        "trace_sha256": "fa24d2d0c0115eaf9ba69b664648bb2bd9b17bba174279ca81f3a936e24efc3e"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 0,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 0,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 24,
+        "trace_sha256": "fa24d2d0c0115eaf9ba69b664648bb2bd9b17bba174279ca81f3a936e24efc3e"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 1,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 1,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 24,
+        "trace_sha256": "fa24d2d0c0115eaf9ba69b664648bb2bd9b17bba174279ca81f3a936e24efc3e"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 4,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 4,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 32,
+        "trace_sha256": "8b26e2399a9454ea087b68fc8071690482ca2c86dfe69b7047c657bd8bad4893"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": -1,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": -1,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 32,
+        "trace_sha256": "8b26e2399a9454ea087b68fc8071690482ca2c86dfe69b7047c657bd8bad4893"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 0,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 0,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 55,
+        "trace_sha256": "39dbeee8c0517bb6f0c3e85933e54abd98420b5790bac128b54097233463759d"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 1,
+        "null": false,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 1,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34093128
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34094008
+            },
+            "instruction": 6424,
+            "target": 179736
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34093128
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34093128
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34094008
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34094008
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          }
+        ],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 150,
+        "trace_sha256": "5c9d4c8b02922185fc6c201dfd96960ea59ec5f73c67cab3107b33a06b5ffa6f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 4,
+        "null": false,
+        "pair": false
+      },
+      "requests": [
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34093128
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34094008
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        }
+      ]
+    },
+    {
+      "arguments": {
+        "8": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "da6c0fa1a260496bb8d37495ace7a276163b40a8bfa9959878d368fba1cc1943"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 4,
+        "null": true,
+        "pair": false
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 0,
+        "null": false,
+        "other_active": 0,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 4,
+        "null": false,
+        "other_active": 0,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 0,
+        "null": false,
+        "other_active": 0,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 4,
+        "null": false,
+        "other_active": 0,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 0,
+        "null": false,
+        "other_active": 0,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 4,
+        "null": false,
+        "other_active": 0,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 0,
+        "null": false,
+        "other_active": 0,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 4,
+        "null": false,
+        "other_active": 0,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 0,
+        "null": false,
+        "other_active": 1,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 4,
+        "null": false,
+        "other_active": 1,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 0,
+        "null": false,
+        "other_active": 1,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": false,
+        "count": 4,
+        "null": false,
+        "other_active": 1,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 0,
+        "null": false,
+        "other_active": 1,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 4,
+        "null": false,
+        "other_active": 1,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 0,
+        "null": false,
+        "other_active": 1,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 0,
+        "client": true,
+        "count": 4,
+        "null": false,
+        "other_active": 1,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 28,
+        "trace_sha256": "5b064604d0fff3bf226d6e9c36974e31026c3300e1e5bccb97d8384f47732f6f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 0,
+        "null": false,
+        "other_active": 0,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 28,
+        "trace_sha256": "5b064604d0fff3bf226d6e9c36974e31026c3300e1e5bccb97d8384f47732f6f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 4,
+        "null": false,
+        "other_active": 0,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 28,
+        "trace_sha256": "5b064604d0fff3bf226d6e9c36974e31026c3300e1e5bccb97d8384f47732f6f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 0,
+        "null": false,
+        "other_active": 0,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 28,
+        "trace_sha256": "5b064604d0fff3bf226d6e9c36974e31026c3300e1e5bccb97d8384f47732f6f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 4,
+        "null": false,
+        "other_active": 0,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 39,
+        "trace_sha256": "ab1e076415bff224e0719f708e879ecc1628b013ba8c77642dbe0a1de02a08c3"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 0,
+        "null": false,
+        "other_active": 0,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 39,
+        "trace_sha256": "ab1e076415bff224e0719f708e879ecc1628b013ba8c77642dbe0a1de02a08c3"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 4,
+        "null": false,
+        "other_active": 0,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 39,
+        "trace_sha256": "ab1e076415bff224e0719f708e879ecc1628b013ba8c77642dbe0a1de02a08c3"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 0,
+        "null": false,
+        "other_active": 0,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 39,
+        "trace_sha256": "ab1e076415bff224e0719f708e879ecc1628b013ba8c77642dbe0a1de02a08c3"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 4,
+        "null": false,
+        "other_active": 0,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 28,
+        "trace_sha256": "5b064604d0fff3bf226d6e9c36974e31026c3300e1e5bccb97d8384f47732f6f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 0,
+        "null": false,
+        "other_active": 1,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 28,
+        "trace_sha256": "5b064604d0fff3bf226d6e9c36974e31026c3300e1e5bccb97d8384f47732f6f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 4,
+        "null": false,
+        "other_active": 1,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 28,
+        "trace_sha256": "5b064604d0fff3bf226d6e9c36974e31026c3300e1e5bccb97d8384f47732f6f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 0,
+        "null": false,
+        "other_active": 1,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 28,
+        "trace_sha256": "5b064604d0fff3bf226d6e9c36974e31026c3300e1e5bccb97d8384f47732f6f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": false,
+        "count": 4,
+        "null": false,
+        "other_active": 1,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 46,
+        "trace_sha256": "3b8171fa43cfbdf2a0a1134be519ec541e7c62a27dc4d3637ab5761f2fd1170f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 0,
+        "null": false,
+        "other_active": 1,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 46,
+        "trace_sha256": "3b8171fa43cfbdf2a0a1134be519ec541e7c62a27dc4d3637ab5761f2fd1170f"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 4,
+        "null": false,
+        "other_active": 1,
+        "other_client": false,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 54,
+        "trace_sha256": "3f0db83f288bf0944c48182f4895664fa5677a12fdafff4fdef1067a0cc6a2d0"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 0,
+        "null": false,
+        "other_active": 1,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": []
+    },
+    {
+      "arguments": {
+        "8": 2065760256,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34093128
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34094008
+            },
+            "instruction": 6519,
+            "target": 180087
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34093128
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34093128
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34094008
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34094008
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          }
+        ],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 178,
+        "trace_sha256": "f1e850dd1233a7067a21ac6bdbe4e20878ad8e24005ed198d9a282e83d8b6e21"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 4,
+        "null": false,
+        "other_active": 1,
+        "other_client": true,
+        "pair": true
+      },
+      "requests": [
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34093128
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34094008
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        }
+      ]
+    },
+    {
+      "arguments": {
+        "8": 0,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 6,
+        "trace_sha256": "8527804301a4cb6f593b5e3a9e6e09b36ae32db684a097060609fab31896b857"
+      },
+      "external_writes": [],
+      "input": {
+        "active": 1,
+        "client": true,
+        "count": 4,
+        "null": true,
+        "pair": true
+      },
+      "requests": []
+    }
+  ],
+  "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+  "source": {
+    "archive": "zUrT43_qvm.pk3",
+    "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
+    "member": {
+      "bytes": 983300,
+      "comment_hex": "",
+      "compressed_bytes": 246560,
+      "compression": 8,
+      "crc32": "98ea1768",
+      "create_system": 0,
+      "create_version": 63,
+      "date_time": [
+        2018,
+        6,
+        18,
+        22,
+        11,
+        50
+      ],
+      "directory": false,
+      "entry_index": 2,
+      "external_attr": 32,
+      "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
+      "extract_version": 20,
+      "flags": 0,
+      "header_offset": 221309,
+      "internal_attr": 0,
+      "occurrence": 0,
+      "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
+      "path": "vm/qagame.qvm",
+      "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+      "type": "member",
+      "volume": 0
+    }
+  }
+}

scripts/analyze_qvm_client_notifications.py

@@ -0,0 +1,19 @@
+#!/usr/bin/env python3
+"""Complete reset/pair notification gates and connected-recipient dispatch."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_notification_support import seed,notify,TARGET,ATTACKER
+from analyze_qvm import write_json
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    cases=[dict(pair=False,active=a,client=c,count=n,null=z) for a,c,n,z in itertools.product([0,1],[False,True],[-1,0,1,4],[False,True])]
+    cases += [dict(pair=True,active=a,other_active=b,client=c,other_client=d,count=n,null=False) for a,b,c,d,n in itertools.product([0,1],[0,1],[False,True],[False,True],[0,4])]
+    cases += [dict(pair=True,null=True,active=1,client=True,count=4)]
+    for a in cases:
+        args={8:0 if a['null'] else TARGET}
+        if a['pair']:args[12]=ATTACKER
+        _,_,p=notify(ins,seed(raw,h,**a),args,a['pair']);p['input']=a;rows.append(p)
+    write_json(Path('docs/research/qvm-client-notifications.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Complete6369/6439 gates and loops over supplied four client states0,1,2,2 and counts-1..4.179736/180087 remain captured. No recipient callback internals/native notifications executed.'})
+if __name__=='__main__':main()

scripts/qvm_notification_support.py

@@ -0,0 +1,18 @@
+"""6369/6439 connected-client dispatch;179736/180087 callbacks captured."""
+from qvm_health_effects_support import seed as health_seed,H,TARGET,ATTACKER,CLIENT,A_CLIENT
+from qvm_trace_support import resume,captured
+N=H+0xd0000
+CPOOL=H+0x200000
+POOL=34091368
+
+def seed(raw,h,**a):
+    m=health_seed(raw,h);m.update({TARGET+532:a.get('active',1),ATTACKER+532:a.get('other_active',1),TARGET+520:CLIENT if a.get('client',True) else 0,ATTACKER+520:A_CLIENT if a.get('other_client',True) else 0,34992496:CPOOL,34992524:a.get('count',4)})
+    for j,v in enumerate([0,1,2,2]):m[CPOOL+6336*j+468]=v
+    return m
+
+def notify(ins,m,args,pair=False):
+    frame=32 if pair else 24;start,end=(6440,6532) if pair else (6370,6437)
+    for o,v in args.items():m[N+frame+o]=v
+    initial=dict(m);requests=[];m,e=resume(ins,start,end,m,N,handlers={179736:captured(179736,requests),180087:captured(180087,requests)})
+    writes=[{'address':a,'before':initial.get(a),'after':v} for a,v in sorted(m.items()) if initial.get(a)!=v and not N<=a<N+80]
+    return m,0,{'arguments':args,'requests':requests,'external_writes':writes,'execution':e}

scripts/test_qvm_client_notifications.py

@@ -0,0 +1,17 @@
+import json,unittest
+from pathlib import Path
+from qvm_notification_support import POOL,TARGET,ATTACKER
+class NotificationTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.ps=json.loads(Path('docs/research/qvm-client-notifications.json').read_text())['probes']
+    def test_independent_gate_and_connected_recipient_oracle(self):
+        for p in self.ps:
+            a=p['input'];active=not a['null'] and a['active'] and a['client'] and (not a['pair'] or a.get('other_active',1) and a.get('other_client',True));indices=[j for j in range(max(0,a['count'])) if [0,1,2,2][j]==2] if active else []
+            self.assertEqual(len(p['requests']),len(indices),a)
+            for c,j in zip(p['requests'],indices):self.assertEqual(c['target'],180087 if a['pair'] else 179736);self.assertEqual(c['arguments'],{'8':TARGET,'12':ATTACKER,'16':POOL+880*j} if a['pair'] else {'8':TARGET,'12':POOL+880*j})
+    def test_no_uncaptured_external_mutations(self):
+        for p in self.ps:self.assertEqual(p['external_writes'],[])
+    def test_complete_void_exits_and_domains(self):
+        self.assertEqual(len(self.ps),65)
+        for p in self.ps:self.assertEqual(p['execution']['stop'],6532 if p['input']['pair'] else 6437)
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1224,3 +1224,6 @@ edge	docs/research/rust-mode10-animation.json	scripts/test_rust_mode10_animation
 report	scripts/analyze_qvm_score_update.py	docs/research/qvm-score-update.json
 edge	docs/research/qvm-score-update.json	scripts/test_qvm_score_update.py
 group	score	scripts/analyze_qvm_score_update.py
+report	scripts/analyze_qvm_client_notifications.py	docs/research/qvm-client-notifications.json
+edge	docs/research/qvm-client-notifications.json	scripts/test_qvm_client_notifications.py
+group	notifications	scripts/analyze_qvm_client_notifications.py