Save Selector Gate Offset Sources

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.

Failed Gates

Missing Evidence

Evidence Refs

Gates

gateoffsetroot rowsroot writers before gateglobal readersglobal writerssource
0x005428c40xe8104530no opcode 0x12/0x13 script writer; inherited/runtime selection-buffer byte
0x005428cc0xea505280no opcode 0x12/0x13 script writer; inherited/runtime selection-buffer byte

Gate 0x005428c4 Offset 0xe8

vavalueopoperationtablebefore gate?
0x005428c40x00e881110x11readSelectedStateAndBranchsecondaryBranchStateFalse

Gate 0x005428cc Offset 0xea

vavalueopoperationtablebefore gate?
0x005422200x00ea80110x11readSelectedStateAndBranchsecondaryBranchStateTrue
0x005422400x00ea80110x11readSelectedStateAndBranchsecondaryBranchStateTrue
0x005423000x00ea80110x11readSelectedStateAndBranchsecondaryBranchStateTrue
0x005423200x00ea80110x11readSelectedStateAndBranchsecondaryBranchStateTrue
0x005428cc0x00ea82110x11readSelectedStateAndBranchsecondaryBranchStateFalse