gameplay: port persistence numeric scanning

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

@@ -357,6 +357,32 @@ fn run() -> Result<String, String> {
                 hex(&out.value)
             ))
         }
+        "scan" => {
+            if w.len() < 3 {
+                return Err("missing scanner header".into());
+            }
+            let kind = if w[0] == 0 {
+                NumericKind::Integer
+            } else {
+                NumericKind::Float
+            };
+            let n = w[1] as usize;
+            if n > 9 {
+                return Err("invalid scanner count".into());
+            }
+            let mut p = 2;
+            let text = input_blob(&w, &mut p)?.ok_or("null scan text")?;
+            if p != w.len() {
+                return Err("trailing scanner words".into());
+            }
+            let out =
+                scan_numeric(&text, kind, &vec![0xaabbccdd; n]).map_err(|e| format!("{e:?}"))?;
+            Ok(format!(
+                "{{\"result\":{},\"words\":{}}}",
+                out.result,
+                list(&out.words)
+            ))
+        }
         _ => Err("unknown command".into()),
     }
 }

crates/urt-gameplay/src/native_policy.rs

@@ -764,3 +764,128 @@ mod info_tests {
         assert_eq!(r, 1);
     }
 }
+
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub enum NumericKind {
+    Integer,
+    Float,
+}
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct NumericScan {
+    pub result: i32,
+    pub words: Vec<u32>,
+}
+/// Recovered comma-separated %i/%f subset. Integer signs are not consumed.
+/// Destinations are written even without an assignment; a literal mismatch
+/// 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')
+    {
+        return Err(Error::InvalidInput);
+    }
+    let mut p = 0;
+    let mut assigned = 0;
+    let mut words = initial.to_vec();
+    for j in 0..words.len() {
+        let start = p;
+        let value;
+        match kind {
+            NumericKind::Integer => {
+                let mut x = 0u32;
+                while p < text.len() && text[p].is_ascii_digit() {
+                    x = x.wrapping_mul(10).wrapping_add((text[p] - b'0') as u32);
+                    p += 1;
+                }
+                value = x;
+            }
+            NumericKind::Float => {
+                while p < text.len() && text[p] <= 32 {
+                    p += 1;
+                }
+                if p == text.len() {
+                    p = start;
+                    value = 0;
+                } else {
+                    let sign = if text[p] == b'-' { -1.0 } else { 1.0 };
+                    if matches!(text[p], b'+' | b'-') {
+                        p += 1;
+                    }
+                    let mut x = 0f32;
+                    while p < text.len() && text[p].is_ascii_digit() {
+                        let scaled = x * 10.0;
+                        x = scaled + (text[p] - b'0') as f32;
+                        p += 1;
+                    }
+                    if p < text.len() && text[p] == b'.' {
+                        p += 1;
+                        let mut scale = 0.1f32;
+                        while p < text.len() && text[p].is_ascii_digit() {
+                            let fraction = (text[p] - b'0') as f32 * scale;
+                            x += fraction;
+                            scale *= 0.1;
+                            p += 1;
+                        }
+                    }
+                    let x = x * sign;
+                    if !x.is_finite() {
+                        return Err(Error::NonFinite);
+                    }
+                    value = x.to_bits();
+                }
+            }
+        }
+        words[j] = value;
+        if p > start {
+            assigned += 1;
+        }
+        if j + 1 < words.len() {
+            if p >= text.len() || text[p] != b',' {
+                return Ok(NumericScan { result: -1, words });
+            }
+            p += 1;
+        }
+    }
+    Ok(NumericScan {
+        result: assigned,
+        words,
+    })
+}
+#[cfg(test)]
+mod scan_tests {
+    use super::*;
+    #[test]
+    fn signs_fail_integer_and_preserve_later_words() {
+        assert_eq!(
+            scan_numeric(b"-7,2", NumericKind::Integer, &[99, 88]).unwrap(),
+            NumericScan {
+                result: -1,
+                words: vec![0, 88]
+            }
+        );
+        assert_eq!(
+            scan_numeric(b"", NumericKind::Integer, &[99]).unwrap(),
+            NumericScan {
+                result: 0,
+                words: vec![0]
+            }
+        );
+    }
+    #[test]
+    fn staged_floats_and_unsupported_exponent() {
+        assert_eq!(
+            scan_numeric(b"-0.5,1.25", NumericKind::Float, &[99; 2])
+                .unwrap()
+                .words,
+            [(-0.5f32).to_bits(), 1.25f32.to_bits()]
+        );
+        assert_eq!(
+            scan_numeric(b"1E2", NumericKind::Float, &[0]),
+            Err(Error::InvalidInput)
+        );
+    }
+}

docs/FINDINGS.md

@@ -1688,3 +1688,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-896:** 72 actual38326/38355/37159/36779 cases recover comma-template numeric scanning with partial writes. Integer conversions accept leading digits only, including wrapping overflow; signs/leading spaces write0 without assignment. Floats use staged f32 accumulation, sign/whitespace and decimal scaling; lowercase e terminates the number. Literal mismatch returns-1 even after assignments. Empty/unparsed final fields still write0. Uppercase exponent, other scanf conversions and unsafe destinations remain open. [Evidence](research/QVM_NUMERIC_SCAN.md).
+
+
+**RE-897:** Rust matches72 actual38326/38355/37159/36779 cases, preserving digits-only integer entry, wrapping overflow, staged f32 decimal arithmetic, partial destination writes and literal-mismatch return-1. Caller supplies untouched destination words. Uppercase exponent, non-ASCII input and other scanf conversions reject; native ABI and complete scanner semantics remain open. [Evidence](research/RUST_NUMERIC_SCAN.md).

docs/PROVISIONAL_TODO.md

@@ -1722,3 +1722,6 @@ RE-895: Rust matches96 original70503 key/value and selector cases, preserving fi
 
 
 RE-896: 72 actual38326/38355/37159/36779 cases recover comma-template numeric scanning with partial writes. Integer conversions accept leading digits only, including wrapping overflow; signs/leading spaces write0 without assignment. Floats use staged f32 accumulation, sign/whitespace and decimal scaling; lowercase e terminates the number. Literal mismatch returns-1 even after assignments. Empty/unparsed final fields still write0. Uppercase exponent, other scanf conversions and unsafe destinations remain open. Full runtime completion remains open. [Evidence](research/QVM_NUMERIC_SCAN.md).
+
+
+RE-897: Rust matches72 actual38326/38355/37159/36779 cases, preserving digits-only integer entry, wrapping overflow, staged f32 decimal arithmetic, partial destination writes and literal-mismatch return-1. Caller supplies untouched destination words. Uppercase exponent, non-ASCII input and other scanf conversions reject; native ABI and complete scanner semantics remain open. Full runtime completion remains open. [Evidence](research/RUST_NUMERIC_SCAN.md).

docs/RESEARCH_LEDGER.md

@@ -2195,3 +2195,8 @@ Rust matches96 original70503 key/value and selector cases, preserving first-matc
 ## 2026-10-28 — RE-896 Original integer and float comma scanner
 
 72 actual38326/38355/37159/36779 cases recover comma-template numeric scanning with partial writes. Integer conversions accept leading digits only, including wrapping overflow; signs/leading spaces write0 without assignment. Floats use staged f32 accumulation, sign/whitespace and decimal scaling; lowercase e terminates the number. Literal mismatch returns-1 even after assignments. Empty/unparsed final fields still write0. Uppercase exponent, other scanf conversions and unsafe destinations remain open. Focused `cargo xtask test-group qvm-numeric-scan` 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-897 Rust original comma numeric scanner
+
+Rust matches72 actual38326/38355/37159/36779 cases, preserving digits-only integer entry, wrapping overflow, staged f32 decimal arithmetic, partial destination writes and literal-mismatch return-1. Caller supplies untouched destination words. Uppercase exponent, non-ASCII input and other scanf conversions reject; native ABI and complete scanner semantics remain open. Focused `cargo xtask test-group rust-numeric-scan` 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

@@ -1759,3 +1759,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-896 Original integer and float comma scanner ([evidence](research/QVM_NUMERIC_SCAN.md)).
+
+
+- [x] RE-897 Rust original comma numeric scanner ([evidence](research/RUST_NUMERIC_SCAN.md)).

docs/research/README.md

@@ -1294,3 +1294,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-896: Original integer and float comma scanner](QVM_NUMERIC_SCAN.md).
+
+
+[RE-897: Rust original comma numeric scanner](RUST_NUMERIC_SCAN.md).

docs/research/RUST_NUMERIC_SCAN.md

@@ -0,0 +1,7 @@
+# Rust original comma numeric scanner
+
+RE-897. Reproduce with `python3 scripts/analyze_rust_numeric_scan.py`; focused validation: `cargo xtask test-group rust-numeric-scan`. [Machine report](rust-numeric-scan.json).
+
+Rust matches72 actual38326/38355/37159/36779 cases, preserving digits-only integer entry, wrapping overflow, staged f32 decimal arithmetic, partial destination writes and literal-mismatch return-1. Caller supplies untouched destination words. Uppercase exponent, non-ASCII input and other scanf conversions reject; native ABI and complete scanner 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": 150,
+  "rust_unit_tests": 152,
   "source_report": "docs/research/qvm-health-impulse.json",
   "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
 }

docs/research/rust-numeric-scan.json

@@ -0,0 +1,1351 @@
+{
+  "limits": "Rust matches72 actual38326/38355/37159/36779 cases, preserving digits-only integer entry, wrapping overflow, staged f32 decimal arithmetic, partial destination writes and literal-mismatch return-1. Caller supplies untouched destination words. Uppercase exponent, non-ASCII input and other scanf conversions reject; native ABI and complete scanner semantics remain open.",
+  "probes": [
+    {
+      "rust": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          2147483648
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          2147483648
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          7
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          7
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 3,
+        "words": [
+          1,
+          2,
+          3
+        ]
+      },
+      "source": {
+        "result": 3,
+        "words": [
+          1,
+          2,
+          3
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1,
+          0,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1,
+          0,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 3,
+        "words": [
+          1,
+          2,
+          3
+        ]
+      },
+      "source": {
+        "result": 3,
+        "words": [
+          1,
+          2,
+          3
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 3,
+        "words": [
+          2147483648,
+          2,
+          3
+        ]
+      },
+      "source": {
+        "result": 3,
+        "words": [
+          2147483648,
+          2,
+          3
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 3,
+        "words": [
+          0,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "result": 3,
+        "words": [
+          0,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          7,
+          8,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          7,
+          8,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 2,
+        "words": [
+          0,
+          1,
+          2
+        ]
+      },
+      "source": {
+        "result": 2,
+        "words": [
+          0,
+          1,
+          2
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 6,
+        "words": [
+          1,
+          2,
+          3,
+          4,
+          5,
+          6
+        ]
+      },
+      "source": {
+        "result": 6,
+        "words": [
+          1,
+          2,
+          3,
+          4,
+          5,
+          6
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1,
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1,
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1,
+          2,
+          3,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1,
+          2,
+          3,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          2147483648,
+          2,
+          3,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          2147483648,
+          2,
+          3,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 6,
+        "words": [
+          0,
+          0,
+          0,
+          0,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "result": 6,
+        "words": [
+          0,
+          0,
+          0,
+          0,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          7,
+          8,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          7,
+          8,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          1,
+          2,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          1,
+          2,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1067450368
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1067450368
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1036831949
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1036831949
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1067450368
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1067450368
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1065353216
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1065353216
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 0,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1065353216
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1065353216
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1266679808
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1266679808
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          1065353216
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          1065353216
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 1,
+        "words": [
+          0
+        ]
+      },
+      "source": {
+        "result": 1,
+        "words": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 3,
+        "words": [
+          1067450368,
+          3223322624,
+          0
+        ]
+      },
+      "source": {
+        "result": 3,
+        "words": [
+          1067450368,
+          3223322624,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 3,
+        "words": [
+          1036831949,
+          1045220557,
+          1050253722
+        ]
+      },
+      "source": {
+        "result": 3,
+        "words": [
+          1036831949,
+          1045220557,
+          1050253722
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 3,
+        "words": [
+          1067450368,
+          3223322624,
+          0
+        ]
+      },
+      "source": {
+        "result": 3,
+        "words": [
+          1067450368,
+          3223322624,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1065353216,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1065353216,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 3,
+        "words": [
+          0,
+          1056964608,
+          3196059648
+        ]
+      },
+      "source": {
+        "result": 3,
+        "words": [
+          0,
+          1056964608,
+          3196059648
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1065353216,
+          1073741824,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1065353216,
+          1073741824,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 3,
+        "words": [
+          1266679808,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "result": 3,
+        "words": [
+          1266679808,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 2,
+        "words": [
+          0,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "result": 2,
+        "words": [
+          0,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1065353216,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1065353216,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 3,
+        "words": [
+          0,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "result": 3,
+        "words": [
+          0,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 6,
+        "words": [
+          1067450368,
+          3223322624,
+          0,
+          1082130432,
+          1084227584,
+          1086324736
+        ]
+      },
+      "source": {
+        "result": 6,
+        "words": [
+          1067450368,
+          3223322624,
+          0,
+          1082130432,
+          1084227584,
+          1086324736
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1036831949,
+          1045220557,
+          1050253722,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1036831949,
+          1045220557,
+          1050253722,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1067450368,
+          3223322624,
+          0,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1067450368,
+          3223322624,
+          0,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1065353216,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1065353216,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          1056964608,
+          3196059648,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          1056964608,
+          3196059648,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1065353216,
+          1073741824,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1065353216,
+          1073741824,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1266679808,
+          0,
+          0,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1266679808,
+          0,
+          0,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          0,
+          0,
+          0,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          0,
+          0,
+          0,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": -1,
+        "words": [
+          1065353216,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      },
+      "source": {
+        "result": -1,
+        "words": [
+          1065353216,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397,
+          2864434397
+        ]
+      }
+    },
+    {
+      "rust": {
+        "result": 6,
+        "words": [
+          0,
+          0,
+          0,
+          0,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "result": 6,
+        "words": [
+          0,
+          0,
+          0,
+          0,
+          0,
+          0
+        ]
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-numeric-scan.json",
+  "source_report_sha256": "175b60c870cb3f3ea430413348010e79fe9e4e6b42bc9ee6e71512d287017b0e"
+}

scripts/analyze_rust_numeric_scan.py

@@ -0,0 +1,14 @@
+#!/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 encode(s):
+ a=s['input'];text=bytes.fromhex(a['text']);return [int(a['kind']=='f'),a['count'],len(text),*text]
+def project(s):return {k:s[k] for k in ['result','words']}
+
+def main():
+ b=binary();p=Path('docs/research/qvm-numeric-scan.json');data=p.read_bytes();rows=[]
+ for s in json.loads(data)['probes']:rows.append({'source':project(s),'rust':result(b,'scan',encode(s))})
+ write_json(Path('docs/research/rust-numeric-scan.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust matches72 actual38326/38355/37159/36779 cases, preserving digits-only integer entry, wrapping overflow, staged f32 decimal arithmetic, partial destination writes and literal-mismatch return-1. Caller supplies untouched destination words. Uppercase exponent, non-ASCII input and other scanf conversions reject; native ABI and complete scanner semantics remain open.'})
+if __name__=='__main__':main()

scripts/test_rust_numeric_scan.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-numeric-scan.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-numeric-scan.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

@@ -2731,3 +2731,16 @@ edge	docs/research/qvm-numeric-scan.json	scripts/test_qvm_numeric_scan.py
 group	qvm-numeric-scan	scripts/analyze_qvm_numeric_scan.py
 edge	scripts/analyze_qvm_numeric_scan.py	scripts/analyze_qvm_resumer_audit.py
 edge	scripts/qvm_scan_oracle.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_numeric_scan.py
+edge	Cargo.lock	scripts/analyze_rust_numeric_scan.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_numeric_scan.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_numeric_scan.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_numeric_scan.py
+edge	crates/urt-gameplay/src/bin/urt-native-policy.rs	scripts/analyze_rust_numeric_scan.py
+edge	docs/research/qvm-numeric-scan.json	scripts/analyze_rust_numeric_scan.py
+group	rust-numeric-scan	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_numeric_scan.py
+report	scripts/analyze_rust_numeric_scan.py	docs/research/rust-numeric-scan.json
+edge	docs/research/rust-numeric-scan.json	scripts/test_rust_numeric_scan.py
+group	rust-numeric-scan	scripts/analyze_rust_numeric_scan.py
+edge	scripts/analyze_rust_numeric_scan.py	scripts/analyze_qvm_resumer_audit.py