qvm: integrate full persistence into map transition

docs/FINDINGS.md

@@ -1721,3 +1721,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-907:** Rust matches48 original249007 compositions with both actual saved-file and session-cvar children. Typed file/cvar actions preserve per-client order and shared selector/ring advances, and invalid domains preserve selector state. Native open answers remain supplied; no actual engine file/cvar dispatch or map reload is claimed. [Evidence](research/RUST_POST_MAP_FILES.md).
+
+
+**RE-908:** 64 actual6939 normal transitions compose122230/7188/249007/246746/246963. File actions and per-client session writes occur between score/global resets and the final connection2-to1 scan; reset maximum and level count vary independently. Engine-map bytes are coherent across map-command and saved-file paths. Bot children, map-list fallback221662, native IO and actual command dispatch remain supplied/captured boundaries. [Evidence](research/QVM_NORMAL_MAP_FILES.md).

docs/PROVISIONAL_TODO.md

@@ -1758,3 +1758,6 @@ RE-906: 48 actual249007/246746/246963 compositions execute both post-map childre
 
 
 RE-907: Rust matches48 original249007 compositions with both actual saved-file and session-cvar children. Typed file/cvar actions preserve per-client order and shared selector/ring advances, and invalid domains preserve selector state. Native open answers remain supplied; no actual engine file/cvar dispatch or map reload is claimed. Full runtime completion remains open. [Evidence](research/RUST_POST_MAP_FILES.md).
+
+
+RE-908: 64 actual6939 normal transitions compose122230/7188/249007/246746/246963. File actions and per-client session writes occur between score/global resets and the final connection2-to1 scan; reset maximum and level count vary independently. Engine-map bytes are coherent across map-command and saved-file paths. Bot children, map-list fallback221662, native IO and actual command dispatch remain supplied/captured boundaries. Full runtime completion remains open. [Evidence](research/QVM_NORMAL_MAP_FILES.md).

docs/RESEARCH_LEDGER.md

@@ -2255,3 +2255,8 @@ Rust matches96 original247520 initialization/load/write cases, preserving raw by
 ## 2026-10-28 — RE-907 Rust complete post-map persistence intentions
 
 Rust matches48 original249007 compositions with both actual saved-file and session-cvar children. Typed file/cvar actions preserve per-client order and shared selector/ring advances, and invalid domains preserve selector state. Native open answers remain supplied; no actual engine file/cvar dispatch or map reload is claimed. Focused `cargo xtask test-group rust-post-map-files` 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-28 — RE-908 Original normal transition with both persistence children
+
+64 actual6939 normal transitions compose122230/7188/249007/246746/246963. File actions and per-client session writes occur between score/global resets and the final connection2-to1 scan; reset maximum and level count vary independently. Engine-map bytes are coherent across map-command and saved-file paths. Bot children, map-list fallback221662, native IO and actual command dispatch remain supplied/captured boundaries. Focused `cargo xtask test-group qvm-normal-map-files` passes (4 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

@@ -1795,3 +1795,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-907 Rust complete post-map persistence intentions ([evidence](research/RUST_POST_MAP_FILES.md)).
+
+
+- [x] RE-908 Original normal transition with both persistence children ([evidence](research/QVM_NORMAL_MAP_FILES.md)).

docs/research/QVM_NORMAL_MAP_FILES.md

@@ -0,0 +1,7 @@
+# Original normal transition with both persistence children
+
+RE-908. Reproduce with `python3 scripts/analyze_qvm_normal_map_files.py`; focused validation: `cargo xtask test-group qvm-normal-map-files`. [Machine report](qvm-normal-map-files.json).
+
+64 actual6939 normal transitions compose122230/7188/249007/246746/246963. File actions and per-client session writes occur between score/global resets and the final connection2-to1 scan; reset maximum and level count vary independently. Engine-map bytes are coherent across map-command and saved-file paths. Bot children, map-list fallback221662, native IO and actual command dispatch remain supplied/captured boundaries.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1330,3 +1330,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-907: Rust complete post-map persistence intentions](RUST_POST_MAP_FILES.md).
+
+
+[RE-908: Original normal transition with both persistence children](QVM_NORMAL_MAP_FILES.md).

scripts/analyze_qvm_normal_map_files.py

@@ -0,0 +1,29 @@
+#!/usr/bin/env python3
+"""Execute the verified original QVM body; native effects are supplied or captured."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source,constants
+from qvm_camera_world_support import B,run
+from qvm_exit_rules_support import POOL,CPOOL
+from analyze_qvm_acceleration import word,number
+from analyze_qvm import write_json
+
+def main():
+ q,raw,h,ins=source();rows=[]
+ from qvm_persistence_support import environment
+ from qvm_lifecycle_support import post_full
+ from qvm_session_support import records
+ from qvm_map_commands_support import map_seed,normal_flow,put_string,CURSOR,ENABLED,LIMIT,WRITE,MIRROR
+ from qvm_transition_support import state_seed,state_words
+ from qvm_string_memory_support import cstring
+ for mode,maximum,count,enabled,opened,override in itertools.product([0,9],[0,4],[0,4],[0,1],[False,True],[False,True]):
+  m,b=environment(raw,h);mm,bb=map_seed(raw,h,b'cycle' if override else b'');m.update(mm);b.update(bb);m.update(state_seed(mode=mode,phase=2,first=5,second=-7));m.update({CURSOR:1,ENABLED:1,LIMIT:2,34089604:maximum,34064148:enabled});put_string(m,b,WRITE,b'previous.cfg',128);clients=[];infos=[];names=[];handles=[]
+  for j in range(4):
+   vals,indices,flags=records(m,j,count,0,0);row=[100+j,200+j,300+j,[2,1,2,0][j],7+j];origin=[word(v) for v in ([0]*6 if j==0 else [1.25+j,-2.5,3,90,180,-45.5])];info=b'\\cl_guid\\ID'+str(j).encode();name=b'player'+str(j).encode();handle=7+j if opened else 0;put_string(m,b,CPOOL+6336*j+504,name)
+   for k,v in enumerate(origin):m[CPOOL+6336*j+3716+4*k]=v
+   for o,v in zip([248,304,308,468,696],row):m[CPOOL+6336*j+o]=v
+   clients.append(dict(row=row,values=vals,origin=origin));infos.append(info);names.append(name);handles.append(handle)
+  before=state_words(m);m,p,b=normal_flow(ins,m,b,b'',b'ut4_test',0,post_child=lambda i,m,bs:post_full(i,m,bs,infos,names,handles));p.update(input=dict(mode=mode,maximum=maximum,count=count,enabled=enabled,opened=opened,override=override,clients=clients,indices=indices,flags=flags,infos=[v.hex() for v in infos],names=[v.hex() for v in names],handles=handles),before=before,state=state_words(m),clients_after=[[m[CPOOL+6336*j+o]&0xffffffff for o in [248,304,308,468,696]] for j in range(4)],ring=m[23708]&0xffffffff,info_ring=m[23712]&0xffffffff,mirror=cstring(m,b,MIRROR).hex());rows.append(p)
+
+ write_json(Path('docs/research/qvm-normal-map-files.json'),{'source':q['source'],'sha256':q['sha256'],'root':6939,'probes':rows,'limits':'64 actual6939 normal transitions compose122230/7188/249007/246746/246963. File actions and per-client session writes occur between score/global resets and the final connection2-to1 scan; reset maximum and level count vary independently. Engine-map bytes are coherent across map-command and saved-file paths. Bot children, map-list fallback221662, native IO and actual command dispatch remain supplied/captured boundaries.'})
+if __name__=='__main__':main()

scripts/test_qvm_normal_map_files.py

@@ -0,0 +1,21 @@
+import json,unittest
+from pathlib import Path
+class OriginalTests(unittest.TestCase):
+ def test_instruction_results(self):
+  rows=json.loads(Path('docs/research/qvm-normal-map-files.json').read_text())['probes']
+  self.assertEqual(len(rows),64)
+  baseline=json.loads(Path('docs/research/qvm-post-map-files.json').read_text())['probes']
+  for p in rows:
+   a=p['input'];old=next(v for v in baseline if all(v['input'][k]==a[k] for k in ['mode','count','enabled','opened']) and v['input']['pattern']==0)
+   for k in ['calls','files','sets','actions']:self.assertEqual(p['parts']['post'][k],old[k])
+   c=[list(v['row']) for v in a['clients']]
+   for row in c[:a['maximum']]:
+    if row[3]==2:
+     row[0]=0
+     if a['mode']==9:row[1]=row[2]=0
+   self.assertEqual(p['middle'],[{str(k):v for k,v in zip([248,304,308,468,696],row)} for row in c])
+   for row in c[:a['maximum']]:
+    if row[3]==2:row[3]=1
+   self.assertEqual(p['clients_after'],c);state=dict(p['before']);state.update(round=0,blocked=0,first=0,second=0);self.assertEqual(p['state'],state);self.assertEqual(p['ring'],old['ring']+int(a['override']));self.assertEqual(p['info_ring'],old['info_ring']);self.assertEqual(p['roots'],[122230,7188,249007])
+
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2840,3 +2840,8 @@ report	scripts/analyze_rust_post_map_files.py	docs/research/rust-post-map-files.
 edge	docs/research/rust-post-map-files.json	scripts/test_rust_post_map_files.py
 group	rust-post-map-files	scripts/analyze_rust_post_map_files.py
 edge	scripts/analyze_rust_post_map_files.py	scripts/analyze_qvm_resumer_audit.py
+edge	docs/research/qvm-post-map-files.json	scripts/test_qvm_normal_map_files.py
+report	scripts/analyze_qvm_normal_map_files.py	docs/research/qvm-normal-map-files.json
+edge	docs/research/qvm-normal-map-files.json	scripts/test_qvm_normal_map_files.py
+group	qvm-normal-map-files	scripts/analyze_qvm_normal_map_files.py
+edge	scripts/analyze_qvm_normal_map_files.py	scripts/analyze_qvm_resumer_audit.py