Route map1_01a -> map2_02d; secondaryBranchState 0x0059e360..0x0059e36b; class static-scope-closed-runtime-order-open.
direct global secondary writers: 0; unresolved global secondary refs: 0; helper only called inside opcode 0x10 handler: True; current before-frontier valid fills: 0; current after-frontier valid fills: 1 (0x00542fc4); predecessor fills: 2 (0x004844d0, 0x004844d8); predecessor tail valid secondary fills: 0.
secondary block-write scan range: 0x0059e300..0x0059e36b; address-like bases: 5; direct overlap writes: 0; touch block candidates: 0; full-cover block candidates: 0; secondary block-write shape closed: True.
closed static reset scope: True; static reset shape ruled out: True; selector-order reset gap closed: True; runtime reset risk class: runtime-order-or-untraced-bytecode-path; global reset ruled out: False; promotion status: blocked.
Static secondaryBranchState reset evidence is narrowed: no direct global writer was found, helper 0x00410c90 is only reached through opcode 0x10, the broad block-write scan found no overlapping memset/memcpy-style reset candidate, the current root has no valid before-frontier fill, and the predecessor tail has no local reset. The selector-order reset window between adjacent selectors 1:0 and 2:0 is also closed by the current static evidence. The proof still remains blocked because selector-table adjacency is not runtime execution order, the VM path before the reader is not captured, and the strict map1_01a source hotspot is not proven.
| area | status | evidence | consequence |
|---|---|---|---|
| direct secondary table writes | closed | directIndexedWriterCount=0; unresolvedRefCount=0 | No direct table writer remains in the scanned .text references. |
| helper entry scope | closed | helper=0x00410c90; directCallCount=1; onlyOpcode10=True | Secondary changes are still modeled as opcode 0x10 helper rows. |
| broad block write shape | closed | scanRange=0x0059e300..0x0059e36b; addressLike=5; directOverlap=0; touchBlock=0; fullCoverBlock=0 | No obvious memset/memcpy-style secondaryBranchState reset remains in the current static scan. |
| current root before frontier | closed | root=0x00540714..0x00543578; beforeFrontierValidFills=0 | The current selector has no valid secondary fill before the 0x00542b0c reader. |
| current root after frontier | post-frontier-only | afterFrontierValidFills=1; fillVas=0x00542fc4 | Post-frontier fills cannot initialize the earlier blocker branch. |
| predecessor local tail | closed | tailRange=0x004844dc..0x0048458c; tailValidSecondaryFills=0; localTailResetFound=False | The known predecessor 1:0 tail does not locally clear the secondary fill. |
| selector-order reset window | closed | selectorAdjacent=True; intermediateSelectors=0; currentNoKnownOverwrite=True; closedStaticResetScope=True | Within the selector-table adjacency model, no reset-capable selector/root remains between 1:0 and the current reader. |
| static reset shape | closed | closedStaticResetScope=True; blockWriteShapeClosed=True; selectorOrderResetGapClosed=True | The remaining secondary reset uncertainty is not an obvious static writer or block reset shape. |
| runtime order and global reset | open | routeOrderProven=False; persistenceProven=False; globalResetRuledOut=False; runtimeResetRiskClass=runtime-order-or-untraced-bytecode-path | The remaining reset risk is dynamic execution order or an untraced VM bytecode path. |
| strict source hotspot | open | strictHotspotFound=False | A strict map1_01a source trigger is still required before route promotion. |