{"source":"map1_01a","target":"map2_02d","selector":"2:0","rootHex":"0x00540714","rootTablePointerHex":"0x005429dc","tableWindowHex":"0x005429a8..0x00542a10","currentRootEntryRunHex":"0x005429dc..0x00542a00","insideCurrentRootEntryCount":10,"frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","wrapperDescriptorHex":"0x00542a04","wrapperEntryHex":"0x005429ac","wrapperChildPointerHex":"0x00542ae8","wrapperChildIsFrontierLeaf":true,"wrapperRefBeforeCurrentRoot":true,"currentRootReferencesWrapper":false,"wrapperEntryRefCount":1,"wrapperEntryCurrentRootRangeRefCount":1,"wrapperEntryCurrentRootEntryRunRefCount":0,"wrapperEntryOpcode5aFallthroughRefCount":1,"wrapperEntryFallthroughNonCodeRefCount":1,"wrapperEntryFallthroughHandlerSummaries":["0x005429ac/0xac->0x00000003/-"],"wrapperEntryOnlyRefIsOpcode5aFallthrough":true,"wrapperEntryPromotingRefCount":0,"frontierLeafDirectCurrentRootRef":false,"globalSelectorTableCount":35,"globalFieldEntryRowCount":261,"globalNegativeFieldEntryRowCount":136,"globalNonNegativeFieldEntryRowCount":125,"globalCurrentSelectorRoutePairIndices":[-13,-12,6,8],"globalCurrentSelectorNegativeRoutePairRowCount":2,"globalCurrentSelectorNonNegativeRoutePairRowCount":2,"globalCurrentFrontierLeafOnlyNegative":true,"rootTableDirectRefContext":{"status":"data-only-no-text-ref","tableWindowHex":"0x005429a8..0x00542a10","tableWindowRefCount":14,"tableWindowTextRefCount":0,"tableWindowSectionCounts":{".data":14},"routeEntryAddressTextRefCount":0,"negativeReaderEntryAddressTextRefCount":0,"routeLeafValueTextRefCount":0,"frontierLeafValueTextRefCount":0,"frontierReaderValueTextRefCount":0,"routeLeafValueRefCount":2,"frontierLeafValueRefCount":1,"frontierReaderValueRefCount":0,"keyAddressRows":[{"name":"rootTablePointer","valueHex":"0x005429dc","refCount":2,"textRefCount":0,"sectionCounts":{".data":2},"refs":[{"section":".data","refVaHex":"0x005404f4","valueHex":"0x005429dc"},{"section":".data","refVaHex":"0x0054071c","valueHex":"0x005429dc"}]},{"name":"routeEntry0","valueHex":"0x005429f4","refCount":1,"textRefCount":0,"sectionCounts":{".data":1},"refs":[{"section":".data","refVaHex":"0x00540638","valueHex":"0x005429f4"}]},{"name":"routeEntry1","valueHex":"0x005429fc","refCount":1,"textRefCount":0,"sectionCounts":{".data":1},"refs":[{"section":".data","refVaHex":"0x00540680","valueHex":"0x005429fc"}]},{"name":"negativeReaderEntry0","valueHex":"0x005429ac","refCount":1,"textRefCount":0,"sectionCounts":{".data":1},"refs":[{"section":".data","refVaHex":"0x0054090c","valueHex":"0x005429ac"}]}],"keyLeafRows":[{"name":"routeLeaf0","valueHex":"0x00542ac0","refCount":1,"textRefCount":0,"sectionCounts":{".data":1},"refs":[{"section":".data","refVaHex":"0x005429f4","valueHex":"0x00542ac0"}]},{"name":"routeLeaf1","valueHex":"0x00542ad4","refCount":1,"textRefCount":0,"sectionCounts":{".data":1},"refs":[{"section":".data","refVaHex":"0x005429fc","valueHex":"0x00542ad4"}]},{"name":"frontierLeaf","valueHex":"0x00542ae8","refCount":1,"textRefCount":0,"sectionCounts":{".data":1},"refs":[{"section":".data","refVaHex":"0x00542a08","valueHex":"0x00542ae8"}]},{"name":"frontierReader","valueHex":"0x00542b0c","refCount":0,"textRefCount":0,"sectionCounts":{},"refs":[]}],"tableWindowRefs":[{"section":".data","refVaHex":"0x005401b0","valueHex":"0x005429bc"},{"section":".data","refVaHex":"0x005402ec","valueHex":"0x005429c4"},{"section":".data","refVaHex":"0x005403d0","valueHex":"0x005429cc"},{"section":".data","refVaHex":"0x00540474","valueHex":"0x005429d4"},{"section":".data","refVaHex":"0x005404f4","valueHex":"0x005429dc"},{"section":".data","refVaHex":"0x005405c8","valueHex":"0x005429ec"},{"section":".data","refVaHex":"0x00540638","valueHex":"0x005429f4"},{"section":".data","refVaHex":"0x00540680","valueHex":"0x005429fc"},{"section":".data","refVaHex":"0x005406c8","valueHex":"0x005429e4"},{"section":".data","refVaHex":"0x0054071c","valueHex":"0x005429dc"},{"section":".data","refVaHex":"0x00540810","valueHex":"0x005429c4"},{"section":".data","refVaHex":"0x0054090c","valueHex":"0x005429ac"},{"section":".data","refVaHex":"0x005409c8","valueHex":"0x005429c4"},{"section":".data","refVaHex":"0x005429ac","valueHex":"0x00542a04"}]},"rootTableDirectRefStatus":"data-only-no-text-ref","rootTableWindowDirectRefCount":14,"rootTableWindowDirectTextRefCount":0,"rootTableWindowDirectRefSectionCounts":{".data":14},"rootTableRouteEntryAddressTextRefCount":0,"rootTableRouteLeafValueTextRefCount":0,"rootTableFrontierLeafValueTextRefCount":0,"rootTableFrontierReaderValueTextRefCount":0,"rootTableFrontierReaderValueRefCount":0,"currentRoutePairDescriptorCount":2,"currentRoutePairDescriptorIndices":[6,8],"currentRoutePairCorrectedTraceReachesReaderCount":2,"routePairReaderTraceGrounded":true,"currentRoutePairGeometryExitHitCount":0,"readerBearingCurrentEntryCount":0,"readerBearingNegativeEntryCount":1,"readerBearingNegativeIndices":[-12],"readerBearingNegativeOnly":true,"opcode07IndexMode":"zero-extended-u8","opcode07RowCount":33,"selectedWrapperEntrySlotCount":0,"selectedLeafTableWindowSlotCount":0,"selectedCurrentRootEntrySlotCount":0,"selectedNegativeRootEntrySlotCount":0,"directFrontierTargetCount":0,"opcode07LeafSelectionAbsent":true,"opcode08SourceOrPredecessorActivatorCount":162,"opcode08SourceOrPredecessorCurrentRootProducerCount":0,"opcode08SourceOrPredecessorCurrentRangeProducerCount":0,"opcode08SourceOrPredecessorOwnRangeProducerCount":24,"opcode08SourceOrPredecessorScriptScalarProducerCount":107,"opcode08CurrentInternalCurrentRangeProducerCount":24,"opcode09SourceOrPredecessorCurrentRangeStoreCount":0,"opcode09SourceOrPredecessorSupportedOpcode09RowCount":12,"opcode09SourceOrPredecessorUnsupportedModeOpcode09RowCount":5,"opcode09SourceOrPredecessorUnsupportedModesHex":["0x6c","0xfe"],"opcode09SourceOrPredecessorPointerCollisionRowCount":5,"sourceOrPredecessorCurrentProducerCount":0,"correctedTraceNormalSelectionGapFound":true,"correctedTraceNormalSelectionGapStatus":"corrected-trace-not-normal-selection-proof","constructedDiagnosticWrapperProofStatus":"diagnostic-only-not-reproduced","constructedDiagnosticExcludedFromWrapperProof":true,"constructedDiagnosticRuntimeSampleCount":375,"constructedDiagnosticObservedSelectors":["2:0","10:0"],"constructedDiagnosticReachedRouteSelector":true,"constructedDiagnosticFollowupSelector":"10:0","constructedDiagnosticLeftStabilitySampleCount":679,"constructedDiagnosticLeftStabilityRouteSelectorHitCount":125,"constructedDiagnosticLeftStabilityReproducibility":"not-reproduced","constructedDiagnosticLeftStabilityRecheckSampleCount":680,"constructedDiagnosticLeftStabilityRecheckRouteSelectorHitCount":0,"constructedDiagnosticLeftActiveOrderRecheckSampleCount":679,"constructedDiagnosticLeftActiveOrderRecheckRouteSelectorHitCount":0,"constructedDiagnosticLeftActiveOrderRecheckActiveOrderCountValues":"0x00x679","selectedRootExecutionRefFound":false,"proofFound":false,"failedWrapperGateIds":["selected-root-execution","current-leaf-selection","wrapper-execution","current-selector-leaf-execution","strict-hotspot"],"missingEvidence":["selected-root execution reaching current selector 2:0 on the normal route path","higher-level table/index path selecting current entries 6/8 or negative entry -12","normal-route wrapper 0x00542a04 execution into frontier leaf 0x00542ae8","complete current selector leaf execution proof tying selected root, leaf selection, and wrapper/reader trace","strict map1_01a source coordinate or hotspot linked to map2_02d"],"runtimeSelectionProven":false,"currentLeafSelectionProofFound":false,"wrapperExecutionProofFound":false,"currentSelectorLeafExecutionProofFound":false,"selectorMergeExecutionProofFound":false,"strictHotspotFound":false,"promotionStatus":"blocked","evidence":[{"kind":"current-root-table-window","status":"route-pair-descriptors-present","detail":"root=0x00540714; table=0x005429dc; insideRootRows=10; routePairIndices=6,8"},{"kind":"negative-wrapper-entry","status":"outside-current-root-run","detail":"wrapperEntry=0x005429ac; wrapper=0x00542a04; child=0x00542ae8; childIsFrontier=True; frontierLeaf=0x00542ae8; reader=0x00542b0c"},{"kind":"wrapper-reference-context","status":"non-promoting","detail":"wrapperEntryRefs=1; currentRootRangeRefs=1; currentRootEntryRunRefs=0; opcode5aFallthroughRefs=1; fallthroughNonCodeRefs=1; fallthroughHandlers=0x005429ac/0xac->0x00000003/-; promotingRefs=0; currentRootReferencesWrapper=False"},{"kind":"global-leaf-table-context","status":"frontier-leaf-negative-only","detail":"selectorTables=35; fieldEntries=261; negative/nonNegative=136/125; currentRoutePairIdx=-13,-12,6,8; frontierLeafOnlyNegative=True"},{"kind":"root-table-direct-ref-context","status":"data-only-no-text-ref","detail":"tableWindow=0x005429a8..0x00542a10; tableRefs=14/0; sections={'.data': 14}; routeEntryTextRefs=0; routeLeafTextRefs=0; frontierLeafTextRefs=0; frontierReaderTextRefs=0; frontierReaderRefs=0"},{"kind":"route-pair-reader-trace","status":"corrected-trace-only","detail":"routePairDescriptors=2; correctedReaderHits=2; geometryExitHits=0; readerNegativeOnly=True"},{"kind":"opcode07-leaf-selection","status":"absent","detail":"rowCount=33; indexMode=zero-extended-u8; selectedWrapper=0; selectedLeafWindow=0; selectedNegative=0; directFrontier=0"},{"kind":"opcode08-source-predecessor-activation","status":"current-producer-absent","detail":"activators=162; currentRoot=0; currentRange=0; ownRange=24; scriptScalar=107; currentInternalRange=24"},{"kind":"opcode09-source-predecessor-store","status":"current-store-absent","detail":"rows=17; supported=12; unsupported=5; unsupportedModes=0x6c,0xfe; currentRangeStores=0; sourcePredCurrentProducers=0"},{"kind":"corrected-trace-normal-selection-gap","status":"corrected-trace-not-normal-selection-proof","detail":"routePairReaderTraceGrounded=True; readerNegativeOnly=True; frontierLeafNegativeOnly=True; opcode07SelectionAbsent=True; sourcePredCurrentProducers=0; runtimeSelection=False; wrapperExec=False; selectedRootRef=False"},{"kind":"selected-root-execution","status":"missing","detail":"selectedRootExecutionRefFound=False; runtimeSelectionProven=False; selectedPointerGlobal=0x0059de30; currentRoot=0x00540714"},{"kind":"constructed-diagnostic-recheck","status":"diagnostic-only-not-reproduced","detail":"runtimePoll=375 observed=2:0,10:0 route=True; leftStability=679 routeHits=125 repro=not-reproduced; leftRecheck=680 routeHits=0; leftActiveOrder=679 routeHits=0 activeOrderCount=0x00x679; excluded=True"},{"kind":"strict-hotspot","status":"missing","detail":"strictHotspotFound=False; frontierClusterClass=current frontier selector-only cluster; frontierClusterEventCount=0; frontierClusterSelectorRefCount=34"}],"evidenceRefs":[{"path":"out/save_selector_leaf_table_context.json","fields":["selector","rootHex","rootTablePointerHex","frontierLeafRefIsDirectRootTableEntry","runtimeSelectionProven","promotionStatus"]},{"path":"out/save_selector_leaf_table_global_context.json","fields":["selectorTableCount","fieldEntryRowCount","currentSelectorRoutePairIndices","currentFrontierLeafOnlyNegative"]},{"path":"out/save_selector_wrapper_descriptor_context.json","fields":["wrapperDescriptorHex","wrapperEntryHex","wrapperChildPointerHex","wrapperRefBeforeCurrentRoot","currentRootReferencesWrapper","wrapperEntryPromotingRefCount"]},{"path":"out/save_selector_route_pair_descriptor_context.json","fields":["currentRoutePairDescriptorCount","currentRoutePairDescriptorIndices","currentRoutePairCorrectedTraceReachesReaderCount","readerBearingCurrentEntryCount","readerBearingNegativeEntryCount"]},{"path":"out/save_selector_opcode07_indexed_pointers.json","fields":["opcode07IndexMode","rowCount","selectedWrapperEntrySlotCount","selectedLeafTableWindowSlotCount","selectedCurrentRootEntrySlotCount","selectedNegativeRootEntrySlotCount","directFrontierTargetCount"]},{"path":"out/save_selector_opcode08_activation_windows.json","fields":["sourceOrPredecessorOpcode08ActivatorCount","sourceOrPredecessorCurrentRootProducerCount","sourceOrPredecessorCurrentRangeProducerCount","currentInternalCurrentRangeProducerCount"]},{"path":"out/save_selector_opcode09_pointer_collisions.json","fields":["sourceOrPredecessorOpcode09RowCount","sourceOrPredecessorSupportedOpcode09RowCount","sourceOrPredecessorUnsupportedModeOpcode09RowCount","sourceOrPredecessorCurrentRangeStoreCount"]},{"path":"out/save_selector_selected_root_execution_gap.json","fields":["selectedRootExecutionRefFound","runtimeSelectionProven","diagnosticExclusionGate","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_current_root_frontier_paths.json","fields":["strictHotspotFound","frontierClusterClass","frontierClusterEventCount","frontierClusterSelectorRefCount"]},{"path":"out/save_selector_merge_execution_gap.json","fields":["selectorMergeExecutionProofFound","selectorMergeGapOpen","promotionStatus"]},{"path":"out/save_selector_route_pair_entry_execution_gap.json","fields":["rootTableDirectRefContext","routePairEntryExecutionProven","correctedTraceNormalSelectionGapFound","remainingProofs"]}],"evidenceRefCount":11,"remainingProofs":["prove selected-root execution reaches current selector 2:0 on the normal route path","decode the higher-level table/index path that selects entries 6/8 or negative entry -12","prove wrapper 0x00542a04 executes into frontier leaf 0x00542ae8 in normal route execution","find a strict map1_01a source coordinate or hotspot linked to map2_02d"],"conclusion":"Current selector 2:0 contains route-pair descriptors and corrected traces from entries 6 and 8 reach the frontier reader, but this is still table/control-flow shape rather than execution proof. The reader-bearing wrapper lives at negative entry -12 before the current root table pointer, opcode 0x07 does not select the wrapper, leaf table window, negative entry, frontier leaf, or reader, source/predecessor opcode 0x08/0x09 rows do not produce the current selector root/range, and no runtime selected-root proof or strict source hotspot is present. The global leaf-table scan also keeps the frontier reader-bearing leaf negative-only, so entries 6 and 8 remain corrected-trace candidates rather than normal-selection proof; this contradiction is tracked as a separate corrected-trace normal-selection gap. The constructed selector 2:0 diagnostic is also excluded from wrapper proof because its left-route hit is not reproduced and the active-order recheck stays at a zero count."}