qvm: compose leaderboard categories

docs/ASSET_PIPELINE_TODO.md

@@ -976,3 +976,6 @@ Research progress: RE-772 [report](research/QVM_LEADERBOARD_LAYOUT.md); original
 
 
 Research progress: RE-773 [report](research/QVM_LEADERBOARD_SELECTOR.md); original assets unchanged.
+
+
+Research progress: RE-774 [report](research/QVM_LEADERBOARD_CATEGORIES.md); original assets unchanged.

docs/FINDINGS.md

@@ -1322,3 +1322,6 @@ RE-725–734 batch: [health, contact and Rust impulse findings](research/QVM_HEA
 
 
 **RE-773 — Complete leaderboard joint thresholds sentinel updates and ties:** 284610 requires every candidate metric to strictly exceed its threshold, then updates only nonsentinel fields and records the candidate entity. [Evidence](research/QVM_LEADERBOARD_SELECTOR.md).
+
+
+**RE-774 — Actual first four leaderboard category selections:** 283622 first four categories now execute actual initialization/mapping/selection with their original key groups and thresholds. [Evidence](research/QVM_LEADERBOARD_CATEGORIES.md).

docs/PROVISIONAL_TODO.md

@@ -1320,3 +1320,6 @@ Research progress: RE-772 [report](research/QVM_LEADERBOARD_LAYOUT.md); full nat
 
 
 Research progress: RE-773 [report](research/QVM_LEADERBOARD_SELECTOR.md); full native/platform/game scope remains open.
+
+
+Research progress: RE-774 [report](research/QVM_LEADERBOARD_CATEGORIES.md); full native/platform/game scope remains open.

docs/RESEARCH_LEDGER.md

@@ -1523,3 +1523,8 @@ Exactly ten task commits follow baseline `27a7f96f`. Every completed task passed
 ## 2026-10-21 — RE-773 Complete leaderboard joint thresholds sentinel updates and ties
 
 284610 requires every candidate metric to strictly exceed its threshold, then updates only nonsentinel fields and records the candidate entity. Focused `cargo xtask test-group leaderboard-selector` passes (3 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 697619 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-774 Actual first four leaderboard category selections
+
+283622 first four categories now execute actual initialization/mapping/selection with their original key groups and thresholds. Focused `cargo xtask test-group leaderboard-categories` passes (3 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 1002192 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

@@ -1366,3 +1366,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-773 Complete leaderboard joint thresholds sentinel updates and ties ([report](research/QVM_LEADERBOARD_SELECTOR.md)).
+
+
+- [x] RE-774 Actual first four leaderboard category selections ([report](research/QVM_LEADERBOARD_CATEGORIES.md)).

docs/research/QVM_LEADERBOARD_CATEGORIES.md

@@ -0,0 +1,7 @@
+# Actual first four leaderboard category selections
+
+RE-774. Reproduce with `python3 scripts/analyze_qvm_leaderboard_categories.py`; validate with `cargo xtask test-group leaderboard-categories`. See the [machine report](qvm-leaderboard-categories.json).
+
+Recovered283623..283816 over12 live-client/data patterns. Original key groups feed actual284555/284610/278587, with ratio zero and threshold60=5 for the first three categories; the fourth activates only threshold60=10. Results populate slots1/2/3/5 of the16-word publication array. Stops before fourth-category total post-filter; later categories and native/publication parity 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

@@ -912,3 +912,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-773: Complete leaderboard joint thresholds sentinel updates and ties](QVM_LEADERBOARD_SELECTOR.md).
+
+
+[RE-774: Actual first four leaderboard category selections](QVM_LEADERBOARD_CATEGORIES.md).

scripts/analyze_qvm_leaderboard_categories.py

@@ -0,0 +1,34 @@
+#!/usr/bin/env python3
+"""283622 first four leaderboard categories with actual initialization/selection."""
+from pathlib import Path
+from qvm_research_support import source
+from qvm_leaderboard_support import mapping_seed,initialize,FIELDS
+from qvm_leaderboard_selector_support import select
+from qvm_notification_support import CPOOL,POOL
+from qvm_health_effects_support import H
+from qvm_trace_support import resume
+from analyze_qvm_acceleration import word
+from analyze_qvm import write_json
+P=H+0x500000
+LOOKUP={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}
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for live in [0,1,3]:
+        for pattern in range(4):
+            m=mapping_seed(raw,h);m.update({P+o:0 for o in range(0,224,4)});ids=[0,2,5][:live]
+            for id in range(64):m[POOL+880*id+532]=int(id in ids);m[POOL+880*id+520]=CPOOL+6336*id
+            for j,id in enumerate(ids):
+                for slot in range(20):
+                    values={str(o):word(j+1) if o==56 else 6+3*j for o in FIELDS}
+                    if pattern==1:values={str(o):word(0) if o==56 else 0 for o in FIELDS}
+                    if pattern==2:values={str(o):word(1) if o==56 else 6 for o in FIELDS}
+                    if pattern==3:values['0']=0xffffffff if j==2 else values['0']
+                    for o in FIELDS:m[CPOOL+6336*id+856+76*slot+o]=values[str(o)]
+            selectors=[]
+            def actual(i,m,args):
+                keys=[m[args[12]+4*k] for k in range(args[16])];candidates=[{'entity':id,'key':key,'slot':LOOKUP[key],'metrics':{str(o):m[CPOOL+6336*id+856+76*LOOKUP[key]+o]&0xffffffff for o in FIELDS}} for id in ids for key in keys];m,v,p=select(i,m,args);p.update(keys=keys,candidates=candidates);selectors.append(p);return m,v,p
+            m,e=resume(ins,283623,283817,m,P,handlers={284555:initialize,284610:actual},repeated_calls=True,limit=50000)
+            rows.append({'input':{'live':live,'pattern':pattern},'categories':selectors,'published':[m[35000524+4*j] for j in range(16)],'execution':e})
+    write_json(Path('docs/research/qvm-leaderboard-categories.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual283623..283816 first four raw category selections with actual284555/284610/278587 and corrected reentry. Stops before fourth-category283166 post-filter. Later leaderboard categories/publication/native parity remain open.'})
+if __name__=='__main__':main()

scripts/test_qvm_leaderboard_categories.py

@@ -0,0 +1,20 @@
+import json,unittest
+from pathlib import Path
+from test_qvm_leaderboard_selector import expected
+class LeaderboardCategoryTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.ps=json.loads(Path('docs/research/qvm-leaderboard-categories.json').read_text())['probes']
+    def test_actual_categories_against_independent_selector_oracle(self):
+        for p in self.ps:
+            published=[-1]*16
+            for j,c in enumerate(p['categories']):
+                selected,record=expected(c['initial'],c['candidates']);self.assertEqual(c['selected'],selected);self.assertEqual(c['final'],record);published[[1,2,3,5][j]]=selected
+            self.assertEqual(p['published'],published)
+    def test_source_key_groups_and_thresholds(self):
+        for p in self.ps:
+            self.assertEqual([c['keys'] for c in p['categories']],[[14,10,23,27],[5,6,8,9,15,17,19,22,25],[2,3,20,21,26],[14]])
+            self.assertEqual([c['initial']['60'] for c in p['categories']],[5,5,5,10]);self.assertEqual([c['initial']['56'] for c in p['categories']],[0,0,0,0xbf800000])
+    def test_prefix_boundary_and_fixture_count(self):
+        self.assertEqual(len(self.ps),12)
+        for p in self.ps:self.assertEqual(p['execution']['stop'],283817);self.assertEqual([c['target'] for c in p['execution']['calls']],[284555,284610]*4)
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1338,3 +1338,6 @@ group	leaderboard-layout	scripts/analyze_qvm_leaderboard_layout.py
 report	scripts/analyze_qvm_leaderboard_selector.py	docs/research/qvm-leaderboard-selector.json
 edge	docs/research/qvm-leaderboard-selector.json	scripts/test_qvm_leaderboard_selector.py
 group	leaderboard-selector	scripts/analyze_qvm_leaderboard_selector.py
+report	scripts/analyze_qvm_leaderboard_categories.py	docs/research/qvm-leaderboard-categories.json
+edge	docs/research/qvm-leaderboard-categories.json	scripts/test_qvm_leaderboard_categories.py
+group	leaderboard-categories	scripts/analyze_qvm_leaderboard_categories.py