gameplay: port remove-filter command effects

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

@@ -126,6 +126,29 @@ fn main() {
                 add_filter_command(&mut rows, &mut count, input, &mut ring, &mut selector).unwrap();
             println!("{}", command_json(out, &rows, count, ring, selector));
         }
+        "remove" => {
+            let mut p = 2;
+            let text = blob(&w, &mut p);
+            let n = w[1] as usize;
+            let mut rows = vec![];
+            for _ in 0..n {
+                rows.push(FilterRecord {
+                    mask: w[p],
+                    comparison: w[p + 1],
+                    metadata: w[p + 2],
+                });
+                p += 3;
+            }
+            assert_eq!(p, w.len());
+            let issuer = if w[0] == u32::MAX {
+                None
+            } else {
+                Some(w[0] as i32)
+            };
+            let mut ring = u32::MAX;
+            let out = remove_filter_command(&mut rows, &text, issuer, &mut ring).unwrap();
+            println!("{}", command_json(out, &rows, n, ring, 0));
+        }
         _ => panic!("unknown policy"),
     }
 }

crates/urt-gameplay/src/filter_commands.rs

@@ -266,3 +266,77 @@ mod add_tests {
         assert_eq!(selector, 0);
     }
 }
+
+/// Original253245: empty text emits usage; nonempty text delegates to253296.
+pub fn remove_filter_command(
+    records: &mut [FilterRecord],
+    text: &[u8],
+    issuer: Option<i32>,
+    ring: &mut u32,
+) -> Result<FilterCommand, Error> {
+    if records.len() > 4096 {
+        return Err(Error::InvalidCount);
+    }
+    if issuer.is_some_and(|v| !(0..64).contains(&v)) {
+        return Err(Error::InvalidIndex);
+    }
+    let text = cbytes(text);
+    if text.len() > 1024 {
+        return Err(Error::InvalidInput);
+    }
+    let mut staged = records.to_vec();
+    let mut counter = *ring;
+    let mut effects = vec![];
+    let mut children = vec![];
+    if text.is_empty() {
+        effects.push(usage(issuer, false, &mut counter)?);
+    } else {
+        effects.push(FilterCommandEffect::Remove(text.to_vec()));
+        children.push(crate::filter_lifecycle::remove_filter(&mut staged, text)?.into());
+    }
+    records.copy_from_slice(&staged);
+    *ring = counter;
+    Ok(FilterCommand { effects, children })
+}
+#[cfg(test)]
+mod remove_tests {
+    use super::*;
+    #[test]
+    fn usage_skips_child_and_duplicate_removal_preserves_count_and_metadata() {
+        let row = FilterRecord {
+            mask: u32::MAX,
+            comparison: 0x04030201,
+            metadata: 7,
+        };
+        let mut rows = [row, row];
+        let mut ring = u32::MAX;
+        let p = remove_filter_command(&mut rows, b"", Some(2), &mut ring).unwrap();
+        assert_eq!(ring, 0);
+        assert!(p.children.is_empty());
+        assert_eq!(rows, [row, row]);
+        let p = remove_filter_command(&mut rows, b"1.2.3.4", None, &mut ring).unwrap();
+        assert!(p.children[0].export);
+        assert_eq!(rows[0].comparison, u32::MAX);
+        assert_eq!(rows[0].metadata, 7);
+        assert_eq!(rows[1], row);
+        assert_eq!(rows.len(), 2);
+        assert_eq!(ring, 0);
+    }
+    #[test]
+    fn ordinary_parse_failure_skips_export_and_unsupported_input_is_atomic() {
+        let row = FilterRecord {
+            mask: 7,
+            comparison: 8,
+            metadata: 9,
+        };
+        let mut rows = [row];
+        let mut ring = 7;
+        let p = remove_filter_command(&mut rows, b"bad", None, &mut ring).unwrap();
+        assert!(!p.children[0].result);
+        assert!(!p.children[0].export);
+        assert_eq!(rows, [row]);
+        assert!(remove_filter_command(&mut rows, &[b'1'; 128], None, &mut ring).is_err());
+        assert_eq!(rows, [row]);
+        assert_eq!(ring, 7);
+    }
+}

docs/FINDINGS.md

@@ -1845,3 +1845,5 @@ RE-954: Ninety-six actual253100 wrappers recover length-under3 client-number rou
 RE-955: Rust matches96 original add-filter command cases, retaining short-input numeric routing, active-slot/userinfo gates, selector toggles, exact usage/kick text and formatter wrap. Missing IP insertion failures still queue clientkick; an extra unit test verifies full-table refusal also queues a kick. Unsupported domains reject atomically. Native userinfo, queued commands, network and export remain captured plans. [Evidence](research/RUST_FILTER_ADD_COMMAND.md).
 
 RE-956: Twenty-four actual253245 wrappers compose actual253296 removal and source client-usage formatting. Empty input emits exact console/client usage and skips mutation; client usage wraps the formatter ring. Nonempty input retains first-match duplicate/sentinel behavior, count, diagnostics and conditional export requests. Userinfo selector remains untouched. Native sends/console and export requests are captured. [Evidence](research/QVM_FILTER_REMOVE_COMMAND.md).
+
+RE-957: Rust matches24 original removal-wrapper cases, preserving exact client/console usage, formatter wrap, first-match duplicate/sentinel mutations, child diagnostics and conditional export. The API leaves caller table length and userinfo selector ownership untouched. Unit tests cover empty-input child suppression, duplicate metadata retention, ordinary parser failure and atomic unsupported-token rejection. Native effects remain captured plans. [Evidence](research/RUST_FILTER_REMOVE_COMMAND.md).

docs/PROVISIONAL_TODO.md

@@ -1895,3 +1895,5 @@ RE-944–953 completed bounded time/expiry/loading/duration and export/reload co
 - [x] RE-955 Rust add-filter wrapper and unconditional queued kick ([evidence](research/RUST_FILTER_ADD_COMMAND.md)).
 
 - [x] RE-956 Original remove-filter command and usage routing ([evidence](research/QVM_FILTER_REMOVE_COMMAND.md)).
+
+- [x] RE-957 Rust remove-filter wrapper and source usage effects ([evidence](research/RUST_FILTER_REMOVE_COMMAND.md)).

docs/RESEARCH_LEDGER.md

@@ -2493,3 +2493,7 @@ Rust matches96 original add-filter command cases, retaining short-input numeric
 ## 2026-10-28 — RE-956 Original remove-filter command and usage routing
 
 Twenty-four actual253245 wrappers compose actual253296 removal and source client-usage formatting. Empty input emits exact console/client usage and skips mutation; client usage wraps the formatter ring. Nonempty input retains first-match duplicate/sentinel behavior, count, diagnostics and conditional export requests. Userinfo selector remains untouched. Native sends/console and export requests are captured. Focused `cargo xtask test-group qvm-filter-remove-command` 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-957 Rust remove-filter wrapper and source usage effects
+
+Rust matches24 original removal-wrapper cases, preserving exact client/console usage, formatter wrap, first-match duplicate/sentinel mutations, child diagnostics and conditional export. The API leaves caller table length and userinfo selector ownership untouched. Unit tests cover empty-input child suppression, duplicate metadata retention, ordinary parser failure and atomic unsupported-token rejection. Native effects remain captured plans. Focused `cargo xtask test-group rust-filter-remove-command` 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

@@ -1932,3 +1932,5 @@ RE-944–953 recover bounded time, expiry, loading, duration and persistence rou
 - [x] RE-955 Rust add-filter wrapper and unconditional queued kick ([evidence](research/RUST_FILTER_ADD_COMMAND.md)).
 
 - [x] RE-956 Original remove-filter command and usage routing ([evidence](research/QVM_FILTER_REMOVE_COMMAND.md)).
+
+- [x] RE-957 Rust remove-filter wrapper and source usage effects ([evidence](research/RUST_FILTER_REMOVE_COMMAND.md)).

docs/research/README.md

@@ -1467,3 +1467,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-955: Rust add-filter wrapper and unconditional queued kick](RUST_FILTER_ADD_COMMAND.md).
 
 - [RE-956: Original remove-filter command and usage routing](QVM_FILTER_REMOVE_COMMAND.md).
+
+- [RE-957: Rust remove-filter wrapper and source usage effects](RUST_FILTER_REMOVE_COMMAND.md).

docs/research/RUST_FILTER_REMOVE_COMMAND.md

@@ -0,0 +1,5 @@
+# Rust remove-filter wrapper and source usage effects
+
+RE-957. Focused validation: `cargo xtask test-group rust-filter-remove-command`. [Machine report](rust-filter-remove-command.json).
+
+Rust matches24 original removal-wrapper cases, preserving exact client/console usage, formatter wrap, first-match duplicate/sentinel mutations, child diagnostics and conditional export. The API leaves caller table length and userinfo selector ownership untouched. Unit tests cover empty-input child suppression, duplicate metadata retention, ordinary parser failure and atomic unsupported-token rejection. Native effects remain captured plans.

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

@@ -0,0 +1,1663 @@
+{
+  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
+  "probes": [
+    {
+      "rust": {
+        "children": [],
+        "count": 2,
+        "events": [
+          {
+            "op": "console",
+            "text": "55736167653a2072656d6f76656970203c69702d6d61736b3e0a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [],
+        "count": 2,
+        "events": [
+          {
+            "op": "console",
+            "text": "55736167653a2072656d6f76656970203c69702d6d61736b3e0a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [],
+        "count": 2,
+        "events": [
+          {
+            "op": "console",
+            "text": "55736167653a2072656d6f76656970203c69702d6d61736b3e0a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [],
+        "count": 2,
+        "events": [
+          {
+            "op": "console",
+            "text": "55736167653a2072656d6f76656970203c69702d6d61736b3e0a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [],
+        "count": 2,
+        "events": [
+          {
+            "op": "send",
+            "recipient": 2,
+            "text": "6368617420225e355b72636f6e5d205e3755736167653a202f72656d6f76656970203c69702d6d61736b3e22"
+          }
+        ],
+        "ring": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [],
+        "count": 2,
+        "events": [
+          {
+            "op": "send",
+            "recipient": 2,
+            "text": "6368617420225e355b72636f6e5d205e3755736167653a202f72656d6f76656970203c69702d6d61736b3e22"
+          }
+        ],
+        "ring": 0,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [],
+        "count": 2,
+        "events": [
+          {
+            "op": "send",
+            "recipient": 2,
+            "text": "6368617420225e355b72636f6e5d205e3755736167653a202f72656d6f76656970203c69702d6d61736b3e22"
+          }
+        ],
+        "ring": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [],
+        "count": 2,
+        "events": [
+          {
+            "op": "send",
+            "recipient": 2,
+            "text": "6368617420225e355b72636f6e5d205e3755736167653a202f72656d6f76656970203c69702d6d61736b3e22"
+          }
+        ],
+        "ring": 0,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "312e322e332e34"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "312e322e332e34"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "312e322e332e34"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "312e322e332e34"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "312e322e332e34"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "312e322e332e34"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "312e322e332e34"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "312e322e332e34"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "312e322e332e34"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "312e322e332e34"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "312e322e332e34"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "312e322e332e34"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "322e332e342e35"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "322e332e342e35"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "322e332e342e35"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "322e332e342e35"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "322e332e342e35"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "322e332e342e35"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "322e332e342e35"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "322e332e342e35"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "322e332e342e35"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "322e332e342e35"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "322e332e342e35"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "322e332e342e35"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "322e332e342e35"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "322e332e342e35"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "322e332e342e35"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "322e332e342e35"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "bad-address",
+                "text": "626164"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "626164"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "bad-address",
+                "text": "626164"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "626164"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "bad-address",
+                "text": "626164"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "626164"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "bad-address",
+                "text": "626164"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "626164"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "bad-address",
+                "text": "626164"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "626164"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "bad-address",
+                "text": "626164"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "626164"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "bad-address",
+                "text": "626164"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "626164"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "bad-address",
+                "text": "626164"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "626164"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "3235352e3235352e3235352e323535"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "3235352e3235352e3235352e323535"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "3235352e3235352e3235352e323535"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "3235352e3235352e3235352e323535"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "3235352e3235352e3235352e323535"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            0,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "2a"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "2a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "2a"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "2a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "2a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            4294967295,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "2a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            4294967295,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "2a"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "2a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "not-found",
+                "text": "2a"
+              }
+            ],
+            "exports": [],
+            "result": 0
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "2a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            67305985,
+            7
+          ],
+          [
+            4294967295,
+            67305985,
+            8
+          ]
+        ],
+        "selector": 0
+      }
+    },
+    {
+      "rust": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "2a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            4294967295,
+            10
+          ]
+        ],
+        "selector": 0
+      },
+      "source": {
+        "children": [
+          {
+            "diagnostics": [
+              {
+                "op": "removed"
+              }
+            ],
+            "exports": [
+              252500
+            ],
+            "result": 1
+          }
+        ],
+        "count": 2,
+        "events": [
+          {
+            "op": "remove",
+            "text": "2a"
+          }
+        ],
+        "ring": 4294967295,
+        "rows": [
+          [
+            4294967295,
+            4294967295,
+            9
+          ],
+          [
+            0,
+            4294967295,
+            10
+          ]
+        ],
+        "selector": 0
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-filter-remove-command.json",
+  "source_report_sha256": "6c96500920fc93f0b8d19133341317dd264808229ed21d32220684b2849d2496"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_filter_remove_command.py

@@ -0,0 +1,17 @@
+"""Compare recovered Rust policy with original QVM fixtures."""
+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-commands'],check=True,capture_output=True)
+ binary=Path(os.environ.get('CARGO_TARGET_DIR','target'))/'debug'/'urt-filter-commands'
+ path=Path('docs/research/qvm-filter-remove-command.json');data=path.read_bytes();probes=[]
+ for p in json.loads(data)['probes']:
+  probes.append(dict(source={k:p[k] for k in ['events', 'children', 'ring', 'selector', 'count', 'rows']},rust=result(binary,'remove',encode(p['input']))))
+ write_json(Path('docs/research/rust-filter-remove-command.json'),dict(source_report=str(path),source_report_sha256=hashlib.sha256(data).hexdigest(),probes=probes,limits='Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.'))
+
+def encode(a):
+ t=bytes.fromhex(a['text']);return [a['issuer'],len(a['rows']),len(t),*t,*[v for r in a['rows'] for v in r]]
+if __name__=='__main__':main()

scripts/test_rust_filter_remove_command.py

@@ -0,0 +1,9 @@
+import hashlib,json,unittest
+from pathlib import Path
+class PortTests(unittest.TestCase):
+ def test_original_parity(self):
+  r=json.loads(Path('docs/research/rust-filter-remove-command.json').read_text());self.assertGreaterEqual(len(r['probes']),12)
+  for p in r['probes']:self.assertEqual(p['source'],p['rust'])
+ def test_identity(self):
+  r=json.loads(Path('docs/research/rust-filter-remove-command.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

@@ -3332,3 +3332,21 @@ report	scripts/analyze_qvm_filter_remove_command.py	docs/research/qvm-filter-rem
 edge	docs/research/qvm-filter-remove-command.json	scripts/test_qvm_filter_remove_command.py
 group	qvm-filter-remove-command	scripts/analyze_qvm_filter_remove_command.py
 edge	scripts/analyze_qvm_filter_remove_command.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_filter_remove_command.py	docs/research/rust-filter-remove-command.json
+edge	docs/research/rust-filter-remove-command.json	scripts/test_rust_filter_remove_command.py
+group	rust-filter-remove-command	scripts/analyze_rust_filter_remove_command.py
+edge	scripts/analyze_rust_filter_remove_command.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_filter_remove_command.py
+edge	Cargo.lock	scripts/analyze_rust_filter_remove_command.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_filter_remove_command.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_filter_remove_command.py
+edge	crates/urt-gameplay/src/filter_loading.rs	scripts/analyze_rust_filter_remove_command.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_filter_remove_command.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_filter_remove_command.py
+edge	crates/urt-gameplay/src/bin/urt-filter-loading.rs	scripts/analyze_rust_filter_remove_command.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_filter_remove_command.py
+edge	docs/research/qvm-filter-remove-command.json	scripts/analyze_rust_filter_remove_command.py
+group	rust-filter-remove-command	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_filter_remove_command.py
+edge	crates/urt-gameplay/src/filter_commands.rs	scripts/analyze_rust_filter_remove_command.py
+edge	crates/urt-gameplay/src/bin/urt-filter-commands.rs	scripts/analyze_rust_filter_remove_command.py