{"source":"map1_01a","target":"map2_02d","sourceSelector":"0:0","predecessorSelector":"1:0","currentSelector":"2:0","sourceRootHex":"0x00501808","predecessorRootHex":"0x00478364","currentRootHex":"0x00540714","sourceMaps":["map1_01a","map1_02b"],"predecessorMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"currentMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"confirmedReachableFromStart":["map1_01a","map1_02b"],"previousSelectors":[{"selector":"0:0","rootHex":"0x00501808","fieldMaps":["map1_01a","map1_02b"],"containsSource":true,"containsTarget":false,"isSubsetOfCurrent":false,"extraVsCurrent":["map1_02b"],"missingVsCurrent":["map2_02d","map2_09g","map2_10g","map2_11g","map2_12h","map2_14j","map2_15j","map2_16j","map2_17h","map2_18d"],"confirmedOverlap":["map1_01a","map1_02b"]},{"selector":"1:0","rootHex":"0x00478364","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"containsSource":false,"containsTarget":true,"isSubsetOfCurrent":true,"extraVsCurrent":[],"missingVsCurrent":["map1_01a"],"confirmedOverlap":[]}],"previousPairUnions":[{"selectors":["0:0","1:0"],"roots":["0x00501808","0x00478364"],"unionMaps":["map1_01a","map1_02b","map2_02d","map2_09g","map2_10g","map2_11g","map2_12h","map2_14j","map2_15j","map2_16j","map2_17h","map2_18d"],"unionEqualsCurrent":false,"unionCoversCurrent":true,"extraVsCurrent":["map1_02b"],"missingVsCurrent":[],"containsSource":true,"containsTarget":true}],"exactPreviousSelectorUnionCount":0,"exactPreviousSelectorUnions":[],"sourcePredecessorUnionCoversCurrent":true,"sourcePredecessorUnionExtraMaps":["map1_02b"],"sourcePredecessorUnionMissingMaps":[],"currentEqualsPredecessorPlusSource":true,"sourceSelectorExtraMapsOmittedByCurrent":["map1_02b"],"currentOmitsSourceSelectorExtraMaps":true,"listRecompositionPatternFound":true,"executionOrderProven":false,"strictHotspotFound":false,"proofFound":false,"selectorSetDecompositionProofFound":false,"failedSelectorSetDecompositionGateIds":["source-current-control-flow","predecessor-state-persistence","real-selector-2:0-or-selected-root-runtime","strict-source-hotspot"],"missingEvidence":["VM/control-flow execution from source-side selector 0:0 into current selector 2:0","target-side predecessor 1:0 state persistence into the current 2:0 frontier reader","real selector 2:0 gameplay savedata or selected-pointer runtime trace","strict map1_01a source coordinate or hotspot for map2_02d"],"evidenceRefs":[{"path":"out/save_scene_selectors.json","fields":["group","slot","selectedPointerHex","fieldMaps"]},{"path":"out/playable_progress.json","fields":["reachableFromStart","reachableCount"]},{"path":"out/save_selector_predecessor_persistence_gap.json","fields":["persistenceProven","selectorMergeGapOpen","routeOrderProven"]},{"path":"out/save_selector_selected_root_execution_gap.json","fields":["selectedRootExecutionRefFound","proofFound","missingEvidence"]},{"path":"out/map1_01a_strict_source_hotspot_context.json","fields":["proofFound","strictSourceCoordinateFound","tileHotspotConfirmed"]}],"evidenceRefCount":5,"promotionStatus":"blocked","remainingProofs":["VM/control-flow execution from source-side selector 0:0 into current selector 2:0","target-side predecessor 1:0 state persistence into the current 2:0 frontier reader","real selector 2:0 gameplay savedata or selected-pointer runtime trace","strict map1_01a source coordinate or hotspot for map2_02d"],"conclusion":"Selector 2:0 can be explained as the target-side predecessor selector 1:0 plus map1_01a, while omitting the source selector's extra confirmed-start map map1_02b. The previous 0:0+1:0 union covers the current selector but over-covers it by that extra source-side map, and no previous selector pair exactly equals the current route-pair map set. This supports a list-recomposition shape, but it still does not prove that gameplay executes 0:0, then 1:0, then 2:0 or that the map1_01a->map2_02d edge has a strict source hotspot."}