{"source":"map1_01a","target":"map2_02d","selector":"2:0","rootHex":"0x00540714","rootTablePointerHex":"0x005429dc","frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","routePairEntryIndices":[6,8],"routePairCorrectedTraceEntryIndices":[6,8],"negativeReaderEntryIndices":[-12],"routePairCurrentEntryCount":2,"routePairCorrectedTraceReachesReaderCount":2,"routePairCorrectedReaderGrounded":true,"globalSelectorTableCount":35,"globalFieldEntryRowCount":261,"globalNegativeFieldEntryRowCount":136,"globalNonNegativeFieldEntryRowCount":125,"globalCurrentSelectorRoutePairIndices":[-13,-12,6,8],"globalCurrentSelectorNegativeRoutePairRowCount":2,"globalCurrentSelectorNonNegativeRoutePairRowCount":2,"globalCurrentFrontierLeafOnlyNegative":true,"frontierReaderSelectableByNonNegativeIndex":false,"frontierReaderReachableByCorrectedNonNegativeIndex":true,"correctedTraceNormalSelectionGapFound":true,"correctedTraceNormalSelectionGapStatus":"corrected-trace-not-normal-selection-proof","opcode07DirectEntrySelectionAbsent":true,"opcode07SelectedLeafTableWindowSlotCount":0,"opcode07SelectedNegativeRootEntrySlotCount":0,"opcode07SelectedCurrentRootEntrySlotCount":0,"opcode07SelectedWrapperEntrySlotCount":0,"opcode07DirectFrontierTargetCount":0,"opcode08SourceOrPredecessorActivatorCount":162,"opcode08SourceOrPredecessorCurrentRootProducerCount":0,"opcode08SourceOrPredecessorCurrentRangeProducerCount":0,"opcode08CurrentInternalCurrentRangeProducerCount":24,"opcode08SelectorBucketRows":[{"selector":"0:0","role":"source-side confirmed selector","rangeHex":"0x00501808..0x00503570","activationCount":31,"nearestCurrentRootProducerCount":0,"nearestCurrentRangeProducerCount":0,"nearestOwnRangeProducerCount":9,"nearestScriptScalarProducerCount":21,"nearestUnreadableProducerCount":1,"nearestNoLocalProducerCount":0},{"selector":"1:0","role":"target-side predecessor selector","rangeHex":"0x00478364..0x0048458c","activationCount":131,"nearestCurrentRootProducerCount":0,"nearestCurrentRangeProducerCount":0,"nearestOwnRangeProducerCount":15,"nearestScriptScalarProducerCount":86,"nearestUnreadableProducerCount":30,"nearestNoLocalProducerCount":0},{"selector":"2:0","role":"current merge/frontier selector","rangeHex":"0x00540714..0x00543578","activationCount":67,"nearestCurrentRootProducerCount":0,"nearestCurrentRangeProducerCount":24,"nearestOwnRangeProducerCount":24,"nearestScriptScalarProducerCount":39,"nearestUnreadableProducerCount":4,"nearestNoLocalProducerCount":0}],"opcode08SourcePredecessorBucketSummary":"0:0:op8=31,currentRootRange=0/0,own=9,script=21,unreadable=1;1:0:op8=131,currentRootRange=0/0,own=15,script=86,unreadable=30","opcode08CurrentSelectorContrastSummary":"2:0:op8=67,currentRootRange=0/24,own=24,script=39,unreadable=4","opcode08ActivationPromotesRoute":false,"opcode09SourceOrPredecessorCurrentRangeStoreCount":0,"opcode09SourceOrPredecessorSupportedOpcode09RowCount":12,"opcode09SourceOrPredecessorUnsupportedModeOpcode09RowCount":5,"opcode09SourceOrPredecessorUnsupportedModesHex":["0x6c","0xfe"],"opcode09SourceOrPredecessorUnsupportedModePointerCollisionCount":5,"opcode09SourceOrPredecessorPointerCollisionRowCount":5,"opcode09ActivationLinkedPointerCollisionCount":13,"opcode09SourcePredecessorPointerCollisionRows":[{"selector":"1:0","vaHex":"0x0047da5c","valueHex":"0x00476c09","valueSection":".data","modeHex":"0x6c","storedPointerSource":"unsupported-mode","modeSupportedByHandler":false,"unsupportedModeReturnsWithoutStore":true,"pointerCollision":true,"classification":"pointer-shaped low-byte collision"},{"selector":"1:0","vaHex":"0x0047dad4","valueHex":"0x00476c09","valueSection":".data","modeHex":"0x6c","storedPointerSource":"unsupported-mode","modeSupportedByHandler":false,"unsupportedModeReturnsWithoutStore":true,"pointerCollision":true,"classification":"pointer-shaped low-byte collision"},{"selector":"1:0","vaHex":"0x0047dbcc","valueHex":"0x00476c09","valueSection":".data","modeHex":"0x6c","storedPointerSource":"unsupported-mode","modeSupportedByHandler":false,"unsupportedModeReturnsWithoutStore":true,"pointerCollision":true,"classification":"pointer-shaped low-byte collision"},{"selector":"1:0","vaHex":"0x0047dc88","valueHex":"0x00476c09","valueSection":".data","modeHex":"0x6c","storedPointerSource":"unsupported-mode","modeSupportedByHandler":false,"unsupportedModeReturnsWithoutStore":true,"pointerCollision":true,"classification":"pointer-shaped low-byte collision"},{"selector":"1:0","vaHex":"0x0047f2ac","valueHex":"0x0041fe09","valueSection":".text","modeHex":"0xfe","storedPointerSource":"unsupported-mode","modeSupportedByHandler":false,"unsupportedModeReturnsWithoutStore":true,"pointerCollision":true,"classification":"pointer-shaped low-byte collision"}],"opcode09SourcePredecessorPointerCollisionSummary":"1:0@0x0047da5c=0x00476c09/0x6c/.data;1:0@0x0047dad4=0x00476c09/0x6c/.data;1:0@0x0047dbcc=0x00476c09/0x6c/.data;1:0@0x0047dc88=0x00476c09/0x6c/.data;1:0@0x0047f2ac=0x0041fe09/0xfe/.text","opcode09PointerCollisionPromotesRoute":false,"sourceOrPredecessorCurrentProducerCount":0,"routePairIndexSourceRouteEntryIndices":[-13,-12,6,8],"routePairIndexSourceEntryPointerRefCount":3,"routePairIndexSourceEntryPointerTextRefCount":0,"routePairIndexSourceEntryPointerPromotingRefCount":0,"routePairIndexSourceEncodedEntryAnchorRawScalarCandidateCount":3,"routePairIndexSourceEncodedEntryAnchorBranchAttachedEncodedFieldCount":0,"routePairIndexSourceEncodedEntryAnchorModeledControlFlowCandidateCount":0,"routePairIndexSourceEncodedEntryAnchorPromotingCandidateCount":0,"routePairIndexSourceEncodedEntryAnchorClassification":"raw-encoded-entry-anchor-scalars-nonpromoting","routePairIndexSourceEntryPointerOpcode5aFallthroughRefCount":3,"routePairIndexSourceEntryPointerFallthroughNonCodeRefCount":3,"routePairIndexSourceNonNegativeEntryPointerPromotingRefCount":0,"routePairIndexSourceNegativeReaderEntryPointerPromotingRefCount":0,"routePairIndexSourceEntryPointerFallthroughHandlerSummaries":["0x005429ac/0xac->0x00000003/-","0x005429f4/0xf4->0x00000004/-","0x005429fc/0xfc->0x004409b8/.data"],"routePairIndexSourceDescriptorRefsOnlyTableCells":true,"routePairIndexSourceChildRefsOnlyDescriptorChildWords":true,"routePairIndexSourceHigherLevelIndexSourceProven":false,"routePairIndexSourceProofFound":false,"routePairIndexSourceFailedGateIds":["direct-entry-pointer-source","encoded-entry-anchor-control-flow","nonnegative-entry-index-source","negative-wrapper-index-source"],"routePairIndexSourceMissingEvidence":["code-backed direct entry-pointer source for route-pair entries 6/8 or wrapper entry -12","modeled encoded entry-anchor control-flow candidate for route-pair entries 6/8","non-direct higher-level selector/table index source selecting entries 6 or 8","normal runtime selection of negative -12 wrapper entry"],"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"}]},"rootTableWindowDirectRefCount":14,"rootTableWindowDirectTextRefCount":0,"rootTableWindowDirectRefSectionCounts":{".data":14},"rootTableRouteEntryAddressTextRefCount":0,"rootTableRouteLeafValueTextRefCount":0,"rootTableFrontierLeafValueTextRefCount":0,"rootTableFrontierReaderValueTextRefCount":0,"rootTableFrontierReaderValueRefCount":0,"wrapperEntryHex":"0x005429ac","wrapperDescriptorHex":"0x00542a04","wrapperChildPointerHex":"0x00542ae8","wrapperRefBeforeCurrentRoot":true,"currentRootReferencesWrapper":false,"wrapperEntryRefCount":1,"wrapperEntryCurrentRootRangeRefCount":1,"wrapperEntryCurrentRootEntryRunRefCount":0,"wrapperEntryOpcode5aFallthroughRefCount":1,"wrapperEntryFallthroughNonCodeRefCount":1,"wrapperEntryFallthroughHandlerSummaries":["0x005429ac/0xac->0x00000003/-"],"wrapperEntryOnlyRefIsOpcode5aFallthrough":true,"wrapperEntryPromotingRefCount":0,"wrapperExecutionProofFound":false,"selectedRootExecutionRefFound":false,"selectedRootRuntimeSummary":{"pollSampleCount":1550,"pollObservedSelectors":["8:0"],"routeWatchPollSampleCount":1123,"routeWatchPollObservedSelectors":["8:0","50:0"],"routeWatchPollValues":"opcode24Mode1Source=0x00x1123; opcode24CurrentObjectIndex=0x00x1123; opcode24RuntimeFlag=0x00x783,0x01x340","predecessorDirectionSweepPollSampleCount":3380,"predecessorDirectionSweepPollObservedSelectors":["50:0","19:1","1:0"],"predecessorDirectionSweepPollReachedRouteSelector":false,"predecessorLeftOverrunActivationSweepPollSampleCount":2299,"predecessorLeftOverrunActivationSweepPollObservedSelectors":["50:0","19:1","1:0"],"predecessorLeftOverrunActivationSweepPollReachedRouteSelector":false,"patchedPublicSelector20PollSampleCount":375,"patchedPublicSelector20PollObservedSelectors":["2:0","10:0"],"constructedDiagnosticPollReachedRouteSelector":true,"diagnosticExcludedFromSelectedRootExecutionProof":true,"diagnosticFollowupSelector":"10:0","diagnosticBridgeExecutionLike":false},"routePairEntryExecutionProven":false,"proofFound":false,"failedRoutePairEntryGateIds":["selected-root-execution","route-pair-index-source","source-predecessor-current-producer","wrapper-entry-execution","strict-hotspot"],"missingEvidence":["selected-root execution reaches selector 2:0 on the normal route path","higher-level selector/table index source selects route-pair entries 6 or 8","source/predecessor opcode 0x08 or 0x09 producer for the current root/range","wrapper entry -12 executes into 0x00542ae8 on the normal route path","strict map1_01a source coordinate or hotspot linked to map2_02d"],"entrySelectionGapOpen":true,"strictHotspotFound":false,"promotionStatus":"blocked","routePairEntryRows":[{"rootRelativeIndex":6,"entryVaHex":"0x005429f4","insideCurrentRootEntryRun":true,"descriptorHex":"0x00542ac0","childPointerHex":"0x00542e10","descriptorFieldMaps":["map1_01a","map2_02d"],"descriptorNestedFieldMaps":["map2_15j"],"childFieldMaps":[],"descriptorHasRoutePair":true,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":true,"correctedDescriptorFrontierReaderStep":17,"effectiveDescriptorTraceContainsFrontierReader":true},{"rootRelativeIndex":8,"entryVaHex":"0x005429fc","insideCurrentRootEntryRun":true,"descriptorHex":"0x00542ad4","childPointerHex":"0x00542e48","descriptorFieldMaps":["map1_01a","map2_02d"],"descriptorNestedFieldMaps":["map2_16j"],"childFieldMaps":[],"descriptorHasRoutePair":true,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":true,"correctedDescriptorFrontierReaderStep":12,"effectiveDescriptorTraceContainsFrontierReader":true}],"negativeReaderRows":[{"rootRelativeIndex":-12,"entryVaHex":"0x005429ac","insideCurrentRootEntryRun":false,"descriptorHex":"0x00542a04","childPointerHex":"0x00542ae8","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":["map1_01a","map2_02d","map2_18d"],"descriptorHasRoutePair":false,"childHasRoutePair":true,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":true,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false}],"evidenceRows":[{"kind":"route-pair-current-entries","status":"corrected-reader-trace-only","detail":"indices=6,8; corrected=6,8; readerReachableByCorrectedNonNegativeIndex=True"},{"kind":"negative-wrapper-reader","status":"outside-current-root-run","detail":"indices=-12; wrapperEntry=0x005429ac; wrapper=0x00542a04; child=0x00542ae8; entryRunRefs=0; opcode5aFallthroughRefs=1; fallthroughNonCodeRefs=1; fallthroughHandlers=0x005429ac/0xac->0x00000003/-"},{"kind":"route-entry-pointer-source-refs","status":"non-promoting-fallthrough-only","detail":"routeEntryIdx=-13,-12,6,8; entryRefs=3; textRefs=0; promotingRefs=0; opcode5aFallthroughRefs=3; fallthroughNonCodeRefs=3; nonNegPromoting=0; negativeReaderPromoting=0; encodedRaw=3; encodedBranch=0; encodedModeled=0; encodedPromoting=0; encodedClass=raw-encoded-entry-anchor-scalars-nonpromoting; handlers=0x005429ac/0xac->0x00000003/-,0x005429f4/0xf4->0x00000004/-,0x005429fc/0xfc->0x004409b8/.data; descriptorTableOnly=True; childDescriptorWordOnly=True"},{"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":"opcode07-direct-entry-selection","status":"absent","detail":"rowCount=33; indexMode=zero-extended-u8; leafWindow=0; negative=0; current=0; wrapper=0; directFrontier=0"},{"kind":"opcode08-activation-window","status":"source-predecessor-current-producer-absent","detail":"sourcePredecessorActivators=162; currentRoot=0; currentRange=0; ownRange=24; scriptScalar=107; currentInternalRange=24; sourcePredBuckets=0:0:op8=31,currentRootRange=0/0,own=9,script=21,unreadable=1;1:0:op8=131,currentRootRange=0/0,own=15,script=86,unreadable=30; currentContrast=2:0:op8=67,currentRootRange=0/24,own=24,script=39,unreadable=4; promotes=False"},{"kind":"opcode09-selected-pointer-store","status":"source-predecessor-current-store-absent","detail":"sourcePredecessorRows=17; supported=12; unsupported=5; unsupportedModes=0x6c,0xfe; pointerCollisions=5; currentRangeStores=0; activationLinkedCollisions=13; collisionRows=1:0@0x0047da5c=0x00476c09/0x6c/.data;1:0@0x0047dad4=0x00476c09/0x6c/.data;1:0@0x0047dbcc=0x00476c09/0x6c/.data;1:0@0x0047dc88=0x00476c09/0x6c/.data;1:0@0x0047f2ac=0x0041fe09/0xfe/.text; promotes=False"},{"kind":"corrected-trace-normal-selection-gap","status":"corrected-trace-not-normal-selection-proof","detail":"correctedReaderGrounded=True; nonNegativeSelectable=False; nonNegativeCorrectedReachable=True; frontierLeafNegativeOnly=True; opcode07DirectAbsent=True; sourcePredCurrentProducers=0; wrapperExec=False; selectedRootRef=False"},{"kind":"selected-root-execution","status":"missing","detail":"selectedRootExecutionRefFound=False; currentRoot=0x00540714; selectedPointerGlobal=0x0059de30; promotion=blocked"},{"kind":"strict-hotspot","status":"missing","detail":"leafIndexStrict=False; frontierStrict=False; frontierClusterClass=current frontier selector-only cluster"}],"evidenceRefs":[{"path":"out/save_selector_leaf_index_space.json","fields":["routeRelevantRows","routePairCurrentDescriptorIndices","routePairCorrectedTraceDescriptorIndices","readerBearingNegativeIndices","frontierReaderSelectableByNonNegativeIndex","frontierReaderReachableByCorrectedNonNegativeIndex"]},{"path":"out/save_selector_leaf_table_global_context.json","fields":["selectorTableCount","fieldEntryRowCount","currentSelectorRoutePairIndices","currentFrontierLeafOnlyNegative"]},{"path":"out/save_selector_opcode08_activation_windows.json","fields":["sourceOrPredecessorOpcode08ActivatorCount","sourceOrPredecessorCurrentRootProducerCount","sourceOrPredecessorCurrentRangeProducerCount","currentInternalCurrentRangeProducerCount","contextWindows"]},{"path":"out/save_selector_opcode07_indexed_pointers.json","fields":["opcode07IndexMode","rowCount","selectedLeafTableWindowSlotCount","selectedNegativeRootEntrySlotCount","selectedCurrentRootEntrySlotCount","selectedWrapperEntrySlotCount","directFrontierTargetCount"]},{"path":"out/save_selector_opcode09_pointer_collisions.json","fields":["sourceOrPredecessorOpcode09RowCount","sourceOrPredecessorSupportedOpcode09RowCount","sourceOrPredecessorUnsupportedModeOpcode09RowCount","sourceOrPredecessorCurrentRangeStoreCount","rows"]},{"path":"out/save_selector_wrapper_descriptor_context.json","fields":["wrapperEntryHex","wrapperDescriptorHex","wrapperChildPointerHex","wrapperRefBeforeCurrentRoot","wrapperEntryRefs","wrapperEntryPromotingRefCount"]},{"path":"out/save_selector_selected_root_execution_gap.json","fields":["selectedRootExecutionRefFound","currentRootHex","selectedPointerGlobalHex","runtimeProbeGate","diagnosticExclusionGate","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_current_root_frontier_paths.json","fields":["strictHotspotFound","frontierClusterClass","frontierClusterEventCount","frontierClusterSelectorRefCount"]},{"path":"out/save_selector_route_pair_index_source_gap.json","fields":["routeEntryIndices","entryPointerRefCount","entryPointerTextRefCount","entryPointerPromotingRefCount","encodedEntryAnchorRawScalarCandidateCount","encodedEntryAnchorPromotingCandidateCount","higherLevelIndexSourceProven"]},{"path":"out/save_selector_leaf_table_context.json","fields":["selector","rootHex","rootTablePointerHex","tableWindowHex","frontierLeafHex","frontierReaderHex"]}],"evidenceRefCount":10,"remainingProofs":["prove selected-root execution reaches selector 2:0 on the normal route path","prove a higher-level selector/table index selects entry 6 or 8","or prove wrapper entry -12 executes into 0x00542ae8 on the normal route path","find a strict map1_01a source coordinate or hotspot linked to map2_02d"],"conclusion":"Selector 2:0 has current-root route-pair entries 6 and 8, and opcode 0x2c-corrected traces from both entries reach reader 0x00542b0c. This still does not prove normal route execution chooses those entries: opcode 0x07 has no direct entry selection, source/predecessor opcode 0x08 and 0x09 windows do not produce the current root/range, explicit entry-pointer refs to -12/6/8 are non-code opcode 0x5a fallthrough words, the negative wrapper entry -12 is outside the current root run, the reader is corrected-reachable but not selectable by a non-negative index, and selected-root runtime proof remains absent."}