qvm: compose filter removal with export

docs/FINDINGS.md

@@ -1815,3 +1815,5 @@ RE-939: Rust matches180 original metadata-update cases, retaining the first exac
 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).
 
 RE-941: Rust matches24 source insertion/export compositions, including all table checksums, optional export payloads, sentinel omission, mask loss and zero-handle empty writes after parser failure. The staged API preserves ordinary source mutation semantics and rejects unsupported domains atomically. Unit tests also cover4096-capacity refusal without export and unsupported-token rollback. Native filesystem operations remain plans for a future adapter. [Evidence](research/RUST_FILTER_INSERT_EXPORT.md).
+
+RE-942: Thirty original253296/252304/252500 compositions verify first-match removal, retained row metadata/masks/count, diagnostics and exact survivor export bytes. A sole removed record leaves a nonzero count and therefore causes an empty file write. Duplicate survivors remain serialized in original order. Parse failures and misses never invoke export. Native console/file operations are captured; actual filesystem errors and reload semantics remain open. [Evidence](research/QVM_FILTER_REMOVE_EXPORT.md).

docs/PROVISIONAL_TODO.md

@@ -1861,3 +1861,5 @@ RE-924–933 completed bounded bot settings, announcement, connect-child composi
 - [x] RE-940 Original insertion composed with recovered export ([evidence](research/QVM_FILTER_INSERT_EXPORT.md)).
 
 - [x] RE-941 Rust insertion with recovered export composition ([evidence](research/RUST_FILTER_INSERT_EXPORT.md)).
+
+- [x] RE-942 Original removal composed with export and survivor serialization ([evidence](research/QVM_FILTER_REMOVE_EXPORT.md)).

docs/RESEARCH_LEDGER.md

@@ -2429,3 +2429,7 @@ Twenty-four original252829/252304/252500 compositions verify table checksums plu
 ## 2026-10-28 — RE-941 Rust insertion with recovered export composition
 
 Rust matches24 source insertion/export compositions, including all table checksums, optional export payloads, sentinel omission, mask loss and zero-handle empty writes after parser failure. The staged API preserves ordinary source mutation semantics and rejects unsupported domains atomically. Unit tests also cover4096-capacity refusal without export and unsupported-token rollback. Native filesystem operations remain plans for a future adapter. Focused `cargo xtask test-group rust-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.
+
+## 2026-10-28 — RE-942 Original removal composed with export and survivor serialization
+
+Thirty original253296/252304/252500 compositions verify first-match removal, retained row metadata/masks/count, diagnostics and exact survivor export bytes. A sole removed record leaves a nonzero count and therefore causes an empty file write. Duplicate survivors remain serialized in original order. Parse failures and misses never invoke export. Native console/file operations are captured; actual filesystem errors and reload semantics remain open. Focused `cargo xtask test-group qvm-filter-remove-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

@@ -1898,3 +1898,5 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 - [x] RE-940 Original insertion composed with recovered export ([evidence](research/QVM_FILTER_INSERT_EXPORT.md)).
 
 - [x] RE-941 Rust insertion with recovered export composition ([evidence](research/RUST_FILTER_INSERT_EXPORT.md)).
+
+- [x] RE-942 Original removal composed with export and survivor serialization ([evidence](research/QVM_FILTER_REMOVE_EXPORT.md)).

docs/research/QVM_FILTER_REMOVE_EXPORT.md

@@ -0,0 +1,5 @@
+# Original removal composed with export and survivor serialization
+
+RE-942. Focused validation: `cargo xtask test-group qvm-filter-remove-export`. [Machine report](qvm-filter-remove-export.json).
+
+Thirty original253296/252304/252500 compositions verify first-match removal, retained row metadata/masks/count, diagnostics and exact survivor export bytes. A sole removed record leaves a nonzero count and therefore causes an empty file write. Duplicate survivors remain serialized in original order. Parse failures and misses never invoke export. Native console/file operations are captured; actual filesystem errors and reload semantics remain open.

docs/research/README.md

@@ -1433,3 +1433,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-940: Original insertion composed with recovered export](QVM_FILTER_INSERT_EXPORT.md).
 
 - [RE-941: Rust insertion with recovered export composition](RUST_FILTER_INSERT_EXPORT.md).
+
+- [RE-942: Original removal composed with export and survivor serialization](QVM_FILTER_REMOVE_EXPORT.md).

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

@@ -0,0 +1,1485 @@
+{
+  "limits": "Exact mask/comparison first-match scan; parser and integer children source-executed; native diagnostics and file IO captured. Native table provenance, malformed counts and unsafe parser tokens remain open.",
+  "probes": [
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "312e322e332e34"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 33,
+        "trace_sha256": "5ec8276dcccff21f5d6d00c323d9518cd97a77ce7f2b3f3be8806459107d9440"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [],
+        "save": 0,
+        "text": "312e322e332e34"
+      },
+      "result": 0,
+      "rows": []
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "312e2a"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 33,
+        "trace_sha256": "5ec8276dcccff21f5d6d00c323d9518cd97a77ce7f2b3f3be8806459107d9440"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [],
+        "save": 0,
+        "text": "312e2a"
+      },
+      "result": 0,
+      "rows": []
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "2a"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 33,
+        "trace_sha256": "5ec8276dcccff21f5d6d00c323d9518cd97a77ce7f2b3f3be8806459107d9440"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [],
+        "save": 0,
+        "text": "2a"
+      },
+      "result": 0,
+      "rows": []
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 253312,
+        "trace_length": 15,
+        "trace_sha256": "4585d0dfd3ae6b60d316cb4ced7466e028bdcb045d0b352ee1ca2df5b244248d"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [],
+        "save": 0,
+        "text": "626164"
+      },
+      "result": 0,
+      "rows": []
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "3235352e3235352e3235352e323535"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 33,
+        "trace_sha256": "5ec8276dcccff21f5d6d00c323d9518cd97a77ce7f2b3f3be8806459107d9440"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [],
+        "save": 0,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "result": 0,
+      "rows": []
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": ""
+        }
+      ],
+      "execution": {
+        "stop": 253312,
+        "trace_length": 15,
+        "trace_sha256": "4585d0dfd3ae6b60d316cb4ced7466e028bdcb045d0b352ee1ca2df5b244248d"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [],
+        "save": 0,
+        "text": "312e"
+      },
+      "result": 0,
+      "rows": []
+    },
+    {
+      "changes": [
+        {
+          "address": 36275956,
+          "after": 4294967295,
+          "before": 67305985
+        },
+        {
+          "address": 36325104,
+          "after": 0,
+          "before": 1818326131
+        }
+      ],
+      "diagnostics": [
+        {
+          "op": "removed"
+        }
+      ],
+      "execution": {
+        "stop": 253357,
+        "trace_length": 61,
+        "trace_sha256": "13bb7eef03b8846c0562a52d8787005ca3203dac9f6f7b3101c3c1793f26cf2a"
+      },
+      "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,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "312e322e332e34"
+      },
+      "result": 1,
+      "rows": [
+        [
+          4294967295,
+          4294967295,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "312e2a"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 54,
+        "trace_sha256": "82f219011dc1abe34f7c418409b4244671e550ca81c167d9d980eff5505b6fec"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "312e2a"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          67305985,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "2a"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 54,
+        "trace_sha256": "82f219011dc1abe34f7c418409b4244671e550ca81c167d9d980eff5505b6fec"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "2a"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          67305985,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 253312,
+        "trace_length": 15,
+        "trace_sha256": "4585d0dfd3ae6b60d316cb4ced7466e028bdcb045d0b352ee1ca2df5b244248d"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "626164"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          67305985,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "3235352e3235352e3235352e323535"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 64,
+        "trace_sha256": "88991c252b4388f362068ac8572f716844cf836f4acb6d9340a3759fe548a2cd"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          67305985,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": ""
+        }
+      ],
+      "execution": {
+        "stop": 253312,
+        "trace_length": 15,
+        "trace_sha256": "4585d0dfd3ae6b60d316cb4ced7466e028bdcb045d0b352ee1ca2df5b244248d"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "312e"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          67305985,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [
+        {
+          "address": 36275956,
+          "after": 4294967295,
+          "before": 67305985
+        },
+        {
+          "address": 36325104,
+          "after": 775040561,
+          "before": 1818326131
+        }
+      ],
+      "diagnostics": [
+        {
+          "op": "removed"
+        }
+      ],
+      "execution": {
+        "stop": 253357,
+        "trace_length": 61,
+        "trace_sha256": "13bb7eef03b8846c0562a52d8787005ca3203dac9f6f7b3101c3c1793f26cf2a"
+      },
+      "exported": [
+        {
+          "buffer": "312e322e332e343a31300a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "312e322e332e343a31300a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "312e322e332e343a31300a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ],
+        "save": 0,
+        "text": "312e322e332e34"
+      },
+      "result": 1,
+      "rows": [
+        [
+          4294967295,
+          4294967295,
+          9
+        ],
+        [
+          4294967295,
+          67305985,
+          10
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "312e2a"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 75,
+        "trace_sha256": "4e6411971d70aff944003db02e357c7fd06a78d4f72d7034e48ab813bb66f9cd"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ],
+        "save": 0,
+        "text": "312e2a"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          67305985,
+          9
+        ],
+        [
+          4294967295,
+          67305985,
+          10
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "2a"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 75,
+        "trace_sha256": "4e6411971d70aff944003db02e357c7fd06a78d4f72d7034e48ab813bb66f9cd"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ],
+        "save": 0,
+        "text": "2a"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          67305985,
+          9
+        ],
+        [
+          4294967295,
+          67305985,
+          10
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 253312,
+        "trace_length": 15,
+        "trace_sha256": "4585d0dfd3ae6b60d316cb4ced7466e028bdcb045d0b352ee1ca2df5b244248d"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ],
+        "save": 0,
+        "text": "626164"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          67305985,
+          9
+        ],
+        [
+          4294967295,
+          67305985,
+          10
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "3235352e3235352e3235352e323535"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 95,
+        "trace_sha256": "74cc14c3b65f772fa1038a1ed3455229ea70d274bc68d3906d266781caed17fb"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ],
+        "save": 0,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          67305985,
+          9
+        ],
+        [
+          4294967295,
+          67305985,
+          10
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": ""
+        }
+      ],
+      "execution": {
+        "stop": 253312,
+        "trace_length": 15,
+        "trace_sha256": "4585d0dfd3ae6b60d316cb4ced7466e028bdcb045d0b352ee1ca2df5b244248d"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ],
+        "save": 0,
+        "text": "312e"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          67305985,
+          9
+        ],
+        [
+          4294967295,
+          67305985,
+          10
+        ]
+      ]
+    },
+    {
+      "changes": [
+        {
+          "address": 36275968,
+          "after": 4294967295,
+          "before": 67305985
+        },
+        {
+          "address": 36325104,
+          "after": 774909489,
+          "before": 1818326131
+        }
+      ],
+      "diagnostics": [
+        {
+          "op": "removed"
+        }
+      ],
+      "execution": {
+        "stop": 253357,
+        "trace_length": 82,
+        "trace_sha256": "278e0610787c5a587cf4b4a08938b6243b582bae75f6a77575114e74b31ac52e"
+      },
+      "exported": [
+        {
+          "buffer": "312e302e302e303a31310a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "312e302e302e303a31310a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "312e302e302e303a31310a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "312e322e332e34"
+      },
+      "result": 1,
+      "rows": [
+        [
+          255,
+          1,
+          11
+        ],
+        [
+          4294967295,
+          4294967295,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [
+        {
+          "address": 36275956,
+          "after": 4294967295,
+          "before": 1
+        },
+        {
+          "address": 36325104,
+          "after": 775040561,
+          "before": 1818326131
+        }
+      ],
+      "diagnostics": [
+        {
+          "op": "removed"
+        }
+      ],
+      "execution": {
+        "stop": 253357,
+        "trace_length": 61,
+        "trace_sha256": "13bb7eef03b8846c0562a52d8787005ca3203dac9f6f7b3101c3c1793f26cf2a"
+      },
+      "exported": [
+        {
+          "buffer": "312e322e332e343a390a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "312e322e332e343a390a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "312e322e332e343a390a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "312e2a"
+      },
+      "result": 1,
+      "rows": [
+        [
+          255,
+          4294967295,
+          11
+        ],
+        [
+          4294967295,
+          67305985,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "2a"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 75,
+        "trace_sha256": "4e6411971d70aff944003db02e357c7fd06a78d4f72d7034e48ab813bb66f9cd"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "2a"
+      },
+      "result": 0,
+      "rows": [
+        [
+          255,
+          1,
+          11
+        ],
+        [
+          4294967295,
+          67305985,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 253312,
+        "trace_length": 15,
+        "trace_sha256": "4585d0dfd3ae6b60d316cb4ced7466e028bdcb045d0b352ee1ca2df5b244248d"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "626164"
+      },
+      "result": 0,
+      "rows": [
+        [
+          255,
+          1,
+          11
+        ],
+        [
+          4294967295,
+          67305985,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "3235352e3235352e3235352e323535"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 85,
+        "trace_sha256": "c33d637d615d95807baf47d84327e0b5b96018069bdf3367a43bb00400674e8c"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "result": 0,
+      "rows": [
+        [
+          255,
+          1,
+          11
+        ],
+        [
+          4294967295,
+          67305985,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": ""
+        }
+      ],
+      "execution": {
+        "stop": 253312,
+        "trace_length": 15,
+        "trace_sha256": "4585d0dfd3ae6b60d316cb4ced7466e028bdcb045d0b352ee1ca2df5b244248d"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ],
+        "save": 0,
+        "text": "312e"
+      },
+      "result": 0,
+      "rows": [
+        [
+          255,
+          1,
+          11
+        ],
+        [
+          4294967295,
+          67305985,
+          9
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "312e322e332e34"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 85,
+        "trace_sha256": "b948e5ab076a4902eb8a061d6f4d419cd8496d65cbff8c254d8d5306a7cbde12"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ],
+        "save": 0,
+        "text": "312e322e332e34"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          4294967295,
+          12
+        ],
+        [
+          0,
+          0,
+          13
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "not-found",
+          "text": "312e2a"
+        }
+      ],
+      "execution": {
+        "stop": 253380,
+        "trace_length": 75,
+        "trace_sha256": "4e6411971d70aff944003db02e357c7fd06a78d4f72d7034e48ab813bb66f9cd"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ],
+        "save": 0,
+        "text": "312e2a"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          4294967295,
+          12
+        ],
+        [
+          0,
+          0,
+          13
+        ]
+      ]
+    },
+    {
+      "changes": [
+        {
+          "address": 36275968,
+          "after": 4294967295,
+          "before": 0
+        },
+        {
+          "address": 36325104,
+          "after": 0,
+          "before": 1818326131
+        }
+      ],
+      "diagnostics": [
+        {
+          "op": "removed"
+        }
+      ],
+      "execution": {
+        "stop": 253357,
+        "trace_length": 82,
+        "trace_sha256": "278e0610787c5a587cf4b4a08938b6243b582bae75f6a77575114e74b31ac52e"
+      },
+      "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,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ],
+        "save": 0,
+        "text": "2a"
+      },
+      "result": 1,
+      "rows": [
+        [
+          4294967295,
+          4294967295,
+          12
+        ],
+        [
+          0,
+          4294967295,
+          13
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": "626164"
+        }
+      ],
+      "execution": {
+        "stop": 253312,
+        "trace_length": 15,
+        "trace_sha256": "4585d0dfd3ae6b60d316cb4ced7466e028bdcb045d0b352ee1ca2df5b244248d"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ],
+        "save": 0,
+        "text": "626164"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          4294967295,
+          12
+        ],
+        [
+          0,
+          0,
+          13
+        ]
+      ]
+    },
+    {
+      "changes": [
+        {
+          "address": 36325104,
+          "after": 774909488,
+          "before": 1818326131
+        }
+      ],
+      "diagnostics": [
+        {
+          "op": "removed"
+        }
+      ],
+      "execution": {
+        "stop": 253357,
+        "trace_length": 61,
+        "trace_sha256": "13bb7eef03b8846c0562a52d8787005ca3203dac9f6f7b3101c3c1793f26cf2a"
+      },
+      "exported": [
+        {
+          "buffer": "302e302e302e303a31330a",
+          "events": [
+            {
+              "op": "print",
+              "text": "57726974696e673a2062616e6c6973742e7478740a"
+            },
+            {
+              "mode": 1,
+              "op": "open",
+              "path": "62616e6c6973742e747874"
+            },
+            {
+              "handle": 7,
+              "op": "write",
+              "text": "302e302e302e303a31330a"
+            },
+            {
+              "handle": 7,
+              "op": "close"
+            }
+          ],
+          "formats": [
+            "302e302e302e303a31330a"
+          ]
+        }
+      ],
+      "exports": [
+        252500
+      ],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ],
+        "save": 0,
+        "text": "3235352e3235352e3235352e323535"
+      },
+      "result": 1,
+      "rows": [
+        [
+          4294967295,
+          4294967295,
+          12
+        ],
+        [
+          0,
+          0,
+          13
+        ]
+      ]
+    },
+    {
+      "changes": [],
+      "diagnostics": [
+        {
+          "op": "bad-address",
+          "text": ""
+        }
+      ],
+      "execution": {
+        "stop": 253312,
+        "trace_length": 15,
+        "trace_sha256": "4585d0dfd3ae6b60d316cb4ced7466e028bdcb045d0b352ee1ca2df5b244248d"
+      },
+      "exported": [],
+      "exports": [],
+      "input": {
+        "handle": 7,
+        "metadata": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ],
+        "save": 0,
+        "text": "312e"
+      },
+      "result": 0,
+      "rows": [
+        [
+          4294967295,
+          4294967295,
+          12
+        ],
+        [
+          0,
+          0,
+          13
+        ]
+      ]
+    }
+  ],
+  "root": 253296,
+  "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+  "source": {
+    "archive": "zUrT43_qvm.pk3",
+    "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
+    "member": {
+      "bytes": 983300,
+      "comment_hex": "",
+      "compressed_bytes": 246560,
+      "compression": 8,
+      "crc32": "98ea1768",
+      "create_system": 0,
+      "create_version": 63,
+      "date_time": [
+        2018,
+        6,
+        18,
+        22,
+        11,
+        50
+      ],
+      "directory": false,
+      "entry_index": 2,
+      "external_attr": 32,
+      "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
+      "extract_version": 20,
+      "flags": 0,
+      "header_offset": 221309,
+      "internal_attr": 0,
+      "occurrence": 0,
+      "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
+      "path": "vm/qagame.qvm",
+      "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+      "type": "member",
+      "volume": 0
+    }
+  }
+}

scripts/analyze_qvm_filter_remove_export.py

@@ -0,0 +1,13 @@
+"""Execute recovered filter mutation and its explicit child boundaries."""
+from pathlib import Path
+from analyze_qvm import write_json
+from qvm_research_support import source
+from qvm_filter_persistence_support import environment,mutate,mutation_fixtures
+from qvm_filter_update_support import snapshot
+
+def main():
+ q,raw,h,ins=source();probes=[]
+ for a in mutation_fixtures('remove'):
+  m,b=environment(raw,h,a['rows']);m,p,b=mutate(ins,m,b,bytes.fromhex(a['text']),'remove',a['metadata'],a['save'],True,a['handle']);p.update(input=a,rows=snapshot(m,len(a['rows'])));probes.append(p)
+ write_json(Path('docs/research/qvm-filter-remove-export.json'),dict(source=q['source'],sha256=q['sha256'],root=253296,probes=probes,limits='Exact mask/comparison first-match scan; parser and integer children source-executed; native diagnostics and file IO captured. Native table provenance, malformed counts and unsafe parser tokens remain open.'))
+if __name__=='__main__':main()

scripts/test_qvm_filter_remove_export.py

@@ -0,0 +1,13 @@
+import json,unittest
+from pathlib import Path
+from qvm_filter_persistence_support import mutation_oracle
+class MutationTests(unittest.TestCase):
+ def test_source_mutation_and_effects(self):
+  rows=json.loads(Path('docs/research/qvm-filter-remove-export.json').read_text())['probes'];self.assertEqual(len(rows),30)
+  for p in rows:
+   for k,v in mutation_oracle(p['input'],'remove',True).items():self.assertEqual(p[k],v)
+ def test_duplicates_and_hole_sentinel(self):
+  a=dict(rows=[[0xffffffff,0x04030201,9],[0xffffffff,0x04030201,10]],text=b'1.2.3.4'.hex(),metadata=42,save=1,handle=7)
+  p=mutation_oracle(a,'remove',True);self.assertEqual(p['rows'][1],a['rows'][1]);self.assertEqual(p['result'],1)
+  a.update(rows=[[0xffffffff,0xffffffff,9]],text=b'255.255.255.255'.hex());self.assertEqual(mutation_oracle(a,'remove',True)['result'],1)
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -3179,3 +3179,7 @@ edge	docs/research/qvm-filter-insert-export.json	scripts/analyze_rust_filter_ins
 group	rust-filter-insert-export	scripts/analyze_rust_health_impulse.py
 group	gameplay	scripts/analyze_rust_filter_insert_export.py
 edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_filter_insert_export.py
+report	scripts/analyze_qvm_filter_remove_export.py	docs/research/qvm-filter-remove-export.json
+edge	docs/research/qvm-filter-remove-export.json	scripts/test_qvm_filter_remove_export.py
+group	qvm-filter-remove-export	scripts/analyze_qvm_filter_remove_export.py
+edge	scripts/analyze_qvm_filter_remove_export.py	scripts/analyze_qvm_resumer_audit.py