gameplay: port unsigned admission string comparison

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

@@ -773,6 +773,16 @@ fn run() -> Result<String, String> {
                 out.ring_advance
             ))
         }
+        "byte-compare" => {
+            let mut p = 0;
+            let a = input_blob(&w, &mut p)?.ok_or("null left")?;
+            let b = input_blob(&w, &mut p)?.ok_or("null right")?;
+            if p != w.len() {
+                return Err("trailing compare words".into());
+            }
+            let r = byte_compare(&a, &b).map_err(|e| format!("{e:?}"))?;
+            Ok(format!("{{\"result\":{r}}}"))
+        }
         _ => Err("unknown command".into()),
     }
 }

crates/urt-gameplay/src/native_policy.rs

@@ -2092,3 +2092,36 @@ mod connect_tests {
         assert_eq!(client[6332..], [0; 4]);
     }
 }
+
+/// Original36306 logical-string result: first unsigned byte difference.
+pub fn byte_compare(left: &[u8], right: &[u8]) -> Result<i32, Error> {
+    if left.len() > 8192 || right.len() > 8192 {
+        return Err(Error::InvalidInput);
+    }
+    let mut j = 0;
+    loop {
+        let a = *left.get(j).unwrap_or(&0);
+        let b = *right.get(j).unwrap_or(&0);
+        if a != b {
+            return Ok(a as i32 - b as i32);
+        }
+        if a == 0 {
+            return Ok(0);
+        }
+        j += 1;
+    }
+}
+#[cfg(test)]
+mod byte_compare_tests {
+    use super::*;
+    #[test]
+    fn high_bytes_unsigned_and_nul_stops() {
+        assert_eq!(byte_compare(b"\xff", b"a"), Ok(158));
+        assert_eq!(byte_compare(b"a\0suffix", b"a"), Ok(0));
+        assert_eq!(byte_compare(b"A", b"a"), Ok(-32));
+    }
+    #[test]
+    fn input_guard() {
+        assert_eq!(byte_compare(&vec![1; 8193], b"x"), Err(Error::InvalidInput));
+    }
+}

docs/FINDINGS.md

@@ -1742,3 +1742,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-914:** 256 actual36306 cases recover the word-at-a-time comparison used by admission/password filtering. Result is the exact unsigned-byte difference at the first mismatch, with NUL termination, case sensitivity, high bytes and all four synthetic pointer alignments checked. Guard bytes are explicit fixture memory; native pointer validity and aliases remain open. [Evidence](research/QVM_BYTE_COMPARE.md).
+
+
+**RE-915:** Rust matches256 original36306 fixtures across alignment/case/NUL/high-byte domains, preserving the exact byte difference rather than only its sign. Typed logical strings reject oversized inputs. Raw word lookahead, invalid pointers and aliases remain outside the portable contract. [Evidence](research/RUST_BYTE_COMPARE.md).

docs/PROVISIONAL_TODO.md

@@ -1782,3 +1782,6 @@ RE-904–913 completed bounded initialization, full persistence, in-memory round
 
 
 RE-914: 256 actual36306 cases recover the word-at-a-time comparison used by admission/password filtering. Result is the exact unsigned-byte difference at the first mismatch, with NUL termination, case sensitivity, high bytes and all four synthetic pointer alignments checked. Guard bytes are explicit fixture memory; native pointer validity and aliases remain open. Full runtime completion remains open. [Evidence](research/QVM_BYTE_COMPARE.md).
+
+
+RE-915: Rust matches256 original36306 fixtures across alignment/case/NUL/high-byte domains, preserving the exact byte difference rather than only its sign. Typed logical strings reject oversized inputs. Raw word lookahead, invalid pointers and aliases remain outside the portable contract. Full runtime completion remains open. [Evidence](research/RUST_BYTE_COMPARE.md).

docs/RESEARCH_LEDGER.md

@@ -2295,3 +2295,8 @@ At the tenth-commit boundary, the first full attempt exposed a helper filename c
 ## 2026-10-28 — RE-914 Original unsigned byte string comparison
 
 256 actual36306 cases recover the word-at-a-time comparison used by admission/password filtering. Result is the exact unsigned-byte difference at the first mismatch, with NUL termination, case sensitivity, high bytes and all four synthetic pointer alignments checked. Guard bytes are explicit fixture memory; native pointer validity and aliases remain open. Focused `cargo xtask test-group qvm-byte-compare` 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-915 Rust unsigned comparison for admission
+
+Rust matches256 original36306 fixtures across alignment/case/NUL/high-byte domains, preserving the exact byte difference rather than only its sign. Typed logical strings reject oversized inputs. Raw word lookahead, invalid pointers and aliases remain outside the portable contract. Focused `cargo xtask test-group rust-byte-compare` 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

@@ -1819,3 +1819,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-914 Original unsigned byte string comparison ([evidence](research/QVM_BYTE_COMPARE.md)).
+
+
+- [x] RE-915 Rust unsigned comparison for admission ([evidence](research/RUST_BYTE_COMPARE.md)).

docs/research/README.md

@@ -1354,3 +1354,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-914: Original unsigned byte string comparison](QVM_BYTE_COMPARE.md).
+
+
+[RE-915: Rust unsigned comparison for admission](RUST_BYTE_COMPARE.md).

docs/research/RUST_BYTE_COMPARE.md

@@ -0,0 +1,7 @@
+# Rust unsigned comparison for admission
+
+RE-915. Reproduce with `python3 scripts/analyze_rust_byte_compare.py`; focused validation: `cargo xtask test-group rust-byte-compare`. [Machine report](rust-byte-compare.json).
+
+Rust matches256 original36306 fixtures across alignment/case/NUL/high-byte domains, preserving the exact byte difference rather than only its sign. Typed logical strings reject oversized inputs. Raw word lookahead, invalid pointers and aliases remain outside the portable contract.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/rust-byte-compare.json

@@ -0,0 +1,2055 @@
+{
+  "limits": "Rust matches256 original36306 fixtures across alignment/case/NUL/high-byte domains, preserving the exact byte difference rather than only its sign. Typed logical strings reject oversized inputs. Raw word lookahead, invalid pointers and aliases remain outside the portable contract.",
+  "probes": [
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -65
+      },
+      "source": {
+        "result": -65
+      }
+    },
+    {
+      "rust": {
+        "result": -65
+      },
+      "source": {
+        "result": -65
+      }
+    },
+    {
+      "rust": {
+        "result": -65
+      },
+      "source": {
+        "result": -65
+      }
+    },
+    {
+      "rust": {
+        "result": -65
+      },
+      "source": {
+        "result": -65
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -128
+      },
+      "source": {
+        "result": -128
+      }
+    },
+    {
+      "rust": {
+        "result": -128
+      },
+      "source": {
+        "result": -128
+      }
+    },
+    {
+      "rust": {
+        "result": -128
+      },
+      "source": {
+        "result": -128
+      }
+    },
+    {
+      "rust": {
+        "result": -128
+      },
+      "source": {
+        "result": -128
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": -97
+      },
+      "source": {
+        "result": -97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 65
+      },
+      "source": {
+        "result": 65
+      }
+    },
+    {
+      "rust": {
+        "result": 65
+      },
+      "source": {
+        "result": 65
+      }
+    },
+    {
+      "rust": {
+        "result": 65
+      },
+      "source": {
+        "result": 65
+      }
+    },
+    {
+      "rust": {
+        "result": 65
+      },
+      "source": {
+        "result": 65
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -63
+      },
+      "source": {
+        "result": -63
+      }
+    },
+    {
+      "rust": {
+        "result": -63
+      },
+      "source": {
+        "result": -63
+      }
+    },
+    {
+      "rust": {
+        "result": -63
+      },
+      "source": {
+        "result": -63
+      }
+    },
+    {
+      "rust": {
+        "result": -63
+      },
+      "source": {
+        "result": -63
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": -32
+      },
+      "source": {
+        "result": -32
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": -101
+      },
+      "source": {
+        "result": -101
+      }
+    },
+    {
+      "rust": {
+        "result": -101
+      },
+      "source": {
+        "result": -101
+      }
+    },
+    {
+      "rust": {
+        "result": -101
+      },
+      "source": {
+        "result": -101
+      }
+    },
+    {
+      "rust": {
+        "result": -101
+      },
+      "source": {
+        "result": -101
+      }
+    },
+    {
+      "rust": {
+        "result": -156
+      },
+      "source": {
+        "result": -156
+      }
+    },
+    {
+      "rust": {
+        "result": -156
+      },
+      "source": {
+        "result": -156
+      }
+    },
+    {
+      "rust": {
+        "result": -156
+      },
+      "source": {
+        "result": -156
+      }
+    },
+    {
+      "rust": {
+        "result": -156
+      },
+      "source": {
+        "result": -156
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 101
+      },
+      "source": {
+        "result": 101
+      }
+    },
+    {
+      "rust": {
+        "result": 101
+      },
+      "source": {
+        "result": 101
+      }
+    },
+    {
+      "rust": {
+        "result": 101
+      },
+      "source": {
+        "result": 101
+      }
+    },
+    {
+      "rust": {
+        "result": 101
+      },
+      "source": {
+        "result": 101
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": -156
+      },
+      "source": {
+        "result": -156
+      }
+    },
+    {
+      "rust": {
+        "result": -156
+      },
+      "source": {
+        "result": -156
+      }
+    },
+    {
+      "rust": {
+        "result": -156
+      },
+      "source": {
+        "result": -156
+      }
+    },
+    {
+      "rust": {
+        "result": -156
+      },
+      "source": {
+        "result": -156
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 156
+      },
+      "source": {
+        "result": 156
+      }
+    },
+    {
+      "rust": {
+        "result": 156
+      },
+      "source": {
+        "result": 156
+      }
+    },
+    {
+      "rust": {
+        "result": 156
+      },
+      "source": {
+        "result": 156
+      }
+    },
+    {
+      "rust": {
+        "result": 156
+      },
+      "source": {
+        "result": 156
+      }
+    },
+    {
+      "rust": {
+        "result": 156
+      },
+      "source": {
+        "result": 156
+      }
+    },
+    {
+      "rust": {
+        "result": 156
+      },
+      "source": {
+        "result": 156
+      }
+    },
+    {
+      "rust": {
+        "result": 156
+      },
+      "source": {
+        "result": 156
+      }
+    },
+    {
+      "rust": {
+        "result": 156
+      },
+      "source": {
+        "result": 156
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 98
+      },
+      "source": {
+        "result": 98
+      }
+    },
+    {
+      "rust": {
+        "result": 128
+      },
+      "source": {
+        "result": 128
+      }
+    },
+    {
+      "rust": {
+        "result": 128
+      },
+      "source": {
+        "result": 128
+      }
+    },
+    {
+      "rust": {
+        "result": 128
+      },
+      "source": {
+        "result": 128
+      }
+    },
+    {
+      "rust": {
+        "result": 128
+      },
+      "source": {
+        "result": 128
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 63
+      },
+      "source": {
+        "result": 63
+      }
+    },
+    {
+      "rust": {
+        "result": 63
+      },
+      "source": {
+        "result": 63
+      }
+    },
+    {
+      "rust": {
+        "result": 63
+      },
+      "source": {
+        "result": 63
+      }
+    },
+    {
+      "rust": {
+        "result": 63
+      },
+      "source": {
+        "result": 63
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 31
+      },
+      "source": {
+        "result": 31
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 97
+      },
+      "source": {
+        "result": 97
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": 32
+      },
+      "source": {
+        "result": 32
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -98
+      },
+      "source": {
+        "result": -98
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": -31
+      },
+      "source": {
+        "result": -31
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "result": 0
+      },
+      "source": {
+        "result": 0
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-byte-compare.json",
+  "source_report_sha256": "faf97bc50018dda9a03b0602b93552b8d14dd8b30db937aec95cffc8e3421ee1"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_byte_compare.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'];left=bytes.fromhex(a['left']);right=bytes.fromhex(a['right']);return [len(left),*left,len(right),*right]
+def project(s):return {'result':s['result']}
+
+def main():
+ b=binary();p=Path('docs/research/qvm-byte-compare.json');data=p.read_bytes();rows=[]
+ for s in json.loads(data)['probes']:rows.append({'source':project(s),'rust':result(b,'byte-compare',encode(s))})
+ write_json(Path('docs/research/rust-byte-compare.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust matches256 original36306 fixtures across alignment/case/NUL/high-byte domains, preserving the exact byte difference rather than only its sign. Typed logical strings reject oversized inputs. Raw word lookahead, invalid pointers and aliases remain outside the portable contract.'})
+if __name__=='__main__':main()

scripts/test_rust_byte_compare.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-byte-compare.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-byte-compare.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

@@ -2910,3 +2910,16 @@ edge	docs/research/qvm-byte-compare.json	scripts/test_qvm_byte_compare.py
 group	qvm-byte-compare	scripts/analyze_qvm_byte_compare.py
 edge	scripts/analyze_qvm_byte_compare.py	scripts/analyze_qvm_resumer_audit.py
 edge	scripts/qvm_connect_policy_support.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_byte_compare.py
+edge	Cargo.lock	scripts/analyze_rust_byte_compare.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_byte_compare.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_byte_compare.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_byte_compare.py
+edge	crates/urt-gameplay/src/bin/urt-native-policy.rs	scripts/analyze_rust_byte_compare.py
+edge	docs/research/qvm-byte-compare.json	scripts/analyze_rust_byte_compare.py
+group	rust-byte-compare	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_byte_compare.py
+report	scripts/analyze_rust_byte_compare.py	docs/research/rust-byte-compare.json
+edge	docs/research/rust-byte-compare.json	scripts/test_rust_byte_compare.py
+group	rust-byte-compare	scripts/analyze_rust_byte_compare.py
+edge	scripts/analyze_rust_byte_compare.py	scripts/analyze_qvm_resumer_audit.py