gameplay: compose filter insertion and export

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

@@ -66,6 +66,10 @@ fn main() {
     let mut args = std::env::args().skip(1);
     let kind = args.next().unwrap();
     let w: Vec<u32> = args.map(|s| s.parse().unwrap()).collect();
+    if kind == "insert-export" {
+        println!("{}", insertion(&w));
+        return;
+    }
     let n = w[0] as usize;
     if kind == "export" {
         assert_eq!(w.len(), 2 + 3 * n);
@@ -91,3 +95,57 @@ fn main() {
         _ => panic!("unknown policy"),
     }
 }
+
+fn insertion(w: &[u32]) -> String {
+    use urt_gameplay::native_policy::FilterDiagnostic;
+    let before_count = w[0] as usize;
+    let save = w[1] as i32;
+    let handle = w[2];
+    let l = w[3] as usize;
+    let text: Vec<u8> = w[4..4 + l].iter().map(|v| *v as u8).collect();
+    let r = w[4 + l] as usize;
+    assert_eq!(w.len(), 5 + l + 3 * r);
+    let mut records = rows(&w[5 + l..]);
+    let prior = records.clone();
+    let mut count = before_count;
+    let out = insert_filter_export(&mut records, &mut count, &text, save, handle).unwrap();
+    let p = out.mutation;
+    let notices = p
+        .diagnostics
+        .iter()
+        .map(|d| match d {
+            FilterDiagnostic::Full => r#"{"op":"full"}"#.into(),
+            FilterDiagnostic::BadAddress(t) => {
+                format!(r#"{{"op":"bad-address","text":"{}"}}"#, hex(t))
+            }
+        })
+        .collect::<Vec<String>>()
+        .join(",");
+    let row = |r: FilterRecord| format!("[{},{},{}]", r.mask, r.comparison, r.metadata);
+    let before = p.slot.map(|j| row(prior[j])).unwrap_or("null".into());
+    let after = p.slot.map(|j| row(records[j])).unwrap_or("null".into());
+    let mut hash = 14695981039346656037u64;
+    for r in &records {
+        for v in [r.mask, r.comparison, r.metadata] {
+            for b in v.to_le_bytes() {
+                hash = (hash ^ b as u64).wrapping_mul(1099511628211);
+            }
+        }
+    }
+    format!(
+        r#"{{"result":{},"slot":{},"parsed":{},"diagnostics":[{}],"exports":[{}],"before_count":{},"count":{},"before":{},"after":{},"checksum":{},"exported":[{}]}}"#,
+        u8::from(p.result),
+        p.slot.map(|v| v.to_string()).unwrap_or("null".into()),
+        p.parsed
+            .map(|v| u8::from(v).to_string())
+            .unwrap_or("null".into()),
+        notices,
+        if p.export { "252500" } else { "" },
+        before_count,
+        count,
+        before,
+        after,
+        hash,
+        out.export.map(|p| export_json(Some(p))).unwrap_or_default()
+    )
+}

crates/urt-gameplay/src/filter_lifecycle.rs

@@ -218,3 +218,75 @@ mod metadata_tests {
         assert_eq!(rows, before);
     }
 }
+
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct PersistedInsert {
+    pub mutation: crate::native_policy::FilterInsert,
+    pub export: Option<FilterExport>,
+}
+/// Compose252829 with252500, staging unsupported domains while retaining
+/// ordinary parse-failure growth, holes and export through the supplied handle.
+pub fn insert_filter_export(
+    records: &mut [FilterRecord],
+    count: &mut usize,
+    text: &[u8],
+    save: i32,
+    handle: u32,
+) -> Result<PersistedInsert, Error> {
+    let mut staged = records.to_vec();
+    let mut next = *count;
+    let mutation = crate::native_policy::insert_filter(&mut staged, &mut next, text, save)?;
+    let export = if mutation.export {
+        export_filters(&staged[..next], handle)?
+    } else {
+        None
+    };
+    records.copy_from_slice(&staged);
+    *count = next;
+    Ok(PersistedInsert { mutation, export })
+}
+#[cfg(test)]
+mod insertion_export_tests {
+    use super::*;
+    #[test]
+    fn parser_failure_keeps_count_and_empty_write_plan() {
+        let mut rows = [FilterRecord {
+            mask: 7,
+            comparison: 8,
+            metadata: 9,
+        }];
+        let mut count = 0;
+        let p = insert_filter_export(&mut rows, &mut count, b"bad", 1, 0).unwrap();
+        assert_eq!(count, 1);
+        assert_eq!(p.mutation.parsed, Some(false));
+        let export = p.export.unwrap();
+        assert_eq!(export.handle, 0);
+        assert!(export.text.is_empty());
+        assert_eq!(
+            rows[0],
+            FilterRecord {
+                mask: 7,
+                comparison: u32::MAX,
+                metadata: 9
+            }
+        );
+    }
+    #[test]
+    fn full_capacity_and_unsupported_tokens_do_not_export_or_mutate() {
+        let row = FilterRecord {
+            mask: 7,
+            comparison: 8,
+            metadata: 9,
+        };
+        let mut rows = vec![row; 4096];
+        let mut count = 4096;
+        let p = insert_filter_export(&mut rows, &mut count, b"1.2.3.4", 1, 7).unwrap();
+        assert!(!p.mutation.result);
+        assert!(p.export.is_none());
+        assert_eq!(rows, vec![row; 4096]);
+        count = 0;
+        assert!(insert_filter_export(&mut rows, &mut count, &[b'1'; 128], 1, 7).is_err());
+        assert_eq!(count, 0);
+        assert_eq!(rows, vec![row; 4096]);
+    }
+}

docs/FINDINGS.md

@@ -1813,3 +1813,5 @@ RE-938: Across180 actual252127 fixtures, parser252304/37159 precedes an exact ma
 RE-939: Rust matches180 original metadata-update cases, retaining the first exact pair, every unaffected row, raw metadata bits, parser/missing-match diagnostics and save gating. Unit tests verify negative save requests, duplicate preservation, sentinel matching and atomic rejection of unsupported tokens. Metadata is deliberately a raw word; native time/expiry interpretation remains open. [Evidence](research/RUST_FILTER_METADATA.md).
 
 RE-940: Twenty-four original252829/252304/252500 compositions verify table checksums plus exact export records and file-operation order. Parse failure still retains count growth and exports, including an empty write through a supplied zero handle. Valid broadcast sentinel values are skipped by export, and wildcard masks are lost in serialized output. Native file IO remains captured; insertion table/caller provenance remains open. [Evidence](research/QVM_FILTER_INSERT_EXPORT.md).
+
+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).

docs/PROVISIONAL_TODO.md

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

docs/RESEARCH_LEDGER.md

@@ -2425,3 +2425,7 @@ Rust matches180 original metadata-update cases, retaining the first exact pair,
 ## 2026-10-28 — RE-940 Original insertion composed with recovered export
 
 Twenty-four original252829/252304/252500 compositions verify table checksums plus exact export records and file-operation order. Parse failure still retains count growth and exports, including an empty write through a supplied zero handle. Valid broadcast sentinel values are skipped by export, and wildcard masks are lost in serialized output. Native file IO remains captured; insertion table/caller provenance remains open. Focused `cargo xtask test-group qvm-filter-insert-export` passes with deterministic report regeneration, relevant regressions and storage/documentation/whitespace checks. Full suite deferred to the tenth-commit boundary. Original assets unchanged; native IO effects remain captured.
+
+## 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.

docs/REVERSE_ENGINEERING_TODO.md

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

docs/research/README.md

@@ -1431,3 +1431,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-939: Rust first-match filter metadata policy](RUST_FILTER_METADATA.md).
 
 - [RE-940: Original insertion composed with recovered export](QVM_FILTER_INSERT_EXPORT.md).
+
+- [RE-941: Rust insertion with recovered export composition](RUST_FILTER_INSERT_EXPORT.md).

docs/research/RUST_FILTER_INSERT_EXPORT.md

@@ -0,0 +1,5 @@
+# Rust insertion with recovered export composition
+
+RE-941. Focused validation: `cargo xtask test-group rust-filter-insert-export`. [Machine report](rust-filter-insert-export.json).
+
+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.

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

@@ -0,0 +1,1835 @@
+{
+  "limits": "Finite recovered policy parity; native filesystem/network effects are not executed.",
+  "probes": [
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 8643066824336841373,
+        "count": 1,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 8643066824336841373,
+        "count": 1,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 8643066824336841373,
+        "count": 1,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "312e322e332e343a2d310a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "312e322e332e343a2d310a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e322e332e343a2d310a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 8643066824336841373,
+        "count": 1,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "312e322e332e343a2d310a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "312e322e332e343a2d310a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e322e332e343a2d310a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          287454020,
+          4294967295,
+          2578103244
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 15828147485467890441,
+        "count": 1,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "parsed": 0,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          287454020,
+          4294967295,
+          2578103244
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 15828147485467890441,
+        "count": 1,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "parsed": 0,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          287454020,
+          4294967295,
+          2578103244
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 15828147485467890441,
+        "count": 1,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [
+          {
+            "buffer": "",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 0,
+                "op": "write",
+                "text": ""
+              },
+              {
+                "handle": 0,
+                "op": "close"
+              }
+            ],
+            "formats": []
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 0,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          287454020,
+          4294967295,
+          2578103244
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 15828147485467890441,
+        "count": 1,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [
+          {
+            "buffer": "",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 0,
+                "op": "write",
+                "text": ""
+              },
+              {
+                "handle": 0,
+                "op": "close"
+              }
+            ],
+            "formats": []
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 0,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 10626296841257250281,
+        "count": 1,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 10626296841257250281,
+        "count": 1,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 10626296841257250281,
+        "count": 1,
+        "diagnostics": [],
+        "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
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 10626296841257250281,
+        "count": 1,
+        "diagnostics": [],
+        "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
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 9180629977285729265,
+        "count": 1,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 9180629977285729265,
+        "count": 1,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 9180629977285729265,
+        "count": 1,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "302e302e302e303a2d310a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "302e302e302e303a2d310a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "302e302e302e303a2d310a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          287454020,
+          1432778632,
+          2578103244
+        ],
+        "before_count": 0,
+        "checksum": 9180629977285729265,
+        "count": 1,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "302e302e302e303a2d310a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "302e302e302e303a2d310a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "302e302e302e303a2d310a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 12352080663264302319,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 12352080663264302319,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 12352080663264302319,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "312e322e332e343a2d310a322e302e302e303a3130310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "312e322e332e343a2d310a322e302e302e303a3130310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e322e332e343a2d310a",
+              "322e302e302e303a3130310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 12352080663264302319,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "312e322e332e343a2d310a322e302e302e303a3130310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "312e322e332e343a2d310a322e302e302e303a3130310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e322e332e343a2d310a",
+              "322e302e302e303a3130310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 4983954312695245907,
+        "count": 3,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "parsed": 0,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 4983954312695245907,
+        "count": 3,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "parsed": 0,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 4983954312695245907,
+        "count": 3,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [
+          {
+            "buffer": "322e302e302e303a3130310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 0,
+                "op": "write",
+                "text": "322e302e302e303a3130310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 0,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "322e302e302e303a3130310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 0,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 4983954312695245907,
+        "count": 3,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [
+          {
+            "buffer": "322e302e302e303a3130310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 0,
+                "op": "write",
+                "text": "322e302e302e303a3130310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 0,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "322e302e302e303a3130310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 0,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 11865259713149171923,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 11865259713149171923,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 11865259713149171923,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "322e302e302e303a3130310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "322e302e302e303a3130310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "322e302e302e303a3130310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 11865259713149171923,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "322e302e302e303a3130310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "322e302e302e303a3130310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "322e302e302e303a3130310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 9243264774671796427,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 9243264774671796427,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 9243264774671796427,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "302e302e302e303a2d310a322e302e302e303a3130310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "302e302e302e303a2d310a322e302e302e303a3130310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "302e302e302e303a2d310a",
+              "322e302e302e303a3130310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      },
+      "source": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          100
+        ],
+        "before_count": 3,
+        "checksum": 9243264774671796427,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "302e302e302e303a2d310a322e302e302e303a3130310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "302e302e302e303a2d310a322e302e302e303a3130310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "302e302e302e303a2d310a",
+              "322e302e302e303a3130310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 0
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 577458280395593209,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      },
+      "source": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 577458280395593209,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 577458280395593209,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "312e302e302e303a3130300a312e322e332e343a2d310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "312e302e302e303a3130300a312e322e332e343a2d310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e302e302e303a3130300a",
+              "312e322e332e343a2d310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      },
+      "source": {
+        "after": [
+          4294967295,
+          67305985,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 577458280395593209,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "312e302e302e303a3130300a312e322e332e343a2d310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "312e302e302e303a3130300a312e322e332e343a2d310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e302e302e303a3130300a",
+              "312e322e332e343a2d310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 15420461893339168460,
+        "count": 3,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "parsed": 0,
+        "result": 1,
+        "slot": 1
+      },
+      "source": {
+        "after": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 15420461893339168460,
+        "count": 3,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [],
+        "exports": [],
+        "parsed": 0,
+        "result": 1,
+        "slot": 1
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 15420461893339168460,
+        "count": 3,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [
+          {
+            "buffer": "312e302e302e303a3130300a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 0,
+                "op": "write",
+                "text": "312e302e302e303a3130300a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 0,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e302e302e303a3130300a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 0,
+        "result": 1,
+        "slot": 1
+      },
+      "source": {
+        "after": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 15420461893339168460,
+        "count": 3,
+        "diagnostics": [
+          {
+            "op": "bad-address",
+            "text": "626164"
+          }
+        ],
+        "exported": [
+          {
+            "buffer": "312e302e302e303a3130300a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 0,
+                "op": "write",
+                "text": "312e302e302e303a3130300a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 0,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e302e302e303a3130300a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 0,
+        "result": 1,
+        "slot": 1
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 7753791190889012745,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      },
+      "source": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 7753791190889012745,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 7753791190889012745,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "312e302e302e303a3130300a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "312e302e302e303a3130300a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e302e302e303a3130300a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      },
+      "source": {
+        "after": [
+          4294967295,
+          4294967295,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 7753791190889012745,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "312e302e302e303a3130300a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "312e302e302e303a3130300a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e302e302e303a3130300a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 11277808847814685921,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      },
+      "source": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 11277808847814685921,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [],
+        "exports": [],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      }
+    },
+    {
+      "rust": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 11277808847814685921,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "312e302e302e303a3130300a302e302e302e303a2d310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "312e302e302e303a3130300a302e302e302e303a2d310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e302e302e303a3130300a",
+              "302e302e302e303a2d310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      },
+      "source": {
+        "after": [
+          0,
+          0,
+          4294967295
+        ],
+        "before": [
+          4294967295,
+          4294967295,
+          101
+        ],
+        "before_count": 3,
+        "checksum": 11277808847814685921,
+        "count": 3,
+        "diagnostics": [],
+        "exported": [
+          {
+            "buffer": "312e302e302e303a3130300a302e302e302e303a2d310a332e302e302e303a3130320a",
+            "events": [
+              {
+                "op": "print",
+                "text": "57726974696e673a2062616e6c6973742e7478740a"
+              },
+              {
+                "mode": 1,
+                "op": "open",
+                "path": "62616e6c6973742e747874"
+              },
+              {
+                "handle": 7,
+                "op": "write",
+                "text": "312e302e302e303a3130300a302e302e302e303a2d310a332e302e302e303a3130320a"
+              },
+              {
+                "handle": 7,
+                "op": "close"
+              }
+            ],
+            "formats": [
+              "312e302e302e303a3130300a",
+              "302e302e302e303a2d310a",
+              "332e302e302e303a3130320a"
+            ]
+          }
+        ],
+        "exports": [
+          252500
+        ],
+        "parsed": 1,
+        "result": 1,
+        "slot": 1
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-filter-insert-export.json",
+  "source_report_sha256": "c6d9c91edf1a90d02ec5d84b0394039f67b95cdef350dd21569b46f4f9eb7b12"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_filter_insert_export.py

@@ -0,0 +1,19 @@
+"""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-insert-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', 'slot', 'parsed', 'diagnostics', 'exports', 'before_count', 'count', 'before', 'after', 'checksum', 'exported']},rust=result(binary,'insert-export',words)))
+ write_json(Path('docs/research/rust-filter-insert-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):
+ from qvm_filter_update_support import table
+ n,rows=table(a['profile']);text=bytes.fromhex(a['text']);return [n,a['save'],a['handle'],len(text),*text,len(rows),*[v for r in rows for v in r]]
+if __name__=='__main__':main()

scripts/test_rust_filter_insert_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-insert-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-insert-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

@@ -3164,3 +3164,18 @@ report	scripts/analyze_qvm_filter_insert_export.py	docs/research/qvm-filter-inse
 edge	docs/research/qvm-filter-insert-export.json	scripts/test_qvm_filter_insert_export.py
 group	qvm-filter-insert-export	scripts/analyze_qvm_filter_insert_export.py
 edge	scripts/analyze_qvm_filter_insert_export.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_filter_insert_export.py	docs/research/rust-filter-insert-export.json
+edge	docs/research/rust-filter-insert-export.json	scripts/test_rust_filter_insert_export.py
+group	rust-filter-insert-export	scripts/analyze_rust_filter_insert_export.py
+edge	scripts/analyze_rust_filter_insert_export.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_filter_insert_export.py
+edge	Cargo.lock	scripts/analyze_rust_filter_insert_export.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_filter_insert_export.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_filter_insert_export.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_filter_insert_export.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_filter_insert_export.py
+edge	crates/urt-gameplay/src/bin/urt-filter-policy.rs	scripts/analyze_rust_filter_insert_export.py
+edge	docs/research/qvm-filter-insert-export.json	scripts/analyze_rust_filter_insert_export.py
+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