{"source":"map1_01a","target":"map2_02d","promotionStatus":"blocked","proofFound":false,"selectedRootExternalProofFound":false,"failedSelectedRootExternalGateIds":["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"],"missingEvidence":["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"],"currentSelector":"2:0","currentRootHex":"0x00540714","selectedPointerGlobalHex":"0x0059de30","selectedRootExecutionRefFound":false,"selectedRootExecutionRejectionClassification":"selected-root-no-real-selector-no-execution-ref-diagnostic-excluded","selectedRootSubgateCount":8,"selectedRootNonPromotingSubgateCount":8,"selectedRootAllSubgatesNonPromoting":true,"subgateRows":[{"gate":"save-loader selected root","status":"missing-current-selector","evidence":"real=0; selector2:0=0; selectedPointer=0; routePair=0; syntheticExcluded=True","impact":"no real captured save currently selects 2:0 / 0x00540714"},{"gate":"save-selector dispatch table anchor","status":"static-slice-only","evidence":"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","impact":"the 0x00440720 decoder slice and descriptor boundaries are statically anchored but do not prove selector 2:0 execution"},{"gate":"static current-root references","status":"table-only-no-text-ref","evidence":"currentCodeRefs=0; rootTextRefs=0; secondLevelTextRefs=0; readerRefs=0; writerHooks=4; readerHooks=2","impact":"current selector 2:0 is table data, not directly code-referenced route execution"},{"gate":"selected-pointer hook prerequisites","status":"trace-targets-prerequisites-unproven","evidence":"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","impact":"the selected-pointer text refs are trace hook targets; their prerequisites and handler call graph still do not reach selector 2:0 route evidence"},{"gate":"global opcode 07/08/09 selected-pointer paths","status":"no-non-current-producer","evidence":"roots=28; op7/8/9=3238/3180/316; nonCurrentRoot=0/0/0; nonCurrentRange=0/0/0; currentInternal=6/35; promoters=0","impact":"source/predecessor roots do not select or store the current 2:0 root/range"},{"gate":"current-root writer paths","status":"current-internal-only","evidence":"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","impact":"stores inside selector 2:0 cannot prove how normal route execution enters selector 2:0"},{"gate":"runtime selected-pointer probes","status":"no-real-selector-2:0-observed","evidence":"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","impact":"real/public runtime probes have not observed 0x0059de30 reaching 0x00540714; the constructed selector 2:0 hit is diagnostic-only"},{"gate":"constructed selector 2:0 diagnostic exclusion","status":"diagnostic-excluded","evidence":"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","impact":"constructed save bytes can exercise the load path, but are excluded from selected-root execution proof"}],"saveLoaderGate":{"realCandidateCount":0,"validRealCandidateCount":0,"currentSelectorRealSaveCount":0,"selectedPointerRealSaveCount":0,"routePairRealSaveCount":0,"routePromotionRealSaveCount":0,"syntheticDiagnosticExcluded":true,"requiredSelectorBytes":{"0x0002":"0x02","0x0003":"0x00"},"promotionStatus":"parked"},"staticReferenceGate":{"currentCodeRefCount":0,"noStaticDirectCurrentSelectorCodeRef":true,"selectedPointerGlobalTextRefCount":6,"currentSelectorRootTextRefCount":0,"currentSecondLevelTableTextRefCount":0,"currentFrontierReaderRefCount":0,"currentSourceRecordRefCount":0,"currentTargetRecordRefCount":0,"selectedPointerWriterHookCount":4,"selectedPointerReaderHookCount":2,"selectedPointerWriteMechanisms":["save-loader-writer","opcode07-indexed-writer","opcode09-mode0-writer","opcode09-mode1-writer"],"selectedPointerReadMechanisms":["opcode08-zero-check","opcode08-activator-read"],"promotionStatus":"blocked"},"runtimeProbeGate":{"memorySnapshotStatus":"memory-readable-no-route-proof","memorySelectedSelector":"8:0","memorySelectedPointerHex":"0x004a2d38","memoryEqualsCurrentRoot":false,"inputBaselineSelector":"8:0","inputFinalSelector":"50:0","inputHeldKeyPressedDetected":true,"inputXEventChangedSelectedPointer":false,"inputKeyBufferPokeChangedSelectedPointer":true,"keySequenceCount":28,"keySequenceReachedCurrentRoot":false,"keySequenceReachedRouteSelector":false,"pollSequenceCount":8,"pollSampleCount":1550,"pollObservedSelectors":["8:0"],"pollReachedCurrentRoot":false,"pollReachedRouteSelector":false,"preludePollSequenceCount":3,"preludePollSampleCount":491,"preludePollObservedSelectors":["8:0","50:0"],"preludePollReachedCurrentRoot":false,"preludePollReachedRouteSelector":false,"longPollSequenceCount":5,"longPollSampleCount":1928,"longPollObservedSelectors":["8:0","50:0"],"longPollReachedCurrentRoot":false,"longPollReachedRouteSelector":false,"latePollSequenceCount":1,"latePollSampleCount":1122,"latePollStartupWaitSeconds":45.0,"latePollObservedSelectors":["8:0","50:0"],"latePollReachedCurrentRoot":false,"latePollReachedRouteSelector":false,"routeWatchPollSequenceCount":1,"routeWatchPollSampleCount":1123,"routeWatchPollStartupWaitSeconds":45.0,"routeWatchPollObservedSelectors":["8:0","50:0"],"routeWatchPollReachedCurrentRoot":false,"routeWatchPollReachedRouteSelector":false,"routeWatchPollValues":"opcode24Mode1Source=0x00x1123; opcode24CurrentObjectIndex=0x00x1123; opcode24RuntimeFlag=0x00x783,0x01x340","savedataLoadPollSequenceCount":null,"savedataLoadPollSampleCount":null,"savedataLoadPollStartupWaitSeconds":null,"savedataLoadPollObservedSelectors":[],"savedataLoadPollReachedCurrentRoot":null,"savedataLoadPollReachedRouteSelector":null,"savedataLoadPollValues":"-","multislotSavedataLoadPollSequenceCount":null,"multislotSavedataLoadPollSampleCount":null,"multislotSavedataLoadPollStartupWaitSeconds":null,"multislotSavedataLoadPollObservedSelectors":[],"multislotSavedataLoadPollPublicSaveSelectors":[],"multislotSavedataLoadPollObservedPublicSaveSelectors":[],"multislotSavedataLoadPollReachedPublicSaveSelector":null,"multislotSavedataLoadPollReachedCurrentRoot":null,"multislotSavedataLoadPollReachedRouteSelector":null,"multislotSavedataLoadPollValues":"-","caseAliasMultislotSavedataLoadPollSequenceCount":null,"caseAliasMultislotSavedataLoadPollSampleCount":null,"caseAliasMultislotSavedataLoadPollStartupWaitSeconds":null,"caseAliasMultislotSavedataLoadPollCaseAliasesEnabled":null,"caseAliasMultislotSavedataLoadPollPublicSaveSelectors":[],"caseAliasMultislotSavedataLoadPollObservedSelectors":[],"caseAliasMultislotSavedataLoadPollObservedPublicSaveSelectors":[],"caseAliasMultislotSavedataLoadPollReachedPublicSaveSelector":null,"caseAliasMultislotSavedataLoadPollReachedCurrentRoot":null,"caseAliasMultislotSavedataLoadPollReachedRouteSelector":null,"caseAliasMultislotSavedataLoadPollValues":"-","inputPathCaseAliasMultislotSavedataLoadPollSequenceCount":null,"inputPathCaseAliasMultislotSavedataLoadPollSampleCount":null,"inputPathCaseAliasMultislotSavedataLoadPollStartupWaitSeconds":null,"inputPathCaseAliasMultislotSavedataLoadPollCaseAliasesEnabled":null,"inputPathCaseAliasMultislotSavedataLoadPollPublicSaveSelectors":[],"inputPathCaseAliasMultislotSavedataLoadPollObservedSelectors":[],"inputPathCaseAliasMultislotSavedataLoadPollObservedPublicSaveSelectors":[],"inputPathCaseAliasMultislotSavedataLoadPollReachedPublicSaveSelector":null,"inputPathCaseAliasMultislotSavedataLoadPollReachedCurrentRoot":null,"inputPathCaseAliasMultislotSavedataLoadPollReachedRouteSelector":null,"inputPathCaseAliasMultislotSavedataLoadPollValues":"-","predecessorDirectionSweepPollSequenceCount":8,"predecessorDirectionSweepPollSampleCount":3380,"predecessorDirectionSweepPollStartupWaitSeconds":18.0,"predecessorDirectionSweepPollCaseAliasesEnabled":true,"predecessorDirectionSweepPollStagedSaveKind":"public predecessor direction sweep","predecessorDirectionSweepPollPublicSaveSelectors":["1:0"],"predecessorDirectionSweepPollObservedSelectors":["50:0","19:1","1:0"],"predecessorDirectionSweepPollObservedPublicSaveSelectors":["1:0"],"predecessorDirectionSweepPollReachedPublicSaveSelector":true,"predecessorDirectionSweepPollReachedCurrentRoot":false,"predecessorDirectionSweepPollReachedRouteSelector":false,"predecessorDirectionSweepPollValues":"opcode24Mode1Source=0x00x3380; opcode24CurrentObjectIndex=0x00x3380; opcode24RuntimeFlag=0x00x3380","predecessorLeftOverrunActivationSweepPollSequenceCount":4,"predecessorLeftOverrunActivationSweepPollSampleCount":2299,"predecessorLeftOverrunActivationSweepPollStartupWaitSeconds":18.0,"predecessorLeftOverrunActivationSweepPollCaseAliasesEnabled":true,"predecessorLeftOverrunActivationSweepPollStagedSaveKind":"public predecessor left-overrun activation sweep","predecessorLeftOverrunActivationSweepPollPublicSaveSelectors":["1:0"],"predecessorLeftOverrunActivationSweepPollObservedSelectors":["50:0","19:1","1:0"],"predecessorLeftOverrunActivationSweepPollObservedPublicSaveSelectors":["1:0"],"predecessorLeftOverrunActivationSweepPollReachedPublicSaveSelector":true,"predecessorLeftOverrunActivationSweepPollReachedCurrentRoot":false,"predecessorLeftOverrunActivationSweepPollReachedRouteSelector":false,"predecessorLeftOverrunActivationSweepPollValues":"opcode24Mode1Source=0x00x2299; opcode24CurrentObjectIndex=0x00x2299; opcode24RuntimeFlag=0x00x2299","predecessorRouteAttemptSummary":"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","predecessorRouteAttemptPromotionStatus":"blocked","predecessorRouteAttemptProofFound":false,"predecessorRouteAttemptRuntimeProofFound":false,"predecessorRouteAttemptSourceFileCount":13,"predecessorRouteAttemptTotalSequenceCount":60,"predecessorRouteAttemptTotalSampleCount":59816,"predecessorRouteAttemptPublicObservedFileCount":11,"predecessorRouteAttemptReachedRouteSelector":false,"predecessorRouteAttemptReachedCurrentRoot":false,"predecessorRouteAttemptRouteSelectorHitCount":0,"predecessorRouteAttemptCurrentRootHitCount":0,"predecessorRouteAttemptObservedSelectorCounts":{"19:1":30975,"1:0":5587,"50:0":22685,"8:0":569},"predecessorRouteAttemptDominantDiversionSelector":"19:1","predecessorRouteAttemptDiversionSelectorContextCount":3,"predecessorRouteAttemptFieldMapDiversionSelectorCount":2,"predecessorRouteAttemptResourceOnlyDiversionSelectorCount":1,"predecessorRouteAttemptDiversionRoutePromotionEvidenceFound":false,"predecessorRouteAttemptPublicSelectorContextClassification":"public-predecessor-target-side-non-promoting","predecessorRouteAttemptPublicSelectorCurrentProofCount":0,"syntheticSelector20InputPathCaseAliasPollSequenceCount":2,"syntheticSelector20InputPathCaseAliasPollSampleCount":374,"syntheticSelector20InputPathCaseAliasPollStartupWaitSeconds":18.0,"syntheticSelector20InputPathCaseAliasPollCaseAliasesEnabled":true,"syntheticSelector20InputPathCaseAliasPollStagedSelectors":["2:0"],"syntheticSelector20InputPathCaseAliasPollObservedSelectors":["8:0"],"syntheticSelector20InputPathCaseAliasPollObservedStagedSelectors":[],"syntheticSelector20InputPathCaseAliasPollReachedStagedSelector":false,"syntheticSelector20InputPathCaseAliasPollReachedCurrentRoot":false,"syntheticSelector20InputPathCaseAliasPollReachedRouteSelector":false,"syntheticSelector20InputPathCaseAliasPollValues":"opcode24Mode1Source=0x00x374; opcode24CurrentObjectIndex=0x00x374; opcode24RuntimeFlag=0x00x374","patchedPublicSelector20InputPathCaseAliasPollSequenceCount":2,"patchedPublicSelector20InputPathCaseAliasPollSampleCount":375,"patchedPublicSelector20InputPathCaseAliasPollStartupWaitSeconds":18.0,"patchedPublicSelector20InputPathCaseAliasPollCaseAliasesEnabled":true,"patchedPublicSelector20InputPathCaseAliasPollStagedSaveKind":"patched public-base diagnostic","patchedPublicSelector20InputPathCaseAliasPollStagedSelectors":["2:0"],"patchedPublicSelector20InputPathCaseAliasPollObservedSelectors":["2:0","10:0"],"patchedPublicSelector20InputPathCaseAliasPollObservedStagedSelectors":["2:0"],"patchedPublicSelector20InputPathCaseAliasPollReachedStagedSelector":true,"patchedPublicSelector20InputPathCaseAliasPollReachedCurrentRoot":true,"patchedPublicSelector20InputPathCaseAliasPollReachedRouteSelector":true,"patchedPublicSelector20InputPathCaseAliasPollValues":"opcode24Mode1Source=0x00x375; opcode24CurrentObjectIndex=0x00x375; opcode24RuntimeFlag=0x00x375","constructedDiagnosticPollReachedRouteSelector":true,"fileIoAttachLoadBackend":"strace-attach","fileIoAttachLoadSequenceCount":8,"fileIoAttachLoadSequenceWithPidCount":8,"fileIoAttachLoadSequenceWithKeyWritesCount":8,"fileIoAttachLoadInputTraceUsable":true,"fileIoAttachLoadMatchedLineCount":0,"fileIoAttachLoadAnySavedat1Access":false,"fileIoAttachCaseAliasLoadBackend":"strace-attach","fileIoAttachCaseAliasLoadSequenceCount":8,"fileIoAttachCaseAliasLoadSequenceWithPidCount":8,"fileIoAttachCaseAliasLoadSequenceWithKeyWritesCount":8,"fileIoAttachCaseAliasLoadInputTraceUsable":true,"fileIoAttachCaseAliasLoadMatchedLineCount":0,"fileIoAttachCaseAliasLoadAnySavedat1Access":false,"fileIoAttachCaseAliasLoadCaseAliasesEnabled":true,"anyRuntimePollReachedCurrentRoot":false,"anyRuntimePollReachedRouteSelector":false,"promotionStatus":"blocked"},"diagnosticExclusionGate":{"available":true,"notRoutePromotionProof":true,"promotionStatus":"blocked","currentSelector":"2:0","followupSelector":"10:0","currentRootHex":"0x00540714","followupRootHex":"0x0053c4a4","runtimePollSampleCount":375,"runtimePollObservedSelectors":["2:0","10:0"],"runtimeSelectorSampleCounts":{"2:0":265,"10:0":110},"runtimeTransitionTimelineAvailable":true,"observedCurrentThenFollowupInDiagnosticPoll":true,"coObservedCurrentAndFollowupInDiagnosticPoll":true,"activeOrderSourcePoll":"runtime_selected_pointer_patched_public_selector_2_0_active_order_poll.json","activeOrderSampleCount":210,"activeOrderCountHex":"0x01","activeOrderHexes":["0x00"],"activeSlotFirstDwordsStaticHex":["0x004f867c",null,null],"runtimeSlotBaseTableStaticHexes":["0x00457750",null,null],"runtimeObjectTableStaticHexes":["0x0055be00","0x0055d2f8","0x0055d5d4"],"branchStateSourcePoll":"runtime_selected_pointer_patched_public_selector_2_0_branch_state_poll.json","branchStateTotalSampleCount":374,"branchStateRouteSampleCount":164,"branchStateObservedSelectors":["2:0","10:0","50:0"],"branchStateObservedStagedSelectors":["2:0"],"branchStateReachedCurrentRoot":true,"branchStateReachedRouteSelector":true,"branchStateActiveSelectionFlagHex":"0x01","branchStateRouteActiveSelectionFlagHex":"0x01","branchStateSecondaryHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"branchStateRouteSecondaryHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"branchStateSecondaryAllZero":true,"branchStateRouteSecondaryAllZero":true,"branchStateMatchesPredecessorFillHypothesis":false,"branchStatePromotionStatus":"diagnostic-only","exitCandidateSourcePoll":"runtime_patched_selector_exit_candidates_poll.json","exitCandidateCount":null,"exitCandidateRouteSelectorSides":[],"exitCandidateBranchStateNonzeroSides":[],"exitCandidatePromotionStatus":null,"leftStabilitySourcePoll":"runtime_patched_selector_left_stability_poll.json","leftStabilitySampleCount":679,"leftStabilityRouteSequenceNames":["left-load-right"],"leftStabilityNonRouteSequenceNames":["left-load-only","left-load-left"],"leftStabilityObservedSelectors":["50:0","10:0","2:0"],"leftStabilityRouteSelectorHitCount":125,"leftStabilityOpcode24AllZero":true,"leftStabilityRouteHitReproducibility":"not-reproduced","leftStabilityRecheckSourcePoll":"runtime_patched_selector_left_stability_recheck_poll.json","leftStabilityRecheckSampleCount":680,"leftStabilityRecheckObservedSelectors":["50:0"],"leftStabilityRecheckRouteSelectorHitCount":0,"leftActiveOrderRecheckSourcePoll":"runtime_patched_selector_left_active_order_poll.json","leftActiveOrderRecheckSampleCount":679,"leftActiveOrderRecheckObservedSelectors":["50:0"],"leftActiveOrderRecheckRouteSelectorHitCount":0,"leftActiveOrderRecheckActiveOrderCountValues":"0x00x679","leftActiveOrderRecheckSlot0DescriptorValues":"0x00266004x679","leftStabilityPromotionStatus":"diagnostic-only","followupAliasRole":"address-adjacent target-side predecessor","followupAliasContainsSource":false,"followupAliasContainsTarget":true,"followupAliasHasPublicSample":false,"followupAliasPublicSampleIds":[],"followupAliasFieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"aliasToCurrentExecutionLikeBridgeFound":false,"aliasToCurrentAfterLastFillExecutionLikeBridgeFound":false,"globalPromotingCandidateCount":0,"exactFollowupPointerHexes":["0x00540540"],"exactTraceStopReasons":["no-fixed-advance"],"exactTraceContainsSelectedPointerGlobal":false,"exactTraceContainsCurrentRootExactRef":false,"exactTraceContainsSourceMapString":false,"exactTraceContainsTargetMapString":false,"excludedFromSelectedRootExecutionProof":true},"routePairSelectionEvidence":{"promotionStatus":"blocked","selector":"2:0","rootHex":"0x00540714","rootTablePointerHex":"0x005429dc","frontierReaderHex":"0x00542b0c","routePairEntryIndices":[6,8],"routePairCorrectedTraceEntryIndices":[6,8],"negativeReaderEntryIndices":[-12],"routePairCurrentEntryCount":2,"routePairCorrectedTraceReachesReaderCount":2,"frontierReaderSelectableByNonNegativeIndex":false,"frontierReaderReachableByCorrectedNonNegativeIndex":true,"correctedTraceNormalSelectionGapFound":true,"correctedTraceNormalSelectionGapStatus":"corrected-trace-not-normal-selection-proof","routePairEntryExecutionProven":false,"selectedRootExecutionRefFound":false,"wrapperExecutionProofFound":false,"rootTableWindowDirectRefCount":14,"rootTableWindowDirectTextRefCount":0,"routePairIndexSourceHigherLevelIndexSourceProven":false,"evidenceRows":[{"kind":"route-pair-current-entries","status":"corrected-reader-trace-only","detail":"indices=6,8; corrected=6,8; readerReachableByCorrectedNonNegativeIndex=True"},{"kind":"negative-wrapper-reader","status":"outside-current-root-run","detail":"indices=-12; wrapperEntry=0x005429ac; wrapper=0x00542a04; child=0x00542ae8; entryRunRefs=0; opcode5aFallthroughRefs=1; fallthroughNonCodeRefs=1; fallthroughHandlers=0x005429ac/0xac->0x00000003/-"},{"kind":"route-entry-pointer-source-refs","status":"non-promoting-fallthrough-only","detail":"routeEntryIdx=-13,-12,6,8; entryRefs=3; textRefs=0; promotingRefs=0; opcode5aFallthroughRefs=3; fallthroughNonCodeRefs=3; nonNegPromoting=0; negativeReaderPromoting=0; encodedRaw=3; encodedBranch=0; encodedModeled=0; encodedPromoting=0; encodedClass=raw-encoded-entry-anchor-scalars-nonpromoting; handlers=0x005429ac/0xac->0x00000003/-,0x005429f4/0xf4->0x00000004/-,0x005429fc/0xfc->0x004409b8/.data; descriptorTableOnly=True; childDescriptorWordOnly=True"},{"kind":"global-leaf-table-context","status":"frontier-leaf-negative-only","detail":"selectorTables=35; fieldEntries=261; negative/nonNegative=136/125; currentRoutePairIdx=-13,-12,6,8; frontierLeafOnlyNegative=True"},{"kind":"root-table-direct-ref-context","status":"data-only-no-text-ref","detail":"tableWindow=0x005429a8..0x00542a10; tableRefs=14/0; sections={'.data': 14}; routeEntryTextRefs=0; routeLeafTextRefs=0; frontierLeafTextRefs=0; frontierReaderTextRefs=0; frontierReaderRefs=0"},{"kind":"opcode07-direct-entry-selection","status":"absent","detail":"rowCount=33; indexMode=zero-extended-u8; leafWindow=0; negative=0; current=0; wrapper=0; directFrontier=0"},{"kind":"opcode08-activation-window","status":"source-predecessor-current-producer-absent","detail":"sourcePredecessorActivators=162; currentRoot=0; currentRange=0; ownRange=24; scriptScalar=107; currentInternalRange=24; sourcePredBuckets=0:0:op8=31,currentRootRange=0/0,own=9,script=21,unreadable=1;1:0:op8=131,currentRootRange=0/0,own=15,script=86,unreadable=30; currentContrast=2:0:op8=67,currentRootRange=0/24,own=24,script=39,unreadable=4; promotes=False"},{"kind":"opcode09-selected-pointer-store","status":"source-predecessor-current-store-absent","detail":"sourcePredecessorRows=17; supported=12; unsupported=5; unsupportedModes=0x6c,0xfe; pointerCollisions=5; currentRangeStores=0; activationLinkedCollisions=13; collisionRows=1:0@0x0047da5c=0x00476c09/0x6c/.data;1:0@0x0047dad4=0x00476c09/0x6c/.data;1:0@0x0047dbcc=0x00476c09/0x6c/.data;1:0@0x0047dc88=0x00476c09/0x6c/.data;1:0@0x0047f2ac=0x0041fe09/0xfe/.text; promotes=False"},{"kind":"corrected-trace-normal-selection-gap","status":"corrected-trace-not-normal-selection-proof","detail":"correctedReaderGrounded=True; nonNegativeSelectable=False; nonNegativeCorrectedReachable=True; frontierLeafNegativeOnly=True; opcode07DirectAbsent=True; sourcePredCurrentProducers=0; wrapperExec=False; selectedRootRef=False"},{"kind":"selected-root-execution","status":"missing","detail":"selectedRootExecutionRefFound=False; currentRoot=0x00540714; selectedPointerGlobal=0x0059de30; promotion=blocked"},{"kind":"strict-hotspot","status":"missing","detail":"leafIndexStrict=False; frontierStrict=False; frontierClusterClass=current frontier selector-only cluster"}],"remainingProofs":["prove selected-root execution reaches selector 2:0 on the normal route path","prove a higher-level selector/table index selects entry 6 or 8","or prove wrapper entry -12 executes into 0x00542ae8 on the normal route path","find a strict map1_01a source coordinate or hotspot linked to map2_02d"]},"wrapperExecutionEvidence":{"promotionStatus":"blocked","wrapperEntryHex":"0x005429ac","wrapperDescriptorHex":"0x00542a04","wrapperChildPointerHex":"0x00542ae8","frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","currentRootReferencesWrapper":false,"wrapperEntryRefCount":1,"wrapperEntryCurrentRootEntryRunRefCount":0,"wrapperEntryOpcode5aFallthroughRefCount":1,"wrapperEntryFallthroughNonCodeRefCount":1,"wrapperEntryPromotingRefCount":0,"wrapperChildIsFrontierLeaf":true,"wrapperExecutionProofFound":false,"currentLeafSelectionProofFound":false,"currentSelectorLeafExecutionProofFound":false,"constructedDiagnosticExcludedFromWrapperProof":true,"constructedDiagnosticLeftStabilityReproducibility":"not-reproduced","constructedDiagnosticLeftStabilityRouteSelectorHitCount":125,"constructedDiagnosticLeftStabilityRecheckRouteSelectorHitCount":0,"constructedDiagnosticLeftActiveOrderRecheckRouteSelectorHitCount":0,"constructedDiagnosticLeftActiveOrderRecheckActiveOrderCountValues":"0x00x679","remainingProofs":["prove selected-root execution reaches current selector 2:0 on the normal route path","decode the higher-level table/index path that selects entries 6/8 or negative entry -12","prove wrapper 0x00542a04 executes into frontier leaf 0x00542ae8 in normal route execution","find a strict map1_01a source coordinate or hotspot linked to map2_02d"],"evidenceRefs":[{"path":"out/save_selector_leaf_table_context.json","fields":["selector","rootHex","rootTablePointerHex","frontierLeafRefIsDirectRootTableEntry","runtimeSelectionProven","promotionStatus"]},{"path":"out/save_selector_leaf_table_global_context.json","fields":["selectorTableCount","fieldEntryRowCount","currentSelectorRoutePairIndices","currentFrontierLeafOnlyNegative"]},{"path":"out/save_selector_wrapper_descriptor_context.json","fields":["wrapperDescriptorHex","wrapperEntryHex","wrapperChildPointerHex","wrapperRefBeforeCurrentRoot","currentRootReferencesWrapper","wrapperEntryPromotingRefCount"]},{"path":"out/save_selector_route_pair_descriptor_context.json","fields":["currentRoutePairDescriptorCount","currentRoutePairDescriptorIndices","currentRoutePairCorrectedTraceReachesReaderCount","readerBearingCurrentEntryCount","readerBearingNegativeEntryCount"]},{"path":"out/save_selector_opcode07_indexed_pointers.json","fields":["opcode07IndexMode","rowCount","selectedWrapperEntrySlotCount","selectedLeafTableWindowSlotCount","selectedCurrentRootEntrySlotCount","selectedNegativeRootEntrySlotCount","directFrontierTargetCount"]},{"path":"out/save_selector_opcode08_activation_windows.json","fields":["sourceOrPredecessorOpcode08ActivatorCount","sourceOrPredecessorCurrentRootProducerCount","sourceOrPredecessorCurrentRangeProducerCount","currentInternalCurrentRangeProducerCount"]},{"path":"out/save_selector_opcode09_pointer_collisions.json","fields":["sourceOrPredecessorOpcode09RowCount","sourceOrPredecessorSupportedOpcode09RowCount","sourceOrPredecessorUnsupportedModeOpcode09RowCount","sourceOrPredecessorCurrentRangeStoreCount"]},{"path":"out/save_selector_selected_root_execution_gap.json","fields":["selectedRootExecutionRefFound","runtimeSelectionProven","diagnosticExclusionGate","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_current_root_frontier_paths.json","fields":["strictHotspotFound","frontierClusterClass","frontierClusterEventCount","frontierClusterSelectorRefCount"]},{"path":"out/save_selector_merge_execution_gap.json","fields":["selectorMergeExecutionProofFound","selectorMergeGapOpen","promotionStatus"]},{"path":"out/save_selector_route_pair_entry_execution_gap.json","fields":["rootTableDirectRefContext","routePairEntryExecutionProven","correctedTraceNormalSelectionGapFound","remainingProofs"]}]},"leafTableEvidence":{"selector":"2:0","rootHex":"0x00540714","rootTablePointerHex":"0x005429dc","frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","frontierLeafRefIsDirectRootTableEntry":false,"runtimeSelectionProven":false,"promotionStatus":"blocked"},"acceptedEvidenceChecklist":[{"requirement":"real selector 2:0 savedata selects 0x00540714","currentStatus":"missing","acceptedSignal":"saveLoaderGate.currentSelectorRealSaveCount > 0 and selectedPointerRealSaveCount > 0"},{"requirement":"normal runtime reaches selected pointer 0x00540714","currentStatus":"missing","acceptedSignal":"runtimeProbeGate.anyRuntimePollReachedRouteSelector == true on non-diagnostic input"},{"requirement":"non-current root selects/stores current 2:0 root or range","currentStatus":"missing","acceptedSignal":"opcode 07/08/09 non-current producer count is positive and route-backed"},{"requirement":"entry 6/8 or wrapper -12 is selected in normal execution","currentStatus":"missing","acceptedSignal":"routePairEntryExecutionProven == true or wrapperExecutionProofFound == true"}],"notAcceptedEvidence":["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"],"relatedReports":["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"],"evidenceRefs":[{"path":"out/save_selector_real_savedata_evidence_gap.json","fields":["validCandidateCount","requiredSelectorBytePairRealSaveCount","syntheticDiagnosticExcluded"]},{"path":"out/save_selector_selected_pointer_usage.json","fields":["selectedPointerGlobalHex","currentSelectorRootHex","currentCodeRefCount","runtimeTraceHookPointCount","promotionStatus"]},{"path":"out/save_selector_dispatch_table_context.json","fields":["saveSelectorHandlerTableHex","saveSelectorSliceOffsetHex","selectedRootExecutionDispatchRefFound"]},{"path":"out/save_selector_global_selected_pointer_paths.json","fields":["nonCurrentOpcode07CurrentRootSelectCount","nonCurrentOpcode09CurrentRootStoreCount","nonCurrentOpcode08NearestCurrentRootProducerCount","selectedRootExecutionRefFound"]},{"path":"out/save_selector_current_writer_paths.json","fields":["writerCount","currentInternalOnly","promotionStatus"]},{"path":"out/runtime_selected_pointer_poll.json","fields":["sampleCount","observedSelectors","reachedRouteSelector"]},{"path":"out/runtime_patched_public_selector_2_0_input_path_case_alias_poll.json","fields":["sampleCount","observedSelectors","reachedRouteSelector","constructedDiagnosticExcluded"]},{"path":"out/runtime_predecessor_route_attempt_context.json","fields":["sourceFileCount","totalSequenceCount","totalSampleCount","routeSelectorHitCount","currentRootHitCount","dominantDiversionSelector","diversionRoutePromotionEvidenceFound"]}],"evidenceRefCount":8,"regenerateAndVerifyCommands":["python3 tools/summarize_selected_root_execution_external_proof_packet.py","python3 tools/verify_web_assets.py"],"remainingProofs":["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"],"conclusion":"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."}