qvm: recover string formatter policy

docs/FINDINGS.md

@@ -1436,3 +1436,6 @@ RE-791–800 adds exact Rust source-sort/ranking parity, mixed count/prefix sema
 
 
 RE-802–811 adds opt-in coherent memory, original string/scoreboard control flow, Rust stateful packet/broadcast contracts and actual stat-award composition. [Batch evidence](research/QVM_SCOREBOARD_MEMORY_BATCH.md).
+
+
+**RE-813:** 37768 truncates non-null strings by precision, always pads on the right, and ignores supplied precision for null strings by using its source fallback literal. [Evidence](research/QVM_FORMAT_STRING.md).

docs/PROVISIONAL_TODO.md

@@ -1446,3 +1446,6 @@ RE-802–811 advances source/Rust scoreboard packet and shared-stat contracts. N
 
 
 RE-802–811 validation: 1,587 Python and109 Rust tests pass;320 affected producers reproduce byte-identically. Opt-in coherent memory, source/Rust scoreboard packet streams and shared stat-award contracts advance the rewrite. Actual formatter/native copy/send parity, exit-rule behavior, full runtime integration and macOS/Linux Bevy/Solari acceptance remain open. [Evidence](research/QVM_SCOREBOARD_MEMORY_BATCH.md).
+
+
+RE-813: 37768 truncates non-null strings by precision, always pads on the right, and ignores supplied precision for null strings by using its source fallback literal. Full runtime completion remains open. [Evidence](research/QVM_FORMAT_STRING.md).

docs/RESEARCH_LEDGER.md

@@ -1728,3 +1728,8 @@ RE-811 final focused recheck passes5 Python tests plus deterministic reports/sto
 ## 2026-10-26 — RE-802–811 full batch validation
 
 After exactly ten task commits from `744c236f`, the single `cargo xtask test-full --since 744c236f` run passed 1,587 Python tests (509+347+320+331+80) and109 Rust tests (10 assets,71 gameplay,28 xtask). All320 affected report producers regenerated twice byte-identically. Storage policy,370 documentation files and whitespace checks passed; regeneration left a clean working tree. Final documentation notes are checked separately and amended into task ten without repeating the full suite. [Batch contracts and RE-812 work](research/QVM_SCOREBOARD_MEMORY_BATCH.md).
+
+
+## 2026-10-27 — RE-813 Actual string formatter precision padding and null-pointer policy
+
+37768 truncates non-null strings by precision, always pads on the right, and ignores supplied precision for null strings by using its source fallback literal. Focused `cargo xtask test-group format-string` 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

@@ -1486,3 +1486,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [ ] RE-812 Recover actual formatter/native copy/send and exit-rule behavior, continue legacy/coherent-memory audits, complete leaderboard/lifecycle/runtime integration and macOS/Linux Bevy/Solari acceptance. [Next work](research/QVM_SCOREBOARD_MEMORY_BATCH.md#next-work--re-812).
+
+
+- [x] RE-813 Actual string formatter precision padding and null-pointer policy ([evidence](research/QVM_FORMAT_STRING.md)).

docs/research/QVM_FORMAT_STRING.md

@@ -0,0 +1,7 @@
+# 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.

docs/research/README.md

@@ -1026,3 +1026,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-802–811 batch: coherent memory and scoreboard packets](QVM_SCOREBOARD_MEMORY_BATCH.md).
+
+
+[RE-813: Actual string formatter precision padding and null-pointer policy](QVM_FORMAT_STRING.md).

docs/research/qvm-format-string.json

@@ -0,0 +1,1372 @@
+{
+  "fallback_hex": "286e756c6c2900",
+  "limits": "Actual37768 and actual36038 for unbounded precision. String width always trails with spaces; null pointer replaces precision with-minus-one and source literal55135. Finite initialized byte inputs; no central formatter/host ABI parity yet.",
+  "probes": [
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": -1,
+      "source_hex": "",
+      "trace_sha256": "b67f9a32925adcbb96d8d7c39a25a7be504509d478bd752c5f35deb7e7332476",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 0,
+      "source_hex": "",
+      "trace_sha256": "cf1d895cb861e37d4256c7c790c248b3603ad3572949373fbc56b0bc26b1a567",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 2,
+      "source_hex": "",
+      "trace_sha256": "e1fe76bc0aec128d2a33e8af93812e120b049deda9c9f6c77e246ae7acede1ab",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 9,
+      "source_hex": "",
+      "trace_sha256": "e1fe76bc0aec128d2a33e8af93812e120b049deda9c9f6c77e246ae7acede1ab",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": -1,
+      "source_hex": "",
+      "trace_sha256": "b67f9a32925adcbb96d8d7c39a25a7be504509d478bd752c5f35deb7e7332476",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 0,
+      "source_hex": "",
+      "trace_sha256": "cf1d895cb861e37d4256c7c790c248b3603ad3572949373fbc56b0bc26b1a567",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 2,
+      "source_hex": "",
+      "trace_sha256": "e1fe76bc0aec128d2a33e8af93812e120b049deda9c9f6c77e246ae7acede1ab",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 9,
+      "source_hex": "",
+      "trace_sha256": "e1fe76bc0aec128d2a33e8af93812e120b049deda9c9f6c77e246ae7acede1ab",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "202020",
+      "precision": -1,
+      "source_hex": "",
+      "trace_sha256": "f3fe07f03918ce095c841e1164ab1c1d6d358cbed5bb0152cd39e52acafd8966",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "202020",
+      "precision": 0,
+      "source_hex": "",
+      "trace_sha256": "51d35a23808240c273fde6aaf8d6f94ca5c02c5c196b4f6175d237608f5dc4b9",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "202020",
+      "precision": 2,
+      "source_hex": "",
+      "trace_sha256": "24ededa8a26f151a746eeb436cfb82171295c2c28c07f6ec93a00d6c01d6fbba",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "202020",
+      "precision": 9,
+      "source_hex": "",
+      "trace_sha256": "24ededa8a26f151a746eeb436cfb82171295c2c28c07f6ec93a00d6c01d6fbba",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "2020202020202020",
+      "precision": -1,
+      "source_hex": "",
+      "trace_sha256": "e5c3b3d7b82f3a05928405aa76c27102b26b28978fc23c4d9779b285e33f8166",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "2020202020202020",
+      "precision": 0,
+      "source_hex": "",
+      "trace_sha256": "8559f220ea0db1adddf794ccc045d3f2278d2d10b642ba506df5d2a63317248d",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "2020202020202020",
+      "precision": 2,
+      "source_hex": "",
+      "trace_sha256": "cfd49ba6f9dee0ca9ae7138997b95eb121e629c143744f809b51c71d8e6f4458",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "2020202020202020",
+      "precision": 9,
+      "source_hex": "",
+      "trace_sha256": "cfd49ba6f9dee0ca9ae7138997b95eb121e629c143744f809b51c71d8e6f4458",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": -1,
+      "source_hex": "41",
+      "trace_sha256": "5476bf459f861778191057038715167a66ef72960f3bed5be1162d70cd218ee3",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 0,
+      "source_hex": "41",
+      "trace_sha256": "cf1d895cb861e37d4256c7c790c248b3603ad3572949373fbc56b0bc26b1a567",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": 2,
+      "source_hex": "41",
+      "trace_sha256": "8314f734d75b044364ae3ae88e17bc59ccf540b64c8f2c9dcebbbff39a110989",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": 9,
+      "source_hex": "41",
+      "trace_sha256": "8314f734d75b044364ae3ae88e17bc59ccf540b64c8f2c9dcebbbff39a110989",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": -1,
+      "source_hex": "41",
+      "trace_sha256": "5476bf459f861778191057038715167a66ef72960f3bed5be1162d70cd218ee3",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 0,
+      "source_hex": "41",
+      "trace_sha256": "cf1d895cb861e37d4256c7c790c248b3603ad3572949373fbc56b0bc26b1a567",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": 2,
+      "source_hex": "41",
+      "trace_sha256": "8314f734d75b044364ae3ae88e17bc59ccf540b64c8f2c9dcebbbff39a110989",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": 9,
+      "source_hex": "41",
+      "trace_sha256": "8314f734d75b044364ae3ae88e17bc59ccf540b64c8f2c9dcebbbff39a110989",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "412020",
+      "precision": -1,
+      "source_hex": "41",
+      "trace_sha256": "bf1ed2bcc2ca607ca6e61597ebcd16b6c324fd4b7a359eb3bfca6a22e9cabd3a",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "202020",
+      "precision": 0,
+      "source_hex": "41",
+      "trace_sha256": "51d35a23808240c273fde6aaf8d6f94ca5c02c5c196b4f6175d237608f5dc4b9",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "412020",
+      "precision": 2,
+      "source_hex": "41",
+      "trace_sha256": "44f2016eecba3fc4265263e1a1409ea491f27e6edcb38af0bda48fd3ea6b23a3",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "412020",
+      "precision": 9,
+      "source_hex": "41",
+      "trace_sha256": "44f2016eecba3fc4265263e1a1409ea491f27e6edcb38af0bda48fd3ea6b23a3",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "4120202020202020",
+      "precision": -1,
+      "source_hex": "41",
+      "trace_sha256": "13f265a8f1e68f4ea1b0c373e37f6d3760463abe6cc33e53d3e1c99fbc464d5b",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "2020202020202020",
+      "precision": 0,
+      "source_hex": "41",
+      "trace_sha256": "8559f220ea0db1adddf794ccc045d3f2278d2d10b642ba506df5d2a63317248d",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "4120202020202020",
+      "precision": 2,
+      "source_hex": "41",
+      "trace_sha256": "adb5e52b15f2b45ba693c40320571d15dfda208dadc1c724ba8e50848499dbf7",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "4120202020202020",
+      "precision": 9,
+      "source_hex": "41",
+      "trace_sha256": "adb5e52b15f2b45ba693c40320571d15dfda208dadc1c724ba8e50848499dbf7",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98,
+        "2072784898": 99,
+        "2072784899": 100,
+        "2072784900": 101,
+        "2072784901": 102
+      },
+      "cursor": 2072784902,
+      "output_hex": "616263646566",
+      "precision": -1,
+      "source_hex": "616263646566",
+      "trace_sha256": "b87ad17b5e65446ad343935e6114b0ca5a9c61aac8cc6d9f97b5efffc406425c",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 0,
+      "source_hex": "616263646566",
+      "trace_sha256": "cf1d895cb861e37d4256c7c790c248b3603ad3572949373fbc56b0bc26b1a567",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98
+      },
+      "cursor": 2072784898,
+      "output_hex": "6162",
+      "precision": 2,
+      "source_hex": "616263646566",
+      "trace_sha256": "03b994ad6c5961112728416682c468e6d81be35542a2f5d019693294e659e823",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98,
+        "2072784898": 99,
+        "2072784899": 100,
+        "2072784900": 101,
+        "2072784901": 102
+      },
+      "cursor": 2072784902,
+      "output_hex": "616263646566",
+      "precision": 9,
+      "source_hex": "616263646566",
+      "trace_sha256": "95eac90c3c572714ca9eaa120048b5832bcc98aaff36c874bf505fe1cb275b11",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98,
+        "2072784898": 99,
+        "2072784899": 100,
+        "2072784900": 101,
+        "2072784901": 102
+      },
+      "cursor": 2072784902,
+      "output_hex": "616263646566",
+      "precision": -1,
+      "source_hex": "616263646566",
+      "trace_sha256": "b87ad17b5e65446ad343935e6114b0ca5a9c61aac8cc6d9f97b5efffc406425c",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 0,
+      "source_hex": "616263646566",
+      "trace_sha256": "cf1d895cb861e37d4256c7c790c248b3603ad3572949373fbc56b0bc26b1a567",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98
+      },
+      "cursor": 2072784898,
+      "output_hex": "6162",
+      "precision": 2,
+      "source_hex": "616263646566",
+      "trace_sha256": "03b994ad6c5961112728416682c468e6d81be35542a2f5d019693294e659e823",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98,
+        "2072784898": 99,
+        "2072784899": 100,
+        "2072784900": 101,
+        "2072784901": 102
+      },
+      "cursor": 2072784902,
+      "output_hex": "616263646566",
+      "precision": 9,
+      "source_hex": "616263646566",
+      "trace_sha256": "95eac90c3c572714ca9eaa120048b5832bcc98aaff36c874bf505fe1cb275b11",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98,
+        "2072784898": 99,
+        "2072784899": 100,
+        "2072784900": 101,
+        "2072784901": 102
+      },
+      "cursor": 2072784902,
+      "output_hex": "616263646566",
+      "precision": -1,
+      "source_hex": "616263646566",
+      "trace_sha256": "b87ad17b5e65446ad343935e6114b0ca5a9c61aac8cc6d9f97b5efffc406425c",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "202020",
+      "precision": 0,
+      "source_hex": "616263646566",
+      "trace_sha256": "51d35a23808240c273fde6aaf8d6f94ca5c02c5c196b4f6175d237608f5dc4b9",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "616220",
+      "precision": 2,
+      "source_hex": "616263646566",
+      "trace_sha256": "323588eece052789c2c80c092f841c8f4213a4ec4200fb509e0c3f8392865004",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98,
+        "2072784898": 99,
+        "2072784899": 100,
+        "2072784900": 101,
+        "2072784901": 102
+      },
+      "cursor": 2072784902,
+      "output_hex": "616263646566",
+      "precision": 9,
+      "source_hex": "616263646566",
+      "trace_sha256": "95eac90c3c572714ca9eaa120048b5832bcc98aaff36c874bf505fe1cb275b11",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98,
+        "2072784898": 99,
+        "2072784899": 100,
+        "2072784900": 101,
+        "2072784901": 102,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "6162636465662020",
+      "precision": -1,
+      "source_hex": "616263646566",
+      "trace_sha256": "87cf549544cdf3cc07ed3554bdc38b6f97f60716dd6afeca577d74ac4aade63b",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "2020202020202020",
+      "precision": 0,
+      "source_hex": "616263646566",
+      "trace_sha256": "8559f220ea0db1adddf794ccc045d3f2278d2d10b642ba506df5d2a63317248d",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "6162202020202020",
+      "precision": 2,
+      "source_hex": "616263646566",
+      "trace_sha256": "b5e05f9c843476c9c495dc3e3e93c4caed8dd9001c84d3bebd4b9605f4e5f2db",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 97,
+        "2072784897": 98,
+        "2072784898": 99,
+        "2072784899": 100,
+        "2072784900": 101,
+        "2072784901": 102,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "6162636465662020",
+      "precision": 9,
+      "source_hex": "616263646566",
+      "trace_sha256": "fe91e2ce93cfdf41dc36829fedb4979031fa875489a62b4bcfb97a5fc0ee02de",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": -1,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "5476bf459f861778191057038715167a66ef72960f3bed5be1162d70cd218ee3",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 0,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "cf1d895cb861e37d4256c7c790c248b3603ad3572949373fbc56b0bc26b1a567",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": 2,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "8314f734d75b044364ae3ae88e17bc59ccf540b64c8f2c9dcebbbff39a110989",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": 9,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "8314f734d75b044364ae3ae88e17bc59ccf540b64c8f2c9dcebbbff39a110989",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": -1,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "5476bf459f861778191057038715167a66ef72960f3bed5be1162d70cd218ee3",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 0,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "cf1d895cb861e37d4256c7c790c248b3603ad3572949373fbc56b0bc26b1a567",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": 2,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "8314f734d75b044364ae3ae88e17bc59ccf540b64c8f2c9dcebbbff39a110989",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65
+      },
+      "cursor": 2072784897,
+      "output_hex": "41",
+      "precision": 9,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "8314f734d75b044364ae3ae88e17bc59ccf540b64c8f2c9dcebbbff39a110989",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "412020",
+      "precision": -1,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "bf1ed2bcc2ca607ca6e61597ebcd16b6c324fd4b7a359eb3bfca6a22e9cabd3a",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "202020",
+      "precision": 0,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "51d35a23808240c273fde6aaf8d6f94ca5c02c5c196b4f6175d237608f5dc4b9",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "412020",
+      "precision": 2,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "44f2016eecba3fc4265263e1a1409ea491f27e6edcb38af0bda48fd3ea6b23a3",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "412020",
+      "precision": 9,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "44f2016eecba3fc4265263e1a1409ea491f27e6edcb38af0bda48fd3ea6b23a3",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "4120202020202020",
+      "precision": -1,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "13f265a8f1e68f4ea1b0c373e37f6d3760463abe6cc33e53d3e1c99fbc464d5b",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "2020202020202020",
+      "precision": 0,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "8559f220ea0db1adddf794ccc045d3f2278d2d10b642ba506df5d2a63317248d",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "4120202020202020",
+      "precision": 2,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "adb5e52b15f2b45ba693c40320571d15dfda208dadc1c724ba8e50848499dbf7",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 65,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "4120202020202020",
+      "precision": 9,
+      "source_hex": "4100737566666978",
+      "trace_sha256": "adb5e52b15f2b45ba693c40320571d15dfda208dadc1c724ba8e50848499dbf7",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254,
+        "2072784898": 253
+      },
+      "cursor": 2072784899,
+      "output_hex": "fffefd",
+      "precision": -1,
+      "source_hex": "fffefd",
+      "trace_sha256": "7a9bff3390934abebdfb17424406a67dc6e9a1845d453791028a2d59cd76442f",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 0,
+      "source_hex": "fffefd",
+      "trace_sha256": "cf1d895cb861e37d4256c7c790c248b3603ad3572949373fbc56b0bc26b1a567",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254
+      },
+      "cursor": 2072784898,
+      "output_hex": "fffe",
+      "precision": 2,
+      "source_hex": "fffefd",
+      "trace_sha256": "03b994ad6c5961112728416682c468e6d81be35542a2f5d019693294e659e823",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254,
+        "2072784898": 253
+      },
+      "cursor": 2072784899,
+      "output_hex": "fffefd",
+      "precision": 9,
+      "source_hex": "fffefd",
+      "trace_sha256": "dd9fe7a4863f3b5b388d5f33932318b4cad6f253ad26b1ce0909da52dd56af69",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254,
+        "2072784898": 253
+      },
+      "cursor": 2072784899,
+      "output_hex": "fffefd",
+      "precision": -1,
+      "source_hex": "fffefd",
+      "trace_sha256": "7a9bff3390934abebdfb17424406a67dc6e9a1845d453791028a2d59cd76442f",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {},
+      "cursor": 2072784896,
+      "output_hex": "",
+      "precision": 0,
+      "source_hex": "fffefd",
+      "trace_sha256": "cf1d895cb861e37d4256c7c790c248b3603ad3572949373fbc56b0bc26b1a567",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254
+      },
+      "cursor": 2072784898,
+      "output_hex": "fffe",
+      "precision": 2,
+      "source_hex": "fffefd",
+      "trace_sha256": "03b994ad6c5961112728416682c468e6d81be35542a2f5d019693294e659e823",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254,
+        "2072784898": 253
+      },
+      "cursor": 2072784899,
+      "output_hex": "fffefd",
+      "precision": 9,
+      "source_hex": "fffefd",
+      "trace_sha256": "dd9fe7a4863f3b5b388d5f33932318b4cad6f253ad26b1ce0909da52dd56af69",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254,
+        "2072784898": 253
+      },
+      "cursor": 2072784899,
+      "output_hex": "fffefd",
+      "precision": -1,
+      "source_hex": "fffefd",
+      "trace_sha256": "7a9bff3390934abebdfb17424406a67dc6e9a1845d453791028a2d59cd76442f",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "202020",
+      "precision": 0,
+      "source_hex": "fffefd",
+      "trace_sha256": "51d35a23808240c273fde6aaf8d6f94ca5c02c5c196b4f6175d237608f5dc4b9",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254,
+        "2072784898": 32
+      },
+      "cursor": 2072784899,
+      "output_hex": "fffe20",
+      "precision": 2,
+      "source_hex": "fffefd",
+      "trace_sha256": "323588eece052789c2c80c092f841c8f4213a4ec4200fb509e0c3f8392865004",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254,
+        "2072784898": 253
+      },
+      "cursor": 2072784899,
+      "output_hex": "fffefd",
+      "precision": 9,
+      "source_hex": "fffefd",
+      "trace_sha256": "dd9fe7a4863f3b5b388d5f33932318b4cad6f253ad26b1ce0909da52dd56af69",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254,
+        "2072784898": 253,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "fffefd2020202020",
+      "precision": -1,
+      "source_hex": "fffefd",
+      "trace_sha256": "caeb42ec471e4c4d6405cfd031cc8c28361a53e957390167b2972f198105fe8a",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 32,
+        "2072784897": 32,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "2020202020202020",
+      "precision": 0,
+      "source_hex": "fffefd",
+      "trace_sha256": "8559f220ea0db1adddf794ccc045d3f2278d2d10b642ba506df5d2a63317248d",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254,
+        "2072784898": 32,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "fffe202020202020",
+      "precision": 2,
+      "source_hex": "fffefd",
+      "trace_sha256": "b5e05f9c843476c9c495dc3e3e93c4caed8dd9001c84d3bebd4b9605f4e5f2db",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 255,
+        "2072784897": 254,
+        "2072784898": 253,
+        "2072784899": 32,
+        "2072784900": 32,
+        "2072784901": 32,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "fffefd2020202020",
+      "precision": 9,
+      "source_hex": "fffefd",
+      "trace_sha256": "f39783698e76f5ff454f2ed5d250c8f985367067d04a75c966a1017f6a47a43a",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": -1,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": 0,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": 2,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": 9,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": -1
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": -1,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": 0,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": 2,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": 9,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": 0
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": -1,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": 0,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": 2,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41
+      },
+      "cursor": 2072784902,
+      "output_hex": "286e756c6c29",
+      "precision": 9,
+      "source_hex": null,
+      "trace_sha256": "c9e68627656f8048e75bca6bae7b0a00e1257a507b0bcc86a121d3ba9dd2e039",
+      "width": 3
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "286e756c6c292020",
+      "precision": -1,
+      "source_hex": null,
+      "trace_sha256": "3bb99886819e4190282bfc4ef4ef2dac4f0ff9b86919f303cff025d72ddff4f9",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "286e756c6c292020",
+      "precision": 0,
+      "source_hex": null,
+      "trace_sha256": "3bb99886819e4190282bfc4ef4ef2dac4f0ff9b86919f303cff025d72ddff4f9",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "286e756c6c292020",
+      "precision": 2,
+      "source_hex": null,
+      "trace_sha256": "3bb99886819e4190282bfc4ef4ef2dac4f0ff9b86919f303cff025d72ddff4f9",
+      "width": 8
+    },
+    {
+      "child_memory_bytes": {
+        "2072784896": 40,
+        "2072784897": 110,
+        "2072784898": 117,
+        "2072784899": 108,
+        "2072784900": 108,
+        "2072784901": 41,
+        "2072784902": 32,
+        "2072784903": 32
+      },
+      "cursor": 2072784904,
+      "output_hex": "286e756c6c292020",
+      "precision": 9,
+      "source_hex": null,
+      "trace_sha256": "3bb99886819e4190282bfc4ef4ef2dac4f0ff9b86919f303cff025d72ddff4f9",
+      "width": 8
+    }
+  ],
+  "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

@@ -8484,6 +8484,32 @@
       "repeated_calls_opt_in": false,
       "repeated_calls_setting": "default_false"
     },
+    {
+      "backward_conditional_branches": [
+        37814,
+        37876,
+        37906
+      ],
+      "calls": [
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 20,
+          "instruction": 37822,
+          "stores_result": true,
+          "target": 36038
+        }
+      ],
+      "explicit_result_offsets": null,
+      "helper": "qvm_trace_support.resume",
+      "line": 13,
+      "literal_range": [
+        37769,
+        37912
+      ],
+      "path": "scripts/qvm_formatter_support.py",
+      "repeated_calls_opt_in": true,
+      "repeated_calls_setting": "literal_true"
+    },
     {
       "backward_conditional_branches": [],
       "calls": [],
@@ -9679,8 +9705,8 @@
     }
   },
   "summary": {
-    "call_expressions": 193,
-    "files": 149,
+    "call_expressions": 194,
+    "files": 150,
     "legacy_expressions": 158,
     "nonliteral_ranges": 24,
     "unresolved_mode_expressions": 3

scripts/analyze_qvm_format_string.py

@@ -0,0 +1,16 @@
+#!/usr/bin/env python3
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_formatter_support import T,image_bytes,string_field
+from analyze_qvm import write_json
+P=T+0x1000;SRC=P+0x1000;OUT=P+0x2000
+
+def main():
+    q,raw,h,ins=source();fallback=image_bytes(raw,h,55135);rows=[]
+    for value,width,precision in itertools.product([b'',b'A',b'abcdef',b'A\0suffix',bytes([255,254,253]),None],[-1,0,3,8],[-1,0,2,9]):
+        b={55135+j:v for j,v in enumerate(raw[h['data_offset']+55135:h['data_offset']+55135+len(fallback)+4])}
+        if value is not None:b.update({SRC+j:v for j,v in enumerate(value+b'\0'+b'\0'*4)})
+        m,_,e=string_field(ins,{P:OUT},{8:P,12:SRC if value is not None else 0,16:width,20:precision},b);rows.append({'source_hex':None if value is None else value.hex(),'width':width,'precision':precision,**e})
+    write_json(Path('docs/research/qvm-format-string.json'),{'source':q['source'],'sha256':q['sha256'],'fallback_hex':fallback.hex(),'probes':rows,'limits':'Actual37768 and actual36038 for unbounded precision. String width always trails with spaces; null pointer replaces precision with-minus-one and source literal55135. Finite initialized byte inputs; no central formatter/host ABI parity yet.'})
+if __name__=='__main__':main()

scripts/qvm_formatter_support.py

@@ -0,0 +1,15 @@
+"""Recovered formatter helpers; bounded byte interfaces, no host printf."""
+from qvm_health_effects_support import H
+from qvm_string_memory_support import frame_args,strlen
+from qvm_byte_memory_support import read_bytes
+from qvm_trace_support import resume
+T=H+0x6c0000
+
+def image_bytes(raw,h,address):
+    text=raw[h['data_offset']+address:];return text[:text.index(0)+1]
+
+def string_field(ins,m,args,b):
+    before=int.from_bytes(read_bytes(m,b,args[8],4),'little');m,b=frame_args(m,b,{T+28+o:v for o,v in args.items()})
+    m,e=resume(ins,37769,37912,m,T,handlers={36038:strlen},byte_inputs=b,repeated_calls=True,sync_child_words=True,coherent_memory=True,byte_handlers=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']}

scripts/test_qvm_format_string.py

@@ -0,0 +1,12 @@
+import json,unittest
+from pathlib import Path
+class FormatStringTests(unittest.TestCase):
+    def test_independent_precision_null_and_trailing_width(self):
+        r=json.loads(Path('docs/research/qvm-format-string.json').read_text());self.assertEqual(len(r['probes']),96)
+        for p in r['probes']:
+            text=bytes.fromhex(r['fallback_hex']).split(b'\0')[0] if p['source_hex'] is None else bytes.fromhex(p['source_hex']).split(b'\0')[0]
+            if p['source_hex'] is not None and p['precision']>=0:text=text[:p['precision']]
+            expected=text+b' '*max(0,p['width']-len(text));self.assertEqual(p['output_hex'],expected.hex());self.assertEqual(p['cursor'],0x7b200000+0x6c0000+0x3000+len(expected))
+    def test_source_quirks_have_explicit_witnesses(self):
+        r=json.loads(Path('docs/research/qvm-format-string.json').read_text());p=next(p for p in r['probes'] if p['source_hex']=='41' and p['width']==3 and p['precision']==-1);self.assertEqual(bytes.fromhex(p['output_hex']),b'A  ');self.assertTrue(any(p['source_hex'] is None and p['precision']==0 and p['output_hex'] for p in r['probes']))
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1970,3 +1970,8 @@ edge	scripts/analyze_qvm_stat_award_composition.py	scripts/analyze_qvm_resumer_a
 edge	docs/research/qvm-scoreboard-rows.json	scripts/analyze_rust_scoreboard_rows.py
 edge	docs/research/qvm-scoreboard-wire.json	scripts/analyze_rust_scoreboard_packet.py
 edge	docs/research/qvm-scoreboard-stream.json	scripts/analyze_rust_scoreboard_stream.py
+report	scripts/analyze_qvm_format_string.py	docs/research/qvm-format-string.json
+edge	docs/research/qvm-format-string.json	scripts/test_qvm_format_string.py
+group	format-string	scripts/analyze_qvm_format_string.py
+edge	scripts/analyze_qvm_format_string.py	scripts/analyze_qvm_resumer_audit.py
+edge	scripts/qvm_formatter_support.py	scripts/analyze_qvm_resumer_audit.py