qvm: compose file and cvar post-map persistence

docs/FINDINGS.md

@@ -1715,3 +1715,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-905:** Rust matches96 original247520 initialization/load/write cases, preserving raw byte/word clears, timeout wrapping, team/capacity selection,64 ignore clears and immediate session cvar bytes. Existing coordinates survive failed/suppressed loads. Engine clock/userinfo/files and diagnostic logging remain supplied/intended; caller behavior and native lifecycle remain open. [Evidence](research/RUST_SESSION_INIT.md).
+
+
+**RE-906:** 48 actual249007/246746/246963 compositions execute both post-map children on shared state. Ordered native file intentions precede each client session/ignore cvar pair; mode/enabled/zero-position/open-handle gates, pointer-indirected ignore lists and shared formatter/userinfo selectors are verified. Connected-state filtering remains original. Engine userinfo/files/cvars and native copy remain supplied/modeled/captured. [Evidence](research/QVM_POST_MAP_FILES.md).

docs/PROVISIONAL_TODO.md

@@ -1752,3 +1752,6 @@ RE-904: 96 actual247520 compositions execute team classification, userinfo looku
 
 
 RE-905: Rust matches96 original247520 initialization/load/write cases, preserving raw byte/word clears, timeout wrapping, team/capacity selection,64 ignore clears and immediate session cvar bytes. Existing coordinates survive failed/suppressed loads. Engine clock/userinfo/files and diagnostic logging remain supplied/intended; caller behavior and native lifecycle remain open. Full runtime completion remains open. [Evidence](research/RUST_SESSION_INIT.md).
+
+
+RE-906: 48 actual249007/246746/246963 compositions execute both post-map children on shared state. Ordered native file intentions precede each client session/ignore cvar pair; mode/enabled/zero-position/open-handle gates, pointer-indirected ignore lists and shared formatter/userinfo selectors are verified. Connected-state filtering remains original. Engine userinfo/files/cvars and native copy remain supplied/modeled/captured. Full runtime completion remains open. [Evidence](research/QVM_POST_MAP_FILES.md).

docs/RESEARCH_LEDGER.md

@@ -2245,3 +2245,8 @@ After the tenth commit, `cargo xtask test-full --since 6e01995b` passed with the
 ## 2026-10-28 — RE-905 Rust session initialization and raw-field ownership
 
 Rust matches96 original247520 initialization/load/write cases, preserving raw byte/word clears, timeout wrapping, team/capacity selection,64 ignore clears and immediate session cvar bytes. Existing coordinates survive failed/suppressed loads. Engine clock/userinfo/files and diagnostic logging remain supplied/intended; caller behavior and native lifecycle remain open. Focused `cargo xtask test-group rust-session-init` 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-906 Original post-map file and cvar persistence
+
+48 actual249007/246746/246963 compositions execute both post-map children on shared state. Ordered native file intentions precede each client session/ignore cvar pair; mode/enabled/zero-position/open-handle gates, pointer-indirected ignore lists and shared formatter/userinfo selectors are verified. Connected-state filtering remains original. Engine userinfo/files/cvars and native copy remain supplied/modeled/captured. Focused `cargo xtask test-group qvm-post-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

@@ -1789,3 +1789,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-905 Rust session initialization and raw-field ownership ([evidence](research/RUST_SESSION_INIT.md)).
+
+
+- [x] RE-906 Original post-map file and cvar persistence ([evidence](research/QVM_POST_MAP_FILES.md)).

docs/research/QVM_POST_MAP_FILES.md

@@ -0,0 +1,7 @@
+# Original post-map file and cvar persistence
+
+RE-906. Reproduce with `python3 scripts/analyze_qvm_post_map_files.py`; focused validation: `cargo xtask test-group qvm-post-map-files`. [Machine report](qvm-post-map-files.json).
+
+48 actual249007/246746/246963 compositions execute both post-map children on shared state. Ordered native file intentions precede each client session/ignore cvar pair; mode/enabled/zero-position/open-handle gates, pointer-indirected ignore lists and shared formatter/userinfo selectors are verified. Connected-state filtering remains original. Engine userinfo/files/cvars and native copy remain supplied/modeled/captured.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1324,3 +1324,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-905: Rust session initialization and raw-field ownership](RUST_SESSION_INIT.md).
+
+
+[RE-906: Original post-map file and cvar persistence](QVM_POST_MAP_FILES.md).

scripts/analyze_qvm_post_map_files.py

@@ -0,0 +1,26 @@
+#!/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 put_string
+ for mode,count,pattern,enabled,opened in itertools.product([0,9],[0,1,4],range(2),[0,1],[False,True]):
+  m,b=environment(raw,h);m.update({34090788:mode,34064148:enabled});clients=[];infos=[];names=[];handles=[]
+  for j in range(4):
+   vals,indices,flags=records(m,j,count,0,pattern);connection=([2,1,2,0] if pattern==0 else [1,2,0,2])[j];m[CPOOL+6336*j+468]=connection;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
+   clients.append(dict(connection=connection,values=vals,origin=origin));infos.append(info);names.append(name);handles.append(handle)
+  m,p,b=post_full(ins,m,b,infos,names,handles);p.update(input=dict(mode=mode,count=count,enabled=enabled,pattern=pattern,opened=opened,clients=clients,indices=indices,flags=flags,infos=[v.hex() for v in infos],names=[v.hex() for v in names],handles=handles),ring=m[23708]&0xffffffff,info_ring=m[23712]&0xffffffff);rows.append(p)
+
+ write_json(Path('docs/research/qvm-post-map-files.json'),{'source':q['source'],'sha256':q['sha256'],'root':249007,'probes':rows,'limits':'48 actual249007/246746/246963 compositions execute both post-map children on shared state. Ordered native file intentions precede each client session/ignore cvar pair; mode/enabled/zero-position/open-handle gates, pointer-indirected ignore lists and shared formatter/userinfo selectors are verified. Connected-state filtering remains original. Engine userinfo/files/cvars and native copy remain supplied/modeled/captured.'})
+if __name__=='__main__':main()

scripts/qvm_lifecycle_support.py

@@ -26,3 +26,11 @@ def initialize(ins,m,b,pointer,userinfo,handle,ticks):
  m,v,p,b=run(ins,m,247520,247806,40,{8:pointer,12:INFO},b,{33715:classify,70503:lookup,-3:clock,69338:copy,246554:load,246963:write,7259:diagnostic},base=INIT);p.update(parts=parts,diagnostics=diagnostics);return m,p,b
 
 def raw_state(m,b,pointer):return read_bytes(m,b,pointer+3096,SIZE).hex()
+
+def post_full(ins,m,b,userinfos,names,handles):
+ calls=[];files=[];sets=[];actions=[]
+ def save(i,m,a,bs):
+  j=(a[8]-CPOOL)//6336;calls.append([246746,j]);m,p,b=save_position(i,m,dict(bs),a[8],userinfos[j],b'ut4_test',handles[j],-7);files.append([j,p['events']]);actions.extend(dict(e,kind='file',slot=j) for e in p['events']);return m,0,{'actual_source_child':246746}
+ def write(i,m,a,bs):
+  j=(a[8]-CPOOL)//6336;calls.append([246963,j]);m,p,b=session(i,m,dict(bs),a[8]);sets.extend(p['sets']);actions.extend(dict(kind='cvar',slot=j,key=k,value=v) for k,v in p['sets']);return m,0,{'actual_source_child':246963}
+ m,v,p,b=run(ins,m,249007,249058,16,b=b,handlers={246746:save,246963:write},base=B+0x54000);p.update(calls=calls,files=files,sets=sets,actions=actions);return m,p,b

scripts/test_qvm_post_map_files.py

@@ -0,0 +1,22 @@
+import json,unittest
+from pathlib import Path
+class OriginalTests(unittest.TestCase):
+ def test_instruction_results(self):
+  rows=json.loads(Path('docs/research/qvm-post-map-files.json').read_text())['probes']
+  self.assertEqual(len(rows),48)
+  from test_qvm_format_float import float_text
+  for p in rows:
+   a=p['input'];actions=[];sets=[];files=[];calls=[];ring=ir=0
+   for j,c in enumerate(a['clients'][:a['count']]):
+    if c['connection']!=2:continue
+    calls.extend([[246746,j],[246963,j]]);events=[]
+    if a['mode']==9:
+     ir^=1;events.append(dict(op='userinfo',slot=j))
+     if a['enabled'] and j!=0:
+      events.extend([dict(op='map'),dict(op='open',path=(b'positions/ut4_test/ID'+str(j).encode()+b'.pos').hex(),mode=1)]);ring+=1
+      if a['handles'][j]:
+       data=b','.join(float_text(v,0,-1) for v in c['origin'])+b'\n'+bytes.fromhex(a['names'][j]);events.extend([dict(op='write',handle=a['handles'][j],length=len(data),data=data.hex()),dict(op='close',handle=a['handles'][j])])
+    files.append([j,events]);actions.extend(dict(e,kind='file',slot=j) for e in events);ignored=[i for i in a['indices'][:a['count']] if a['flags'][i]==1];pair=[[f'session{j}'.encode().hex(),b'0,0,0,0,0,0,0,0,0'.hex()],[f'sessIgnore{j}'.encode().hex(),b''.join(str(i).encode()+b',' for i in ignored).hex()]];sets.extend(pair);actions.extend(dict(kind='cvar',slot=j,key=k,value=v) for k,v in pair);ring+=3+len(ignored)
+   self.assertEqual(p['calls'],calls);self.assertEqual(p['files'],files);self.assertEqual(p['sets'],sets);self.assertEqual(p['actions'],actions);self.assertEqual(p['ring'],ring);self.assertEqual(p['info_ring'],ir)
+
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2822,3 +2822,7 @@ report	scripts/analyze_rust_session_init.py	docs/research/rust-session-init.json
 edge	docs/research/rust-session-init.json	scripts/test_rust_session_init.py
 group	rust-session-init	scripts/analyze_rust_session_init.py
 edge	scripts/analyze_rust_session_init.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_qvm_post_map_files.py	docs/research/qvm-post-map-files.json
+edge	docs/research/qvm-post-map-files.json	scripts/test_qvm_post_map_files.py
+group	qvm-post-map-files	scripts/analyze_qvm_post_map_files.py
+edge	scripts/analyze_qvm_post_map_files.py	scripts/analyze_qvm_resumer_audit.py