gameplay: compose filter removal and file effects

crates/urt-gameplay/src/bin/urt-filter-policy.rs

@@ -4,21 +4,38 @@ fn hex(s: &[u8]) -> String {
     s.iter().map(|v| format!("{v:02x}")).collect()
 }
 fn export_json(p: Option<FilterExport>) -> String {
-    match p {
-        None => "{\"events\":[],\"formats\":[],\"buffer\":\"7374616c65\"}".into(),
-        Some(p) => format!(
-            "{{\"events\":[{{\"op\":\"print\",\"text\":\"57726974696e673a2062616e6c6973742e7478740a\"}},{{\"op\":\"open\",\"path\":\"62616e6c6973742e747874\",\"mode\":1}},{{\"op\":\"write\",\"handle\":{},\"text\":\"{}\"}},{{\"op\":\"close\",\"handle\":{}}}],\"formats\":[{}],\"buffer\":\"{}\"}}",
-            p.handle,
-            hex(&p.text),
-            p.handle,
-            p.lines
-                .iter()
-                .map(|l| format!("\"{}\"", hex(l)))
-                .collect::<Vec<_>>()
-                .join(","),
-            hex(&p.text)
-        ),
-    }
+    let Some(p) = p else {
+        return "{\"events\":[],\"formats\":[],\"buffer\":\"7374616c65\"}".into();
+    };
+    let events = p
+        .effects()
+        .iter()
+        .map(|e| match e {
+            FilterFileEffect::Print(t) => format!(r#"{{"op":"print","text":"{}"}}"#, hex(t)),
+            FilterFileEffect::Open { path, mode } => {
+                format!(r#"{{"op":"open","path":"{}","mode":{}}}"#, hex(path), mode)
+            }
+            FilterFileEffect::Write { handle, bytes } => format!(
+                r#"{{"op":"write","handle":{},"text":"{}"}}"#,
+                handle,
+                hex(bytes)
+            ),
+            FilterFileEffect::Close(handle) => format!(r#"{{"op":"close","handle":{}}}"#, handle),
+        })
+        .collect::<Vec<_>>()
+        .join(",");
+    let lines = p
+        .lines
+        .iter()
+        .map(|l| format!("\"{}\"", hex(l)))
+        .collect::<Vec<_>>()
+        .join(",");
+    format!(
+        r#"{{"events":[{}],"formats":[{}],"buffer":"{}"}}"#,
+        events,
+        lines,
+        hex(&p.text)
+    )
 }
 fn rows(w: &[u32]) -> Vec<FilterRecord> {
     w.chunks_exact(3)
@@ -84,6 +101,11 @@ fn main() {
     assert_eq!(w.len(), 5 + l + 3 * n);
     let mut records = rows(&w[5 + l..]);
     match kind.as_str() {
+        "remove-export" => {
+            let p = remove_filter_export(&mut records, &text, w[3]).unwrap();
+            let exported = p.export.map(|p| export_json(Some(p))).into_iter().collect();
+            println!("{}", mutation_json(p.mutation, &records, exported));
+        }
         "metadata" => {
             let p = update_filter_metadata(&mut records, &text, w[1], w[2] as i32).unwrap();
             println!("{}", mutation_json(p, &records, vec![]));

crates/urt-gameplay/src/filter_lifecycle.rs

@@ -290,3 +290,119 @@ mod insertion_export_tests {
         assert_eq!(rows, vec![row; 4096]);
     }
 }
+
+/// Ordered native-boundary effects of original252500. The open reply is supplied
+/// when constructing the plan; write/close deliberately retain that raw handle.
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub enum FilterFileEffect {
+    Print(Vec<u8>),
+    Open { path: &'static [u8], mode: i32 },
+    Write { handle: u32, bytes: Vec<u8> },
+    Close(u32),
+}
+impl FilterExport {
+    pub fn effects(&self) -> [FilterFileEffect; 4] {
+        [
+            FilterFileEffect::Print(b"Writing: banlist.txt\n".to_vec()),
+            FilterFileEffect::Open {
+                path: b"banlist.txt",
+                mode: 1,
+            },
+            FilterFileEffect::Write {
+                handle: self.handle,
+                bytes: self.text.clone(),
+            },
+            FilterFileEffect::Close(self.handle),
+        ]
+    }
+}
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct PersistedMutation {
+    pub mutation: FilterMutation,
+    pub export: Option<FilterExport>,
+}
+/// Compose253296 with252500. Failed lookup/parse skips export; successful
+/// first-match removal retains count and exports all surviving comparison words.
+pub fn remove_filter_export(
+    records: &mut [FilterRecord],
+    text: &[u8],
+    handle: u32,
+) -> Result<PersistedMutation, Error> {
+    let mut staged = records.to_vec();
+    let mutation = remove_filter(&mut staged, text)?;
+    let export = if mutation.export {
+        export_filters(&staged, handle)?
+    } else {
+        None
+    };
+    records.copy_from_slice(&staged);
+    Ok(PersistedMutation { mutation, export })
+}
+#[cfg(test)]
+mod removal_export_tests {
+    use super::*;
+    #[test]
+    fn sole_removal_still_prints_opens_writes_and_closes_zero_handle() {
+        let mut rows = [FilterRecord {
+            mask: u32::MAX,
+            comparison: 0x04030201,
+            metadata: 9,
+        }];
+        let p = remove_filter_export(&mut rows, b"1.2.3.4", 0).unwrap();
+        assert!(p.mutation.result);
+        let export = p.export.unwrap();
+        assert_eq!(export.text, b"");
+        assert_eq!(
+            export.effects(),
+            [
+                FilterFileEffect::Print(b"Writing: banlist.txt\n".to_vec()),
+                FilterFileEffect::Open {
+                    path: b"banlist.txt",
+                    mode: 1
+                },
+                FilterFileEffect::Write {
+                    handle: 0,
+                    bytes: vec![]
+                },
+                FilterFileEffect::Close(0)
+            ]
+        );
+    }
+    #[test]
+    fn duplicate_survivor_is_exported_with_its_own_metadata() {
+        let row = FilterRecord {
+            mask: u32::MAX,
+            comparison: 0x04030201,
+            metadata: 9,
+        };
+        let mut rows = [
+            row,
+            FilterRecord {
+                metadata: 10,
+                ..row
+            },
+        ];
+        let p = remove_filter_export(&mut rows, b"1.2.3.4", u32::MAX).unwrap();
+        assert_eq!(p.export.unwrap().text, b"1.2.3.4:10\n");
+        assert_eq!(rows[0].metadata, 9);
+        assert_eq!(rows.len(), 2);
+    }
+    #[test]
+    fn misses_skip_io_and_unsupported_domains_are_atomic() {
+        let row = FilterRecord {
+            mask: u32::MAX,
+            comparison: 0x04030201,
+            metadata: 9,
+        };
+        let mut rows = [row];
+        assert!(
+            remove_filter_export(&mut rows, b"2.3.4.5", 7)
+                .unwrap()
+                .export
+                .is_none()
+        );
+        assert_eq!(rows, [row]);
+        assert!(remove_filter_export(&mut rows, &[b'1'; 128], 7).is_err());
+        assert_eq!(rows, [row]);
+    }
+}

docs/FINDINGS.md

@@ -1817,3 +1817,5 @@ RE-940: Twenty-four original252829/252304/252500 compositions verify table check
 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).
+
+RE-943: Rust matches30 original removal/export compositions, retaining first-match mutation, duplicate survivor order, unchanged count and metadata, diagnostics, sentinel omission and empty writes after sole removal. A typed four-effect sequence exposes print/open/write/close in source order and retains raw supplied handles. Unit tests cover zero handles, duplicate survivor bytes, misses without IO and atomic unsupported-domain rejection. Native execution, reload and time/expiry semantics remain open. [Evidence](research/RUST_FILTER_REMOVE_EXPORT.md).

docs/PROVISIONAL_TODO.md

@@ -1844,7 +1844,7 @@ RE-932: 132 actual252829/252304/37159 cases recover first-hole reuse, append/cou
 RE-933: Rust matches132 original252829/252304 table cases including4096-capacity scans, first-hole reuse, wildcard/numeric masks and comparison-1 sentinel behavior. Parser failure retains count growth and requests optional export, matching the source. Typed malformed counts/token-overflow domains reject atomically. Export body252500, live table writers and native network acceptance remain open. Full runtime completion remains open. [Evidence](research/RUST_FILTER_INSERT.md).
 
 
-RE-924–933 completed bounded bot settings, announcement, connect-child composition and filter insertion contracts. RE-934 tracks bot setup/userinfo/filter export, native resource/network acceptance and complete runtime integration. [Batch and next work](research/QVM_BOT_ANNOUNCEMENT_FILTER_BATCH.md).
+RE-924–933 completed bounded bot settings, announcement, connect-child composition and filter insertion contracts. The following batch recovers filter persistence; bot setup/userinfo, native resource/network acceptance and complete runtime integration remain open. [Batch and next work](research/QVM_BOT_ANNOUNCEMENT_FILTER_BATCH.md).
 
 - [x] RE-934 Original filter export and native file-operation order ([evidence](research/QVM_FILTER_EXPORT.md)).
 
@@ -1863,3 +1863,7 @@ RE-924–933 completed bounded bot settings, announcement, connect-child composi
 - [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)).
+
+- [x] RE-943 Rust removal with survivor export and typed file effects ([evidence](research/RUST_FILTER_REMOVE_EXPORT.md)).
+
+RE-934–943 completed bounded filter export/removal/metadata and insertion/removal persistence compositions. RE-944 tracks loading/time/command callers, live adapters and runtime integration. [Batch and next work](research/QVM_FILTER_PERSISTENCE_BATCH.md).

docs/RESEARCH_LEDGER.md

@@ -2433,3 +2433,9 @@ Rust matches24 source insertion/export compositions, including all table checksu
 ## 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.
+
+## 2026-10-28 — RE-943 Rust removal with survivor export and typed file effects
+
+Rust matches30 original removal/export compositions, retaining first-match mutation, duplicate survivor order, unchanged count and metadata, diagnostics, sentinel omission and empty writes after sole removal. A typed four-effect sequence exposes print/open/write/close in source order and retains raw supplied handles. Unit tests cover zero handles, duplicate survivor bytes, misses without IO and atomic unsupported-domain rejection. Native execution, reload and time/expiry semantics remain open. Focused `cargo xtask test-group rust-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.
+
+Batch RE-934–943 boundary: the single `cargo xtask test-full --since 7bb397d4` run after commit ten passed with the flake-declared Nix Python: 1,818 Python tests, 236 Rust tests (assets10, gameplay196, xtask30), 92 deterministic report producers, storage policy, 513 documentation files and whitespace guards. No generated report drift. The focused dependency-selection regression also passed after adding the shared module/adapter edges for gameplay test-count metadata. Validation notes were amended into task ten; original assets unchanged. See [batch findings and next work](research/QVM_FILTER_PERSISTENCE_BATCH.md).

docs/REVERSE_ENGINEERING_TODO.md

@@ -1881,7 +1881,7 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 - [x] RE-933 Rust filter insertion and non-rollback semantics ([evidence](research/RUST_FILTER_INSERT.md)).
 
 
-- [ ] RE-934 Recover bot setup/userinfo/filter-export internals, native resource/network acceptance and remaining runtime integration ([next work](research/QVM_BOT_ANNOUNCEMENT_FILTER_BATCH.md)).
+RE-934–943 continue the prior batch with filter export/removal/metadata and composed persistence. Bot setup/userinfo and native acceptance remain open.
 
 - [x] RE-934 Original filter export and native file-operation order ([evidence](research/QVM_FILTER_EXPORT.md)).
 
@@ -1900,3 +1900,7 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 - [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)).
+
+- [x] RE-943 Rust removal with survivor export and typed file effects ([evidence](research/RUST_FILTER_REMOVE_EXPORT.md)).
+
+- [ ] RE-944 Recover filter loading/time/commands, live file/network adapters, bot setup/userinfo and remaining Rust/Bevy/Solari integration ([next work](research/QVM_FILTER_PERSISTENCE_BATCH.md)).

docs/TESTING.md

@@ -175,3 +175,5 @@ RE-914–923 adds `qvm-byte-compare`, `rust-byte-compare`, `qvm-address-filter`,
 
 
 RE-924–933 adds `qvm-bot-settings`, `rust-bot-settings`, `qvm-team-announcement`, `rust-team-announcement`, `qvm-resolved-connect-tail`, `rust-resolved-connect-tail`, `qvm-resolved-connect-complete`, `rust-resolved-connect-complete`, `qvm-filter-insert` and `rust-filter-insert`. Use one group per invocation. Full validation after task ten uses `cargo xtask test-full --since bc3e7621` with explicit flake-declared Nix PYTHON. [Callback/filter evidence](research/QVM_BOT_ANNOUNCEMENT_FILTER_BATCH.md).
+
+Filter persistence focused groups: `qvm-filter-export`, `rust-filter-export`, `qvm-filter-remove`, `rust-filter-remove`, `qvm-filter-metadata`, `rust-filter-metadata`, `qvm-filter-insert-export`, `rust-filter-insert-export`, `qvm-filter-remove-export` and `rust-filter-remove-export`. The shared Rust filter lifecycle module and adapter select all affected parity reports and scoped gameplay test metadata; formatter edits also select these consumers. Run one group per invocation. Native file effects are captured plans in these checks.

docs/research/QVM_BOT_ANNOUNCEMENT_FILTER_BATCH.md

@@ -39,7 +39,7 @@ Dependency-selection regression coverage includes all five new source/Rust repor
 
 After task ten, the single `cargo xtask test-full --since bc3e7621` run passed: 1,798 Python tests, 225 Rust tests (assets 10, gameplay 185, xtask 30), 42 deterministic report producers, storage policy, documentation links across 502 files and whitespace guards. Report regeneration left no drift. These validation notes are amended into task ten, preserving ten task commits for the batch.
 
-## Next work: RE-934
+## Historical next work after RE-933
 
 - [ ] Recover125185 bot setup internals and native botlib resource/failure ownership, then compose them with161744 and whole connect.
 - [ ] Recover171668 userinfo parsing/sanitization/state mutation and all related callbacks; compose actual5864 ranking/publication and native network effects.
@@ -49,3 +49,5 @@ After task ten, the single `cargo xtask test-full --since bc3e7621` run passed:
 - [ ] Compose series6939/readiness, native commands, bot rotation/genetics and221662 map-list parsing.
 - [ ] Replace supplied spatial-query answers with native broadphase/world collision, and complete respawn/intermission/event/scoreboard integration.
 - [ ] Validate actual Linux/macOS Rust/Bevy/Solari gameplay/rendering. Full-game completion remains open.
+
+Filter persistence follow-up: [RE-934–943 findings and current next work](QVM_FILTER_PERSISTENCE_BATCH.md).

docs/research/QVM_FILTER_PERSISTENCE_BATCH.md

@@ -0,0 +1,39 @@
+# Filter persistence and mutation: RE-934–943
+
+Ten tasks recover three original QVM routines, port each to Rust, then compose export with insertion and removal. The five source/Rust pairs cover **282 paired fixtures**. Every task has its own commit and focused `cargo xtask` validation. Native file operations remain captured effects; this evidence does not establish live filesystem, network or full-game acceptance.
+
+| Tasks | Recovered contract | Paired fixtures |
+| --- | --- | ---: |
+| RE-934 / RE-935 | [Original export](QVM_FILTER_EXPORT.md) / [Rust export](RUST_FILTER_EXPORT.md) | 18 |
+| RE-936 / RE-937 | [Original removal](QVM_FILTER_REMOVE.md) / [Rust removal](RUST_FILTER_REMOVE.md) | 30 |
+| RE-938 / RE-939 | [Original metadata update](QVM_FILTER_METADATA.md) / [Rust metadata update](RUST_FILTER_METADATA.md) | 180 |
+| RE-940 / RE-941 | [Original insertion/export](QVM_FILTER_INSERT_EXPORT.md) / [Rust insertion/export](RUST_FILTER_INSERT_EXPORT.md) | 24 |
+| RE-942 / RE-943 | [Original removal/export](QVM_FILTER_REMOVE_EXPORT.md) / [Rust removal/export](RUST_FILTER_REMOVE_EXPORT.md) | 30 |
+
+## Recovered behavior
+
+Actual252500 performs no file operations when the table count is zero. For a nonempty table it clears a 131072-byte buffer, visits rows in order, skips comparison words equal to -1, and formats each survivor as address bytes followed by signed metadata and LF. It ignores masks. It then prints the writing message, opens `banlist.txt` in mode1, writes the accumulated bytes and closes the supplied handle. A nonempty table containing only holes still opens and writes an empty file. Zero and negative handle replies are used without an intervening success check.
+
+The source harness executes actual70386,37914 and69338 for formatting and bounded copies, including the original formatter's unusual wrapping-negation output for INT_MIN. Native memset/strncpy are explicitly modeled. Native console/open/write/close operations are captured. Rust reuses the recovered decimal formatter and exposes a typed sequence of file effects for a future adapter. For valid counts through4096, each line is at most28 bytes, so the complete payload fits below131072 bytes. The Rust test covers the maximum row count and rejects4097; malformed original counts and arbitrary pointer provenance remain outside the verified contract.
+
+Actual253296 parses through252304/37159 and matches the exact mask/comparison pair. It removes only the first duplicate by setting its comparison to-1, retains mask/metadata/count, prints a removal diagnostic and exports. Missing pairs and invalid parses return0 without export. The broadcast comparison equals the hole sentinel, so a hole can match `255.255.255.255` and report successful removal again.
+
+Actual252127 performs the same exact first-match scan, writes only the metadata word, and requests export only after a successful match with nonzero saving enabled. Metadata remains a raw word in the port; this routine alone does not establish time or expiry semantics. It can update metadata on a matching hole without activating it.
+
+The compositions execute recovered export from the actual insertion/removal callbacks. They preserve table checksums, first-match ordering and native effect records. Insertion parse failure can retain count growth and still export an empty table. Sole-record removal also exports an empty table because it retains the nonzero count. Duplicate survivors keep their own metadata and original order. Serialized output loses wildcard masks; reload behavior needs to be recovered before assuming a faithful round trip.
+
+## Validation
+
+Each task ran its own `cargo xtask test-group` before its commit: qvm/rust-filter-export, qvm/rust-filter-remove, qvm/rust-filter-metadata, qvm/rust-filter-insert-export and qvm/rust-filter-remove-export. Each selected report regenerated twice identically. Original-source checks use independent parsing/mutation/serialization expectations; Rust reports compare every projected field with its original fixture. Rust unit tests also cover4096-row bounds, duplicate preservation, ordinary parse-failure mutation, invalid handles, ordered file effects, misses without IO and atomic rejection of unsupported token domains.
+
+The dependency registry maps both the new Rust module/adapter and formatter dependencies to the affected reports. Its focused regression includes all five source/Rust pairs. All Python processes use the flake-declared Nix runtime, including Git hooks. Original assets are unchanged. The single `cargo xtask test-full --since 7bb397d4` run after task ten passed: **1,818 Python tests**, **236 Rust tests** (assets10, gameplay196, xtask30), **92 deterministic report producers**, storage policy, links across **513 documentation files** and whitespace guards. Regeneration left no changes. Validation notes are amended into task ten, preserving ten commits for the batch.
+
+## Next work: RE-944
+
+- [ ] Recover file loading at actual252933, including newline bounds, colon metadata parsing,252829/252127 interactions, missing files, short reads and native handle failures. Check exact caller addresses before extending the trace.
+- [ ] Recover duration command252213, actual251995 time conversion and native time-structure provenance; establish metadata/expiry semantics from callers rather than names.
+- [ ] Recover253100 add-filter command, client-number/userinfo lookup, native drop/command effects and console/client diagnostic paths.
+- [ ] Compose write/reload with wildcard masks, holes, duplicates, INT_MIN metadata and repeated removal; document any lossy round trips.
+- [ ] Implement and validate native file-effect adapters, preserving source ordering and actual engine error behavior on macOS/Linux.
+- [ ] Recover125185 bot setup/resource ownership,171668 userinfo mutation and5864 ranking/publication; compose them with connect and native network effects.
+- [ ] Continue native collision, spatial queries, respawn/intermission/event/scoreboard integration, asset conversion and Rust/Bevy/Solari runtime acceptance on macOS/Linux.

docs/research/README.md

@@ -1435,3 +1435,7 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [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).
+
+- [RE-943: Rust removal with survivor export and typed file effects](RUST_FILTER_REMOVE_EXPORT.md).
+
+- [RE-934–943 filter persistence batch and RE-944 next work](QVM_FILTER_PERSISTENCE_BATCH.md).

docs/research/RUST_FILTER_REMOVE_EXPORT.md

@@ -0,0 +1,5 @@
+# Rust removal with survivor export and typed file effects
+
+RE-943. Focused validation: `cargo xtask test-group rust-filter-remove-export`. [Machine report](rust-filter-remove-export.json).
+
+Rust matches30 original removal/export compositions, retaining first-match mutation, duplicate survivor order, unchanged count and metadata, diagnostics, sentinel omission and empty writes after sole removal. A typed four-effect sequence exposes print/open/write/close in source order and retains raw supplied handles. Unit tests cover zero handles, duplicate survivor bytes, misses without IO and atomic unsupported-domain rejection. Native execution, reload and time/expiry semantics remain open.

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

@@ -0,0 +1,1583 @@
+{
+  "limits": "Finite recovered policy parity; native filesystem/network effects are not executed.",
+  "probes": [
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e322e332e34"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e322e332e34"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": ""
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": ""
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": []
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": ""
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": ""
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": ""
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": ""
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            9
+          ],
+          [
+            4294967295,
+            67305985,
+            10
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            4294967295,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            4294967295,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            255,
+            4294967295,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            255,
+            4294967295,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": ""
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": ""
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            255,
+            1,
+            11
+          ],
+          [
+            4294967295,
+            67305985,
+            9
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e322e332e34"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e322e332e34"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "not-found",
+            "text": "312e2a"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            4294967295,
+            13
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            4294967295,
+            13
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "removed"
+          }
+        ],
+        "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
+        ],
+        "result": 1,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": ""
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ]
+      },
+      "source": {
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": ""
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "result": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            12
+          ],
+          [
+            0,
+            0,
+            13
+          ]
+        ]
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-filter-remove-export.json",
+  "source_report_sha256": "ebb5de37482c3b62dd2c2fe6432ec782cc143cd6ee0d5a0493e3c4117afa805a"
+}

docs/research/rust-health-impulse.json

@@ -2985,7 +2985,7 @@
       "exit_code": 2
     }
   ],
-  "rust_unit_tests": 193,
+  "rust_unit_tests": 196,
   "source_report": "docs/research/qvm-health-impulse.json",
   "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
 }

scripts/analyze_rust_filter_remove_export.py

@@ -0,0 +1,18 @@
+"""Compare the Rust filter policy with the original QVM report."""
+import hashlib,json,os,subprocess
+from pathlib import Path
+from analyze_qvm import write_json
+from rust_lifecycle_support import result
+
+def main():
+ subprocess.run(['cargo','build','--offline','--package','urt-gameplay','--bin','urt-filter-policy'],check=True,capture_output=True)
+ binary=Path(os.environ.get('CARGO_TARGET_DIR','target'))/'debug'/'urt-filter-policy'
+ path=Path('docs/research/qvm-filter-remove-export.json');data=path.read_bytes();probes=[]
+ for p in json.loads(data)['probes']:
+  a=p['input'];words=encode(a)
+  probes.append(dict(source={k:p[k] for k in ['result', 'diagnostics', 'exports', 'exported', 'rows']},rust=result(binary,'remove-export',words)))
+ write_json(Path('docs/research/rust-filter-remove-export.json'),dict(source_report=str(path),source_report_sha256=hashlib.sha256(data).hexdigest(),probes=probes,limits='Finite recovered policy parity; native filesystem/network effects are not executed.'))
+
+def encode(a):
+ text=bytes.fromhex(a['text']);return [len(a['rows']),a['metadata'],a['save'],a['handle'],len(text),*text,*[v for r in a['rows'] for v in r]]
+if __name__=='__main__':main()

scripts/test_rust_filter_remove_export.py

@@ -0,0 +1,9 @@
+import hashlib,json,unittest
+from pathlib import Path
+class PortTests(unittest.TestCase):
+ def test_original_parity(self):
+  r=json.loads(Path('docs/research/rust-filter-remove-export.json').read_text());self.assertGreaterEqual(len(r['probes']),18)
+  for p in r['probes']:self.assertEqual(p['source'],p['rust'])
+ def test_identity(self):
+  r=json.loads(Path('docs/research/rust-filter-remove-export.json').read_text());self.assertEqual(hashlib.sha256(Path(r['source_report']).read_bytes()).hexdigest(),r['source_report_sha256'])
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -3183,3 +3183,22 @@ report	scripts/analyze_qvm_filter_remove_export.py	docs/research/qvm-filter-remo
 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
+report	scripts/analyze_rust_filter_remove_export.py	docs/research/rust-filter-remove-export.json
+edge	docs/research/rust-filter-remove-export.json	scripts/test_rust_filter_remove_export.py
+group	rust-filter-remove-export	scripts/analyze_rust_filter_remove_export.py
+edge	scripts/analyze_rust_filter_remove_export.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_filter_remove_export.py
+edge	Cargo.lock	scripts/analyze_rust_filter_remove_export.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_filter_remove_export.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_filter_remove_export.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_filter_remove_export.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_filter_remove_export.py
+edge	crates/urt-gameplay/src/bin/urt-filter-policy.rs	scripts/analyze_rust_filter_remove_export.py
+edge	docs/research/qvm-filter-remove-export.json	scripts/analyze_rust_filter_remove_export.py
+group	rust-filter-remove-export	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_filter_remove_export.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_filter_remove_export.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_filter_remove.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_filter_metadata.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_health_impulse.py
+edge	crates/urt-gameplay/src/bin/urt-filter-policy.rs	scripts/analyze_rust_health_impulse.py

xtask/src/lib.rs

@@ -1128,6 +1128,19 @@ mod integration_tests {
             ("native_policy", "resolved_connect_tail"),
             ("native_policy", "resolved_connect_complete"),
             ("native_policy", "filter_insert"),
+            ("filter_lifecycle", "filter_export"),
+            ("native_policy", "filter_export"),
+            ("qvm_format", "filter_export"),
+            ("filter_lifecycle", "filter_remove"),
+            ("native_policy", "filter_remove"),
+            ("filter_lifecycle", "filter_metadata"),
+            ("native_policy", "filter_metadata"),
+            ("filter_lifecycle", "filter_insert_export"),
+            ("native_policy", "filter_insert_export"),
+            ("qvm_format", "filter_insert_export"),
+            ("filter_lifecycle", "filter_remove_export"),
+            ("native_policy", "filter_remove_export"),
+            ("qvm_format", "filter_remove_export"),
             ("qvm_format", "resolved_connect_complete"),
             ("protected", "protected_update"),
             ("mode10", "mode10_entry"),
@@ -1218,6 +1231,11 @@ mod integration_tests {
             ("qvm-resolved-connect-tail", "resolved_connect_tail"),
             ("qvm-resolved-connect-complete", "resolved_connect_complete"),
             ("qvm-filter-insert", "filter_insert"),
+            ("qvm-filter-export", "filter_export"),
+            ("qvm-filter-remove", "filter_remove"),
+            ("qvm-filter-metadata", "filter_metadata"),
+            ("qvm-filter-insert-export", "filter_insert_export"),
+            ("qvm-filter-remove-export", "filter_remove_export"),
             ("qvm-rank-small-sort", "rank_sort"),
             ("qvm-rank-large-sort", "rank_sort"),
             ("qvm-ranking-complete", "ranking_complete"),