route map1_01a -> map2_02d; selector 2:0; root 0x00540714..0x00543578.
gate offsets: 0xe8, 0xea; any script-local selection writer: False; any global script selection writer: False; control path gate status: inherited-runtime-state; proofFound False; promotion status: blocked.
The control gates before the current frontier reader use selectionBuffer offsets 0xe8 and 0xea, but the dword-aligned save-selector script scan finds no opcode 0x12/0x13 writer for either offset globally or inside the current 2:0 root. In the current root these offsets appear only as reader gates. That means the fallthrough path depends on inherited/runtime selection-buffer bytes rather than a script-local setup in this root, so control-flow proof remains open.
script-local-gate-byte-writerglobal-script-gate-byte-writerruntime-inherited-selection-buffer-statecontrol-path-fallthrough-proofHwanse2.exe: dword-aligned save-selector script scan for gate-offset readers/writersout/save_scene_selectors.json: selector root ranges used to isolate the current 2:0 script rootout/save_selector_branch_gate_consistency.json: nearest current writer/frontier reader gate rows that define offsets 0xe8 and 0xea| gate | offset | root rows | root writers before gate | global readers | global writers | source |
|---|---|---|---|---|---|---|
0x005428c4 | 0xe8 | 1 | 0 | 453 | 0 | no opcode 0x12/0x13 script writer; inherited/runtime selection-buffer byte |
0x005428cc | 0xea | 5 | 0 | 528 | 0 | no opcode 0x12/0x13 script writer; inherited/runtime selection-buffer byte |
0x005428c4 Offset 0xe8| va | value | op | operation | table | before gate? |
|---|---|---|---|---|---|
0x005428c4 | 0x00e88111 | 0x11 | readSelectedStateAndBranch | secondaryBranchState | False |
0x005428cc Offset 0xea| va | value | op | operation | table | before gate? |
|---|---|---|---|---|---|
0x00542220 | 0x00ea8011 | 0x11 | readSelectedStateAndBranch | secondaryBranchState | True |
0x00542240 | 0x00ea8011 | 0x11 | readSelectedStateAndBranch | secondaryBranchState | True |
0x00542300 | 0x00ea8011 | 0x11 | readSelectedStateAndBranch | secondaryBranchState | True |
0x00542320 | 0x00ea8011 | 0x11 | readSelectedStateAndBranch | secondaryBranchState | True |
0x005428cc | 0x00ea8211 | 0x11 | readSelectedStateAndBranch | secondaryBranchState | False |