qvm: compose stat ratio publication

docs/FINDINGS.md

@@ -1391,3 +1391,6 @@ RE-780–789 exposes and bounds legacy resumer timing/byte-state flaws, migrates
 
 
 **RE-797:** Rust matches exact order, rank words and count globals for144 complete mixed/eligible caller fixtures, without reinterpreting asymmetric prefilters as Ord. [Evidence](research/RUST_RANKING_MIXED.md).
+
+
+**RE-798:** 278834 now optionally composes actual team counters and both ratio refreshes;64 fixtures verify counter aliases, totals, divisor and float32 publication together. [Evidence](research/QVM_STAT_COMPOSITION.md).

docs/PROVISIONAL_TODO.md

@@ -1395,3 +1395,6 @@ RE-796: Rust reproduces source collection, first-playing identifiers and bot/tea
 
 
 RE-797: Rust matches exact order, rank words and count globals for144 complete mixed/eligible caller fixtures, without reinterpreting asymmetric prefilters as Ord. Full runtime completion remains open. [Evidence](research/RUST_RANKING_MIXED.md).
+
+
+RE-798: 278834 now optionally composes actual team counters and both ratio refreshes;64 fixtures verify counter aliases, totals, divisor and float32 publication together. Full runtime completion remains open. [Evidence](research/QVM_STAT_COMPOSITION.md).

docs/RESEARCH_LEDGER.md

@@ -1649,3 +1649,8 @@ Rust reproduces source collection, first-playing identifiers and bot/team counte
 ## 2026-10-26 — RE-797 Rust full mixed-population ranking and positional publication words
 
 Rust matches exact order, rank words and count globals for144 complete mixed/eligible caller fixtures, without reinterpreting asymmetric prefilters as Ord. Focused `cargo xtask test-group rust-ranking-mixed` passes (18 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.
+
+
+## 2026-10-26 — RE-798 Composed method counters team effects and actual ratio publication
+
+278834 now optionally composes actual team counters and both ratio refreshes;64 fixtures verify counter aliases, totals, divisor and float32 publication together. Focused `cargo xtask test-group stat-composition` passes (41 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

@@ -1441,3 +1441,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-797 Rust full mixed-population ranking and positional publication words ([evidence](research/RUST_RANKING_MIXED.md)).
+
+
+- [x] RE-798 Composed method counters team effects and actual ratio publication ([evidence](research/QVM_STAT_COMPOSITION.md)).

docs/research/QVM_STAT_COMPOSITION.md

@@ -0,0 +1,7 @@
+# Composed method counters team effects and actual ratio publication
+
+RE-798. Reproduce with `python3 scripts/analyze_qvm_stat_composition.py`; focused validation: `cargo xtask test-group stat-composition`. [Machine report](qvm-stat-composition.json).
+
+The opt-in resolver interface preserves existing captured defaults. The new source composition executes279720 and279586 with actual283085/283166/283488 children, using corrected reentry and explicit child-word synchronization. Independent models apply method and same-team mutations before deriving each recipient ratio, covering self aliases and excluded aggregate fields. Awards285227 and leaderboard283622 remain captured. Positive divisor scan cost and complete stat lifecycle/native parity remain bounded.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -981,3 +981,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-797: Rust full mixed-population ranking and positional publication words](RUST_RANKING_MIXED.md).
+
+
+[RE-798: Composed method counters team effects and actual ratio publication](QVM_STAT_COMPOSITION.md).

docs/research/qvm-resumer-audit.json

@@ -9127,8 +9127,8 @@
         283554
       ],
       "path": "scripts/qvm_stat_ratio_support.py",
-      "repeated_calls_opt_in": false,
-      "repeated_calls_setting": "default_false"
+      "repeated_calls_opt_in": true,
+      "repeated_calls_setting": "literal_true"
     },
     {
       "backward_conditional_branches": [],
@@ -9198,8 +9198,8 @@
         279718
       ],
       "path": "scripts/qvm_stat_ratio_support.py",
-      "repeated_calls_opt_in": false,
-      "repeated_calls_setting": "default_false"
+      "repeated_calls_opt_in": true,
+      "repeated_calls_setting": "literal_true"
     },
     {
       "backward_conditional_branches": [],
@@ -9209,8 +9209,8 @@
       "line": 18,
       "literal_range": null,
       "path": "scripts/qvm_stat_totals_support.py",
-      "repeated_calls_opt_in": false,
-      "repeated_calls_setting": "default_false"
+      "repeated_calls_opt_in": true,
+      "repeated_calls_setting": "literal_true"
     },
     {
       "backward_conditional_branches": [],
@@ -9388,7 +9388,7 @@
   "summary": {
     "call_expressions": 185,
     "files": 144,
-    "legacy_expressions": 159,
+    "legacy_expressions": 156,
     "nonliteral_ranges": 22,
     "unresolved_mode_expressions": 3
   }

scripts/analyze_qvm_stat_composition.py

@@ -0,0 +1,21 @@
+#!/usr/bin/env python3
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_stat_update_support import seed,update,CLIENT,A_CLIENT,OFFSETS
+from qvm_stat_totals_support import OFFSETS as TOTALS
+from qvm_team_counter_support import aggregate
+from qvm_stat_ratio_support import refresh
+from analyze_qvm import write_json
+FIELDS=sorted(set(OFFSETS+TOTALS+[2516]))
+def snapshot(m):return {name:{str(o):m[c+o]&0xffffffff for o in FIELDS} for name,c in [('actor',A_CLIENT),('victim',CLIENT)]}
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for method,self_hit,same,initial in itertools.product([-1,6,12,20,22,25,34,48],[False,True],[False,True],[0,3]):
+        a={'method':method,'self':self_hit,'same':same,'initial':initial};m=seed(raw,h,**a);m[A_CLIENT+3096]=1;m[CLIENT+3096]=1 if same else 2;before=snapshot(m);ratio_calls=[];pair_calls=[]
+        def pair(i,m,args):m,v,p=aggregate(i,m,args);pair_calls.append(p);return m,v,p
+        def ratio(i,m,args):m,v,p=refresh(i,m,args);ratio_calls.append(p);return m,v,p
+        m,_,p=update(ins,m,{8:1,12:method,16:1 if self_hit else 2},{279720:pair,279586:ratio});rows.append({'input':a,'initial':before,'final':snapshot(m),'ratios':[{'arguments':r['arguments'],'initial':r['initial'],'final':r['final'],'targets':[c['target'] for c in r['execution']['calls']]} for r in ratio_calls],'pair_calls':len(pair_calls),'remaining_requests':p['requests'],'trace_sha256':p['execution']['trace_sha256']})
+    write_json(Path('docs/research/qvm-stat-composition.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'278834 with actual279720 and279586/283085/283166/283488 over64 finite counter/team/self fixtures. Ratio/totals helpers migrated to corrected reentry.285227 awards and283622 leaderboard remain captured; positive divisor scan cost limited by small fixture counters. Full lifecycle/native ownership remains open.'})
+if __name__=='__main__':main()

scripts/qvm_stat_ratio_support.py

@@ -6,10 +6,10 @@ G=H+0x130000
 W=H+0x140000
 
 def divisor(ins,m,args):
-    m[G+28]=args[8];m[G+32]=args[12];m,e=resume(ins,283489,283554,m,G)
+    m[G+28]=args[8];m[G+32]=args[12];m,e=resume(ins,283489,283554,m,G,repeated_calls=True)
     return m,e['return'],e
 
 def refresh(ins,m,args):
     m[W+72]=args[8];c=m[args[8]+520];before={str(o):m[c+o]&0xffffffff for o in [3080,3084,3088]};hs=total_handlers();hs[283488]=divisor
-    m,e=resume(ins,279587,279718,m,W,handlers=hs)
+    m,e=resume(ins,279587,279718,m,W,handlers=hs,repeated_calls=True,sync_child_words=True)
     return m,0,{'arguments':args,'initial':before,'final':{str(o):m[c+o]&0xffffffff for o in [3080,3084,3088]},'execution':e}

scripts/qvm_stat_totals_support.py

@@ -15,7 +15,7 @@ def seed(raw,h,values):
 
 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)
+    m[B+frame+8]=args[8];m,e=resume(ins,start,end,m,B,repeated_calls=True)
     return m,e['return'],e
 
 def handlers():

scripts/qvm_stat_update_support.py

@@ -13,10 +13,10 @@ def seed(raw,h,**a):
         for o in OFFSETS:m[c+o]=a.get('initial',0)
     return m
 
-def update(ins,m,args):
+def update(ins,m,args,resolvers=None):
     for o,v in args.items():m[T+52+o]=v
     addresses=sorted({c+o for c in [CLIENT,A_CLIENT] for o in OFFSETS});before={a:m[a]&0xffffffff for a in addresses};requests=[]
-    hs={c:captured(c,requests) for c in [279720,279586,285227,283622]};hs[278733]=classify
-    m,e=resume(ins,278835,279584,m,T,handlers=hs,repeated_calls=True)
+    hs={c:captured(c,requests) for c in [279720,279586,285227,283622]};hs[278733]=classify;hs.update(resolvers or {})
+    m,e=resume(ins,278835,279584,m,T,handlers=hs,repeated_calls=True,sync_child_words=bool(resolvers))
     changes=[{'client':'actor' if a>=A_CLIENT and a<A_CLIENT+7000 else 'victim','offset':a-(A_CLIENT if a>=A_CLIENT and a<A_CLIENT+7000 else CLIENT),'before':before[a],'after':m[a]&0xffffffff} for a in addresses if before[a]!=(m[a]&0xffffffff)]
     return m,0,{'arguments':args,'changes':changes,'requests':requests,'execution':e}

scripts/test_qvm_stat_composition.py

@@ -0,0 +1,23 @@
+import copy,json,unittest
+from pathlib import Path
+from test_qvm_method_stat_updates import expected
+from test_qvm_stat_totals import expected as totals
+from test_qvm_stat_ratios import normalized
+from qvm_notification_support import POOL
+class StatCompositionTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.ps=json.loads(Path('docs/research/qvm-stat-composition.json').read_text())['probes']
+    def test_independent_counter_and_team_mutations(self):
+        self.assertEqual(len(self.ps),64)
+        for p in self.ps:
+            a=p['input'];changes,targets=expected(a);out=copy.deepcopy(p['initial'])
+            for c in changes:out[c['client']][str(c['offset'])]=c['after']
+            if 279720 in targets and a['same'] and not a['self']:
+                for who,offset in [('actor',2444),('victim',2516)]:out[who][str(offset)]=(out[who][str(offset)]+1)&0xffffffff
+            self.assertEqual(p['final'],out,a);self.assertEqual(p['pair_calls'],int(279720 in targets));self.assertEqual([r['target'] for r in p['remaining_requests']],[285227,283622])
+    def test_actual_ratio_children_and_independent_float_integer_publication(self):
+        for p in self.ps:
+            self.assertEqual(len(p['ratios']),2)
+            for r in p['ratios']:
+                who='actor' if r['arguments']['8']==POOL+880 else 'victim';self.assertEqual(r['final'],normalized(*totals(p['final'][who])));self.assertEqual(set(r['targets']),{283085,283166,283488})
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1849,3 +1849,11 @@ report	scripts/analyze_rust_ranking_mixed.py	docs/research/rust-ranking-mixed.js
 edge	docs/research/rust-ranking-mixed.json	scripts/test_rust_ranking_mixed.py
 group	rust-ranking-mixed	scripts/analyze_rust_ranking_mixed.py
 edge	scripts/analyze_rust_ranking_mixed.py	scripts/analyze_qvm_resumer_audit.py
+
+group	stat-composition	scripts/analyze_qvm_stat_ratios.py
+group	stat-composition	scripts/analyze_qvm_stat_totals.py
+group	stat-composition	scripts/analyze_rust_stat_totals.py
+report	scripts/analyze_qvm_stat_composition.py	docs/research/qvm-stat-composition.json
+edge	docs/research/qvm-stat-composition.json	scripts/test_qvm_stat_composition.py
+group	stat-composition	scripts/analyze_qvm_stat_composition.py
+edge	scripts/analyze_qvm_stat_composition.py	scripts/analyze_qvm_resumer_audit.py