gameplay: port client frame prefix and expiry

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

@@ -151,6 +151,7 @@ fn main() {
         }
         "duration-export" => println!("{}", duration_export(&w)),
         "expiry-admission" => println!("{}", expiry_admission(&w)),
+        "frame" => println!("{}", frame(&w)),
         _ => panic!("unknown policy"),
     }
 }
@@ -312,3 +313,60 @@ fn expiry_admission(w: &[u32]) -> String {
         digest(&rows)
     )
 }
+
+fn frame_rows(now: u32) -> Vec<FilterRecord> {
+    let mut rows: Vec<_> = (0..4096)
+        .map(|j| FilterRecord {
+            mask: 0x11223344,
+            comparison: j + 1,
+            metadata: u32::MAX,
+        })
+        .collect();
+    for (j, t) in [0usize, 1, 2, 3, 4, 5, 63, 4095].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;
+    rows
+}
+fn frame(w: &[u32]) -> String {
+    assert_eq!(w.len(), 10);
+    let mut rows = frame_rows(w[8]);
+    let mut state = FilterFrameState {
+        activity: w[0],
+        flag: 17,
+        accumulator: w[6],
+    };
+    let input = FilterFrameInput {
+        tick: 10000,
+        last_tick: 10000u32.wrapping_sub(w[1]),
+        velocity: [w[2], w[3], w[4]],
+        entity_flags: w[5],
+        msec: w[7],
+        now: w[8],
+    };
+    let out = filter_frame_prefix(&mut rows, &mut state, input).unwrap();
+    format!(
+        r#"{{"clock_calls":[{{"op":"time"}}],"vector_squared":[{}],"fields":[{},{},{}],"velocity":[{},{},{}],"last_tick":{},"count":{},"checksum":{}}}"#,
+        out.vector_squared
+            .map(|v| v.to_string())
+            .unwrap_or_default(),
+        state.activity,
+        state.flag,
+        state.accumulator,
+        w[2],
+        w[3],
+        w[4],
+        input.last_tick,
+        w[9],
+        digest(&rows)
+    )
+}

crates/urt-gameplay/src/filter_commands.rs

@@ -501,3 +501,140 @@ mod expiry_admission_tests {
         assert_eq!(rows, before);
     }
 }
+
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub struct FilterFrameState {
+    pub activity: u32,
+    pub flag: u32,
+    pub accumulator: u32,
+}
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub struct FilterFrameInput {
+    pub tick: u32,
+    pub last_tick: u32,
+    pub velocity: [u32; 3],
+    pub entity_flags: u32,
+    pub msec: u32,
+    pub now: u32,
+}
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct FilterFramePrefix {
+    pub vector_squared: Option<u32>,
+}
+/// Actual150692 prefix only, stopping at150791. Source65613 squares horizontal
+/// velocity after zeroing z. Expiry follows the flag/timer writes unconditionally.
+pub fn filter_frame_prefix(
+    records: &mut [FilterRecord],
+    state: &mut FilterFrameState,
+    input: FilterFrameInput,
+) -> Result<FilterFramePrefix, Error> {
+    let mut next = *state;
+    let mut vector_squared = None;
+    if next.activity == 0 && input.tick.wrapping_sub(input.last_tick) as i32 > 3000 {
+        let x = f32::from_bits(input.velocity[0]);
+        let y = f32::from_bits(input.velocity[1]);
+        if !x.is_finite() || !y.is_finite() {
+            return Err(Error::NonFinite);
+        }
+        let squared = (x * x + y * y) + 0.0;
+        vector_squared = Some(squared.to_bits());
+        if squared > 100.0 {
+            next.activity = 1;
+        }
+    }
+    next.flag = u32::from(input.entity_flags & 64 != 0);
+    next.accumulator = next.accumulator.wrapping_add(input.msec);
+    let mut staged = records.to_vec();
+    crate::filter_loading::expire_filters(&mut staged, input.now)?;
+    records.copy_from_slice(&staged);
+    *state = next;
+    Ok(FilterFramePrefix { vector_squared })
+}
+#[cfg(test)]
+mod frame_prefix_tests {
+    use super::*;
+    fn rows() -> Vec<FilterRecord> {
+        vec![
+            FilterRecord {
+                mask: 7,
+                comparison: 8,
+                metadata: 0
+            };
+            4096
+        ]
+    }
+    #[test]
+    fn horizontal_gate_strictness_flags_timer_wrap_and_unconditional_expiry() {
+        let mut rows = rows();
+        let mut state = FilterFrameState {
+            activity: 0,
+            flag: 17,
+            accumulator: u32::MAX,
+        };
+        let input = FilterFrameInput {
+            tick: 10000,
+            last_tick: 6999,
+            velocity: [0, 0, f32::NAN.to_bits()],
+            entity_flags: 192,
+            msec: 2,
+            now: 60,
+        };
+        let p = filter_frame_prefix(&mut rows, &mut state, input).unwrap();
+        assert_eq!(
+            state,
+            FilterFrameState {
+                activity: 0,
+                flag: 1,
+                accumulator: 1
+            }
+        );
+        assert_eq!(p.vector_squared, Some(0));
+        assert_eq!(rows[4095].comparison, u32::MAX);
+        let input = FilterFrameInput {
+            velocity: [10f32.to_bits(), 0, 0],
+            ..input
+        };
+        filter_frame_prefix(&mut rows, &mut state, input).unwrap();
+        assert_eq!(state.activity, 0);
+        let input = FilterFrameInput {
+            tick: 1,
+            last_tick: 1u32.wrapping_sub(3001),
+            velocity: [11f32.to_bits(), 0, 0],
+            ..input
+        };
+        filter_frame_prefix(&mut rows, &mut state, input).unwrap();
+        assert_eq!(state.activity, 1);
+    }
+    #[test]
+    fn unsupported_horizontal_or_incomplete_storage_is_atomic() {
+        let mut rows = rows();
+        let before = rows.clone();
+        let mut state = FilterFrameState {
+            activity: 0,
+            flag: 17,
+            accumulator: 7,
+        };
+        let old = state;
+        let input = FilterFrameInput {
+            tick: 10000,
+            last_tick: 0,
+            velocity: [f32::NAN.to_bits(), 0, 0],
+            entity_flags: 64,
+            msec: 2,
+            now: 60,
+        };
+        assert_eq!(
+            filter_frame_prefix(&mut rows, &mut state, input),
+            Err(Error::NonFinite)
+        );
+        assert_eq!(state, old);
+        assert_eq!(rows, before);
+        let input = FilterFrameInput {
+            velocity: [0; 3],
+            ..input
+        };
+        assert!(filter_frame_prefix(&mut rows[..4095], &mut state, input).is_err());
+        assert_eq!(state, old);
+        assert_eq!(rows, before);
+    }
+}

docs/FINDINGS.md

@@ -1857,3 +1857,5 @@ RE-960: Forty-eight original252067/252643 compositions cover4096-slot expiry and
 RE-961: Rust matches48 original full-table expiry/admission cases and all table checksums. The address helper now accepts the actual4096-entry capacity, including last-slot matches, and rejects4097. Expiry writes persist on ordinary rejection; typed errors remain atomic. Unit tests cover last-slot survival, broadcast matching an expired hole, capacity bounds and unsupported-address rollback. Native time/network acceptance remains supplied/open. [Evidence](research/RUST_FILTER_EXPIRY_ADMISSION.md).
 
 RE-962: Forty actual150692 prefix executions through150791 compose source65613 squared horizontal motion and252067 full-table expiry. Strict elapsed>3000 and square>100 gate activity, z is discarded, entity bit64 copies to the client flag, and the timer wraps. Every prefix invocation reaches expiry regardless of movement gates/count. Direct sites place loader252933 at3924 inside3877 and expiry252067 at150789 inside150692. Whole callback/cadence and native runtime remain open. [Evidence](research/QVM_FILTER_FRAME_PREFIX.md).
+
+RE-963: Rust matches40 original frame-prefix cases, retaining squared horizontal motion, strict elapsed/square gates, ignored z, source bit64 copy, wrapping accumulation and unconditional full-table expiry. Unit tests cover ignored NaN z, equality, tick wrap and atomic rejection of unsupported horizontal values/incomplete storage. This ports only150692..150791; full callback/caller cadence and native runtime remain open. [Evidence](research/RUST_FILTER_FRAME_PREFIX.md).

docs/PROVISIONAL_TODO.md

@@ -1888,7 +1888,7 @@ RE-934–943 completed bounded filter export/removal/metadata and insertion/remo
 
 - [x] RE-953 Rust export reload composition and persistence-loss regressions ([evidence](research/RUST_FILTER_ROUNDTRIP.md)).
 
-RE-944–953 completed bounded time/expiry/loading/duration and export/reload contracts. RE-954 tracks remaining commands/callers, native ownership and runtime acceptance. [Batch and next work](research/QVM_FILTER_LOADING_BATCH.md).
+RE-944–953 completed bounded time/expiry/loading/duration and export/reload contracts. The following batch recovers command and caller-prefix compositions; complete callers, native ownership and runtime acceptance remain open. [Batch and next work](research/QVM_FILTER_LOADING_BATCH.md).
 
 - [x] RE-954 Original add-filter client lookup and queued kick command ([evidence](research/QVM_FILTER_ADD_COMMAND.md)).
 
@@ -1907,3 +1907,7 @@ RE-944–953 completed bounded time/expiry/loading/duration and export/reload co
 - [x] RE-961 Rust full-capacity expiry and address-admission composition ([evidence](research/RUST_FILTER_EXPIRY_ADMISSION.md)).
 
 - [x] RE-962 Original client-frame prefix with unconditional expiry ([evidence](research/QVM_FILTER_FRAME_PREFIX.md)).
+
+- [x] RE-963 Rust client-frame prefix with source motion gates and expiry ([evidence](research/RUST_FILTER_FRAME_PREFIX.md)).
+
+RE-954–963 completed add/remove wrappers, resolved duration export, full-capacity expiry/admission and a bounded frame prefix. RE-964 tracks remaining callers/native ownership and runtime integration. [Batch and next work](research/QVM_FILTER_COMMANDS_BATCH.md).

docs/RESEARCH_LEDGER.md

@@ -2517,3 +2517,9 @@ Rust matches48 original full-table expiry/admission cases and all table checksum
 ## 2026-10-28 — RE-962 Original client-frame prefix with unconditional expiry
 
 Forty actual150692 prefix executions through150791 compose source65613 squared horizontal motion and252067 full-table expiry. Strict elapsed>3000 and square>100 gate activity, z is discarded, entity bit64 copies to the client flag, and the timer wraps. Every prefix invocation reaches expiry regardless of movement gates/count. Direct sites place loader252933 at3924 inside3877 and expiry252067 at150789 inside150692. Whole callback/cadence and native runtime remain open. Focused `cargo xtask test-group qvm-filter-frame-prefix` 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-963 Rust client-frame prefix with source motion gates and expiry
+
+Rust matches40 original frame-prefix cases, retaining squared horizontal motion, strict elapsed/square gates, ignored z, source bit64 copy, wrapping accumulation and unconditional full-table expiry. Unit tests cover ignored NaN z, equality, tick wrap and atomic rejection of unsupported horizontal values/incomplete storage. This ports only150692..150791; full callback/caller cadence and native runtime remain open. Focused `cargo xtask test-group rust-filter-frame-prefix` passes with deterministic report regeneration, relevant regressions and storage/documentation/whitespace checks. Full suite deferred to the tenth-commit boundary. Original assets unchanged; native IO effects remain captured.
+
+Batch RE-954–963 boundary: the single `cargo xtask test-full --since 696a4794` run after commit ten passed with the flake-declared Nix Python: 1,858 Python tests, 260 Rust tests (assets10, gameplay220, xtask30), 106 deterministic report producers, storage policy, 535 documentation files and whitespace guards. No generated report drift. Focused dependency-selection regression covers all five new source/Rust pairs and shared command/loading/lifecycle/native-policy/formatter inputs, including scoped gameplay test-count metadata. Validation notes were amended into task ten; original assets unchanged. See [batch findings and next work](research/QVM_FILTER_COMMANDS_BATCH.md).

docs/REVERSE_ENGINEERING_TODO.md

@@ -1925,7 +1925,7 @@ RE-944–953 recover bounded time, expiry, loading, duration and persistence rou
 
 - [x] RE-953 Rust export reload composition and persistence-loss regressions ([evidence](research/RUST_FILTER_ROUNDTRIP.md)).
 
-- [ ] RE-954 Recover remaining filter commands/callers and native time/file/network ownership, bot setup/userinfo and full Rust/Bevy/Solari acceptance ([next work](research/QVM_FILTER_LOADING_BATCH.md)).
+RE-954–963 recover bounded command wrappers, resolved duration export, full-capacity expiry/admission and a frame prefix; native ownership and full runtime acceptance remain open.
 
 - [x] RE-954 Original add-filter client lookup and queued kick command ([evidence](research/QVM_FILTER_ADD_COMMAND.md)).
 
@@ -1944,3 +1944,7 @@ RE-944–953 recover bounded time, expiry, loading, duration and persistence rou
 - [x] RE-961 Rust full-capacity expiry and address-admission composition ([evidence](research/RUST_FILTER_EXPIRY_ADMISSION.md)).
 
 - [x] RE-962 Original client-frame prefix with unconditional expiry ([evidence](research/QVM_FILTER_FRAME_PREFIX.md)).
+
+- [x] RE-963 Rust client-frame prefix with source motion gates and expiry ([evidence](research/RUST_FILTER_FRAME_PREFIX.md)).
+
+- [ ] RE-964 Recover remaining frame/initialization callers and native command/time/file/network ownership, bot setup/userinfo and full Rust/Bevy/Solari acceptance ([next work](research/QVM_FILTER_COMMANDS_BATCH.md)).

docs/TESTING.md

@@ -179,3 +179,5 @@ RE-924–933 adds `qvm-bot-settings`, `rust-bot-settings`, `qvm-team-announcemen
 Filter persistence focused groups: `qvm-filter-export`, `rust-filter-export`, `qvm-filter-remove`, `rust-filter-remove`, `qvm-filter-metadata`, `rust-filter-metadata`, `qvm-filter-insert-export`, `rust-filter-insert-export`, `qvm-filter-remove-export` and `rust-filter-remove-export`. The shared Rust filter lifecycle module and adapter select all affected parity reports and scoped gameplay test metadata; formatter edits also select these consumers. Run one group per invocation. Native file effects are captured plans in these checks.
 
 Filter loading focused groups: `qvm-filter-time`, `rust-filter-time`, `qvm-filter-expiry`, `rust-filter-expiry`, `qvm-filter-load`, `rust-filter-load`, `qvm-filter-duration`, `rust-filter-duration`, `qvm-filter-roundtrip` and `rust-filter-roundtrip`. The shared loading module/adapter, native policies, lifecycle module and formatter inputs select affected parity producers and scoped gameplay test-count metadata. Run one group per invocation. Time/file replies are supplied snapshots; native effects are captured.
+
+Filter command/caller focused groups: `qvm-filter-add-command`, `rust-filter-add-command`, `qvm-filter-remove-command`, `rust-filter-remove-command`, `qvm-filter-duration-export`, `rust-filter-duration-export`, `qvm-filter-expiry-admission`, `rust-filter-expiry-admission`, `qvm-filter-frame-prefix` and `rust-filter-frame-prefix`. Shared command/loading/lifecycle/native-policy/formatter changes select their parity reports and scoped gameplay test-count metadata. Run one group per invocation. Full-capacity source loops use bounded262144-instruction budgets; native effects remain supplied/captured.

docs/research/QVM_FILTER_COMMANDS_BATCH.md

@@ -0,0 +1,57 @@
+# Filter commands, admission and frame prefix: RE-954–963
+
+Ten tasks recover five source/Rust contracts across **288 paired fixtures**. They extend the [loading batch](QVM_FILTER_LOADING_BATCH.md) with add/remove commands, resolved duration persistence, full-capacity expiry/admission and the client-frame prefix that invokes expiry. Each task has a separate commit and focused `cargo xtask` validation. Native userinfo/time replies remain supplied; console/network/queued-command/file effects remain captured plans.
+
+| Tasks | Evidence | Paired fixtures |
+| --- | --- | ---: |
+| RE-954 / RE-955 | [Original add command](QVM_FILTER_ADD_COMMAND.md) / [Rust add command](RUST_FILTER_ADD_COMMAND.md) | 96 |
+| RE-956 / RE-957 | [Original remove command](QVM_FILTER_REMOVE_COMMAND.md) / [Rust remove command](RUST_FILTER_REMOVE_COMMAND.md) | 24 |
+| RE-958 / RE-959 | [Original duration/export](QVM_FILTER_DURATION_EXPORT.md) / [Rust composition](RUST_FILTER_DURATION_EXPORT.md) | 80 |
+| RE-960 / RE-961 | [Original expiry/admission](QVM_FILTER_EXPIRY_ADMISSION.md) / [Rust composition](RUST_FILTER_EXPIRY_ADMISSION.md) | 48 |
+| RE-962 / RE-963 | [Original frame prefix](QVM_FILTER_FRAME_PREFIX.md) / [Rust prefix](RUST_FILTER_FRAME_PREFIX.md) | 40 |
+
+## Command findings
+
+Actual253100 treats nonempty input shorter than three bytes as a numeric client request, using actual36038 length and37159 integer-prefix conversion. Short nonnumeric input can therefore select slot0. Invalid slots and inactive clients stop without insertion or kick. An active slot requests a1024-byte userinfo snapshot, looks up `ip` through actual70503, and inserts that value through252829 with saving enabled. The lookup toggles the userinfo selector even when `ip` is missing. After insertion, the wrapper always formats and enqueues `clientkick N` with mode1. It does so after ordinary parser failure; the Rust full-capacity regression also verifies a kick after insertion refusal. This is a queued engine command, not an already-executed client drop.
+
+Inputs of three or more bytes go directly to insertion. Empty input emits exact console or client usage text and skips insertion. Client usage and kick formatting execute70458/37914 and advance the formatter ring. Console, network delivery, userinfo acquisition, command execution and insertion-triggered export remain explicit native boundaries for this wrapper. Native strings use explicit padded storage because the source length/comparison helpers perform word reads beyond the terminator.
+
+Actual253245 handles removal usage similarly, then delegates nonempty input to actual253296. The composition retains first-match duplicate/sentinel behavior, unchanged count, diagnostics and conditional export requests. It does not acquire userinfo or alter its selector. Rust stages unsupported domains without mutation while retaining ordinary source rejection/failure effects.
+
+The duration composition resolves actual252213 through252127 and252500. Successful first-match metadata updates now produce original export bytes and ordered print/open/write/close records. Both duplicate rows serialize in table order, even though only the first receives new metadata. Usage, parse failure and missing matches skip export. Supplied zero handles still reach write/close in the captured contract. Time acquisition, file acceptance and network/console delivery are not executed by these tests.
+
+## Full-capacity expiry/admission
+
+Actual252067 scans all4096 records before actual252643 filters the address against the caller's active count. The48 compositions cover counts0/3/4096, both filter modes, pre/post-expiry times, localhost bypass, short-address scratch and broadcast input. A live match at slot4095 can still reject an address after an earlier match expires. Rust's address helper now accepts the source capacity4096 instead of its earlier1024-entry guard;4097 remains rejected for ordinary address scans.
+
+Comparison-1 holes remain eligible for the matcher's mask comparison. With a full mask, they can match `255.255.255.255`, including after expiry. The port preserves that interaction. Ordinary address rejection retains expiry mutations; unsupported typed domains reject atomically. Table-wide checksums verify unchanged masks/metadata and all untouched rows. Full scans use bounded262144-instruction source budgets. This evidence does not establish live network admission or engine-owned scratch provenance.
+
+## Client-frame prefix and direct call sites
+
+The source report executes150692 through the boundary at150791 with actual65613 and252067 children. If the activity word is zero and signed wrapping elapsed ticks exceed3000, the prefix copies velocity, zeroes its local z component and calculates squared horizontal length. It sets activity only when that square exceeds100. It then copies entity bit64 into a client flag, adds milliseconds to a wrapping accumulator and invokes expiry unconditionally before the boundary. Forty cases cover strict equality, ignored vertical motion, preexisting activity, flags, timer wrap and count zero. Source velocity and last-tick words remain unchanged.
+
+Rust preserves this finite prefix and stages unsupported horizontal values or incomplete tables without mutation. Extra tests cover ignored NaN z and tick wrap. The rest of150692 is still open, so this does not establish whole-frame behavior or overall scheduling cadence.
+
+The verified instruction scan finds these direct call sites:
+
+| Callee | CALL instruction | Enclosing original body |
+| --- | ---: | ---: |
+| Loader252933 | 3924 | 3877 |
+| Expiry252067 | 150789 | 150692 |
+
+These are direct constant-target calls. Indirect dispatch, the complete initialization path, full caller behavior and actual native time cadence require further work.
+
+## Validation
+
+Each task ran its focused `cargo xtask test-group` before its commit: qvm/rust-filter-add-command, qvm/rust-filter-remove-command, qvm/rust-filter-duration-export, qvm/rust-filter-expiry-admission and qvm/rust-filter-frame-prefix. Selected reports regenerated twice identically. Original fixtures use independent wrapper, mutation, arithmetic and admission expectations; Rust parity compares every projected field with the source report and records its SHA256.
+
+Rust regressions additionally cover full-table refusal with a queued kick, active/inactive routing, usage suppression, duplicate preservation, zero-handle export,4096/4097 admission bounds, hole/broadcast interaction, ordinary rejection retaining expiry, strict horizontal gates, ignored z, tick/timer wrap and atomic unsupported-domain rejection. Dependency-selection regressions cover all five new pairs and shared command/loading/lifecycle/native-policy/formatter inputs, including scoped gameplay test-count metadata. All Python runs use the flake-declared Nix runtime, including Git hooks. Original assets are unchanged. The single `cargo xtask test-full --since 696a4794` run after task ten passed: **1,858 Python tests**, **260 Rust tests** (assets10, gameplay220, xtask30), **106 deterministic report producers**, storage policy, links across **535 documentation files** and whitespace guards. Regeneration left no changes. The focused dependency-selection regression also passed. Validation notes are amended into task ten, preserving ten commits for this batch.
+
+## Next work: RE-964
+
+- [ ] Recover the remainder of150692 after150791 and its actual callers/dispatch, plus initialization3877 around the loader call and table-count ownership/reset ordering.
+- [ ] Resolve native userinfo, queued engine commands/client kicks, console/network delivery and file effects with real adapters; verify operation order and failure behavior on macOS/Linux.
+- [ ] Trace native time ABI/calendar rollover and expiry cadence; compose full duration, load, mutation, expiry and address admission across game lifecycle transitions.
+- [ ] Extend scratch/length/capacity domains, repeated-load growth, malformed reply handling and full-capacity command/loader/export interactions.
+- [ ] Recover125185 bot setup/resource ownership,171668 userinfo mutation and5864 ranking/publication; compose native connect/network effects.
+- [ ] Continue native collision/spatial queries, respawn/intermission/events/scoreboard integration, assets/maps/models/shader conversion and Rust/Bevy/Solari acceptance on macOS/Linux.

docs/research/QVM_FILTER_LOADING_BATCH.md

@@ -45,7 +45,7 @@ Each task ran its focused `cargo xtask test-group` before its commit: qvm/rust-f
 
 Rust unit tests additionally check arithmetic extremes, unrelated structure fields, unsigned expiry gates, complete-storage requirements, duplicate routing, explicit missing-file/partial-read replies, ring wrap, negative durations, lossy reloads and atomic unsupported-domain rejection. Dependency-selection regression coverage includes all five report pairs and shared policy/formatter inputs, including scoped gameplay test-count metadata. Python uses the flake-declared Nix runtime throughout, including Git hooks. Original assets are unchanged. The single `cargo xtask test-full --since ed9db0e6` run after task ten passed: **1,838 Python tests**, **249 Rust tests** (assets10, gameplay209, xtask30), **96 deterministic report producers**, storage policy, links across **524 documentation files** and whitespace guards. Regeneration left no changes. The focused dependency-selection regression also passed. Validation notes are amended into task ten, preserving ten commits for the batch.
 
-## Next work: RE-954
+## Historical next work after RE-953
 
 - [ ] Recover253100 add-filter and253245 removal command wrappers, including client-number/userinfo resolution, drop/console/client effects and malformed inputs.
 - [ ] Trace actual252067/252933 callers, initialization ordering, native time-structure ABI, year rollover and expiry cadence; test composition with address admission.
@@ -53,3 +53,5 @@ Rust unit tests additionally check arithmetic extremes, unrelated structure fiel
 - [ ] Compose duration, expiry, removal, persistence and live address filtering with table ownership and all native adapters on macOS/Linux.
 - [ ] Recover125185 bot setup/resource ownership,171668 userinfo mutation and5864 ranking/publication, then compose connect with native network effects.
 - [ ] Continue collision/spatial-query recovery, respawn/intermission/events/scoreboard integration, assets/maps/models/shader conversion and Rust/Bevy/Solari runtime acceptance on macOS/Linux.
+
+Follow-up: [RE-954–963 command/admission/frame-prefix findings and current next work](QVM_FILTER_COMMANDS_BATCH.md).

docs/research/README.md

@@ -1479,3 +1479,7 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-961: Rust full-capacity expiry and address-admission composition](RUST_FILTER_EXPIRY_ADMISSION.md).
 
 - [RE-962: Original client-frame prefix with unconditional expiry](QVM_FILTER_FRAME_PREFIX.md).
+
+- [RE-963: Rust client-frame prefix with source motion gates and expiry](RUST_FILTER_FRAME_PREFIX.md).
+
+- [RE-954–963 filter commands batch and RE-964 next work](QVM_FILTER_COMMANDS_BATCH.md).

docs/research/RUST_FILTER_FRAME_PREFIX.md

@@ -0,0 +1,5 @@
+# Rust client-frame prefix with source motion gates and expiry
+
+RE-963. Focused validation: `cargo xtask test-group rust-filter-frame-prefix`. [Machine report](rust-filter-frame-prefix.json).
+
+Rust matches40 original frame-prefix cases, retaining squared horizontal motion, strict elapsed/square gates, ignored z, source bit64 copy, wrapping accumulation and unconditional full-table expiry. Unit tests cover ignored NaN z, equality, tick wrap and atomic rejection of unsupported horizontal values/incomplete storage. This ports only150692..150791; full callback/caller cadence and native runtime remain open.

docs/research/rust-filter-frame-prefix.json

@@ -0,0 +1,1807 @@
+{
+  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
+  "probes": [
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          0
+        ],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          0
+        ],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          0
+        ],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          0
+        ],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1120403456
+        ],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1120403456
+        ],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1120403456
+        ],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1120403456
+        ],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1123155968
+        ],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1123155968
+        ],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1123155968
+        ],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1123155968
+        ],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1120403456
+        ],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          0,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1120403456
+        ],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1120403456
+        ],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          0,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1120403456
+        ],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1124073472
+        ],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1124073472
+        ],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1124073472
+        ],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [
+          1124073472
+        ],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 7000,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          0,
+          0,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1092616192,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1093664768,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1086324736,
+          1090519040,
+          1148846080
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 3,
+        "fields": [
+          1,
+          0,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      },
+      "source": {
+        "checksum": 6770823300158093670,
+        "clock_calls": [
+          {
+            "op": "time"
+          }
+        ],
+        "count": 0,
+        "fields": [
+          1,
+          1,
+          1
+        ],
+        "last_tick": 6999,
+        "vector_squared": [],
+        "velocity": [
+          1090519040,
+          1090519040,
+          0
+        ]
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-filter-frame-prefix.json",
+  "source_report_sha256": "e65060c9eb4e640fdc56b1e44dfff5df2339bd1023e4759076ccfa9a9c763510"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_filter_frame_prefix.py

@@ -0,0 +1,18 @@
+"""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-frame-prefix.json');data=path.read_bytes();probes=[]
+ for p in json.loads(data)['probes']:
+  probes.append(dict(source={k:p[k] for k in ['clock_calls', 'vector_squared', 'fields', 'velocity', 'last_tick', 'count', 'checksum']},rust=result(binary,'frame',encode(p['input']))))
+ write_json(Path('docs/research/rust-filter-frame-prefix.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):
+ from analyze_qvm_acceleration import word
+ return [a['activity'],a['elapsed'],*[word(v) for v in a['velocity']],a['flags'],a['accumulator'],a['msec'],a['now'],a['count']]
+if __name__=='__main__':main()

scripts/test_rust_filter_frame_prefix.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-frame-prefix.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-frame-prefix.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

@@ -3398,3 +3398,21 @@ report	scripts/analyze_qvm_filter_frame_prefix.py	docs/research/qvm-filter-frame
 edge	docs/research/qvm-filter-frame-prefix.json	scripts/test_qvm_filter_frame_prefix.py
 group	qvm-filter-frame-prefix	scripts/analyze_qvm_filter_frame_prefix.py
 edge	scripts/analyze_qvm_filter_frame_prefix.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_filter_frame_prefix.py	docs/research/rust-filter-frame-prefix.json
+edge	docs/research/rust-filter-frame-prefix.json	scripts/test_rust_filter_frame_prefix.py
+group	rust-filter-frame-prefix	scripts/analyze_rust_filter_frame_prefix.py
+edge	scripts/analyze_rust_filter_frame_prefix.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_filter_frame_prefix.py
+edge	Cargo.lock	scripts/analyze_rust_filter_frame_prefix.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_filter_frame_prefix.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_filter_frame_prefix.py
+edge	crates/urt-gameplay/src/filter_loading.rs	scripts/analyze_rust_filter_frame_prefix.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_filter_frame_prefix.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_filter_frame_prefix.py
+edge	crates/urt-gameplay/src/bin/urt-filter-loading.rs	scripts/analyze_rust_filter_frame_prefix.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_filter_frame_prefix.py
+edge	docs/research/qvm-filter-frame-prefix.json	scripts/analyze_rust_filter_frame_prefix.py
+group	rust-filter-frame-prefix	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_filter_frame_prefix.py
+edge	crates/urt-gameplay/src/filter_commands.rs	scripts/analyze_rust_filter_frame_prefix.py
+edge	crates/urt-gameplay/src/bin/urt-filter-commands.rs	scripts/analyze_rust_filter_frame_prefix.py

xtask/src/lib.rs

@@ -1130,6 +1130,31 @@ mod integration_tests {
             ("native_policy", "filter_insert"),
             ("filter_lifecycle", "filter_export"),
             ("filter_loading", "filter_time"),
+            ("filter_commands", "filter_add_command"),
+            ("filter_loading", "filter_add_command"),
+            ("filter_lifecycle", "filter_add_command"),
+            ("native_policy", "filter_add_command"),
+            ("qvm_format", "filter_add_command"),
+            ("filter_commands", "filter_remove_command"),
+            ("filter_loading", "filter_remove_command"),
+            ("filter_lifecycle", "filter_remove_command"),
+            ("native_policy", "filter_remove_command"),
+            ("qvm_format", "filter_remove_command"),
+            ("filter_commands", "filter_duration_export"),
+            ("filter_loading", "filter_duration_export"),
+            ("filter_lifecycle", "filter_duration_export"),
+            ("native_policy", "filter_duration_export"),
+            ("qvm_format", "filter_duration_export"),
+            ("filter_commands", "filter_expiry_admission"),
+            ("filter_loading", "filter_expiry_admission"),
+            ("filter_lifecycle", "filter_expiry_admission"),
+            ("native_policy", "filter_expiry_admission"),
+            ("qvm_format", "filter_expiry_admission"),
+            ("filter_commands", "filter_frame_prefix"),
+            ("filter_loading", "filter_frame_prefix"),
+            ("filter_lifecycle", "filter_frame_prefix"),
+            ("native_policy", "filter_frame_prefix"),
+            ("qvm_format", "filter_frame_prefix"),
             ("filter_lifecycle", "filter_time"),
             ("native_policy", "filter_time"),
             ("qvm_format", "filter_time"),
@@ -1253,6 +1278,11 @@ mod integration_tests {
             ("qvm-filter-insert", "filter_insert"),
             ("qvm-filter-export", "filter_export"),
             ("qvm-filter-time", "filter_time"),
+            ("qvm-filter-add-command", "filter_add_command"),
+            ("qvm-filter-remove-command", "filter_remove_command"),
+            ("qvm-filter-duration-export", "filter_duration_export"),
+            ("qvm-filter-expiry-admission", "filter_expiry_admission"),
+            ("qvm-filter-frame-prefix", "filter_frame_prefix"),
             ("qvm-filter-expiry", "filter_expiry"),
             ("qvm-filter-load", "filter_load"),
             ("qvm-filter-duration", "filter_duration"),