Selected Root Execution External Proof Packet

route map1_01a -> map2_02d; current selector 2:0; current root 0x00540714; selected-root execution ref found False.

proof found False; selectedRootExternalProofFound False; failed selected-root external gates save-loader-selected-root, save-selector-dispatch-table-anchor, static-current-root-references, selected-pointer-hook-prerequisites, global-opcode-07-08-09-selected-pointer-paths, current-root-writer-paths, runtime-selected-pointer-probes, constructed-selector-2:0-diagnostic-exclusion; missing evidence count 5; evidence refs 8.

rejection selected-root-no-real-selector-no-execution-ref-diagnostic-excluded.

Subgates

gate	status	evidence	impact
save-loader selected root	`missing-current-selector`	real=0; selector2:0=0; selectedPointer=0; routePair=0; syntheticExcluded=True	no real captured save currently selects 2:0 / 0x00540714
save-selector dispatch table anchor	`static-slice-only`	generalTable=0x00440538; saveTable=0x00440720; sliceOffset=0x7a; genericDispatches=1; saveTableRefs=0; saveDispatches=0; dynamicDispatches=3/3/0; tableBaseArithmetic=116/0; tableBaseSwitch=6/0; selectedPointerHandlers=3; handlersVerified=True; sliceRuntimeProof=False; routeDescriptorRows=5; rawGeneralDefaultRows=2; descriptorDependsOnSlice=True; dispatchRef=False	the 0x00440720 decoder slice and descriptor boundaries are statically anchored but do not prove selector 2:0 execution
static current-root references	`table-only-no-text-ref`	currentCodeRefs=0; rootTextRefs=0; secondLevelTextRefs=0; readerRefs=0; writerHooks=4; readerHooks=2	current selector 2:0 is table data, not directly code-referenced route execution
selected-pointer hook prerequisites	`trace-targets-prerequisites-unproven`	hooks=6; present=6; writers=4; readers=2; textRefs=6; prereqUnproven=6; selfProving=0; promoting=0; windows=6/0; windowRefs=0/0/0/0/0/0; handlerCallGraph=selected-pointer-handler-callgraph-generic-only-contrast; handlerGraphRoots/Fns/Calls=4/15/27; handlerGraphRoute/current/record/selector/branch=0/0/0/0/0; handlerGraphGeneric=6/1; handlerGraphDepth=4/True/True; handlerEncoded=0/0/0/0; handlerEncodedClass=no-encoded-route-target-scalars-in-handler-graph; mechanisms=save-loader-writer,opcode07-indexed-writer,opcode08-zero-check,opcode08-activator-read,opcode09-mode0-writer,opcode09-mode1-writer; requirementKinds=requires-captured-save-selector,requires-indexed-slot-current-root,requires-prior-selected-pointer-current-root,requires-current-stream-in-current-range,requires-stream-operand-in-current-range	the selected-pointer text refs are trace hook targets; their prerequisites and handler call graph still do not reach selector 2:0 route evidence
global opcode 07/08/09 selected-pointer paths	`no-non-current-producer`	roots=28; op7/8/9=3238/3180/316; nonCurrentRoot=0/0/0; nonCurrentRange=0/0/0; currentInternal=6/35; promoters=0	source/predecessor roots do not select or store the current 2:0 root/range
current-root writer paths	`current-internal-only`	writers=4; starts=0x00542470,0x005428b4; selectedStores=0x0054248c; activators=0x0054246c; outOfRangeHelper=True; proofFound=False; failedGates=source-predecessor-current-producer,non-current-selected-pointer-store,runtime-branch-state-slot-proof,selected-root-execution; missingEvidenceCount=4	stores inside selector 2:0 cannot prove how normal route execution enters selector 2:0
runtime selected-pointer probes	`no-real-selector-2:0-observed`	memory=8:0; input=8:0->50:0; keySeq=False; pollSamples=1550; pollObserved=8:0; pollRoute=False; preludePollSamples=491; preludePollObserved=8:0,50:0; preludePollRoute=False; longPollSamples=1928; longPollObserved=8:0,50:0; longPollRoute=False; latePollSamples=1122; latePollObserved=8:0,50:0; latePollRoute=False; routeWatchSamples=1123; routeWatchObserved=8:0,50:0; routeWatchValues=opcode24Mode1Source=0x00x1123; opcode24CurrentObjectIndex=0x00x1123; opcode24RuntimeFlag=0x00x783,0x01x340; routeWatchRoute=False; saveLoadPollSamples=None; saveLoadPollObserved=-; saveLoadPollRoute=None; multiSaveLoadPollSamples=None; multiSaveLoadPollPublicSelectors=-; multiSaveLoadPollObserved=-; multiSaveLoadPollPublicHit=None; multiSaveLoadPollRoute=None; caseAliasMultiSaveLoadPollSamples=None; caseAliasMultiSaveLoadPollObserved=-; caseAliasMultiSaveLoadPollPublicHit=None; caseAliasMultiSaveLoadPollRoute=None; inputPathCaseAliasMultiSaveLoadPollSamples=None; inputPathCaseAliasMultiSaveLoadPollObserved=-; inputPathCaseAliasMultiSaveLoadPollPublicHit=None; inputPathCaseAliasMultiSaveLoadPollRoute=None; predecessorDirectionSweepPollSamples=3380; predecessorDirectionSweepPollKind=public predecessor direction sweep; predecessorDirectionSweepPollObserved=50:0,19:1,1:0; predecessorDirectionSweepPollObservedPublic=1:0; predecessorDirectionSweepPollPublicHit=True; predecessorDirectionSweepPollRoute=False; predecessorDirectionSweepPollValues=opcode24Mode1Source=0x00x3380; opcode24CurrentObjectIndex=0x00x3380; opcode24RuntimeFlag=0x00x3380; predecessorLeftOverrunActivationSweepPollSamples=2299; predecessorLeftOverrunActivationSweepPollKind=public predecessor left-overrun activation sweep; predecessorLeftOverrunActivationSweepPollObserved=50:0,19:1,1:0; predecessorLeftOverrunActivationSweepPollObservedPublic=1:0; predecessorLeftOverrunActivationSweepPollPublicHit=True; predecessorLeftOverrunActivationSweepPollRoute=False; predecessorLeftOverrunActivationSweepPollValues=opcode24Mode1Source=0x00x2299; opcode24CurrentObjectIndex=0x00x2299; opcode24RuntimeFlag=0x00x2299; predecessorRouteAttempt=files=13; seq=60; samples=59816; publicFiles=11; routeHits=0; currentRootHits=0; dominantDiversion=19:1; diversionContexts=3/2/1; diversionRouteEvidence=False; publicContext=public-predecessor-target-side-non-promoting; status=blocked; syntheticSelector20PollSamples=374; syntheticSelector20PollObserved=8:0; syntheticSelector20PollObservedStaged=-; syntheticSelector20PollStagedHit=False; syntheticSelector20PollRoute=False; patchedPublicSelector20PollSamples=375; patchedPublicSelector20PollKind=patched public-base diagnostic; patchedPublicSelector20PollObserved=2:0,10:0; patchedPublicSelector20PollRoute=True; constructedDiagnosticRoute=True; fileIoAttachLoadBackend=strace-attach; fileIoAttachLoadPidRuns=8/8; fileIoAttachLoadKeyWrites=8/8; fileIoAttachLoadUsable=True; fileIoAttachLoadSavedat1=False; fileIoAttachCaseAliasLoadBackend=strace-attach; fileIoAttachCaseAliasLoadPidRuns=8/8; fileIoAttachCaseAliasLoadKeyWrites=8/8; fileIoAttachCaseAliasLoadUsable=True; fileIoAttachCaseAliasLoadSavedat1=False; anyPollRoute=False	real/public runtime probes have not observed 0x0059de30 reaching 0x00540714; the constructed selector 2:0 hit is diagnostic-only
constructed selector 2:0 diagnostic exclusion	`diagnostic-excluded`	notRouteProof=True; runtimeSamples=375; observed=2:0,10:0; activeOrder=0x01/0x00; activeDescriptor=0x004f867c; followup=10:0@0x0053c4a4; followupSource=False; followupTarget=True; followupPublic=False; bridgeExec=False; exactPointers=0x00540540; traceStops=no-fixed-advance; branchStateSamples=374; branchStateRouteSamples=164; branchStateObserved=2:0,10:0,50:0; branchStateActive=0x01; branchStateAllZero=True; branchStateMatchesFill=False; exitCandidates=None; exitRouteSides=-; exitBranchNonzero=-; exitCandidateStatus=None; leftStabilitySamples=679; leftStabilityRouteSeq=left-load-right; leftStabilityNonRouteSeq=left-load-only,left-load-left; leftStabilityObserved=50:0,10:0,2:0; leftStabilityRouteHits=125; leftStabilityOpcode24AllZero=True; leftStabilityRepro=not-reproduced; leftRecheckSamples=680; leftRecheckObserved=50:0; leftRecheckRouteHits=0; leftActiveOrderRecheckSamples=679; leftActiveOrderRecheckObserved=50:0; leftActiveOrderRecheckRouteHits=0; leftActiveOrderCount=0x00x679; leftStabilityStatus=diagnostic-only	constructed save bytes can exercise the load path, but are excluded from selected-root execution proof

Route-Pair Entry Selection

entry indices [6, 8]; negative reader indices [-12]; corrected trace normal selection gap True; route-pair execution proven False.

Wrapper Execution

wrapper entry 0x005429ac; descriptor 0x00542a04; child 0x00542ae8; proof False.

Diagnostic Exclusion

diagnostic route observed True; excluded from proof True; left stability reproducibility not-reproduced; left recheck route hits 0; left active-order recheck route hits 0.

Accepted Evidence Checklist

requirement	status	accepted signal
real selector 2:0 savedata selects 0x00540714	missing	saveLoaderGate.currentSelectorRealSaveCount > 0 and selectedPointerRealSaveCount > 0
normal runtime reaches selected pointer 0x00540714	missing	runtimeProbeGate.anyRuntimePollReachedRouteSelector == true on non-diagnostic input
non-current root selects/stores current 2:0 root or range	missing	opcode 07/08/09 non-current producer count is positive and route-backed
entry 6/8 or wrapper -12 is selected in normal execution	missing	routePairEntryExecutionProven == true or wrapperExecutionProofFound == true

Missing Evidence

captured gameplay savedat with save bytes 0x0002=0x02 and 0x0003=0x00
runtime watchpoint/poll proof that 0x0059de30 becomes 0x00540714 on the route path
static or VM control-flow proof that a non-current root selects/stores the current 2:0 root/range
runtime/control-flow proof that the current stream is interpreted through the 0x00440720 save-selector slice
strict map1_01a source hotspot remains required even after selector 2:0 evidence

Evidence Refs

out/save_selector_real_savedata_evidence_gap.json: validCandidateCount, requiredSelectorBytePairRealSaveCount, syntheticDiagnosticExcluded
out/save_selector_selected_pointer_usage.json: selectedPointerGlobalHex, currentSelectorRootHex, currentCodeRefCount, runtimeTraceHookPointCount, promotionStatus
out/save_selector_dispatch_table_context.json: saveSelectorHandlerTableHex, saveSelectorSliceOffsetHex, selectedRootExecutionDispatchRefFound
out/save_selector_global_selected_pointer_paths.json: nonCurrentOpcode07CurrentRootSelectCount, nonCurrentOpcode09CurrentRootStoreCount, nonCurrentOpcode08NearestCurrentRootProducerCount, selectedRootExecutionRefFound
out/save_selector_current_writer_paths.json: writerCount, currentInternalOnly, promotionStatus
out/runtime_selected_pointer_poll.json: sampleCount, observedSelectors, reachedRouteSelector
out/runtime_patched_public_selector_2_0_input_path_case_alias_poll.json: sampleCount, observedSelectors, reachedRouteSelector, constructedDiagnosticExcluded
out/runtime_predecessor_route_attempt_context.json: sourceFileCount, totalSequenceCount, totalSampleCount, routeSelectorHitCount, currentRootHitCount, dominantDiversionSelector, diversionRoutePromotionEvidenceFound

Not Accepted Evidence

constructed selector 2:0 savedata or patched public-base diagnostics
corrected trace reachability without normal entry selection
table-only .data references with no text/control-flow ref
selected-pointer hook refs whose prerequisites are not satisfied

Related Reports

out/save_selector_selected_root_execution_gap.html
out/save_selector_route_pair_entry_execution_gap.html
out/save_selector_wrapper_execution_gap.html
out/save_selector_leaf_table_context.json

Regenerate And Verify

python3 tools/summarize_selected_root_execution_external_proof_packet.py
python3 tools/verify_web_assets.py

Selected-root execution remains blocked: selector 2:0 is present as table data, but no real save, normal runtime trace, non-current producer, or wrapper/entry selection proof reaches 0x00540714.