qvm: recover statistic totals

docs/ASSET_PIPELINE_TODO.md

@@ -931,3 +931,6 @@ Research progress: RE-755 [report](research/RUST_METHOD_STATS.md); original asse
 
 
 Research progress: RE-756 [report](research/RUST_CROSS_CLIENT_CLEAR.md); original assets unchanged.
+
+
+Research progress: RE-758 [report](research/QVM_STAT_TOTALS.md); original assets unchanged.

docs/FINDINGS.md

@@ -1277,3 +1277,6 @@ RE-725–734 batch: [health, contact and Rust impulse findings](research/QVM_HEA
 
 
 **RE-756 — Rust cross client clearing and score statistics batch handoff:** Rust cross-client clearing preserves the source inclusive index64 and exact logical changed-word footprint across40 sparse/dense fixtures. [Evidence](research/RUST_CROSS_CLIENT_CLEAR.md).
+
+
+**RE-758 — Complete statistic totals field inclusion and wrapping:** 283085/283166 sum20 per-slot counters plus selected legacy fields with signed wrapping and distinct exclusions. [Evidence](research/QVM_STAT_TOTALS.md).

docs/PROVISIONAL_TODO.md

@@ -1272,3 +1272,6 @@ Research progress: RE-756 [report](research/RUST_CROSS_CLIENT_CLEAR.md); full na
 
 
 RE-747–756 batch validation:1443 Python and68 Rust tests pass after ten separately checked task commits. Score updates, recipient loops, method statistics and cross-client clearing have additional finite QVM evidence; scoring, method counters and record clearing now have Rust primitives. Actual ranking/recipient/report children, full simulation/runtime ownership, native parity, Linux and interactive Bevy/Solari completion remain open.
+
+
+Research progress: RE-758 [report](research/QVM_STAT_TOTALS.md); full native/platform/game scope remains open.

docs/RESEARCH_LEDGER.md

@@ -1439,3 +1439,8 @@ Additional RE-756 selection verification: scoped `cargo test --offline --package
 ## 2026-10-21 — RE-747–756 full batch validation
 
 Exactly ten task commits follow baseline `ae4d61e7`. Each task passed focused `cargo xtask test-group` validation before its commit; no full suite ran between those commits. After commit ten, the single `cargo xtask test-full --since ae4d61e7` run passed1443 Python tests (519+357+364+203) and68 Rust tests (10 assets,30 gameplay,28 xtask). Twenty-one affected report producers regenerated twice byte-identically. Storage policy, documentation links across315 files and whitespace guards passed. All generated reports matched committed outputs and the working tree was clean after validation. The tenth commit is amended only to record the outcome. Original assets remain unchanged. Ranking, recipient callback internals, stat aggregation/reporting, full health/contact/runtime composition, original native parity, Linux and interactive Bevy/Solari gameplay remain open.
+
+
+## 2026-10-21 — RE-758 Complete statistic totals field inclusion and wrapping
+
+283085/283166 sum20 per-slot counters plus selected legacy fields with signed wrapping and distinct exclusions. Focused `cargo xtask test-group stat-totals` passes (3 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 295255 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

@@ -1315,3 +1315,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-756 Rust cross client clearing and score statistics batch handoff ([report](research/RUST_CROSS_CLIENT_CLEAR.md)).
+
+
+- [x] RE-758 Complete statistic totals field inclusion and wrapping ([report](research/QVM_STAT_TOTALS.md)).

docs/research/QVM_STAT_TOTALS.md

@@ -0,0 +1,7 @@
+# Complete statistic totals field inclusion and wrapping
+
+RE-758. Reproduce with `python3 scripts/analyze_qvm_stat_totals.py`; validate with `cargo xtask test-group stat-totals`. See the [machine report](qvm-stat-totals.json).
+
+Recovered both complete total functions with80 bulk/one-hot fixtures. First totals exclude legacy indices13/17; second totals exclude17. Both read20 slot entries, exceeding the19 slots currently selected by method classification. Independent field-selection and wrapping oracles verify untouched counters. Numeric slot naming and live storage ownership 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

@@ -867,3 +867,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-756: Rust cross client clearing and score statistics batch handoff](RUST_CROSS_CLIENT_CLEAR.md).
+
+
+[RE-758: Complete statistic totals field inclusion and wrapping](QVM_STAT_TOTALS.md).

scripts/analyze_qvm_stat_totals.py

@@ -0,0 +1,14 @@
+#!/usr/bin/env python3
+"""Source totals with one-hot inclusion/exclusion and wrapping fixtures."""
+from pathlib import Path
+from qvm_research_support import source
+from qvm_stat_totals_support import seed,total,OFFSETS,TARGET,CLIENT
+from analyze_qvm import write_json
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    cases=[('bulk-'+str(v),{str(o):v for o in OFFSETS}) for v in [0,1,0x7fffffff,0xffffffff]]+[(str(o),{str(x):7 if x==o else 0 for x in OFFSETS}) for o in OFFSETS]
+    for name,values in cases:
+        m=seed(raw,h,values);m,first,e1=total(ins,m,{8:TARGET});m,second,e2=total(ins,m,{8:TARGET},True);rows.append({'case':name,'counters':values,'first':first,'second':second,'executions':[e1,e2],'counters_after':{str(o):m[CLIENT+o]&0xffffffff for o in OFFSETS}})
+    write_json(Path('docs/research/qvm-stat-totals.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Complete283085/283166 with finite seeded counters, signed wrapping and all one-hot fields. Includes20 per-slot entries although method classification currently maps19 slots. Numeric field semantics and live counter ownership remain open.'})
+if __name__=='__main__':main()

scripts/qvm_stat_totals_support.py

@@ -0,0 +1,24 @@
+"""283085/283166 source counter totals, including the twentieth slot."""
+from qvm_health_effects_support import H,TARGET,CLIENT,seed as health_seed
+from qvm_trace_support import resume
+B=H+0x120000
+FIRST_LEGACY=[2376+4*j for j in range(18)]
+SECOND_LEGACY=[2448+4*j for j in range(18)]
+FIRST_SLOTS=[916+76*j for j in range(20)]
+SECOND_SLOTS=[920+76*j for j in range(20)]
+OFFSETS=sorted(set(FIRST_LEGACY+SECOND_LEGACY+FIRST_SLOTS+SECOND_SLOTS))
+
+def seed(raw,h,values):
+    m=health_seed(raw,h)
+    for o in OFFSETS:m[CLIENT+o]=values.get(str(o),0)
+    return m
+
+def total(ins,m,args,second=False):
+    start,end,frame=(283167,283242,16) if second else (283086,283165,20)
+    m[B+frame+8]=args[8];m,e=resume(ins,start,end,m,B)
+    return m,e['return'],e
+
+def handlers():
+    def first(i,m,a):return total(i,m,a)
+    def second(i,m,a):return total(i,m,a,True)
+    return {283085:first,283166:second}

scripts/test_qvm_stat_totals.py

@@ -0,0 +1,21 @@
+import json,unittest
+from pathlib import Path
+
+def signed(v):return ((v+0x80000000)&0xffffffff)-0x80000000
+
+def expected(c):
+    first=sum(c[str(2376+4*j)] for j in range(18) if j not in [13,17])+sum(c[str(916+76*j)] for j in range(20))
+    second=sum(c[str(2448+4*j)] for j in range(18) if j!=17)+sum(c[str(920+76*j)] for j in range(20))
+    return signed(first),signed(second)
+class StatTotalTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.ps=json.loads(Path('docs/research/qvm-stat-totals.json').read_text())['probes']
+    def test_independent_wrapping_and_field_inclusion(self):
+        for p in self.ps:self.assertEqual((p['first'],p['second']),expected(p['counters']),p['case'])
+    def test_all_fields_one_hot_and_no_counter_mutations(self):
+        self.assertEqual(len(self.ps),80)
+        for p in self.ps:self.assertEqual(p['counters_after'],p['counters'])
+    def test_no_children_and_actual_returns(self):
+        for p in self.ps:
+            for e,v in zip(p['executions'],[p['first'],p['second']]):self.assertEqual(e['calls'],[]);self.assertEqual(e['return'],v)
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1272,3 +1272,6 @@ edge	crates/urt-gameplay/src/record_clear.rs	scripts/analyze_rust_health_impulse
 group	gameplay	scripts/analyze_rust_cross_client_clear.py
 report	scripts/analyze_rust_cross_client_clear.py	docs/research/rust-cross-client-clear.json
 edge	docs/research/rust-cross-client-clear.json	scripts/test_rust_cross_client_clear.py
+report	scripts/analyze_qvm_stat_totals.py	docs/research/qvm-stat-totals.json
+edge	docs/research/qvm-stat-totals.json	scripts/test_qvm_stat_totals.py
+group	stat-totals	scripts/analyze_qvm_stat_totals.py