{"source":"map1_01a","target":"map2_02d","secondaryRangeHex":"0x0059e360..0x0059e36b","globalResetCandidateClass":"static-scope-closed-runtime-order-open","directGlobalSecondaryWriterCount":0,"unresolvedGlobalSecondaryRefCount":0,"helperVaHex":"0x00410c90","helperDirectCallCount":1,"helperOnlyCalledInsideOpcode10Handler":true,"secondaryBlockWriteScanRangeHex":"0x0059e300..0x0059e36b","secondaryBlockAddressLikeTouchingBaseCount":5,"secondaryBlockDirectOverlapWriteCount":0,"secondaryTouchBlockWriteCandidateCount":0,"secondaryFullCoverBlockWriteCandidateCount":0,"secondaryBlockWriteShapeClosed":true,"currentSelector":"2:0","currentRootHex":"0x00540714","currentRootRangeHex":"0x00540714..0x00543578","frontierReaderHex":"0x00542b0c","currentRootValidBeforeFrontierFillCount":0,"currentRootValidAfterFrontierFillCount":1,"currentRootAfterFrontierFillVas":["0x00542fc4"],"predecessorSelector":"1:0","predecessorRootHex":"0x00478364","predecessorRootRangeHex":"0x00478364..0x0048458c","predecessorFillCount":2,"predecessorFillVas":["0x004844d0","0x004844d8"],"predecessorTailRangeHex":"0x004844dc..0x0048458c","predecessorTailValidSecondaryFillCount":0,"predecessorLocalTailResetFound":false,"predecessorFillWouldPassCurrentReader":true,"currentRootHasNoKnownBeforeFrontierOverwrite":true,"selectorAdjacent":true,"intermediateSelectorCount":0,"selectorOrderResetGapClosed":true,"routeOrderProven":false,"persistenceProven":false,"strictHotspotFound":false,"selectorMergeGapOpen":true,"secondaryRouteOverlapPromotionStatus":"blocked","noDirectGlobalSecondaryWriter":true,"noKnownPreFrontierResetInScopedEvidence":true,"closedStaticResetScope":true,"staticResetShapeRuledOut":true,"openRuntimeOrderOrBytecodeGap":true,"runtimeResetRiskClass":"runtime-order-or-untraced-bytecode-path","globalResetRuledOut":false,"promotionStatus":"blocked","proofRows":[{"area":"direct secondary table writes","status":"closed","evidence":"directIndexedWriterCount=0; unresolvedRefCount=0","consequence":"No direct table writer remains in the scanned .text references."},{"area":"helper entry scope","status":"closed","evidence":"helper=0x00410c90; directCallCount=1; onlyOpcode10=True","consequence":"Secondary changes are still modeled as opcode 0x10 helper rows."},{"area":"broad block write shape","status":"closed","evidence":"scanRange=0x0059e300..0x0059e36b; addressLike=5; directOverlap=0; touchBlock=0; fullCoverBlock=0","consequence":"No obvious memset/memcpy-style secondaryBranchState reset remains in the current static scan."},{"area":"current root before frontier","status":"closed","evidence":"root=0x00540714..0x00543578; beforeFrontierValidFills=0","consequence":"The current selector has no valid secondary fill before the 0x00542b0c reader."},{"area":"current root after frontier","status":"post-frontier-only","evidence":"afterFrontierValidFills=1; fillVas=0x00542fc4","consequence":"Post-frontier fills cannot initialize the earlier blocker branch."},{"area":"predecessor local tail","status":"closed","evidence":"tailRange=0x004844dc..0x0048458c; tailValidSecondaryFills=0; localTailResetFound=False","consequence":"The known predecessor 1:0 tail does not locally clear the secondary fill."},{"area":"selector-order reset window","status":"closed","evidence":"selectorAdjacent=True; intermediateSelectors=0; currentNoKnownOverwrite=True; closedStaticResetScope=True","consequence":"Within the selector-table adjacency model, no reset-capable selector/root remains between 1:0 and the current reader."},{"area":"static reset shape","status":"closed","evidence":"closedStaticResetScope=True; blockWriteShapeClosed=True; selectorOrderResetGapClosed=True","consequence":"The remaining secondary reset uncertainty is not an obvious static writer or block reset shape."},{"area":"runtime order and global reset","status":"open","evidence":"routeOrderProven=False; persistenceProven=False; globalResetRuledOut=False; runtimeResetRiskClass=runtime-order-or-untraced-bytecode-path","consequence":"The remaining reset risk is dynamic execution order or an untraced VM bytecode path."},{"area":"strict source hotspot","status":"open","evidence":"strictHotspotFound=False","consequence":"A strict map1_01a source trigger is still required before route promotion."}],"remainingProofs":["prove selector 1:0 executes before selector 2:0 in the normal runtime path","prove the selector-order model corresponds to the real VM execution path before the current reader, not an untraced opcode 0x10/helper path","find strict map1_01a source coordinate or hotspot"],"conclusion":"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."}