qvm: hit sorting and publication

docs/ASSET_PIPELINE_TODO.md

@@ -643,3 +643,6 @@ Research progress: RE-653 [report](research/QVM_POSE_PREFIX.md); remaining nativ
 
 
 Research progress: RE-654 [report](research/QVM_SWING_CONTROLLER.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-655 [report](research/QVM_HIT_PUBLICATION.md); remaining native/content/runtime/platform scope stays open.

docs/FINDINGS.md

@@ -989,3 +989,6 @@ Bounded qagame paths recover bomb-plant/inactivity correction requests, direct f
 
 
 **RE-654 — Complete finite angle swing controller:** 33391 applies wrapped deltas, tolerance-scaled speed,16-bit quantization and asymmetric one-degree clamp margins. [Evidence](research/QVM_SWING_CONTROLLER.md).
+
+
+**RE-655 — Hit-record ordering and trace publication:** 25835 stably sorts five-word records by float key then prioritizes type3 over a leading5/6;146582 publishes context vectors and target ID only for nonzero count. [Evidence](research/QVM_HIT_PUBLICATION.md).

docs/PROVISIONAL_TODO.md

@@ -963,3 +963,6 @@ Research progress: RE-653 [report](research/QVM_POSE_PREFIX.md); remaining nativ
 
 
 Research progress: RE-654 [report](research/QVM_SWING_CONTROLLER.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-655 [report](research/QVM_HIT_PUBLICATION.md); remaining native/content/runtime/platform scope stays open.

docs/RESEARCH_LEDGER.md

@@ -937,3 +937,8 @@ Complete279820 updates attacker/victim hit/location/value counters;33715 enables
 ## 2026-10-20 — RE-654 Complete finite angle swing controller (separate task commit)
 
 33391 applies wrapped deltas, tolerance-scaled speed,16-bit quantization and asymmetric one-degree clamp margins. 96 fixtures independently reproduce float32 arithmetic, idle preservation, positive/negative wrap, zero elapsed and arrival flags. Full suite: 1084 tests pass. Report regenerates byte-identically (57174 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.
+
+
+## 2026-10-20 — RE-655 Hit-record ordering and trace publication (separate task commit)
+
+25835 stably sorts five-word records by float key then prioritizes type3 over a leading5/6;146582 publishes context vectors and target ID only for nonzero count. 18 supplied geometry fixtures independently check whole-record stability, priority swaps, exact trace writes and empty preservation. Full suite: 1088 tests pass. Report regenerates byte-identically (36771 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1006,3 +1006,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-654 Complete finite angle swing controller ([report](research/QVM_SWING_CONTROLLER.md)).
+
+
+- [x] RE-655 Hit-record ordering and trace publication ([report](research/QVM_HIT_PUBLICATION.md)).

docs/research/QVM_HIT_PUBLICATION.md

@@ -0,0 +1,7 @@
+# Hit-record ordering and trace publication
+
+RE-655. Reproduce with `python3 scripts/analyze_qvm_hit_publication.py`; check with `python3 scripts/test_qvm_hit_publication.py`. The [machine report](qvm-hit-publication.json) retains source identity and bounded fixtures.
+
+Actual25836–26035 implements insertion sorting of20-byte records at context+68 using the float at+16. Equal keys preserve input order until a second rule applies: if the first type is5 or6, the first later type3 swaps with it. The final list can therefore cease to be sorted. Actual146582–146620 copies context+12 to trace+12 and context+36 to trace+24, writes target ID to trace+52 and returns1 when count+64 is nonzero; zero count returns0 without trace writes. All records here are explicit supplied geometry fixtures.25341 and model intersection remain unexecuted, so a positive return proves publication behavior only. All report words normalize signed evaluator representations to their original32-bit patterns.
+
+No original executable/full QVM/native collision/physics/rendering executes. Native responses and legal input domains are supplied or unverified where stated; full runtime/macOS/Linux Rust/Bevy/Solari gameplay remains open.

docs/research/README.md

@@ -564,3 +564,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-654: Complete finite angle swing controller](QVM_SWING_CONTROLLER.md). Reproduce with `python3 scripts/analyze_qvm_swing_controller.py`; check with `python3 scripts/test_qvm_swing_controller.py`.
+
+
+[RE-655: Hit-record ordering and trace publication](QVM_HIT_PUBLICATION.md). Reproduce with `python3 scripts/analyze_qvm_hit_publication.py`; check with `python3 scripts/test_qvm_hit_publication.py`.

docs/research/qvm-hit-publication.json

@@ -0,0 +1,1923 @@
+{
+  "limits": "Source25835 plus146582\u2013146620 on explicitly supplied finite hit records.25341 geometry is not executed. Positive publication means nonzero supplied count, not an independently validated model hit.",
+  "probes": [
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [],
+      "initial": [],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 0,
+        "trace": null,
+        "trace_length": 9,
+        "trace_sha256": "154e46b70686a08aa1492bb609e078952b59d03a847f732204c5d7db5941f90e"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 24,
+        "trace_sha256": "f43dfe9aa455314592b5c50abf0db9f5753e832052f2485755f4afc65fb59af8"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [],
+      "initial": [],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 0,
+        "trace": null,
+        "trace_length": 9,
+        "trace_sha256": "154e46b70686a08aa1492bb609e078952b59d03a847f732204c5d7db5941f90e"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 24,
+        "trace_sha256": "f43dfe9aa455314592b5c50abf0db9f5753e832052f2485755f4afc65fb59af8"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          5,
+          100,
+          200,
+          300,
+          1065353216
+        ]
+      ],
+      "initial": [
+        [
+          5,
+          100,
+          200,
+          300,
+          1065353216
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 24,
+        "trace_sha256": "f43dfe9aa455314592b5c50abf0db9f5753e832052f2485755f4afc65fb59af8"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          5,
+          100,
+          200,
+          300,
+          1065353216
+        ]
+      ],
+      "initial": [
+        [
+          5,
+          100,
+          200,
+          300,
+          1065353216
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 24,
+        "trace_sha256": "f43dfe9aa455314592b5c50abf0db9f5753e832052f2485755f4afc65fb59af8"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          3,
+          100,
+          200,
+          300,
+          1065353216
+        ]
+      ],
+      "initial": [
+        [
+          3,
+          100,
+          200,
+          300,
+          1065353216
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 24,
+        "trace_sha256": "f43dfe9aa455314592b5c50abf0db9f5753e832052f2485755f4afc65fb59af8"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          3,
+          100,
+          200,
+          300,
+          1065353216
+        ]
+      ],
+      "initial": [
+        [
+          3,
+          100,
+          200,
+          300,
+          1065353216
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 24,
+        "trace_sha256": "f43dfe9aa455314592b5c50abf0db9f5753e832052f2485755f4afc65fb59af8"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          3,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          5,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          6,
+          102,
+          202,
+          302,
+          1077936128
+        ]
+      ],
+      "initial": [
+        [
+          5,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          3,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          6,
+          102,
+          202,
+          302,
+          1077936128
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 227,
+        "trace_sha256": "577ddfe1290c1dfcf94afe1507664be499ea464d234de5fc8b31a0fc76c3d607"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          3,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          5,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          6,
+          100,
+          200,
+          300,
+          1077936128
+        ]
+      ],
+      "initial": [
+        [
+          6,
+          100,
+          200,
+          300,
+          1077936128
+        ],
+        [
+          3,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          5,
+          102,
+          202,
+          302,
+          1065353216
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 349,
+        "trace_sha256": "21f35ba709500c6ad78e51ea5fa3e92b94fbf6f81a71fcae2c689885e07d7a02"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          3,
+          102,
+          202,
+          302,
+          1077936128
+        ],
+        [
+          7,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          6,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          3,
+          103,
+          203,
+          303,
+          1082130432
+        ]
+      ],
+      "initial": [
+        [
+          6,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          7,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          3,
+          102,
+          202,
+          302,
+          1077936128
+        ],
+        [
+          3,
+          103,
+          203,
+          303,
+          1082130432
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 323,
+        "trace_sha256": "c6dfe623a1ce7d9ecdff6dcfa4e9b61e69df4bf2de35c12b9eb207a91ff6fbaf"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          3,
+          101,
+          201,
+          301,
+          1077936128
+        ],
+        [
+          7,
+          102,
+          202,
+          302,
+          1073741824
+        ],
+        [
+          6,
+          103,
+          203,
+          303,
+          1065353216
+        ],
+        [
+          3,
+          100,
+          200,
+          300,
+          1082130432
+        ]
+      ],
+      "initial": [
+        [
+          3,
+          100,
+          200,
+          300,
+          1082130432
+        ],
+        [
+          3,
+          101,
+          201,
+          301,
+          1077936128
+        ],
+        [
+          7,
+          102,
+          202,
+          302,
+          1073741824
+        ],
+        [
+          6,
+          103,
+          203,
+          303,
+          1065353216
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 584,
+        "trace_sha256": "7be7fc18e229a631fcb8dd03ff01c3d9d8ed6f9d2dbbc3b20b23e81c30981820"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          5,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          6,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          7,
+          102,
+          202,
+          302,
+          1077936128
+        ]
+      ],
+      "initial": [
+        [
+          5,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          6,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          7,
+          102,
+          202,
+          302,
+          1077936128
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 230,
+        "trace_sha256": "4bff2d66703584e2d3ed5350c9218961a0353b52942d01b0a1dee3a0a011a310"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          5,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          6,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          7,
+          100,
+          200,
+          300,
+          1077936128
+        ]
+      ],
+      "initial": [
+        [
+          7,
+          100,
+          200,
+          300,
+          1077936128
+        ],
+        [
+          6,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          5,
+          102,
+          202,
+          302,
+          1065353216
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 352,
+        "trace_sha256": "27d4d690bfb8d1f87f1da8427ed2a62b4f84809a9f9a660e0beda9a4dbfb4a90"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          7,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          5,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          3,
+          102,
+          202,
+          302,
+          1077936128
+        ]
+      ],
+      "initial": [
+        [
+          7,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          5,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          3,
+          102,
+          202,
+          302,
+          1077936128
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 164,
+        "trace_sha256": "550ba7392dca6522ce39e2de00d4c5905c0fb19fd55272295ef25c1aadc1c865"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          7,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          5,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          3,
+          100,
+          200,
+          300,
+          1077936128
+        ]
+      ],
+      "initial": [
+        [
+          3,
+          100,
+          200,
+          300,
+          1077936128
+        ],
+        [
+          5,
+          101,
+          201,
+          301,
+          1073741824
+        ],
+        [
+          7,
+          102,
+          202,
+          302,
+          1065353216
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 286,
+        "trace_sha256": "b8c0d0cbf93d2285d221e5f6c559d3fac7446cc7d56796c8563ded60a293344b"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          3,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          6,
+          101,
+          201,
+          301,
+          1065353216
+        ],
+        [
+          5,
+          103,
+          203,
+          303,
+          3212836864
+        ],
+        [
+          3,
+          100,
+          200,
+          300,
+          1073741824
+        ]
+      ],
+      "initial": [
+        [
+          3,
+          100,
+          200,
+          300,
+          1073741824
+        ],
+        [
+          6,
+          101,
+          201,
+          301,
+          1065353216
+        ],
+        [
+          3,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          5,
+          103,
+          203,
+          303,
+          3212836864
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 542,
+        "trace_sha256": "0e1fa004563d6a9d4ce13139207644f881e5c94a0abf1e3a9a6ff70edd43cb5e"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          3,
+          101,
+          201,
+          301,
+          1065353216
+        ],
+        [
+          5,
+          100,
+          200,
+          300,
+          3212836864
+        ],
+        [
+          6,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          3,
+          103,
+          203,
+          303,
+          1073741824
+        ]
+      ],
+      "initial": [
+        [
+          5,
+          100,
+          200,
+          300,
+          3212836864
+        ],
+        [
+          3,
+          101,
+          201,
+          301,
+          1065353216
+        ],
+        [
+          6,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          3,
+          103,
+          203,
+          303,
+          1073741824
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 290,
+        "trace_sha256": "3ffde6b64be0fd24ac8481c21e6ede4ab15ef1447e9f5ab2e8c2cb40a16232d0"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          3,
+          101,
+          201,
+          301,
+          1065353216
+        ],
+        [
+          5,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          3,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          6,
+          103,
+          203,
+          303,
+          1065353216
+        ]
+      ],
+      "initial": [
+        [
+          5,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          3,
+          101,
+          201,
+          301,
+          1065353216
+        ],
+        [
+          3,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          6,
+          103,
+          203,
+          303,
+          1065353216
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 290,
+        "trace_sha256": "3ffde6b64be0fd24ac8481c21e6ede4ab15ef1447e9f5ab2e8c2cb40a16232d0"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    },
+    {
+      "context_vectors": [
+        [
+          2701131788,
+          2701131792,
+          2701131796
+        ],
+        [
+          2701131812,
+          2701131816,
+          2701131820
+        ]
+      ],
+      "final": [
+        [
+          3,
+          101,
+          201,
+          301,
+          1065353216
+        ],
+        [
+          6,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          3,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          5,
+          103,
+          203,
+          303,
+          1065353216
+        ]
+      ],
+      "initial": [
+        [
+          6,
+          100,
+          200,
+          300,
+          1065353216
+        ],
+        [
+          3,
+          101,
+          201,
+          301,
+          1065353216
+        ],
+        [
+          3,
+          102,
+          202,
+          302,
+          1065353216
+        ],
+        [
+          5,
+          103,
+          203,
+          303,
+          1065353216
+        ]
+      ],
+      "publication_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "trace": null,
+        "trace_length": 35,
+        "trace_sha256": "3b69814640769f278f0870a8c0361dfaa669f8e98b0e53a5220e8e50160eecb0"
+      },
+      "sort_execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 297,
+        "trace_sha256": "67288709bffe2a8d4935dbf65c3089a7924609e59bebe27c742d064f913117f9"
+      },
+      "target_id": 47,
+      "trace_after": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2701131788,
+        2701131792,
+        2701131796,
+        2701131812,
+        2701131816,
+        2701131820,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        47
+      ],
+      "trace_before": [
+        2969567232,
+        2969567236,
+        2969567240,
+        2969567244,
+        2969567248,
+        2969567252,
+        2969567256,
+        2969567260,
+        2969567264,
+        2969567268,
+        2969567272,
+        2969567276,
+        2969567280,
+        2969567284
+      ]
+    }
+  ],
+  "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
+    }
+  }
+}

scripts/analyze_qvm_hit_publication.py

@@ -0,0 +1,31 @@
+#!/usr/bin/env python3
+"""25835 sorting and144766 publication of explicitly supplied geometry records."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source,execute
+from analyze_qvm_acceleration import word
+from analyze_qvm import write_json
+SORT=0x78070000
+MODEL=0x78040000
+CONTEXT=0x78071000
+TRACE=0x78072000
+TARGET=0x78073000
+
+def records(m,p):return [[m[p+68+20*j+4*k]&0xffffffff for k in range(5)] for j in range(m[p+64])]
+def run(ins,items):
+    m={CONTEXT+o:0xa1000000+o for o in range(0,68+20*len(items),4)};m[CONTEXT+64]=len(items);m[SORT+56]=CONTEXT
+    for j,row in enumerate(items):
+        for k,v in enumerate(row):m[CONTEXT+68+20*j+4*k]=v
+    before=records(m,CONTEXT);m,_,sort=execute(ins,25836,26036,m,(0,0,0),SORT)
+    for o in range(0,56,4):m[TRACE+o]=0xb1000000+o
+    m[TARGET]=47;m[MODEL+336]=CONTEXT;m[MODEL+324]=TRACE;m[MODEL+212]=TARGET;trace_before=[m[TRACE+o]&0xffffffff for o in range(0,56,4)];m,_,pub=execute(ins,146582,146621,m,(0,0,0),MODEL)
+    return {'initial':before,'final':records(m,CONTEXT),'context_vectors':[[m[CONTEXT+o+4*k]&0xffffffff for k in range(3)] for o in [12,36]],'trace_before':trace_before,'trace_after':[m[TRACE+o]&0xffffffff for o in range(0,56,4)],'target_id':47,'sort_execution':sort,'publication_execution':pub}
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    shapes=[[],[(5,1)],[(3,1)],[(5,1),(3,2),(6,3)],[(6,1),(7,2),(3,3),(3,4)],[(5,1),(6,2),(7,3)],[(7,1),(5,2),(3,3)],[(3,2),(6,1),(3,1),(5,-1)],[(5,1),(3,1),(3,1),(6,1)]]
+    for shape in shapes:
+        for order in [shape,list(reversed(shape))]:
+            items=[[kind,j+100,j+200,j+300,word(key)] for j,(kind,key) in enumerate(order)];rows.append(run(ins,items))
+    write_json(Path('docs/research/qvm-hit-publication.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Source25835 plus146582–146620 on explicitly supplied finite hit records.25341 geometry is not executed. Positive publication means nonzero supplied count, not an independently validated model hit.'})
+if __name__=='__main__':main()

scripts/test_qvm_hit_publication.py

@@ -0,0 +1,25 @@
+import json,unittest
+from pathlib import Path
+from test_qvm_ground import n
+class HitPublicationTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.rows=json.loads(Path('docs/research/qvm-hit-publication.json').read_text())['probes']
+    def test_independent_stable_sort_and_priority_swap(self):
+        self.assertEqual(len(self.rows),18)
+        for p in self.rows:
+            rows=sorted(p['initial'],key=lambda row:n(row[4]))
+            if len(rows)>1 and rows[0][0] in [5,6]:
+                candidates=[i for i,row in enumerate(rows[1:],1) if row[0]==3]
+                if candidates:j=candidates[0];rows[0],rows[j]=rows[j],rows[0]
+            self.assertEqual(p['final'],rows)
+    def test_entire_opaque_records_preserved(self):
+        for p in self.rows:self.assertEqual(sorted(p['initial']),sorted(p['final']))
+    def test_exact_publication_writes_or_empty_preservation(self):
+        for p in self.rows:
+            expected=p['trace_before'][:]
+            if p['initial']:expected[3:6]=p['context_vectors'][0];expected[6:9]=p['context_vectors'][1];expected[13]=p['target_id']
+            self.assertEqual(p['trace_after'],expected);self.assertEqual(p['publication_execution']['return'],int(bool(p['initial'])))
+    def test_no_geometry_or_native_calls_and_sort_can_break_order(self):
+        self.assertTrue(any([n(row[4]) for row in p['final']]!=sorted(n(row[4]) for row in p['final']) for p in self.rows))
+        for p in self.rows:self.assertEqual(p['sort_execution']['calls'],[]);self.assertEqual(p['publication_execution']['calls'],[])
+if __name__=='__main__':unittest.main()