qvm: recover intermission readiness

docs/FINDINGS.md

@@ -1505,3 +1505,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-835:** Rust matches all 168 source cases with typed signed mode classification, global-score and ranked-field selection, early gate handling and safe rank rejection. A separate scoped intermission adapter avoids rebuilding unrelated lifecycle fixtures; original runtime remains open. [Evidence](research/RUST_EXIT_PREDICATE.md).
+
+
+**RE-836:** 131 original 7525 cases recover connected/entity-flag8 exclusion, nonzero readiness, first16-slot mask and independent counts. Signed wrapped timestamp additions gate a five-second minimum and ten-second wait; all-ready includes an empty eligible set. Actual 6939 next-map transition remains captured. [Evidence](research/QVM_INTERMISSION_READY.md).

docs/PROVISIONAL_TODO.md

@@ -1521,3 +1521,6 @@ RE-834: Actual 7662 and child 33715 execute across 168 cases. Playing count and
 
 
 RE-835: Rust matches all 168 source cases with typed signed mode classification, global-score and ranked-field selection, early gate handling and safe rank rejection. A separate scoped intermission adapter avoids rebuilding unrelated lifecycle fixtures; original runtime remains open. Full runtime completion remains open. [Evidence](research/RUST_EXIT_PREDICATE.md).
+
+
+RE-836: 131 original 7525 cases recover connected/entity-flag8 exclusion, nonzero readiness, first16-slot mask and independent counts. Signed wrapped timestamp additions gate a five-second minimum and ten-second wait; all-ready includes an empty eligible set. Actual 6939 next-map transition remains captured. Full runtime completion remains open. [Evidence](research/QVM_INTERMISSION_READY.md).

docs/RESEARCH_LEDGER.md

@@ -1849,3 +1849,8 @@ Actual 7662 and child 33715 execute across 168 cases. Playing count and the enab
 ## 2026-10-27 — RE-835 Rust ranked exit tie predicate
 
 Rust matches all 168 source cases with typed signed mode classification, global-score and ranked-field selection, early gate handling and safe rank rejection. A separate scoped intermission adapter avoids rebuilding unrelated lifecycle fixtures; original runtime remains open. Focused `cargo xtask test-group rust-exit-predicate` 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-836 Original intermission readiness scan and timeout policy
+
+131 original 7525 cases recover connected/entity-flag8 exclusion, nonzero readiness, first16-slot mask and independent counts. Signed wrapped timestamp additions gate a five-second minimum and ten-second wait; all-ready includes an empty eligible set. Actual 6939 next-map transition remains captured. Focused `cargo xtask test-group intermission-ready` 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

@@ -1558,3 +1558,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-835 Rust ranked exit tie predicate ([evidence](research/RUST_EXIT_PREDICATE.md)).
+
+
+- [x] RE-836 Original intermission readiness scan and timeout policy ([evidence](research/QVM_INTERMISSION_READY.md)).

docs/research/QVM_INTERMISSION_READY.md

@@ -0,0 +1,7 @@
+# Original intermission readiness scan and timeout policy
+
+RE-836. Reproduce with `python3 scripts/analyze_qvm_intermission_ready.py`; focused validation: `cargo xtask test-group intermission-ready`. [Machine report](qvm-intermission-ready.json).
+
+131 original 7525 cases recover connected/entity-flag8 exclusion, nonzero readiness, first16-slot mask and independent counts. Signed wrapped timestamp additions gate a five-second minimum and ten-second wait; all-ready includes an empty eligible set. Actual 6939 next-map transition remains captured.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1097,3 +1097,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-835: Rust ranked exit tie predicate](RUST_EXIT_PREDICATE.md).
+
+
+[RE-836: Original intermission readiness scan and timeout policy](QVM_INTERMISSION_READY.md).

scripts/analyze_qvm_intermission_ready.py

@@ -0,0 +1,19 @@
+#!/usr/bin/env python3
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_intermission_support import seed,execute,E
+from analyze_qvm import write_json
+
+def cases():
+ for n,pattern,elapsed,waiting in itertools.product([0,1,4,17],['all','none','mixed','excluded'],[4999,5000,14999,15000],[0,1]):
+  clients=[{'4036':1 if pattern=='all' or pattern=='mixed' and j%2==0 else 0,'entity_flags':8 if pattern=='excluded' else 0,'468':1 if pattern=='mixed' and j==1 else 2} for j in range(n)]
+  yield dict(blocked=1000,now=1000+elapsed,waiting=waiting,wait_start=6000,max_clients=n),clients
+ for a in [dict(blocked=2147483647,now=-2147483648),dict(blocked=-2147483648,now=2147483647),dict(blocked=1000,now=6000,waiting=-1,wait_start=2147483647)]:yield a,[{'4036':0}]
+
+def main():
+ q,raw,h,ins=source();rows=[]
+ for a,c in cases():
+  m,p=execute(ins,seed(c,**a),7525,7660,28,targets=[6939]);p.update(input=a,clients=c,waiting=m[34999604]&0xffffffff,wait_start=m[34999608]&0xffffffff,ready_count=m[E+20],unready_count=m[E+16],mask=m[E+24]&0xffffffff);rows.append(p)
+ write_json(Path('docs/research/qvm-intermission-ready.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual7525 readiness scan and signed wrapped timestamp-add gates across131 cases. Source computes first16-slot ready mask and counts but no network publication occurs here.6939 next-map child captured. Native runtime unverified.'})
+if __name__=='__main__':main()

scripts/test_qvm_intermission_ready.py

@@ -0,0 +1,23 @@
+import json,unittest
+from pathlib import Path
+from test_qvm_exit_complete import signed
+
+def policy(a,c):
+ eligible=[(j,v) for j,v in enumerate(c[:a.get('max_clients',len(c))]) if v.get('468',2)==2 and not(v.get('entity_flags',0)&8)]
+ ready=[j for j,v in eligible if v.get('4036',0)!=0];unready=len(eligible)-len(ready);waiting=a.get('waiting',0);start=a.get('wait_start',0);exit=False
+ if signed(a.get('now',0))>=signed(a.get('blocked',0)+5000):
+  if unready==0:exit=True
+  else:
+   if waiting==0:waiting=1;start=a.get('now',0)
+   exit=signed(a.get('now',0))>=signed(start+10000)
+ return {'waiting':waiting&0xffffffff,'wait_start':start&0xffffffff,'exit':exit,'ready_count':len(ready),'unready_count':unready,'mask':sum(1<<j for j in ready if j<16)}
+class ReadyTests(unittest.TestCase):
+ def test_counts_mask_and_timer_effects(self):
+  rows=json.loads(Path('docs/research/qvm-intermission-ready.json').read_text())['probes'];self.assertEqual(len(rows),131)
+  for p in rows:
+   e=policy(p['input'],p['clients'])
+   for k in ['waiting','wait_start','ready_count','unready_count','mask']:self.assertEqual(p[k],e[k])
+   self.assertEqual(p['requests'],[{'target':6939,'arguments':{},'native_effect_not_executed':True}] if e['exit'] else [])
+ def test_only_waiting_globals_change(self):
+  for p in json.loads(Path('docs/research/qvm-intermission-ready.json').read_text())['probes']:self.assertTrue(all(w['address'] in [34999604,34999608] for w in p['changes']))
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2174,3 +2174,8 @@ edge	docs/research/rust-exit-predicate.json	scripts/test_rust_exit_predicate.py
 group	rust-exit-predicate	scripts/analyze_rust_exit_predicate.py
 edge	scripts/analyze_rust_exit_predicate.py	scripts/analyze_qvm_resumer_audit.py
 edge	scripts/rust_intermission_support.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_qvm_intermission_ready.py	docs/research/qvm-intermission-ready.json
+edge	docs/research/qvm-intermission-ready.json	scripts/test_qvm_intermission_ready.py
+group	intermission-ready	scripts/analyze_qvm_intermission_ready.py
+edge	scripts/analyze_qvm_intermission_ready.py	scripts/analyze_qvm_resumer_audit.py
+edge	scripts/analyze_rust_intermission_ready.py	scripts/analyze_qvm_resumer_audit.py