gameplay: port saved-position write intentions

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

@@ -383,6 +383,38 @@ fn run() -> Result<String, String> {
                 list(&out.words)
             ))
         }
+        "save-position" => {
+            if w.len() < 10 {
+                return Err("missing save header".into());
+            }
+            let mut p = 10;
+            let info = input_blob(&w, &mut p)?.ok_or("null info")?;
+            let map = input_blob(&w, &mut p)?.ok_or("null map")?;
+            let name = input_blob(&w, &mut p)?.ok_or("null name")?;
+            if p != w.len() {
+                return Err("trailing save words".into());
+            }
+            let mut ring = 0;
+            let out = save_position(
+                PositionInput {
+                    mode: w[0] as i32,
+                    enabled: w[1] as i32,
+                    slot: w[2] as usize,
+                    handle: w[3],
+                    values: w[4..10].try_into().unwrap(),
+                    userinfo: &info,
+                    mapname: &map,
+                    name: &name,
+                },
+                &mut ring,
+            )
+            .map_err(|e| format!("{e:?}"))?;
+            Ok(format!(
+                "{{\"events\":{},\"ring\":{},\"info_ring\":{ring}}}",
+                position_events(&out.events),
+                out.ring_advance
+            ))
+        }
         _ => Err("unknown command".into()),
     }
 }
@@ -565,3 +597,27 @@ fn input_blob(w: &[u32], p: &mut usize) -> Result<Option<Vec<u8>>, String> {
     *p += n;
     Ok(Some(v))
 }
+
+fn position_events(events: &[PositionEvent]) -> String {
+    format!(
+        "[{}]",
+        events
+            .iter()
+            .map(|e| match e {
+                PositionEvent::Userinfo(slot) => format!("{{\"op\":\"userinfo\",\"slot\":{slot}}}"),
+                PositionEvent::Map => "{\"op\":\"map\"}".into(),
+                PositionEvent::Open { path, mode } => format!(
+                    "{{\"op\":\"open\",\"path\":\"{}\",\"mode\":{mode}}}",
+                    hex(path)
+                ),
+                PositionEvent::Write { handle, data } => format!(
+                    "{{\"op\":\"write\",\"handle\":{handle},\"length\":{},\"data\":\"{}\"}}",
+                    data.len(),
+                    hex(data)
+                ),
+                PositionEvent::Close(handle) => format!("{{\"op\":\"close\",\"handle\":{handle}}}"),
+            })
+            .collect::<Vec<String>>()
+            .join(",")
+    )
+}

crates/urt-gameplay/src/native_policy.rs

@@ -889,3 +889,139 @@ mod scan_tests {
         );
     }
 }
+
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub enum PositionEvent {
+    Userinfo(usize),
+    Map,
+    Open { path: Vec<u8>, mode: u32 },
+    Write { handle: u32, data: Vec<u8> },
+    Close(u32),
+}
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct PositionIo {
+    pub events: Vec<PositionEvent>,
+    pub ring_advance: u32,
+}
+pub struct PositionInput<'a> {
+    pub mode: i32,
+    pub enabled: i32,
+    pub slot: usize,
+    pub userinfo: &'a [u8],
+    pub mapname: &'a [u8],
+    pub name: &'a [u8],
+    pub values: [u32; 6],
+    pub handle: u32,
+}
+fn cbytes(v: &[u8]) -> &[u8] {
+    v.split(|x| *x == 0).next().unwrap_or_default()
+}
+fn position_path(map: &[u8], guid: &[u8]) -> Vec<u8> {
+    let map = cbytes(map);
+    let mut out = b"positions/".to_vec();
+    out.extend_from_slice(&map[..map.len().min(63)]);
+    out.push(b'/');
+    out.extend_from_slice(guid);
+    out.extend_from_slice(b".pos");
+    out
+}
+/// Recovered246746 file intentions; the caller supplies the engine open handle.
+pub fn save_position(input: PositionInput<'_>, info_ring: &mut u32) -> Result<PositionIo, Error> {
+    let mut out = PositionIo {
+        events: vec![],
+        ring_advance: 0,
+    };
+    if input.mode != 9 {
+        return Ok(out);
+    }
+    if input.slot >= 64 {
+        return Err(Error::InvalidIndex);
+    }
+    let mut staged = *info_ring;
+    let raw = cbytes(input.userinfo);
+    let guid = info_lookup(
+        Some(&raw[..raw.len().min(1023)]),
+        Some(b"cl_guid"),
+        &mut staged,
+    )?;
+    out.events.push(PositionEvent::Userinfo(input.slot));
+    if input.enabled >= 1
+        && !guid.value.is_empty()
+        && input.values[..3].iter().any(|v| f32::from_bits(*v) != 0.)
+    {
+        out.events.push(PositionEvent::Map);
+        out.events.push(PositionEvent::Open {
+            path: position_path(input.mapname, &guid.value),
+            mode: 1,
+        });
+        out.ring_advance = 1;
+        if input.handle != 0 {
+            let mut data = vec![];
+            for (j, v) in input.values.into_iter().enumerate() {
+                if j > 0 {
+                    data.push(b',')
+                }
+                data.extend(
+                    crate::qvm_format::floating(v, 0, None).map_err(|_| Error::InvalidInput)?,
+                );
+            }
+            data.push(b'\n');
+            data.extend_from_slice(cbytes(input.name));
+            if data.len() >= 1023 {
+                return Err(Error::InvalidInput);
+            }
+            out.events.push(PositionEvent::Write {
+                handle: input.handle,
+                data,
+            });
+            out.events.push(PositionEvent::Close(input.handle));
+        }
+    }
+    *info_ring = staged;
+    Ok(out)
+}
+#[cfg(test)]
+mod save_position_tests {
+    use super::*;
+    #[test]
+    fn angle_only_negative_zero_does_not_open() {
+        let mut ring = 0;
+        let out = save_position(
+            PositionInput {
+                mode: 9,
+                enabled: 1,
+                slot: 0,
+                userinfo: b"\\cl_guid\\x",
+                mapname: b"m",
+                name: b"n",
+                values: [(-0f32).to_bits(), 0, 0, 1f32.to_bits(), 0, 0],
+                handle: 1,
+            },
+            &mut ring,
+        )
+        .unwrap();
+        assert_eq!(out.events, [PositionEvent::Userinfo(0)]);
+        assert_eq!(ring, 1);
+    }
+    #[test]
+    fn unsupported_format_does_not_commit_selector() {
+        let mut ring = 0;
+        assert_eq!(
+            save_position(
+                PositionInput {
+                    mode: 9,
+                    enabled: 1,
+                    slot: 0,
+                    userinfo: b"\\cl_guid\\x",
+                    mapname: b"m",
+                    name: b"n",
+                    values: [f32::INFINITY.to_bits(); 6],
+                    handle: 1
+                },
+                &mut ring
+            ),
+            Err(Error::InvalidInput)
+        );
+        assert_eq!(ring, 0);
+    }
+}

docs/FINDINGS.md

@@ -1694,3 +1694,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-898:** 96 actual246746 cases execute70503/69386/36038,70458/37914,70386 and float formatting. Mode9, enabled>=1, nonempty cl_guid and nonzero position gate file writes; angles alone do not. Mapname truncates63 bytes and GUID bytes pass into positions/map/GUID.pos without sanitization in this body. Open return is ignored; a nonzero supplied handle leads to exact float/name bytes, write then close. Engine buffers, native strncpy and file effects remain supplied/modeled/captured. [Evidence](research/QVM_POSITION_SAVE.md).
+
+
+**RE-899:** Rust matches96 original246746 cases with recovered userinfo, path construction and floating formatter bytes. Mode/enabled/position gates,63-byte map truncation, unsanitized GUID path bytes, ignored open return and write/close ordering are preserved. Typed unsupported format errors preserve the selector. Engine userinfo, native files and unsafe paths/ABI ownership remain open. [Evidence](research/RUST_POSITION_SAVE.md).

docs/PROVISIONAL_TODO.md

@@ -1728,3 +1728,6 @@ RE-897: Rust matches72 actual38326/38355/37159/36779 cases, preserving digits-on
 
 
 RE-898: 96 actual246746 cases execute70503/69386/36038,70458/37914,70386 and float formatting. Mode9, enabled>=1, nonempty cl_guid and nonzero position gate file writes; angles alone do not. Mapname truncates63 bytes and GUID bytes pass into positions/map/GUID.pos without sanitization in this body. Open return is ignored; a nonzero supplied handle leads to exact float/name bytes, write then close. Engine buffers, native strncpy and file effects remain supplied/modeled/captured. Full runtime completion remains open. [Evidence](research/QVM_POSITION_SAVE.md).
+
+
+RE-899: Rust matches96 original246746 cases with recovered userinfo, path construction and floating formatter bytes. Mode/enabled/position gates,63-byte map truncation, unsanitized GUID path bytes, ignored open return and write/close ordering are preserved. Typed unsupported format errors preserve the selector. Engine userinfo, native files and unsafe paths/ABI ownership remain open. Full runtime completion remains open. [Evidence](research/RUST_POSITION_SAVE.md).

docs/RESEARCH_LEDGER.md

@@ -2205,3 +2205,8 @@ Rust matches72 actual38326/38355/37159/36779 cases, preserving digits-only integ
 ## 2026-10-28 — RE-898 Original saved-position write and file ownership
 
 96 actual246746 cases execute70503/69386/36038,70458/37914,70386 and float formatting. Mode9, enabled>=1, nonempty cl_guid and nonzero position gate file writes; angles alone do not. Mapname truncates63 bytes and GUID bytes pass into positions/map/GUID.pos without sanitization in this body. Open return is ignored; a nonzero supplied handle leads to exact float/name bytes, write then close. Engine buffers, native strncpy and file effects remain supplied/modeled/captured. Focused `cargo xtask test-group qvm-position-save` passes (4 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-899 Rust saved-position write and handle intentions
+
+Rust matches96 original246746 cases with recovered userinfo, path construction and floating formatter bytes. Mode/enabled/position gates,63-byte map truncation, unsanitized GUID path bytes, ignored open return and write/close ordering are preserved. Typed unsupported format errors preserve the selector. Engine userinfo, native files and unsafe paths/ABI ownership remain open. Focused `cargo xtask test-group rust-position-save` 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.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1765,3 +1765,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-898 Original saved-position write and file ownership ([evidence](research/QVM_POSITION_SAVE.md)).
+
+
+- [x] RE-899 Rust saved-position write and handle intentions ([evidence](research/RUST_POSITION_SAVE.md)).

docs/research/README.md

@@ -1300,3 +1300,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-898: Original saved-position write and file ownership](QVM_POSITION_SAVE.md).
+
+
+[RE-899: Rust saved-position write and handle intentions](RUST_POSITION_SAVE.md).

docs/research/RUST_POSITION_SAVE.md

@@ -0,0 +1,7 @@
+# Rust saved-position write and handle intentions
+
+RE-899. Reproduce with `python3 scripts/analyze_rust_position_save.py`; focused validation: `cargo xtask test-group rust-position-save`. [Machine report](rust-position-save.json).
+
+Rust matches96 original246746 cases with recovered userinfo, path construction and floating formatter bytes. Mode/enabled/position gates,63-byte map truncation, unsanitized GUID path bytes, ignored open return and write/close ordering are preserved. Typed unsupported format errors preserve the selector. Engine userinfo, native files and unsafe paths/ABI ownership remain open.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/rust-health-impulse.json

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

docs/research/rust-position-save.json

@@ -0,0 +1,1743 @@
+{
+  "limits": "Rust matches96 original246746 cases with recovered userinfo, path construction and floating formatter bytes. Mode/enabled/position gates,63-byte map truncation, unsanitized GUID path bytes, ignored open return and write/close ordering are preserved. Typed unsupported format errors preserve the selector. Engine userinfo, native files and unsafe paths/ABI ownership remain open.",
+  "probes": [
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      },
+      "source": {
+        "events": [],
+        "info_ring": 0,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          },
+          {
+            "op": "map"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "706f736974696f6e732f7574345f746573742f782f792e706f73"
+          }
+        ],
+        "info_ring": 1,
+        "ring": 1
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          },
+          {
+            "op": "map"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "706f736974696f6e732f7574345f746573742f782f792e706f73"
+          }
+        ],
+        "info_ring": 1,
+        "ring": 1
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          },
+          {
+            "op": "map"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "706f736974696f6e732f6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d2f782f792e706f73"
+          }
+        ],
+        "info_ring": 1,
+        "ring": 1
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          },
+          {
+            "op": "map"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "706f736974696f6e732f6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d2f782f792e706f73"
+          }
+        ],
+        "info_ring": 1,
+        "ring": 1
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          },
+          {
+            "op": "map"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "706f736974696f6e732f7574345f746573742f782f792e706f73"
+          },
+          {
+            "data": "312e3235303030302c2d322e3530303030302c332e3132353030302c39302e3030303030302c3138302e3030303030302c2d34352e3530303030300a706c61796572ff",
+            "handle": 7,
+            "length": 67,
+            "op": "write"
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "info_ring": 1,
+        "ring": 1
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          },
+          {
+            "op": "map"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "706f736974696f6e732f7574345f746573742f782f792e706f73"
+          },
+          {
+            "data": "312e3235303030302c2d322e3530303030302c332e3132353030302c39302e3030303030302c3138302e3030303030302c2d34352e3530303030300a706c61796572ff",
+            "handle": 7,
+            "length": 67,
+            "op": "write"
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "info_ring": 1,
+        "ring": 1
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          },
+          {
+            "op": "map"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "706f736974696f6e732f6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d2f782f792e706f73"
+          },
+          {
+            "data": "312e3235303030302c2d322e3530303030302c332e3132353030302c39302e3030303030302c3138302e3030303030302c2d34352e3530303030300a706c61796572ff",
+            "handle": 7,
+            "length": 67,
+            "op": "write"
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "info_ring": 1,
+        "ring": 1
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          },
+          {
+            "op": "map"
+          },
+          {
+            "mode": 1,
+            "op": "open",
+            "path": "706f736974696f6e732f6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d2f782f792e706f73"
+          },
+          {
+            "data": "312e3235303030302c2d322e3530303030302c332e3132353030302c39302e3030303030302c3138302e3030303030302c2d34352e3530303030300a706c61796572ff",
+            "handle": 7,
+            "length": 67,
+            "op": "write"
+          },
+          {
+            "handle": 7,
+            "op": "close"
+          }
+        ],
+        "info_ring": 1,
+        "ring": 1
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    },
+    {
+      "rust": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      },
+      "source": {
+        "events": [
+          {
+            "op": "userinfo",
+            "slot": 3
+          }
+        ],
+        "info_ring": 1,
+        "ring": 0
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-position-save.json",
+  "source_report_sha256": "e3955ff981375c9b468392e02f4aca7f1d6f24c8bfa72242e71f4c09077c1f9f"
+}

scripts/analyze_rust_position_save.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['enabled'],a['slot'],a['handle'],*a['values'],*blob(a['userinfo']),*blob(a['mapname']),*blob(a['name'])]
+def project(s):return {k:s[k] for k in ['events','ring','info_ring']}
+
+def main():
+ b=binary();p=Path('docs/research/qvm-position-save.json');data=p.read_bytes();rows=[]
+ for s in json.loads(data)['probes']:rows.append({'source':project(s),'rust':result(b,'save-position',encode(s))})
+ write_json(Path('docs/research/rust-position-save.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust matches96 original246746 cases with recovered userinfo, path construction and floating formatter bytes. Mode/enabled/position gates,63-byte map truncation, unsanitized GUID path bytes, ignored open return and write/close ordering are preserved. Typed unsupported format errors preserve the selector. Engine userinfo, native files and unsafe paths/ABI ownership remain open.'})
+if __name__=='__main__':main()

scripts/test_rust_position_save.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-position-save.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-position-save.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

@@ -2748,3 +2748,17 @@ report	scripts/analyze_qvm_position_save.py	docs/research/qvm-position-save.json
 edge	docs/research/qvm-position-save.json	scripts/test_qvm_position_save.py
 group	qvm-position-save	scripts/analyze_qvm_position_save.py
 edge	scripts/analyze_qvm_position_save.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_position_save.py
+edge	Cargo.lock	scripts/analyze_rust_position_save.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_position_save.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_position_save.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_position_save.py
+edge	crates/urt-gameplay/src/bin/urt-native-policy.rs	scripts/analyze_rust_position_save.py
+edge	docs/research/qvm-position-save.json	scripts/analyze_rust_position_save.py
+group	rust-position-save	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_position_save.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_position_save.py
+report	scripts/analyze_rust_position_save.py	docs/research/rust-position-save.json
+edge	docs/research/rust-position-save.json	scripts/test_rust_position_save.py
+group	rust-position-save	scripts/analyze_rust_position_save.py
+edge	scripts/analyze_rust_position_save.py	scripts/analyze_qvm_resumer_audit.py