{"source":"map1_01a","target":"map2_02d","sourceSelector":"0:0","sourceRootHex":"0x00501808","predecessorSelector":"1:0","predecessorRootHex":"0x00478364","currentSelector":"2:0","currentRootHex":"0x00540714","currentEqualsPredecessorPlusSource":true,"currentEqualsSourcePredecessorUnion":false,"sourcePredecessorUnionCoversCurrent":true,"sourcePredecessorUnionExtraMaps":["map1_02b"],"routePairOnlyCurrentSelector":true,"routePairSelectorCount":1,"currentExactPairUnionCount":0,"currentCoveringPairUnionCount":1,"globalExactPairUnionCount":5,"oneMapAugmentationCount":2,"sourceToCurrentBridgeHitCount":0,"currentToSourceBridgeHitCount":0,"predecessorToCurrentHitCount":0,"currentToPredecessorHitCount":51,"currentToPredecessorBeforeFillHitCount":51,"currentToPredecessorFillSiteHitCount":0,"forwardMergeBridgeHitCount":0,"directMergeExecutionBridgeFound":false,"forwardEncodedAnchorRawScalarCandidateCount":3,"forwardEncodedAnchorPromotingCandidateCount":0,"encodedMergeExecutionBridgeFound":false,"targetAliasSelectors":["1:0","10:0","17:0"],"targetAliasToCurrentHitCount":75,"targetAliasToCurrentMetadataHitCount":1,"targetAliasToCurrentDataHitCount":74,"targetAliasToCurrentPromotingMetadataHitCount":1,"targetAliasToCurrentPromotingDataHitCount":0,"targetAliasToCurrentPromotingExactMetadataOnly":true,"targetAliasToCurrentAfterLastFillHitCount":74,"targetAliasForwardHitSelectors":["10:0"],"targetAliasForwardDataSelectors":["10:0"],"targetAliasAfterLastFillDataSelectors":["10:0"],"targetAliasDominantDataSelectors":["10:0"],"targetAliasPublicCoveredSelectors":[],"targetAliasPublicCoveredForwardHitSelectors":[],"targetAliasPublicCoveredForwardHitAliasCount":0,"targetAliasForwardHitPublicSampleCount":0,"targetAliasAddressAdjacentForwardHitSelectors":["10:0"],"targetAliasForwardHitsAddressAdjacentOnly":true,"targetAliasPublicForwardHitCoverageStatus":"uncovered-address-adjacent-only","targetAliasExecutionExclusionStatus":"address-adjacent-alias-data-only","targetAliasExecutionExclusionDetail":"public-covered aliases have no forward hits; all forward/data/tail-data hits come from 10:0, with exact current-root promotion limited to selector-row metadata and no writer/reader/scene-record trace hits","targetAliasBridgeSummaryRows":[{"selector":"1:0","role":"logical target-side predecessor","rootHex":"0x00478364","rootRangeHex":"0x00478364..0x0048458c","fillCount":2,"publicSampleIds":[],"aliasToCurrentHitCount":0,"aliasToCurrentMetadataHitCount":0,"aliasToCurrentDataHitCount":0,"aliasToCurrentPromotingDataHitCount":0,"aliasToCurrentPromotingMetadataHitCount":0,"aliasToCurrentReaderOrSceneRecordHitCount":0,"aliasToCurrentTargetClassCounts":{},"aliasToCurrentLeafTableHitCount":0,"aliasToCurrentLeafTableRoutePairHitCount":0,"aliasToCurrentLeafTableCorrectedReaderHitCount":0,"aliasToCurrentLeafTableEffectiveReaderHitCount":0,"aliasToCurrentPreWriterUniqueTargetCount":0,"aliasToCurrentPreWriterTraceCurrentWriterHitCount":0,"aliasToCurrentPreWriterTraceCurrentReaderHitCount":0,"aliasToCurrentPreWriterTraceRouteSceneRecordHitCount":0,"aliasToCurrentAfterLastFillHitCount":0,"aliasToCurrentAfterLastFillMetadataHitCount":0,"aliasToCurrentAfterLastFillDataHitCount":0,"aliasToCurrentAfterLastFillTargetClassCounts":{},"aliasToCurrentAfterLastFillPreWriterHitCount":0,"aliasToCurrentAfterLastFillLeafTableHitCount":0,"aliasToCurrentAfterLastFillLeafTableCorrectedReaderHitCount":0,"aliasToCurrentAfterLastFillLeafTableEffectiveReaderHitCount":0,"aliasToCurrentAfterLastFillReaderOrSceneRecordHitCount":0,"aliasToCurrentAfterLastFillPreWriterUniqueTargetCount":0,"aliasToCurrentAfterLastFillTraceCurrentWriterHitCount":0,"aliasToCurrentAfterLastFillTraceCurrentReaderHitCount":0,"aliasToCurrentAfterLastFillTraceRouteSceneRecordHitCount":0,"aliasToCurrentExecutionLikeBridgeFound":false,"aliasToCurrentAfterLastFillExecutionLikeBridgeFound":false,"currentToAliasHitCount":51},{"selector":"10:0","role":"address-adjacent target-side predecessor","rootHex":"0x0053c4a4","rootRangeHex":"0x0053c4a4..0x00540714","fillCount":25,"publicSampleIds":[],"aliasToCurrentHitCount":75,"aliasToCurrentMetadataHitCount":1,"aliasToCurrentDataHitCount":74,"aliasToCurrentPromotingDataHitCount":0,"aliasToCurrentPromotingMetadataHitCount":1,"aliasToCurrentReaderOrSceneRecordHitCount":0,"aliasToCurrentTargetClassCounts":{"selector-row-metadata":1,"pre-writer-script-range":65,"leaf-table-window":9},"aliasToCurrentLeafTableHitCount":9,"aliasToCurrentLeafTableRoutePairHitCount":2,"aliasToCurrentLeafTableCorrectedReaderHitCount":2,"aliasToCurrentLeafTableEffectiveReaderHitCount":2,"aliasToCurrentPreWriterUniqueTargetCount":38,"aliasToCurrentPreWriterTraceCurrentWriterHitCount":0,"aliasToCurrentPreWriterTraceCurrentReaderHitCount":0,"aliasToCurrentPreWriterTraceRouteSceneRecordHitCount":0,"aliasToCurrentAfterLastFillHitCount":74,"aliasToCurrentAfterLastFillMetadataHitCount":0,"aliasToCurrentAfterLastFillDataHitCount":74,"aliasToCurrentAfterLastFillTargetClassCounts":{"pre-writer-script-range":65,"leaf-table-window":9},"aliasToCurrentAfterLastFillPreWriterHitCount":65,"aliasToCurrentAfterLastFillLeafTableHitCount":9,"aliasToCurrentAfterLastFillLeafTableCorrectedReaderHitCount":2,"aliasToCurrentAfterLastFillLeafTableEffectiveReaderHitCount":2,"aliasToCurrentAfterLastFillReaderOrSceneRecordHitCount":0,"aliasToCurrentAfterLastFillPreWriterUniqueTargetCount":38,"aliasToCurrentAfterLastFillTraceCurrentWriterHitCount":0,"aliasToCurrentAfterLastFillTraceCurrentReaderHitCount":0,"aliasToCurrentAfterLastFillTraceRouteSceneRecordHitCount":0,"aliasToCurrentExecutionLikeBridgeFound":false,"aliasToCurrentAfterLastFillExecutionLikeBridgeFound":false,"currentToAliasHitCount":98},{"selector":"17:0","role":"additional map-set alias","rootHex":"0x004f28a4","rootRangeHex":"0x004f28a4..0x004f5ae8","fillCount":0,"publicSampleIds":[],"aliasToCurrentHitCount":0,"aliasToCurrentMetadataHitCount":0,"aliasToCurrentDataHitCount":0,"aliasToCurrentPromotingDataHitCount":0,"aliasToCurrentPromotingMetadataHitCount":0,"aliasToCurrentReaderOrSceneRecordHitCount":0,"aliasToCurrentTargetClassCounts":{},"aliasToCurrentLeafTableHitCount":0,"aliasToCurrentLeafTableRoutePairHitCount":0,"aliasToCurrentLeafTableCorrectedReaderHitCount":0,"aliasToCurrentLeafTableEffectiveReaderHitCount":0,"aliasToCurrentPreWriterUniqueTargetCount":0,"aliasToCurrentPreWriterTraceCurrentWriterHitCount":0,"aliasToCurrentPreWriterTraceCurrentReaderHitCount":0,"aliasToCurrentPreWriterTraceRouteSceneRecordHitCount":0,"aliasToCurrentAfterLastFillHitCount":0,"aliasToCurrentAfterLastFillMetadataHitCount":0,"aliasToCurrentAfterLastFillDataHitCount":0,"aliasToCurrentAfterLastFillTargetClassCounts":{},"aliasToCurrentAfterLastFillPreWriterHitCount":0,"aliasToCurrentAfterLastFillLeafTableHitCount":0,"aliasToCurrentAfterLastFillLeafTableCorrectedReaderHitCount":0,"aliasToCurrentAfterLastFillLeafTableEffectiveReaderHitCount":0,"aliasToCurrentAfterLastFillReaderOrSceneRecordHitCount":0,"aliasToCurrentAfterLastFillPreWriterUniqueTargetCount":0,"aliasToCurrentAfterLastFillTraceCurrentWriterHitCount":0,"aliasToCurrentAfterLastFillTraceCurrentReaderHitCount":0,"aliasToCurrentAfterLastFillTraceRouteSceneRecordHitCount":0,"aliasToCurrentExecutionLikeBridgeFound":false,"aliasToCurrentAfterLastFillExecutionLikeBridgeFound":false,"currentToAliasHitCount":0}],"targetAliasToCurrentExecutionLikeBridgeFound":false,"routeRootsTableOnly":true,"routeRootExecutionRefFound":false,"sourceTargetSplitAcrossPreviousSelectors":true,"branchStateExecutionProofFound":false,"selectorMergeExecutionProofFound":false,"runtimeOrControlFlowProofFound":false,"proofFound":false,"strictHotspotFound":false,"failedSelectorMergeExecutionGateIds":["source-current-bridge","predecessor-current-forward-bridge","execution-like-bridge-or-root-ref","branch-state-execution-proof","strict-source-hotspot"],"missingEvidence":["VM control-flow edge from source selector 0:0 into current selector 2:0","predecessor/target-side forward bridge into current selector 2:0","execution-like target-alias bridge, encoded merge bridge, or predecessor-to-current root ref","branch-state execution proof reaching the current reader","strict map1_01a source coordinate or hotspot"],"evidenceRefs":[{"path":"out/save_selector_set_decomposition.json","fields":["currentEqualsPredecessorPlusSource","sourcePredecessorUnionCoversCurrent","sourcePredecessorUnionExtraMaps","proofFound"]},{"path":"out/save_selector_recomposition_lattice.json","fields":["current","routePairOnlyCurrentSelector","exactPairUnionCount","oneMapAugmentationCount"]},{"path":"out/save_selector_merge_gap.json","fields":["sourceToCurrentBridgeHitCount","currentToSourceBridgeHitCount","targetToCurrentBridgeHitCount","selectorMergeGapOpen"]},{"path":"out/save_selector_merge_bridge_matrix.json","fields":["sourceToCurrentHitCount","predecessorToCurrentHitCount","currentToPredecessorHitCount","currentToPredecessorBeforeFillHitCount","currentToPredecessorFillSiteHitCount","forwardMergeBridgeHitCount","encodedMergeExecutionBridgeFound"]},{"path":"out/save_selector_target_alias_bridges.json","fields":["targetAliasSelectors","aliasToCurrentExecutionLikeBridgeFound","forwardHitsAddressAdjacentOnly","targetAliasExecutionExclusionStatus","aliasBridgeSummaryRows"]},{"path":"out/save_selector_route_root_ref_context.json","fields":["allRouteSelectorRootsTableOnly","predecessorToCurrentRootRefFound","sourceTargetSplitAcrossPreviousSelectors"]},{"path":"out/save_selector_predecessor_branch_state_execution_gap.json","fields":["branchStateExecutionProofFound","runtimeBranchStateSplit","strictHotspotFound","proofFound"]}],"evidenceRefCount":7,"selectorMergeGapOpen":true,"promotionStatus":"blocked","evidence":[{"kind":"set-recomposition-shape","status":"merge-shaped","detail":"currentEqualsPredecessorPlusSource=True; sourcePredecessorUnionExtra=map1_02b; routePairOnlyCurrent=True"},{"kind":"exact-previous-union","status":"absent","detail":"currentExactPairUnions=0; coveringPairUnions=1; globalExactPairUnions=5"},{"kind":"source-current-bridge","status":"absent","detail":"sourceToCurrent=0; currentToSource=0; matrixSourceToCurrent=0"},{"kind":"predecessor-current-forward-bridge","status":"absent","detail":"predecessorToCurrent=0; targetToCurrent=0; forwardMergeBridge=0; encodedRaw=3; encodedPromoting=0; encodedMerge=False"},{"kind":"current-predecessor-reverse-reuse","status":"reuse-before-fill","detail":"currentToPredecessor=51; beforeFill=51; fillSite=0"},{"kind":"target-alias-bridge","status":"non-execution-like","detail":"aliases=1:0,10:0,17:0; hits=75; metadata/data=1/74; promotingMeta/Data=1/0; metadataOnlyExact=True; afterFill=74; forwardHitAliases=10:0; dataAliases=10:0; afterFillDataAliases=10:0; dominantDataAliases=10:0; publicCovered=-; publicForward=-; addressAdjacentForward=10:0; publicCoverage=uncovered-address-adjacent-only; exclusion=address-adjacent-alias-data-only; readerScene=0; executionLike=False"},{"kind":"route-root-ref-context","status":"table-only","detail":"allTableOnly=True; textRefs=False; splitPrevious=True; predToCurrentRootRef=False"},{"kind":"branch-state-execution-proof","status":"blocked","detail":"fillWouldPass=True; branchStateExecutionProofFound=False; runtimeOrderGapOpen=True; strictHotspotFound=False"}],"remainingProofs":["prove source-side selector 0:0 enters current selector 2:0 in VM control flow","prove target-side predecessor/alias state reaches current 2:0 reader execution","capture selected-pointer runtime evidence or a real selector 2:0 savedata sample","find a strict map1_01a source coordinate or hotspot"],"conclusion":"Selector 2:0 still looks like a recomposed selector list, not a proven execution step. It is the only selector containing the route pair and can be described as target-side 1:0 plus map1_01a, but exact previous unions, source/current bridges, predecessor/current forward bridges, route-root execution refs, and execution-like target-alias bridges are absent. The merge gap therefore stays open until selected-root runtime evidence, VM control-flow proof, or a strict source hotspot appears."}