Save Selector Branch Gate Consistency

route map1_01a -> map2_02d; writer 0x005428bc 0x00208212; reader 0x00542b0c 0x00209011.

same table and offset: True (secondaryBranchState 0x20); later same-offset writes: 0; later same-offset reads before frontier reader: 0; later other-offset writes: 3 (0x0a, 0x0d, 0x68); valid secondary fills between: 0; invalid secondary fills between: 3 (0x54, 0xe6, 0xe7); known-opcode preservation status: same-selection-slot-preserved-known-opcodes; state preserved by known opcodes: True; branch state value still runtime-dependent: True; strict hotspot still missing: True; promotion status: blocked.

The nearest writer and frontier reader use the same secondaryBranchState table and selectionBuffer[0x20]. Between 0x005428bc and 0x00542b0c, the scan finds no later selectionBuffer[0x20] writer/read and no valid secondaryBranchState opcode 0x10 fill. The later selection writes use other offsets and the intervening secondary fills use out-of-range helper arguments, so the known-opcode model preserves the selected slot. This still does not prove the selected state value is 1, does not prove the control path reaches the frontier reader, and does not provide a strict map1_01a source hotspot.

Boundary

secondary table 0x0059e360..0x0059e36b; no direct global secondary writer: True; helper only called inside opcode 0x10 handler: True; dispatch stop 0x005428f4 opcode 0xe8 handler 0x00440c28 in .data.

Selection Opcode Rows Between Writer And Reader