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.
Route: map1_01a -> map2_02d; source 0:0 root 0x00501808; predecessor 1:0 root 0x00478364; current 2:0 root 0x00540714.
Proof: mergeShape=True; exactPairUnions=0; directMergeExecution=False; encodedMergeExecution=False; routeRootExecution=False; branchStateExecution=False; proofFound=False; failedSelectorMergeExecutionGates=source-current-bridge,predecessor-current-forward-bridge,execution-like-bridge-or-root-ref,branch-state-execution-proof,strict-source-hotspot; missingEvidenceCount=5; evidenceRefs=7; status blocked.
selector merge execution proof found: False; selector merge gap open: True; promotion status: blocked.
target alias forward/data/after-fill-data selectors: forwardHitAliases=10:0; dataAliases=10:0; afterFillDataAliases=10:0.
target alias public-covered forward selectors; target alias address-adjacent forward selectors; target alias public coverage/exclusion: publicForward=-; addressAdjacentForward=10:0; coverage uncovered-address-adjacent-only; exclusion address-adjacent-alias-data-only.
target alias promoting metadata/data hits: 1 / 0.
target alias exact promoting hits metadata-only: True.
| kind | status | detail |
|---|---|---|
| set-recomposition-shape | merge-shaped | currentEqualsPredecessorPlusSource=True; sourcePredecessorUnionExtra=map1_02b; routePairOnlyCurrent=True |
| exact-previous-union | absent | currentExactPairUnions=0; coveringPairUnions=1; globalExactPairUnions=5 |
| source-current-bridge | absent | sourceToCurrent=0; currentToSource=0; matrixSourceToCurrent=0 |
| predecessor-current-forward-bridge | absent | predecessorToCurrent=0; targetToCurrent=0; forwardMergeBridge=0; encodedRaw=3; encodedPromoting=0; encodedMerge=False |
| current-predecessor-reverse-reuse | reuse-before-fill | currentToPredecessor=51; beforeFill=51; fillSite=0 |
| target-alias-bridge | non-execution-like | 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 |
| route-root-ref-context | table-only | allTableOnly=True; textRefs=False; splitPrevious=True; predToCurrentRootRef=False |
| branch-state-execution-proof | blocked | fillWouldPass=True; branchStateExecutionProofFound=False; runtimeOrderGapOpen=True; strictHotspotFound=False |
| selector | role | hits | data | after-fill data | classes | after-fill classes | trace W/R/S | current->alias |
|---|---|---|---|---|---|---|---|---|
1:0 | logical target-side predecessor | 0 | 0 | 0 | - | - | 0/0/0 | 51 |
10:0 | address-adjacent target-side predecessor | 75 | 74 | 74 | leaf-table-window:9,pre-writer-script-range:65,selector-row-metadata:1 | leaf-table-window:9,pre-writer-script-range:65 | 0/0/0 | 98 |
17:0 | additional map-set alias | 0 | 0 | 0 | - | - | 0/0/0 | 0 |