{"source":"map1_01a","target":"map2_02d","sourceSelector":"0:0","predecessorSelector":"1:0","currentSelector":"2:0","currentRootHex":"0x00540714","currentEqualsPredecessorPlusSource":true,"sourcePredecessorUnionCoversCurrent":true,"sourcePredecessorUnionExtraMaps":["map1_02b"],"shapeOverIncludesExtraMaps":true,"routePairOnlyCurrentSelector":true,"currentExactPairUnionCount":0,"currentCoveringPairUnionCount":1,"globalExactPairUnionCount":5,"mergeShapeOnly":true,"sourceToCurrentBridgeHitCount":0,"currentToSourceBridgeHitCount":0,"predecessorToCurrentHitCount":0,"forwardMergeBridgeHitCount":0,"forwardEncodedAnchorRawScalarCandidateCount":3,"forwardEncodedAnchorPromotingCandidateCount":0,"encodedMergeExecutionBridgeFound":false,"forwardBridgeAbsent":true,"currentToPredecessorHitCount":51,"currentToPredecessorBeforeFillHitCount":51,"currentToPredecessorFillSiteHitCount":0,"reverseReuseBeforeFillOnly":true,"targetAliasSelectors":["1:0","10:0","17:0"],"targetAliasPublicCoveredForwardHitSelectors":[],"targetAliasAddressAdjacentForwardHitSelectors":["10:0"],"targetAliasForwardHitPublicSampleCount":0,"targetAliasForwardHitsAddressAdjacentOnly":true,"targetAliasExecutionExclusionStatus":"address-adjacent-alias-data-only","targetAliasToCurrentExecutionLikeBridgeFound":false,"routeRootsTableOnly":true,"routeRootTextRefs":false,"routeRootRefsPredecessorToCurrentRootRefFound":false,"routeRootRefsSourceTargetSplitAcrossPreviousSelectors":true,"predecessorBridgeForwardExecutionBridgeFound":false,"selectedRootExecutionRefFound":false,"anyRuntimePollReachedRouteSelector":false,"constructedDiagnosticPollReachedRouteSelector":true,"constructedDiagnosticExcludedFromProof":true,"predecessorFillOpcode10ProofFound":false,"predecessorFillOpcode10HelperOnlyDirectCallInsideOpcode10Handler":true,"predecessorFillOpcode10DirectFillSiteTextRefCount":0,"predecessorFillOpcode10RuntimeObservedAllZero":true,"predecessorFillOpcode10BranchStatePollSampleCount":46919,"predecessorFillOpcode10BranchStatePollFillMatchCount":0,"routeOrderProven":false,"predecessorPersistenceProven":false,"predecessorPersistenceGapSelectorMergeGapOpen":true,"strictSourceCoordinateFound":false,"tileHotspotConfirmed":false,"selectorMergeExecutionProofFound":false,"selectorMergeRuntimeProofFound":false,"selectorMergeClosureProofFound":false,"proofFound":false,"failedSelectorMergeGateIds":["selector-merge-execution-proof","selected-root-runtime-execution","predecessor-fill-route-order-proof","strict-source-hotspot"],"missingEvidence":["source/predecessor forward bridge or execution-like selector merge bridge into selector 2:0","real selected-root runtime execution for 0x00540714","observed predecessor opcode 0x10 fill context and route-order proof","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_merge_runtime_context.json","fields":["selectorMergeRuntimeProofFound","proofFound","failedSelectorMergeRuntimeGateIds","missingEvidence","evidenceRefCount"]},{"path":"out/save_selector_set_decomposition.json","fields":["currentEqualsPredecessorPlusSource","sourcePredecessorUnionCoversCurrent","sourcePredecessorUnionExtraMaps","proofFound"]},{"path":"out/save_selector_recomposition_lattice.json","fields":["current","routePairOnlyCurrentSelector","exactPairUnionCount"]},{"path":"out/save_selector_target_alias_bridges.json","fields":["targetAliasSelectors","publicCoveredForwardHitSelectors","addressAdjacentForwardHitSelectors","forwardHitsAddressAdjacentOnly","targetAliasExecutionExclusionStatus"]},{"path":"out/save_selector_route_root_ref_context.json","fields":["allRouteSelectorRootsTableOnly","predecessorToCurrentRootRefFound","sourceTargetSplitAcrossPreviousSelectors"]},{"path":"out/save_selector_predecessor_bridge_refs.json","fields":["forwardExecutionBridgeFound","forwardBridgeRows","promotionStatus"]},{"path":"out/save_selector_selected_root_execution_gap.json","fields":["selectedRootExecutionRefFound","runtimeProbeGate","diagnosticExclusionGate","proofFound"]},{"path":"out/save_selector_predecessor_fill_opcode10_context.json","fields":["proofFound","failedPredecessorFillOpcode10GateIds","missingEvidence","evidenceRefCount","runtimeObservedAllZero","branchStatePollFillMatchCount"]},{"path":"out/save_selector_predecessor_persistence_gap.json","fields":["routeOrderProven","persistenceProven","selectorMergeGapOpen","promotionStatus"]}],"evidenceRefCount":10,"predecessorPersistenceUsableForCurrent":false,"selectorMergeGapOpen":true,"promotionStatus":"blocked","evidence":[{"kind":"shape-closure","status":"shape-only-overinclusive","detail":"currentEqualsPredecessorPlusSource=True; unionCoversCurrent=True; extra=map1_02b; routePairOnlyCurrent=True; exactCurrentPairUnions=0; coveringCurrentPairUnions=1; globalExactPairUnions=5"},{"kind":"forward-closure","status":"no-forward-bridge","detail":"sourceToCurrent=0; predecessorToCurrent=0; forwardMergeBridge=0; encodedRaw=3; encodedPromoting=0; encodedMerge=False"},{"kind":"reverse-closure","status":"reverse-reuse-before-fill-only","detail":"currentToPredecessor=51; beforeFill=51; fillSite=0"},{"kind":"alias-closure","status":"address-adjacent-data-only","detail":"targetAliases=1:0,10:0,17:0; publicForward=-; addressAdjacentForward=10:0; publicSamples=0; executionLike=False; exclusion=address-adjacent-alias-data-only"},{"kind":"route-root-closure","status":"table-only","detail":"allTableOnly=True; textRefs=False; predecessorToCurrentRootRef=False; sourceTargetSplitAcrossPrevious=True"},{"kind":"selected-root-runtime","status":"real-route-not-observed","detail":"selectedRootExecutionRefFound=False; anyRuntimePollRoute=False; constructedDiagnosticRoute=True; diagnosticExcluded=True"},{"kind":"predecessor-fill-closure","status":"opcode10-context-nonpromoting","detail":"opcodeHandler=0x0040b49e; helperOpcode10Only=True; directFillRefs=0; runtimeAllZero=True; fillMatches=0; proof=False"},{"kind":"route-order-closure","status":"route-order-unproven","detail":"routeOrderProven=False; persistenceProven=False; selectorMergeGapOpen=True"},{"kind":"strict-hotspot","status":"missing","detail":"strictSource=False; tileHotspot=False"}],"remainingProofs":["prove a source/predecessor forward bridge into selector 2:0","capture real selected-root runtime execution for 0x00540714","turn predecessor opcode 0x10 fill context into an observed route-order proof","find strict map1_01a source coordinate or tile hotspot evidence"],"conclusion":"Selector 2:0 can be explained as a source/predecessor set recomposition, but the closure remains shape-only: the union over-includes map1_02b, there is no source/predecessor forward bridge into 2:0, reverse hits are before-fill reuse, target-alias hits are address-adjacent data only, route-root refs are table-only, and runtime evidence still lacks a real selected-root route observation."}