Route map1_01a -> map2_02d; current selector 2:0; current root 0x00540714; selected-root execution ref found: False; proof found: False; rejection classification: selected-root-no-real-selector-no-execution-ref-diagnostic-excluded; failed selected-root 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; selected-root subgates non-promoting: 8 / 8; runtime/diagnostic gate status: no-real-selector-2:0-observed / diagnostic-excluded; missing evidence: 5; remaining proofs: 5; evidence refs: 8; promotion status: blocked.
No selected-root execution reference currently promotes map1_01a -> map2_02d. The save-loader path has no real selector 2:0 sample, the 0x00440720 dispatch table remains static-slice evidence rather than an execution reference, direct static references are table-only, global opcode 07/08/09 scans find no non-current producer of the current root/range, the six selected-pointer text refs are trace hook targets whose save/slot/current-range prerequisites are all still unproven, and their local windows contain no current-root/source/target/map-loader/script-runner/selector-table route-specific refs. A bounded handler-rooted selected-pointer direct-call graph reaches only expected generic selected-pointer/selector-table context and no current-root/route-record/route-selector/branch-state hits; its encoded target scalar scan adds no promoting route-execution candidate. Current writer paths are internal to 2:0, and runtime probes (base/prelude/long/late/route-watch) have not observed 0x0059de30 reaching 0x00540714. The supplemental public-save SaveData load-menu polls also observed no selector 2:0/current-root transition; the input-path case-alias multislot poll reached a staged public selector 1:0 but not 2:0. A follow-up predecessor direction sweep reached the public 1:0 selector under the same input-path/case-alias save-load setup and still did not observe selector 2:0/current root. A left-edge overrun activation sweep from the same public predecessor save also observed 1:0/19:1/50:0 states but not selector 2:0/current root, even with Return/z/space tails. The consolidated predecessor route-attempt context now covers high-frequency, nearest-exit, reciprocal-exit, trail-start, trail-left-overrun, coordinate, active-order, and branch-state public predecessor polls; across those 13 poll files it still has zero selector 2:0/current-root hits and only non-promoting diversion selectors. A standalone synthetic selector 2:0 save-shaped poll under the same input-path/case-alias load path still observed only selector 8:0 and did not reach the staged selector or current root. A patched public-base selector 2:0 diagnostic did make the original load path select 0x00540714; its active-order watch is stable at 0x01/[0x00] and its sampled follow-up moves to selector 10:0, which contains map2_02d but not map1_01a. Because those bytes are constructed and the follow-up bridge remains non-execution-like, the diagnostic is excluded from selected-root execution proof. This selected-root blocker is classified as selected-root-no-real-selector-no-execution-ref-diagnostic-excluded. A broader attached strace file-I/O probe covered the same load-menu candidate family with live PID/key-buffer writes and found no savedat file access in those bounded windows. Temporary original archive case aliases reduce resource lookup trace noise, but the case-alias multislot poll still observed only 8:0 and the case-alias file-I/O probe still found no savedat access.
| 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 |
out/save_selector_real_savedata_evidence_gap.json: validCandidateCount, requiredSelectorBytePairRealSaveCount, syntheticDiagnosticExcludedout/save_selector_selected_pointer_usage.json: selectedPointerGlobalHex, currentSelectorRootHex, currentCodeRefCount, runtimeTraceHookPointCount, promotionStatusout/save_selector_dispatch_table_context.json: saveSelectorHandlerTableHex, saveSelectorSliceOffsetHex, selectedRootExecutionDispatchRefFoundout/save_selector_global_selected_pointer_paths.json: nonCurrentOpcode07CurrentRootSelectCount, nonCurrentOpcode09CurrentRootStoreCount, nonCurrentOpcode08NearestCurrentRootProducerCount, selectedRootExecutionRefFoundout/save_selector_current_writer_paths.json: writerCount, currentInternalOnly, promotionStatusout/runtime_selected_pointer_poll.json: sampleCount, observedSelectors, reachedRouteSelectorout/runtime_patched_public_selector_2_0_input_path_case_alias_poll.json: sampleCount, observedSelectors, reachedRouteSelector, constructedDiagnosticExcludedout/runtime_predecessor_route_attempt_context.json: sourceFileCount, totalSequenceCount, totalSampleCount, routeSelectorHitCount, currentRootHitCount, dominantDiversionSelector, diversionRoutePromotionEvidenceFound