gameplay: port userinfo lookup ownership

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

@@ -341,6 +341,22 @@ fn run() -> Result<String, String> {
                 rotation_ops(&out.normal.rotation)
             ))
         }
+        "info" => {
+            let mut p = 1;
+            let mut ring = *w.first().ok_or("missing selector")?;
+            let text = input_blob(&w, &mut p)?;
+            let key = input_blob(&w, &mut p)?;
+            if p != w.len() {
+                return Err("trailing info words".into());
+            }
+            let out = info_lookup(text.as_deref(), key.as_deref(), &mut ring)
+                .map_err(|e| format!("{e:?}"))?;
+            Ok(format!(
+                "{{\"found\":{},\"value\":\"{}\",\"ring\":{ring}}}",
+                out.found,
+                hex(&out.value)
+            ))
+        }
         _ => Err("unknown command".into()),
     }
 }
@@ -505,3 +521,21 @@ fn clients_json(c: &[urt_gameplay::transition::MapClient]) -> String {
             .join(",")
     )
 }
+
+fn input_blob(w: &[u32], p: &mut usize) -> Result<Option<Vec<u8>>, String> {
+    let n = *w.get(*p).ok_or("missing byte count")?;
+    *p += 1;
+    if n == u32::MAX {
+        return Ok(None);
+    }
+    let n = n as usize;
+    if n > 8192 || n > w.len() - *p {
+        return Err("invalid byte count".into());
+    }
+    let v = w[*p..*p + n]
+        .iter()
+        .map(|v| u8::try_from(*v).map_err(|_| "invalid byte".to_string()))
+        .collect::<Result<Vec<_>, _>>()?;
+    *p += n;
+    Ok(Some(v))
+}

crates/urt-gameplay/src/native_policy.rs

@@ -691,3 +691,76 @@ mod normal_session_tests {
         assert_eq!(sessions, s);
     }
 }
+
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct InfoValue {
+    pub found: bool,
+    pub value: Vec<u8>,
+}
+/// Actual70503 logical-string subset. Non-null requests alternate buffers even
+/// when absent; explicit null arguments preserve the selector.
+pub fn info_lookup(
+    text: Option<&[u8]>,
+    key: Option<&[u8]>,
+    ring: &mut u32,
+) -> Result<InfoValue, Error> {
+    if *ring > 1 {
+        return Err(Error::InvalidInput);
+    }
+    let (Some(text), Some(key)) = (text, key) else {
+        return Ok(InfoValue {
+            found: false,
+            value: vec![],
+        });
+    };
+    let text = text.split(|v| *v == 0).next().unwrap_or_default();
+    let key = key.split(|v| *v == 0).next().unwrap_or_default();
+    if text.len() >= 8192 || key.len() >= 8192 {
+        return Err(Error::InvalidInput);
+    }
+    let text = text.strip_prefix(b"\\").unwrap_or(text);
+    let mut parts = text.split(|v| *v == b'\\');
+    let mut out = InfoValue {
+        found: false,
+        value: vec![],
+    };
+    while let (Some(k), Some(v)) = (parts.next(), parts.next()) {
+        if k.eq_ignore_ascii_case(key) {
+            out = InfoValue {
+                found: true,
+                value: v.to_vec(),
+            };
+            break;
+        }
+    }
+    *ring ^= 1;
+    Ok(out)
+}
+#[cfg(test)]
+mod info_tests {
+    use super::*;
+    #[test]
+    fn first_match_empty_value_and_null_ownership() {
+        let mut r = 0;
+        let v = info_lookup(
+            Some(b"\\CL_GUID\\\\cl_guid\\second"),
+            Some(b"cl_guid"),
+            &mut r,
+        )
+        .unwrap();
+        assert!(v.found);
+        assert!(v.value.is_empty());
+        assert_eq!(r, 1);
+        assert!(!info_lookup(None, Some(b"x"), &mut r).unwrap().found);
+        assert_eq!(r, 1);
+    }
+    #[test]
+    fn oversized_input_preserves_selector() {
+        let mut r = 1;
+        assert_eq!(
+            info_lookup(Some(&vec![b'a'; 8192]), Some(b"x"), &mut r),
+            Err(Error::InvalidInput)
+        );
+        assert_eq!(r, 1);
+    }
+}

docs/FINDINGS.md

@@ -1682,3 +1682,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-894:** 96 actual70503 cases execute actual36038/69386, recovering optional leading separator, case-insensitive first-match keys, incomplete-pair rejection, empty values, embedded NUL and null-pointer early exits. Non-null calls XOR the two-buffer selector even on misses; null arguments preserve it. Oversized info fatal/aliasing/native userinfo retrieval remain open. [Evidence](research/QVM_INFO_LOOKUP.md).
+
+
+**RE-895:** Rust matches96 original70503 key/value and selector cases, preserving first-match case folding, incomplete-pair rejection, empty values, embedded NUL and null early exits. Oversized logical inputs reject without changing the selector. Native userinfo retrieval, raw pointer aliases and fatal semantics remain open. [Evidence](research/RUST_INFO_LOOKUP.md).

docs/PROVISIONAL_TODO.md

@@ -1716,3 +1716,6 @@ RE-884–893 completed bounded queried spawn/camera and map persistence composit
 
 
 RE-894: 96 actual70503 cases execute actual36038/69386, recovering optional leading separator, case-insensitive first-match keys, incomplete-pair rejection, empty values, embedded NUL and null-pointer early exits. Non-null calls XOR the two-buffer selector even on misses; null arguments preserve it. Oversized info fatal/aliasing/native userinfo retrieval remain open. Full runtime completion remains open. [Evidence](research/QVM_INFO_LOOKUP.md).
+
+
+RE-895: Rust matches96 original70503 key/value and selector cases, preserving first-match case folding, incomplete-pair rejection, empty values, embedded NUL and null early exits. Oversized logical inputs reject without changing the selector. Native userinfo retrieval, raw pointer aliases and fatal semantics remain open. Full runtime completion remains open. [Evidence](research/RUST_INFO_LOOKUP.md).

docs/RESEARCH_LEDGER.md

@@ -2185,3 +2185,8 @@ After the tenth commit, `cargo xtask test-full --since b9a94452` passed with the
 ## 2026-10-28 — RE-894 Original userinfo key lookup and alternating buffers
 
 96 actual70503 cases execute actual36038/69386, recovering optional leading separator, case-insensitive first-match keys, incomplete-pair rejection, empty values, embedded NUL and null-pointer early exits. Non-null calls XOR the two-buffer selector even on misses; null arguments preserve it. Oversized info fatal/aliasing/native userinfo retrieval remain open. Focused `cargo xtask test-group qvm-info-lookup` 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-895 Rust userinfo lookup and buffer ownership
+
+Rust matches96 original70503 key/value and selector cases, preserving first-match case folding, incomplete-pair rejection, empty values, embedded NUL and null early exits. Oversized logical inputs reject without changing the selector. Native userinfo retrieval, raw pointer aliases and fatal semantics remain open. Focused `cargo xtask test-group rust-info-lookup` 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

@@ -1753,3 +1753,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-894 Original userinfo key lookup and alternating buffers ([evidence](research/QVM_INFO_LOOKUP.md)).
+
+
+- [x] RE-895 Rust userinfo lookup and buffer ownership ([evidence](research/RUST_INFO_LOOKUP.md)).

docs/research/README.md

@@ -1288,3 +1288,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-894: Original userinfo key lookup and alternating buffers](QVM_INFO_LOOKUP.md).
+
+
+[RE-895: Rust userinfo lookup and buffer ownership](RUST_INFO_LOOKUP.md).

docs/research/RUST_INFO_LOOKUP.md

@@ -0,0 +1,7 @@
+# Rust userinfo lookup and buffer ownership
+
+RE-895. Reproduce with `python3 scripts/analyze_rust_info_lookup.py`; focused validation: `cargo xtask test-group rust-info-lookup`. [Machine report](rust-info-lookup.json).
+
+Rust matches96 original70503 key/value and selector cases, preserving first-match case folding, incomplete-pair rejection, empty values, embedded NUL and null early exits. Oversized logical inputs reject without changing the selector. Native userinfo retrieval, raw pointer aliases and fatal semantics 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": 148,
+  "rust_unit_tests": 150,
   "source_report": "docs/research/qvm-health-impulse.json",
   "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
 }

docs/research/rust-info-lookup.json

@@ -0,0 +1,1159 @@
+{
+  "limits": "Rust matches96 original70503 key/value and selector cases, preserving first-match case folding, incomplete-pair rejection, empty values, embedded NUL and null early exits. Oversized logical inputs reject without changing the selector. Native userinfo retrieval, raw pointer aliases and fatal semantics remain open.",
+  "probes": [
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": "616263"
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": "616263"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": "616263"
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": "616263"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": "616263"
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": "616263"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": "616263"
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": "616263"
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": "6669727374"
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": "6669727374"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": "6669727374"
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": "6669727374"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": "6669727374"
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": "6669727374"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": "6669727374"
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": "6669727374"
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": "414243"
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": "414243"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": "414243"
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": "414243"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": "414243"
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": "414243"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": "414243"
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": "414243"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": "31"
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": "31"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": "31"
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": "31"
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": "71"
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": "71"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": "71"
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": "71"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 1,
+        "value": "71"
+      },
+      "source": {
+        "found": true,
+        "ring": 1,
+        "value": "71"
+      }
+    },
+    {
+      "rust": {
+        "found": true,
+        "ring": 0,
+        "value": "71"
+      },
+      "source": {
+        "found": true,
+        "ring": 0,
+        "value": "71"
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 1,
+        "value": ""
+      }
+    },
+    {
+      "rust": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      },
+      "source": {
+        "found": false,
+        "ring": 0,
+        "value": ""
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-info-lookup.json",
+  "source_report_sha256": "58283587a81cce34bd55e83d050f5d7037bcc5dcd7bfbb9eab001c59c6c4e040"
+}

scripts/analyze_rust_info_lookup.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 [0xffffffff] if s is None else [len(bytes.fromhex(s)),*bytes.fromhex(s)]
+def encode(s):
+ a=s['input'];return [a['ring'],*blob(a['text']),*blob(a['key'])]
+def project(s):return {k:s[k] for k in ['found','value','ring']}
+
+def main():
+ b=binary();p=Path('docs/research/qvm-info-lookup.json');data=p.read_bytes();rows=[]
+ for s in json.loads(data)['probes']:rows.append({'source':project(s),'rust':result(b,'info',encode(s))})
+ write_json(Path('docs/research/rust-info-lookup.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust matches96 original70503 key/value and selector cases, preserving first-match case folding, incomplete-pair rejection, empty values, embedded NUL and null early exits. Oversized logical inputs reject without changing the selector. Native userinfo retrieval, raw pointer aliases and fatal semantics remain open.'})
+if __name__=='__main__':main()

scripts/test_rust_info_lookup.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-info-lookup.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-info-lookup.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

@@ -2712,3 +2712,16 @@ edge	docs/research/qvm-info-lookup.json	scripts/test_qvm_info_lookup.py
 group	qvm-info-lookup	scripts/analyze_qvm_info_lookup.py
 edge	scripts/analyze_qvm_info_lookup.py	scripts/analyze_qvm_resumer_audit.py
 edge	scripts/qvm_persistence_support.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_info_lookup.py
+edge	Cargo.lock	scripts/analyze_rust_info_lookup.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_info_lookup.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_info_lookup.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_info_lookup.py
+edge	crates/urt-gameplay/src/bin/urt-native-policy.rs	scripts/analyze_rust_info_lookup.py
+edge	docs/research/qvm-info-lookup.json	scripts/analyze_rust_info_lookup.py
+group	rust-info-lookup	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_info_lookup.py
+report	scripts/analyze_rust_info_lookup.py	docs/research/rust-info-lookup.json
+edge	docs/research/rust-info-lookup.json	scripts/test_rust_info_lookup.py
+group	rust-info-lookup	scripts/analyze_rust_info_lookup.py
+edge	scripts/analyze_rust_info_lookup.py	scripts/analyze_qvm_resumer_audit.py