qvm: compose filter insertion with export

docs/FINDINGS.md

@@ -1811,3 +1811,5 @@ RE-937: Rust matches all30 original removal cases, retaining first-match orderin
 RE-938: Across180 actual252127 fixtures, parser252304/37159 precedes an exact mask/comparison scan; only the first match receives the supplied raw metadata word. Comparison/mask/count remain unchanged. Export is requested only after a successful match with a nonzero save argument. Invalid parse and missing match return0 with diagnostics. A comparison-1 sentinel can match and receive metadata without becoming active; timestamp interpretation and native callers remain open. [Evidence](research/QVM_FILTER_METADATA.md).
 
 RE-939: Rust matches180 original metadata-update cases, retaining the first exact pair, every unaffected row, raw metadata bits, parser/missing-match diagnostics and save gating. Unit tests verify negative save requests, duplicate preservation, sentinel matching and atomic rejection of unsupported tokens. Metadata is deliberately a raw word; native time/expiry interpretation remains open. [Evidence](research/RUST_FILTER_METADATA.md).
+
+RE-940: Twenty-four original252829/252304/252500 compositions verify table checksums plus exact export records and file-operation order. Parse failure still retains count growth and exports, including an empty write through a supplied zero handle. Valid broadcast sentinel values are skipped by export, and wildcard masks are lost in serialized output. Native file IO remains captured; insertion table/caller provenance remains open. [Evidence](research/QVM_FILTER_INSERT_EXPORT.md).

docs/PROVISIONAL_TODO.md

@@ -1857,3 +1857,5 @@ RE-924–933 completed bounded bot settings, announcement, connect-child composi
 - [x] RE-938 Original filter metadata update and save gating ([evidence](research/QVM_FILTER_METADATA.md)).
 
 - [x] RE-939 Rust first-match filter metadata policy ([evidence](research/RUST_FILTER_METADATA.md)).
+
+- [x] RE-940 Original insertion composed with recovered export ([evidence](research/QVM_FILTER_INSERT_EXPORT.md)).

docs/RESEARCH_LEDGER.md

@@ -2421,3 +2421,7 @@ Across180 actual252127 fixtures, parser252304/37159 precedes an exact mask/compa
 ## 2026-10-28 — RE-939 Rust first-match filter metadata policy
 
 Rust matches180 original metadata-update cases, retaining the first exact pair, every unaffected row, raw metadata bits, parser/missing-match diagnostics and save gating. Unit tests verify negative save requests, duplicate preservation, sentinel matching and atomic rejection of unsupported tokens. Metadata is deliberately a raw word; native time/expiry interpretation remains open. Focused `cargo xtask test-group rust-filter-metadata` passes with deterministic report regeneration, relevant regressions and storage/documentation/whitespace checks. Full suite deferred to the tenth-commit boundary. Original assets unchanged; native IO effects remain captured.
+
+## 2026-10-28 — RE-940 Original insertion composed with recovered export
+
+Twenty-four original252829/252304/252500 compositions verify table checksums plus exact export records and file-operation order. Parse failure still retains count growth and exports, including an empty write through a supplied zero handle. Valid broadcast sentinel values are skipped by export, and wildcard masks are lost in serialized output. Native file IO remains captured; insertion table/caller provenance remains open. Focused `cargo xtask test-group qvm-filter-insert-export` passes with deterministic report regeneration, relevant regressions and storage/documentation/whitespace checks. Full suite deferred to the tenth-commit boundary. Original assets unchanged; native IO effects remain captured.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1894,3 +1894,5 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 - [x] RE-938 Original filter metadata update and save gating ([evidence](research/QVM_FILTER_METADATA.md)).
 
 - [x] RE-939 Rust first-match filter metadata policy ([evidence](research/RUST_FILTER_METADATA.md)).
+
+- [x] RE-940 Original insertion composed with recovered export ([evidence](research/QVM_FILTER_INSERT_EXPORT.md)).

docs/research/QVM_FILTER_INSERT_EXPORT.md

@@ -0,0 +1,5 @@
+# Original insertion composed with recovered export
+
+RE-940. Focused validation: `cargo xtask test-group qvm-filter-insert-export`. [Machine report](qvm-filter-insert-export.json).
+
+Twenty-four original252829/252304/252500 compositions verify table checksums plus exact export records and file-operation order. Parse failure still retains count growth and exports, including an empty write through a supplied zero handle. Valid broadcast sentinel values are skipped by export, and wildcard masks are lost in serialized output. Native file IO remains captured; insertion table/caller provenance remains open.

docs/research/README.md

@@ -1429,3 +1429,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-938: Original filter metadata update and save gating](QVM_FILTER_METADATA.md).
 
 - [RE-939: Rust first-match filter metadata policy](RUST_FILTER_METADATA.md).
+
+- [RE-940: Original insertion composed with recovered export](QVM_FILTER_INSERT_EXPORT.md).

docs/research/qvm-filter-insert-export.json

@@ -0,0 +1,1196 @@
+{
+  "limits": "24 composed252829/252304/252500 cases with actual formatter children. Failed parse retains grown count and may export an empty table; holes and mask loss preserved. Native memset/strncpy modeled, console/file operations captured; no live filesystem acceptance claim.",
+  "probes": [
+    {
+      "after": [
+        4294967295,
+        67305985,
+        4294967295
+      ],
+      "before": [
+        287454020,
+        1432778632,
+        2578103244
+      ],
+      "before_count": 0,
+      "checksum": 8643066824336841373,
+      "count": 1,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 62,
+        "trace_sha256": "dfa12c7c7503e03c744e873200f15c8afdb44e0ccd57747984630ca69714f374"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "profile": 0,
+        "save": 0,
+        "text": "312e322e332e34"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        4294967295,
+        67305985,
+        4294967295
+      ],
+      "before": [
+        287454020,
+        1432778632,
+        2578103244
+      ],
+      "before_count": 0,
+      "checksum": 8643066824336841373,
+      "count": 1,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 65,
+        "trace_sha256": "501d07b191d64902167541498e00bf85bfcedb1a7f965610a98a8e7e205887e0"
+      },
+      "exported": [
+        {
+          "buffer": "312e322e332e343a2d310a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "312e322e332e343a2d310a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "312e322e332e343a2d310a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "profile": 0,
+        "save": 1,
+        "text": "312e322e332e34"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        287454020,
+        4294967295,
+        2578103244
+      ],
+      "before": [
+        287454020,
+        1432778632,
+        2578103244
+      ],
+      "before_count": 0,
+      "checksum": 15828147485467890441,
+      "count": 1,
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 64,
+        "trace_sha256": "810b8414311a3fb8e0d914a4bf83e82871706e87ec798295bfb6de5020512321"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 0,
+        "profile": 0,
+        "save": 0,
+        "text": "626164"
+      },
+      "parsed": 0,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        287454020,
+        4294967295,
+        2578103244
+      ],
+      "before": [
+        287454020,
+        1432778632,
+        2578103244
+      ],
+      "before_count": 0,
+      "checksum": 15828147485467890441,
+      "count": 1,
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 67,
+        "trace_sha256": "d79c029f28f68754745bdc9e70ce3f050acb094d3c1f520a4797deae15d1c377"
+      },
+      "exported": [
+        {
+          "buffer": "",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 0,
+              "op": "write",
+              "text": ""
+            },
+            {
+              "handle": 0,
+              "op": "close"
+            }
+          ],
+          "formats": []
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 0,
+        "profile": 0,
+        "save": 1,
+        "text": "626164"
+      },
+      "parsed": 0,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        4294967295,
+        4294967295,
+        4294967295
+      ],
+      "before": [
+        287454020,
+        1432778632,
+        2578103244
+      ],
+      "before_count": 0,
+      "checksum": 10626296841257250281,
+      "count": 1,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 62,
+        "trace_sha256": "dfa12c7c7503e03c744e873200f15c8afdb44e0ccd57747984630ca69714f374"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "profile": 0,
+        "save": 0,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        4294967295,
+        4294967295,
+        4294967295
+      ],
+      "before": [
+        287454020,
+        1432778632,
+        2578103244
+      ],
+      "before_count": 0,
+      "checksum": 10626296841257250281,
+      "count": 1,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 65,
+        "trace_sha256": "501d07b191d64902167541498e00bf85bfcedb1a7f965610a98a8e7e205887e0"
+      },
+      "exported": [
+        {
+          "buffer": "",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": ""
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": []
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "profile": 0,
+        "save": 1,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        0,
+        0,
+        4294967295
+      ],
+      "before": [
+        287454020,
+        1432778632,
+        2578103244
+      ],
+      "before_count": 0,
+      "checksum": 9180629977285729265,
+      "count": 1,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 62,
+        "trace_sha256": "dfa12c7c7503e03c744e873200f15c8afdb44e0ccd57747984630ca69714f374"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "profile": 0,
+        "save": 0,
+        "text": "2a"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        0,
+        0,
+        4294967295
+      ],
+      "before": [
+        287454020,
+        1432778632,
+        2578103244
+      ],
+      "before_count": 0,
+      "checksum": 9180629977285729265,
+      "count": 1,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 65,
+        "trace_sha256": "501d07b191d64902167541498e00bf85bfcedb1a7f965610a98a8e7e205887e0"
+      },
+      "exported": [
+        {
+          "buffer": "302e302e302e303a2d310a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "302e302e302e303a2d310a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "302e302e302e303a2d310a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "profile": 0,
+        "save": 1,
+        "text": "2a"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        4294967295,
+        67305985,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        100
+      ],
+      "before_count": 3,
+      "checksum": 12352080663264302319,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 58,
+        "trace_sha256": "c9f2b9a46e3bd140b1af9672bf5492c5c4782ee446da397ec5bee063256d71d1"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "profile": 2,
+        "save": 0,
+        "text": "312e322e332e34"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        4294967295,
+        67305985,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        100
+      ],
+      "before_count": 3,
+      "checksum": 12352080663264302319,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 61,
+        "trace_sha256": "8f0a1c1f00a84ac6cb65b3f75aabbd16225c36e084529eb2c2c42a68834198b2"
+      },
+      "exported": [
+        {
+          "buffer": "312e322e332e343a2d310a322e302e302e303a3130310a332e302e302e303a3130320a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "312e322e332e343a2d310a322e302e302e303a3130310a332e302e302e303a3130320a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "312e322e332e343a2d310a",
+            "322e302e302e303a3130310a",
+            "332e302e302e303a3130320a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "profile": 2,
+        "save": 1,
+        "text": "312e322e332e34"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        4294967295,
+        4294967295,
+        100
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        100
+      ],
+      "before_count": 3,
+      "checksum": 4983954312695245907,
+      "count": 3,
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 60,
+        "trace_sha256": "3f323a8aef17e7475e19a9f86ff54d5f4c8c3dbcd82434cba28224b197bf2607"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 0,
+        "profile": 2,
+        "save": 0,
+        "text": "626164"
+      },
+      "parsed": 0,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        4294967295,
+        4294967295,
+        100
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        100
+      ],
+      "before_count": 3,
+      "checksum": 4983954312695245907,
+      "count": 3,
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 63,
+        "trace_sha256": "c8a654797fed24b4864d0f38a115b19965b03e9d70808cf3a314e3668a0bbb3b"
+      },
+      "exported": [
+        {
+          "buffer": "322e302e302e303a3130310a332e302e302e303a3130320a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 0,
+              "op": "write",
+              "text": "322e302e302e303a3130310a332e302e302e303a3130320a"
+            },
+            {
+              "handle": 0,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "322e302e302e303a3130310a",
+            "332e302e302e303a3130320a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 0,
+        "profile": 2,
+        "save": 1,
+        "text": "626164"
+      },
+      "parsed": 0,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        4294967295,
+        4294967295,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        100
+      ],
+      "before_count": 3,
+      "checksum": 11865259713149171923,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 58,
+        "trace_sha256": "c9f2b9a46e3bd140b1af9672bf5492c5c4782ee446da397ec5bee063256d71d1"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "profile": 2,
+        "save": 0,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        4294967295,
+        4294967295,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        100
+      ],
+      "before_count": 3,
+      "checksum": 11865259713149171923,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 61,
+        "trace_sha256": "8f0a1c1f00a84ac6cb65b3f75aabbd16225c36e084529eb2c2c42a68834198b2"
+      },
+      "exported": [
+        {
+          "buffer": "322e302e302e303a3130310a332e302e302e303a3130320a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "322e302e302e303a3130310a332e302e302e303a3130320a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "322e302e302e303a3130310a",
+            "332e302e302e303a3130320a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "profile": 2,
+        "save": 1,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        0,
+        0,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        100
+      ],
+      "before_count": 3,
+      "checksum": 9243264774671796427,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 58,
+        "trace_sha256": "c9f2b9a46e3bd140b1af9672bf5492c5c4782ee446da397ec5bee063256d71d1"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "profile": 2,
+        "save": 0,
+        "text": "2a"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        0,
+        0,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        100
+      ],
+      "before_count": 3,
+      "checksum": 9243264774671796427,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 61,
+        "trace_sha256": "8f0a1c1f00a84ac6cb65b3f75aabbd16225c36e084529eb2c2c42a68834198b2"
+      },
+      "exported": [
+        {
+          "buffer": "302e302e302e303a2d310a322e302e302e303a3130310a332e302e302e303a3130320a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "302e302e302e303a2d310a322e302e302e303a3130310a332e302e302e303a3130320a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "302e302e302e303a2d310a",
+            "322e302e302e303a3130310a",
+            "332e302e302e303a3130320a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "profile": 2,
+        "save": 1,
+        "text": "2a"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 0
+    },
+    {
+      "after": [
+        4294967295,
+        67305985,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        101
+      ],
+      "before_count": 3,
+      "checksum": 577458280395593209,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 78,
+        "trace_sha256": "059d33d70d4834a1d60cc80aaef5709e177980fed7a2f2c2b37b05b03d290312"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "profile": 3,
+        "save": 0,
+        "text": "312e322e332e34"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 1
+    },
+    {
+      "after": [
+        4294967295,
+        67305985,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        101
+      ],
+      "before_count": 3,
+      "checksum": 577458280395593209,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 81,
+        "trace_sha256": "f8d750c5a00fd4b4ce38137fea9476d847de9dc2673733b435f834243840cb8a"
+      },
+      "exported": [
+        {
+          "buffer": "312e302e302e303a3130300a312e322e332e343a2d310a332e302e302e303a3130320a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "312e302e302e303a3130300a312e322e332e343a2d310a332e302e302e303a3130320a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "312e302e302e303a3130300a",
+            "312e322e332e343a2d310a",
+            "332e302e302e303a3130320a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "profile": 3,
+        "save": 1,
+        "text": "312e322e332e34"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 1
+    },
+    {
+      "after": [
+        4294967295,
+        4294967295,
+        101
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        101
+      ],
+      "before_count": 3,
+      "checksum": 15420461893339168460,
+      "count": 3,
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 80,
+        "trace_sha256": "1dfc460d999df52984c68d4816eff409a285cd7261748ba21fa4295cf766d108"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 0,
+        "profile": 3,
+        "save": 0,
+        "text": "626164"
+      },
+      "parsed": 0,
+      "result": 1,
+      "slot": 1
+    },
+    {
+      "after": [
+        4294967295,
+        4294967295,
+        101
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        101
+      ],
+      "before_count": 3,
+      "checksum": 15420461893339168460,
+      "count": 3,
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 83,
+        "trace_sha256": "631d4d92a379a5f678a1f5b23779eb448face51fecacbc44c5ae0a05564ad777"
+      },
+      "exported": [
+        {
+          "buffer": "312e302e302e303a3130300a332e302e302e303a3130320a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 0,
+              "op": "write",
+              "text": "312e302e302e303a3130300a332e302e302e303a3130320a"
+            },
+            {
+              "handle": 0,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "312e302e302e303a3130300a",
+            "332e302e302e303a3130320a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 0,
+        "profile": 3,
+        "save": 1,
+        "text": "626164"
+      },
+      "parsed": 0,
+      "result": 1,
+      "slot": 1
+    },
+    {
+      "after": [
+        4294967295,
+        4294967295,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        101
+      ],
+      "before_count": 3,
+      "checksum": 7753791190889012745,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 78,
+        "trace_sha256": "059d33d70d4834a1d60cc80aaef5709e177980fed7a2f2c2b37b05b03d290312"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "profile": 3,
+        "save": 0,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 1
+    },
+    {
+      "after": [
+        4294967295,
+        4294967295,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        101
+      ],
+      "before_count": 3,
+      "checksum": 7753791190889012745,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 81,
+        "trace_sha256": "f8d750c5a00fd4b4ce38137fea9476d847de9dc2673733b435f834243840cb8a"
+      },
+      "exported": [
+        {
+          "buffer": "312e302e302e303a3130300a332e302e302e303a3130320a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "312e302e302e303a3130300a332e302e302e303a3130320a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "312e302e302e303a3130300a",
+            "332e302e302e303a3130320a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "profile": 3,
+        "save": 1,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 1
+    },
+    {
+      "after": [
+        0,
+        0,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        101
+      ],
+      "before_count": 3,
+      "checksum": 11277808847814685921,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 78,
+        "trace_sha256": "059d33d70d4834a1d60cc80aaef5709e177980fed7a2f2c2b37b05b03d290312"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "profile": 3,
+        "save": 0,
+        "text": "2a"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 1
+    },
+    {
+      "after": [
+        0,
+        0,
+        4294967295
+      ],
+      "before": [
+        4294967295,
+        4294967295,
+        101
+      ],
+      "before_count": 3,
+      "checksum": 11277808847814685921,
+      "count": 3,
+      "diagnostics": [],
+      "execution": {
+        "stop": 252931,
+        "trace_length": 81,
+        "trace_sha256": "f8d750c5a00fd4b4ce38137fea9476d847de9dc2673733b435f834243840cb8a"
+      },
+      "exported": [
+        {
+          "buffer": "312e302e302e303a3130300a302e302e302e303a2d310a332e302e302e303a3130320a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "312e302e302e303a3130300a302e302e302e303a2d310a332e302e302e303a3130320a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "312e302e302e303a3130300a",
+            "302e302e302e303a2d310a",
+            "332e302e302e303a3130320a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "profile": 3,
+        "save": 1,
+        "text": "2a"
+      },
+      "parsed": 1,
+      "result": 1,
+      "slot": 1
+    }
+  ],
+  "root": 252829,
+  "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

@@ -8718,7 +8718,7 @@
       ],
       "explicit_result_offsets": null,
       "helper": "qvm_trace_support.resume",
-      "line": 35,
+      "line": 38,
       "literal_range": [
         252830,
         252931

scripts/analyze_qvm_filter_insert_export.py

@@ -0,0 +1,18 @@
+"""Original insertion composed with actual export/formatting children."""
+from pathlib import Path
+from itertools import product
+from analyze_qvm import write_json
+from qvm_research_support import source
+from qvm_filter_update_support import seed,insert,snapshot,digest,COUNT
+from qvm_filter_persistence_support import export
+
+def main():
+ q,raw,h,ins=source();probes=[]
+ for profile,text,save in product([0,2,3],[b'1.2.3.4',b'bad',b'255.255.255.255',b'*'],[0,1]):
+  m,b,count,before=seed(raw,h,profile);exported=[];handle=0 if text==b'bad' else 7
+  def persist(i,m,a,bs):
+   m,p,bs=export(i,m,dict(bs),handle);exported.append({k:p[k] for k in ['events','formats','buffer']});return m,0,{'actual_source_child':252500}
+  m,p,b=insert(ins,m,b,text,save,exporter=persist);rows=snapshot(m,len(before));j=p['slot']
+  p.update(input=dict(profile=profile,text=text.hex(),save=save,handle=handle),before_count=count,count=m[COUNT],before=before[j],after=rows[j],checksum=digest(rows),exported=exported);probes.append(p)
+ write_json(Path('docs/research/qvm-filter-insert-export.json'),dict(source=q['source'],sha256=q['sha256'],root=252829,probes=probes,limits='24 composed252829/252304/252500 cases with actual formatter children. Failed parse retains grown count and may export an empty table; holes and mask loss preserved. Native memset/strncpy modeled, console/file operations captured; no live filesystem acceptance claim.'))
+if __name__=='__main__':main()

scripts/qvm_filter_update_support.py

@@ -22,7 +22,7 @@ def seed(raw,h,profile):
   for k,v in enumerate(row):m[TABLE+12*j+4*k]=v
  return m,b,n,rows
 
-def insert(ins,m,b,text,save):
+def insert(ins,m,b,text,save,exporter=None):
  from qvm_map_commands_support import put_string
  put_string(m,b,LEFT,text);diagnostics=[];parsed=None;exports=[]
  def warning(i,m,a,bs):diagnostics.append(dict(op='full') if a[8]==92236 else dict(op='bad-address',text=cstring(m,bs,a[12]).hex()));return m,0,{'diagnostic_captured':True}
@@ -31,7 +31,10 @@ def insert(ins,m,b,text,save):
  def parse(i,m,a,bs):
   nonlocal parsed
   m,v,p,b=run(i,m,252304,252498,172,a,dict(bs),{37159:atoi,2294:warning},base=ROOT+0x1000);parsed=v;return m,v,{'actual_source_child':252304}
- def export(i,m,a,bs):exports.append(252500);return m,0,{'export_callback_captured':True}
+ def export(i,m,a,bs):
+  exports.append(252500)
+  if exporter is not None:return exporter(i,m,a,bs)
+  return m,0,{'export_callback_captured':True}
  m,b=frame_args(m,b,{ROOT+32:LEFT,ROOT+36:save});m,e=resume(ins,252830,252931,m,ROOT,handlers={252304:parse,2294:warning,252500:export},byte_inputs=b,repeated_calls=True,sync_child_words=True,coherent_memory=True,byte_handlers=True,capture_byte_memory=True,segment_limit=4096,limit=262144);return m,dict(execution={k:e[k] for k in ['stop','trace_length','trace_sha256']},result=e['return'],slot=None if e['return']==0 else m[ROOT+16],parsed=parsed,diagnostics=diagnostics,exports=exports),e['byte_memory']
 
 def snapshot(m,n):return [[m[TABLE+12*j+4*k]&0xffffffff for k in range(3)] for j in range(n)]

scripts/test_qvm_filter_insert_export.py

@@ -0,0 +1,18 @@
+import json,unittest
+from pathlib import Path
+from qvm_filter_insert_oracle import policy
+from qvm_filter_update_support import table
+from qvm_filter_persistence_support import export_oracle
+class CompositionTests(unittest.TestCase):
+ def test_original_mutation_and_file_bytes(self):
+  rows=json.loads(Path('docs/research/qvm-filter-insert-export.json').read_text())['probes'];self.assertEqual(len(rows),24)
+  for p in rows:
+   a=p['input'];want=policy(a['profile'],bytes.fromhex(a['text']),a['save'])
+   for k,v in want.items():self.assertEqual(p[k],v)
+   n,r=table(a['profile']);r[want['slot']]=want['after']
+   self.assertEqual(p['exported'],[export_oracle(r[:want['count']],a['handle'])] if a['save'] else [])
+ def test_parse_failure_still_reaches_zero_handle_write(self):
+  rows=json.loads(Path('docs/research/qvm-filter-insert-export.json').read_text())['probes']
+  p=next(p for p in rows if p['input']==dict(profile=0,text=b'bad'.hex(),save=1,handle=0))
+  self.assertEqual(p['count'],1);self.assertEqual(p['parsed'],0);self.assertEqual(p['exported'][0]['events'][2],dict(op='write',handle=0,text=''))
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -3160,3 +3160,7 @@ edge	crates/urt-gameplay/src/bin/urt-filter-policy.rs	scripts/analyze_rust_filte
 edge	docs/research/qvm-filter-metadata.json	scripts/analyze_rust_filter_metadata.py
 group	rust-filter-metadata	scripts/analyze_rust_health_impulse.py
 group	gameplay	scripts/analyze_rust_filter_metadata.py
+report	scripts/analyze_qvm_filter_insert_export.py	docs/research/qvm-filter-insert-export.json
+edge	docs/research/qvm-filter-insert-export.json	scripts/test_qvm_filter_insert_export.py
+group	qvm-filter-insert-export	scripts/analyze_qvm_filter_insert_export.py
+edge	scripts/analyze_qvm_filter_insert_export.py	scripts/analyze_qvm_resumer_audit.py