Predecessor Fill External Proof Packet

route map1_01a -> map2_02d; predecessor 1:0; current 2:0; reader 0x00542b0c.

proof found False; predecessorFillExternalProofFound False; failed predecessor-fill external gates localFillStreamReachesCurrentReader, rootEntryFixedTraversalReachesFillSites, fillFragmentEntryCandidateFound, encodedFillEntryControlFlowCandidateFound, rootTailBranchClosureReachesFillOrReader, descriptorSliceRuntimeDispatchProven, rawGenericRouteProofFound, runtimeObservedPredecessorFill, predecessorToCurrentForwardBridgeFound, routeOrderAndSelectorMergeClosed; missing evidence count 10; evidence refs 6.

proof gates pass/block 0/10; all blocked True; blocked ids localFillStreamReachesCurrentReader, rootEntryFixedTraversalReachesFillSites, fillFragmentEntryCandidateFound, encodedFillEntryControlFlowCandidateFound, rootTailBranchClosureReachesFillOrReader, descriptorSliceRuntimeDispatchProven, rawGenericRouteProofFound, runtimeObservedPredecessorFill, predecessorToCurrentForwardBridgeFound, routeOrderAndSelectorMergeClosed.

gate	pass	status	detail
`localFillStreamReachesCurrentReader`	False	`stops-before-current-reader`	0x004844d0->0x004844dc reason=no-fixed-advance reader=0x00542b0c
`rootEntryFixedTraversalReachesFillSites`	False	`fill-sites-not-reached`	visited=23 reached=-
`fillFragmentEntryCandidateFound`	False	`no-direct-entry-candidates`	dwordRefs=0 rootBranchTargets=0
`encodedFillEntryControlFlowCandidateFound`	False	`raw-encoded-scalars-nonpromoting`	raw=4 branchAttached=0 modeled=0 promoting=0
`rootTailBranchClosureReachesFillOrReader`	False	`branch-closure-no-fill-or-current-reader`	seeds=591 edges=7249 fill=0 reader=0
`descriptorSliceRuntimeDispatchProven`	False	`slice-runtime-proof-missing`	dependsOnSlice=True requiresTableBase=2 tableBaseCandidates=0
`rawGenericRouteProofFound`	False	`raw-generic-handlers-nonroute-contrast`	routeImm=0 fillImm=0 currentImm=0 callGraphProof=False
`runtimeObservedPredecessorFill`	False	`runtime-fill-not-observed`	publicPredecessorReached=True branchStateAllZero=True
`predecessorToCurrentForwardBridgeFound`	False	`no-forward-bridge`	predecessorToCurrent=0 forwardMerge=0
`routeOrderAndSelectorMergeClosed`	False	`route-order-unproven-or-merge-gap-open`	routeOrderProven=False selectorMergeGapOpen=True

Runtime Observation Summary

classification public-predecessor-reached-fill-not-observed; polls/sequences/samples 8/30/46919; public predecessor/current root/route hits 6/0/0; all-zero/fill matches 8/0; movement-or-target 1@10928; target observations 0/0; target observation status target-not-observed; accepted signal present False.

observed state ['0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00']; expected fill state ['0x01', '0x01', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00']; reason public predecessor selector is observed, but branch-state values stay all-zero and never match the predecessor fill hypothesis before the current reader.

Local Trace

start 0x004844d0; stop 0x004844dc; reason no-fixed-advance; reaches reader False.

Opcode 0x10 Fill Semantics

handler 0x0040b49e; expected fills ['0x01', '0x01', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00', '0x00']; runtime all-zero True; poll/fill matches 46919/0.

Accepted Evidence Checklist

requirement	status	accepted signal
predecessor fill fragment executes before current reader 0x00542b0c	missing	runtimeObservedPredecessorFill == true or localFillTraceReachesCurrentReader == true
save-selector slice dispatch is proven for the predecessor descriptor boundary	missing	predecessorDispatchSliceRuntimeProofFound == true
predecessor-to-current selector merge/order is proven	missing	routeOrderProven == true and selectorMergeRuntimeProofFound == true

Missing Evidence

local predecessor fill stream reaches current reader 0x00542b0c
fixed traversal from predecessor root entry reaches 0x004844d0/0x004844d8
direct or branch-backed entry into the fill fragment
encoded fill-entry scalar attached to modeled control flow
root-tail branch closure reaches the fill fragment or current reader
runtime dispatch proof for save-selector slice descriptor boundaries
raw generic handler or call-graph route/fill/current proof
runtime observation of predecessor fill branch-state values
predecessor-to-current forward execution bridge
route-order proof with selector merge closure

Evidence Refs

out/save_selector_predecessor_fill_execution_order_gap.json: predecessorFillProofGateRows, proofFound, failedPredecessorFillOrderGateIds, missingEvidence, remainingProofs
out/save_selector_predecessor_fill_site_execution_context.json: requiredProofGates, fillSiteExecutionContextProven, failedPredecessorFillGateIds, missingEvidence, remainingProofs
out/save_selector_predecessor_fill_opcode10_context.json: opcodeHandlerHex, decodedOpcode10Rows, proofFound, failedPredecessorFillOpcode10GateIds, missingEvidence
out/save_selector_predecessor_branch_state_execution_gap.json: fillExecutionOrderProofFound, runtimePredecessorFillObserved, failedBranchStateExecutionGateIds, missingEvidence
out/save_selector_predecessor_descriptor_bridge_gap.json: descriptorBridgeProofFound, descriptorEdgeRejectionClassification, failedDescriptorBridgeGateIds, missingEvidence
out/save_selector_merge_runtime_context.json: selectorMergeGapOpen, selectorMergeRuntimeProofFound, failedSelectorMergeRuntimeGateIds, missingEvidence, routeOrderProven

Not Accepted Evidence

opcode 0x10 fill semantics without execution order
public predecessor selector 1:0 observations with all-zero branch state
descriptor/data-boundary reachability without a save-selector table-base runtime proof
reverse current-to-predecessor data reuse before the fill sites

Related Reports

out/save_selector_predecessor_fill_execution_order_gap.html
out/save_selector_predecessor_fill_site_execution_context.json
out/save_selector_predecessor_fill_opcode10_context.json
out/save_selector_predecessor_branch_state_execution_gap.html
out/save_selector_predecessor_descriptor_bridge_gap.html
out/save_selector_merge_runtime_context.json

Regenerate And Verify

python3 tools/summarize_predecessor_fill_external_proof_packet.py
python3 tools/verify_web_assets.py

Predecessor fill/order remains blocked: the opcode 0x10 fill bytes are decoded, but no normal execution/order proof carries them to the current reader.