gameplay: port session restore and scratch ownership

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

@@ -451,6 +451,62 @@ fn run() -> Result<String, String> {
                     .unwrap_or("null".into())
             ))
         }
+        "restore-session" => {
+            if w.len() < 83 {
+                return Err("missing restore header".into());
+            }
+            let mut p = 83;
+            let session = input_blob(&w, &mut p)?.ok_or("null session")?;
+            let ignore = input_blob(&w, &mut p)?.ok_or("null ignore")?;
+            let info = input_blob(&w, &mut p)?.ok_or("null info")?;
+            let data = input_blob(&w, &mut p)?.ok_or("null data")?;
+            if p != w.len() {
+                return Err("trailing restore words".into());
+            }
+            let mut state = RestoreState {
+                values: std::array::from_fn(|j| w[4 + j] as i32),
+                ignore: std::array::from_fn(|j| w[13 + j] as i32),
+                position: w[77..83].try_into().unwrap(),
+            };
+            let mut ring = 0;
+            let out = restore_session(
+                &mut state,
+                RestoreInput {
+                    flags: w[1],
+                    session: &session,
+                    ignore_text: &ignore,
+                    scratch: [w[3]; 5],
+                    position: PositionInput {
+                        mode: w[0] as i32,
+                        enabled: 1,
+                        slot: w[2] as usize,
+                        userinfo: &info,
+                        mapname: b"ut4_test",
+                        name: b"",
+                        values: [0; 6],
+                        handle: 7,
+                    },
+                    file_length: data.len() as i32,
+                    file_data: &data,
+                },
+                &mut ring,
+            )
+            .map_err(|e| format!("{e:?}"))?;
+            Ok(format!(
+                "{{\"scan_result\":{},\"values\":{},\"ignore\":{},\"origin\":{},\"ring\":{},\"info_ring\":{ring},\"cvars\":{},\"load_events\":{},\"load_scan\":{}}}",
+                out.scan_result,
+                list(&state.values.map(|v| v as u32)),
+                list(&state.ignore.map(|v| v as u32)),
+                list(&state.position),
+                out.ring_advance,
+                sets_json(&out.cvars),
+                position_events(&out.position.io.events),
+                out.position
+                    .scan_result
+                    .map(|v| v.to_string())
+                    .unwrap_or("null".into())
+            ))
+        }
         _ => Err("unknown command".into()),
     }
 }

crates/urt-gameplay/src/native_policy.rs

@@ -780,12 +780,7 @@ pub struct NumericScan {
 /// returns-1 and preserves remaining caller-supplied destination words.
 pub fn scan_numeric(text: &[u8], kind: NumericKind, initial: &[u32]) -> Result<NumericScan, Error> {
     let text = text.split(|v| *v == 0).next().unwrap_or_default();
-    if initial.is_empty()
-        || initial.len() > 9
-        || text.len() > 4096
-        || !text.is_ascii()
-        || kind == NumericKind::Float && text.contains(&b'E')
-    {
+    if initial.is_empty() || initial.len() > 9 || text.len() > 4096 || !text.is_ascii() {
         return Err(Error::InvalidInput);
     }
     let mut p = 0;
@@ -831,6 +826,9 @@ pub fn scan_numeric(text: &[u8], kind: NumericKind, initial: &[u32]) -> Result<N
                             p += 1;
                         }
                     }
+                    if p < text.len() && text[p] == b'E' {
+                        return Err(Error::InvalidInput);
+                    }
                     let x = x * sign;
                     if !x.is_finite() {
                         return Err(Error::NonFinite);
@@ -1141,3 +1139,196 @@ mod load_position_tests {
         assert_eq!(out.io.events.last(), Some(&PositionEvent::Close(9)));
     }
 }
+
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct RestoreState {
+    pub values: [i32; 9],
+    pub ignore: [i32; 64],
+    pub position: [u32; 6],
+}
+pub struct RestoreInput<'a> {
+    pub flags: u32,
+    pub session: &'a [u8],
+    pub ignore_text: &'a [u8],
+    pub scratch: [u32; 5],
+    pub position: PositionInput<'a>,
+    pub file_length: i32,
+    pub file_data: &'a [u8],
+}
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct RestoredSession {
+    pub scan_result: i32,
+    pub cvars: Vec<(Vec<u8>, Vec<u8>)>,
+    pub position: PositionLoad,
+    pub ring_advance: u32,
+}
+fn signed_prefix(v: &[u8]) -> i32 {
+    let mut p = 0;
+    while p < v.len() && (v[p] as i8) <= 32 {
+        p += 1;
+    }
+    if p == v.len() {
+        return 0;
+    }
+    let negative = v[p] == b'-';
+    if matches!(v[p], b'+' | b'-') {
+        p += 1;
+    }
+    let mut n = 0i32;
+    while p < v.len() && v[p].is_ascii_digit() {
+        n = n.wrapping_mul(10).wrapping_add((v[p] - b'0') as i32);
+        p += 1;
+    }
+    if negative { n.wrapping_neg() } else { n }
+}
+/// Actual247219 composition. Scratch is an explicit caller-owned snapshot,
+/// required because the original ignores scanner failure and reads these words.
+pub fn restore_session(
+    state: &mut RestoreState,
+    input: RestoreInput<'_>,
+    info_ring: &mut u32,
+) -> Result<RestoredSession, Error> {
+    if input.position.slot >= 64 {
+        return Err(Error::InvalidIndex);
+    }
+    let mut staged = state.clone();
+    let mut selector = *info_ring;
+    let session = cbytes(input.session);
+    let session = &session[..session.len().min(1023)];
+    let ignored = cbytes(input.ignore_text);
+    let ignored = &ignored[..ignored.len().min(1023)];
+    let mut initial = vec![input.scratch[0]];
+    initial.extend(staged.values[1..5].iter().map(|v| *v as u32));
+    initial.extend_from_slice(&input.scratch[1..]);
+    let scan = scan_numeric(session, NumericKind::Integer, &initial)?;
+    for j in 0..5 {
+        staged.values[j] = scan.words[j] as i32;
+    }
+    for j in 5..8 {
+        staged.values[j] = i32::from(scan.words[j] as i32 > 0);
+    }
+    staged.values[8] = i32::from(
+        scan.words[8] as i32 > 0
+            && crate::intermission::team_mode(input.position.mode)
+            && input.flags & 1 != 0,
+    );
+    let mut p = 0;
+    while p < ignored.len() {
+        let end = ignored[p..]
+            .iter()
+            .position(|v| *v == b',')
+            .map(|j| p + j)
+            .unwrap_or(ignored.len());
+        let index = signed_prefix(&ignored[p..end]);
+        if (0..64).contains(&index) {
+            staged.ignore[index as usize] = 1;
+        }
+        p = if end < ignored.len() { end + 1 } else { end };
+    }
+    let slot = input.position.slot;
+    let mut context = input.position;
+    context.values = staged.position;
+    let position = load_position(context, input.file_length, input.file_data, &mut selector)?;
+    staged.position = position.values;
+    let cvars = vec![
+        (format!("session{slot}").into_bytes(), session.to_vec()),
+        (format!("sessIgnore{slot}").into_bytes(), ignored.to_vec()),
+    ];
+    let ring_advance = 2 + position.io.ring_advance;
+    *state = staged;
+    *info_ring = selector;
+    Ok(RestoredSession {
+        scan_result: scan.result,
+        cvars,
+        position,
+        ring_advance,
+    })
+}
+#[cfg(test)]
+mod restore_tests {
+    use super::*;
+    #[test]
+    fn partial_integer_parse_retains_explicit_scratch() {
+        let mut state = RestoreState {
+            values: [7; 9],
+            ignore: [2; 64],
+            position: [0; 6],
+        };
+        let mut ring = 0;
+        let out = restore_session(
+            &mut state,
+            RestoreInput {
+                flags: 1,
+                session: b"1,-2,3",
+                ignore_text: b"-1,64,x,",
+                scratch: [1; 5],
+                position: PositionInput {
+                    mode: 3,
+                    enabled: 1,
+                    slot: 0,
+                    userinfo: b"",
+                    mapname: b"",
+                    name: b"",
+                    values: [0; 6],
+                    handle: 0,
+                },
+                file_length: 0,
+                file_data: b"",
+            },
+            &mut ring,
+        )
+        .unwrap();
+        assert_eq!(out.scan_result, -1);
+        assert_eq!(state.values, [1, 0, 7, 7, 7, 1, 1, 1, 1]);
+        assert_eq!(state.ignore[0], 1);
+        assert_eq!(state.ignore[1], 2);
+    }
+    #[test]
+    fn unsupported_scan_does_not_commit_state() {
+        let mut state = RestoreState {
+            values: [7; 9],
+            ignore: [2; 64],
+            position: [0; 6],
+        };
+        let old = state.clone();
+        let mut ring = 0;
+        assert_eq!(
+            restore_session(
+                &mut state,
+                RestoreInput {
+                    flags: 1,
+                    session: b"\xff",
+                    ignore_text: b"x",
+                    scratch: [1; 5],
+                    position: PositionInput {
+                        mode: 3,
+                        enabled: 1,
+                        slot: 0,
+                        userinfo: b"",
+                        mapname: b"",
+                        name: b"",
+                        values: [0; 6],
+                        handle: 0
+                    },
+                    file_length: 0,
+                    file_data: b""
+                },
+                &mut ring
+            ),
+            Err(Error::InvalidInput)
+        );
+        assert_eq!(state, old);
+        assert_eq!(ring, 0);
+    }
+}
+
+#[cfg(test)]
+mod restore_tail_tests {
+    use super::*;
+    #[test]
+    fn uppercase_name_after_six_floats_is_not_scanned() {
+        let out = scan_numeric(b"1,2,3,4,5,6\nPLAYER", NumericKind::Float, &[0; 6]).unwrap();
+        assert_eq!(out.result, 6);
+        assert_eq!(out.words[5], 6f32.to_bits());
+    }
+}

docs/FINDINGS.md

@@ -1706,3 +1706,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-902:** 144 actual247219 compositions execute original scanner, signed atoi, comma search, mode classifier and246554 load. Session scan result is ignored: partial fields and explicitly supplied caller-scratch words determine subsequent values; restored booleans use>0, with the final one also requiring team mode and flag1. Ignore tokens set in-range entries to1 without clearing old entries; invalid text maps to0. Actual saved-position load follows cvar restoration. Engine cvars/file bytes and initial scratch are supplied, not assumed initialized; native ownership and full reload integration remain open. [Evidence](research/QVM_SESSION_RESTORE.md).
+
+
+**RE-903:** Rust matches144 actual247219/scanner/atoi/mode/position-load compositions, preserving ignored parse result, explicit caller scratch, positive-only booleans and final team/flag gate. Ignore entries accumulate without clearing and invalid numeric text addresses slot0. State and selector stage atomically on unsupported domains. Native cvars/files, real scratch provenance and full map reload remain open. [Evidence](research/RUST_SESSION_RESTORE.md).

docs/PROVISIONAL_TODO.md

@@ -1740,3 +1740,9 @@ RE-901: Rust matches96 original246554 read cases, preserving mode/enabled/userin
 
 
 RE-902: 144 actual247219 compositions execute original scanner, signed atoi, comma search, mode classifier and246554 load. Session scan result is ignored: partial fields and explicitly supplied caller-scratch words determine subsequent values; restored booleans use>0, with the final one also requiring team mode and flag1. Ignore tokens set in-range entries to1 without clearing old entries; invalid text maps to0. Actual saved-position load follows cvar restoration. Engine cvars/file bytes and initial scratch are supplied, not assumed initialized; native ownership and full reload integration remain open. Full runtime completion remains open. [Evidence](research/QVM_SESSION_RESTORE.md).
+
+
+RE-903: Rust matches144 actual247219/scanner/atoi/mode/position-load compositions, preserving ignored parse result, explicit caller scratch, positive-only booleans and final team/flag gate. Ignore entries accumulate without clearing and invalid numeric text addresses slot0. State and selector stage atomically on unsupported domains. Native cvars/files, real scratch provenance and full map reload remain open. Full runtime completion remains open. [Evidence](research/RUST_SESSION_RESTORE.md).
+
+
+RE-894–903 completed bounded userinfo/scanner/saved-file/session-restore source and Rust contracts. RE-904 tracks remaining numeric/scratch domains, real reload and native IO/runtime integration. [Batch and next work](research/QVM_SAVED_RESTORE_BATCH.md).

docs/RESEARCH_LEDGER.md

@@ -2225,3 +2225,13 @@ Rust matches96 original246554 read cases, preserving mode/enabled/userinfo gatin
 ## 2026-10-28 — RE-902 Original session restore with actual saved-position load
 
 144 actual247219 compositions execute original scanner, signed atoi, comma search, mode classifier and246554 load. Session scan result is ignored: partial fields and explicitly supplied caller-scratch words determine subsequent values; restored booleans use>0, with the final one also requiring team mode and flag1. Ignore tokens set in-range entries to1 without clearing old entries; invalid text maps to0. Actual saved-position load follows cvar restoration. Engine cvars/file bytes and initial scratch are supplied, not assumed initialized; native ownership and full reload integration remain open. Focused `cargo xtask test-group qvm-session-restore` passes (10 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.
+
+
+## 2026-10-28 — RE-903 Rust session restore with caller-scratch ownership
+
+Rust matches144 actual247219/scanner/atoi/mode/position-load compositions, preserving ignored parse result, explicit caller scratch, positive-only booleans and final team/flag gate. Ignore entries accumulate without clearing and invalid numeric text addresses slot0. State and selector stage atomically on unsupported domains. Native cvars/files, real scratch provenance and full map reload remain open. Focused `cargo xtask test-group rust-session-restore` passes (9 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.
+
+
+### RE-894–903 full batch validation (2026-10-28)
+
+After the tenth commit, `cargo xtask test-full --since 6e01995b` passed with the flake-declared Nix Python: 1,753 Python tests,199 Rust tests (assets10, gameplay159, xtask30),22 affected report producers regenerated twice deterministically, storage policy,469 documentation link checks and whitespace guards. No generated-report drift. Ten task commits since6e01995b; results are amended into the tenth commit. [Findings and next work](research/QVM_SAVED_RESTORE_BATCH.md).

docs/REVERSE_ENGINEERING_TODO.md

@@ -1749,7 +1749,7 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 - [x] RE-893 Rust normal map transition with session persistence ([evidence](research/RUST_NORMAL_MAP_SESSION.md)).
 
 
-- [ ] RE-894 Recover saved-position/session restore/native collision and complete map/intermission/runtime ownership ([next tasks](research/QVM_QUERIED_PERSISTENCE_BATCH.md)).
+- [ ] Follow-up after RE-893: recover saved-position/session restore/native collision and complete map/intermission/runtime ownership ([next tasks](research/QVM_QUERIED_PERSISTENCE_BATCH.md)).
 
 
 - [x] RE-894 Original userinfo key lookup and alternating buffers ([evidence](research/QVM_INFO_LOOKUP.md)).
@@ -1777,3 +1777,9 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-902 Original session restore with actual saved-position load ([evidence](research/QVM_SESSION_RESTORE.md)).
+
+
+- [x] RE-903 Rust session restore with caller-scratch ownership ([evidence](research/RUST_SESSION_RESTORE.md)).
+
+
+- [ ] RE-904 Complete numeric/fatal/alias domains, scratch provenance, real reload and native IO/runtime integration ([next tasks](research/QVM_SAVED_RESTORE_BATCH.md)).

docs/TESTING.md

@@ -163,3 +163,6 @@ RE-874–883 adds focused groups `qvm-bot-best`, `rust-bot-best`, `qvm-bot-breed
 
 
 RE-884–893 adds focused groups `qvm-queried-spawn`, `rust-queried-spawn`, `qvm-queried-camera`, `rust-queried-camera`, `qvm-session-write`, `rust-session-write`, `qvm-post-map-session`, `rust-post-map-session`, `qvm-normal-map-session` and `rust-normal-map-session`. Invoke one group per `cargo xtask test-group <name>`. Full batch validation after task ten uses `cargo xtask test-full --since b9a94452` with explicit flake-declared Nix PYTHON. [Evidence and limits](research/QVM_QUERIED_PERSISTENCE_BATCH.md).
+
+
+RE-894–903 adds focused groups `qvm-info-lookup`, `rust-info-lookup`, `qvm-numeric-scan`, `rust-numeric-scan`, `qvm-position-save`, `rust-position-save`, `qvm-position-load`, `rust-position-load`, `qvm-session-restore` and `rust-session-restore`. Use one group per invocation. Full validation after task ten uses `cargo xtask test-full --since 6e01995b` with explicit flake-declared Nix PYTHON. [Source domains and scratch ownership](research/QVM_SAVED_RESTORE_BATCH.md).

docs/research/QVM_QUERIED_PERSISTENCE_BATCH.md

@@ -41,7 +41,7 @@ Focused `cargo xtask test-group <name>` ran before each task commit, with determ
 
 Dependency-selection regression coverage includes all five source/Rust report pairs, camera/native-policy consumers, and the transition, formatting and map-command dependencies of normal session composition. Python uses only the resolved Nix runtime declared by flake.nix, with explicit PYTHON for xtask and Git hooks. No original asset payload changed. After commit ten, `cargo xtask test-full --since b9a94452` passed once: 1,738 Python tests and188 Rust tests (assets10, gameplay148, xtask30). All33 affected report producers regenerated twice deterministically. Storage policy, links across458 documentation files and whitespace checks passed with no generated-report drift. These notes were amended into task ten.
 
-## Next work: RE-894
+## Follow-up work (expanded by RE-894–903)
 
 - [ ] Recover246746 saved-position behavior, actual userinfo70503 lookup, GUID/map path generation, floating formatter70386, native file write/close and ownership/error branches.
 - [ ] Recover session restore and clear246938 callers; trace each metadata producer and ignore-table mutation, validating persistence across an actual map reload.
@@ -51,3 +51,5 @@ Dependency-selection regression coverage includes all five source/Rust report pa
 - [ ] Recover221662 map-list parsing and compose it with7188, normal/series6939 and readiness, including real engine cvar refresh and command dispatch.
 - [ ] Compose respawn175123/slow setup156523 and complete begin-intermission, plus allocator/event lifetime and real ranking/scoreboard/network integration.
 - [ ] Validate actual Linux/macOS Rust/Bevy/Solari gameplay and rendering. Cross-platform game completion remains open.
+
+[RE-894–903](QVM_SAVED_RESTORE_BATCH.md) recovers userinfo/scanning, saved-position read/write and bounded session restore. Its RE-904 list supersedes the historical follow-up list above.

docs/research/QVM_SAVED_RESTORE_BATCH.md

@@ -0,0 +1,55 @@
+# Userinfo, numeric scanning and restore: RE-894–903
+
+Ten separately committed tasks recover original QVM persistence behavior and compare it with Rust across504 paired source cases. File handles, file bytes, engine userinfo/cvars and initial caller scratch are supplied inputs; native writes/reads/closes are captured as intentions. This evidence does not establish a playable game or native engine/file acceptance.
+
+| Task | Evidence | Cases |
+| --- | --- | ---: |
+| RE-894 | [Userinfo70503 lookup](QVM_INFO_LOOKUP.md) | 96 |
+| RE-895 | [Rust userinfo and selector ownership](RUST_INFO_LOOKUP.md) | 96 |
+| RE-896 | [Numeric38326/38355/37159/36779 scanner](QVM_NUMERIC_SCAN.md) | 72 |
+| RE-897 | [Rust comma numeric scanner](RUST_NUMERIC_SCAN.md) | 72 |
+| RE-898 | [Saved-position246746 writes](QVM_POSITION_SAVE.md) | 96 |
+| RE-899 | [Rust saved-position writes](RUST_POSITION_SAVE.md) | 96 |
+| RE-900 | [Saved-position246554 reads](QVM_POSITION_LOAD.md) | 96 |
+| RE-901 | [Rust saved-position reads](RUST_POSITION_LOAD.md) | 96 |
+| RE-902 | [Session247219 restore with actual load](QVM_SESSION_RESTORE.md) | 144 |
+| RE-903 | [Rust session restore and scratch ownership](RUST_SESSION_RESTORE.md) | 144 |
+
+## Userinfo and numeric parsing
+
+70503 strips an optional initial backslash, walks complete key/value pairs, compares keys case-insensitively through actual69386 and returns the first matching value. An empty matched value has a different pointer result from a miss. Non-null calls XOR selector23712 between two8192-byte buffers even on a miss; null arguments preserve the selector. Embedded NUL ends logical strings. The finite corpus covers incomplete pairs, duplicate/case-varied keys, empty values and null arguments; oversized/fatal and alias domains remain open.
+
+Numeric38326 delegates to actual38355, which calls37159 for integers and36779 for floats. The recovered comma-template subset does not consume integer signs or leading whitespace. It writes0 for an unparsed field without incrementing the assignment count, then a literal mismatch can return-1 after earlier writes. Integer digit accumulation wraps32 bits. The float path uses f32 at each accumulation/scaling step, supports signs/decimal whitespace, and stops at lowercase e. Empty or unparsed final fields can still write0. The caller's untouched words are explicit inputs to both the Rust API and the independent oracle.
+
+Uppercase exponent handling, non-ASCII numeric text and other scanf conversions remain outside the Rust scanner domain. Unsupported uppercase E is checked at the active numeric cursor, so a valid six-float prefix followed by newline/PLAYER is accepted without scanning the name. The source restore fixtures and a Rust regression verify that unconsumed name suffix. This is a bounded comma-template port, not a general scanner implementation.
+
+## Saved-position file flow
+
+246746 gates on mode9, then fetches userinfo and extracts cl_guid before testing enable>=1, nonempty GUID and any nonzero position component at offsets3716/3720/3724. Angles alone at3728/3732/3736 do not trigger saving. It reads mapname with capacity64, formats positions/map/GUID.pos through actual70458/37914, and opens in mode1. GUID bytes pass into this path unchanged in this body. The supplied open return is ignored; a nonzero handle requests actual70386/37914 float/name formatting, then native write and close. The file payload has six comma-separated source float values, newline, and the logical name at client offset504. Native strncpy remains modeled inside the bounded formatter wrapper.
+
+246554 uses the same userinfo/path gates and opens in mode0. A nonzero handle plus signed length>0 and unsigned length<1023 permits reading. Actual38326 must report exactly6 assignments before all six position/angle words are copied. Malformed/truncated input leaves the previous six words. Valid-length read paths close after scanning, including failures; invalid-length exits issue no close in this body. Native handle ownership and the engine open/close API remain unverified, so the port preserves these observed intentions rather than inferring cleanup semantics.
+
+The load integration exposed a fixture byte-coherence gap for short userinfo values: nested handlers now transfer the returned value's exact bytes/NUL as well as changed words. The two original info-buffer domains are explicitly initialized for the fixture snapshot, providing the optimized strlen word lookahead around short values. Existing saved-write fixtures were rerun; the emitted file events stayed unchanged. These are analysis-memory fixes, not modifications to the game binary.
+
+## Session restore and caller scratch
+
+247219 requests sessionN and scans nine integers. It ignores the scanner result, stores the first temporary into field3096, and leaves the four direct destination fields subject to partial parsing. It converts the next three temporaries using signed>0; the final boolean additionally requires original33715 team classification and flag1 in35000468. A malformed session can therefore depend on previous caller-stack words. Fixtures supply two explicit scratch snapshots at the original local offsets instead of assuming initialized memory. The Rust API requires that snapshot and stages its state on unsupported-domain errors. Actual stack provenance and a production compatibility/default policy remain open.
+
+sessIgnoreN is read separately. Actual36489 finds commas and37159 parses signed integer prefixes. Valid indices0..63 set the corresponding existing table word to1; the table is not cleared. Duplicate entries remain harmless repeated stores, negative/out-of-range indices are skipped, and invalid/empty numeric tokens can select index0. The root then executes actual246554 saved-position loading, including the original userinfo, path, scanner and file-ownership branches. The144 compositions vary modes, team flag, complete/partial/empty sessions, prior ignore words and scratch snapshots. Real cvar storage and an actual map-reload round trip remain open.
+
+## Validation
+
+Each task used focused `cargo xtask test-group <name>` before its commit, with deterministic double report regeneration, relevant source/Rust tests, scoped gameplay tests and storage/documentation/whitespace guards. Groups are qvm-info-lookup, rust-info-lookup, qvm-numeric-scan, rust-numeric-scan, qvm-position-save, rust-position-save, qvm-position-load, rust-position-load, qvm-session-restore and rust-session-restore. Shared byte/oracle changes also received focused writer/scanner/load regression checks.
+
+Dependency-selection regression coverage includes all five new source-to-Rust report pairs, native_policy consumers, formatting dependencies and intermission classification used by restore. Every Python process uses the resolved Nix runtime declared by flake.nix, with explicit PYTHON for xtask and Git hooks. No original asset payload changed. After commit ten, `cargo xtask test-full --since 6e01995b` passed once: 1,753 Python tests and199 Rust tests (assets10, gameplay159, xtask30). All22 affected report producers regenerated twice deterministically. Storage policy, links across469 documentation files and whitespace checks passed with no generated-report drift. These notes were amended into task ten.
+
+## Next work: RE-904
+
+- [ ] Recover uppercase exponent behavior and remaining38355 conversions, non-ASCII parsing, oversized/fatal userinfo and pointer/buffer alias contracts.
+- [ ] Trace actual scratch provenance on malformed session restore; decide a documented production compatibility/default policy after validating native behavior.
+- [ ] Recover session clear246938 callers and initialization, metadata producers and ignore-table mutations; execute write/restore across a real map reload.
+- [ ] Integrate actual246746 and246963 together in249007 and full normal/series6939 flows; carry native file/cvar ownership and real command dispatch.
+- [ ] Connect saved-file IO intentions to a platform-neutral engine adapter and validate real file-open return/handle/close semantics on Linux/macOS.
+- [ ] Replace supplied spatial-query answers with recovered native broadphase, integrate bot rotation/native genetic behavior, and recover221662 map-list parsing.
+- [ ] Compose complete respawn/begin-intermission, event lifetime and ranking/scoreboard/network execution.
+- [ ] Validate actual Linux/macOS Rust/Bevy/Solari gameplay/rendering. Full-game completion remains open.

docs/research/README.md

@@ -1312,3 +1312,9 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-902: Original session restore with actual saved-position load](QVM_SESSION_RESTORE.md).
+
+
+[RE-903: Rust session restore with caller-scratch ownership](RUST_SESSION_RESTORE.md).
+
+
+[RE-894–903 saved-position and session restore batch](QVM_SAVED_RESTORE_BATCH.md).

docs/research/RUST_SESSION_RESTORE.md

@@ -0,0 +1,7 @@
+# Rust session restore with caller-scratch ownership
+
+RE-903. Reproduce with `python3 scripts/analyze_rust_session_restore.py`; focused validation: `cargo xtask test-group rust-session-restore`. [Machine report](rust-session-restore.json).
+
+Rust matches144 actual247219/scanner/atoi/mode/position-load compositions, preserving ignored parse result, explicit caller scratch, positive-only booleans and final team/flag gate. Ignore entries accumulate without clearing and invalid numeric text addresses slot0. State and selector stage atomically on unsupported domains. Native cvars/files, real scratch provenance and full map reload remain open.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/qvm-session-restore.json

@@ -162,7 +162,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -456,7 +456,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -750,7 +750,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -1049,7 +1049,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -1333,7 +1333,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -1622,7 +1622,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -1881,7 +1881,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -2140,7 +2140,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -2404,7 +2404,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -2668,7 +2668,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -2922,7 +2922,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -3176,7 +3176,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -3425,7 +3425,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -3679,7 +3679,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -3933,7 +3933,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -4192,7 +4192,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -4436,7 +4436,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -4685,7 +4685,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -6678,7 +6678,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -6972,7 +6972,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -7266,7 +7266,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -7565,7 +7565,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -7849,7 +7849,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -8138,7 +8138,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -8397,7 +8397,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -8656,7 +8656,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -8920,7 +8920,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -9184,7 +9184,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -9438,7 +9438,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -9692,7 +9692,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -9941,7 +9941,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -10195,7 +10195,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -10449,7 +10449,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -10708,7 +10708,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -10952,7 +10952,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -11201,7 +11201,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -13194,7 +13194,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -13488,7 +13488,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -13782,7 +13782,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -14081,7 +14081,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -14365,7 +14365,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -14654,7 +14654,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -14913,7 +14913,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -15172,7 +15172,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -15436,7 +15436,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -15700,7 +15700,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -15954,7 +15954,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -16208,7 +16208,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -16457,7 +16457,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -16711,7 +16711,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -16965,7 +16965,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -17224,7 +17224,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -17468,7 +17468,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -17717,7 +17717,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -19710,7 +19710,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -20004,7 +20004,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -20298,7 +20298,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -20597,7 +20597,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -20881,7 +20881,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -21170,7 +21170,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -21429,7 +21429,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -21688,7 +21688,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -21952,7 +21952,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -22216,7 +22216,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -22470,7 +22470,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -22724,7 +22724,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -22973,7 +22973,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -23227,7 +23227,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -23481,7 +23481,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -23740,7 +23740,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -23984,7 +23984,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -24233,7 +24233,7 @@
       ],
       "info_ring": 0,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -26266,7 +26266,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -26574,7 +26574,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -26817,7 +26817,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -27125,7 +27125,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -27368,7 +27368,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -27676,7 +27676,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -27924,7 +27924,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -28232,7 +28232,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -28465,7 +28465,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -28773,7 +28773,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -29011,7 +29011,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -29319,7 +29319,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -29527,7 +29527,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -29840,7 +29840,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -30048,7 +30048,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -30361,7 +30361,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -30574,7 +30574,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -30887,7 +30887,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -31100,7 +31100,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -31413,7 +31413,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -31616,7 +31616,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -31929,7 +31929,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -32132,7 +32132,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -32445,7 +32445,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -32608,7 +32608,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -32883,7 +32883,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -33158,7 +33158,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -33438,7 +33438,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -33703,7 +33703,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -33973,7 +33973,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 0,
         "ignore": "",
         "ignore_before": [
@@ -37234,7 +37234,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -37542,7 +37542,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -37785,7 +37785,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -38093,7 +38093,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -38336,7 +38336,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -38644,7 +38644,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -38892,7 +38892,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -39200,7 +39200,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -39433,7 +39433,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -39741,7 +39741,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -39979,7 +39979,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -40287,7 +40287,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -40495,7 +40495,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -40808,7 +40808,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -41016,7 +41016,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -41329,7 +41329,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -41542,7 +41542,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -41855,7 +41855,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -42068,7 +42068,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -42381,7 +42381,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -42584,7 +42584,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -42897,7 +42897,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -43100,7 +43100,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -43413,7 +43413,7 @@
           },
           {
             "handle": 7,
-            "length": 24,
+            "length": 31,
             "op": "read"
           },
           {
@@ -43576,7 +43576,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -43851,7 +43851,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "312c332c312c",
         "ignore_before": [
@@ -44126,7 +44126,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -44406,7 +44406,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "2d312c36342c322c782c",
         "ignore_before": [
@@ -44671,7 +44671,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [
@@ -44941,7 +44941,7 @@
       ],
       "info_ring": 1,
       "input": {
-        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e35",
+        "data": "312e32352c2d322e352c332c39302c3138302c2d34352e350a504c41594552",
         "flags": 1,
         "ignore": "",
         "ignore_before": [

docs/research/rust-health-impulse.json

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

scripts/analyze_qvm_session_restore.py

@@ -20,7 +20,7 @@ def main():
   for j,value in enumerate(old_ignore):m[pointer+3780+4*j]=value
   for j,value in enumerate(origin):m[pointer+3716+4*j]=value
   for o in SCRATCH:m[RESTORE+o]=scratch
-  data=b'1.25,-2.5,3,90,180,-45.5' if profile!=3 else b'1,2,x,4,5,6';userinfo=b'' if profile==2 else b'\\cl_guid\\ID';m,p,b=restore_session(ins,m,b,pointer,sessions[profile],ignores[ignore],userinfo,b'ut4_test',7,len(data),data);p.update(input=dict(mode=mode,flags=flags,slot=3,profile=profile,session=sessions[profile].hex(),ignore=ignores[ignore].hex(),scratch=scratch,values=values,ignore_before=old_ignore,origin=origin,userinfo=userinfo.hex(),data=data.hex()),values=[m[pointer+o]&0xffffffff for o in FIELDS],ignore=[m[pointer+3780+4*j]&0xffffffff for j in range(64)],origin=[m[pointer+3716+4*j]&0xffffffff for j in range(6)],ring=m[23708]&0xffffffff,info_ring=m[23712]&0xffffffff);rows.append(p)
+  data=b'1.25,-2.5,3,90,180,-45.5\nPLAYER' if profile!=3 else b'1,2,x,4,5,6';userinfo=b'' if profile==2 else b'\\cl_guid\\ID';m,p,b=restore_session(ins,m,b,pointer,sessions[profile],ignores[ignore],userinfo,b'ut4_test',7,len(data),data);p.update(input=dict(mode=mode,flags=flags,slot=3,profile=profile,session=sessions[profile].hex(),ignore=ignores[ignore].hex(),scratch=scratch,values=values,ignore_before=old_ignore,origin=origin,userinfo=userinfo.hex(),data=data.hex()),values=[m[pointer+o]&0xffffffff for o in FIELDS],ignore=[m[pointer+3780+4*j]&0xffffffff for j in range(64)],origin=[m[pointer+3716+4*j]&0xffffffff for j in range(6)],ring=m[23708]&0xffffffff,info_ring=m[23712]&0xffffffff);rows.append(p)
 
  write_json(Path('docs/research/qvm-session-restore.json'),{'source':q['source'],'sha256':q['sha256'],'root':247219,'probes':rows,'limits':'144 actual247219 compositions execute original scanner, signed atoi, comma search, mode classifier and246554 load. Session scan result is ignored: partial fields and explicitly supplied caller-scratch words determine subsequent values; restored booleans use>0, with the final one also requiring team mode and flag1. Ignore tokens set in-range entries to1 without clearing old entries; invalid text maps to0. Actual saved-position load follows cvar restoration. Engine cvars/file bytes and initial scratch are supplied, not assumed initialized; native ownership and full reload integration remain open.'})
 if __name__=='__main__':main()

scripts/analyze_rust_session_restore.py

@@ -0,0 +1,15 @@
+#!/usr/bin/env python3
+import hashlib,json
+from pathlib import Path
+from rust_native_policy_support import binary,result,invoke
+from analyze_qvm import write_json
+def blob(s):return [len(bytes.fromhex(s)),*bytes.fromhex(s)]
+def encode(s):
+ a=s['input'];return [a['mode'],a['flags'],a['slot'],a['scratch'],*a['values'],*a['ignore_before'],*a['origin'],*blob(a['session']),*blob(a['ignore']),*blob(a['userinfo']),*blob(a['data'])]
+def project(s):return {k:s[k] for k in ['scan_result','values','ignore','origin','ring','info_ring','cvars']}|{'load_events':s['load']['events'],'load_scan':s['load']['scan_result']}
+
+def main():
+ b=binary();p=Path('docs/research/qvm-session-restore.json');data=p.read_bytes();rows=[]
+ for s in json.loads(data)['probes']:rows.append({'source':project(s),'rust':result(b,'restore-session',encode(s))})
+ write_json(Path('docs/research/rust-session-restore.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust matches144 actual247219/scanner/atoi/mode/position-load compositions, preserving ignored parse result, explicit caller scratch, positive-only booleans and final team/flag gate. Ignore entries accumulate without clearing and invalid numeric text addresses slot0. State and selector stage atomically on unsupported domains. Native cvars/files, real scratch provenance and full map reload remain open.'})
+if __name__=='__main__':main()

scripts/test_rust_session_restore.py

@@ -0,0 +1,9 @@
+import hashlib,json,unittest
+from pathlib import Path
+class PortTests(unittest.TestCase):
+ def test_all_original_cases(self):
+  r=json.loads(Path('docs/research/rust-session-restore.json').read_text());src=json.loads(Path(r['source_report']).read_text());self.assertEqual(len(r['probes']),len(src['probes']));self.assertGreater(len(r['probes']),20)
+  for p in r['probes']:self.assertEqual(p['rust'],p['source'])
+ def test_source_identity(self):
+  r=json.loads(Path('docs/research/rust-session-restore.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

@@ -2788,3 +2788,18 @@ group	qvm-session-restore	scripts/analyze_qvm_session_restore.py
 edge	scripts/analyze_qvm_session_restore.py	scripts/analyze_qvm_resumer_audit.py
 group	qvm-session-restore	scripts/analyze_qvm_numeric_scan.py
 group	qvm-session-restore	scripts/analyze_qvm_position_load.py
+edge	Cargo.toml	scripts/analyze_rust_session_restore.py
+edge	Cargo.lock	scripts/analyze_rust_session_restore.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_session_restore.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_session_restore.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_session_restore.py
+edge	crates/urt-gameplay/src/bin/urt-native-policy.rs	scripts/analyze_rust_session_restore.py
+edge	docs/research/qvm-session-restore.json	scripts/analyze_rust_session_restore.py
+group	rust-session-restore	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_session_restore.py
+edge	crates/urt-gameplay/src/intermission.rs	scripts/analyze_rust_session_restore.py
+report	scripts/analyze_rust_session_restore.py	docs/research/rust-session-restore.json
+edge	docs/research/rust-session-restore.json	scripts/test_rust_session_restore.py
+group	rust-session-restore	scripts/analyze_rust_session_restore.py
+edge	scripts/analyze_rust_session_restore.py	scripts/analyze_qvm_resumer_audit.py
+group	rust-session-restore	scripts/analyze_qvm_session_restore.py

xtask/src/lib.rs

@@ -1099,6 +1099,12 @@ mod integration_tests {
             ("map_commands", "normal_map_session"),
             ("transition", "normal_map_session"),
             ("qvm_format", "normal_map_session"),
+            ("native_policy", "info_lookup"),
+            ("native_policy", "numeric_scan"),
+            ("native_policy", "position_save"),
+            ("native_policy", "position_load"),
+            ("native_policy", "session_restore"),
+            ("intermission", "session_restore"),
             ("protected", "protected_update"),
             ("mode10", "mode10_entry"),
             ("intercept_animation", "mode10_animation"),
@@ -1168,6 +1174,11 @@ mod integration_tests {
             ("qvm-session-write", "session_write"),
             ("qvm-post-map-session", "post_map_session"),
             ("qvm-normal-map-session", "normal_map_session"),
+            ("qvm-info-lookup", "info_lookup"),
+            ("qvm-numeric-scan", "numeric_scan"),
+            ("qvm-position-save", "position_save"),
+            ("qvm-position-load", "position_load"),
+            ("qvm-session-restore", "session_restore"),
             ("qvm-rank-small-sort", "rank_sort"),
             ("qvm-rank-large-sort", "rank_sort"),
             ("qvm-ranking-complete", "ranking_complete"),