{"source":"map1_01a","target":"map2_02d","predecessorSelector":"1:0","predecessorRootHex":"0x00478364","predecessorIndex":1,"currentSelector":"2:0","currentRootHex":"0x00540714","currentIndex":2,"selectorAdjacent":true,"intermediateSelectorCount":0,"intermediateSelectors":[],"bestPreviousSelector":"1:0","predecessorFillWouldPassCurrentReader":true,"currentRootHasNoKnownBeforeFrontierOverwrite":true,"currentValidBeforeFrontierSecondaryFillCount":0,"currentValidActivationFillCount":0,"currentValidExecutionEvidenceFillCount":0,"directSecondaryBranchStateWriterCount":0,"routeOrderProven":false,"sourceRoutePreviousSelector":"0:0","sourceRoutePreviousRootHex":"0x00501808","sourceRoutePreviousConfirmedOverlap":["map1_01a","map1_02b"],"predecessorIsTargetSideOnly":true,"samePreviousContainsRoutePair":false,"selectorMergeGapOpen":true,"strictHotspotFound":false,"persistenceProven":false,"proofFound":false,"predecessorPersistenceProofFound":false,"failedPredecessorPersistenceGateIds":["source-target-selector-merge-order","global-vm-helper-reset-exclusion","strict-source-hotspot"],"missingEvidence":["source-side selector 0:0 progressing into selector 2:0 after target-side 1:0 state is established","proof that no global VM/helper reset clears secondaryBranchState between predecessor fill and current reader","strict map1_01a source coordinate or hotspot"],"evidenceRefs":[{"path":"out/save_scene_selectors.json","fields":["selectors","fieldMaps","selectedPointerHex"]},{"path":"out/save_selector_predecessor_state_effect.json","fields":["predecessorFillVas","fillValueHex","allStartsPassReader"]},{"path":"out/save_selector_predecessor_route_order.json","fields":["routeOrderProven","proofFound","predecessorRouteOrderProofFound","failedPredecessorRouteOrderGateIds","missingEvidence","evidenceRefs","evidenceRefCount","selectorMergeGapOpen","sourceRoutePreviousSelector","predecessorIsTargetSideOnly"]},{"path":"out/save_selector_secondary_state_sources.json","fields":["validBeforeFrontierCount","validBeforeFrontierNonOperandCount","secondaryDirectWrites"]},{"path":"out/save_selector_current_state_sources.json","fields":["validActivationCandidateCount","validBeforeFirstFrontierReaderWithExecutionEvidenceCount"]},{"path":"out/map1_01a_hotspot_gap.json","fields":["strictHotspotFound","eventTransitionCount","manifestPointPromotableSourceCount"]}],"evidenceRefCount":6,"promotionStatus":"blocked","remainingProofs":["source-side selector 0:0 progressing into selector 2:0 after target-side 1:0 state is established","proof that no global VM/helper reset clears secondaryBranchState between predecessor fill and current reader","strict map1_01a source coordinate or hotspot"],"evidence":[{"kind":"selector-index-adjacency","status":"supports-persistence-candidate","detail":"1:0 index 1 is immediately before 2:0 index 2; intermediate selectors=0."},{"kind":"predecessor-fill-effect","status":"would-pass-current-reader","detail":"0x004844d0, 0x004844d8 0x00000210 -> all starts pass reader=True."},{"kind":"current-root-overwrite","status":"no-known-local-overwrite","detail":"valid before-frontier secondary fills=0; valid activation fills=0; direct secondaryBranchState writers=0."},{"kind":"confirmed-route-order","status":"does-not-prove-runtime-order","detail":"confirmed overlap with 1:0=none; routeOrderProven=False."},{"kind":"selector-merge-shape","status":"merge-gap-open","detail":"source-side previous=0:0; source confirmed overlap=map1_01a, map1_02b; predecessor target-side only=True; same previous contains route pair=False."},{"kind":"strict-hotspot","status":"missing","detail":"strictHotspotFound=False; event transitions=0; manifest source point tables=0."}],"conclusion":"Selector table order now supports a narrow persistence candidate: 1:0 is immediately before 2:0, there are no intermediate field-map selectors, the current 2:0 root has no known valid secondaryBranchState fill before 0x00542b0c, and the predecessor fill would satisfy the current reader. The blocker is now narrower but sharper: 1:0 is target-side only while the confirmed source-side route overlaps 0:0, so 2:0 looks like a selector-merge state. This still does not promote map1_01a->map2_02d because selector-index adjacency is not runtime execution proof, the source-side/target-side merge order is unproven, and no strict map1_01a source hotspot has been found."}