qvm: recover exit log publication

docs/FINDINGS.md

@@ -1517,3 +1517,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-839:** Rust matches 39 original begin-transition cases, preserving timestamp guard semantics, fallback IDs, entity-client field clear and preparation/slow/respawn/move/publication order. Native work stays typed effects; invalid counts reject before mutation. [Evidence](research/RUST_INTERMISSION_BEGIN.md).
+
+
+**RE-840:** 83 original 7367 cases recover Exit header, pending now−50, publication/configstring22 ordering, team score log, signed ping clamp and at most32 ranked connected nonspectator rows. Verified original format strings are recorded. Logging, publication and syscall effects remain captured. [Evidence](research/QVM_EXIT_LOG.md).

docs/PROVISIONAL_TODO.md

@@ -1533,3 +1533,6 @@ RE-838: 39 original 6825 cases recover the once-only blocked guard, clock assign
 
 
 RE-839: Rust matches 39 original begin-transition cases, preserving timestamp guard semantics, fallback IDs, entity-client field clear and preparation/slow/respawn/move/publication order. Native work stays typed effects; invalid counts reject before mutation. Full runtime completion remains open. [Evidence](research/RUST_INTERMISSION_BEGIN.md).
+
+
+RE-840: 83 original 7367 cases recover Exit header, pending now−50, publication/configstring22 ordering, team score log, signed ping clamp and at most32 ranked connected nonspectator rows. Verified original format strings are recorded. Logging, publication and syscall effects remain captured. Full runtime completion remains open. [Evidence](research/QVM_EXIT_LOG.md).

docs/RESEARCH_LEDGER.md

@@ -1869,3 +1869,8 @@ Rust matches 131 original readiness cases, including slot16 mask exclusion, empt
 ## 2026-10-27 — RE-839 Rust begin-intermission state and effect intentions
 
 Rust matches 39 original begin-transition cases, preserving timestamp guard semantics, fallback IDs, entity-client field clear and preparation/slow/respawn/move/publication order. Native work stays typed effects; invalid counts reject before mutation. Focused `cargo xtask test-group rust-intermission-begin` 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-840 Original exit log publication and ranked row contracts
+
+83 original 7367 cases recover Exit header, pending now−50, publication/configstring22 ordering, team score log, signed ping clamp and at most32 ranked connected nonspectator rows. Verified original format strings are recorded. Logging, publication and syscall effects remain captured. Focused `cargo xtask test-group exit-log` 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

@@ -1570,3 +1570,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-839 Rust begin-intermission state and effect intentions ([evidence](research/RUST_INTERMISSION_BEGIN.md)).
+
+
+- [x] RE-840 Original exit log publication and ranked row contracts ([evidence](research/QVM_EXIT_LOG.md)).

docs/research/QVM_EXIT_LOG.md

@@ -0,0 +1,7 @@
+# Original exit log publication and ranked row contracts
+
+RE-840. Reproduce with `python3 scripts/analyze_qvm_exit_log.py`; focused validation: `cargo xtask test-group exit-log`. [Machine report](qvm-exit-log.json).
+
+83 original 7367 cases recover Exit header, pending now−50, publication/configstring22 ordering, team score log, signed ping clamp and at most32 ranked connected nonspectator rows. Verified original format strings are recorded. Logging, publication and syscall effects remain captured.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1109,3 +1109,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-839: Rust begin-intermission state and effect intentions](RUST_INTERMISSION_BEGIN.md).
+
+
+[RE-840: Original exit log publication and ranked row contracts](QVM_EXIT_LOG.md).

scripts/analyze_qvm_exit_log.py

@@ -0,0 +1,22 @@
+#!/usr/bin/env python3
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_intermission_support import seed,execute
+from analyze_qvm import write_json
+
+def cases():
+ for mode,count,ping in itertools.product([-1,3,9,11],[-1,0,1,4,33],[-1,998,999,1000]):
+  c=[{'468':1 if j%5==1 else 2,'3096':3 if j%5==2 else 0,'248':j-10,'452':ping,'140':j} for j in range(35)]
+  yield dict(mode=mode,rank_count=count,order=list(reversed(range(35))),now=120000,reason=34414,first_score=-1,second_score=42),c
+ for now in [-2147483648,0,2147483647]:yield dict(now=now,reason=34577,rank_count=0),[]
+
+def main():
+ q,raw,h,ins=source();rows=[]
+ for a,c in cases():
+  m,p=execute(ins,seed(c,**a),7367,7523,56,{8:a['reason']},targets=[7259,6328,-19]);p.update(input=a,clients=c,pending=m[34999592]&0xffffffff);rows.append(p)
+ strings={}
+ for a in [34708,34691,34655]:
+  start=h['data_offset']+a;strings[str(a)]=raw[start:raw.index(b'\0',start)].decode('ascii')
+ write_json(Path('docs/research/qvm-exit-log.json'),{'source':q['source'],'sha256':q['sha256'],'strings':strings,'probes':rows,'limits':'Actual7367 body and actual33715 over83 cases. Exit header, pending now-50, publication/configstring22, optional team scores, capped32 ranked rows, connected/non-spectator filters and ping min(value,999). Logging/publication/syscall effects captured; native files/network unverified.'})
+if __name__=='__main__':main()

scripts/test_qvm_exit_log.py

@@ -0,0 +1,20 @@
+import json,unittest
+from pathlib import Path
+from qvm_intermission_support import CPOOL
+
+def expected(a,c):
+ out=[(7259,{8:34708,12:a['reason']}),(6328,{}),(-19,{8:22,12:39731})]
+ if a.get('mode',0)>=3 and a['mode'] not in [9,11]:out.append((7259,{8:34691,12:a.get('first_score',0),16:a.get('second_score',0)}))
+ for id in a.get('order',list(range(len(c))))[:max(0,min(32,a.get('rank_count',len(c))))]:
+  v=c[id]
+  if v.get('3096',0)!=3 and v.get('468',2)==2:out.append((7259,{8:34655,12:v.get('248',0),16:min(v.get('452',0),999),20:id,24:CPOOL+6336*id+504}))
+ return out
+class ExitLogTests(unittest.TestCase):
+ def test_exact_log_and_publication_abi(self):
+  r=json.loads(Path('docs/research/qvm-exit-log.json').read_text());self.assertEqual(len(r['probes']),83)
+  for p in r['probes']:
+   actual=[(v['target'],{int(k):n&0xffffffff for k,n in v['arguments'].items()}) for v in p['requests']];wanted=expected(p['input'],p['clients']);self.assertEqual(actual,[(t,{k:v&0xffffffff for k,v in a.items()}) for t,a in wanted]);self.assertEqual(p['pending'],(p['input'].get('now',0)-50)&0xffffffff)
+ def test_only_pending_write_and_original_strings(self):
+  r=json.loads(Path('docs/research/qvm-exit-log.json').read_text());self.assertEqual(r['strings']['34708'],'Exit: %s\n');self.assertEqual(r['strings']['34691'],'red:%i  blue:%i\n')
+  for p in r['probes']:self.assertTrue(all(v['address']==34999592 for v in p['changes']))
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2208,3 +2208,7 @@ report	scripts/analyze_rust_intermission_begin.py	docs/research/rust-intermissio
 edge	docs/research/rust-intermission-begin.json	scripts/test_rust_intermission_begin.py
 group	rust-intermission-begin	scripts/analyze_rust_intermission_begin.py
 edge	scripts/analyze_rust_intermission_begin.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_qvm_exit_log.py	docs/research/qvm-exit-log.json
+edge	docs/research/qvm-exit-log.json	scripts/test_qvm_exit_log.py
+group	exit-log	scripts/analyze_qvm_exit_log.py
+edge	scripts/analyze_qvm_exit_log.py	scripts/analyze_qvm_resumer_audit.py