qvm: execute original formatter dispatch

docs/FINDINGS.md

@@ -1442,3 +1442,6 @@ RE-802–811 adds opt-in coherent memory, original string/scoreboard control flo
 
 
 **RE-814:** 37279 pads zeroes before a negative sign and renders wrapping INT_MIN remainder bytes noncanonically; narrow left-padding domains fail bounded execution. [Evidence](research/QVM_FORMAT_INTEGER.md).
+
+
+**RE-815:** 37914 now executes original dispatch tables and integer/string children; pointer conversion is decimal, unknown conversions consume one low-byte word, and source padding/minimum quirks propagate. [Evidence](research/QVM_FORMATTER.md).

docs/PROVISIONAL_TODO.md

@@ -1452,3 +1452,6 @@ RE-813: 37768 truncates non-null strings by precision, always pads on the right,
 
 
 RE-814: 37279 pads zeroes before a negative sign and renders wrapping INT_MIN remainder bytes noncanonically; narrow left-padding domains fail bounded execution. Full runtime completion remains open. [Evidence](research/QVM_FORMAT_INTEGER.md).
+
+
+RE-815: 37914 now executes original dispatch tables and integer/string children; pointer conversion is decimal, unknown conversions consume one low-byte word, and source padding/minimum quirks propagate. Full runtime completion remains open. [Evidence](research/QVM_FORMATTER.md).

docs/RESEARCH_LEDGER.md

@@ -1738,3 +1738,8 @@ After exactly ten task commits from `744c236f`, the single `cargo xtask test-ful
 ## 2026-10-27 — RE-814 Actual decimal formatter padding and signed-minimum quirks
 
 37279 pads zeroes before a negative sign and renders wrapping INT_MIN remainder bytes noncanonically; narrow left-padding domains fail bounded execution. Focused `cargo xtask test-group format-integer` passes (6 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-815 Original formatter dispatch integer string character and literal composition
+
+37914 now executes original dispatch tables and integer/string children; pointer conversion is decimal, unknown conversions consume one low-byte word, and source padding/minimum quirks propagate. Focused `cargo xtask test-group formatter` 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.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1492,3 +1492,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-814 Actual decimal formatter padding and signed-minimum quirks ([evidence](research/QVM_FORMAT_INTEGER.md)).
+
+
+- [x] RE-815 Original formatter dispatch integer string character and literal composition ([evidence](research/QVM_FORMATTER.md)).

docs/research/QVM_FORMATTER.md

@@ -0,0 +1,7 @@
+# Original formatter dispatch integer string character and literal composition
+
+RE-815. Reproduce with `python3 scripts/analyze_qvm_formatter.py`; focused validation: `cargo xtask test-group formatter`. [Machine report](qvm-formatter.json).
+
+55 complete source formatter fixtures cover d/i/p, string width/precision/null handling, zero and left padding, escaped percent, raw characters, unknown conversions and mixed arguments. Independent parsing/byte arithmetic verifies result length and terminal NUL, including embedded character NUL. Float formatting, malformed/trailing formats and unsafe vararg/padding domains remain excluded.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1032,3 +1032,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-814: Actual decimal formatter padding and signed-minimum quirks](QVM_FORMAT_INTEGER.md).
+
+
+[RE-815: Original formatter dispatch integer string character and literal composition](QVM_FORMATTER.md).

docs/research/qvm-formatter.json

@@ -0,0 +1,1398 @@
+{
+  "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.",
+  "probes": [
+    {
+      "arguments": [
+        {
+          "word": -2147483648
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 46,
+        "2072911874": 47,
+        "2072911875": 44,
+        "2072911876": 41,
+        "2072911877": 44,
+        "2072911878": 40,
+        "2072911879": 45,
+        "2072911880": 42,
+        "2072911881": 44,
+        "2072911882": 40,
+        "2072911883": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 11,
+      "formatter37914_executed": true,
+      "output_hex": "2d2e2f2c292c282d2a2c2800",
+      "template": "%i",
+      "trace_sha256": "ba9feaceca0e1b3557fa9b2b6bb61c54c39cec605178bf08c98b97f52fa13f05"
+    },
+    {
+      "arguments": [
+        {
+          "word": -12
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 49,
+        "2072911874": 50,
+        "2072911875": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 3,
+      "formatter37914_executed": true,
+      "output_hex": "2d313200",
+      "template": "%i",
+      "trace_sha256": "ba9feaceca0e1b3557fa9b2b6bb61c54c39cec605178bf08c98b97f52fa13f05"
+    },
+    {
+      "arguments": [
+        {
+          "word": 0
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 48,
+        "2072911873": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 1,
+      "formatter37914_executed": true,
+      "output_hex": "3000",
+      "template": "%i",
+      "trace_sha256": "ba9feaceca0e1b3557fa9b2b6bb61c54c39cec605178bf08c98b97f52fa13f05"
+    },
+    {
+      "arguments": [
+        {
+          "word": 123
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 49,
+        "2072911873": 50,
+        "2072911874": 51,
+        "2072911875": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 3,
+      "formatter37914_executed": true,
+      "output_hex": "31323300",
+      "template": "%i",
+      "trace_sha256": "ba9feaceca0e1b3557fa9b2b6bb61c54c39cec605178bf08c98b97f52fa13f05"
+    },
+    {
+      "arguments": [
+        {
+          "word": 2147483647
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 50,
+        "2072911873": 49,
+        "2072911874": 52,
+        "2072911875": 55,
+        "2072911876": 52,
+        "2072911877": 56,
+        "2072911878": 51,
+        "2072911879": 54,
+        "2072911880": 52,
+        "2072911881": 55,
+        "2072911882": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 10,
+      "formatter37914_executed": true,
+      "output_hex": "3231343734383336343700",
+      "template": "%i",
+      "trace_sha256": "ba9feaceca0e1b3557fa9b2b6bb61c54c39cec605178bf08c98b97f52fa13f05"
+    },
+    {
+      "arguments": [
+        {
+          "word": -2147483648
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 46,
+        "2072911874": 47,
+        "2072911875": 44,
+        "2072911876": 41,
+        "2072911877": 44,
+        "2072911878": 40,
+        "2072911879": 45,
+        "2072911880": 42,
+        "2072911881": 44,
+        "2072911882": 40,
+        "2072911883": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 11,
+      "formatter37914_executed": true,
+      "output_hex": "2d2e2f2c292c282d2a2c2800",
+      "template": "%d",
+      "trace_sha256": "ba9feaceca0e1b3557fa9b2b6bb61c54c39cec605178bf08c98b97f52fa13f05"
+    },
+    {
+      "arguments": [
+        {
+          "word": -12
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 49,
+        "2072911874": 50,
+        "2072911875": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 3,
+      "formatter37914_executed": true,
+      "output_hex": "2d313200",
+      "template": "%d",
+      "trace_sha256": "ba9feaceca0e1b3557fa9b2b6bb61c54c39cec605178bf08c98b97f52fa13f05"
+    },
+    {
+      "arguments": [
+        {
+          "word": 0
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 48,
+        "2072911873": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 1,
+      "formatter37914_executed": true,
+      "output_hex": "3000",
+      "template": "%d",
+      "trace_sha256": "ba9feaceca0e1b3557fa9b2b6bb61c54c39cec605178bf08c98b97f52fa13f05"
+    },
+    {
+      "arguments": [
+        {
+          "word": 123
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 49,
+        "2072911873": 50,
+        "2072911874": 51,
+        "2072911875": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 3,
+      "formatter37914_executed": true,
+      "output_hex": "31323300",
+      "template": "%d",
+      "trace_sha256": "ba9feaceca0e1b3557fa9b2b6bb61c54c39cec605178bf08c98b97f52fa13f05"
+    },
+    {
+      "arguments": [
+        {
+          "word": 2147483647
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 50,
+        "2072911873": 49,
+        "2072911874": 52,
+        "2072911875": 55,
+        "2072911876": 52,
+        "2072911877": 56,
+        "2072911878": 51,
+        "2072911879": 54,
+        "2072911880": 52,
+        "2072911881": 55,
+        "2072911882": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 10,
+      "formatter37914_executed": true,
+      "output_hex": "3231343734383336343700",
+      "template": "%d",
+      "trace_sha256": "ba9feaceca0e1b3557fa9b2b6bb61c54c39cec605178bf08c98b97f52fa13f05"
+    },
+    {
+      "arguments": [
+        {
+          "word": -2147483648
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 46,
+        "2072911874": 47,
+        "2072911875": 44,
+        "2072911876": 41,
+        "2072911877": 44,
+        "2072911878": 40,
+        "2072911879": 45,
+        "2072911880": 42,
+        "2072911881": 44,
+        "2072911882": 40,
+        "2072911883": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 11,
+      "formatter37914_executed": true,
+      "output_hex": "2d2e2f2c292c282d2a2c2800",
+      "template": "%p",
+      "trace_sha256": "29f8d8eda437168e4d074a0e2f17e17de9000e08ee6a0d33b5bbd44fc435b43d"
+    },
+    {
+      "arguments": [
+        {
+          "word": -12
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 49,
+        "2072911874": 50,
+        "2072911875": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 3,
+      "formatter37914_executed": true,
+      "output_hex": "2d313200",
+      "template": "%p",
+      "trace_sha256": "29f8d8eda437168e4d074a0e2f17e17de9000e08ee6a0d33b5bbd44fc435b43d"
+    },
+    {
+      "arguments": [
+        {
+          "word": 0
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 48,
+        "2072911873": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 1,
+      "formatter37914_executed": true,
+      "output_hex": "3000",
+      "template": "%p",
+      "trace_sha256": "29f8d8eda437168e4d074a0e2f17e17de9000e08ee6a0d33b5bbd44fc435b43d"
+    },
+    {
+      "arguments": [
+        {
+          "word": 123
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 49,
+        "2072911873": 50,
+        "2072911874": 51,
+        "2072911875": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 3,
+      "formatter37914_executed": true,
+      "output_hex": "31323300",
+      "template": "%p",
+      "trace_sha256": "29f8d8eda437168e4d074a0e2f17e17de9000e08ee6a0d33b5bbd44fc435b43d"
+    },
+    {
+      "arguments": [
+        {
+          "word": 2147483647
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 50,
+        "2072911873": 49,
+        "2072911874": 52,
+        "2072911875": 55,
+        "2072911876": 52,
+        "2072911877": 56,
+        "2072911878": 51,
+        "2072911879": 54,
+        "2072911880": 52,
+        "2072911881": 55,
+        "2072911882": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 10,
+      "formatter37914_executed": true,
+      "output_hex": "3231343734383336343700",
+      "template": "%p",
+      "trace_sha256": "29f8d8eda437168e4d074a0e2f17e17de9000e08ee6a0d33b5bbd44fc435b43d"
+    },
+    {
+      "arguments": [
+        {
+          "word": -2147483648
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 46,
+        "2072911874": 47,
+        "2072911875": 44,
+        "2072911876": 41,
+        "2072911877": 44,
+        "2072911878": 40,
+        "2072911879": 45,
+        "2072911880": 42,
+        "2072911881": 44,
+        "2072911882": 40,
+        "2072911883": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 11,
+      "formatter37914_executed": true,
+      "output_hex": "2d2e2f2c292c282d2a2c2800",
+      "template": "%05i",
+      "trace_sha256": "a481ff41b3d1385d4f0315ee71604690ae6143e91eb3ef52637e5dc3ffd193b2"
+    },
+    {
+      "arguments": [
+        {
+          "word": -12
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 48,
+        "2072911873": 48,
+        "2072911874": 45,
+        "2072911875": 49,
+        "2072911876": 50,
+        "2072911877": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 5,
+      "formatter37914_executed": true,
+      "output_hex": "30302d313200",
+      "template": "%05i",
+      "trace_sha256": "a481ff41b3d1385d4f0315ee71604690ae6143e91eb3ef52637e5dc3ffd193b2"
+    },
+    {
+      "arguments": [
+        {
+          "word": 0
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 48,
+        "2072911873": 48,
+        "2072911874": 48,
+        "2072911875": 48,
+        "2072911876": 48,
+        "2072911877": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 5,
+      "formatter37914_executed": true,
+      "output_hex": "303030303000",
+      "template": "%05i",
+      "trace_sha256": "a481ff41b3d1385d4f0315ee71604690ae6143e91eb3ef52637e5dc3ffd193b2"
+    },
+    {
+      "arguments": [
+        {
+          "word": 123
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 48,
+        "2072911873": 48,
+        "2072911874": 49,
+        "2072911875": 50,
+        "2072911876": 51,
+        "2072911877": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 5,
+      "formatter37914_executed": true,
+      "output_hex": "303031323300",
+      "template": "%05i",
+      "trace_sha256": "a481ff41b3d1385d4f0315ee71604690ae6143e91eb3ef52637e5dc3ffd193b2"
+    },
+    {
+      "arguments": [
+        {
+          "word": 2147483647
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 50,
+        "2072911873": 49,
+        "2072911874": 52,
+        "2072911875": 55,
+        "2072911876": 52,
+        "2072911877": 56,
+        "2072911878": 51,
+        "2072911879": 54,
+        "2072911880": 52,
+        "2072911881": 55,
+        "2072911882": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 10,
+      "formatter37914_executed": true,
+      "output_hex": "3231343734383336343700",
+      "template": "%05i",
+      "trace_sha256": "a481ff41b3d1385d4f0315ee71604690ae6143e91eb3ef52637e5dc3ffd193b2"
+    },
+    {
+      "arguments": [
+        {
+          "word": -2147483648
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 46,
+        "2072911874": 47,
+        "2072911875": 44,
+        "2072911876": 41,
+        "2072911877": 44,
+        "2072911878": 40,
+        "2072911879": 45,
+        "2072911880": 42,
+        "2072911881": 44,
+        "2072911882": 40,
+        "2072911883": 32,
+        "2072911884": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 12,
+      "formatter37914_executed": true,
+      "output_hex": "2d2e2f2c292c282d2a2c282000",
+      "template": "%-12i",
+      "trace_sha256": "5369c9cc834057a126f5ce4a4b90d62419f4c862cc3ef5f4f90ab3d96e534c2f"
+    },
+    {
+      "arguments": [
+        {
+          "word": -12
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 49,
+        "2072911874": 50,
+        "2072911875": 32,
+        "2072911876": 32,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 32,
+        "2072911881": 32,
+        "2072911882": 32,
+        "2072911883": 32,
+        "2072911884": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 12,
+      "formatter37914_executed": true,
+      "output_hex": "2d313220202020202020202000",
+      "template": "%-12i",
+      "trace_sha256": "5369c9cc834057a126f5ce4a4b90d62419f4c862cc3ef5f4f90ab3d96e534c2f"
+    },
+    {
+      "arguments": [
+        {
+          "word": 0
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 48,
+        "2072911873": 32,
+        "2072911874": 32,
+        "2072911875": 32,
+        "2072911876": 32,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 32,
+        "2072911881": 32,
+        "2072911882": 32,
+        "2072911883": 32,
+        "2072911884": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 12,
+      "formatter37914_executed": true,
+      "output_hex": "30202020202020202020202000",
+      "template": "%-12i",
+      "trace_sha256": "5369c9cc834057a126f5ce4a4b90d62419f4c862cc3ef5f4f90ab3d96e534c2f"
+    },
+    {
+      "arguments": [
+        {
+          "word": 123
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 49,
+        "2072911873": 50,
+        "2072911874": 51,
+        "2072911875": 32,
+        "2072911876": 32,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 32,
+        "2072911881": 32,
+        "2072911882": 32,
+        "2072911883": 32,
+        "2072911884": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 12,
+      "formatter37914_executed": true,
+      "output_hex": "31323320202020202020202000",
+      "template": "%-12i",
+      "trace_sha256": "5369c9cc834057a126f5ce4a4b90d62419f4c862cc3ef5f4f90ab3d96e534c2f"
+    },
+    {
+      "arguments": [
+        {
+          "word": 2147483647
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 50,
+        "2072911873": 49,
+        "2072911874": 52,
+        "2072911875": 55,
+        "2072911876": 52,
+        "2072911877": 56,
+        "2072911878": 51,
+        "2072911879": 54,
+        "2072911880": 52,
+        "2072911881": 55,
+        "2072911882": 32,
+        "2072911883": 32,
+        "2072911884": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 12,
+      "formatter37914_executed": true,
+      "output_hex": "32313437343833363437202000",
+      "template": "%-12i",
+      "trace_sha256": "5369c9cc834057a126f5ce4a4b90d62419f4c862cc3ef5f4f90ab3d96e534c2f"
+    },
+    {
+      "arguments": [
+        {
+          "word": -2147483648
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 46,
+        "2072911874": 47,
+        "2072911875": 44,
+        "2072911876": 41,
+        "2072911877": 44,
+        "2072911878": 40,
+        "2072911879": 45,
+        "2072911880": 42,
+        "2072911881": 44,
+        "2072911882": 40,
+        "2072911883": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 11,
+      "formatter37914_executed": true,
+      "output_hex": "2d2e2f2c292c282d2a2c2800",
+      "template": "%.2i",
+      "trace_sha256": "e701b6bdb3a944b4b510fa3805ffe7125a718c2453eee95848bcb19d821b4358"
+    },
+    {
+      "arguments": [
+        {
+          "word": -12
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 45,
+        "2072911873": 49,
+        "2072911874": 50,
+        "2072911875": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 3,
+      "formatter37914_executed": true,
+      "output_hex": "2d313200",
+      "template": "%.2i",
+      "trace_sha256": "e701b6bdb3a944b4b510fa3805ffe7125a718c2453eee95848bcb19d821b4358"
+    },
+    {
+      "arguments": [
+        {
+          "word": 0
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 48,
+        "2072911873": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 1,
+      "formatter37914_executed": true,
+      "output_hex": "3000",
+      "template": "%.2i",
+      "trace_sha256": "e701b6bdb3a944b4b510fa3805ffe7125a718c2453eee95848bcb19d821b4358"
+    },
+    {
+      "arguments": [
+        {
+          "word": 123
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 49,
+        "2072911873": 50,
+        "2072911874": 51,
+        "2072911875": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 3,
+      "formatter37914_executed": true,
+      "output_hex": "31323300",
+      "template": "%.2i",
+      "trace_sha256": "e701b6bdb3a944b4b510fa3805ffe7125a718c2453eee95848bcb19d821b4358"
+    },
+    {
+      "arguments": [
+        {
+          "word": 2147483647
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 50,
+        "2072911873": 49,
+        "2072911874": 52,
+        "2072911875": 55,
+        "2072911876": 52,
+        "2072911877": 56,
+        "2072911878": 51,
+        "2072911879": 54,
+        "2072911880": 52,
+        "2072911881": 55,
+        "2072911882": 0
+      },
+      "child_targets": [
+        37279
+      ],
+      "count": 10,
+      "formatter37914_executed": true,
+      "output_hex": "3231343734383336343700",
+      "template": "%.2i",
+      "trace_sha256": "e701b6bdb3a944b4b510fa3805ffe7125a718c2453eee95848bcb19d821b4358"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": ""
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 0,
+      "formatter37914_executed": true,
+      "output_hex": "00",
+      "template": "%s",
+      "trace_sha256": "305f06b4b751d78852bd971b7881fd704414b9641fe653948836a8740685aa1e"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "41"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 65,
+        "2072911873": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 1,
+      "formatter37914_executed": true,
+      "output_hex": "4100",
+      "template": "%s",
+      "trace_sha256": "305f06b4b751d78852bd971b7881fd704414b9641fe653948836a8740685aa1e"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "4142434445"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 65,
+        "2072911873": 66,
+        "2072911874": 67,
+        "2072911875": 68,
+        "2072911876": 69,
+        "2072911877": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 5,
+      "formatter37914_executed": true,
+      "output_hex": "414243444500",
+      "template": "%s",
+      "trace_sha256": "305f06b4b751d78852bd971b7881fd704414b9641fe653948836a8740685aa1e"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "fffefd"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 255,
+        "2072911873": 254,
+        "2072911874": 253,
+        "2072911875": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 3,
+      "formatter37914_executed": true,
+      "output_hex": "fffefd00",
+      "template": "%s",
+      "trace_sha256": "305f06b4b751d78852bd971b7881fd704414b9641fe653948836a8740685aa1e"
+    },
+    {
+      "arguments": [
+        {
+          "null": true
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 40,
+        "2072911873": 110,
+        "2072911874": 117,
+        "2072911875": 108,
+        "2072911876": 108,
+        "2072911877": 41,
+        "2072911878": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 6,
+      "formatter37914_executed": true,
+      "output_hex": "286e756c6c2900",
+      "template": "%s",
+      "trace_sha256": "305f06b4b751d78852bd971b7881fd704414b9641fe653948836a8740685aa1e"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": ""
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 32,
+        "2072911873": 32,
+        "2072911874": 32,
+        "2072911875": 32,
+        "2072911876": 32,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 32,
+        "2072911881": 32,
+        "2072911882": 32,
+        "2072911883": 32,
+        "2072911884": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 12,
+      "formatter37914_executed": true,
+      "output_hex": "20202020202020202020202000",
+      "template": "%12s",
+      "trace_sha256": "1bae7bd1799c3332435b597297237e3994b4f6ae441d0678939263c5e629bbdb"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "41"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 65,
+        "2072911873": 32,
+        "2072911874": 32,
+        "2072911875": 32,
+        "2072911876": 32,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 32,
+        "2072911881": 32,
+        "2072911882": 32,
+        "2072911883": 32,
+        "2072911884": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 12,
+      "formatter37914_executed": true,
+      "output_hex": "41202020202020202020202000",
+      "template": "%12s",
+      "trace_sha256": "1bae7bd1799c3332435b597297237e3994b4f6ae441d0678939263c5e629bbdb"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "4142434445"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 65,
+        "2072911873": 66,
+        "2072911874": 67,
+        "2072911875": 68,
+        "2072911876": 69,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 32,
+        "2072911881": 32,
+        "2072911882": 32,
+        "2072911883": 32,
+        "2072911884": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 12,
+      "formatter37914_executed": true,
+      "output_hex": "41424344452020202020202000",
+      "template": "%12s",
+      "trace_sha256": "1bae7bd1799c3332435b597297237e3994b4f6ae441d0678939263c5e629bbdb"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "fffefd"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 255,
+        "2072911873": 254,
+        "2072911874": 253,
+        "2072911875": 32,
+        "2072911876": 32,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 32,
+        "2072911881": 32,
+        "2072911882": 32,
+        "2072911883": 32,
+        "2072911884": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 12,
+      "formatter37914_executed": true,
+      "output_hex": "fffefd20202020202020202000",
+      "template": "%12s",
+      "trace_sha256": "1bae7bd1799c3332435b597297237e3994b4f6ae441d0678939263c5e629bbdb"
+    },
+    {
+      "arguments": [
+        {
+          "null": true
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 40,
+        "2072911873": 110,
+        "2072911874": 117,
+        "2072911875": 108,
+        "2072911876": 108,
+        "2072911877": 41,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 32,
+        "2072911881": 32,
+        "2072911882": 32,
+        "2072911883": 32,
+        "2072911884": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 12,
+      "formatter37914_executed": true,
+      "output_hex": "286e756c6c2920202020202000",
+      "template": "%12s",
+      "trace_sha256": "1bae7bd1799c3332435b597297237e3994b4f6ae441d0678939263c5e629bbdb"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": ""
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 0,
+      "formatter37914_executed": true,
+      "output_hex": "00",
+      "template": "%.2s",
+      "trace_sha256": "37fd27cd549ea7dd140def2587646e2eda715279014d59912fa6e20dffbe2fa5"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "41"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 65,
+        "2072911873": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 1,
+      "formatter37914_executed": true,
+      "output_hex": "4100",
+      "template": "%.2s",
+      "trace_sha256": "37fd27cd549ea7dd140def2587646e2eda715279014d59912fa6e20dffbe2fa5"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "4142434445"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 65,
+        "2072911873": 66,
+        "2072911874": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 2,
+      "formatter37914_executed": true,
+      "output_hex": "414200",
+      "template": "%.2s",
+      "trace_sha256": "37fd27cd549ea7dd140def2587646e2eda715279014d59912fa6e20dffbe2fa5"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "fffefd"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 255,
+        "2072911873": 254,
+        "2072911874": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 2,
+      "formatter37914_executed": true,
+      "output_hex": "fffe00",
+      "template": "%.2s",
+      "trace_sha256": "37fd27cd549ea7dd140def2587646e2eda715279014d59912fa6e20dffbe2fa5"
+    },
+    {
+      "arguments": [
+        {
+          "null": true
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 40,
+        "2072911873": 110,
+        "2072911874": 117,
+        "2072911875": 108,
+        "2072911876": 108,
+        "2072911877": 41,
+        "2072911878": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 6,
+      "formatter37914_executed": true,
+      "output_hex": "286e756c6c2900",
+      "template": "%.2s",
+      "trace_sha256": "37fd27cd549ea7dd140def2587646e2eda715279014d59912fa6e20dffbe2fa5"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": ""
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 32,
+        "2072911873": 32,
+        "2072911874": 32,
+        "2072911875": 32,
+        "2072911876": 32,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 8,
+      "formatter37914_executed": true,
+      "output_hex": "202020202020202000",
+      "template": "%08.2s",
+      "trace_sha256": "b51b3e2cd288b2f699e3c332b3c659167179c9452916c8c7365dbd5158aea27e"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "41"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 65,
+        "2072911873": 32,
+        "2072911874": 32,
+        "2072911875": 32,
+        "2072911876": 32,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 8,
+      "formatter37914_executed": true,
+      "output_hex": "412020202020202000",
+      "template": "%08.2s",
+      "trace_sha256": "b51b3e2cd288b2f699e3c332b3c659167179c9452916c8c7365dbd5158aea27e"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "4142434445"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 65,
+        "2072911873": 66,
+        "2072911874": 32,
+        "2072911875": 32,
+        "2072911876": 32,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 8,
+      "formatter37914_executed": true,
+      "output_hex": "414220202020202000",
+      "template": "%08.2s",
+      "trace_sha256": "b51b3e2cd288b2f699e3c332b3c659167179c9452916c8c7365dbd5158aea27e"
+    },
+    {
+      "arguments": [
+        {
+          "bytes_hex": "fffefd"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 255,
+        "2072911873": 254,
+        "2072911874": 32,
+        "2072911875": 32,
+        "2072911876": 32,
+        "2072911877": 32,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 8,
+      "formatter37914_executed": true,
+      "output_hex": "fffe20202020202000",
+      "template": "%08.2s",
+      "trace_sha256": "b51b3e2cd288b2f699e3c332b3c659167179c9452916c8c7365dbd5158aea27e"
+    },
+    {
+      "arguments": [
+        {
+          "null": true
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 40,
+        "2072911873": 110,
+        "2072911874": 117,
+        "2072911875": 108,
+        "2072911876": 108,
+        "2072911877": 41,
+        "2072911878": 32,
+        "2072911879": 32,
+        "2072911880": 0
+      },
+      "child_targets": [
+        37768
+      ],
+      "count": 8,
+      "formatter37914_executed": true,
+      "output_hex": "286e756c6c29202000",
+      "template": "%08.2s",
+      "trace_sha256": "b51b3e2cd288b2f699e3c332b3c659167179c9452916c8c7365dbd5158aea27e"
+    },
+    {
+      "arguments": [],
+      "child_memory_bytes": {
+        "2072911872": 0
+      },
+      "child_targets": [],
+      "count": 0,
+      "formatter37914_executed": true,
+      "output_hex": "00",
+      "template": "",
+      "trace_sha256": "dd418bdc7b67a8b9ee6e264ce626ca79586849b0048c96724c46c1db39ae866f"
+    },
+    {
+      "arguments": [],
+      "child_memory_bytes": {
+        "2072911872": 112,
+        "2072911873": 108,
+        "2072911874": 97,
+        "2072911875": 105,
+        "2072911876": 110,
+        "2072911877": 32,
+        "2072911878": 108,
+        "2072911879": 105,
+        "2072911880": 116,
+        "2072911881": 101,
+        "2072911882": 114,
+        "2072911883": 97,
+        "2072911884": 108,
+        "2072911885": 0
+      },
+      "child_targets": [],
+      "count": 13,
+      "formatter37914_executed": true,
+      "output_hex": "706c61696e206c69746572616c00",
+      "template": "plain literal",
+      "trace_sha256": "768bfaabd1234bbb562986e3eed66b42a1b2cf4cc11f5d97c3539eb953d168cd"
+    },
+    {
+      "arguments": [
+        {
+          "word": 65
+        },
+        {
+          "word": 322
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 37,
+        "2072911873": 58,
+        "2072911874": 65,
+        "2072911875": 58,
+        "2072911876": 66,
+        "2072911877": 0
+      },
+      "child_targets": [],
+      "count": 5,
+      "formatter37914_executed": true,
+      "output_hex": "253a413a4200",
+      "template": "%%:%c:%q",
+      "trace_sha256": "323120b6af0496fbba9412cb8a7be93bffb88ab0a197abbe786be438766f1979"
+    },
+    {
+      "arguments": [
+        {
+          "word": 0
+        },
+        {
+          "word": 255
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 0,
+        "2072911873": 32,
+        "2072911874": 255,
+        "2072911875": 0
+      },
+      "child_targets": [],
+      "count": 3,
+      "formatter37914_executed": true,
+      "output_hex": "0020ff00",
+      "template": "%c %c",
+      "trace_sha256": "e7a314666c2989ec0165dd050adaa859a17df91ced5eab03c068ad31c7ecd67a"
+    },
+    {
+      "arguments": [
+        {
+          "word": -12
+        },
+        {
+          "bytes_hex": "412025732042"
+        }
+      ],
+      "child_memory_bytes": {
+        "2072911872": 104,
+        "2072911873": 101,
+        "2072911874": 108,
+        "2072911875": 108,
+        "2072911876": 111,
+        "2072911877": 32,
+        "2072911878": 45,
+        "2072911879": 49,
+        "2072911880": 50,
+        "2072911881": 32,
+        "2072911882": 47,
+        "2072911883": 32,
+        "2072911884": 65,
+        "2072911885": 32,
+        "2072911886": 37,
+        "2072911887": 115,
+        "2072911888": 32,
+        "2072911889": 66,
+        "2072911890": 0
+      },
+      "child_targets": [
+        37279,
+        37768
+      ],
+      "count": 18,
+      "formatter37914_executed": true,
+      "output_hex": "68656c6c6f202d3132202f2041202573204200",
+      "template": "hello %i / %s",
+      "trace_sha256": "e67eca84b53f63072ad81b6a8057c2d59cf4ccfff3b9df6a110a37257d1f9d53"
+    }
+  ],
+  "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+  "source": {
+    "archive": "zUrT43_qvm.pk3",
+    "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
+    "member": {
+      "bytes": 983300,
+      "comment_hex": "",
+      "compressed_bytes": 246560,
+      "compression": 8,
+      "crc32": "98ea1768",
+      "create_system": 0,
+      "create_version": 63,
+      "date_time": [
+        2018,
+        6,
+        18,
+        22,
+        11,
+        50
+      ],
+      "directory": false,
+      "entry_index": 2,
+      "external_attr": 32,
+      "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
+      "extract_version": 20,
+      "flags": 0,
+      "header_offset": 221309,
+      "internal_attr": 0,
+      "occurrence": 0,
+      "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
+      "path": "vm/qagame.qvm",
+      "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+      "type": "member",
+      "volume": 0
+    }
+  }
+}

docs/research/qvm-resumer-audit.json

@@ -8529,6 +8529,46 @@
       "repeated_calls_opt_in": true,
       "repeated_calls_setting": "literal_true"
     },
+    {
+      "backward_conditional_branches": [
+        37971,
+        38109,
+        38173
+      ],
+      "calls": [
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 38217,
+          "stores_result": false,
+          "target": 37279
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 38240,
+          "stores_result": false,
+          "target": 37498
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 38263,
+          "stores_result": false,
+          "target": 37768
+        }
+      ],
+      "explicit_result_offsets": null,
+      "helper": "qvm_trace_support.resume",
+      "line": 35,
+      "literal_range": [
+        37915,
+        38324
+      ],
+      "path": "scripts/qvm_formatter_support.py",
+      "repeated_calls_opt_in": true,
+      "repeated_calls_setting": "literal_true"
+    },
     {
       "backward_conditional_branches": [],
       "calls": [],
@@ -9724,7 +9764,7 @@
     }
   },
   "summary": {
-    "call_expressions": 195,
+    "call_expressions": 196,
     "files": 150,
     "legacy_expressions": 158,
     "nonliteral_ranges": 24,

scripts/analyze_qvm_formatter.py

@@ -0,0 +1,25 @@
+#!/usr/bin/env python3
+from pathlib import Path
+from qvm_research_support import source
+from qvm_formatter_support import M,formatter_env,formatter
+from analyze_qvm import write_json
+FMT=M+0x1000;OUT=FMT+0x1000;ARGS=FMT+0x2000;TEXT=FMT+0x3000
+
+def run(ins,raw,h,template,values):
+    m,b=formatter_env(raw,h);b.update({FMT+j:v for j,v in enumerate(template+b'\0')})
+    for j,value in enumerate(values):
+        if isinstance(value,bytes):
+            ptr=TEXT+256*j;b.update({ptr+k:v for k,v in enumerate(value+b'\0'+b'\0'*4)});m[ARGS+4*j]=ptr
+        else:m[ARGS+4*j]=0 if value is None else value
+    m,n,e=formatter(ins,m,{8:OUT,12:FMT,16:ARGS},b)
+    return {'template':template.decode('ascii'),'arguments':[{'bytes_hex':v.hex()} if isinstance(v,bytes) else {'null':True} if v is None else {'word':v} for v in values],'count':n,**e}
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for spec in [b'%i',b'%d',b'%p',b'%05i',b'%-12i',b'%.2i']:
+        for v in [-2147483648,-12,0,123,2147483647]:rows.append(run(ins,raw,h,spec,[v]))
+    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.'})
+if __name__=='__main__':main()

scripts/qvm_formatter_support.py

@@ -21,3 +21,17 @@ def integer_field(ins,m,args,b):
     m,e=resume(ins,37280,37496,m,I,byte_inputs=b,repeated_calls=True,sync_child_words=True,coherent_memory=True,capture_byte_memory=True,limit=32768)
     after=int.from_bytes(read_bytes(m,e['byte_memory'],args[8],4),'little');data=read_bytes(m,e['byte_memory'],before,after-before)
     return m,0,{'child_memory_bytes':{before+j:v for j,v in enumerate(data)},'output_hex':data.hex(),'cursor':after,'trace_sha256':e['trace_sha256']}
+
+M=T+0x20000
+
+def formatter_env(raw,h):
+    from qvm_research_support import constants
+    addresses=[20652+4*c for c in range(99,106)]+[20928+4*c for c in range(37,58)]
+    fallback=image_bytes(raw,h,55135);storage=raw[h['data_offset']+55135:h['data_offset']+55135+len(fallback)+4]
+    return constants(raw,h,addresses),{55135+j:v for j,v in enumerate(storage)}
+
+def formatter(ins,m,args,b):
+    m,b=frame_args(m,b,{M+100+o:v for o,v in args.items()})
+    m,e=resume(ins,37915,38324,m,M,handlers={37279:integer_field,37768:string_field},byte_inputs=b,repeated_calls=True,sync_child_words=True,coherent_memory=True,byte_handlers=True,capture_byte_memory=True,limit=32768)
+    count=e['return'];data=read_bytes(m,e['byte_memory'],args[8],count+1)
+    return m,count,{'child_memory_bytes':{args[8]+j:v for j,v in enumerate(data)},'output_hex':data.hex(),'trace_sha256':e['trace_sha256'],'child_targets':[c['target'] for c in e['calls']],'formatter37914_executed':True}

scripts/test_qvm_formatter.py

@@ -0,0 +1,35 @@
+import json,unittest
+from pathlib import Path
+from test_qvm_format_integer import rendered
+
+def oracle(template,values):
+    out=bytearray();i=0;j=0
+    while i<len(template):
+        if template[i]!='%':out.extend(template[i].encode());i+=1;continue
+        i+=1;flags=0
+        while template[i] in '-0':flags|=4 if template[i]=='-' else 128;i+=1
+        start=i
+        while i<len(template) and template[i].isdigit():i+=1
+        width=int(template[start:i] or 0);precision=-1
+        if template[i]=='.':
+            i+=1;start=i
+            while i<len(template) and template[i].isdigit():i+=1
+            precision=int(template[start:i] or 0)
+        spec=template[i];i+=1
+        if spec=='%':out.append(37);continue
+        v=values[j];j+=1
+        if spec in 'dip':out.extend(rendered(v['word'],width,flags))
+        elif spec=='s':
+            text=b'(null)' if 'null' in v else bytes.fromhex(v['bytes_hex']).split(b'\0')[0]
+            if 'null' not in v and precision>=0:text=text[:precision]
+            out.extend(text+b' '*max(0,width-len(text)))
+        else:out.append(v['word']&255)
+    return bytes(out)+b'\0'
+class FormatterTests(unittest.TestCase):
+    def test_original_dispatch_and_independent_bytes(self):
+        ps=json.loads(Path('docs/research/qvm-formatter.json').read_text())['probes'];self.assertEqual(len(ps),55)
+        for p in ps:
+            expected=oracle(p['template'],p['arguments']);self.assertEqual(p['output_hex'],expected.hex(),p['template']);self.assertEqual(p['count'],len(expected)-1)
+    def test_actual_child_targets_and_nonstandard_unknown_conversion(self):
+        ps=json.loads(Path('docs/research/qvm-formatter.json').read_text())['probes'];self.assertTrue(any(37279 in p['child_targets'] for p in ps));self.assertTrue(any(37768 in p['child_targets'] for p in ps));self.assertEqual(next(p['output_hex'] for p in ps if p['template']=='%%:%c:%q'),b'%:A:B\0'.hex())
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1979,3 +1979,7 @@ report	scripts/analyze_qvm_format_integer.py	docs/research/qvm-format-integer.js
 edge	docs/research/qvm-format-integer.json	scripts/test_qvm_format_integer.py
 group	format-integer	scripts/analyze_qvm_format_integer.py
 edge	scripts/analyze_qvm_format_integer.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_qvm_formatter.py	docs/research/qvm-formatter.json
+edge	docs/research/qvm-formatter.json	scripts/test_qvm_formatter.py
+group	formatter	scripts/analyze_qvm_formatter.py
+edge	scripts/analyze_qvm_formatter.py	scripts/analyze_qvm_resumer_audit.py