Route map1_01a -> map2_02d; promotion allowed: False; promotion status: blocked.
External proof handoff: route_promotion_external_proof_handoff.html; command python3 tools/refresh_savedata_route_proof.py --search-root <file-or-dir-or-zip>; packages captured-selector-2-0-savedata,runtime-trace-or-equivalent-selected-root-proof,strict-source-hotspot-review,selected-root-execution-proof,current-leaf-wrapper-proof,predecessor-fill-order-proof,selector-merge-proof,opcode20-gate-base-proof,opcode24-runtime-producer-proof.
map1_01a -> map2_02d remains blocked. Geometry exits, selector 2:0 scene-list adjacency, and current-root writer paths are useful diagnostics, but every promotion gate still lacks either a strict map1_01a trigger, a captured selector 2:0 save/runtime trace, or selector-merge control-flow proof.
| area | status | evidence | promotion impact |
|---|---|---|---|
| confirmed route | blocked | reachable=['map1_02b', 'map1_01a']; blockers=1; missing=strict source coordinate,tile hotspot confirmation,selected-root execution ref,real selector 2:0 captured savedata,runtime trace/equivalent selected-root proof; nonPromoting=scene-list/resource gate only | normal route still stops at map1_01a |
| geometry exits | trial-only | 4 exits, 2 auto candidates, coordinate-promotable=0 | useful for routeAssist testing, not a normal transition proof |
| original collision flags | diagnostic-only | collisionMode=originalLayer1Flags; sourceOriginalStandable=3/4; targetSpawnsOriginalStandable=4/4; proofFound=False; failedGates=strict-source-hotspot,selected-root-execution,real-selector-2-0-savedata,runtime-trace-or-equivalent-control-flow; missingEvidence=4; evidenceRefs=3; promotionAllowed=False | layer1 collision flags improve routeAssist review confidence but do not provide a source hotspot or execution proof |
| generic edge trigger | blocked-generic-edge-trigger-unproven | sourceBoundaryCandidates=2; autoBoundaryCandidates=2; boundarySnippets=True; fallToOverlap=True; helperCalls=20; transitionRelHits=0; routeImmediateHits=0; globalRelHits=0/4/0; globalRouteImms=6/0/0/0; scriptRunnerWindows=4/0/0/0; selectedPointerWindows=6/0; latchRefs=79; latchWindowHits=0/0; callerWindows=1/0/0;20/0/0; callGraph=bounded-direct-callgraph-no-transition-path/7/24/0/0/0/6; callGraphSensitivity=6/True/True; indirectGraph=bounded-indirect-callgraph-no-static-transition-target/6/58/0/0 | map-edge candidates still need a transition dispatch or runtime watchpoint proof |
| strict hotspot | missing | strictHotspotFound=False; eventTransitions=0; eventShapeSource=0; eventShapeTarget=0; relaxedSmallEvents=44; relaxedSourceTarget=0; manifestPromotableSourcePoints=0; scenePayloadPromotions=0; scenePayloadTextRefs=0; sceneListProofFound=False; sceneListFailedGates=resource-branch-not-field-map,selector-adjacency-only,strict-hotspot-missing; sceneListMissingEvidenceCount=3; sceneRecordSourceRows=3; sourceOutgoingStrict=0; targetSelectorOnly=5; sharedStrict=0; tileHotspotConfirmed=False; tileCurrentReviews=0; tileSourceStandable=3/4; tileTargetSpawns=4/4; tileLowNibbleMatches=4/4; tileCenterPairMatches=0/4; tileLow3x3Matches=0/4; tilePair3x3Matches=0/4; strictEventTileSignatures=11/228; strictEventTileTargetLinked=0; strictEventTileDirect=0; strictEventTileMatches=center:1/4,low3x3:0/4,pair3x3:0/4; strictEventTileCenterPairs=11; strictEventTileCenterOwners=map1_02b->map1_01a:11; strictEventTileCenterSame/Target/Confirmed/Rejected=0/0/0/11; strictEventTileAllCenterRejected=True; strictEventTileTargetSpawnSig=points:0,candidates:0/2/0,matches:0/147/0,targetMap:0/0/0,low3x3Owners=map2_03l->map2_01c,map2_13c:45,map1_02b->map1_01a:20,map9_01e->map2_04l,map2_05e,map2_06e,map2_08e,map6_01e:20,map2_03l->map2_01c,map2_13c,map3_01f:15,map2_03l->map2_01c,map2_13c,map7_05h:15,map4_08n->map2_01c,map2_13c,map2_03l,map4_01l,map4_09l:14,map8_32q->map8_19p,map8_20p,map8_21p,map8_22p,map8_23p,map8_24p,map8_25p,map8_26p,map8_27p,map8_28p,map8_29p,map8_30p,map8_31p:7,map8_18o->map8_11o,map8_12o,map8_13o,map8_14o,map8_15o,map8_16o,map8_17o:6,map5_38i->map5_14i,map5_11i,map5_12i,map5_15i,map5_16i,map5_17i,map5_18i,map5_19i,map5_20i,map5_37i:5,low3x3Target/Confirmed/Rejected=0/1/19,low3x3GenericOnly=True,zero:True/True/True; strictEventTilePromotes=False | cannot promote map1_01a -> map2_02d without a source trigger |
| strict source hotspot context | blocked-selector-only | candidates=4; evidenceRefs=19; candidateAllBlocked=True; candidateBlocks={"coordinate refs are non-promotable":4,"no map1_01a->map2_02d transition-review row":4,"no strict map1_01a event transition":4,"tile signature matches only as geometry/tile evidence":4,"variant coordinate scan found no strict source coordinate":4}; reviews=0; events=0; strict=False/False; coordBlocked=True; variantBlocked=True; targetSpawnCoord=80/18/43/0/True; targetSpawnClasses={"selector-script-word":18}/{"character-descriptor-script-word":43}; cnsPayload=24/0/0/14/0/False; centerMatches=11; centerOwners=map1_02b->map1_01a:11; centerSame/Target/Confirmed/Rejected=0/0/0/11; allCenterRejected=True; low3x3=0; pair3x3=0; targetSpawnSig=points:0,matches:0/147/0,targetMap:0/0/0,low3x3Owners=map2_03l->map2_01c,map2_13c:45,map1_02b->map1_01a:20,map9_01e->map2_04l,map2_05e,map2_06e,map2_08e,map6_01e:20,map2_03l->map2_01c,map2_13c,map3_01f:15,map2_03l->map2_01c,map2_13c,map7_05h:15,map4_08n->map2_01c,map2_13c,map2_03l,map4_01l,map4_09l:14,map8_32q->map8_19p,map8_20p,map8_21p,map8_22p,map8_23p,map8_24p,map8_25p,map8_26p,map8_27p,map8_28p,map8_29p,map8_30p,map8_31p:7,map8_18o->map8_11o,map8_12o,map8_13o,map8_14o,map8_15o,map8_16o,map8_17o:6,map5_38i->map5_14i,map5_11i,map5_12i,map5_15i,map5_16i,map5_17i,map5_18i,map5_19i,map5_20i,map5_37i:5,low3x3Target/Confirmed/Rejected=0/1/19,low3x3GenericOnly=True,zero:True/True/True; targetLinked=0; direct=0; resourcePoints=163; routeExitPoints=0; branch=resource-gate-before-scene-record; selectorOverlap=1/1; frontierBreadth=11/110/10/10; edgeTrigger=2/2/0/0; edgeLatchWindow=79/0/0; edgeGlobal=0/4/0; edgeScriptRunnerWindows=4/0/0/0; edgeSelectedPointerWindows=6/0; edgeEncoded=0/0/0/0/0;0/0/0/0/0;0/0/0/0/0;4/4/0/0/0; edgeEncodedClass=no-encoded-route-target-scalars-in-edge-windows/no-encoded-route-target-scalars-in-edge-windows/no-encoded-route-target-scalars-in-edge-windows/edge-encoded-route-target-scalars-nonpromoting; edgeCallerWindows=1/0/0;20/0/0; edgeStatus=blocked-generic-edge-trigger-unproven; selectorOnly=True; proof=False; reject=selector-only-scene-list-no-strict-hotspot; status=blocked | selector adjacency and center-tile similarity remain diagnostic without a strict source trigger |
| strict target link gap | blocked | directStrict=0; sourceStrict=1; incomingOnly=1; outgoing=0; targetStrict=0; targetSelectorOnly=5; frontier=0x00542b44..0x00542e74; selectorOnly=True; strictLink=False; proofFound=False; failedGates=direct-strict-event-transition,source-outgoing-strict-cluster,target-strict-cluster,selector-only-frontier-not-event-linked; missingEvidenceCount=4; evidenceRefs=2 | adjacent selector clusters remain non-promoting without a strict source-to-target event link |
| selector merge | open | 0:0 source-only, 1:0 target-only, 2:0 contains route pair; source/current bridges=0/0; target forward bridge=0; aliasPublicForward=-; aliasAddressForward=10:0; aliasCoverage=uncovered-address-adjacent-only; aliasExclusion=address-adjacent-alias-data-only; frontierDirect=False; rootRefsWrapper=False; entryRootRefs=1; entryPromotes=0; routePairReaderHits=2; opcode2cCorrectedReaderHits=2/2; routePairGeoHits=0; readerNegative=1; routePairProofFound=False; opcode2cProofFound=False | selector 2:0 looks like a merge state, not proven execution order |
| selector merge runtime context | blocked-shape-only | shapeOnly=True; forwardBridgeAbsent=True; encodedRaw=3; encodedPromoting=0; encodedMerge=False; aliasPublicForward=-; aliasAddressForward=10:0; aliasCoverage=uncovered-address-adjacent-only; aliasExclusion=address-adjacent-alias-data-only; reverseBeforeFillOnly=True; selectedRootRef=False; anyPollRoute=False; diagRoute=True; diagExcluded=True; predFillContext=False; predFillSamples=46919; predFillMatches=0; routePairEntryExec=False; strict=False/False; runtimeProof=False; status=blocked | merge-shaped selector evidence remains non-promoting until it has runtime/control-flow proof |
| selector root refs | table-only-no-execution | tableOnly=True; textRefs=False; splitPrev=True; currentPair=True; predToCurrent=False; routeOrder=False; proofFound=False; failedGates=selector-root-code-ref,predecessor-current-root-link,route-order-execution-proof,strict-hotspot-or-real-selector-proof; missingEvidenceCount=4; status=blocked | selector root pointer chains show table membership, not selected-root execution |
| scene adjacency index | selector-adjacency-only | leaves=322; refs=663; adjOcc=341; uniquePairs=77; strictEdges=45; confirmedEdges=1; strictOverlap=0; confirmedOverlap=0; selectorOnlyPairs=77; currentOcc=3; currentSelectors=2:0; currentSelectorOnly=True; status=blocked | scene-record adjacency is broad resource-list evidence and is not a normal transition proof |
| runtime selector byte writes | self-write-only | handler=0x00406dbb opcode=0x4f; mechanism=True; currentWriter=1; outsideCurrent=0; selfRows=23; crossRows=4; routeCommon=4; crossToCurrent=0; sourcePredCurrent=0; leafHits=0; selfWrite=True; rootPatternPromotes=False; promotes=False | opcode 0x4f explains selector byte writes, but current 2:0 evidence is only a self-write inside the current root |
| predecessor state | order-unproven | allStartsPass=True; priorPrimary=False; routeOrder=False; addrPrev=10:0; addrFillPass=True; addrPassNotProof=True; addrTailCurrentPtrs=74; addrTailReader=0; forwardBridge=False; reverseBeforeFill=51; reverseToFill=0 | predecessor fill cannot promote until execution order and persistence are proven |
| predecessor fill execution order | blocked-all-proof-gates | proofGates=10/10; pass=0; allBlocked=True; blockedIds=localFillStreamReachesCurrentReader,rootEntryFixedTraversalReachesFillSites,fillFragmentEntryCandidateFound,encodedFillEntryControlFlowCandidateFound,rootTailBranchClosureReachesFillOrReader,descriptorSliceRuntimeDispatchProven,rawGenericRouteProofFound,runtimeObservedPredecessorFill,predecessorToCurrentForwardBridgeFound,routeOrderAndSelectorMergeClosed; failedFillOrderGates=localFillStreamReachesCurrentReader,rootEntryFixedTraversalReachesFillSites,fillFragmentEntryCandidateFound,encodedFillEntryControlFlowCandidateFound,rootTailBranchClosureReachesFillOrReader,descriptorSliceRuntimeDispatchProven,rawGenericRouteProofFound,runtimeObservedPredecessorFill,predecessorToCurrentForwardBridgeFound,routeOrderAndSelectorMergeClosed; missingEvidenceCount=10; evidenceRefs=11; trace=0x004844d0->0x004844dc/no-fixed-advance; rootEntry=False; encoded=raw-encoded-scalars-nonpromoting/0; rootTailClosure=False; runtimeFill=False; fieldEntrySeq=22; fieldEntryCandidates=0; fieldEntrySnapshots=85; fieldEntrySnapshotRouteCandidates=0; fieldEntryStatus=field-entry-not-found; coordinateSource=start-coordinate-found-in-image-memory/save-camera-memory-only-no-route-object-coordinate-source; coordinateStartPtrStaticTrailImage=0/1/0/2; coordinateTrailPtrStaticTrailImage=0/0/7/10; coordinateReciprocalPtrStaticTrailImage=0/0/0/118; coordinateSourcePromotion=diagnostic-only; forwardBridge=False; routeOrder=False; mergeGap=True; mergeRuntimeProof=False; mergeClosureProof=False; mergePersistenceUsable=False; proof=False | normal predecessor fill execution remains blocked until at least one proof gate is promoted and the full route-order proof closes |
| predecessor fill-site execution context | blocked-fill-execution-unproven | branchPolls=8; branchSamples=46919; publicHits=6; routeHits=0; currentHits=0; fillMatches=0; allZero=8; movementTarget=1@10928; targetObs=0@0; targetFillCurrentRoute=0/0/0; cameraOnlyTarget=0; actorTrailTarget=0; targetStatus=target-not-observed; rootEntryReachesFills=False; rootEntryVisited=23; encodedEntry=raw-encoded-scalars-nonpromoting; encodedRaw=4; encodedTailRaw=4; encodedPromoting=0; rawScalarReject=scalar-only-no-branch-or-fixed-advance; rawScalarNoFixed/noBranch/branchAttached/scalarOnly=4/4/0/4; rootTail=0xc0f0/12348; rootTailIsolated=True; rootTailBranchToFill=0; rootTailFixedToFill=0; descriptorBridge=False; descriptorBridgeFailedGates=root-stop-to-fill-bridge,fill-stop-to-current-bridge,route-execution-target-edge,descriptor-encoded-route-target-control-flow,runtime-or-decoded-nonlinear-vm-path; descriptorBridgeMissingEvidenceCount=5; descriptorBridgeEvidenceRefs=3; descriptorNodes=949/2; descriptorFillEdges=0/0; descriptorEdgeReject=descriptor-only-no-route-execution-edge; descriptorRouteEdges=0/0; descriptorEncoded=1/1/0/0; descriptorEncodedClass=descriptor-encoded-route-target-scalars-nonpromoting; dispatchTableProof=False; dispatchFailedGates=save-selector-slice-runtime-dispatch,descriptor-boundary-runtime-bridge,dynamic-save-selector-table-base-candidate,route-relevant-slice-table-base-switch; dispatchMissingEvidenceCount=4; dispatchEvidenceRefs=3; dispatchTableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate; rawGenericCallGraph=raw-generic-callgraph-nonroute-contrast; rawGenericCallGraphDepth=3; rawGenericCallGraphFunctions/Edges=4/10; rawGenericCallGraphProof=False; runtimeFill=False; fieldEntrySeq=22; fieldEntryCandidates=0; fieldEntrySelectors={'1:0': 12, '50:0': 2, '8:0': 2, '19:1': 6}; fieldEntryCameras={'5,15': 18, '0,0': 4}; fieldEntrySnapshots=85; fieldEntrySnapshotRouteCandidates=0; fieldEntrySnapshotSelectors={'8:0': 10, '1:0': 64, '50:0': 4, '19:1': 7}; fieldEntrySnapshotCameras={'0,0': 14, '5,15': 71}; fieldEntryClasses={'start-coordinate-found-in-image-memory': 18, 'start-coordinate-not-found-outside-camera-snapshot': 4}; coordinateClass=start-coordinate-found-in-image-memory; coordinateReject=save-camera-memory-only-no-route-object-coordinate-source; coordinateStartPtrStaticTrailImage=0/1/0/2; coordinateReciprocalPtrStaticTrailImage=0/0/0/118; proofGates=0/6; allBlocked=True; failedIds=root-entry-to-fill,descriptor-boundary-bridge,dispatch-slice-runtime-proof,runtime-fill-observed,route-order,selector-merge-closed; contextProof=False; status=blocked | public predecessor reach is not enough; the fill sites must be observed or decoded as executed before the current reader |
| inherited branch state | persistence-narrowed | fillRoots=24; routeOverlap=4; best=1:0@0x00478364; bestFills=2; currentExecValid=0; currentPromoting=0; activationValid=0; branchOperand=0x00542244; branchOperandKind=small-scalar-not-va; addrTailFillAfterLast=False; addrTailDataLike=True; tailReset=False; globalResetClass=static-scope-closed-runtime-order-open; globalResetStaticClosed=True; selectorOrderResetClosed=True; globalResetRuledOut=False | state persistence is narrowed but still lacks runtime order and out-of-root reset proof |
| dispatch/base mode | runtime-opcode-unproven | primaryWriters=14; dispatchOps=0x25,0x26,0x27,0x31; directCalls=0; secondaryValidBefore=0; overlap=2; eventLinked=0; eventRangeHits=0; eventRouteContainers=0; baseImm=5; baseReg=6; staticGateRefs=0; runtimePointer=True | must identify runtime event/object opcode and context+0xa8 base mode before gate fallthrough can promote |
| current selector leaf | selection-unproven | leafRefs=4; directEntry=False; runtimeSelection=False; leafIndexEntries=23; leafIndexCurrentEntries=10; readerCurrent=0; readerNegative=1; frontierChildIdx=[-12]; routePairIdx=[6, 8]; globalTables=35; globalFieldRows=261; globalNegFieldRows=136; globalNonNegFieldRows=125; globalCurrentRouteIdx=[-13, -12, 6, 8]; globalFrontierOnlyNeg=True; routePairReaderHits=2; routePairGeoHits=0; readerNegativeIdx=[-12]; routePairProofFound=False; routePairFailedGates=normal-runtime-selector-root-execution,reader-branch-target-linkage,strict-source-hotspot; opcode2cProofFound=False; opcode2cFailedGates=normal-route-descriptor-selection,frontier-reader-target-linkage,strict-source-hotspot; nonNegativeSelectable=False; opcode07IndexMode=zero-extended-u8; opcode07LeafSlots=0; opcode07NegativeSlots=0; opcode07WrapperEntrySlots=0; opcode07Direct=0; object61Direct=0; readerLeafs=1; currentRootProofFound=False; currentRootFailedGates=normal-current-root-execution,strict-source-hotspot,frontier-event-cluster,reader-branch-target-linkage; currentRootMissingEvidenceCount=4; op24PayloadPtrs=7/0; op24PayloadLocal=True; op24PayloadFrontier=False; op24DirectLeafTable=False; op24RuntimeFlag=0x0059e34d; op24RuntimeFlagRefs=12/0; op24RuntimeFlagStaticDispatch=False; op24RuntimeFlagProof=False; op24RuntimeFlagMissing=3; context58Current=False; context58Status=blocked-not-current-opcode24-path; readerPassPayload=sprite-or-rect-payload-like; readerFailResource=True; readerSiblingFieldMaps=0; payloadRectLike=3/3; payloadFitsImages=True; payloadInBoundsPoints=0; sceneListClass=resource-gate-before-scene-record | current root adjacency is useful, but it still lacks a proven selected leaf/hotspot |
| gate control | inherited-runtime-state | sameOffset=True; postReads=0; otherWrites=3@0x0a,0x0d,0x68; invalidFillOffsets=0x54,0xe6,0xe7; preserve=same-selection-slot-preserved-known-opcodes; gateOffsets=0xe8,0xea; writerRows=0; localWriter=False; globalWriter=False; patternRows=981; sampleCovered=False; predPass=0/0; zeroPass=0/0; diagnosticOrder=0x01/0x00; diagnosticDescriptor=0x004f867c; diagnosticGateRows=0/0; diagnosticEncoded=0/0/0; diagnosticEncodedClass=no-encoded-route-target-scalars-in-descriptor-scripts; allDescriptorGateRows=0/0; allDescriptorSelectionRows=362; allDescriptorEncoded=0/0/0; allDescriptorEncodedClass=no-encoded-route-target-scalars-in-descriptor-scripts; allDescriptorSpecificBase=False; proofFound=False; gateBaseProofFound=False; activeOrderProof=False; gateTimeBaseProof=False; failedGateBaseGates=opcode20-runtime-base-path,predecessor-state-persistence,strict-source-hotspot; missingEvidenceCount=3; diagnosticNonPointerA8=0; diagnosticPointerCollision=True; diagnosticGateBaseProven=False; diagnosticRecheckRouteHits=125/0/0; diagnosticRecheckActiveOrderCount=0x00x679; diagnosticRecheckBaseOpen=True; evidenceRefs=19; runtimeBaseProof=True; predecessorProof=True; strictHotspotProof=True | gate fallthrough remains inherited runtime state, not route promotion |
| real savedata | missing-current-selector | real=None, valid=None, uniqueSha256=None, validRowsBlocked=None, realCandidateBlocks=None, archive=None, archiveSkipped=None, workspaceDat=None, workspaceExpected=None, workspaceZipMembers=None, workspaceHidden=None, selector2:0=None, selectedPointer=None, routePair=None, realSelector20Save=None, requiredBytePair=None, routeEvidenceProof=None, reject=None, syntheticExcluded=None; evidenceRefs=None; browserScan=dat1-9+zip1-9 | synthetic selector 2:0 remains diagnostic only |
| original save path | static-known-input-path-unproven | staticPath=True; slotNames=3; saveDirs=3; savePathRegs=2; loader=0x00423319; readCalls=3; selectorStore=0x004234ba; readApiOk=True; menuReachable=False; syntheticDiagnostic=True | SaveData\savedatN.dat is statically known, but loading it through gameplay remains unproven |
| runtime trace | blocked-by-vm | canRun=False; canCapture=False; reject=trace-unavailable-no-equivalent-selected-root-proof-diagnostic-excluded; blockers=6; memRead=True; selectedCurrentRoot=False; op24Flag=0x00; op24Mode1=0x00; op24RuntimeEvidenceRefs=10; inputHeld=True; inputXChanged=False; inputPokeChanged=True; inputFinalCtx=50:0; keySeqCount=28; keySeqRoute2_0=False; preludeSeqCount=3; preludeObserved=8:0,50:0; preludeRoute2_0=False; selectedPollSamples=1550; selectedPollRoute2_0=False; selectedPreludePollSamples=491; selectedPreludePollObserved=8:0,50:0; selectedPreludePollRoute2_0=False; selectedLongPollSamples=1928; selectedLongPollObserved=8:0,50:0; selectedLongPollRoute2_0=False; selectedLatePollSamples=1122; selectedLatePollStartupWait=45.0; selectedLatePollObserved=8:0,50:0; selectedLatePollRoute2_0=False; saveLoadPollSamples=None; saveLoadPollObserved=-; saveLoadPollRoute2_0=None; multiSaveLoadPollSamples=None; multiSaveLoadPollObserved=-; multiSaveLoadPollPublicHit=None; multiSaveLoadPollRoute2_0=None; caseAliasMultiSaveLoadPollSamples=None; caseAliasMultiSaveLoadPollObserved=-; caseAliasMultiSaveLoadPollPublicHit=None; caseAliasMultiSaveLoadPollRoute2_0=None; inputPathCaseAliasMultiSaveLoadPollSamples=None; inputPathCaseAliasMultiSaveLoadPollObserved=-; inputPathCaseAliasMultiSaveLoadPollPublicHit=None; inputPathCaseAliasMultiSaveLoadPollRoute2_0=None; syntheticSelector20PollSamples=374; syntheticSelector20PollObserved=8:0; syntheticSelector20PollObservedStaged=-; syntheticSelector20PollStagedHit=False; syntheticSelector20PollRoute2_0=False; patchedPublicSelector20PollSamples=375; patchedPublicSelector20PollKind=patched public-base diagnostic; patchedPublicSelector20PollObserved=2:0,10:0; patchedPublicSelector20PollRoute2_0=True; fileIoBackend=winedebug; fileIoUsable=False; fileIoPidRuns=0/1; fileIoSavedat1=False; straceFileIoBackend=strace; straceFileIoUsable=False; straceFileIoPidRuns=0/1; straceFileIoSavedat1=False; attachFileIoBackend=strace-attach; attachFileIoUsable=True; attachFileIoPidRuns=1/1; attachFileIoSavedat1=False; attachLoadFileIoBackend=strace-attach; attachLoadFileIoUsable=True; attachLoadFileIoPidRuns=8/8; attachLoadFileIoSavedat1=False; attachCaseAliasLoadFileIoBackend=strace-attach; attachCaseAliasLoadFileIoUsable=True; attachCaseAliasLoadFileIoPidRuns=8/8; attachCaseAliasLoadFileIoSavedat1=False | watchpoint proof for selected pointer/hotspot is not capturable here yet |
| selected pointer | trace-needed | global=0x0059de30; currentRoot=0x00540714; directCurrentCodeRefs=0; globalTextRefs=6; rootTextRefs=0; level2=0x005429dc; readerRefs=0; sourceRefs=0; targetRefs=0; hooks=6; writerHooks=4; readerHooks=2; opcode8Read=0x0040adfe | 0x0059de30 is still the runtime choke point to prove selector 2:0 |
| current writer paths | blocked-current-internal-only | writers=4; starts=0x00542470,0x005428b4; roots=0x00540714; labels=2:0; selectedStores=0x0054248c; activators=0x0054246c; evidenceRefs=2; outOfRangeHelper=True; currentInternalOnly=True; proofFound=False; failedGates=source-predecessor-current-producer,non-current-selected-pointer-store,runtime-branch-state-slot-proof,selected-root-execution; missingEvidenceCount=4; status=blocked-current-internal-only | current-root stores exist, but they do not prove an external route-path entry into selector 2:0 |
| selected-root execution gap | blocked-no-execution-ref | selectedRootRef=False; reject=selected-root-no-real-selector-no-execution-ref-diagnostic-excluded; saveSelector2:0=0; selectedPointerSave=0; staticCodeRefs=0; hookGraph=selected-pointer-handler-callgraph-generic-only-contrast; hookGraphRoots/Fns/Calls=4/15/27; hookGraphRoute/current/record/selector/branch=0/0/0/0/0; hookGraphGeneric=6/1; hookGraphDepth=4/True/True; hookEncoded=0/0/0/0; hookEncodedClass=no-encoded-route-target-scalars-in-handler-graph; nonCurrentRoot=0/0/0; nonCurrentRange=0/0/0; currentInternal=6/35; writerCount=4; remainingProofs=5; evidenceRefs=8; pollSamples=1550; pollObserved=8:0; preludePollSamples=491; preludePollObserved=8:0,50:0; longPollSamples=1928; longPollObserved=8:0,50:0; latePollSamples=1122; latePollObserved=8:0,50:0; routeWatchSamples=1123; routeWatchObserved=8:0,50:0; routeWatchValues=opcode24Mode1Source=0x00x1123; opcode24CurrentObjectIndex=0x00x1123; opcode24RuntimeFlag=0x00x783,0x01x340; routeWatchRoute=False; caseAliasMultiSaveLoadPollSamples=None; caseAliasMultiSaveLoadPollObserved=-; caseAliasMultiSaveLoadPollPublicHit=None; caseAliasMultiSaveLoadPollRoute=None; inputPathCaseAliasMultiSaveLoadPollSamples=None; inputPathCaseAliasMultiSaveLoadPollObserved=-; inputPathCaseAliasMultiSaveLoadPollPublicHit=None; inputPathCaseAliasMultiSaveLoadPollRoute=None; predecessorRouteAttempt=13/60/59816; predecessorRouteAttemptPublicFiles=11; predecessorRouteAttemptRouteCurrentHits=0/0; predecessorRouteAttemptDominantDiversion=19:1; predecessorRouteAttemptDiversionContexts=3/2/1; predecessorRouteAttemptRouteEvidence=False; predecessorRouteAttemptStatus=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; fileIoAttachLoadPidRuns=8/8; fileIoAttachLoadUsable=True; fileIoAttachLoadSavedat1=False; fileIoAttachCaseAliasLoadPidRuns=8/8; fileIoAttachCaseAliasLoadUsable=True; fileIoAttachCaseAliasLoadSavedat1=False; anyPollRoute=False | save/static/opcode/runtime paths still do not prove selector 2:0 execution |
| route-pair entry execution gap | blocked-entry-selection-unproven | entryIdx=[6, 8]; correctedIdx=[6, 8]; negativeReaderIdx=[-12]; globalRoutePairIdx=[-13, -12, 6, 8]; globalNegNonNeg=2/2; frontierLeafNegativeOnly=True; correctedReader=2/2; normalSelectionGap=corrected-trace-not-normal-selection-proof/True; nonNegativeSelectReach=False/True; op7DirectAbsent=True; op8CurrentRootRange=0/0; op8Buckets=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; op8CurrentContrast=2:0:op8=67,currentRootRange=0/24,own=24,script=39,unreadable=4; op9CurrentRangeStores=0; op9Unsupported=5; op9UnsupportedModes=0x6c,0xfe; op9CollisionRows=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; sourcePredCurrentProducers=0; indexSourceEntryRefs=3/0/0; indexSourceEncoded=3/0/0/0; indexSourceEncodedClass=raw-encoded-entry-anchor-scalars-nonpromoting; indexSourceFallthrough=3/3; indexSourcePromoting=0/0; indexSourceHandlers=0x005429ac/0xac->0x00000003/-,0x005429f4/0xf4->0x00000004/-,0x005429fc/0xfc->0x004409b8/.data; indexSourceProven=False; rootTableRefs=14/0; rootTableEntryLeafFrontierReaderText=0/0/0/0; rootTableFrontierReaderRefs=0; wrapperEntryRunRefs=0; wrapperFallthroughRefs=1; wrapperFallthroughNonCodeRefs=1; wrapperFallthroughHandlers=0x005429ac/0xac->0x00000003/-; wrapperExec=False; selectedRootRef=False; entryExec=False; strictHotspot=False; status=blocked | entries 6/8 are reader-shaped, but no normal route path proves they are selected or executed |
| patched selector follow-up context | diagnostic-only | transitionRows=2; followupPointers=0x00540540; timeline=True; observedCurrentThenFollowup=True; followupSelector=10:0; followupRole=address-adjacent target-side predecessor; containsSource=False; containsTarget=True; hasPublicSample=False; statePass=12/12; bridgeExec=False; bridgeTraceW/R/S=0/0/0; selectedPathCandidates=0; followupPtrRootOffset=0x0000409c; followupPtrTail=True; followupPtrRootStart=False; followupPtrOpcodes=0x65/0x20; followupPtrDescriptor=0x005400ec; followupPtrTraceStop=no-fixed-advance; followupPtrExactBridge=False; followupPtrNearbyBridgeDwords=10; followupPtrTraceRefs=False/False/False/False/False; activeOrderSamples=210; activeOrderTotalSamples=374; activeOrderRouteRows=1; activeOrderCount=0x01; activeOrderBytes=0x00/0x02/0x02; activeOrderUsed=0x00; activeSlotStatic=0x004f867c; runtimeSlotBaseStatic=0x00457750; runtimeObjectStatic=0x0055be00/0x0055d2f8/0x0055d5d4; activeOrderStable=True; branchStateSamples=374; branchStateRouteSamples=164; branchStateObserved=2:0,10:0,50:0; branchStateActive=0x01; branchStateAllZero=True; branchStateMatchesFill=False; exitCandidateSamples=None; exitCandidateRouteSides=-; exitCandidateBranchNonzero=-; exitCandidateDiagnostic=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; leftStabilityRecheckObserved=50:0; leftStabilityRecheckRouteHits=0; leftActiveOrderRecheckObserved=50:0; leftActiveOrderRecheckRouteHits=0; leftActiveOrderCount=0x00x679; leftStabilityDiagnostic=diagnostic-only; notRouteProof=True | sampled 2:0->10:0 movement is from a patched diagnostic save, not confirmed normal route execution |
exits: 4 (2 auto for map2_02d); coordinate-promotable exits: 0; selector outgoing candidates: 2 / selector-only 2.
| side | tile | auto | assist | coordinate status | reciprocal |
|---|---|---|---|---|---|
| top | 18,0 | True | 1 | coordinate-like-hit-without-table-text-ref | bottom 47,47 |
| bottom | 16,47 | True | 2 | no-exact-packed-coordinate-hit | top 46,0 |
| left | 3,14 | False | 3 | coordinate-like-hit-without-table-text-ref | right 95,16 |
| right | 34,19 | False | 4 | coordinate-like-hit-without-table-text-ref | left 1,14 |