{"source":"map1_01a","target":"map2_02d","promotionStatus":"blocked","predecessorSelector":"1:0","currentSelector":"2:0","predecessorRootHex":"0x00478364","currentRootHex":"0x00540714","currentReaderHex":"0x00542b0c","fillSites":["0x004844d0","0x004844d8"],"proofFound":false,"predecessorFillExternalProofFound":false,"failedPredecessorFillExternalGateIds":["localFillStreamReachesCurrentReader","rootEntryFixedTraversalReachesFillSites","fillFragmentEntryCandidateFound","encodedFillEntryControlFlowCandidateFound","rootTailBranchClosureReachesFillOrReader","descriptorSliceRuntimeDispatchProven","rawGenericRouteProofFound","runtimeObservedPredecessorFill","predecessorToCurrentForwardBridgeFound","routeOrderAndSelectorMergeClosed"],"missingEvidence":["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"],"fillSiteExecutionContextProven":false,"fillExecutionOrderProofFound":false,"runtimePredecessorFillObserved":false,"runtimeBranchStateSplit":{"classification":"public-predecessor-reached-fill-not-observed","publicPredecessorReached":true,"publicRouteReached":false,"observedStateHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"expectedFillHexes":["0x01","0x01","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"observedMatchesFill":false,"observedAllZero":true,"activeSelectionFlagHex":"0x01","staticNoLocalTailReset":true,"staticNoDirectGlobalSecondaryWriter":true,"staticHelperOpcode10Only":true,"staticResetScopeClosed":true,"selectorOrderResetGapClosed":true,"routeOrderProven":false,"selectorMergeGapOpen":true,"fillExecutionOrderProofFound":false,"fillSiteExecutionContextProven":false,"nextProofFocus":"fill-site execution/order before current reader"},"publicPredecessorBranchStateAllZero":true,"runtimeObservationSummary":{"classification":"public-predecessor-reached-fill-not-observed","pollCount":8,"sequenceCount":30,"sampleCount":46919,"publicPredecessorHitCount":6,"currentRootHitCount":0,"routeSelectorHitCount":0,"allZeroCount":8,"fillMatchCount":0,"movementOrTargetCount":1,"movementOrTargetSampleCount":10928,"targetObservationCount":0,"targetObservationSampleCount":0,"targetObservationFillMatchCount":0,"targetObservationCurrentRootHitCount":0,"targetObservationRouteSelectorHitCount":0,"targetObservationStatus":"target-not-observed","observedStateHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"expectedFillHexes":["0x01","0x01","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"observedMatchesFill":false,"observedAllZero":true,"activeSelectionFlagHex":"0x01","staticResetScopeClosed":true,"selectorOrderResetGapClosed":true,"acceptedSignalCount":0,"acceptedSignalPresent":false,"nextProofFocus":"fill-site execution/order before current reader","nonPromotingReason":"public predecessor selector is observed, but branch-state values stay all-zero and never match the predecessor fill hypothesis before the current reader"},"localFillTrace":{"startHex":"0x004844d0","stopHex":"0x004844dc","stopReason":"no-fixed-advance","containsAllFillSites":true,"reachesCurrentReader":false},"proofGateCount":10,"proofGatePassCount":0,"proofGateBlockedCount":10,"proofGateBlockedIds":["localFillStreamReachesCurrentReader","rootEntryFixedTraversalReachesFillSites","fillFragmentEntryCandidateFound","encodedFillEntryControlFlowCandidateFound","rootTailBranchClosureReachesFillOrReader","descriptorSliceRuntimeDispatchProven","rawGenericRouteProofFound","runtimeObservedPredecessorFill","predecessorToCurrentForwardBridgeFound","routeOrderAndSelectorMergeClosed"],"proofGatesAllBlocked":true,"proofGateRows":[{"id":"localFillStreamReachesCurrentReader","pass":false,"status":"stops-before-current-reader","detail":"0x004844d0->0x004844dc reason=no-fixed-advance reader=0x00542b0c"},{"id":"rootEntryFixedTraversalReachesFillSites","pass":false,"status":"fill-sites-not-reached","detail":"visited=23 reached=-"},{"id":"fillFragmentEntryCandidateFound","pass":false,"status":"no-direct-entry-candidates","detail":"dwordRefs=0 rootBranchTargets=0"},{"id":"encodedFillEntryControlFlowCandidateFound","pass":false,"status":"raw-encoded-scalars-nonpromoting","detail":"raw=4 branchAttached=0 modeled=0 promoting=0"},{"id":"rootTailBranchClosureReachesFillOrReader","pass":false,"status":"branch-closure-no-fill-or-current-reader","detail":"seeds=591 edges=7249 fill=0 reader=0"},{"id":"descriptorSliceRuntimeDispatchProven","pass":false,"status":"slice-runtime-proof-missing","detail":"dependsOnSlice=True requiresTableBase=2 tableBaseCandidates=0"},{"id":"rawGenericRouteProofFound","pass":false,"status":"raw-generic-handlers-nonroute-contrast","detail":"routeImm=0 fillImm=0 currentImm=0 callGraphProof=False"},{"id":"runtimeObservedPredecessorFill","pass":false,"status":"runtime-fill-not-observed","detail":"publicPredecessorReached=True branchStateAllZero=True"},{"id":"predecessorToCurrentForwardBridgeFound","pass":false,"status":"no-forward-bridge","detail":"predecessorToCurrent=0 forwardMerge=0"},{"id":"routeOrderAndSelectorMergeClosed","pass":false,"status":"route-order-unproven-or-merge-gap-open","detail":"routeOrderProven=False selectorMergeGapOpen=True"}],"opcode10Evidence":{"handlerHex":"0x0040b49e","handlerMatchesExpected":true,"streamEffect":"advance +4; read 0x02","decodedRows":[{"vaHex":"0x004844d0","valueHex":"0x00000210","opcodeByteHex":"0x10","tableSelectorByteHex":"0x02","helperCaseByteHex":"0x00","spareByteHex":"0x00","targetTable":"secondaryBranchState","targetBaseHex":"0x0059e360","helperKind":"constant-prefix-fill","helperFillCount":2,"expectedStatePrefix":[1,1,0,0,0,0,0,0,0,0,0,0],"fillsSecondaryBranchState":true},{"vaHex":"0x004844d8","valueHex":"0x00000210","opcodeByteHex":"0x10","tableSelectorByteHex":"0x02","helperCaseByteHex":"0x00","spareByteHex":"0x00","targetTable":"secondaryBranchState","targetBaseHex":"0x0059e360","helperKind":"constant-prefix-fill","helperFillCount":2,"expectedStatePrefix":[1,1,0,0,0,0,0,0,0,0,0,0],"fillsSecondaryBranchState":true}],"expectedFillHexes":["0x01","0x01","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"expectedStatePrefix":[1,1,0,0,0,0,0,0,0,0,0,0],"runtimeObservedAllZero":true,"branchStatePollSampleCount":46919,"branchStatePollFillMatchCount":0,"proofFound":false},"dispatchAndDescriptorEvidence":{"descriptorBridgeProofFound":false,"rootStopToFillBridgeFound":false,"fillStopToCurrentBridgeFound":false,"descriptorEdgeRejectionClassification":"descriptor-only-no-route-execution-edge","sliceRuntimeProofFound":false,"tableBaseRejectionClassification":"table-base-switch-required-no-dynamic-save-selector-candidate","dynamicTableBaseCandidateCount":0},"selectorMergeEvidence":{"selectorMergeGapOpen":true,"selectorMergeRuntimeProofFound":false,"forwardBridgeAbsent":true,"reverseReuseBeforeFillOnly":true,"routeOrderProven":false},"acceptedEvidenceChecklist":[{"requirement":"predecessor fill fragment executes before current reader 0x00542b0c","currentStatus":"missing","acceptedSignal":"runtimeObservedPredecessorFill == true or localFillTraceReachesCurrentReader == true"},{"requirement":"save-selector slice dispatch is proven for the predecessor descriptor boundary","currentStatus":"missing","acceptedSignal":"predecessorDispatchSliceRuntimeProofFound == true"},{"requirement":"predecessor-to-current selector merge/order is proven","currentStatus":"missing","acceptedSignal":"routeOrderProven == true and selectorMergeRuntimeProofFound == true"}],"notAcceptedEvidence":["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"],"evidenceRefs":[{"path":"out/save_selector_predecessor_fill_execution_order_gap.json","fields":["predecessorFillProofGateRows","proofFound","failedPredecessorFillOrderGateIds","missingEvidence","remainingProofs"]},{"path":"out/save_selector_predecessor_fill_site_execution_context.json","fields":["requiredProofGates","fillSiteExecutionContextProven","failedPredecessorFillGateIds","missingEvidence","remainingProofs"]},{"path":"out/save_selector_predecessor_fill_opcode10_context.json","fields":["opcodeHandlerHex","decodedOpcode10Rows","proofFound","failedPredecessorFillOpcode10GateIds","missingEvidence"]},{"path":"out/save_selector_predecessor_branch_state_execution_gap.json","fields":["fillExecutionOrderProofFound","runtimePredecessorFillObserved","failedBranchStateExecutionGateIds","missingEvidence"]},{"path":"out/save_selector_predecessor_descriptor_bridge_gap.json","fields":["descriptorBridgeProofFound","descriptorEdgeRejectionClassification","failedDescriptorBridgeGateIds","missingEvidence"]},{"path":"out/save_selector_merge_runtime_context.json","fields":["selectorMergeGapOpen","selectorMergeRuntimeProofFound","failedSelectorMergeRuntimeGateIds","missingEvidence","routeOrderProven"]}],"evidenceRefCount":6,"relatedReports":["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"],"regenerateAndVerifyCommands":["python3 tools/summarize_predecessor_fill_external_proof_packet.py","python3 tools/verify_web_assets.py"],"remainingProofs":["prove the 1:0 fill fragment is entered on the normal public route before the 0x00542b0c reader","connect the predecessor root entry to the 0x004844d0 fill fragment through a decoded non-linear path","bridge the descriptor boundary at 0x004844dc without guessing through data rows","prove the predecessor descriptor stops are reached through the 0x00440720 save-selector slice at runtime","replace the bounded raw generic handler/call-graph non-route contrast with a real save-selector table-base runtime dispatch proof","find a field-entry input path that reaches selector 2:0 or a route-relevant runtime object tile","observe the predecessor fill values at runtime on a route-relevant path","prove selector route order and close the selector merge gap"],"conclusion":"Predecessor fill/order remains blocked: the opcode 0x10 fill bytes are decoded, but no normal execution/order proof carries them to the current reader."}