| # Actual string formatter precision padding and null-pointer policy | |
| RE-813. Reproduce with `python3 scripts/analyze_qvm_format_string.py`; focused validation: `cargo xtask test-group format-string`. [Machine report](qvm-format-string.json). | |
| 96 source fixtures vary NUL placement, opaque bytes, null pointers, width and precision. Actual strlen36038 executes on unbounded-precision paths. Independent byte oracles verify output and cursor advancement. These semantics differ from assuming a standard host printf implementation; central formatting and native/runtime parity remain open. | |
| Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified. | |