qvm: compose normal map command and reset flow

docs/FINDINGS.md

@@ -1613,3 +1613,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-871:** Rust matches90 original map-selection cases with empty/NUL mirror gates,127-byte engine-mapname truncation, raw non-UTF8 bytes, unchanged VM mirror and exact truncated-override mode2 map command text. The typed effect order matches source cvar/read/command requests. Engine callbacks, native copy and actual command dispatch remain outside the port. [Evidence](research/RUST_MAP_SELECT.md).
+
+
+**RE-872:** 192 actual6939 normal-path cases compose recovered rotation, map selection, mode classification, copy and formatter bodies on shared state. Optional supplied249007 connection changes prove the final scan sees child mutations. Cvar/engine bytes, native copy and lower callback/runtime effects remain explicit boundaries. [Evidence](research/QVM_NORMAL_MAP_FLOW.md).

docs/PROVISIONAL_TODO.md

@@ -1638,3 +1638,6 @@ RE-870: 90 original7188 cases compose actual strlen, bounded-copy wrapper and or
 
 
 RE-871: Rust matches90 original map-selection cases with empty/NUL mirror gates,127-byte engine-mapname truncation, raw non-UTF8 bytes, unchanged VM mirror and exact truncated-override mode2 map command text. The typed effect order matches source cvar/read/command requests. Engine callbacks, native copy and actual command dispatch remain outside the port. Full runtime completion remains open. [Evidence](research/RUST_MAP_SELECT.md).
+
+
+RE-872: 192 actual6939 normal-path cases compose recovered rotation, map selection, mode classification, copy and formatter bodies on shared state. Optional supplied249007 connection changes prove the final scan sees child mutations. Cvar/engine bytes, native copy and lower callback/runtime effects remain explicit boundaries. Full runtime completion remains open. [Evidence](research/QVM_NORMAL_MAP_FLOW.md).

docs/RESEARCH_LEDGER.md

@@ -2056,3 +2056,8 @@ Rust matches192 original rotation cases, preserving signed cursor wrap, enable/t
 ## 2026-10-27 — RE-871 Rust cycle-mirror map command policy
 
 Rust matches90 original map-selection cases with empty/NUL mirror gates,127-byte engine-mapname truncation, raw non-UTF8 bytes, unchanged VM mirror and exact truncated-override mode2 map command text. The typed effect order matches source cvar/read/command requests. Engine callbacks, native copy and actual command dispatch remain outside the port. Focused `cargo xtask test-group rust-map-select` 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-872 Original normal next-map flow with recovered command children
+
+192 actual6939 normal-path cases compose recovered rotation, map selection, mode classification, copy and formatter bodies on shared state. Optional supplied249007 connection changes prove the final scan sees child mutations. Cvar/engine bytes, native copy and lower callback/runtime effects remain explicit boundaries. Focused `cargo xtask test-group normal-map-flow` 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

@@ -1675,3 +1675,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-871 Rust cycle-mirror map command policy ([evidence](research/RUST_MAP_SELECT.md)).
+
+
+- [x] RE-872 Original normal next-map flow with recovered command children ([evidence](research/QVM_NORMAL_MAP_FLOW.md)).

docs/research/QVM_NORMAL_MAP_FLOW.md

@@ -0,0 +1,7 @@
+# Original normal next-map flow with recovered command children
+
+RE-872. Reproduce with `python3 scripts/analyze_qvm_normal_map_flow.py`; focused validation: `cargo xtask test-group normal-map-flow`. [Machine report](qvm-normal-map-flow.json).
+
+192 actual6939 normal-path cases compose recovered rotation, map selection, mode classification, copy and formatter bodies on shared state. Optional supplied249007 connection changes prove the final scan sees child mutations. Cvar/engine bytes, native copy and lower callback/runtime effects remain explicit boundaries.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1211,3 +1211,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-871: Rust cycle-mirror map command policy](RUST_MAP_SELECT.md).
+
+
+[RE-872: Original normal next-map flow with recovered command children](QVM_NORMAL_MAP_FLOW.md).

scripts/analyze_qvm_normal_map_flow.py

@@ -0,0 +1,18 @@
+#!/usr/bin/env python3
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+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,CPOOL
+from qvm_string_memory_support import cstring
+from analyze_qvm import write_json
+FIELDS=[248,304,308,468,696]
+def main():
+ q,raw,h,ins=source();rows=[]
+ for mode,enabled,cursor,updated,mirror,disconnect,count in itertools.product([0,9,11],[0,1],[0,1],[b'',b'out.cfg'],[b'',b'cycle'],[False,True],[0,4]):
+  m,b=map_seed(raw,h,mirror);m.update(state_seed(mode=mode,phase=2,first=5,second=-7));m.update({CURSOR:cursor,ENABLED:enabled,LIMIT:2,34089604:count,34992496:CPOOL});put_string(m,b,WRITE,b'previous.cfg',128)
+  for j in range(4):
+   for o in FIELDS:m[CPOOL+6336*j+o]=[2,1,2,0][j] if o==468 else (j+1)*100+o
+  before=state_words(m);clients=[{str(o):m[CPOOL+6336*j+o]&0xffffffff for o in FIELDS} for j in range(4)];m,p,b=normal_flow(ins,m,b,updated,b'current_map',0,disconnect);p.update(input=dict(mode=mode,enabled=enabled,cursor=cursor,updated=updated.hex(),mirror=mirror.hex(),disconnect=disconnect,max_clients=count),before=before,clients_before=clients,state=state_words(m),cursor=m[CURSOR]&0xffffffff,filename=cstring(m,b,WRITE).hex(),mirror=cstring(m,b,MIRROR).hex());rows.append(p)
+ write_json(Path('docs/research/qvm-normal-map-flow.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'192 actual6939 normal-path cases compose actual122230/7188/33715/strlen/copy/formatter with shared state.249007 callback is captured with an optional supplied connection0 override, demonstrating post-child connection-scan timing. Engine buffer/cvar refresh and native strncpy remain supplied/modeled; lower callbacks/dispatch/native runtime remain open.'})
+if __name__=='__main__':main()

scripts/qvm_map_commands_support.py

@@ -44,3 +44,19 @@ def select_map(ins,m,b,current,fallback=0):
     def command(i,m,a,bs):requests.append({'target':-15,'arguments':a});operations.append({'op':'command','mode':a[8],'text':cstring(m,bs,a[12]).hex()});return m,0,{'command_captured':True}
     def choose(i,m,a,bs):requests.append({'target':221662,'arguments':a});operations.append({'op':'fallback'});return m,fallback,{'selection_return_supplied':True}
     m,v,p,b=run(ins,m,7188,7257,156,b=b,handlers={36038:strlen,-8:read,-6:set_cvar,69338:copy,70458:format,-15:command,221662:choose},base=D+0x2000);p.update(requests=requests,operations=operations,format_traces=formatted);return m,p,b
+
+def normal_flow(ins,m,b,updated,current,fallback,disconnect=False):
+    from qvm_transition_support import CPOOL
+    parts={};middle=[];roots=[]
+    def snapshot(m):return [{str(o):m[CPOOL+6336*j+o]&0xffffffff for o in [248,304,308,468,696]} for j in range(4)]
+    def rotate(i,m,a,bs):
+        roots.append(122230);m,p,b=rotation(i,m,dict(bs),updated);parts['rotation']=p;return m,0,{'actual_source_child':122230}
+    def choose(i,m,a,bs):
+        roots.append(7188);m,p,b=select_map(i,m,dict(bs),current,fallback);parts['map']=p;return m,0,{'actual_source_child':7188}
+    def after(i,m,a,bs):
+        roots.append(249007);middle.extend(snapshot(m))
+        if disconnect:m[CPOOL+468]=0
+        return m,0,{'connection_change_supplied':True}
+    def classify(i,m,a,bs):
+        m,v,p,b=run(i,m,33715,33740,12,a,bs,base=D+0x6000);return m,v,{'actual_source_child':33715}
+    m,v,p,b=run(ins,m,6939,7186,48,b=b,handlers={122230:rotate,7188:choose,249007:after,33715:classify},base=D+0x4000);p.update(parts=parts,middle=middle,clients=snapshot(m),roots=roots);return m,p,b

scripts/test_qvm_normal_map_flow.py

@@ -0,0 +1,23 @@
+import json,unittest
+from pathlib import Path
+class NormalFlowTests(unittest.TestCase):
+ def test_commands_counter_and_shared_global_state(self):
+  rows=json.loads(Path('docs/research/qvm-normal-map-flow.json').read_text())['probes'];self.assertEqual(len(rows),192)
+  for p in rows:
+   a=p['input'];wrapped=bool(a['enabled']) and a['cursor']+1>=2;name=bytes.fromhex(a['updated']) if wrapped else b'previous.cfg';ops=[]
+   if wrapped:ops=[{'op':'refresh'}]+([{'op':'write','text':name.hex()},{'op':'clear'}] if name else [])+[{'op':'reset'}]
+   self.assertEqual(p['cursor'],0 if wrapped else a['cursor']+int(bool(a['enabled'])));self.assertEqual(p['filename'],name.hex());self.assertEqual(p['parts']['rotation']['operations'],ops);self.assertEqual(p['mirror'],a['mirror']);self.assertEqual(p['roots'],[122230,7188,249007]);state=dict(p['before']);state.update(round=0,blocked=0,first=0,second=0);self.assertEqual(p['state'],state)
+   expected=[{'op':'read-map','text':b'current_map'.hex()},{'op':'set-cycle','value':b'current_map'.hex()},{'op':'clear-next'},{'op':'command','mode':2,'text':b'map cycle\n'.hex()}] if a['mirror'] else [{'op':'fallback'}];self.assertEqual(p['parts']['map']['operations'],expected)
+ def test_post_callback_connections_and_mode9_clear(self):
+  for p in json.loads(Path('docs/research/qvm-normal-map-flow.json').read_text())['probes']:
+   a=p['input'];middle=[dict(v) for v in p['clients_before']]
+   for c in middle[:a['max_clients']]:
+    if c['468']==2:
+     c['248']=0
+     if a['mode']==9:c['304']=c['308']=0
+   self.assertEqual(p['middle'],middle);end=[dict(v) for v in middle]
+   if a['disconnect']:end[0]['468']=0
+   for c in end[:a['max_clients']]:
+    if c['468']==2:c['468']=1
+   self.assertEqual(p['clients'],end)
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2497,3 +2497,7 @@ report	scripts/analyze_rust_map_select.py	docs/research/rust-map-select.json
 edge	docs/research/rust-map-select.json	scripts/test_rust_map_select.py
 group	rust-map-select	scripts/analyze_rust_map_select.py
 edge	scripts/analyze_rust_map_select.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_qvm_normal_map_flow.py	docs/research/qvm-normal-map-flow.json
+edge	docs/research/qvm-normal-map-flow.json	scripts/test_qvm_normal_map_flow.py
+group	normal-map-flow	scripts/analyze_qvm_normal_map_flow.py
+edge	scripts/analyze_qvm_normal_map_flow.py	scripts/analyze_qvm_resumer_audit.py