Selector Merge External Proof Packet

route map1_01a -> map2_02d; selector path 0:0 + 1:0 -> 2:0; current root 0x00540714.

proof found False; selectorMergeExternalProofFound False; failed selector-merge external gates selector-merge-execution-proof, selected-root-runtime-execution, predecessor-fill-route-order-proof, strict-source-hotspot; missing evidence count 4; evidence refs 10.

Shape Evidence

current equals predecessor plus source True; source/predecessor union covers current True; extra maps ['map1_02b']; mergeShapeOnly True; reason set-shape decomposition is true, but no source/predecessor execution bridge or runtime selected-root proof reaches selector 2:0.

Execution Bridge Matrix

signal	value
`sourceToCurrentBridgeHitCount`	0
`currentToSourceBridgeHitCount`	0
`predecessorToCurrentHitCount`	0
`forwardMergeBridgeHitCount`	0
`directMergeExecutionBridgeFound`	False
`encodedMergeExecutionBridgeFound`	False
`forwardEncodedAnchorRawScalarCandidateCount`	3
`forwardEncodedAnchorPromotingCandidateCount`	0
`currentToPredecessorHitCount`	51
`currentToPredecessorBeforeFillHitCount`	51
`currentToPredecessorFillSiteHitCount`	0
`currentPredecessorHitsBeforeFillOnly`	True

Closure Gates

gate pass/block 0/7; all blocked True.

gate	pass	status	detail
`selectorMergeShapeEvidence`	False	`shape-only-not-proof`	current selector 2:0 matches predecessor 1:0 plus source 0:0 set shape, but no execution/order bridge promotes that shape
`sourceCurrentBridge`	False	`missing`	source-to-current VM/control-flow bridge hits: 0
`predecessorCurrentForwardBridge`	False	`missing`	predecessor-to-current hits: 0; forward merge bridge hits: 0
`executionLikeBridgeOrRootRef`	False	`missing`	direct/encoded merge bridge, target-alias bridge, and route-root ref are all non-promoting; before-fill reverse refs only: True
`selectedRootRuntimeExecution`	False	`missing`	selected root 0x00540714 is not observed on a non-diagnostic runtime route path
`predecessorFillRouteOrderProof`	False	`missing`	predecessor fill/order is not proven before the current selector reader
`strictSourceHotspot`	False	`missing`	strict map1_01a source coordinate or tile hotspot evidence remains absent

Accepted Evidence Checklist

requirement	status	accepted signal
VM control-flow edge from source selector 0:0 into current selector 2:0	missing	sourceToCurrentBridgeHitCount > 0
predecessor/target-side forward bridge into current selector 2:0	missing	predecessorToCurrentHitCount > 0 or forwardMergeBridgeHitCount > 0
execution-like target-alias bridge, encoded merge bridge, or route-root ref	missing	directMergeExecutionBridgeFound == true or encodedMergeExecutionBridgeFound == true
real selected-root runtime execution for 0x00540714	missing	selectorMergeRuntimeProofFound == true
observed predecessor fill context and route-order proof before the current reader	missing	predecessorRouteOrderProofFound == true
strict map1_01a source coordinate or tile hotspot evidence	missing	strictSourceHotspotProofFound == true

Missing Evidence

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

Not Accepted Evidence

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

Evidence Refs

out/save_selector_predecessor_persistence_gap.json: predecessorPersistenceProofFound, selectorMergeGapOpen, routeOrderProven, missingEvidence
out/save_selector_predecessor_route_order.json: predecessorRouteOrderProofFound, selectorMergeGapOpen, routeOrderProven, missingEvidence
out/save_selector_merge_runtime_context.json: selectorMergeRuntimeProofFound, selectorMergeExecutionProofFound, failedSelectorMergeRuntimeGateIds, missingEvidence
out/save_selector_merge_closure_context.json: selectorMergeClosureProofFound, failedSelectorMergeGateIds, missingEvidence, selectorMergeGapOpen
out/save_selector_merge_execution_gap.json: selectorMergeExecutionProofFound, failedSelectorMergeExecutionGateIds, missingEvidence, sourceToCurrentBridgeHitCount, predecessorToCurrentHitCount, forwardMergeBridgeHitCount
out/save_selector_set_decomposition.json: currentEqualsPredecessorPlusSource, sourcePredecessorUnionCoversCurrent, executionOrderProven, failedSelectorSetDecompositionGateIds
out/save_selector_target_alias_bridges.json: targetAliasBridgeProofFound, failedTargetAliasBridgeGateIds, missingEvidence
out/save_selector_route_root_ref_context.json: routeRootRefProofFound, routeOrderProven, failedRouteRootRefGateIds, missingEvidence
out/save_selector_reverse_reuse_context.json: reverseReuseProofFound, failedReverseReuseGateIds, forwardMergeBridgeHitCount, directMergeExecutionBridgeFound
out/save_selector_merge_bridge_matrix.json: selectorMergeProofStatus, failedMergeBridgeGateIds, predecessorToCurrentHitCount, forwardMergeBridgeHitCount, currentPredecessorHitsBeforeFillOnly

Related Reports

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

Regenerate And Verify

python3 tools/summarize_selector_merge_external_proof_packet.py
python3 tools/verify_web_assets.py

Selector merge remains blocked: the selector-set shape matches, but no normal execution/order proof carries source or predecessor state into selector 2:0.