{"source":"map1_01a","target":"map2_02d","promotionStatus":"blocked","sourceSelector":"0:0","predecessorSelector":"1:0","currentSelector":"2:0","currentRootHex":"0x00540714","proofFound":false,"selectorMergeExternalProofFound":false,"failedSelectorMergeExternalGateIds":["selector-merge-execution-proof","selected-root-runtime-execution","predecessor-fill-route-order-proof","strict-source-hotspot"],"missingEvidence":["source/predecessor forward bridge or execution-like selector merge bridge into selector 2:0","real selected-root runtime execution for 0x00540714","observed predecessor opcode 0x10 fill context and route-order proof","strict map1_01a source coordinate or tile hotspot evidence"],"mergedMissingEvidence":["source/predecessor forward bridge or execution-like selector merge bridge into selector 2:0","real selected-root runtime execution for 0x00540714","observed predecessor opcode 0x10 fill context and route-order proof","strict map1_01a source coordinate or tile hotspot evidence","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","source/predecessor selector-merge execution proof into selector 2:0","non-diagnostic selected-root runtime execution for 0x00540714","observed predecessor fill-state on the route path before the current reader","route-pair entry execution that reaches the current reader on a normal path","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","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","prove the source-side selector 0:0 can progress into 2:0 after 1:0 state is established","prove secondaryBranchState persists from predecessor fill to current reader","find strict map1_01a source coordinate or hotspot","target-side alias execution before current selector 2:0","secondaryBranchState persistence into current reader 0x00542b0c","selector 2:0 savedata or runtime selected-pointer evidence","strict map1_01a source hotspot","code or runtime reference executing route selector root 2:0","predecessor 1:0 root/control-flow link to current selector root 2:0","route-order proof from source/predecessor selectors into current selector","strict source hotspot or captured selector 2:0 save/runtime evidence","reverse reuse target at predecessor fill site or executable fill/order edge","selector 2:0 gameplay savedat or selected-pointer runtime trace","VM control flow from source-side 0:0 into current 2:0"],"currentEqualsPredecessorPlusSource":true,"sourcePredecessorUnionCoversCurrent":true,"sourcePredecessorUnionExtraMaps":["map1_02b"],"mergeShapeOnly":true,"selectorMergeGapOpen":true,"routeOrderProven":false,"selectorMergeExecutionProofFound":false,"selectorMergeRuntimeProofFound":false,"selectorMergeClosureProofFound":false,"predecessorPersistenceProofFound":false,"predecessorRouteOrderProofFound":false,"targetAliasBridgeProofFound":false,"routeRootRefProofFound":false,"reverseReuseProofFound":false,"shapeEvidence":{"currentEqualsPredecessorPlusSource":true,"sourcePredecessorUnionCoversCurrent":true,"sourcePredecessorUnionExtraMaps":["map1_02b"],"sourceSelector":"0:0","predecessorSelector":"1:0","currentSelector":"2:0","mergeShapeOnly":true,"nonPromotingReason":"set-shape decomposition is true, but no source/predecessor execution bridge or runtime selected-root proof reaches selector 2:0"},"executionBridgeMatrix":{"sourceToCurrentBridgeHitCount":0,"currentToSourceBridgeHitCount":0,"predecessorToCurrentHitCount":0,"forwardMergeBridgeHitCount":0,"directMergeExecutionBridgeFound":false,"encodedMergeExecutionBridgeFound":false,"forwardEncodedAnchorRawScalarCandidateCount":3,"forwardEncodedAnchorPromotingCandidateCount":0,"currentToPredecessorHitCount":51,"currentToPredecessorBeforeFillHitCount":51,"currentToPredecessorFillSiteHitCount":0,"currentPredecessorHitsBeforeFillOnly":true},"proofGateCount":7,"proofGatePassCount":0,"proofGateBlockedCount":7,"proofGatesAllBlocked":true,"proofGateRows":[{"id":"selectorMergeShapeEvidence","pass":false,"status":"shape-only-not-proof","detail":"current selector 2:0 matches predecessor 1:0 plus source 0:0 set shape, but no execution/order bridge promotes that shape"},{"id":"sourceCurrentBridge","pass":false,"status":"missing","detail":"source-to-current VM/control-flow bridge hits: 0"},{"id":"predecessorCurrentForwardBridge","pass":false,"status":"missing","detail":"predecessor-to-current hits: 0; forward merge bridge hits: 0"},{"id":"executionLikeBridgeOrRootRef","pass":false,"status":"missing","detail":"direct/encoded merge bridge, target-alias bridge, and route-root ref are all non-promoting; before-fill reverse refs only: True"},{"id":"selectedRootRuntimeExecution","pass":false,"status":"missing","detail":"selected root 0x00540714 is not observed on a non-diagnostic runtime route path"},{"id":"predecessorFillRouteOrderProof","pass":false,"status":"missing","detail":"predecessor fill/order is not proven before the current selector reader"},{"id":"strictSourceHotspot","pass":false,"status":"missing","detail":"strict map1_01a source coordinate or tile hotspot evidence remains absent"}],"sourceReports":{"runtimeFailedGateIds":["selector-merge-execution-proof","selected-root-runtime-execution","predecessor-fill-runtime-proof","route-pair-entry-execution","strict-source-hotspot"],"closureFailedGateIds":["selector-merge-execution-proof","selected-root-runtime-execution","predecessor-fill-route-order-proof","strict-source-hotspot"],"executionFailedGateIds":["source-current-bridge","predecessor-current-forward-bridge","execution-like-bridge-or-root-ref","branch-state-execution-proof","strict-source-hotspot"],"decompositionFailedGateIds":["source-current-control-flow","predecessor-state-persistence","real-selector-2:0-or-selected-root-runtime","strict-source-hotspot"],"targetAliasFailedGateIds":["target-alias-execution-order","branch-state-persistence","real-selector-2:0-or-selected-root-runtime","strict-source-hotspot"],"routeRootFailedGateIds":["selector-root-code-ref","predecessor-current-root-link","route-order-execution-proof","strict-hotspot-or-real-selector-proof"],"reverseReuseFailedGateIds":["predecessor-current-forward-bridge","reverse-reuse-fill-site-hit","selector-2:0-runtime-or-savedata","strict-source-hotspot"],"bridgeMatrixFailedGateIds":["selector-2:0-runtime-or-savedata","source-current-vm-control-flow","strict-source-hotspot"]},"acceptedEvidenceChecklist":[{"requirement":"VM control-flow edge from source selector 0:0 into current selector 2:0","currentStatus":"missing","acceptedSignal":"sourceToCurrentBridgeHitCount > 0"},{"requirement":"predecessor/target-side forward bridge into current selector 2:0","currentStatus":"missing","acceptedSignal":"predecessorToCurrentHitCount > 0 or forwardMergeBridgeHitCount > 0"},{"requirement":"execution-like target-alias bridge, encoded merge bridge, or route-root ref","currentStatus":"missing","acceptedSignal":"directMergeExecutionBridgeFound == true or encodedMergeExecutionBridgeFound == true"},{"requirement":"real selected-root runtime execution for 0x00540714","currentStatus":"missing","acceptedSignal":"selectorMergeRuntimeProofFound == true"},{"requirement":"observed predecessor fill context and route-order proof before the current reader","currentStatus":"missing","acceptedSignal":"predecessorRouteOrderProofFound == true"},{"requirement":"strict map1_01a source coordinate or tile hotspot evidence","currentStatus":"missing","acceptedSignal":"strictSourceHotspotProofFound == true"}],"notAcceptedEvidence":["current selector 2:0 equals predecessor 1:0 plus source 0:0 set shape by itself","current-to-predecessor reverse refs that occur only before the predecessor fill sites","zero forward bridge counts across source/current and predecessor/current scans","table/root refs without text/control-flow/runtime execution refs","constructed or patched diagnostics that are not captured gameplay savedata"],"evidenceRefs":[{"path":"out/save_selector_predecessor_persistence_gap.json","fields":["predecessorPersistenceProofFound","selectorMergeGapOpen","routeOrderProven","missingEvidence"]},{"path":"out/save_selector_predecessor_route_order.json","fields":["predecessorRouteOrderProofFound","selectorMergeGapOpen","routeOrderProven","missingEvidence"]},{"path":"out/save_selector_merge_runtime_context.json","fields":["selectorMergeRuntimeProofFound","selectorMergeExecutionProofFound","failedSelectorMergeRuntimeGateIds","missingEvidence"]},{"path":"out/save_selector_merge_closure_context.json","fields":["selectorMergeClosureProofFound","failedSelectorMergeGateIds","missingEvidence","selectorMergeGapOpen"]},{"path":"out/save_selector_merge_execution_gap.json","fields":["selectorMergeExecutionProofFound","failedSelectorMergeExecutionGateIds","missingEvidence","sourceToCurrentBridgeHitCount","predecessorToCurrentHitCount","forwardMergeBridgeHitCount"]},{"path":"out/save_selector_set_decomposition.json","fields":["currentEqualsPredecessorPlusSource","sourcePredecessorUnionCoversCurrent","executionOrderProven","failedSelectorSetDecompositionGateIds"]},{"path":"out/save_selector_target_alias_bridges.json","fields":["targetAliasBridgeProofFound","failedTargetAliasBridgeGateIds","missingEvidence"]},{"path":"out/save_selector_route_root_ref_context.json","fields":["routeRootRefProofFound","routeOrderProven","failedRouteRootRefGateIds","missingEvidence"]},{"path":"out/save_selector_reverse_reuse_context.json","fields":["reverseReuseProofFound","failedReverseReuseGateIds","forwardMergeBridgeHitCount","directMergeExecutionBridgeFound"]},{"path":"out/save_selector_merge_bridge_matrix.json","fields":["selectorMergeProofStatus","failedMergeBridgeGateIds","predecessorToCurrentHitCount","forwardMergeBridgeHitCount","currentPredecessorHitsBeforeFillOnly"]}],"evidenceRefCount":10,"relatedReports":["out/save_selector_predecessor_persistence_gap.html","out/save_selector_predecessor_route_order.html","out/save_selector_merge_runtime_context.json","out/save_selector_merge_closure_context.json","out/save_selector_merge_execution_gap.html","out/save_selector_set_decomposition.html","out/save_selector_target_alias_bridges.html","out/save_selector_route_root_ref_context.json","out/save_selector_reverse_reuse_context.json","out/save_selector_merge_bridge_matrix.json"],"regenerateAndVerifyCommands":["python3 tools/summarize_selector_merge_external_proof_packet.py","python3 tools/verify_web_assets.py"],"remainingProofs":["source/predecessor forward bridge or execution-like selector merge bridge into selector 2:0","real selected-root runtime execution for 0x00540714","observed predecessor opcode 0x10 fill context and route-order proof","strict map1_01a source coordinate or tile hotspot evidence"],"conclusion":"Selector merge remains blocked: the selector-set shape matches, but no normal execution/order proof carries source or predecessor state into selector 2:0."}