qvm: compose complete exit-rule control flow

docs/FINDINGS.md

@@ -1493,3 +1493,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-831:** Rust matches116 original timer cases, including active-round bypass, signed multiply/clock wrap and exact mode9 client resets. [Evidence](research/RUST_EXIT_TIMERS.md).
+
+
+**RE-832:** Complete7805 execution now composes prefix, class, supplied predicate, round/time and limit policies with shared mutations across438 finite fixtures. [Evidence](research/QVM_EXIT_COMPLETE.md).

docs/PROVISIONAL_TODO.md

@@ -1506,3 +1506,6 @@ RE-830: The active round gate bypasses time-limit evaluation; expired mode9 time
 
 
 RE-831: Rust matches116 original timer cases, including active-round bypass, signed multiply/clock wrap and exact mode9 client resets. Full runtime completion remains open. [Evidence](research/RUST_EXIT_TIMERS.md).
+
+
+RE-832: Complete7805 execution now composes prefix, class, supplied predicate, round/time and limit policies with shared mutations across438 finite fixtures. Full runtime completion remains open. [Evidence](research/QVM_EXIT_COMPLETE.md).

docs/RESEARCH_LEDGER.md

@@ -1825,3 +1825,8 @@ The active round gate bypasses time-limit evaluation; expired mode9 time limits
 ## 2026-10-27 — RE-831 Rust exit timer priority and mode9 reset/event intentions
 
 Rust matches116 original timer cases, including active-round bypass, signed multiply/clock wrap and exact mode9 client resets. Focused `cargo xtask test-group rust-exit-timers` passes (9 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-27 — RE-832 Continuous original exit-rule body with all recovered priority branches
+
+Complete7805 execution now composes prefix, class, supplied predicate, round/time and limit policies with shared mutations across438 finite fixtures. Focused `cargo xtask test-group exit-complete` passes (5 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

@@ -1543,3 +1543,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-831 Rust exit timer priority and mode9 reset/event intentions ([evidence](research/RUST_EXIT_TIMERS.md)).
+
+
+- [x] RE-832 Continuous original exit-rule body with all recovered priority branches ([evidence](research/QVM_EXIT_COMPLETE.md)).

docs/research/QVM_EXIT_COMPLETE.md

@@ -0,0 +1,7 @@
+# Continuous original exit-rule body with all recovered priority branches
+
+RE-832. Reproduce with `python3 scripts/analyze_qvm_exit_complete.py`; focused validation: `cargo xtask test-group exit-complete`. [Machine report](qvm-exit-complete.json).
+
+The corpus combines all earlier branch fixtures and eight conflicting-priority cases. An independent composition verifies exact captured request ABI/order, pending clears, mode9 client resets and supplied event-record writes. Transition helpers,7662 predicate effects, actual allocation/log/format/send behavior and native runtime remain open rather than being silently modeled as complete.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1083,3 +1083,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-831: Rust exit timer priority and mode9 reset/event intentions](RUST_EXIT_TIMERS.md).
+
+
+[RE-832: Continuous original exit-rule body with all recovered priority branches](QVM_EXIT_COMPLETE.md).

scripts/analyze_qvm_exit_complete.py

@@ -0,0 +1,20 @@
+#!/usr/bin/env python3
+import json
+from pathlib import Path
+from qvm_research_support import source
+from qvm_exit_rules_support import seed,run,GLOBALS,FIELDS,CPOOL
+from analyze_qvm import write_json
+
+def main():
+    q,raw,h,ins=source();cases=[];rows=[]
+    for stem in ['qvm-exit-prefix','qvm-exit-class','qvm-exit-limits','qvm-exit-timers']:
+        r=json.loads(Path('docs/research/'+stem+'.json').read_text())
+        for p in r['probes']:cases.append(({k:v for k,v in p['input'].items() if k!='clients'},p.get('clients',p['input'].get('clients',r.get('clients',[])))))
+    good=[{'468':2,'3096':0,'696':0,'248':20,'3692':1,'304':1,'3700':123,'308':500,'300':0xffffffff}];bad=[{**good[0],'696':21}]
+    base=dict(mode=11,playing=2,score_limit=10,team_limit=10,first_score=20,second_score=20,time_limit=1,now=60000)
+    cases += [(dict(base,blocked=1,predicate=1),bad),(dict(base,pending=59000),bad),(dict(base,predicate=1),bad),(dict(base,mode=0,predicate=1),good),(dict(base,mode=9,round_limit=1,round_active=1,round_count=1,countdown=64501),good),(dict(base,mode=9),good),(dict(base,mode=0,round_limit=1,round_active=1,round_count=0,countdown=64501),good),(dict(base,mode=11,max_clients=0),bad)]
+    for a,clients in cases:
+        m=seed(clients,**a);state={k:m[address] for k,address in GLOBALS.items()};state['predicate']=a.get('predicate',0);before=[{str(o):m[CPOOL+6336*j+o]&0xffffffff for o in FIELDS} for j in range(len(clients))]
+        m,p=run(ins,m,predicate=state['predicate']);p.update(input=state,clients_before=before,clients_after=[{str(o):m[CPOOL+6336*j+o]&0xffffffff for o in FIELDS} for j in range(len(clients))],pending_after=m[34999592]&0xffffffff);rows.append(p)
+    write_json(Path('docs/research/qvm-exit-complete.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Continuous complete7805 body to8416 across438 finite source fixtures. All priority branches compose with client/global mutations;7662 return and277695 allocation supplied, other children captured. No actual child transition/log/format/send/world behavior or native/runtime acceptance claim.'})
+if __name__=='__main__':main()

scripts/test_qvm_exit_complete.py

@@ -0,0 +1,43 @@
+import copy,json,unittest
+from pathlib import Path
+from test_qvm_exit_prefix import expected as prefix
+from test_qvm_exit_limits import decision,requests as limit_requests
+from test_qvm_exit_timers import timer,eligible
+from qvm_exit_rules_support import TEXT
+from qvm_notification_support import CPOOL,POOL
+
+def signed(v):return (v+2**31)%2**32-2**31
+
+def oracle(a,initial):
+    clients=[{k:signed(v) for k,v in c.items()} for c in initial];pending,continuation,calls=prefix(a)
+    if calls or continuation=='return_boundary':return pending,[{'target':t,'arguments':{}} for t in calls],[],('blocked' if a['blocked'] else 'transition' if calls else 'wait')
+    if a['mode']==11:
+        bad=next((j for j,c in enumerate(clients[:a['max_clients']]) if c['468']==2 and c['3096']==0 and c['696']>20),None)
+        if bad is not None:return pending,[{'target':7367,'arguments':{'8':34641}},{'target':70458,'arguments':{'8':34618,'12':16,'16':0,'20':CPOOL+6336*bad+504}},{'target':-18,'arguments':{'8':-1,'12':TEXT}}],[],'class'
+    req=[{'target':7662,'arguments':{}}]
+    if a['predicate']:return pending,req,[],'predicate'
+    hit=timer(a);ids=[]
+    if hit:
+        if hit=='time' and a['mode']==9:
+            ids=eligible(clients,a['client_count'])
+            for j in ids:
+                c=clients[j];id=c['140'];req += [{'target':7259,'arguments':{'8':34540,'12':id,'16':c['3700']}},{'target':70458,'arguments':{'8':34500,'12':CPOOL+6336*j+504}},{'target':-18,'arguments':{'8':-1,'12':TEXT}},{'target':277695,'arguments':{'8':POOL+880*id+24,'12':69}}]
+        req += [{'target':-18,'arguments':{'8':-1,'12':34593 if hit=='round' else 34476}},{'target':7367,'arguments':{'8':34577 if hit=='round' else 34461}}];return pending,req,ids,hit
+    d=decision(a,clients);return pending,req+limit_requests(d),[],d[0] if d else 'none'
+class CompleteExitTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.ps=json.loads(Path('docs/research/qvm-exit-complete.json').read_text())['probes']
+    def test_continuous_source_priority_and_all_captured_abi_requests(self):
+        self.assertEqual(len(self.ps),438);kinds=set()
+        for p in self.ps:
+            pending,req,ids,kind=oracle(p['input'],p['clients_before']);kinds.add(kind);self.assertEqual(p['requests'],req,p['input']);self.assertEqual(p['pending_after'],pending);self.assertEqual(p['execution']['stop'],8416)
+        self.assertEqual(kinds,{'blocked','wait','transition','class','predicate','round','time','none','client','low_first','low_second','high_first','high_second'})
+    def test_shared_state_mutations_preserve_untouched_fields(self):
+        for p in self.ps:
+            _,_,ids,_=oracle(p['input'],p['clients_before']);out=copy.deepcopy(p['clients_before'])
+            for j in ids:
+                for o in ['304','308','3692','3700']:out[j][o]=0
+                out[j]['300']&=0xffffff00
+            self.assertEqual(p['clients_after'],out);self.assertEqual(len(p['events']),len(ids))
+            for e,j in zip(p['events'],ids):id=p['clients_before'][j]['140'];self.assertEqual(e['fields'],{'140':100+id,'428':100+id,'84':p['input']['now']&0xffffffff,'424':272})
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2128,3 +2128,11 @@ report	scripts/analyze_rust_exit_timers.py	docs/research/rust-exit-timers.json
 edge	docs/research/rust-exit-timers.json	scripts/test_rust_exit_timers.py
 group	rust-exit-timers	scripts/analyze_rust_exit_timers.py
 edge	scripts/analyze_rust_exit_timers.py	scripts/analyze_qvm_resumer_audit.py
+edge	docs/research/qvm-exit-prefix.json	scripts/analyze_qvm_exit_complete.py
+edge	docs/research/qvm-exit-class.json	scripts/analyze_qvm_exit_complete.py
+edge	docs/research/qvm-exit-limits.json	scripts/analyze_qvm_exit_complete.py
+edge	docs/research/qvm-exit-timers.json	scripts/analyze_qvm_exit_complete.py
+report	scripts/analyze_qvm_exit_complete.py	docs/research/qvm-exit-complete.json
+edge	docs/research/qvm-exit-complete.json	scripts/test_qvm_exit_complete.py
+group	exit-complete	scripts/analyze_qvm_exit_complete.py
+edge	scripts/analyze_qvm_exit_complete.py	scripts/analyze_qvm_resumer_audit.py