{"source":"map1_01a","target":"map2_02d","sourceSelector":"0:0","targetSelector":"1:0","currentSelector":"2:0","sourceSelectorMaps":["map1_01a","map1_02b"],"targetSelectorMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"currentSelectorMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"sourceCandidateSharedMaps":["map1_01a"],"targetCandidateSharedMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"samePreviousContainsRoutePair":false,"sourceToCurrentBridgeHitCount":0,"currentToSourceBridgeHitCount":0,"targetToCurrentBridgeHitCount":0,"currentToTargetBridgeHitCount":51,"targetReverseHitsOnlyBeforeFill":true,"targetReverseHitsToFillSiteCount":0,"currentFrontierSampleCovered":false,"routePairSampleCovered":false,"sampleSelectors":[],"predecessorPersistenceWouldPass":true,"predecessorRouteOrderProven":false,"predecessorPersistenceProven":false,"selectorMergeGapOpen":true,"promotionStatus":"blocked","evidence":[{"kind":"source-side-selector","status":"source-only","detail":"0:0 maps=map1_01a, map1_02b"},{"kind":"target-side-selector","status":"target-only","detail":"1:0 maps=map2_02d, map2_18d, map2_09g, map2_10g, map2_11g, map2_12h, map2_17h, map2_14j, map2_15j, map2_16j"},{"kind":"current-selector","status":"contains-route-pair","detail":"2:0 maps include map1_01a=True, map2_02d=True"},{"kind":"progress-candidates","status":"split-source-target","detail":"best previous=1:0; source previous=0:0; same previous contains route pair=False."},{"kind":"source-current-bridge","status":"no-direct-bridge","detail":"0:0->2:0 hits=0; 2:0->0:0 hits=0."},{"kind":"target-current-bridge","status":"reuse-only-before-fill","detail":"1:0->2:0 hits=0; 2:0->1:0 hits=51; reverse hits before fill=51."},{"kind":"public-savedata-samples","status":"no-current-frontier-sample","detail":"sample selectors=-; current covered=False; route pair covered=False."},{"kind":"persistence","status":"blocked","detail":"wouldPass=True; routeOrder=False; selectorMergeGap=True."}],"remainingProofs":["capture or construct a savedat/runtime trace whose scene selector is 2:0","prove the 0:0 source-side route can enter 2:0 after the 1:0 target-side secondary state is established","find a strict map1_01a source coordinate, hotspot, or equivalent runtime trigger"],"conclusion":"The current selector 2:0 contains both the confirmed source-side map1_01a and the target-side map2_02d list, but the evidence remains a split selector merge rather than a proven transition. Selector 0:0 carries the confirmed source route without map2_02d; selector 1:0 carries map2_02d without map1_01a. There is no direct 0:0<->2:0 bridge, no forward 1:0->2:0 bridge, and the 2:0->1:0 reverse hits only point before the secondary fill sites. Public savedata samples do not cover selector 2:0. Promotion therefore still needs a selector 2:0 save/runtime trace or a strict map1_01a hotspot."}