qvm: recover exit timers and reset effects

docs/FINDINGS.md

@@ -1487,3 +1487,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-829:** Rust matches all125 source suffix decisions, including nonzero negative limits, playing-count gates and configured low-mode scans. [Evidence](research/RUST_EXIT_LIMITS.md).
+
+
+**RE-830:** The active round gate bypasses time-limit evaluation; expired mode9 time limits reset qualifying clients and populate supplied event records before exit requests. [Evidence](research/QVM_EXIT_TIMERS.md).

docs/PROVISIONAL_TODO.md

@@ -1500,3 +1500,6 @@ RE-828: The exit suffix requires at least two playing clients, selects limits ac
 
 
 RE-829: Rust matches all125 source suffix decisions, including nonzero negative limits, playing-count gates and configured low-mode scans. Full runtime completion remains open. [Evidence](research/RUST_EXIT_LIMITS.md).
+
+
+RE-830: The active round gate bypasses time-limit evaluation; expired mode9 time limits reset qualifying clients and populate supplied event records before exit requests. Full runtime completion remains open. [Evidence](research/QVM_EXIT_TIMERS.md).

docs/RESEARCH_LEDGER.md

@@ -1815,3 +1815,8 @@ The exit suffix requires at least two playing clients, selects limits across the
 ## 2026-10-27 — RE-829 Rust source exit-limit selection and first-winner policy
 
 Rust matches all125 source suffix decisions, including nonzero negative limits, playing-count gates and configured low-mode scans. Focused `cargo xtask test-group rust-exit-limits` 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-830 Original exit timers round priority and mode9 reset effects
+
+The active round gate bypasses time-limit evaluation; expired mode9 time limits reset qualifying clients and populate supplied event records before exit requests. Focused `cargo xtask test-group exit-timers` 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

@@ -1537,3 +1537,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-829 Rust source exit-limit selection and first-winner policy ([evidence](research/RUST_EXIT_LIMITS.md)).
+
+
+- [x] RE-830 Original exit timers round priority and mode9 reset effects ([evidence](research/QVM_EXIT_TIMERS.md)).

docs/research/QVM_EXIT_TIMERS.md

@@ -0,0 +1,7 @@
+# Original exit timers round priority and mode9 reset effects
+
+RE-830. Reproduce with `python3 scripts/analyze_qvm_exit_timers.py`; focused validation: `cargo xtask test-group exit-timers`. [Machine report](qvm-exit-timers.json).
+
+116 source timer fixtures cover threshold equality, pause/countdown suppression, signed clock/multiply wrap, raw round limits and collected-client scan bounds. Independent models verify all five reset fields, log ordering and event owner/time/flag writes. Event allocation and child transition/native effects remain explicit captures, and the stage stops before limit suffixes when no timer fires.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1077,3 +1077,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-829: Rust source exit-limit selection and first-winner policy](RUST_EXIT_LIMITS.md).
+
+
+[RE-830: Original exit timers round priority and mode9 reset effects](QVM_EXIT_TIMERS.md).

scripts/analyze_qvm_exit_timers.py

@@ -0,0 +1,27 @@
+#!/usr/bin/env python3
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_exit_rules_support import seed,run,FIELDS,CPOOL
+from analyze_qvm import write_json
+CLIENTS=[]
+for j in range(7):
+    c={str(o):0 for o in FIELDS};c.update({'468':2,'3096':0,'140':j,'304':1,'308':700,'300':0xaabbccff,'3692':1,'3700':123});CLIENTS.append(c)
+CLIENTS[1]['468']=1;CLIENTS[2]['3096']=1;CLIENTS[3]['3692']=0;CLIENTS[4]['304']=0;CLIENTS[5]['304']=-1;CLIENTS[6]['3692']=-1
+
+def cases():
+    rows=[]
+    for limit,active,count,window,mode in itertools.product([0,1,3],[0,1],[0,2,3],[0,1],[0,9]):rows.append(dict(mode=mode,now=120000,start=0,time_limit=1,round_limit=limit,round_active=active,round_count=count,countdown=124500+window))
+    for limit,pause,mode,elapsed in itertools.product([-1,0,1],[0,1],[0,9],[59999,60000]):rows.append(dict(mode=mode,now=elapsed,start=0,time_limit=limit,paused=pause))
+    for mode,active,countdown in itertools.product([0,9],[0,1],[0,1]):rows.append(dict(mode=mode,now=60000,start=0,time_limit=1,round_active=active,countdown=countdown))
+    for mode in [0,9]:
+        for extra in [dict(time_limit=35792,now=0,start=0),dict(time_limit=-1,now=0,start=0),dict(time_limit=1,now=-2147483648,start=2147483647),dict(time_limit=1,now=2147483647,start=-2147483648)]:rows.append(dict(mode=mode,**extra))
+    for count in [0,1,3,7]:rows.append(dict(mode=9,now=60000,start=0,time_limit=1,client_count=count))
+    return rows
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for a in cases():
+        m,p=run(ins,seed(CLIENTS,**a),7955,[8227]);p.update(input=a,clients_after=[{str(o):m[CPOOL+6336*j+o]&0xffffffff for o in FIELDS} for j in range(len(CLIENTS))]);rows.append(p)
+    write_json(Path('docs/research/qvm-exit-timers.json'),{'source':q['source'],'sha256':q['sha256'],'clients':CLIENTS,'probes':rows,'limits':'Actual7955..8226 timer branch after supplied7662==0. Round gate bypasses time-limit evaluation when active; signed wrapped subtract/multiply preserved. Mode9 qualifying records reset five fields and write supplied-allocation event records.277695 allocation and all log/format/send/transition children captured or supplied. Runtime ownership/native effects unverified.'})
+if __name__=='__main__':main()

scripts/test_qvm_exit_timers.py

@@ -0,0 +1,31 @@
+import copy,json,unittest
+from pathlib import Path
+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 timer(a):
+    v=lambda k:a.get(k,0)
+    if v('round_limit')!=0 and v('round_active')!=0:return 'round' if v('round_count')>=v('round_limit') and signed(v('countdown')-4500)>signed(v('now')) else None
+    if v('time_limit')==0 or v('paused')!=0 or v('round_active')!=0 and v('countdown')==0:return None
+    return 'time' if signed(v('now')-v('start'))>=signed(v('time_limit')*60000) else None
+
+def eligible(clients,count):return [j for j,c in enumerate(clients[:count]) if c['468']==2 and c['3096']==0 and c['3692']!=0 and c['304']>0]
+class ExitTimerTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.r=json.loads(Path('docs/research/qvm-exit-timers.json').read_text())
+    def test_timer_gates_priority_and_exact_exit_requests(self):
+        self.assertEqual(len(self.r['probes']),116)
+        for p in self.r['probes']:
+            a=p['input'];hit=timer(a);tail=[] if hit is None else [{'target':-18,'arguments':{'8':-1,'12':34593 if hit=='round' else 34476}},{'target':7367,'arguments':{'8':34577 if hit=='round' else 34461}}];self.assertEqual(p['requests'][-2:] if hit else p['requests'],tail);self.assertEqual(p['execution']['stop'],8227 if hit is None else 8416)
+    def test_mode9_shared_resets_log_order_and_supplied_event_writes(self):
+        for p in self.r['probes']:
+            a=p['input'];ids=eligible(self.r['clients'],a.get('client_count',7)) if timer(a)=='time' and a['mode']==9 else [];out=[{k:v&0xffffffff for k,v in c.items()} for c in self.r['clients']]
+            for id in ids:
+                for o in ['304','308','3692','3700']:out[id][o]=0
+                out[id]['300']&=0xffffff00
+            self.assertEqual(p['clients_after'],out,a);self.assertEqual(len(p['events']),len(ids));self.assertEqual([r['arguments']['12'] for r in p['requests'] if r['target']==7259],ids)
+            for e,id in zip(p['events'],ids):self.assertEqual(e['fields'],{'140':100+id,'428':100+id,'84':a['now']&0xffffffff,'424':272})
+            for r,id in zip([r for r in p['requests'] if r['target']==277695],ids):self.assertEqual(r['arguments'],{'8':POOL+880*id+24,'12':69})
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2112,3 +2112,7 @@ report	scripts/analyze_rust_exit_limits.py	docs/research/rust-exit-limits.json
 edge	docs/research/rust-exit-limits.json	scripts/test_rust_exit_limits.py
 group	rust-exit-limits	scripts/analyze_rust_exit_limits.py
 edge	scripts/analyze_rust_exit_limits.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_qvm_exit_timers.py	docs/research/qvm-exit-timers.json
+edge	docs/research/qvm-exit-timers.json	scripts/test_qvm_exit_timers.py
+group	exit-timers	scripts/analyze_qvm_exit_timers.py
+edge	scripts/analyze_qvm_exit_timers.py	scripts/analyze_qvm_resumer_audit.py