gameplay: port full-table filter expiry

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

@@ -24,6 +24,55 @@ fn main() {
                 list(&inverse)
             );
         }
+        "expiry" => {
+            assert_eq!(w.len(), 2);
+            let now = w[0];
+            let slots = [0usize, 1, 2, 3, 4, 5, 63, 4095];
+            let mut rows: Vec<_> = (0..4096)
+                .map(|j| urt_gameplay::native_policy::FilterRecord {
+                    mask: 0x11223344,
+                    comparison: j + 1,
+                    metadata: u32::MAX,
+                })
+                .collect();
+            for (j, t) in slots.into_iter().zip([
+                0,
+                now.wrapping_sub(1),
+                now,
+                now.wrapping_add(1),
+                u32::MAX,
+                0x80000000,
+                60,
+                0,
+            ]) {
+                rows[j].metadata = t;
+            }
+            rows[5].comparison = u32::MAX;
+            expire_filters(&mut rows, now).unwrap();
+            let selected = slots
+                .iter()
+                .map(|j| list(&[rows[*j].mask, rows[*j].comparison, rows[*j].metadata]))
+                .collect::<Vec<_>>()
+                .join(",");
+            println!(
+                "{{\"calls\":[{{\"op\":\"time\"}}],\"count\":{},\"selected\":[{}],\"checksum\":{}}}",
+                w[1],
+                selected,
+                digest(&rows)
+            );
+        }
         _ => panic!("unknown policy"),
     }
 }
+
+fn digest(rows: &[urt_gameplay::native_policy::FilterRecord]) -> u64 {
+    let mut h = 14695981039346656037u64;
+    for r in rows {
+        for w in [r.mask, r.comparison, r.metadata] {
+            for b in w.to_le_bytes() {
+                h = (h ^ b as u64).wrapping_mul(1099511628211);
+            }
+        }
+    }
+    h
+}

crates/urt-gameplay/src/filter_loading.rs

@@ -40,3 +40,63 @@ mod tests {
         }
     }
 }
+
+/// Original252067 always scans4096 records. Count is intentionally absent:
+/// unsigned metadata less than now expires comparison only; -1 is permanent.
+pub fn expire_filters(
+    records: &mut [crate::native_policy::FilterRecord],
+    now: u32,
+) -> Result<(), crate::native_policy::Error> {
+    if records.len() != 4096 {
+        return Err(crate::native_policy::Error::InvalidCount);
+    }
+    for r in records {
+        if r.metadata != u32::MAX && r.metadata < now {
+            r.comparison = u32::MAX;
+        }
+    }
+    Ok(())
+}
+#[cfg(test)]
+mod expiry_tests {
+    use super::*;
+    use crate::native_policy::FilterRecord;
+    #[test]
+    fn unsigned_strict_gate_and_permanent_marker_preserve_other_fields() {
+        let row = FilterRecord {
+            mask: 7,
+            comparison: 8,
+            metadata: u32::MAX,
+        };
+        let mut rows = vec![row; 4096];
+        rows[0].metadata = 59;
+        rows[1].metadata = 60;
+        rows[2].metadata = 0x80000000;
+        rows[4095].metadata = 0;
+        expire_filters(&mut rows, 60).unwrap();
+        assert_eq!(rows[0].comparison, u32::MAX);
+        assert_eq!(rows[1].comparison, 8);
+        assert_eq!(rows[2].comparison, 8);
+        assert_eq!(rows[4095].comparison, u32::MAX);
+        assert_eq!(rows[0].mask, 7);
+        assert_eq!(rows[0].metadata, 59);
+        assert_eq!(rows[3], row);
+        expire_filters(&mut rows, u32::MAX).unwrap();
+        assert_eq!(rows[2].comparison, u32::MAX);
+        assert_eq!(rows[3], row);
+    }
+    #[test]
+    fn incomplete_storage_rejects_without_mutation() {
+        let mut rows = vec![
+            FilterRecord {
+                mask: 7,
+                comparison: 8,
+                metadata: 0
+            };
+            4095
+        ];
+        let before = rows.clone();
+        assert!(expire_filters(&mut rows, 60).is_err());
+        assert_eq!(rows, before);
+    }
+}

docs/FINDINGS.md

@@ -1825,3 +1825,5 @@ RE-944: Eighty-four actual251995/252024 conversion pairs recover wrapping day-of
 RE-945: Rust matches84 original conversion pairs using wrapping arithmetic and truncating signed division, retaining the inverse minute-field quirk and all unrelated structure words. Unit tests cover signed extremes, arithmetic wrap and unchanged sentinel fields. Native clock acquisition and calendar interpretation remain supplied boundaries. [Evidence](research/RUST_FILTER_TIME.md).
 
 RE-946: Twelve actual252067 scans execute all4096 slots with actual251995 and supplied native time. Metadata other than-1 expires only when unsigned-less-than current minutes; equality is retained. Expiry changes comparison only, ignores and preserves active count, and never exports. Fixtures verify the last slot mutates even at count zero, permanent markers and high-bit timestamps. Calendar rollover and invocation cadence remain open. [Evidence](research/QVM_FILTER_EXPIRY.md).
+
+RE-947: Rust matches12 full4096-slot original scans and table-wide checksums. The API requires exactly4096 records and has no active-count parameter, preserving expiry beyond active rows. It retains masks/metadata, strict unsigned comparisons, permanent-1 and no-export behavior. Unit tests cover high-bit/equality/permanent gates, last-slot mutation and atomic rejection of incomplete storage. [Evidence](research/RUST_FILTER_EXPIRY.md).

docs/PROVISIONAL_TODO.md

@@ -1873,3 +1873,5 @@ RE-934–943 completed bounded filter export/removal/metadata and insertion/remo
 - [x] RE-945 Rust filter time arithmetic and asymmetric inverse ([evidence](research/RUST_FILTER_TIME.md)).
 
 - [x] RE-946 Original full-table filter expiry and unsigned time gates ([evidence](research/QVM_FILTER_EXPIRY.md)).
+
+- [x] RE-947 Rust full-table expiry with unsigned metadata gates ([evidence](research/RUST_FILTER_EXPIRY.md)).

docs/RESEARCH_LEDGER.md

@@ -2451,3 +2451,7 @@ Rust matches84 original conversion pairs using wrapping arithmetic and truncatin
 ## 2026-10-28 — RE-946 Original full-table filter expiry and unsigned time gates
 
 Twelve actual252067 scans execute all4096 slots with actual251995 and supplied native time. Metadata other than-1 expires only when unsigned-less-than current minutes; equality is retained. Expiry changes comparison only, ignores and preserves active count, and never exports. Fixtures verify the last slot mutates even at count zero, permanent markers and high-bit timestamps. Calendar rollover and invocation cadence remain open. Focused `cargo xtask test-group qvm-filter-expiry` 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-947 Rust full-table expiry with unsigned metadata gates
+
+Rust matches12 full4096-slot original scans and table-wide checksums. The API requires exactly4096 records and has no active-count parameter, preserving expiry beyond active rows. It retains masks/metadata, strict unsigned comparisons, permanent-1 and no-export behavior. Unit tests cover high-bit/equality/permanent gates, last-slot mutation and atomic rejection of incomplete storage. Focused `cargo xtask test-group rust-filter-expiry` 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

@@ -1910,3 +1910,5 @@ RE-934–943 continue the prior batch with filter export/removal/metadata and co
 - [x] RE-945 Rust filter time arithmetic and asymmetric inverse ([evidence](research/RUST_FILTER_TIME.md)).
 
 - [x] RE-946 Original full-table filter expiry and unsigned time gates ([evidence](research/QVM_FILTER_EXPIRY.md)).
+
+- [x] RE-947 Rust full-table expiry with unsigned metadata gates ([evidence](research/RUST_FILTER_EXPIRY.md)).

docs/research/README.md

@@ -1445,3 +1445,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-945: Rust filter time arithmetic and asymmetric inverse](RUST_FILTER_TIME.md).
 
 - [RE-946: Original full-table filter expiry and unsigned time gates](QVM_FILTER_EXPIRY.md).
+
+- [RE-947: Rust full-table expiry with unsigned metadata gates](RUST_FILTER_EXPIRY.md).

docs/research/RUST_FILTER_EXPIRY.md

@@ -0,0 +1,5 @@
+# Rust full-table expiry with unsigned metadata gates
+
+RE-947. Focused validation: `cargo xtask test-group rust-filter-expiry`. [Machine report](rust-filter-expiry.json).
+
+Rust matches12 full4096-slot original scans and table-wide checksums. The API requires exactly4096 records and has no active-count parameter, preserving expiry beyond active rows. It retains masks/metadata, strict unsigned comparisons, permanent-1 and no-export behavior. Unit tests cover high-bit/equality/permanent gates, last-slot mutation and atomic rejection of incomplete storage.

docs/research/rust-filter-expiry.json

@@ -0,0 +1,1255 @@
+{
+  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
+  "probes": [
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 9798687455571071282,
+        "count": 0,
+        "selected": [
+          [
+            287454020,
+            1,
+            0
+          ],
+          [
+            287454020,
+            2,
+            4294967295
+          ],
+          [
+            287454020,
+            3,
+            0
+          ],
+          [
+            287454020,
+            4,
+            1
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4096,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 9798687455571071282,
+        "count": 0,
+        "selected": [
+          [
+            287454020,
+            1,
+            0
+          ],
+          [
+            287454020,
+            2,
+            4294967295
+          ],
+          [
+            287454020,
+            3,
+            0
+          ],
+          [
+            287454020,
+            4,
+            1
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4096,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 9798687455571071282,
+        "count": 3,
+        "selected": [
+          [
+            287454020,
+            1,
+            0
+          ],
+          [
+            287454020,
+            2,
+            4294967295
+          ],
+          [
+            287454020,
+            3,
+            0
+          ],
+          [
+            287454020,
+            4,
+            1
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4096,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 9798687455571071282,
+        "count": 3,
+        "selected": [
+          [
+            287454020,
+            1,
+            0
+          ],
+          [
+            287454020,
+            2,
+            4294967295
+          ],
+          [
+            287454020,
+            3,
+            0
+          ],
+          [
+            287454020,
+            4,
+            1
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4096,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 9798687455571071282,
+        "count": 4096,
+        "selected": [
+          [
+            287454020,
+            1,
+            0
+          ],
+          [
+            287454020,
+            2,
+            4294967295
+          ],
+          [
+            287454020,
+            3,
+            0
+          ],
+          [
+            287454020,
+            4,
+            1
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4096,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 9798687455571071282,
+        "count": 4096,
+        "selected": [
+          [
+            287454020,
+            1,
+            0
+          ],
+          [
+            287454020,
+            2,
+            4294967295
+          ],
+          [
+            287454020,
+            3,
+            0
+          ],
+          [
+            287454020,
+            4,
+            1
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4096,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 6770823300158093670,
+        "count": 0,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            59
+          ],
+          [
+            287454020,
+            3,
+            60
+          ],
+          [
+            287454020,
+            4,
+            61
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 6770823300158093670,
+        "count": 0,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            59
+          ],
+          [
+            287454020,
+            3,
+            60
+          ],
+          [
+            287454020,
+            4,
+            61
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 6770823300158093670,
+        "count": 3,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            59
+          ],
+          [
+            287454020,
+            3,
+            60
+          ],
+          [
+            287454020,
+            4,
+            61
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 6770823300158093670,
+        "count": 3,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            59
+          ],
+          [
+            287454020,
+            3,
+            60
+          ],
+          [
+            287454020,
+            4,
+            61
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 6770823300158093670,
+        "count": 4096,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            59
+          ],
+          [
+            287454020,
+            3,
+            60
+          ],
+          [
+            287454020,
+            4,
+            61
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 6770823300158093670,
+        "count": 4096,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            59
+          ],
+          [
+            287454020,
+            3,
+            60
+          ],
+          [
+            287454020,
+            4,
+            61
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            64,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 11781194392214500037,
+        "count": 0,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            1439
+          ],
+          [
+            287454020,
+            3,
+            1440
+          ],
+          [
+            287454020,
+            4,
+            1441
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 11781194392214500037,
+        "count": 0,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            1439
+          ],
+          [
+            287454020,
+            3,
+            1440
+          ],
+          [
+            287454020,
+            4,
+            1441
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 11781194392214500037,
+        "count": 3,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            1439
+          ],
+          [
+            287454020,
+            3,
+            1440
+          ],
+          [
+            287454020,
+            4,
+            1441
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 11781194392214500037,
+        "count": 3,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            1439
+          ],
+          [
+            287454020,
+            3,
+            1440
+          ],
+          [
+            287454020,
+            4,
+            1441
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 11781194392214500037,
+        "count": 4096,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            1439
+          ],
+          [
+            287454020,
+            3,
+            1440
+          ],
+          [
+            287454020,
+            4,
+            1441
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 11781194392214500037,
+        "count": 4096,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            1439
+          ],
+          [
+            287454020,
+            3,
+            1440
+          ],
+          [
+            287454020,
+            4,
+            1441
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 5086403093565816865,
+        "count": 0,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            4294967294
+          ],
+          [
+            287454020,
+            3,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 5086403093565816865,
+        "count": 0,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            4294967294
+          ],
+          [
+            287454020,
+            3,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 5086403093565816865,
+        "count": 3,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            4294967294
+          ],
+          [
+            287454020,
+            3,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 5086403093565816865,
+        "count": 3,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            4294967294
+          ],
+          [
+            287454020,
+            3,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      }
+    },
+    {
+      "rust": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 5086403093565816865,
+        "count": 4096,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            4294967294
+          ],
+          [
+            287454020,
+            3,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      },
+      "source": {
+        "calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "checksum": 5086403093565816865,
+        "count": 4096,
+        "selected": [
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            4294967295,
+            4294967294
+          ],
+          [
+            287454020,
+            3,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ],
+          [
+            287454020,
+            5,
+            4294967295
+          ],
+          [
+            287454020,
+            4294967295,
+            2147483648
+          ],
+          [
+            287454020,
+            4294967295,
+            60
+          ],
+          [
+            287454020,
+            4294967295,
+            0
+          ]
+        ]
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-filter-expiry.json",
+  "source_report_sha256": "665ea63e46ad5c7211b760dbae3aeb47837327b8ac93bf967d6001e4064fb723"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_filter_expiry.py

@@ -0,0 +1,16 @@
+"""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-loading'],check=True,capture_output=True)
+ binary=Path(os.environ.get('CARGO_TARGET_DIR','target'))/'debug'/'urt-filter-loading'
+ path=Path('docs/research/qvm-filter-expiry.json');data=path.read_bytes();probes=[]
+ for p in json.loads(data)['probes']:
+  probes.append(dict(source={k:p[k] for k in ['calls', 'count', 'selected', 'checksum']},rust=result(binary,'expiry',encode(p['input']))))
+ write_json(Path('docs/research/rust-filter-expiry.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):return [a['now'],a['count']]
+if __name__=='__main__':main()

scripts/test_rust_filter_expiry.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-expiry.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-expiry.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

@@ -3228,3 +3228,19 @@ report	scripts/analyze_qvm_filter_expiry.py	docs/research/qvm-filter-expiry.json
 edge	docs/research/qvm-filter-expiry.json	scripts/test_qvm_filter_expiry.py
 group	qvm-filter-expiry	scripts/analyze_qvm_filter_expiry.py
 edge	scripts/analyze_qvm_filter_expiry.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_filter_expiry.py	docs/research/rust-filter-expiry.json
+edge	docs/research/rust-filter-expiry.json	scripts/test_rust_filter_expiry.py
+group	rust-filter-expiry	scripts/analyze_rust_filter_expiry.py
+edge	scripts/analyze_rust_filter_expiry.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_filter_expiry.py
+edge	Cargo.lock	scripts/analyze_rust_filter_expiry.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_filter_expiry.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_filter_expiry.py
+edge	crates/urt-gameplay/src/filter_loading.rs	scripts/analyze_rust_filter_expiry.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_filter_expiry.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_filter_expiry.py
+edge	crates/urt-gameplay/src/bin/urt-filter-loading.rs	scripts/analyze_rust_filter_expiry.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_filter_expiry.py
+edge	docs/research/qvm-filter-expiry.json	scripts/analyze_rust_filter_expiry.py
+group	rust-filter-expiry	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_filter_expiry.py