gameplay: port float formatter arithmetic

crates/urt-gameplay/src/bin/urt-lifecycle.rs

@@ -394,6 +394,19 @@ fn run() -> Result<(), String> {
                 second.cached_ping as u32
             );
         }
+        "qvm-float" if w.len() == 3 => {
+            let precision = if (w[2] as i32) < 0 {
+                None
+            } else {
+                Some(w[2] as usize)
+            };
+            let bytes = urt_gameplay::qvm_format::floating(w[0], w[1] as usize, precision)
+                .map_err(|e| format!("unsupported input: {e:?}"))?;
+            println!(
+                "{{\"output_hex\":\"{}\"}}",
+                bytes.iter().map(|v| format!("{v:02x}")).collect::<String>()
+            );
+        }
         "exit-prefix" if w.len() == 4 => {
             use urt_gameplay::exit_prefix::{Action, advance};
             let mut pending = w[1] as i32;

crates/urt-gameplay/src/qvm_format.rs

@@ -10,7 +10,7 @@ pub enum Error {
     Argument,
     Limit,
     PaddingDomain,
-    UnsupportedFloat,
+    FloatDomain,
 }
 /// Preserve original wrapping-negation/remainder behavior, including INT_MIN.
 pub fn decimal(value: i32) -> Vec<u8> {
@@ -33,6 +33,31 @@ pub fn decimal(value: i32) -> Vec<u8> {
     digits.reverse();
     digits
 }
+/// Source37498 finite f32 subset: integer-width padding, truncation, no rounding.
+/// Precision is bounded to the verified0..9 domain; negative zero has no sign.
+pub fn floating(bits: u32, width: usize, precision: Option<usize>) -> Result<Vec<u8>, Error> {
+    let value = f32::from_bits(bits);
+    let precision = precision.unwrap_or(6);
+    if !value.is_finite() || value.abs() >= 2147483648.0 || precision > 9 || width > 4096 {
+        return Err(Error::FloatDomain);
+    }
+    let mut x = if value < 0.0 { -value } else { value };
+    let mut integer = decimal(x as i32);
+    if value < 0.0 {
+        integer.insert(0, b'-');
+    }
+    let mut out = vec![b' '; width.saturating_sub(integer.len())];
+    out.extend_from_slice(&integer);
+    if precision > 0 {
+        out.push(b'.');
+        for _ in 0..precision {
+            let fraction = x - (x as i32) as f32;
+            x = fraction * 10.0;
+            out.push((48 + (x as i32) % 10) as u8);
+        }
+    }
+    Ok(out)
+}
 fn append(out: &mut Vec<u8>, data: &[u8]) -> Result<(), Error> {
     if out.len() + data.len() > 32768 {
         return Err(Error::Limit);
@@ -98,12 +123,14 @@ pub fn render(template: &[u8], arguments: &[Argument<'_>]) -> Result<Vec<u8>, Er
             append(&mut out, b"%")?;
             continue;
         }
-        if spec == b'f' {
-            return Err(Error::UnsupportedFloat);
-        }
         let value = arguments.get(arg).ok_or(Error::Argument)?;
         arg += 1;
-        if [b'd', b'i', b'p'].contains(&spec) {
+        if spec == b'f' {
+            let Argument::Word(value) = value else {
+                return Err(Error::Argument);
+            };
+            append(&mut out, &floating(*value as u32, width, precision)?)?;
+        } else if [b'd', b'i', b'p'].contains(&spec) {
             let Argument::Word(value) = value else {
                 return Err(Error::Argument);
             };
@@ -184,6 +211,24 @@ pub fn ring(
 mod tests {
     use super::*;
     #[test]
+    fn float_truncates_and_ignores_zero_left_flags() {
+        assert_eq!(
+            render(b"%010.2f", &[Argument::Word((-0.125f32).to_bits() as i32)]).unwrap(),
+            b"        -0.12\0"
+        );
+        assert_eq!(floating((-0.0f32).to_bits(), 0, Some(0)).unwrap(), b"0");
+    }
+    #[test]
+    fn float_invalid_conversion_and_precision_reject() {
+        for v in [f32::NAN, f32::INFINITY, -2147483648.0, 2147483648.0] {
+            assert_eq!(floating(v.to_bits(), 0, None), Err(Error::FloatDomain));
+        }
+        assert_eq!(
+            floating(1.0f32.to_bits(), 0, Some(10)),
+            Err(Error::FloatDomain)
+        );
+    }
+    #[test]
     fn bounded_count_can_exceed_visible_length() {
         let p = bounded(b"%c/AB", &[Argument::Word(0)], 3).unwrap();
         assert_eq!(p.bytes, [0, 0, 0]);
@@ -231,7 +276,7 @@ mod tests {
             Err(Error::PaddingDomain)
         );
         assert_eq!(render(b"%", &[]), Err(Error::Malformed));
-        assert_eq!(render(b"%f", &[]), Err(Error::UnsupportedFloat));
+        assert_eq!(render(b"%f", &[]), Err(Error::Argument));
         assert_eq!(render(b"%s", &[Argument::Word(0)]), Err(Error::Argument));
         assert_eq!(render(b"%99999i", &[Argument::Word(1)]), Err(Error::Limit));
     }

docs/FINDINGS.md

@@ -1472,3 +1472,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-824:** 37498 pads only the signed integer portion, ignores formatting flags and iteratively truncates fractional f32 digits without rounding; negative zero has no sign. [Evidence](research/QVM_FORMAT_FLOAT.md).
+
+
+**RE-825:** Rust now reproduces original37498 fractional truncation and integer-only width padding, including negative-zero and ignored flag behavior. [Evidence](research/RUST_FORMAT_FLOAT.md).

docs/PROVISIONAL_TODO.md

@@ -1485,3 +1485,6 @@ RE-813–822 validation: 1,608 Python and117 Rust tests pass;34 affected produce
 
 
 RE-824: 37498 pads only the signed integer portion, ignores formatting flags and iteratively truncates fractional f32 digits without rounding; negative zero has no sign. Full runtime completion remains open. [Evidence](research/QVM_FORMAT_FLOAT.md).
+
+
+RE-825: Rust now reproduces original37498 fractional truncation and integer-only width padding, including negative-zero and ignored flag behavior. Full runtime completion remains open. [Evidence](research/RUST_FORMAT_FLOAT.md).

docs/RESEARCH_LEDGER.md

@@ -1790,3 +1790,8 @@ After exactly ten task commits from `7c1c4082`, the single `cargo xtask test-ful
 ## 2026-10-27 — RE-824 Original float formatter f32 truncation precision and width policy
 
 37498 pads only the signed integer portion, ignores formatting flags and iteratively truncates fractional f32 digits without rounding; negative zero has no sign. Focused `cargo xtask test-group format-float` passes (5 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-27 — RE-825 Rust f32 formatter truncation and original float dispatch
+
+Rust now reproduces original37498 fractional truncation and integer-only width padding, including negative-zero and ignored flag behavior. Focused `cargo xtask test-group rust-format-float` passes (19 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

@@ -1522,3 +1522,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-824 Original float formatter f32 truncation precision and width policy ([evidence](research/QVM_FORMAT_FLOAT.md)).
+
+
+- [x] RE-825 Rust f32 formatter truncation and original float dispatch ([evidence](research/RUST_FORMAT_FLOAT.md)).

docs/research/README.md

@@ -1062,3 +1062,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-824: Original float formatter f32 truncation precision and width policy](QVM_FORMAT_FLOAT.md).
+
+
+[RE-825: Rust f32 formatter truncation and original float dispatch](RUST_FORMAT_FLOAT.md).

docs/research/RUST_FORMAT_FLOAT.md

@@ -0,0 +1,7 @@
+# Rust f32 formatter truncation and original float dispatch
+
+RE-825. Reproduce with `python3 scripts/analyze_rust_format_float.py`; focused validation: `cargo xtask test-group rust-format-float`. [Machine report](rust-format-float.json).
+
+126 source-helper and12 central formatter cases match exact Rust bytes with an independent f32 oracle. Public precision is restricted to0..9/default6 and nonfinite/abs>=2^31 values reject before conversion. Existing integer/string formatter parity reruns after integration. Larger precision and native/JIT acceptance remain open.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/RUST_QVM_FORMAT.md

@@ -5,3 +5,5 @@ RE-817. Reproduce with `python3 scripts/analyze_rust_qvm_format.py`; focused val
 A typed byte-oriented formatter reproduces55 original-QVM fixtures exactly. Unit tests cover negative zero padding, string trailing padding, ignored null precision, unknown conversion low bytes and embedded character NUL. Unsafe narrow-left padding, malformed arguments, float formatting and output/width limits reject explicitly. This stage leaves scoreboard packet integration to the next task.
 
 Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.
+
+RE-825 extends the current API with the verified float subset; the earlier float exclusion is superseded within the finite precision/CVFI domain. [Evidence](RUST_FORMAT_FLOAT.md).

docs/research/qvm-formatter.json

@@ -1,5 +1,5 @@
 {
-  "limits": "Actual37914 with original jump tables, actual37279/37768 and36038 children across55 finite integer/string/character/literal fixtures. Float37498 remains unrecovered here. Unknown conversion consumes a word and writes its low byte; p dispatches decimal. Unsafe trailing formats/uninitialized varargs and narrow-left-padding domains excluded.",
+  "limits": "Actual37914 with original jump tables, actual37279/37768 and36038 children across55 finite integer/string/character/literal fixtures. Float37498 is covered separately by qvm-format-float.json. Unknown conversion consumes a word and writes its low byte; p dispatches decimal. Unsafe trailing formats/uninitialized varargs and narrow-left-padding domains excluded.",
   "probes": [
     {
       "arguments": [

docs/research/rust-format-float.json

@@ -0,0 +1,1522 @@
+{
+  "composed": [
+    {
+      "rust": {
+        "count": 8,
+        "cstring_hex": "302e30303030303000"
+      },
+      "source": {
+        "count": 8,
+        "cstring_hex": "302e30303030303000"
+      }
+    },
+    {
+      "rust": {
+        "count": 9,
+        "cstring_hex": "2d302e31323530303000"
+      },
+      "source": {
+        "count": 9,
+        "cstring_hex": "2d302e31323530303000"
+      }
+    },
+    {
+      "rust": {
+        "count": 8,
+        "cstring_hex": "302e31303030303000"
+      },
+      "source": {
+        "count": 8,
+        "cstring_hex": "302e31303030303000"
+      }
+    },
+    {
+      "rust": {
+        "count": 9,
+        "cstring_hex": "31322e33343530303000"
+      },
+      "source": {
+        "count": 9,
+        "cstring_hex": "31322e33343530303000"
+      }
+    },
+    {
+      "rust": {
+        "count": 13,
+        "cstring_hex": "202020202020202020302e303000"
+      },
+      "source": {
+        "count": 13,
+        "cstring_hex": "202020202020202020302e303000"
+      }
+    },
+    {
+      "rust": {
+        "count": 13,
+        "cstring_hex": "20202020202020202d302e313200"
+      },
+      "source": {
+        "count": 13,
+        "cstring_hex": "20202020202020202d302e313200"
+      }
+    },
+    {
+      "rust": {
+        "count": 13,
+        "cstring_hex": "202020202020202020302e313000"
+      },
+      "source": {
+        "count": 13,
+        "cstring_hex": "202020202020202020302e313000"
+      }
+    },
+    {
+      "rust": {
+        "count": 13,
+        "cstring_hex": "202020202020202031322e333400"
+      },
+      "source": {
+        "count": 13,
+        "cstring_hex": "202020202020202031322e333400"
+      }
+    },
+    {
+      "rust": {
+        "count": 10,
+        "cstring_hex": "2020202020202020203000"
+      },
+      "source": {
+        "count": 10,
+        "cstring_hex": "2020202020202020203000"
+      }
+    },
+    {
+      "rust": {
+        "count": 10,
+        "cstring_hex": "20202020202020202d3000"
+      },
+      "source": {
+        "count": 10,
+        "cstring_hex": "20202020202020202d3000"
+      }
+    },
+    {
+      "rust": {
+        "count": 10,
+        "cstring_hex": "2020202020202020203000"
+      },
+      "source": {
+        "count": 10,
+        "cstring_hex": "2020202020202020203000"
+      }
+    },
+    {
+      "rust": {
+        "count": 10,
+        "cstring_hex": "2020202020202020313200"
+      },
+      "source": {
+        "count": 10,
+        "cstring_hex": "2020202020202020313200"
+      }
+    }
+  ],
+  "limits": "Rust37498 f32 truncation and37914 float dispatch match126 helper and12 composed source cases. Precision0..9/default6, finite CVFI domain; no native/JIT or large-precision parity claim.",
+  "probes": [
+    {
+      "input": {
+        "precision": -1,
+        "width": 0,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "302e303030303030"
+      },
+      "source": "302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 0,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "30"
+      },
+      "source": "30"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 0,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "302e30"
+      },
+      "source": "302e30"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 0,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "302e3030"
+      },
+      "source": "302e3030"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 0,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "302e303030303030"
+      },
+      "source": "302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 0,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "302e303030303030303030"
+      },
+      "source": "302e303030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 3,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "2020302e303030303030"
+      },
+      "source": "2020302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 3,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "202030"
+      },
+      "source": "202030"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 3,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "2020302e30"
+      },
+      "source": "2020302e30"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 3,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "2020302e3030"
+      },
+      "source": "2020302e3030"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 3,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "2020302e303030303030"
+      },
+      "source": "2020302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 3,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "2020302e303030303030303030"
+      },
+      "source": "2020302e303030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 10,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e303030303030"
+      },
+      "source": "202020202020202020302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 10,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "20202020202020202030"
+      },
+      "source": "20202020202020202030"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 10,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e30"
+      },
+      "source": "202020202020202020302e30"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 10,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e3030"
+      },
+      "source": "202020202020202020302e3030"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 10,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e303030303030"
+      },
+      "source": "202020202020202020302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 10,
+        "word": 2147483648
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e303030303030303030"
+      },
+      "source": "202020202020202020302e303030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 0,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "302e303030303030"
+      },
+      "source": "302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 0,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "30"
+      },
+      "source": "30"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 0,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "302e30"
+      },
+      "source": "302e30"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 0,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "302e3030"
+      },
+      "source": "302e3030"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 0,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "302e303030303030"
+      },
+      "source": "302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 0,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "302e303030303030303030"
+      },
+      "source": "302e303030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 3,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "2020302e303030303030"
+      },
+      "source": "2020302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 3,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "202030"
+      },
+      "source": "202030"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 3,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "2020302e30"
+      },
+      "source": "2020302e30"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 3,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "2020302e3030"
+      },
+      "source": "2020302e3030"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 3,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "2020302e303030303030"
+      },
+      "source": "2020302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 3,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "2020302e303030303030303030"
+      },
+      "source": "2020302e303030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 10,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e303030303030"
+      },
+      "source": "202020202020202020302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 10,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "20202020202020202030"
+      },
+      "source": "20202020202020202030"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 10,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e30"
+      },
+      "source": "202020202020202020302e30"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 10,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e3030"
+      },
+      "source": "202020202020202020302e3030"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 10,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e303030303030"
+      },
+      "source": "202020202020202020302e303030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 10,
+        "word": 0
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e303030303030303030"
+      },
+      "source": "202020202020202020302e303030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 0,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "2d302e313235303030"
+      },
+      "source": "2d302e313235303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 0,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "2d30"
+      },
+      "source": "2d30"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 0,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "2d302e31"
+      },
+      "source": "2d302e31"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 0,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "2d302e3132"
+      },
+      "source": "2d302e3132"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 0,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "2d302e313235303030"
+      },
+      "source": "2d302e313235303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 0,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "2d302e313235303030303030"
+      },
+      "source": "2d302e313235303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 3,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "202d302e313235303030"
+      },
+      "source": "202d302e313235303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 3,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "202d30"
+      },
+      "source": "202d30"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 3,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "202d302e31"
+      },
+      "source": "202d302e31"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 3,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "202d302e3132"
+      },
+      "source": "202d302e3132"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 3,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "202d302e313235303030"
+      },
+      "source": "202d302e313235303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 3,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "202d302e313235303030303030"
+      },
+      "source": "202d302e313235303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 10,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "20202020202020202d302e313235303030"
+      },
+      "source": "20202020202020202d302e313235303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 10,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "20202020202020202d30"
+      },
+      "source": "20202020202020202d30"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 10,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "20202020202020202d302e31"
+      },
+      "source": "20202020202020202d302e31"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 10,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "20202020202020202d302e3132"
+      },
+      "source": "20202020202020202d302e3132"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 10,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "20202020202020202d302e313235303030"
+      },
+      "source": "20202020202020202d302e313235303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 10,
+        "word": 3187671040
+      },
+      "rust": {
+        "output_hex": "20202020202020202d302e313235303030303030"
+      },
+      "source": "20202020202020202d302e313235303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 0,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "302e313030303030"
+      },
+      "source": "302e313030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 0,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "30"
+      },
+      "source": "30"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 0,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "302e31"
+      },
+      "source": "302e31"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 0,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "302e3130"
+      },
+      "source": "302e3130"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 0,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "302e313030303030"
+      },
+      "source": "302e313030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 0,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "302e313030303030303030"
+      },
+      "source": "302e313030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 3,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "2020302e313030303030"
+      },
+      "source": "2020302e313030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 3,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "202030"
+      },
+      "source": "202030"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 3,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "2020302e31"
+      },
+      "source": "2020302e31"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 3,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "2020302e3130"
+      },
+      "source": "2020302e3130"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 3,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "2020302e313030303030"
+      },
+      "source": "2020302e313030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 3,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "2020302e313030303030303030"
+      },
+      "source": "2020302e313030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 10,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e313030303030"
+      },
+      "source": "202020202020202020302e313030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 10,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "20202020202020202030"
+      },
+      "source": "20202020202020202030"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 10,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e31"
+      },
+      "source": "202020202020202020302e31"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 10,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e3130"
+      },
+      "source": "202020202020202020302e3130"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 10,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e313030303030"
+      },
+      "source": "202020202020202020302e313030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 10,
+        "word": 1036831949
+      },
+      "rust": {
+        "output_hex": "202020202020202020302e313030303030303030"
+      },
+      "source": "202020202020202020302e313030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 0,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "2d312e393938393939"
+      },
+      "source": "2d312e393938393939"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 0,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "2d31"
+      },
+      "source": "2d31"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 0,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "2d312e39"
+      },
+      "source": "2d312e39"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 0,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "2d312e3939"
+      },
+      "source": "2d312e3939"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 0,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "2d312e393938393939"
+      },
+      "source": "2d312e393938393939"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 0,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "2d312e393938393939393737"
+      },
+      "source": "2d312e393938393939393737"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 3,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "202d312e393938393939"
+      },
+      "source": "202d312e393938393939"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 3,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "202d31"
+      },
+      "source": "202d31"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 3,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "202d312e39"
+      },
+      "source": "202d312e39"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 3,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "202d312e3939"
+      },
+      "source": "202d312e3939"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 3,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "202d312e393938393939"
+      },
+      "source": "202d312e393938393939"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 3,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "202d312e393938393939393737"
+      },
+      "source": "202d312e393938393939393737"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 10,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "20202020202020202d312e393938393939"
+      },
+      "source": "20202020202020202d312e393938393939"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 10,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "20202020202020202d31"
+      },
+      "source": "20202020202020202d31"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 10,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "20202020202020202d312e39"
+      },
+      "source": "20202020202020202d312e39"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 10,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "20202020202020202d312e3939"
+      },
+      "source": "20202020202020202d312e3939"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 10,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "20202020202020202d312e393938393939"
+      },
+      "source": "20202020202020202d312e393938393939"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 10,
+        "word": 3221217083
+      },
+      "rust": {
+        "output_hex": "20202020202020202d312e393938393939393737"
+      },
+      "source": "20202020202020202d312e393938393939393737"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 0,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "31322e333435303030"
+      },
+      "source": "31322e333435303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 0,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "3132"
+      },
+      "source": "3132"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 0,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "31322e33"
+      },
+      "source": "31322e33"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 0,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "31322e3334"
+      },
+      "source": "31322e3334"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 0,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "31322e333435303030"
+      },
+      "source": "31322e333435303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 0,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "31322e333435303030323637"
+      },
+      "source": "31322e333435303030323637"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 3,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "2031322e333435303030"
+      },
+      "source": "2031322e333435303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 3,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "203132"
+      },
+      "source": "203132"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 3,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "2031322e33"
+      },
+      "source": "2031322e33"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 3,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "2031322e3334"
+      },
+      "source": "2031322e3334"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 3,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "2031322e333435303030"
+      },
+      "source": "2031322e333435303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 3,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "2031322e333435303030323637"
+      },
+      "source": "2031322e333435303030323637"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 10,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "202020202020202031322e333435303030"
+      },
+      "source": "202020202020202031322e333435303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 10,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "20202020202020203132"
+      },
+      "source": "20202020202020203132"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 10,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "202020202020202031322e33"
+      },
+      "source": "202020202020202031322e33"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 10,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "202020202020202031322e3334"
+      },
+      "source": "202020202020202031322e3334"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 10,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "202020202020202031322e333435303030"
+      },
+      "source": "202020202020202031322e333435303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 10,
+        "word": 1095075103
+      },
+      "rust": {
+        "output_hex": "202020202020202031322e333435303030323637"
+      },
+      "source": "202020202020202031322e333435303030323637"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 0,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "393939392e353030303030"
+      },
+      "source": "393939392e353030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 0,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "39393939"
+      },
+      "source": "39393939"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 0,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "393939392e35"
+      },
+      "source": "393939392e35"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 0,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "393939392e3530"
+      },
+      "source": "393939392e3530"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 0,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "393939392e353030303030"
+      },
+      "source": "393939392e353030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 0,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "393939392e353030303030303030"
+      },
+      "source": "393939392e353030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 3,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "393939392e353030303030"
+      },
+      "source": "393939392e353030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 3,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "39393939"
+      },
+      "source": "39393939"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 3,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "393939392e35"
+      },
+      "source": "393939392e35"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 3,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "393939392e3530"
+      },
+      "source": "393939392e3530"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 3,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "393939392e353030303030"
+      },
+      "source": "393939392e353030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 3,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "393939392e353030303030303030"
+      },
+      "source": "393939392e353030303030303030"
+    },
+    {
+      "input": {
+        "precision": -1,
+        "width": 10,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "202020202020393939392e353030303030"
+      },
+      "source": "202020202020393939392e353030303030"
+    },
+    {
+      "input": {
+        "precision": 0,
+        "width": 10,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "20202020202039393939"
+      },
+      "source": "20202020202039393939"
+    },
+    {
+      "input": {
+        "precision": 1,
+        "width": 10,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "202020202020393939392e35"
+      },
+      "source": "202020202020393939392e35"
+    },
+    {
+      "input": {
+        "precision": 2,
+        "width": 10,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "202020202020393939392e3530"
+      },
+      "source": "202020202020393939392e3530"
+    },
+    {
+      "input": {
+        "precision": 6,
+        "width": 10,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "202020202020393939392e353030303030"
+      },
+      "source": "202020202020393939392e353030303030"
+    },
+    {
+      "input": {
+        "precision": 9,
+        "width": 10,
+        "word": 1176256000
+      },
+      "rust": {
+        "output_hex": "202020202020393939392e353030303030303030"
+      },
+      "source": "202020202020393939392e353030303030303030"
+    }
+  ],
+  "rejections": [
+    2,
+    2,
+    2,
+    2,
+    2
+  ],
+  "source_report": "docs/research/qvm-format-float.json",
+  "source_report_sha256": "a11651635c8c38fed7316bbcd346232fde9a64ca61bb3dfcf6e8cfb40e1f434a"
+}

docs/research/rust-health-impulse.json

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

docs/research/rust-qvm-format.json

@@ -611,5 +611,5 @@
     2
   ],
   "source_report": "docs/research/qvm-formatter.json",
-  "source_report_sha256": "05948658242afbba756f1c33448be002c60cc73b2a108ec605140ec4b39de31d"
+  "source_report_sha256": "c75b4755b17a42038f1e7e0e0a6abb5bdb92a6e68a9165c79637f3fa87bc36c4"
 }

scripts/analyze_qvm_formatter.py

@@ -21,5 +21,5 @@ def main():
     for spec in [b'%s',b'%12s',b'%.2s',b'%08.2s']:
         for v in [b'',b'A',b'ABCDE',bytes([255,254,253]),None]:rows.append(run(ins,raw,h,spec,[v]))
     for template,args in [(b'',[]),(b'plain literal',[]),(b'%%:%c:%q',[65,0x142]),(b'%c %c',[0,255]),(b'hello %i / %s',[-12,b'A %s B'])]:rows.append(run(ins,raw,h,template,args))
-    write_json(Path('docs/research/qvm-formatter.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual37914 with original jump tables, actual37279/37768 and36038 children across55 finite integer/string/character/literal fixtures. Float37498 remains unrecovered here. Unknown conversion consumes a word and writes its low byte; p dispatches decimal. Unsafe trailing formats/uninitialized varargs and narrow-left-padding domains excluded.'})
+    write_json(Path('docs/research/qvm-formatter.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual37914 with original jump tables, actual37279/37768 and36038 children across55 finite integer/string/character/literal fixtures. Float37498 is covered separately by qvm-format-float.json. Unknown conversion consumes a word and writes its low byte; p dispatches decimal. Unsafe trailing formats/uninitialized varargs and narrow-left-padding domains excluded.'})
 if __name__=='__main__':main()

scripts/analyze_rust_format_float.py

@@ -0,0 +1,15 @@
+#!/usr/bin/env python3
+import hashlib,json
+from pathlib import Path
+from rust_lifecycle_support import binary,result,invoke
+from analyze_rust_qvm_format import encode
+from analyze_qvm import write_json
+
+def main():
+    b=binary();p=Path('docs/research/qvm-format-float.json');data=p.read_bytes();r=json.loads(data);rows=[];composed=[]
+    for s in r['probes']:rows.append({'input':{k:s[k] for k in ['word','width','precision']},'source':s['output_hex'],'rust':result(b,'qvm-float',[s['word'],s['width'],s['precision']])})
+    for s in r['composed']:composed.append({'source':{'cstring_hex':s['output_hex'],'count':s['count']},'rust':result(b,'qvm-format',encode(s))})
+    errors=[]
+    for s in r['rejections']:v=invoke(b,'qvm-float',[s['word'],0,6],check=False);assert v.returncode;errors.append(v.returncode)
+    write_json(Path('docs/research/rust-format-float.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'composed':composed,'rejections':errors,'limits':'Rust37498 f32 truncation and37914 float dispatch match126 helper and12 composed source cases. Precision0..9/default6, finite CVFI domain; no native/JIT or large-precision parity claim.'})
+if __name__=='__main__':main()

scripts/test_rust_format_float.py

@@ -0,0 +1,11 @@
+import hashlib,json,unittest
+from pathlib import Path
+from test_qvm_format_float import float_text
+class RustFormatFloatTests(unittest.TestCase):
+    def test_source_and_independent_f32_bytes(self):
+        r=json.loads(Path('docs/research/rust-format-float.json').read_text());self.assertEqual(len(r['probes']),126)
+        for p in r['probes']:a=p['input'];self.assertEqual(p['rust']['output_hex'],p['source']);self.assertEqual(p['source'],float_text(a['word'],a['width'],a['precision']).hex())
+        for p in r['composed']:self.assertEqual(p['rust'],p['source'])
+    def test_identity_and_nonfinite_overflow_domains(self):
+        r=json.loads(Path('docs/research/rust-format-float.json').read_text());self.assertEqual(hashlib.sha256(Path(r['source_report']).read_bytes()).hexdigest(),r['source_report_sha256']);self.assertEqual(len(r['rejections']),5)
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2064,3 +2064,17 @@ report	scripts/analyze_qvm_format_float.py	docs/research/qvm-format-float.json
 edge	docs/research/qvm-format-float.json	scripts/test_qvm_format_float.py
 group	format-float	scripts/analyze_qvm_format_float.py
 edge	scripts/analyze_qvm_format_float.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_format_float.py
+edge	Cargo.lock	scripts/analyze_rust_format_float.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_format_float.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_format_float.py
+edge	crates/urt-gameplay/src/bin/urt-lifecycle.rs	scripts/analyze_rust_format_float.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_format_float.py
+group	gameplay	scripts/analyze_rust_format_float.py
+group	rust-format-float	scripts/analyze_rust_health_impulse.py
+group	rust-format-float	scripts/analyze_qvm_formatter.py
+group	rust-format-float	scripts/analyze_rust_qvm_format.py
+report	scripts/analyze_rust_format_float.py	docs/research/rust-format-float.json
+edge	docs/research/rust-format-float.json	scripts/test_rust_format_float.py
+group	rust-format-float	scripts/analyze_rust_format_float.py
+edge	scripts/analyze_rust_format_float.py	scripts/analyze_qvm_resumer_audit.py