{"secondaryBranchState":{"baseVaHex":"0x0059e360","rangeHex":"0x0059e360..0x0059e36b","slots":12,"refCount":5,"refKindCounts":{"baseAddressImmediate":1,"indexedReadByte":2,"localTablePointerImmediate":2},"directIndexedWriterCount":0,"unresolvedRefCount":0,"refs":[{"section":".text","fileOffset":43183,"fileOffsetHex":"0x00a8af","refVa":4240559,"refVaHex":"0x0040b4af","valueHex":"0x0059e360","kind":"baseAddressImmediate","writeToSecondaryTable":false,"meaning":"loads secondary table base for opcode 0x10 helper dispatch"},{"section":".text","fileOffset":43269,"fileOffsetHex":"0x00a905","refVa":4240645,"refVaHex":"0x0040b505","valueHex":"0x0059e360","kind":"localTablePointerImmediate","writeToSecondaryTable":false,"meaning":"loads the secondary table address into a stack local; not a table write"},{"section":".text","fileOffset":43390,"fileOffsetHex":"0x00a97e","refVa":4240766,"refVaHex":"0x0040b57e","valueHex":"0x0059e360","kind":"localTablePointerImmediate","writeToSecondaryTable":false,"meaning":"loads the secondary table address into a stack local; not a table write"},{"section":".text","fileOffset":65131,"fileOffsetHex":"0x00fe6b","refVa":4262507,"refVaHex":"0x00410a6b","valueHex":"0x0059e360","kind":"indexedReadByte","writeToSecondaryTable":false,"meaning":"reads secondaryBranchState by selected slot"},{"section":".text","fileOffset":65238,"fileOffsetHex":"0x00fed6","refVa":4262614,"refVaHex":"0x00410ad6","valueHex":"0x0059e360","kind":"indexedReadByte","writeToSecondaryTable":false,"meaning":"reads secondaryBranchState by selected slot"}]},"helper":{"helperVaHex":"0x00410c90","opcode10HandlerHex":"0x0040b49e","directCallCount":1,"directCalls":[{"callVa":4240594,"callVaHex":"0x0040b4d2","targetVaHex":"0x00410c90","insideOpcode10Handler":true}],"onlyDirectCallInsideOpcode10Handler":true},"routeScope":{"currentRootHex":"0x00540714","frontierReaderHex":"0x00542b0c","currentRootValidBeforeFrontierFillCount":0,"currentRootValidAfterFrontierFillCount":1,"predecessorRootHex":"0x00478364","predecessorTailValidSecondaryFillCount":0,"predecessorLocalTailResetFound":false,"persistenceProven":false,"strictHotspotFound":false},"noDirectGlobalSecondaryWriter":true,"noKnownPreFrontierResetInScopedEvidence":true,"globalResetRuledOut":false,"promotionStatus":"blocked","remainingProofs":["prove selector 1:0 executes before selector 2:0 in the normal runtime path","prove no untraced bytecode path runs another secondary opcode 0x10 fill between 1:0 and the current reader","find strict map1_01a source coordinate or hotspot"],"conclusion":"The secondaryBranchState table has no direct indexed writes in .text; its direct references are table-base loads, stack-local table pointer loads, and indexed reads. Helper 0x00410c90 is reached by a single direct call inside the opcode 0x10 handler, so secondary resets/overwrites are driven by script opcode 0x10 rows. The current root has no valid secondary opcode 0x10 fill before the 0x00542b0c blocker and the 1:0 tail has no post-fill secondary fill. This narrows reset risk to unproven runtime order or still-untraced bytecode paths; it still does not promote map1_01a->map2_02d without a strict source hotspot."}