gameplay: port filter export effects

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

@@ -0,0 +1,42 @@
+use urt_gameplay::filter_lifecycle::*;
+use urt_gameplay::native_policy::FilterRecord;
+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)
+        ),
+    }
+}
+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();
+    let n = w[0] as usize;
+    let handle = w[1];
+    assert_eq!(w.len(), 2 + 3 * n);
+    let rows: Vec<_> = w[2..]
+        .chunks_exact(3)
+        .map(|r| FilterRecord {
+            mask: r[0],
+            comparison: r[1],
+            metadata: r[2],
+        })
+        .collect();
+    match kind.as_str() {
+        "export" => println!("{}", export_json(export_filters(&rows, handle).unwrap())),
+        _ => panic!("unknown policy"),
+    }
+}

crates/urt-gameplay/src/filter_lifecycle.rs

@@ -0,0 +1,67 @@
+//! Recovered filter persistence policies; native file operations stay explicit.
+use crate::native_policy::{Error, FilterRecord};
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct FilterExport {
+    pub lines: Vec<Vec<u8>>,
+    pub text: Vec<u8>,
+    pub handle: u32,
+}
+/// Original252500: count zero leaves storage/files untouched; a nonempty table
+/// always opens, writes and closes, even when all comparison words are holes.
+/// Masks are deliberately absent from the serialized form.
+pub fn export_filters(
+    records: &[FilterRecord],
+    handle: u32,
+) -> Result<Option<FilterExport>, Error> {
+    if records.len() > 4096 {
+        return Err(Error::InvalidCount);
+    }
+    if records.is_empty() {
+        return Ok(None);
+    }
+    let lines: Vec<Vec<u8>> = records
+        .iter()
+        .filter(|r| r.comparison != u32::MAX)
+        .map(|r| {
+            let a = r.comparison.to_le_bytes();
+            let mut line = format!("{}.{}.{}.{}:", a[0], a[1], a[2], a[3]).into_bytes();
+            line.extend(crate::qvm_format::decimal(r.metadata as i32));
+            line.push(b'\n');
+            line
+        })
+        .collect();
+    let text = lines.concat();
+    // Every row is at most 28 bytes, so all 4096 rows fit the 131072-byte buffer.
+    debug_assert!(text.len() < 131072);
+    Ok(Some(FilterExport {
+        lines,
+        text,
+        handle,
+    }))
+}
+#[cfg(test)]
+mod tests {
+    use super::*;
+    #[test]
+    fn empty_and_all_holes_have_distinct_effects() {
+        assert_eq!(export_filters(&[], 0).unwrap(), None);
+        let hole = FilterRecord {
+            mask: 0,
+            comparison: u32::MAX,
+            metadata: 0,
+        };
+        assert_eq!(export_filters(&[hole], 0).unwrap().unwrap().text, b"");
+    }
+    #[test]
+    fn maximum_table_fits_and_invalid_handles_are_retained() {
+        let row = FilterRecord {
+            mask: 0,
+            comparison: 0xfeffffff,
+            metadata: 0x80000000,
+        };
+        let p = export_filters(&vec![row; 4096], u32::MAX).unwrap().unwrap();
+        assert_eq!(p.text.len(), 28 * 4096);
+        assert_eq!(p.handle, u32::MAX);
+        assert!(export_filters(&vec![row; 4097], 7).is_err());
+    }
+}

crates/urt-gameplay/src/lib.rs

@@ -181,3 +181,5 @@ pub mod camera_world;
 pub mod map_commands;
 
 pub mod native_policy;
+
+pub mod filter_lifecycle;

docs/FINDINGS.md

@@ -1801,3 +1801,5 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 **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. [Evidence](research/RUST_FILTER_INSERT.md).
 
 RE-934: Actual252500 exports comparison bytes and signed metadata while ignoring masks. It skips comparison-1 rows, performs no IO for count zero, but truncates/writes an empty file for a nonempty all-hole table. Supplied zero/negative handles still reach write and close. The INT_MIN metadata case retains the original formatter wrapping-negation punctuation instead of host decimal output. Eighteen fixtures execute actual70386/37914/69338; native memory operations are modeled and file operations captured. Aggregate overflow and actual filesystem acceptance remain open. [Evidence](research/QVM_FILTER_EXPORT.md).
+
+RE-935: Rust matches all18 original export cases, including mask loss, all-hole truncation, invalid handles and original INT_MIN formatter bytes. Empty tables produce no plan; other tables produce ordered print/open/write/close effects. A4096-row table is bounded by28 bytes per row, below the131072-byte source buffer; unit tests check that maximum and reject4097 rows. Native IO remains an adapter boundary. [Evidence](research/RUST_FILTER_EXPORT.md).

docs/PROVISIONAL_TODO.md

@@ -1847,3 +1847,5 @@ RE-933: Rust matches132 original252829/252304 table cases including4096-capacity
 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).
 
 - [x] RE-934 Original filter export and native file-operation order ([evidence](research/QVM_FILTER_EXPORT.md)).
+
+- [x] RE-935 Rust filter export policy and bounded storage ([evidence](research/RUST_FILTER_EXPORT.md)).

docs/RESEARCH_LEDGER.md

@@ -2401,3 +2401,7 @@ Batch RE-924–933 boundary: the single `cargo xtask test-full --since bc3e7621`
 ## 2026-10-28 — RE-934 Original filter export and native file-operation order
 
 Actual252500 exports comparison bytes and signed metadata while ignoring masks. It skips comparison-1 rows, performs no IO for count zero, but truncates/writes an empty file for a nonempty all-hole table. Supplied zero/negative handles still reach write and close. The INT_MIN metadata case retains the original formatter wrapping-negation punctuation instead of host decimal output. Eighteen fixtures execute actual70386/37914/69338; native memory operations are modeled and file operations captured. Aggregate overflow and actual filesystem acceptance remain open. Focused `cargo xtask test-group qvm-filter-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-935 Rust filter export policy and bounded storage
+
+Rust matches all18 original export cases, including mask loss, all-hole truncation, invalid handles and original INT_MIN formatter bytes. Empty tables produce no plan; other tables produce ordered print/open/write/close effects. A4096-row table is bounded by28 bytes per row, below the131072-byte source buffer; unit tests check that maximum and reject4097 rows. Native IO remains an adapter boundary. Focused `cargo xtask test-group rust-filter-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

@@ -1884,3 +1884,5 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 - [ ] 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)).
 
 - [x] RE-934 Original filter export and native file-operation order ([evidence](research/QVM_FILTER_EXPORT.md)).
+
+- [x] RE-935 Rust filter export policy and bounded storage ([evidence](research/RUST_FILTER_EXPORT.md)).

docs/research/README.md

@@ -1419,3 +1419,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 [RE-924–933 bot/announcement/filter batch](QVM_BOT_ANNOUNCEMENT_FILTER_BATCH.md).
 
 - [RE-934: Original filter export and native file-operation order](QVM_FILTER_EXPORT.md).
+
+- [RE-935: Rust filter export policy and bounded storage](RUST_FILTER_EXPORT.md).

docs/research/RUST_FILTER_EXPORT.md

@@ -0,0 +1,5 @@
+# Rust filter export policy and bounded storage
+
+RE-935. Focused validation: `cargo xtask test-group rust-filter-export`. [Machine report](rust-filter-export.json).
+
+Rust matches all18 original export cases, including mask loss, all-hole truncation, invalid handles and original INT_MIN formatter bytes. Empty tables produce no plan; other tables produce ordered print/open/write/close effects. A4096-row table is bounded by28 bytes per row, below the131072-byte source buffer; unit tests check that maximum and reject4097 rows. Native IO remains an adapter boundary.

docs/research/rust-filter-export.json

@@ -0,0 +1,853 @@
+{
+  "limits": "Finite recovered policy parity; native filesystem/network effects are not executed.",
+  "probes": [
+    {
+      "rust": {
+        "buffer": "7374616c65",
+        "events": [],
+        "formats": []
+      },
+      "source": {
+        "buffer": "7374616c65",
+        "events": [],
+        "formats": []
+      }
+    },
+    {
+      "rust": {
+        "buffer": "7374616c65",
+        "events": [],
+        "formats": []
+      },
+      "source": {
+        "buffer": "7374616c65",
+        "events": [],
+        "formats": []
+      }
+    },
+    {
+      "rust": {
+        "buffer": "7374616c65",
+        "events": [],
+        "formats": []
+      },
+      "source": {
+        "buffer": "7374616c65",
+        "events": [],
+        "formats": []
+      }
+    },
+    {
+      "rust": {
+        "buffer": "",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 0,
+            "op": "write",
+            "text": ""
+          },
+          {
+            "handle": 0,
+            "op": "close"
+          }
+        ],
+        "formats": []
+      },
+      "source": {
+        "buffer": "",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 0,
+            "op": "write",
+            "text": ""
+          },
+          {
+            "handle": 0,
+            "op": "close"
+          }
+        ],
+        "formats": []
+      }
+    },
+    {
+      "rust": {
+        "buffer": "",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 7,
+            "op": "write",
+            "text": ""
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "formats": []
+      },
+      "source": {
+        "buffer": "",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 7,
+            "op": "write",
+            "text": ""
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "formats": []
+      }
+    },
+    {
+      "rust": {
+        "buffer": "",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 4294967295,
+            "op": "write",
+            "text": ""
+          },
+          {
+            "handle": 4294967295,
+            "op": "close"
+          }
+        ],
+        "formats": []
+      },
+      "source": {
+        "buffer": "",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 4294967295,
+            "op": "write",
+            "text": ""
+          },
+          {
+            "handle": 4294967295,
+            "op": "close"
+          }
+        ],
+        "formats": []
+      }
+    },
+    {
+      "rust": {
+        "buffer": "312e322e332e343a2d310a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 0,
+            "op": "write",
+            "text": "312e322e332e343a2d310a"
+          },
+          {
+            "handle": 0,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "312e322e332e343a2d310a"
+        ]
+      },
+      "source": {
+        "buffer": "312e322e332e343a2d310a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 0,
+            "op": "write",
+            "text": "312e322e332e343a2d310a"
+          },
+          {
+            "handle": 0,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "312e322e332e343a2d310a"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "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"
+        ]
+      },
+      "source": {
+        "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"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "buffer": "312e322e332e343a2d310a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 4294967295,
+            "op": "write",
+            "text": "312e322e332e343a2d310a"
+          },
+          {
+            "handle": 4294967295,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "312e322e332e343a2d310a"
+        ]
+      },
+      "source": {
+        "buffer": "312e322e332e343a2d310a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 4294967295,
+            "op": "write",
+            "text": "312e322e332e343a2d310a"
+          },
+          {
+            "handle": 4294967295,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "312e322e332e343a2d310a"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "buffer": "302e302e302e303a300a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 0,
+            "op": "write",
+            "text": "302e302e302e303a300a"
+          },
+          {
+            "handle": 0,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "302e302e302e303a300a"
+        ]
+      },
+      "source": {
+        "buffer": "302e302e302e303a300a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 0,
+            "op": "write",
+            "text": "302e302e302e303a300a"
+          },
+          {
+            "handle": 0,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "302e302e302e303a300a"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "buffer": "302e302e302e303a300a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 7,
+            "op": "write",
+            "text": "302e302e302e303a300a"
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "302e302e302e303a300a"
+        ]
+      },
+      "source": {
+        "buffer": "302e302e302e303a300a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 7,
+            "op": "write",
+            "text": "302e302e302e303a300a"
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "302e302e302e303a300a"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "buffer": "302e302e302e303a300a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 4294967295,
+            "op": "write",
+            "text": "302e302e302e303a300a"
+          },
+          {
+            "handle": 4294967295,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "302e302e302e303a300a"
+        ]
+      },
+      "source": {
+        "buffer": "302e302e302e303a300a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 4294967295,
+            "op": "write",
+            "text": "302e302e302e303a300a"
+          },
+          {
+            "handle": 4294967295,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "302e302e302e303a300a"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "buffer": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 0,
+            "op": "write",
+            "text": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a"
+          },
+          {
+            "handle": 0,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "3132372e302e302e313a2d2e2f2c292c282d2a2c280a",
+          "312e302e302e3235353a323134373438333634370a"
+        ]
+      },
+      "source": {
+        "buffer": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 0,
+            "op": "write",
+            "text": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a"
+          },
+          {
+            "handle": 0,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "3132372e302e302e313a2d2e2f2c292c282d2a2c280a",
+          "312e302e302e3235353a323134373438333634370a"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "buffer": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 7,
+            "op": "write",
+            "text": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a"
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "3132372e302e302e313a2d2e2f2c292c282d2a2c280a",
+          "312e302e302e3235353a323134373438333634370a"
+        ]
+      },
+      "source": {
+        "buffer": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 7,
+            "op": "write",
+            "text": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a"
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "3132372e302e302e313a2d2e2f2c292c282d2a2c280a",
+          "312e302e302e3235353a323134373438333634370a"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "buffer": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 4294967295,
+            "op": "write",
+            "text": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a"
+          },
+          {
+            "handle": 4294967295,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "3132372e302e302e313a2d2e2f2c292c282d2a2c280a",
+          "312e302e302e3235353a323134373438333634370a"
+        ]
+      },
+      "source": {
+        "buffer": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 4294967295,
+            "op": "write",
+            "text": "3132372e302e302e313a2d2e2f2c292c282d2a2c280a312e302e302e3235353a323134373438333634370a"
+          },
+          {
+            "handle": 4294967295,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "3132372e302e302e313a2d2e2f2c292c282d2a2c280a",
+          "312e302e302e3235353a323134373438333634370a"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "buffer": "312e322e332e343a310a312e322e332e343a320a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 0,
+            "op": "write",
+            "text": "312e322e332e343a310a312e322e332e343a320a"
+          },
+          {
+            "handle": 0,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "312e322e332e343a310a",
+          "312e322e332e343a320a"
+        ]
+      },
+      "source": {
+        "buffer": "312e322e332e343a310a312e322e332e343a320a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 0,
+            "op": "write",
+            "text": "312e322e332e343a310a312e322e332e343a320a"
+          },
+          {
+            "handle": 0,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "312e322e332e343a310a",
+          "312e322e332e343a320a"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "buffer": "312e322e332e343a310a312e322e332e343a320a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 7,
+            "op": "write",
+            "text": "312e322e332e343a310a312e322e332e343a320a"
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "312e322e332e343a310a",
+          "312e322e332e343a320a"
+        ]
+      },
+      "source": {
+        "buffer": "312e322e332e343a310a312e322e332e343a320a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 7,
+            "op": "write",
+            "text": "312e322e332e343a310a312e322e332e343a320a"
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "312e322e332e343a310a",
+          "312e322e332e343a320a"
+        ]
+      }
+    },
+    {
+      "rust": {
+        "buffer": "312e322e332e343a310a312e322e332e343a320a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 4294967295,
+            "op": "write",
+            "text": "312e322e332e343a310a312e322e332e343a320a"
+          },
+          {
+            "handle": 4294967295,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "312e322e332e343a310a",
+          "312e322e332e343a320a"
+        ]
+      },
+      "source": {
+        "buffer": "312e322e332e343a310a312e322e332e343a320a",
+        "events": [
+          {
+            "op": "print",
+            "text": "57726974696e673a2062616e6c6973742e7478740a"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "62616e6c6973742e747874"
+          },
+          {
+            "handle": 4294967295,
+            "op": "write",
+            "text": "312e322e332e343a310a312e322e332e343a320a"
+          },
+          {
+            "handle": 4294967295,
+            "op": "close"
+          }
+        ],
+        "formats": [
+          "312e322e332e343a310a",
+          "312e322e332e343a320a"
+        ]
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-filter-export.json",
+  "source_report_sha256": "4ce6e42c9020ae43013367b4c920a94b1a6c9223ec49b8f3802e99bb7ccfb1f1"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_filter_export.py

@@ -0,0 +1,17 @@
+"""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-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 ['events', 'formats', 'buffer']},rust=result(binary,'export',words)))
+ write_json(Path('docs/research/rust-filter-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):return [len(a['rows']),a['handle'],*[v for r in a['rows'] for v in r]]
+if __name__=='__main__':main()

scripts/test_rust_filter_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-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-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

@@ -3109,3 +3109,18 @@ report	scripts/analyze_qvm_filter_export.py	docs/research/qvm-filter-export.json
 edge	docs/research/qvm-filter-export.json	scripts/test_qvm_filter_export.py
 group	qvm-filter-export	scripts/analyze_qvm_filter_export.py
 edge	scripts/analyze_qvm_filter_export.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_filter_export.py	docs/research/rust-filter-export.json
+edge	docs/research/rust-filter-export.json	scripts/test_rust_filter_export.py
+group	rust-filter-export	scripts/analyze_rust_filter_export.py
+edge	scripts/analyze_rust_filter_export.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_filter_export.py
+edge	Cargo.lock	scripts/analyze_rust_filter_export.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_filter_export.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_filter_export.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_filter_export.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_filter_export.py
+edge	crates/urt-gameplay/src/bin/urt-filter-policy.rs	scripts/analyze_rust_filter_export.py
+edge	docs/research/qvm-filter-export.json	scripts/analyze_rust_filter_export.py
+group	rust-filter-export	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_filter_export.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_filter_export.py