qvm: audit notification reentry

docs/ASSET_PIPELINE_TODO.md

@@ -1003,3 +1003,6 @@ Research progress: RE-782 [report](research/QVM_REENTRY_WITNESS.md); original as
 
 
 Research progress: RE-783 [report](research/QVM_EXECUTE_REENTRY.md); original assets unchanged.
+
+
+Research progress: RE-784 [report](research/QVM_NOTIFICATION_REENTRY.md); original assets unchanged.

docs/FINDINGS.md

@@ -1349,3 +1349,6 @@ RE-725–734 batch: [health, contact and Rust impulse findings](research/QVM_HEA
 
 
 **RE-783 — Corrected movement resumption with persistent byte and command state:** The movement resumer also loses non-command STORE1 writes across calls in legacy mode; corrected opt-in preserves bytes and applies handler-returned commands before the next segment. [Evidence](research/QVM_EXECUTE_REENTRY.md).
+
+
+**RE-784 — Audited notification reentry and 64-slot recipient dispatch:** 6369 and6439 now use corrected reentry; scaled recipient order/gates and full legacy/corrected tuples agree for captured callback fixtures through64 slots. [Evidence](research/QVM_NOTIFICATION_REENTRY.md).

docs/PROVISIONAL_TODO.md

@@ -1350,3 +1350,6 @@ Research progress: RE-782 [report](research/QVM_REENTRY_WITNESS.md); full native
 
 
 Research progress: RE-783 [report](research/QVM_EXECUTE_REENTRY.md); full native/platform/game scope remains open.
+
+
+Research progress: RE-784 [report](research/QVM_NOTIFICATION_REENTRY.md); full native/platform/game scope remains open.

docs/RESEARCH_LEDGER.md

@@ -1577,3 +1577,8 @@ Legacy resumption demonstrably exits a three-step countdown early; corrected tra
 ## 2026-10-21 — RE-783 Corrected movement resumption with persistent byte and command state
 
 The movement resumer also loses non-command STORE1 writes across calls in legacy mode; corrected opt-in preserves bytes and applies handler-returned commands before the next segment. Focused `cargo xtask test-group execute-reentry` passes (7 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 49425 bytes. Full-suite validation is deferred to the tenth batch commit. Shared movement execute gains corrected opt-in behavior; this stage validates synthetic semantics rather than claiming all legacy movement reports are audited.
+
+
+## 2026-10-21 — RE-784 Audited notification reentry and 64-slot recipient dispatch
+
+6369 and6439 now use corrected reentry; scaled recipient order/gates and full legacy/corrected tuples agree for captured callback fixtures through64 slots. Focused `cargo xtask test-group notification-reentry` passes (71 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 46918 bytes. Full-suite validation is deferred to the tenth batch commit. Notification source resumption migrated; shared evaluator unchanged in this task. Callback internals remain captured.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1399,3 +1399,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-783 Corrected movement resumption with persistent byte and command state ([report](research/QVM_EXECUTE_REENTRY.md)).
+
+
+- [x] RE-784 Audited notification reentry and 64-slot recipient dispatch ([report](research/QVM_NOTIFICATION_REENTRY.md)).

docs/research/QVM_NOTIFICATION_REENTRY.md

@@ -0,0 +1,7 @@
+# Audited notification reentry and 64-slot recipient dispatch
+
+RE-784. Reproduce with `python3 scripts/analyze_qvm_notification_reentry.py`; validate with `cargo xtask test-group notification-reentry`. See the [machine report](qvm-notification-reentry.json).
+
+Twenty-four source fixtures vary single/pair paths, activity and counts-1,0,1,4,16,64 with five connection states. Tests independently enumerate state2 recipients and exact call arguments. Differential comparison checks the complete returned memory, trace and effect tuple, not only call counts. Captured recipients have no modeled memory effects, so equivalence here does not audit real callback internals. Existing notification and resolved lifecycle report consumers are regenerated by the focused group.
+
+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

@@ -939,3 +939,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-783: Corrected movement resumption with persistent byte and command state](QVM_EXECUTE_REENTRY.md).
+
+
+[RE-784: Audited notification reentry and 64-slot recipient dispatch](QVM_NOTIFICATION_REENTRY.md).

docs/research/qvm-notification-reentry.json

@@ -0,0 +1,2095 @@
+{
+  "limits": "6369/6439 corrected reentry;24 scaled fixtures through64 slots. Equality compares full returned memory/effects/traces with legacy on this corpus. Captured179736/180087 do not mutate memory; real callback interactions and native notifications remain open.",
+  "probes": [
+    {
+      "active": 0,
+      "count": -1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [],
+      "states": []
+    },
+    {
+      "active": 1,
+      "count": -1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 32,
+        "trace_sha256": "8b26e2399a9454ea087b68fc8071690482ca2c86dfe69b7047c657bd8bad4893"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [],
+      "states": []
+    },
+    {
+      "active": 0,
+      "count": 0,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [],
+      "states": []
+    },
+    {
+      "active": 1,
+      "count": 0,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 32,
+        "trace_sha256": "8b26e2399a9454ea087b68fc8071690482ca2c86dfe69b7047c657bd8bad4893"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [],
+      "states": []
+    },
+    {
+      "active": 0,
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [],
+      "states": [
+        0
+      ]
+    },
+    {
+      "active": 1,
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 55,
+        "trace_sha256": "39dbeee8c0517bb6f0c3e85933e54abd98420b5790bac128b54097233463759d"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [],
+      "states": [
+        0
+      ]
+    },
+    {
+      "active": 0,
+      "count": 4,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [],
+      "states": [
+        0,
+        1,
+        2,
+        3
+      ]
+    },
+    {
+      "active": 1,
+      "count": 4,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34093128
+            },
+            "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
+            }
+          }
+        ],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 137,
+        "trace_sha256": "094d24970a825e7852af05c3fe50df7fa4d56e2ccbf6810a4676c57348b9bac2"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34093128
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        }
+      ],
+      "states": [
+        0,
+        1,
+        2,
+        3
+      ]
+    },
+    {
+      "active": 0,
+      "count": 16,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [],
+      "states": [
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0
+      ]
+    },
+    {
+      "active": 1,
+      "count": 16,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34093128
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34097528
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34101928
+            },
+            "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": 34097528
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34097528
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34101928
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34101928
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          }
+        ],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 439,
+        "trace_sha256": "7070c4fdf11f58c76a286e80bfe54606d75fb4c63087c6f6afaf0d47b5486f08"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34093128
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34097528
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34101928
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        }
+      ],
+      "states": [
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0
+      ]
+    },
+    {
+      "active": 0,
+      "count": 64,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 17,
+        "trace_sha256": "a2efcfef5671f45da0dc0b3a7de76b79deccd0cf7a0fc95046348c684e2d7624"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [],
+      "states": [
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3
+      ]
+    },
+    {
+      "active": 1,
+      "count": 64,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34093128
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34097528
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34101928
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34106328
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34110728
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34115128
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34119528
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34123928
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34128328
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34132728
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34137128
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34141528
+            },
+            "instruction": 6424,
+            "target": 179736
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 34145928
+            },
+            "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": 34097528
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34097528
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34101928
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34101928
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34106328
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34106328
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34110728
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34110728
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34115128
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34115128
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34119528
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34119528
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34123928
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34123928
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34128328
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34128328
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34132728
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34132728
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34137128
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34137128
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34141528
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34141528
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 34145928
+              },
+              "instruction": 6424,
+              "target": 179736
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 34145928
+              },
+              "native_effect_not_executed": true,
+              "target": 179736
+            }
+          }
+        ],
+        "return": null,
+        "stop": 6437,
+        "trace": null,
+        "trace_length": 1673,
+        "trace_sha256": "5a99325db19308fc018c5e7d8b4d64c05efd856a9bac0fcc16091ac8bfb2379b"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": false,
+      "requests": [
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34093128
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34097528
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34101928
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34106328
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34110728
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34115128
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34119528
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34123928
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34128328
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34132728
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34137128
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34141528
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 34145928
+          },
+          "native_effect_not_executed": true,
+          "target": 179736
+        }
+      ],
+      "states": [
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3
+      ]
+    },
+    {
+      "active": 0,
+      "count": -1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [],
+      "states": []
+    },
+    {
+      "active": 1,
+      "count": -1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 54,
+        "trace_sha256": "3f0db83f288bf0944c48182f4895664fa5677a12fdafff4fdef1067a0cc6a2d0"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [],
+      "states": []
+    },
+    {
+      "active": 0,
+      "count": 0,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [],
+      "states": []
+    },
+    {
+      "active": 1,
+      "count": 0,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 54,
+        "trace_sha256": "3f0db83f288bf0944c48182f4895664fa5677a12fdafff4fdef1067a0cc6a2d0"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [],
+      "states": []
+    },
+    {
+      "active": 0,
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [],
+      "states": [
+        0
+      ]
+    },
+    {
+      "active": 1,
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 77,
+        "trace_sha256": "9be7778b5a2024df781f65be2e044c98706e058954782ceb36bd40a1defb4e4f"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [],
+      "states": [
+        0
+      ]
+    },
+    {
+      "active": 0,
+      "count": 4,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [],
+      "states": [
+        0,
+        1,
+        2,
+        3
+      ]
+    },
+    {
+      "active": 1,
+      "count": 4,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34093128
+            },
+            "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
+            }
+          }
+        ],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 162,
+        "trace_sha256": "c1dbf9a020799d19724cd5bb4b9a09fb6000113de62448f2c235c91b0cc73d26"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34093128
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        }
+      ],
+      "states": [
+        0,
+        1,
+        2,
+        3
+      ]
+    },
+    {
+      "active": 0,
+      "count": 16,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [],
+      "states": [
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0
+      ]
+    },
+    {
+      "active": 1,
+      "count": 16,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34093128
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34097528
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34101928
+            },
+            "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": 34097528
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34097528
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34101928
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34101928
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          }
+        ],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 470,
+        "trace_sha256": "ca8030b4c95b7b6625bbb16fe05f7e66e441ce5e52888bbd7c5d6a53c3150b4d"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34093128
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34097528
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34101928
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        }
+      ],
+      "states": [
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0
+      ]
+    },
+    {
+      "active": 0,
+      "count": 64,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 21,
+        "trace_sha256": "6a8472bd1dc8c2ee64106659bd8de03371219cddd25cae0fcbf3177f8c6c8b01"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [],
+      "states": [
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3
+      ]
+    },
+    {
+      "active": 1,
+      "count": 64,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34093128
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34097528
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34101928
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34106328
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34110728
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34115128
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34119528
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34123928
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34128328
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34132728
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34137128
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34141528
+            },
+            "instruction": 6519,
+            "target": 180087
+          },
+          {
+            "args": {
+              "8": 2065760256,
+              "12": 2065825792,
+              "16": 34145928
+            },
+            "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": 34097528
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34097528
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34101928
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34101928
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34106328
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34106328
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34110728
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34110728
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34115128
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34115128
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34119528
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34119528
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34123928
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34123928
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34128328
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34128328
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34132728
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34132728
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34137128
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34137128
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34141528
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34141528
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34145928
+              },
+              "instruction": 6519,
+              "target": 180087
+            },
+            "effect": {
+              "arguments": {
+                "8": 2065760256,
+                "12": 2065825792,
+                "16": 34145928
+              },
+              "native_effect_not_executed": true,
+              "target": 180087
+            }
+          }
+        ],
+        "return": null,
+        "stop": 6532,
+        "trace": null,
+        "trace_length": 1734,
+        "trace_sha256": "be263b9fc324701709e791e498f692c6e56037919bb7a85552b2900cb9702828"
+      },
+      "external_writes": [],
+      "legacy_equal": true,
+      "pair": true,
+      "requests": [
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34093128
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34097528
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34101928
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34106328
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34110728
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34115128
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34119528
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34123928
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34128328
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34132728
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34137128
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34141528
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        },
+        {
+          "arguments": {
+            "8": 2065760256,
+            "12": 2065825792,
+            "16": 34145928
+          },
+          "native_effect_not_executed": true,
+          "target": 180087
+        }
+      ],
+      "states": [
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3,
+        4,
+        0,
+        1,
+        2,
+        3
+      ]
+    }
+  ],
+  "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

@@ -8395,7 +8395,7 @@
       "line": 16,
       "literal_range": null,
       "path": "scripts/qvm_notification_support.py",
-      "repeated_calls_opt_in": false
+      "repeated_calls_opt_in": true
     },
     {
       "backward_conditional_branches": [],
@@ -8920,7 +8920,7 @@
   "summary": {
     "call_expressions": 179,
     "files": 140,
-    "legacy_expressions": 171,
+    "legacy_expressions": 170,
     "nonliteral_ranges": 20
   }
 }

scripts/analyze_qvm_notification_reentry.py

@@ -0,0 +1,23 @@
+#!/usr/bin/env python3
+"""Reentry migration with 64-slot recipient order and gate witnesses."""
+from pathlib import Path
+import qvm_notification_support as notification
+from qvm_research_support import source
+from qvm_resumer_diff_support import compare
+from analyze_qvm import write_json
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for pair in [False,True]:
+        for n in [-1,0,1,4,16,64]:
+            for active in [0,1]:
+                states=[(j%5) for j in range(max(0,n))]
+                def invoke():
+                    m=notification.seed(raw,h,count=n,active=active)
+                    for j,s in enumerate(states):m[notification.CPOOL+6336*j+468]=s
+                    args={8:notification.TARGET}
+                    if pair:args[12]=notification.ATTACKER
+                    return notification.notify(ins,m,args,pair)
+                old,new,equal=compare(notification,invoke);rows.append({'pair':pair,'count':n,'active':active,'states':states,'legacy_equal':equal,'requests':new[2]['requests'],'external_writes':new[2]['external_writes'],'execution':new[2]['execution']})
+    write_json(Path('docs/research/qvm-notification-reentry.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'6369/6439 corrected reentry;24 scaled fixtures through64 slots. Equality compares full returned memory/effects/traces with legacy on this corpus. Captured179736/180087 do not mutate memory; real callback interactions and native notifications remain open.'})
+if __name__=='__main__':main()

scripts/qvm_notification_support.py

@@ -13,6 +13,6 @@ def seed(raw,h,**a):
 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)})
+    initial=dict(m);requests=[];m,e=resume(ins,start,end,m,N,handlers={179736:captured(179736,requests),180087:captured(180087,requests)},repeated_calls=True)
     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/qvm_resumer_diff_support.py

@@ -0,0 +1,9 @@
+"""Sequential differential audit of a module's imported bounded resumer."""
+from unittest.mock import patch
+
+def compare(module,invoke):
+    original=module.resume
+    def legacy(*args,**kwargs):kwargs['repeated_calls']=False;return original(*args,**kwargs)
+    with patch.object(module,'resume',legacy):old=invoke()
+    new=invoke()
+    return old,new,old==new

scripts/test_qvm_notification_reentry.py

@@ -0,0 +1,13 @@
+import json,unittest
+from pathlib import Path
+from qvm_notification_support import POOL,TARGET,ATTACKER
+class NotificationReentryTests(unittest.TestCase):
+    def test_recipient_order_and_exact_abi_from_independent_states(self):
+        ps=json.loads(Path('docs/research/qvm-notification-reentry.json').read_text())['probes'];self.assertEqual(len(ps),24)
+        for p in ps:
+            ids=[i for i,s in enumerate(p['states']) if s==2] if p['active'] else []
+            expected=[{'target':180087 if p['pair'] else 179736,'arguments':{**{'8':TARGET},**({'12':ATTACKER,'16':POOL+880*i} if p['pair'] else {'12':POOL+880*i})},'native_effect_not_executed':True} for i in ids]
+            self.assertEqual(p['requests'],expected);self.assertEqual(p['external_writes'],[]);self.assertTrue(p['legacy_equal']);self.assertEqual(len(p['execution']['calls']),len(ids))
+    def test_sixty_four_slot_witness_is_nonempty(self):
+        ps=json.loads(Path('docs/research/qvm-notification-reentry.json').read_text())['probes'];self.assertEqual({len(p['requests']) for p in ps if p['active'] and p['count']==64},{13})
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1729,3 +1729,9 @@ report	scripts/analyze_qvm_execute_reentry.py	docs/research/qvm-execute-reentry.
 edge	docs/research/qvm-execute-reentry.json	scripts/test_qvm_execute_reentry.py
 edge	scripts/analyze_qvm_execute_reentry.py	scripts/analyze_qvm_resumer_audit.py
 group	execute-reentry	scripts/analyze_qvm_execute_reentry.py
+
+group	notification-reentry	scripts/qvm_notification_support.py
+report	scripts/analyze_qvm_notification_reentry.py	docs/research/qvm-notification-reentry.json
+edge	docs/research/qvm-notification-reentry.json	scripts/test_qvm_notification_reentry.py
+edge	scripts/analyze_qvm_notification_reentry.py	scripts/analyze_qvm_resumer_audit.py
+group	notification-reentry	scripts/analyze_qvm_notification_reentry.py