{"source":"map1_01a","target":"map2_02d","sourceSelector":"0:0","predecessorSelector":"1:0","currentSelector":"2:0","currentRootHex":"0x00540714","currentEqualsPredecessorPlusSource":true,"sourcePredecessorUnionCoversCurrent":true,"sourcePredecessorUnionExtraMaps":["map1_02b"],"routePairOnlyCurrentSelector":true,"currentExactPairUnionCount":0,"sourceToCurrentBridgeHitCount":0,"predecessorToCurrentHitCount":0,"forwardMergeBridgeHitCount":0,"forwardEncodedAnchorRawScalarCandidateCount":3,"forwardEncodedAnchorPromotingCandidateCount":0,"encodedMergeExecutionBridgeFound":false,"targetAliasPublicCoveredForwardHitSelectors":[],"targetAliasForwardHitPublicSampleCount":0,"targetAliasAddressAdjacentForwardHitSelectors":["10:0"],"targetAliasForwardHitsAddressAdjacentOnly":true,"targetAliasPublicForwardHitCoverageStatus":"uncovered-address-adjacent-only","targetAliasExecutionExclusionStatus":"address-adjacent-alias-data-only","currentToPredecessorHitCount":51,"currentToPredecessorBeforeFillHitCount":51,"currentToPredecessorFillSiteHitCount":0,"mergeShapeOnly":true,"forwardBridgeAbsent":true,"reverseReuseBeforeFillOnly":true,"selectedRootExecutionRefFound":false,"anyRuntimePollReachedRouteSelector":false,"constructedDiagnosticPollReachedRouteSelector":true,"constructedDiagnosticExcludedFromProof":true,"predecessorFillSiteExecutionContextProven":false,"predecessorBranchStatePollSampleCount":46919,"predecessorBranchStatePollFillMatchCount":0,"routePairEntryExecutionProven":false,"routePairCorrectedTraceReachesReaderCount":2,"strictSourceCoordinateFound":false,"tileHotspotConfirmed":false,"selectorMergeExecutionProofFound":false,"selectorMergeRuntimeProofFound":false,"proofFound":false,"failedSelectorMergeRuntimeGateIds":["selector-merge-execution-proof","selected-root-runtime-execution","predecessor-fill-runtime-proof","route-pair-entry-execution","strict-source-hotspot"],"missingEvidence":["source/predecessor selector-merge execution proof into selector 2:0","non-diagnostic selected-root runtime execution for 0x00540714","observed predecessor fill-state on the route path before the current reader","route-pair entry execution that reaches the current reader on a normal path","strict map1_01a source coordinate or tile hotspot evidence"],"evidenceRefs":[{"path":"out/save_selector_merge_execution_gap.json","fields":["selectorMergeExecutionProofFound","proofFound","failedSelectorMergeExecutionGateIds","missingEvidence","evidenceRefCount"]},{"path":"out/save_selector_predecessor_fill_site_execution_context.json","fields":["fillSiteExecutionContextProven","branchStatePollSampleCount","branchStatePollFillMatchCount","proofFound","failedPredecessorFillGateIds"]},{"path":"out/save_selector_selected_root_execution_gap.json","fields":["selectedRootExecutionRefFound","runtimeProbeGate","diagnosticExclusionGate","proofFound"]},{"path":"out/save_selector_route_pair_entry_execution_gap.json","fields":["routePairEntryExecutionProven","routePairCorrectedTraceReachesReaderCount","sourceOrPredecessorCurrentProducerCount","proofFound"]},{"path":"out/map1_01a_strict_hotspot_review_matrix.json","fields":["strictSourceCoordinateFound","tileHotspotConfirmed","transitionReviewRowCount","eventTransitionCount","candidateCount"]}],"evidenceRefCount":5,"selectorMergeGapOpen":true,"promotionStatus":"blocked","evidence":[{"kind":"merge-shape","status":"shape-only","detail":"currentEqualsPredecessorPlusSource=True; unionCoversCurrent=True; extra=map1_02b; routePairOnlyCurrent=True"},{"kind":"forward-bridge","status":"absent","detail":"sourceToCurrent=0; predecessorToCurrent=0; forwardMergeBridge=0; encodedRaw=3; encodedPromoting=0; encodedMerge=False; aliasPublicForward=-; aliasAddressAdjacentForward=10:0; aliasCoverage=uncovered-address-adjacent-only; aliasExclusion=address-adjacent-alias-data-only"},{"kind":"reverse-reuse","status":"before-fill-only","detail":"currentToPredecessor=51; beforeFill=51; fillSite=0"},{"kind":"selected-root-runtime","status":"diagnostic-excluded","detail":"selectedRootRef=False; anyPollRoute=False; patchedRoute=True; diagnosticExcluded=True; followup=10:0"},{"kind":"predecessor-fill-runtime","status":"public-predecessor-fill-not-observed","detail":"branchPolls=8; samples=46919; publicHits=6; fillMatches=0; contextProof=False"},{"kind":"route-pair-entry-execution","status":"reader-shaped-not-executed","detail":"entryIdx=[6, 8]; correctedReader=2; sourcePredCurrentProducers=0; entryExec=False"},{"kind":"strict-hotspot","status":"missing","detail":"strictSource=False; tileHotspot=False; routeReviews=0; strictEvents=0; candidates=4"}],"remainingProofs":["prove a source/predecessor forward bridge into selector 2:0","capture selected-root execution for 0x00540714 on a non-diagnostic path","observe predecessor fill-state on the route path before the current reader","find strict map1_01a source coordinate or tile hotspot evidence"],"conclusion":"Selector 2:0 remains a merge-shaped runtime gap. It combines the predecessor 1:0 map set with map1_01a and is the only selector carrying the route pair, but no source/predecessor forward bridge, selected-root execution ref, predecessor fill observation, or strict hotspot proves that the merged selector executes on the normal route."}