qvm: recover leaderboard layout

docs/ASSET_PIPELINE_TODO.md

@@ -970,3 +970,6 @@ Research progress: RE-770 [report](research/QVM_RANK_SMALL_SORT.md); original as
 
 
 Research progress: RE-771 [report](research/QVM_RANKING_COMPLETE.md); original assets unchanged.
+
+
+Research progress: RE-772 [report](research/QVM_LEADERBOARD_LAYOUT.md); original assets unchanged.

docs/FINDINGS.md

@@ -1316,3 +1316,6 @@ RE-725–734 batch: [health, contact and Rust impulse findings](research/QVM_HEA
 
 
 **RE-771 — Complete finite ranking sort tie flags and publication requests:** 5864 now executes actual aligned small sorting and publishes team/individual rank words with tie bit16384 before explicit publication requests. [Evidence](research/QVM_RANKING_COMPLETE.md).
+
+
+**RE-772 — Leaderboard slot mapping sparse layout and sentinels:** 278587 maps20 weapon-like identifiers to slots0..19;284555 initializes nine metric fields and preserves record holes. [Evidence](research/QVM_LEADERBOARD_LAYOUT.md).

docs/PROVISIONAL_TODO.md

@@ -1314,3 +1314,6 @@ Research progress: RE-770 [report](research/QVM_RANK_SMALL_SORT.md); full native
 
 
 Research progress: RE-771 [report](research/QVM_RANKING_COMPLETE.md); full native/platform/game scope remains open.
+
+
+Research progress: RE-772 [report](research/QVM_LEADERBOARD_LAYOUT.md); full native/platform/game scope remains open.

docs/RESEARCH_LEDGER.md

@@ -1513,3 +1513,8 @@ Exactly ten task commits follow baseline `27a7f96f`. Every completed task passed
 ## 2026-10-21 — RE-771 Complete finite ranking sort tie flags and publication requests
 
 5864 now executes actual aligned small sorting and publishes team/individual rank words with tie bit16384 before explicit publication requests. Focused `cargo xtask test-group ranking-complete` passes (3 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 334757 bytes. Full-suite validation is deferred to the tenth batch commit. No original assets, Rust runtime or shared VM evaluator changed.
+
+
+## 2026-10-21 — RE-772 Leaderboard slot mapping sparse layout and sentinels
+
+278587 maps20 weapon-like identifiers to slots0..19;284555 initializes nine metric fields and preserves record holes. Focused `cargo xtask test-group leaderboard-layout` passes (3 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 14920 bytes. Full-suite validation is deferred to the tenth batch commit. No original assets, Rust runtime or shared VM evaluator changed.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1360,3 +1360,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-771 Complete finite ranking sort tie flags and publication requests ([report](research/QVM_RANKING_COMPLETE.md)).
+
+
+- [x] RE-772 Leaderboard slot mapping sparse layout and sentinels ([report](research/QVM_LEADERBOARD_LAYOUT.md)).

docs/research/QVM_LEADERBOARD_LAYOUT.md

@@ -0,0 +1,7 @@
+# Leaderboard slot mapping sparse layout and sentinels
+
+RE-772. Reproduce with `python3 scripts/analyze_qvm_leaderboard_layout.py`; validate with `cargo xtask test-group leaderboard-layout`. See the [machine report](qvm-leaderboard-layout.json).
+
+Recovered complete278587 and284555 using original table31236. The mapping differs from the method-stat classifier. Integer thresholds use-1 and float metric56 uses float32-1. Two record fill patterns independently verify sparse writes and untouched fields. Selector/category semantics and native publication remain open.
+
+No original executable/full VM/native world collision or rendering runs. Supplied callback/native responses and fixture domains remain explicit; complete macOS/Linux Rust/Bevy/Solari gameplay remains open.

docs/research/README.md

@@ -906,3 +906,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-771: Complete finite ranking sort tie flags and publication requests](QVM_RANKING_COMPLETE.md).
+
+
+[RE-772: Leaderboard slot mapping sparse layout and sentinels](QVM_LEADERBOARD_LAYOUT.md).

docs/research/qvm-leaderboard-layout.json

@@ -0,0 +1,613 @@
+{
+  "initializers": [
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 284608,
+        "trace": null,
+        "trace_length": 52,
+        "trace_sha256": "edef15a280294e7811bacdee436fd7e15a310d5689355033a3bb2b85a785eb57"
+      },
+      "final": {
+        "0": 4294967295,
+        "12": 4294967295,
+        "16": 0,
+        "20": 0,
+        "24": 4294967295,
+        "28": 0,
+        "32": 0,
+        "36": 0,
+        "4": 4294967295,
+        "40": 4294967295,
+        "44": 0,
+        "48": 0,
+        "52": 0,
+        "56": 3212836864,
+        "60": 4294967295,
+        "64": 4294967295,
+        "68": 0,
+        "72": 0,
+        "8": 4294967295
+      },
+      "initial": {
+        "0": 0,
+        "12": 0,
+        "16": 0,
+        "20": 0,
+        "24": 0,
+        "28": 0,
+        "32": 0,
+        "36": 0,
+        "4": 0,
+        "40": 0,
+        "44": 0,
+        "48": 0,
+        "52": 0,
+        "56": 0,
+        "60": 0,
+        "64": 0,
+        "68": 0,
+        "72": 0,
+        "8": 0
+      }
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 284608,
+        "trace": null,
+        "trace_length": 52,
+        "trace_sha256": "edef15a280294e7811bacdee436fd7e15a310d5689355033a3bb2b85a785eb57"
+      },
+      "final": {
+        "0": 4294967295,
+        "12": 4294967295,
+        "16": 1431655765,
+        "20": 1431655765,
+        "24": 4294967295,
+        "28": 1431655765,
+        "32": 1431655765,
+        "36": 1431655765,
+        "4": 4294967295,
+        "40": 4294967295,
+        "44": 1431655765,
+        "48": 1431655765,
+        "52": 1431655765,
+        "56": 3212836864,
+        "60": 4294967295,
+        "64": 4294967295,
+        "68": 1431655765,
+        "72": 1431655765,
+        "8": 4294967295
+      },
+      "initial": {
+        "0": 1431655765,
+        "12": 1431655765,
+        "16": 1431655765,
+        "20": 1431655765,
+        "24": 1431655765,
+        "28": 1431655765,
+        "32": 1431655765,
+        "36": 1431655765,
+        "4": 1431655765,
+        "40": 1431655765,
+        "44": 1431655765,
+        "48": 1431655765,
+        "52": 1431655765,
+        "56": 1431655765,
+        "60": 1431655765,
+        "64": 1431655765,
+        "68": 1431655765,
+        "72": 1431655765,
+        "8": 1431655765
+      }
+    }
+  ],
+  "limits": "Complete278587 and284555. Numeric20-slot lookup differs from method-stat278733; sparse sentinel writes preserve holes. No selector, leaderboard publication, text/native/runtime parity in this contract.",
+  "probes": [
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 10,
+        "trace_sha256": "dc099818a940b538aa02e5bc3d0d92f559d37ebbebfb01153770578a9fd3680f"
+      },
+      "input": -2147483648,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 10,
+        "trace_sha256": "dc099818a940b538aa02e5bc3d0d92f559d37ebbebfb01153770578a9fd3680f"
+      },
+      "input": -1,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 10,
+        "trace_sha256": "dc099818a940b538aa02e5bc3d0d92f559d37ebbebfb01153770578a9fd3680f"
+      },
+      "input": 0,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 10,
+        "trace_sha256": "dc099818a940b538aa02e5bc3d0d92f559d37ebbebfb01153770578a9fd3680f"
+      },
+      "input": 1,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 9,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "f251d0940ad478f5207e08875bbab3da1a05bbfd320d3a926abd165d9cb9a207"
+      },
+      "input": 2,
+      "slot": 9
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 8,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "51b4f741abde765c63ed766cb3b5457f64c4f5adf88e5d35efacf7d380e0470a"
+      },
+      "input": 3,
+      "slot": 8
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 11,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "cef4296be81fd830bdc1df4aee913f8471119c1e1ac1c8a0bc1f592eac59594b"
+      },
+      "input": 4,
+      "slot": 11
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 4,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "d749e7ea6581c14c504201fb34b5dcb407e13f11ca3a1ae1d97a95a50961979d"
+      },
+      "input": 5,
+      "slot": 4
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 5,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "7a855b2cc44fea97f9c68f9752066fefea84994789ef3ee165d267338558d0a4"
+      },
+      "input": 6,
+      "slot": 5
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "5ffbcb8391b58e46adb81c8d1d62f08d93749839948dc919196ec38821ff7906"
+      },
+      "input": 7,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 2,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "5519f893964ac0fc489251a49ee7142095084db9453b253e8e1048500f963f3a"
+      },
+      "input": 8,
+      "slot": 2
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 0,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "7c504d24e5a84538b23ee1ddaf389fa8029794d21d6edb242c3c16d1a72c4a99"
+      },
+      "input": 9,
+      "slot": 0
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 7,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "15b9300639c72bb6a0c0b5c8561ea4c62867fabf76bc07168a1f61f9c9959eff"
+      },
+      "input": 10,
+      "slot": 7
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "5ffbcb8391b58e46adb81c8d1d62f08d93749839948dc919196ec38821ff7906"
+      },
+      "input": 11,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "5ffbcb8391b58e46adb81c8d1d62f08d93749839948dc919196ec38821ff7906"
+      },
+      "input": 12,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "5ffbcb8391b58e46adb81c8d1d62f08d93749839948dc919196ec38821ff7906"
+      },
+      "input": 13,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 6,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "961c576544b6b6a6e9cbcc27aa724e5d397b8a3641f68e537fbdf70851b8e239"
+      },
+      "input": 14,
+      "slot": 6
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "3f07a4f8ddc7b8bc590be65aaecbe6dd4bfb25993af7bf008d54698d6cc6a2c2"
+      },
+      "input": 15,
+      "slot": 1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "5ffbcb8391b58e46adb81c8d1d62f08d93749839948dc919196ec38821ff7906"
+      },
+      "input": 16,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 10,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "e902d3454457c47332551ced7648f400fe89ff380f1eb54939519fa711862b83"
+      },
+      "input": 17,
+      "slot": 10
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "5ffbcb8391b58e46adb81c8d1d62f08d93749839948dc919196ec38821ff7906"
+      },
+      "input": 18,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 3,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "980f41cfc81d317c877c72a7b5a97fc0686b796723a9d181b8021b32af7b3a9b"
+      },
+      "input": 19,
+      "slot": 3
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 12,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "9f19729fc418321e744cbcbca32d7af59f3a73add23ea7cfefba4c68134f205f"
+      },
+      "input": 20,
+      "slot": 12
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 13,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "4a6bf2f5a411ec04d09a8944259d97306f246dcaa858fb6eaab03a799023ccd9"
+      },
+      "input": 21,
+      "slot": 13
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 14,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "5d6a7816edb16b8346369d4b76cc7c15c73e37ab05d26c6a83643983dddc1653"
+      },
+      "input": 22,
+      "slot": 14
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 15,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "c60905345505c71f75422a2f6d0dc6ffad4466d37c95b779a92ae7697b1a4675"
+      },
+      "input": 23,
+      "slot": 15
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 16,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "f2de68d69ce0e5efdeee74b7f5689fa9cbb9f96ba0bfb5ff782554b2e41e50b2"
+      },
+      "input": 24,
+      "slot": 16
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 17,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "216c5d37218ee62e121e309345134b1d0bc98eda1246a5994c5611dca5d13a55"
+      },
+      "input": 25,
+      "slot": 17
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 18,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "34839dd870afee349cdf4e209b8d842c84f9fabdf82c5b7ed0ed9070f2a13e5b"
+      },
+      "input": 26,
+      "slot": 18
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 19,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "d7a6f62c51745bc69b0245a0ad4c95016002952916a0aadbe7869967120149ce"
+      },
+      "input": 27,
+      "slot": 19
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 14,
+        "trace_sha256": "7eb06e54982a5f7ae4c17ee040ddceb79cfc2d27b334c67cd0143bf171816183"
+      },
+      "input": 28,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 14,
+        "trace_sha256": "7eb06e54982a5f7ae4c17ee040ddceb79cfc2d27b334c67cd0143bf171816183"
+      },
+      "input": 29,
+      "slot": -1
+    },
+    {
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1,
+        "stop": 278691,
+        "trace": null,
+        "trace_length": 14,
+        "trace_sha256": "7eb06e54982a5f7ae4c17ee040ddceb79cfc2d27b334c67cd0143bf171816183"
+      },
+      "input": 2147483647,
+      "slot": -1
+    }
+  ],
+  "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_leaderboard_layout.py

@@ -0,0 +1,15 @@
+#!/usr/bin/env python3
+"""Leaderboard20-slot mapping and sparse metric sentinel writes."""
+from pathlib import Path
+from qvm_research_support import source
+from qvm_leaderboard_support import mapping_seed,mapping,initialize,RECORD
+from analyze_qvm import write_json
+
+def main():
+    q,raw,h,ins=source();rows=[];initializers=[]
+    for method in [-2147483648,-1,*range(30),2147483647]:
+        _,v,e=mapping(ins,mapping_seed(raw,h),{8:method});rows.append({'input':method,'slot':v,'execution':e})
+    for value in [0,0x55555555]:
+        m={RECORD+o:value for o in range(0,76,4)};_,_,p=initialize(ins,m,{8:RECORD});initializers.append(p)
+    write_json(Path('docs/research/qvm-leaderboard-layout.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'initializers':initializers,'limits':'Complete278587 and284555. Numeric20-slot lookup differs from method-stat278733; sparse sentinel writes preserve holes. No selector, leaderboard publication, text/native/runtime parity in this contract.'})
+if __name__=='__main__':main()

scripts/qvm_leaderboard_support.py

@@ -0,0 +1,18 @@
+"""278587 slot lookup and284555 metric sentinel initialization."""
+from qvm_health_effects_support import H
+from qvm_research_support import constants
+from qvm_trace_support import resume
+MAP=H+0x1c0000
+INIT=H+0x1d0000
+RECORD=H+0x1e0000
+INTEGER_FIELDS=[0,4,8,12,24,40,60,64]
+FIELDS=[0,4,8,12,24,40,56,60,64]
+
+def mapping_seed(raw,h):return constants(raw,h,range(31236+2*4,31236+28*4,4))
+
+def mapping(ins,m,args):
+    m[MAP+20]=args[8];m,e=resume(ins,278588,278691,m,MAP);return m,e['return'],e
+
+def initialize(ins,m,args):
+    m[INIT+16]=args[8];before={str(o):m[args[8]+o]&0xffffffff for o in range(0,76,4)};m,e=resume(ins,284556,284608,m,INIT)
+    return m,0,{'initial':before,'final':{str(o):m[args[8]+o]&0xffffffff for o in range(0,76,4)},'execution':e}

scripts/test_qvm_leaderboard_layout.py

@@ -0,0 +1,18 @@
+import json,unittest
+from pathlib import Path
+SLOTS={2:9,3:8,4:11,5:4,6:5,8:2,9:0,10:7,14:6,15:1,17:10,19:3,20:12,21:13,22:14,23:15,24:16,25:17,26:18,27:19}
+class LeaderboardLayoutTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.r=json.loads(Path('docs/research/qvm-leaderboard-layout.json').read_text())
+    def test_independent_complete_slot_mapping(self):
+        self.assertEqual(len(self.r['probes']),33)
+        for p in self.r['probes']:self.assertEqual(p['slot'],SLOTS.get(p['input'],-1))
+    def test_sparse_sentinel_initialization_and_untouched_holes(self):
+        for p in self.r['initializers']:
+            r=dict(p['initial'])
+            for o in [0,4,8,12,24,40,60,64]:r[str(o)]=0xffffffff
+            r['56']=0xbf800000;self.assertEqual(p['final'],r);self.assertEqual(p['execution']['stop'],284608)
+    def test_twentieth_slot_and_no_children(self):
+        self.assertEqual({p['slot'] for p in self.r['probes']},set(range(-1,20)))
+        for p in self.r['probes']:self.assertEqual(p['execution']['calls'],[])
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1332,3 +1332,6 @@ group	rank-small-sort	scripts/analyze_qvm_rank_small_sort.py
 report	scripts/analyze_qvm_ranking_complete.py	docs/research/qvm-ranking-complete.json
 edge	docs/research/qvm-ranking-complete.json	scripts/test_qvm_ranking_complete.py
 group	ranking-complete	scripts/analyze_qvm_ranking_complete.py
+report	scripts/analyze_qvm_leaderboard_layout.py	docs/research/qvm-leaderboard-layout.json
+edge	docs/research/qvm-leaderboard-layout.json	scripts/test_qvm_leaderboard_layout.py
+group	leaderboard-layout	scripts/analyze_qvm_leaderboard_layout.py