Route Investigation Queue

Focused next steps for confirmed-route blockers. Selector-only links are not promoted here.

sourcetargetstatusriskdirect eventbranch offsetstrict clustersnext actions
map1_01amap2_02dblockedmediumno0x20 local writer no11. Prove predecessor fill-site execution/order before the current reader. (open; selected-root-execution-proof, runtime-trace-or-equivalent-proof)
2. Resolve selector merge before using predecessor 1:0 persistence. (open; selected-root-execution-proof)
3. Treat the save-selector branch as a resource/scene-list gate, not a map transition. (blocked; strict-source-coordinate-or-hotspot-proof, tile-hotspot-confirmation-proof)
5. Find a strict source coordinate or hotspot before promotion. (open; strict-source-coordinate-or-hotspot-proof, tile-hotspot-confirmation-proof)
6. Prove current selector leaf selection and wrapper execution. (open; selected-root-execution-proof, runtime-trace-or-equivalent-proof)
7. Prove the opcode 0x20 gate-time base path, not just active order. (open; selected-root-execution-proof, runtime-trace-or-equivalent-proof)
8. Capture a runtime producer trace for opcode 0x24 mode1 source. (open; runtime-trace-or-equivalent-proof, selected-root-execution-proof)
9. Do not promote from adjacent strict clusters without a target link. (blocked; strict-source-coordinate-or-hotspot-proof, tile-hotspot-confirmation-proof)

map1_01a -> map2_02d

Strict Cluster Candidates

Next Actions

  1. Prove predecessor fill-site execution/order before the current reader. [open]
    why: The public predecessor runtime path reaches selector 1:0 but leaves secondaryBranchState all zero; local/static reset evidence is closed, so the next proof is whether the 1:0 fill sites execute before the 0x00542b0c reader.
    related failed gates: selectedRootExecution,runtimeTraceOrEquivalent
    next input classes: selected-root-execution-proof,runtime-trace-or-equivalent-proof
    next input summary: selected-root-execution-proof, runtime-trace-or-equivalent-proof
    evidence: The current frontier still inherits selectionBuffer[0x20]; public predecessor polling reached 1:0 but did not observe the expected fill, so proof now depends on fill-site execution/order before the current reader; 1:0 fill=0x00000210 sites=0x004844d0,0x004844d8 table=[1,1,0,0,...] reader=0x00542b0c allStartsPass=True status=blocked; writer=0x005428bc reader=0x00542b0c offset=0x20 tables=secondaryBranchState/secondaryBranchState narrowed=True pred=1:0 fill=0x00000210 allStartsPass=True priorPrimary=False status=blocked; active=0x00457744 static=0x01 save=0x006c allPredStartsPass=True priorPrimary=False counterexamples=2 status=blocked; 1:0->2:0 sourcePrev=0:0 predConfirmed=0 routePairPrev=0 targetOnly=True mergeGap=True indexOrder=True progress=True routeOrder=False proofFound=False failedRouteOrderGates=source-current-selector-merge-order,predecessor-branch-state-persistence,strict-source-hotspot evidenceRefs=4; predecessor branch-state execution: 1:0->2:0 fillPass=True staticClosed=True selectorOrderClosed=True runtimeGap=True routeOrder=False mergeGap=True fillOrderProof=False fillOrderTrace=0x004844d0->0x004844dc fillOrderRootEntryReach=False fillOrderEncoded=raw-encoded-scalars-nonpromoting fillOrderRaw=4 fillOrderRootTailRaw=4 fillOrderPromoting=0 fillOrderRawScalarReject=scalar-only-no-branch-or-fixed-advance fillOrderRawScalarNoFixed/noBranch/branchAttached/scalarOnly=4/4/0/4 fillContextProof=False fillContextPolls=8@46919 fillContextPublic=6 fillContextRoute2:0=0 fillContextMatches=0 fillContextAllZero=8 fillContextTarget=target-not-observed fillContextFieldEntries=0 fillContextSnapshotRoutes=0 fillContextBranchGatePreserve=same-selection-slot-preserved-known-opcodes fillContextBranchGateSameOffset=True/0x20 fillContextBranchGateWriteRead=0/0 fillContextBranchGateOther=3@0x0a,0x0d,0x68 fillContextBranchGateInvalid=0x54,0xe6,0xe7 progressPoll=6@1547 progressObserved=19:1,1:0,50:0 progressPublic=1:0 progressInput=6/6pid 6/6key 6/6press events=83 offsets=1,28,200,203,205,208 progressRoute2:0=False progressWatch=opcode24CurrentObjectIndex=0x00x1547; opcode24Mode1Source=0x00x1547; opcode24RuntimeFlag=0x00x1547 directionSweep=8@3380 directionObserved=50:0,19:1,1:0 directionPublic=1:0 directionInput=8/8pid 8/8key 8/8press events=245 offsets=28,200,203,205,208 directionRoute2:0=False directionWatch=opcode24CurrentObjectIndex=0x00x3380; opcode24Mode1Source=0x00x3380; opcode24RuntimeFlag=0x00x3380 branchStatePoll=8@3377 branchStateObserved=19:1,1:0 branchStateInput=8/8pid 8/8key 8/8press events=220 offsets=28,200,203,205,208 branchState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 branchStateMatchesFill=False branchStateAllZero=True branchStateRoute2:0=False highFrequencyBranchStatePoll=2@2090@0.005 highFrequencyBranchStateObserved=1:0,19:1,8:0 highFrequencyBranchStatePublic=1:0 highFrequencyBranchStateInput=2/2pid 2/2key 2/2press events=71 offsets=28,200,203,208 highFrequencyBranchState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 highFrequencyBranchStateMatchesFill=False highFrequencyBranchStateAllZero=True highFrequencyBranchStateRoute2:0=False leftOverrunActivationBranchStatePoll=4@2297 leftOverrunActivationBranchStateObserved=50:0 leftOverrunActivationBranchStateInput=4/4pid 4/4key 4/4press events=176 offsets=28,44,57,200,203,208 leftOverrunActivationBranchState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 leftOverrunActivationBranchStateMatchesFill=False leftOverrunActivationBranchStateAllZero=True leftOverrunActivationBranchStateRoute2:0=False nearestExitPoll=3@1383 nearestExitObserved=19:1,1:0,50:0 nearestExitInput=3/3pid 3/3key 3/3press events=87 offsets=28,200,203,208 nearestExitState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 nearestExitMatchesFill=False nearestExitAllZero=True nearestExitRoute2:0=False reciprocalExitPoll=3@11386 reciprocalExitObserved=50:0,19:1,1:0 reciprocalExitInput=3/3pid 3/3key 3/3press events=300 offsets=28,205,208 reciprocalExitState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 reciprocalExitMatchesFill=False reciprocalExitAllZero=True reciprocalExitRoute2:0=False coordinatePoll=3@11161 coordinateObserved=19:1,1:0,50:0 coordinateInput=3/3pid 3/3key 3/3press events=302 offsets=28,205,208 coordinateState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 coordinateMatchesFill=False coordinateAllZero=True coordinateRoute2:0=False coordinateClass=coordinate-target-not-observed coordinateStartObserved=False coordinateTargetObserved=False trailStartPoll=4@10928 trailStartObserved=19:1,1:0 trailStartInput=4/4pid 4/4key 4/4press events=404 offsets=28,200,203,205,208 trailStartState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 trailStartRoute2:0=False trailStartClass=trail-start-movement-without-target trailStartTileObserved=True trailStartTargetObserved=False trailStartMove=True trailLeftOverrunPoll=3@4297 trailLeftOverrunObserved=50:0 trailLeftOverrunInput=3/3pid 3/3key 3/3press events=300 offsets=28,200,203,208 trailLeftOverrunState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 trailLeftOverrunRoute2:0=False trailLeftOverrunClass=edge-target-not-observed trailLeftOverrunCameraTarget=False trailLeftOverrunCameraOutside=False runtimeSplit=public-predecessor-reached-fill-not-observed splitPublicPred=True splitObservedFill=False splitStaticNoReset=True/True/True splitNext=fill-site execution/order before current reader leftOverrunActivationSplit=not-classified nearestSplit=nearest-exit-fill-not-observed reciprocalSplit=reciprocal-exits-fill-not-observed coordinateSplit=coordinate-target-not-observed trailStartSplit=trail-start-movement-without-target trailLeftOverrunSplit=edge-target-not-observed proofFound=False failedBranchStateExecutionGates=fill-execution-order-proof,fill-site-execution-context,normal-route-order,vm-bytecode-reset-scope-ruled-out,runtime-branch-state-fill-observed,selector-merge-closed,strict-source-hotspot missingEvidenceCount=7 remainingProofs=7 evidenceRefs=8 execProof=False; predecessor fill execution/order: 1:0->2:0 fills=0x004844d0,0x004844d8 trace=0x004844d0->0x004844dc stop=no-fixed-advance containsFills=True reachesReader=False rootEntryReachesFills=False directFillRefs={'0x004844d0': 0, '0x004844d8': 0} fillEntryRefs=0 fillEntryRootBranchTargets=0 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 rootTailBranchClasses={'before-root-tail': 262, 'inside-root-tail': 80, 'mapped-.data': 111, 'unmapped': 138} rootTailBranchSections={'.data': 221, '.text': 3, 'unmapped': 367} rootTailBranchToFill=0 rootTailBranchToReader=0 rootTailFixedToFill=0 rootTailClosure=591/7249/0/0 rootTailClosureOutside=512/{'before-root-tail': 262, 'inside-root-tail': 1, 'mapped-.data': 111, 'unmapped': 138}/{'.data': 142, '.text': 3, 'unmapped': 367} rootTailClosureClass=branch-closure-no-fill-or-current-reader rootTailBeforeFill=.data/0x00440c5c sliceRuntimeProof=False 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 descriptorDependsOnSlice=True rawGeneralDiffers=2 sliceByteReachable=0 sliceRequiresTableBase=2 sliceDynamic=3/3/0 sliceDynamicScopeSites=0x00438456,0x004390b7,0x004390f3 sliceDynamicTableBaseCandidates=0 sliceTableBaseArithmetic=116/0 sliceDynamicTableBase=False sliceDynamicTableBaseCandidateSites=- tableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate rawGeneric=raw-generic-handlers-nonroute-contrast rawGenericHandlers=2 rawGenericRoute/fill/currentImm=0/0/0 rawGenericSelected/branchImm=0/0 rawGenericCalls=9 rawGenericMappedCalls=2 rawGenericMappedTargets=0x00416c77,0x004173db rawGenericOneHopRoute/fill/currentImm=0/0/0 rawGenericOneHopSelected/branchImm=0/0 rawGenericRoute/fillTransfers=0/0 rawGenericOneHopRoute/fillTransfers=0/0 rawGenericOneHopRouteProof=False rawGenericCallGraph=raw-generic-callgraph-nonroute-contrast rawGenericCallGraphDepth=3 rawGenericCallGraphFunctions/Edges=4/10 rawGenericCallGraphRoute/fill/currentImm=0/0/0 rawGenericCallGraphSelected/branchImm=0/0 rawGenericCallGraphRoute/fillTransfers=0/0 rawGenericCallGraphDepthSensitivity=6/True/True rawGenericCallGraphProof=False rawGenericRouteProof=False publicPred=True runtimeFill=False fieldEntrySeq=22 fieldEntryCandidates=0 fieldEntrySnapshots=85 fieldEntrySnapshotRouteCandidates=0 fieldEntrySelectors={'1:0': 12, '50:0': 2, '8:0': 2, '19:1': 6} fieldEntryCameras={'5,15': 18, '0,0': 4} 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 allZero=True staticClosed=True forwardBridge=False reverseBeforeFill=51 reverseFillSite=0 routeOrder=False mergeGap=True routeMergeClosed=False mergeRuntimeProof=False mergeClosureProof=False mergePersistenceUsable=False 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 proof=False status=blocked; predecessor fill opcode10 context: handler=0x0040b49e effect=advance +4; read 0x02 helperCalls=1 helperOpcode10Only=True fragment=0x004844d0..0x004844e0 opcodes=0x10,0x00,0x10,0xc0 decoded=secondaryBranchState/2,2/0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 rows=2/1/1 textRefs=0/0 handlerRouteImmediate=0 rootTail=True/0/0/0 runtime=True/True/False polls=46919 fillMatches=0 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 failedOpcode10Gates=root-entry-to-fill,descriptor-boundary-bridge,dispatch-slice-runtime-proof,runtime-fill-observed,route-order,selector-merge-closed missingEvidenceCount=6 evidenceRefs=6 proof=False status=blocked; predecessor descriptor bridge: 1:0->2:0 rootStop=0x004783e0->0x00440a9c fillStop=0x004844dc->0x00440c5c rootClosure=949/4316 fillClosure=2/3 rootReachesC0=True rootToFill=False fillSelfLoop=True fillToCurrent=False sharedDescriptorOnly=True descriptorEdges=9/1 routeEdges=0/0 edgeReject=descriptor-only-no-route-execution-edge edgeCounts=10/0 encodedTargets=1/1/0/0 encodedClass=descriptor-encoded-route-target-scalars-nonpromoting targetRefs={'d0-root-stop-descriptor': 7, 'c0-fill-stop-descriptor': 4, 'e8-route-descriptor': 6, 'predecessor-root-stop-site': 0, 'predecessor-fill-stop-site': 0, 'current-root': 1, 'wrapper-leaf': 1, 'frontier-leaf': 1, 'current-reader': 0, 'predecessor-fill-site-0': 0, 'predecessor-fill-site-1': 0} proof=False topProof=False failedDescriptorBridgeGates=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 missingEvidenceCount=5 evidenceRefs=3 status=blocked; predecessor fill-site execution context: 1:0->2:0 fills=0x004844d0,0x004844d8 branchPolls=8@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 trace=0x004844d0->0x004844dc 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 rootTailBranchClasses={'before-root-tail': 262, 'inside-root-tail': 80, 'mapped-.data': 111, 'unmapped': 138} rootTailBranchSections={'.data': 221, '.text': 3, 'unmapped': 367} rootTailBranchToFill=0 rootTailBranchToReader=0 rootTailFixedToFill=0 rootTailClosure=591/7249/0/0 rootTailClosureOutside=512/{'before-root-tail': 262, 'inside-root-tail': 1, 'mapped-.data': 111, 'unmapped': 138}/{'.data': 142, '.text': 3, 'unmapped': 367} rootTailClosureClass=branch-closure-no-fill-or-current-reader rootTailBeforeFill=.data/0x00440c5c 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 tableBaseArithmetic=116/0 tableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate rawGenericCallGraph=raw-generic-callgraph-nonroute-contrast rawGenericCallGraphDepth/Functions/Edges=3/4/10 rawGenericCallGraphProof=False branchGatePreserve=same-selection-slot-preserved-known-opcodes branchGateSameOffset=True/0x20 branchGateWriteRead=0/0 branchGateOther=3@0x0a,0x0d,0x68 branchGateInvalid=0x54,0xe6,0xe7 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 coordinateTrailPtrStaticTrailImage=0/0/7/10 coordinateReciprocalPtrStaticTrailImage=0/0/0/118 routeOrder=False mergeGap=True 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 proofFound=False failedPredecessorFillGates=root-entry-to-fill,descriptor-boundary-bridge,dispatch-slice-runtime-proof,runtime-fill-observed,route-order,selector-merge-closed missingEvidenceCount=6 contextProof=False status=blocked; runtime predecessor route attempt: predecessorRouteAttempt=13/60/59816 publicFiles=11 routeCurrentHits=0/0 dominantDiversion=19:1 diversionContexts=3/2/1 routeEvidence=False publicContext=public-predecessor-target-side-non-promoting status=blocked; selector recomposition lattice: selectors=29 routePairSelectors=1 onlyCurrent=True oneMapAug=2 exactPairUnions=5/3 2:0=pred+source True unionCovers=True extra=map1_02b execution=False hotspot=False status=blocked; mapset aliases: aliases=1:0,10:0,17:0 public=- duplicates=5/13 current=targetAlias+source True sourceTargetOvercovers=True extra=map1_02b addrPrevSameMaps=True addrPrev->current=1 class=current-selector-row-entry-with-resource-list contiguity=False execution=False status=blocked; target alias state effects: aliases=1:0,10:0,17:0 pass=1:0,10:0 noFill=17:0 passCount=2 noFillCount=1 fill=0x00000210 table=[1,1,0,0,...] allFillProof=False writer=0x005428bc reader=0x00542b0c status=blocked; tableOnly=True textRefs=False split=True currentPair=True predToCurrentRootRef=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; addrPrev=10:0 root=0x0053c4a4 sameMapsAsLogical=True current=addrPrev+source True addrPrev->current=1 rowEntry=True class=current-selector-row-entry-with-resource-list addrFillPass=True tailFillAfterLast=False passNotProof=True tailCurrentPtrs=74 tailExactRoot=0 tailReader=0 tailRecords=0/0 tailDataLike=True contiguity=False execution=False status=blocked; aliases=1:0,10:0,17:0 range=0x00540714..0x00543578 public=- publicAliases=- publicForward=- publicData=- publicSamplesOnForward=0 addressForward=10:0 nonPublicForward=10:0 addressOnly=True coverage=uncovered-address-adjacent-only exclusion=address-adjacent-alias-data-only hits=75 meta/data=1/74 promotingExact=1 promotingMetaData=1/0 promotingMetadataOnly=True promotingRoles=current-selector-row-selected-root-entry forwardHitAliases=10:0 forwardDataAliases=10:0 tailDataAliases=10:0 dominantDataAliases=10:0 tailHits=74 tailMeta=0 tailData=74 tailPreWriter=65 tailLeaf=9 leafRoutePair=2 leafRawReader=0 leafCorrectedReader=2 tailLeafCorrectedReader=2 tailTraceW/R/S=0/0/0 execLike=False tailExecLike=False withoutForward=1:0,17:0 proofFound=False failedGates=target-alias-execution-order,branch-state-persistence,real-selector-2:0-or-selected-root-runtime,strict-source-hotspot missingEvidenceCount=4 status=blocked; 1:0->2:0 forward=0 reverse=51 forwardExec=False reverseBeforeFill=51 reverseToFill=0 onlyBeforeFill=True routeOrder=False; reverse reuse context: 2:0->1:0 reverse=51 beforeFill=51 fillSites=0 aligned/unaligned=24/27 forward=0 directMerge=False proof=False status=blocked; current=2:0 0x00540714 writers=18 readers=6 roots=35/32 nearest=0x005428bc frontier=0x00542b0c sourceRoot=0:0 predecessor=1:0 status=blocked; secondary=0x0059e360..0x0059e36b directWriters=0 helperOpcode10Only=True currentBefore=0 predecessorTail=0 scopedNoReset=True globalResetRuledOut=False; class=static-scope-closed-runtime-order-open direct=0 unresolved=0 helperOpcode10Only=True blockScan=0x0059e300..0x0059e36b blockAddr=5 blockTouch=0 blockFull=0 blockClosed=True currentBefore=0 currentAfter=1[0x00542fc4] predecessor=1:0@0x00478364 fills=2[0x004844d0,0x004844d8] tailValid=0 staticClosed=True staticShapeRuledOut=True selectorOrderClosed=True runtimeGap=True runtimeRisk=runtime-order-or-untraced-bytecode-path globalResetRuledOut=False; secondaryBlock=0x0059e360..0x0059e36b scan=0x0059e300..0x0059e36b addr=5 directOverlap=0 touch=0 full=0 status=blocked; 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; routeOverlap=4 preCurrent=1 sourceSide=0 currentAfter=1 postCurrent=2 promotes=False; roots=24 routeOverlap=4 entryRefs=1 routeEntryRefs=0 entrySelectors=55:0 entryNonRouteOnly=True entryExclusion=non-route-only-entry-reference predRoot=0x00478364 predFills=2 predEntry=False predEntryRefs=0 predRootRefs=0 predBranchTargets=0 currentAfter=1 frontier=0x00542b0c; current=2:0 best=1:0 root=0x00478364 score=101 fills=2 sites=0x004844d0,0x004844d8 introduced=map1_01a; candidates=114 validBefore=1 execValid=0 nonOperand=0 promoting=0 activationValid=0/2 outOfRange=2 branchOperand=0x00542244 owner=0x00542240 kind=small-scalar-not-va; 1:0 tail=0x004844dc..0x0048458c lastFill=0x004844d8 tailOp10=0 tailValid=0 localReset=False currentRangePtrs=0 routeRefs=0/0/0/0/0 branchRoute=0 tailBridge=False next=12:0; primary=0x0059e370 slots=12 directWriters=14 clusters=4 sourceGlobals=12; table=0x0047f1d8 dispatcher=0x0041b687 opcodes=0x25,0x26,0x27,0x31 directCalls=0 ptrRefs=4; secondary=0x0059e360 candidates=72 before=62 validBefore=0 validAfter=1 directWriters=0; reader=0x00542b0c overlap=2 beforeReader=2 saveDispatch=0x00440720 eventDispatch=0x0047f1d8; raw=44 medium=10 linked=0 rangeHits=0 routeContainers=0 emptyContainers=10 nearbyCns=0 menuLike=8; roots=28/28 op7/op8/op9=3238/3180/316 nonCurrentRoot=0/0/0 nonCurrentRange=0/0/0 currentInternal=6/35 selectedRootExec=False promoteCandidates=0; selectedRootRef=False proofFound=False failedSelectedRootGates=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 missingEvidenceCount=5 reject=selected-root-no-real-selector-no-execution-ref-diagnostic-excluded subgates=8/8 remainingProofs=5 evidenceRefs=8 subgateStatus=missing-current-selector/table-only-no-text-ref/trace-targets-prerequisites-unproven/static-slice-only/no-non-current-producer/current-internal-only/no-real-selector-2:0-observed/diagnostic-excluded saveSelector2:0=0 selectedPointerSave=0 routePairSave=0 staticCodeRefs=0 rootTextRefs=0 hookPrereq=6/6/0/0 hookWindow=6/0 hookAllUnproven=True 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 dispatchTable=0x00440720 dispatchSlice=0x7a dispatchRefs=0/0 dispatchHandlers=True dispatchExecRef=False nonCurrentRoot=0/0/0 nonCurrentRange=0/0/0 currentInternal=6/35 writerCount=4 poll=1550:8:0 preludePoll=491:8:0,50:0 longPoll=1928:8:0,50:0 latePoll=1122@45.0:8:0,50:0 routeWatch=1123@45.0:8:0,50:0 routeWatchValues=opcode24Mode1Source=0x00x1123; opcode24CurrentObjectIndex=0x00x1123; opcode24RuntimeFlag=0x00x783,0x01x340 routeWatchRoute=False saveLoadPoll=None@None:- saveLoadRoute=None multiSaveLoad=None@None:- multiSavePublic=- multiSavePublicHit=None multiSaveRoute=None caseAliasMultiSaveLoad=None@None:- caseAliasMultiSavePublicHit=None caseAliasMultiSaveRoute=None inputPathCaseAliasMultiSaveLoad=None@None:- inputPathCaseAliasMultiSavePublic=- inputPathCaseAliasMultiSaveObservedPublic=- inputPathCaseAliasMultiSavePublicHit=None inputPathCaseAliasMultiSaveRoute=None predecessorDirectionSweep=3380@18.0:50:0,19:1,1:0 predecessorDirectionSweepKind=public predecessor direction sweep predecessorDirectionSweepPublic=1:0 predecessorDirectionSweepObservedPublic=1:0 predecessorDirectionSweepPublicHit=True predecessorDirectionSweepRoute=False predecessorDirectionSweepValues=opcode24Mode1Source=0x00x3380; opcode24CurrentObjectIndex=0x00x3380; opcode24RuntimeFlag=0x00x3380 predecessorLeftOverrunActivationSweep=2299@18.0:50:0,19:1,1:0 predecessorLeftOverrunActivationSweepKind=public predecessor left-overrun activation sweep predecessorLeftOverrunActivationSweepPublic=1:0 predecessorLeftOverrunActivationSweepObservedPublic=1:0 predecessorLeftOverrunActivationSweepPublicHit=True predecessorLeftOverrunActivationSweepRoute=False predecessorLeftOverrunActivationSweepValues=opcode24Mode1Source=0x00x2299; opcode24CurrentObjectIndex=0x00x2299; opcode24RuntimeFlag=0x00x2299 predecessorRouteAttempt=13/60/59816 predecessorRouteAttemptPublicFiles=11 predecessorRouteAttemptRouteCurrentHits=0/0 predecessorRouteAttemptDominantDiversion=19:1 predecessorRouteAttemptDiversionContexts=3/2/1 predecessorRouteAttemptRouteEvidence=False predecessorRouteAttemptPublicContext=public-predecessor-target-side-non-promoting predecessorRouteAttemptStatus=blocked syntheticSelector20=374@18.0:8:0 syntheticSelector20ObservedStaged=- syntheticSelector20Route=False patchedPublicSelector20=375@18.0:2:0,10:0 patchedPublicSelector20Route=True patchedPublicSelector20Diagnostic=True diagnosticExcluded=True diagnosticActiveOrder=0x01/0x00 diagnosticDescriptor=0x004f867c diagnosticBranchState=374/164:2:0,10:0,50:0 diagnosticBranchActive=0x01 diagnosticBranchAllZero=True diagnosticBranchMatchesFill=False diagnosticExitCandidates=None diagnosticExitRouteSides=- diagnosticExitBranchNonzero=- diagnosticExitStatus=None diagnosticLeftStability=679 diagnosticLeftRouteSeq=left-load-right diagnosticLeftNonRouteSeq=left-load-only,left-load-left diagnosticLeftObserved=50:0,10:0,2:0 diagnosticLeftRouteHits=125 diagnosticLeftOpcode24AllZero=True diagnosticLeftRepro=not-reproduced diagnosticLeftRecheck=680:50:0 diagnosticLeftRecheckRouteHits=0 diagnosticLeftActiveOrderRecheck=679:50:0 diagnosticLeftActiveOrderRecheckRouteHits=0 diagnosticLeftActiveOrderCount=0x00x679 diagnosticLeftStatus=diagnostic-only diagnosticFollowup=10:0@0x0053c4a4 diagnosticFollowupSource=False diagnosticFollowupTarget=True diagnosticBridgeExec=False diagnosticTraceStops=no-fixed-advance fileIoAttachLoad=8/8 fileIoAttachLoadKeyWrites=8/8 fileIoAttachLoadUsable=True fileIoAttachLoadSavedat1=False fileIoAttachCaseAliasLoad=8/8 fileIoAttachCaseAliasLoadKeyWrites=8/8 fileIoAttachCaseAliasLoadUsable=True fileIoAttachCaseAliasLoadSavedat1=False anyPollRoute=False status=blocked; op24=0x005428e4 stop=0x005428f4 window=0x005428e8..0x005429a4 leafStart=0x005429a8 root=0x005429dc wrapper=0x00542a04 frontier=0x00542ae8 reader=0x00542b0c ptrs=7 leafPtrs=0 graph=7/4 external=0 local=True reachesFrontier=False closureFrontier=False directLeafTable=False status=blocked; postGateOp10=2 validReset=0 helperArgs=0xe6,0xe7 opcode24=0x005428e4 promotes=False
    refs: out/save_selector_predecessor_branch_state_execution_gap.json: proofFound, failedBranchStateExecutionGateIds, missingEvidence, evidenceRefs, evidenceRefCount, runtimeBranchStateSplit, fillExecutionOrderProofFound, fillSiteExecutionContextProven; out/save_selector_predecessor_fill_execution_order_gap.json: localFillTraceReachesCurrentReader, rootEntryFixedTraversalFillSitesReachable, predecessorDescriptorDependsOnSaveSelectorSliceModel, rawGenericClassification, rawGenericCallGraphClassification, rawGenericCallGraphProofFound, rawGenericCallGraphDepthSensitivity, rawGenericRouteProofFound, predecessorDispatchTableBaseAuditRows, predecessorFillProofGateRows, predecessorFillProofGateCount, predecessorFillProofGatePassCount, predecessorFillProofGateBlockedIds, predecessorFillProofGateBlockedCount, predecessorFillAllProofGatesBlocked, failedPredecessorFillOrderGateIds, missingEvidence, evidenceRefs, evidenceRefCount, proofFound; out/save_selector_predecessor_fill_opcode10_context.json: helperOnlyDirectCallInsideOpcode10Handler, directFillSiteTextRefCount, runtimeObservedAllZero, branchStatePollSampleCount, branchStatePollFillMatchCount, requiredProofGateCount, requiredProofGatePassCount, requiredProofGateFailCount, requiredProofGateFailIds, requiredProofGateAllBlocked, failedPredecessorFillOpcode10GateIds, missingEvidence, evidenceRefCount, proofFound; out/save_selector_predecessor_fill_site_execution_context.json: branchStatePollSampleCount, branchStatePollFillMatchCount, descriptorEdgeRejectionClassification, requiredProofGates, requiredProofGateCount, requiredProofGatePassCount, requiredProofGateFailCount, requiredProofGateFailIds, requiredProofGateAllBlocked, fillSiteExecutionContextProven, proofFound, failedPredecessorFillGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_predecessor_descriptor_bridge_gap.json: proofFound, failedDescriptorBridgeGateIds, missingEvidence, evidenceRefCount, descriptorEdgeRejectionClassification, rootStopToFillBridgeFound, fillStopToCurrentBridgeFound, descriptorBridgeProofFound; out/save_selector_merge_runtime_context.json: forwardBridgeAbsent, reverseReuseBeforeFillOnly, selectorMergeRuntimeProofFound, proofFound, failedSelectorMergeRuntimeGateIds, missingEvidence, evidenceRefs, evidenceRefCount; out/save_selector_selected_root_execution_gap.json: proofFound, failedSelectedRootGateIds, missingEvidence, selectedRootExecutionRefFound, selectedRootExecutionRejectionClassification, saveLoaderGate, runtimeProbeGate, remainingProofs, evidenceRefs, evidenceRefCount, promotionStatus; out/runtime_predecessor_coordinate_source_scan.json: classification, promotionStatus, proofFound, predecessorCoordinateSourceProofFound, failedPredecessorCoordinateSourceGateIds, missingEvidence, evidenceRefs, evidenceRefCount, sourceSave, scanTargets, pointerTables, staticBasePairHits, trailRingPairHits, pairHitSummaryRows, coordinateSourceRejectionClassification, publicSaveStartPointerTableTileHitCount, publicSaveStartStaticBaseHitCount, publicSaveStartTrailRingHitCount, publicSaveStartImageHitCount, reciprocalPointerTableTileHitCount, reciprocalStaticBaseHitCount, reciprocalTrailRingHitCount, reciprocalImageHitCount, remainingProofs, imagePairHits; out/runtime_predecessor_route_attempt_context.json: proofFound, predecessorRouteAttemptProofFound, routeSelectorHitCount, currentRootHitCount, observedSelectorCounts, dominantDiversionSelector, diversionSelectorContextCount, diversionRoutePromotionEvidenceFound, publicPredecessorSelectorContext, failedPredecessorRouteAttemptGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus
  2. Resolve selector merge before using predecessor 1:0 persistence. [open]
    why: The confirmed source-side route overlaps selector 0:0, while predecessor 1:0 is target-side only. The current 2:0 row looks like a merge of those selector lists, not a proven execution sequence.
    related failed gates: selectedRootExecution
    next input classes: selected-root-execution-proof
    next input summary: selected-root-execution-proof
    evidence: 1:0->2:0 adjacent=True sourcePrev=0:0 targetSideOnly=True mergeGap=True wouldPass=True noLocalOverwrite=True directSecondaryWriters=0 routeOrder=False persistence=False; merge runtime context: 0:0+1:0->2:0 shapeOnly=True forwardBridgeAbsent=True encodedRaw=3 encodedPromoting=0 encodedMerge=False aliasPublicForward=- aliasAddressForward=10:0 aliasPublicSamples=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 proofFound=False failedSelectorMergeRuntimeGates=selector-merge-execution-proof,selected-root-runtime-execution,predecessor-fill-runtime-proof,route-pair-entry-execution,strict-source-hotspot missingEvidenceCount=5 status=blocked; merge closure context: 0:0+1:0->2:0 shapeOnly=True extra=map1_02b overinclude=True forwardAbsent=True bridges=0/0/0 encoded=3/0/False reverse=51/51/0 aliasPublicForward=- aliasAddressForward=10:0 aliasSamples=0 aliasExec=False aliasExclusion=address-adjacent-alias-data-only routeRootsTable=True predCurrentRootRef=False selectedRoot=False anyPollRoute=False diagExcluded=True opcode10Proof=False opcode10AllZero=True opcode10FillMatches=0 routeOrder=False strict=False/False proofs=False/False/False proofFound=False failedSelectorMergeGates=selector-merge-execution-proof,selected-root-runtime-execution,predecessor-fill-route-order-proof,strict-source-hotspot missingEvidenceCount=4 predUsable=False status=blocked; 1:0->2:0 sourcePrev=0:0 predConfirmed=0 routePairPrev=0 targetOnly=True mergeGap=True indexOrder=True progress=True routeOrder=False proofFound=False failedRouteOrderGates=source-current-selector-merge-order,predecessor-branch-state-persistence,strict-source-hotspot evidenceRefs=4; 2:0=pred+source True 0:0+1:0 covers=True extra=map1_02b exactPairs=0 recomposition=True execution=False proofFound=False failedGates=source-current-control-flow,predecessor-state-persistence,real-selector-2:0-or-selected-root-runtime,strict-source-hotspot missingEvidenceCount=4 status=blocked; selector recomposition lattice: selectors=29 routePairSelectors=1 onlyCurrent=True oneMapAug=2 exactPairUnions=5/3 2:0=pred+source True unionCovers=True extra=map1_02b execution=False hotspot=False status=blocked; mapset aliases: aliases=1:0,10:0,17:0 public=- duplicates=5/13 current=targetAlias+source True sourceTargetOvercovers=True extra=map1_02b addrPrevSameMaps=True addrPrev->current=1 class=current-selector-row-entry-with-resource-list contiguity=False execution=False status=blocked; target alias state effects: aliases=1:0,10:0,17:0 pass=1:0,10:0 noFill=17:0 passCount=2 noFillCount=1 fill=0x00000210 table=[1,1,0,0,...] allFillProof=False writer=0x005428bc reader=0x00542b0c status=blocked; addrPrev=10:0 root=0x0053c4a4 sameMapsAsLogical=True current=addrPrev+source True addrPrev->current=1 rowEntry=True class=current-selector-row-entry-with-resource-list addrFillPass=True tailFillAfterLast=False passNotProof=True tailCurrentPtrs=74 tailExactRoot=0 tailReader=0 tailRecords=0/0 tailDataLike=True contiguity=False execution=False status=blocked; aliases=1:0,10:0,17:0 range=0x00540714..0x00543578 public=- publicAliases=- publicForward=- publicData=- publicSamplesOnForward=0 addressForward=10:0 nonPublicForward=10:0 addressOnly=True coverage=uncovered-address-adjacent-only exclusion=address-adjacent-alias-data-only hits=75 meta/data=1/74 promotingExact=1 promotingMetaData=1/0 promotingMetadataOnly=True promotingRoles=current-selector-row-selected-root-entry forwardHitAliases=10:0 forwardDataAliases=10:0 tailDataAliases=10:0 dominantDataAliases=10:0 tailHits=74 tailMeta=0 tailData=74 tailPreWriter=65 tailLeaf=9 leafRoutePair=2 leafRawReader=0 leafCorrectedReader=2 tailLeafCorrectedReader=2 tailTraceW/R/S=0/0/0 execLike=False tailExecLike=False withoutForward=1:0,17:0 proofFound=False failedGates=target-alias-execution-order,branch-state-persistence,real-selector-2:0-or-selected-root-runtime,strict-source-hotspot missingEvidenceCount=4 status=blocked; tableOnly=True textRefs=False split=True currentPair=True predToCurrentRootRef=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; 1:0->2:0 forward=0 reverse=51 forwardExec=False reverseBeforeFill=51 reverseToFill=0 onlyBeforeFill=True routeOrder=False; reverse reuse context: 2:0->1:0 reverse=51 beforeFill=51 fillSites=0 aligned/unaligned=24/27 forward=0 directMerge=False proof=False status=blocked; 0:0->1:0=0 0:0->2:0=0 1:0->2:0=0 2:0->1:0=51 beforeFill=51 fillSites=0 forward=0 directMerge=False encodedRaw=3 encodedPromoting=0 encodedMerge=False proofFound=False failedGates=selector-2:0-runtime-or-savedata,source-current-vm-control-flow,strict-source-hotspot missingEvidenceCount=3; op8Activators=162 sourcePredCurrentRootWriters=0 sourcePredCurrentRangeWriters=0 currentInternalOp9=6 promotes=False; roots=28/28 op7/op8/op9=3238/3180/316 nonCurrentRoot=0/0/0 nonCurrentRange=0/0/0 currentInternal=6/35 selectedRootExec=False promoteCandidates=0; global=0x0059de30 groupTable=0x00442d35 current=2:0 root=0x00540714 globalTextRefs=6 currentCodeRefs=0 rootTextRefs=0 level2=0x005429dc level2TextRefs=0 readerRefs=0 sourceRefs=0 targetRefs=0 hooks=6[0x004234ba,0x0040adb8,0x0040add6,0x0040adfe,0x0040ae37,0x0040ae4a] writerHooks=4 readerHooks=2 opcode8Read=0x0040adfe proofFound=False usageProof=False failedGates=static-current-selector-text-ref,selected-pointer-runtime-current-root,opcode08-current-root-activation,real-selector-2-0-savedata,strict-hotspot-or-runtime-producer missingEvidenceCount=5 evidenceRefs=5 status=blocked; selectedRootRef=False proofFound=False failedSelectedRootGates=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 missingEvidenceCount=5 reject=selected-root-no-real-selector-no-execution-ref-diagnostic-excluded subgates=8/8 remainingProofs=5 evidenceRefs=8 subgateStatus=missing-current-selector/table-only-no-text-ref/trace-targets-prerequisites-unproven/static-slice-only/no-non-current-producer/current-internal-only/no-real-selector-2:0-observed/diagnostic-excluded saveSelector2:0=0 selectedPointerSave=0 routePairSave=0 staticCodeRefs=0 rootTextRefs=0 hookPrereq=6/6/0/0 hookWindow=6/0 hookAllUnproven=True 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 dispatchTable=0x00440720 dispatchSlice=0x7a dispatchRefs=0/0 dispatchHandlers=True dispatchExecRef=False nonCurrentRoot=0/0/0 nonCurrentRange=0/0/0 currentInternal=6/35 writerCount=4 poll=1550:8:0 preludePoll=491:8:0,50:0 longPoll=1928:8:0,50:0 latePoll=1122@45.0:8:0,50:0 routeWatch=1123@45.0:8:0,50:0 routeWatchValues=opcode24Mode1Source=0x00x1123; opcode24CurrentObjectIndex=0x00x1123; opcode24RuntimeFlag=0x00x783,0x01x340 routeWatchRoute=False saveLoadPoll=None@None:- saveLoadRoute=None multiSaveLoad=None@None:- multiSavePublic=- multiSavePublicHit=None multiSaveRoute=None caseAliasMultiSaveLoad=None@None:- caseAliasMultiSavePublicHit=None caseAliasMultiSaveRoute=None inputPathCaseAliasMultiSaveLoad=None@None:- inputPathCaseAliasMultiSavePublic=- inputPathCaseAliasMultiSaveObservedPublic=- inputPathCaseAliasMultiSavePublicHit=None inputPathCaseAliasMultiSaveRoute=None predecessorDirectionSweep=3380@18.0:50:0,19:1,1:0 predecessorDirectionSweepKind=public predecessor direction sweep predecessorDirectionSweepPublic=1:0 predecessorDirectionSweepObservedPublic=1:0 predecessorDirectionSweepPublicHit=True predecessorDirectionSweepRoute=False predecessorDirectionSweepValues=opcode24Mode1Source=0x00x3380; opcode24CurrentObjectIndex=0x00x3380; opcode24RuntimeFlag=0x00x3380 predecessorLeftOverrunActivationSweep=2299@18.0:50:0,19:1,1:0 predecessorLeftOverrunActivationSweepKind=public predecessor left-overrun activation sweep predecessorLeftOverrunActivationSweepPublic=1:0 predecessorLeftOverrunActivationSweepObservedPublic=1:0 predecessorLeftOverrunActivationSweepPublicHit=True predecessorLeftOverrunActivationSweepRoute=False predecessorLeftOverrunActivationSweepValues=opcode24Mode1Source=0x00x2299; opcode24CurrentObjectIndex=0x00x2299; opcode24RuntimeFlag=0x00x2299 predecessorRouteAttempt=13/60/59816 predecessorRouteAttemptPublicFiles=11 predecessorRouteAttemptRouteCurrentHits=0/0 predecessorRouteAttemptDominantDiversion=19:1 predecessorRouteAttemptDiversionContexts=3/2/1 predecessorRouteAttemptRouteEvidence=False predecessorRouteAttemptPublicContext=public-predecessor-target-side-non-promoting predecessorRouteAttemptStatus=blocked syntheticSelector20=374@18.0:8:0 syntheticSelector20ObservedStaged=- syntheticSelector20Route=False patchedPublicSelector20=375@18.0:2:0,10:0 patchedPublicSelector20Route=True patchedPublicSelector20Diagnostic=True diagnosticExcluded=True diagnosticActiveOrder=0x01/0x00 diagnosticDescriptor=0x004f867c diagnosticBranchState=374/164:2:0,10:0,50:0 diagnosticBranchActive=0x01 diagnosticBranchAllZero=True diagnosticBranchMatchesFill=False diagnosticExitCandidates=None diagnosticExitRouteSides=- diagnosticExitBranchNonzero=- diagnosticExitStatus=None diagnosticLeftStability=679 diagnosticLeftRouteSeq=left-load-right diagnosticLeftNonRouteSeq=left-load-only,left-load-left diagnosticLeftObserved=50:0,10:0,2:0 diagnosticLeftRouteHits=125 diagnosticLeftOpcode24AllZero=True diagnosticLeftRepro=not-reproduced diagnosticLeftRecheck=680:50:0 diagnosticLeftRecheckRouteHits=0 diagnosticLeftActiveOrderRecheck=679:50:0 diagnosticLeftActiveOrderRecheckRouteHits=0 diagnosticLeftActiveOrderCount=0x00x679 diagnosticLeftStatus=diagnostic-only diagnosticFollowup=10:0@0x0053c4a4 diagnosticFollowupSource=False diagnosticFollowupTarget=True diagnosticBridgeExec=False diagnosticTraceStops=no-fixed-advance fileIoAttachLoad=8/8 fileIoAttachLoadKeyWrites=8/8 fileIoAttachLoadUsable=True fileIoAttachLoadSavedat1=False fileIoAttachCaseAliasLoad=8/8 fileIoAttachCaseAliasLoadKeyWrites=8/8 fileIoAttachCaseAliasLoadUsable=True fileIoAttachCaseAliasLoadSavedat1=False anyPollRoute=False status=blocked; route-pair entry execution gap: entryIdx=6,8 correctedIdx=6,8 negativeReaderIdx=-12 evidenceRefs=10 globalRoutePairIdx=-13,-12,6,8 globalNegNonNeg=2/2 frontierLeafNegativeOnly=True correctedReader=2/2 nonNegSelectable=False nonNegCorrectedReachable=True normalSelectionGap=corrected-trace-not-normal-selection-proof normalSelectionGapFound=True op7DirectAbsent=True op8CurrentRootRange=0/0 op8CurrentInternal=24 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 indexSourceNonNegPromoting=0 indexSourceNegativeReaderPromoting=0 indexSourceHandlers=0x005429ac/0xac->0x00000003/-,0x005429f4/0xf4->0x00000004/-,0x005429fc/0xfc->0x004409b8/.data indexSourceProven=False indexSourceProof=False indexSourceFailedGates=direct-entry-pointer-source,encoded-entry-anchor-control-flow,nonnegative-entry-index-source,negative-wrapper-index-source indexSourceMissingEvidenceCount=4 rootTableRefs=14/0 rootTableSections={'.data': 14} rootTableEntryLeafFrontierReaderText=0/0/0/0 rootTableFrontierReaderRefs=0 wrapperEntryRunRefs=0 wrapperFallthroughRefs=1 wrapperFallthroughNonCodeRefs=1 wrapperFallthroughHandlers=0x005429ac/0xac->0x00000003/- wrapperExec=False selectedRootRef=False entryExec=False proofFound=False failedRoutePairEntryGates=selected-root-execution,route-pair-index-source,source-predecessor-current-producer,wrapper-entry-execution,strict-hotspot missingEvidenceCount=5 strictHotspot=False status=blocked; 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; op8Activators=162 currentRangeProducers=0 ownRange=24 scriptScalar=107 unreadable=31 currentInternal=24 promotes=False; unreadableActivations=31 uniqueProducers=10 op7=18 unmappedSlots=18 op9=13 unsupportedModes=13 staticCurrent=0 promotes=False; op9Rows=17 handler=0x0040ae0e modeSource=zero-extended-u8 modes=['0x00', '0x01'] supported=12 unsupported=5 collisions=5 unsupportedCollision=5 unsupportedModes=['0x6c', '0xfe'] allUnsupportedCollisions=True currentStores=0 currentUnsupported=0 activationLinked=13 promotes=False; rootRun=0x005429dc..0x00542a00 entry=0x005429ac wrapper=0x00542a04 child=0x00542ae8 entryRefs=1 entryRootRefs=1 entryPromotes=0 beforeRoot=True rootRefsWrapper=False frontierDirect=False descriptors=10 status=blocked; op24=0x005428e4 stop=0x005428f4 window=0x005428e8..0x005429a4 leafStart=0x005429a8 root=0x005429dc wrapper=0x00542a04 frontier=0x00542ae8 reader=0x00542b0c ptrs=7 leafPtrs=0 graph=7/4 external=0 local=True reachesFrontier=False closureFrontier=False directLeafTable=False status=blocked; table=0x005429a8..0x00542a10 leafRefs=4 wrapper=0x00542a04 frontier=0x00542ae8 directEntry=False runtimeSelection=False proofFound=False failedLeafTableGates=runtime-selector-index,wrapper-frontier-execution,strict-hotspot missingEvidenceCount=3 strict=False status=blocked; tablePtr=0x005429dc entries=23 negative=13 current=10 routePairCurrent=2 readerCurrent=0 readerNegative=1 frontierChildIdx=[-12] readerNegativeIdx=[-12] routePairIdx=[6, 8] nonNegativeSelectable=False correctedReachable=True runtimeSelection=False proofFound=False failedLeafIndexGates=normal-runtime-selector-root-execution,reader-branch-target-linkage,strict-hotspot missingEvidenceCount=3 evidenceRefs=3 status=blocked; currentRoutePair=2 indices=[6, 8] sceneAdjacent=2 readerHits=2 geoHits=0 readerCurrent=0 readerNegative=1 readerNegativeIdx=[-12] nonNegativeSelectable=False proofFound=False failedGates=normal-runtime-selector-root-execution,reader-branch-target-linkage,strict-source-hotspot missingEvidenceCount=3 evidenceRefs=4 status=blocked; rows=33 valid=30 indexMode=zero-extended-u8 leafSlots=0 negativeSlots=0 wrapperEntrySlots=0 directFrontier=0 table=0x005429a8 entry=0x005429ac wrapper=0x00542a04 frontier=0x00542ae8 status=blocked; handlers=5 rows=12 branchRows=1 directFrontier=0 branchFrontier=0 branch=0x00542e74 next=0x00001618 meaning=map2_16j.cns status=blocked; leafs=3 readerLeafs=1 cluster=0x00542b44..0x00542e74 class=current frontier selector-only cluster events=0 selectorRefs=34 strict=False proofFound=False failedGates=normal-current-root-execution,strict-source-hotspot,frontier-event-cluster,reader-branch-target-linkage missingEvidenceCount=4 evidenceRefs=5 status=blocked; routeOverlap=4 preCurrent=1 sourceSide=0 currentAfter=1 postCurrent=2 promotes=False
    refs: out/save_selector_predecessor_persistence_gap.json: proofFound, predecessorPersistenceProofFound, failedPredecessorPersistenceGateIds, missingEvidence, evidenceRefs, evidenceRefCount, persistenceProven, selectorMergeGapOpen, routeOrderProven, promotionStatus; out/save_selector_predecessor_route_order.json: proofFound, predecessorRouteOrderProofFound, failedPredecessorRouteOrderGateIds, missingEvidence, evidenceRefs, evidenceRefCount, routeOrderProven, selectorMergeGapOpen, sourceRoutePreviousSelector, predecessorIsTargetSideOnly, promotionStatus; out/save_selector_merge_runtime_context.json: mergeShapeOnly, forwardBridgeAbsent, selectorMergeRuntimeProofFound, proofFound, failedSelectorMergeRuntimeGateIds, missingEvidence, evidenceRefs, evidenceRefCount; out/save_selector_merge_closure_context.json: selectorMergeClosureProofFound, proofFound, failedSelectorMergeGateIds, missingEvidence, evidenceRefs, evidenceRefCount, predecessorPersistenceUsableForCurrent, promotionStatus; out/save_selector_merge_execution_gap.json: sourceToCurrentBridgeHitCount, currentToPredecessorBeforeFillHitCount, selectorMergeExecutionProofFound, proofFound, failedSelectorMergeExecutionGateIds, missingEvidence, evidenceRefs, evidenceRefCount; out/save_selector_set_decomposition.json: currentEqualsPredecessorPlusSource, sourcePredecessorUnionCoversCurrent, executionOrderProven, proofFound, failedSelectorSetDecompositionGateIds, missingEvidence, evidenceRefs, evidenceRefCount; out/save_selector_target_alias_bridges.json: forwardHitsAddressAdjacentOnly, targetAliasExecutionExclusionStatus, aliasToCurrentExecutionLikeBridgeFound, proofFound, failedTargetAliasBridgeGateIds, missingEvidence, evidenceRefs, evidenceRefCount; out/save_selector_route_root_ref_context.json: allRouteSelectorRootsTableOnly, predecessorToCurrentRootRefFound, routeOrderProven, proofFound, failedRouteRootRefGateIds, missingEvidence, evidenceRefs, evidenceRefCount; out/save_selector_reverse_reuse_context.json: reverseHitCount, beforePredecessorFillHitCount, fillSiteHitCount, alignedTargetCount, unalignedTargetCount, classificationCounts, forwardMergeBridgeHitCount, directMergeExecutionBridgeFound, proofFound, reverseReuseProofFound, failedReverseReuseGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_merge_bridge_matrix.json: sourceToCurrentHitCount, predecessorToCurrentHitCount, currentToPredecessorHitCount, currentToPredecessorBeforeFillHitCount, currentToPredecessorFillSiteHitCount, forwardMergeBridgeHitCount, forwardEncodedAnchorRawScalarCandidateCount, forwardEncodedAnchorPromotingCandidateCount, directMergeExecutionBridgeFound, encodedMergeExecutionBridgeFound, currentPredecessorHitsBeforeFillOnly, selectorMergeProofStatus, proofFound, failedMergeBridgeGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_route_pair_entry_execution_gap.json: proofFound, failedRoutePairEntryGateIds, missingEvidence, routePairEntryExecutionProven, correctedTraceNormalSelectionGapFound, selectedRootExecutionRefFound, wrapperExecutionProofFound, evidenceRefs, evidenceRefCount, promotionStatus
  3. Treat the save-selector branch as a resource/scene-list gate, not a map transition. [blocked]
    why: The branch target is a character/object CNS resource, while the target map appears later as another scene record in the selector list.
    related failed gates: strictSourceHotspot,tileHotspotConfirmation
    next input classes: strict-source-coordinate-or-hotspot-proof,tile-hotspot-confirmation-proof
    next input summary: strict-source-coordinate-or-hotspot-proof, tile-hotspot-confirmation-proof
    evidence: 0x00542b0c target=cns:cara_01.cns fallthrough=0x00542b14; branch=0x00542b0c target=cns:cara_01.cns resource=True class=resource-gate-before-scene-record sourceRecord=0x00542b44 targetRecord=0x00542bac proofFound=False failedGates=resource-branch-not-field-map,selector-adjacency-only,strict-hotspot-missing missingEvidenceCount=3 evidenceRefs=3 status=blocked; reader=0x00542b0c condition=secondaryBranchState[selectionBuffer[0x20]] == 1 traces=2/2 pred=1:0 fill=0x00000210 allPass=True outcome=fallthrough pass=0x00542b14->0x0053f4fc class=sprite-or-rect-payload-like passPromotes=False inBounds=0 fail=0x0053f46f failKind=cara_01.cns failFieldMap=False siblings=3 resourceSiblings=3 fieldMapSiblings=0 runtime=False strict=False proofFound=False failedGates=normal-runtime-reader-execution,resource-payload-strict-hotspot,independent-strict-transition-evidence missingEvidenceCount=3 evidenceRefs=4 status=blocked; reader=0x00542b0c passPayload=0x0053f4fc rectLike=3/3 imageGates=3 allFitImages=True inBounds=0 textRefs=0 rows=cara_01.cns:0x0053f4fc:8rects/0points;cara_05.cns:0x0053f71c:8rects/0points;cara_etc.cns:0x0054005c:7rects/0points strict=False proofFound=False failedGates=in-bounds-source-point-table,payload-text-or-code-reference,strict-hotspot missingEvidenceCount=3 evidenceRefs=4 status=blocked; leaves=322 refs=663 adjOcc=341 uniquePairs=77 strictOverlap=0 confirmedOverlap=0 selectorOnly=77 currentOcc=3 currentStrict=False currentConfirmed=False currentSelectorOnly=True proofFound=False failedGates=strict-event-backed-adjacency,confirmed-review-backed-adjacency,strict-hotspot-or-coordinate missingEvidenceCount=3 evidenceRefs=3
    refs: out/save_selector_scene_list_context.json: currentFrontier, rowCount, proofFound, failedSceneListGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_frontier_reader_branch_context.json: classification, passOutcome, failOutcome, proofFound, failedFrontierReaderGateIds, missingEvidence, evidenceRefs, evidenceRefCount, runtimeSelectionProven, strictHotspotFound; out/save_selector_frontier_payload_shape.json: allPayloadsFitPairedImages, sourceInBoundsPointCount, payloadTextRefCount, proofFound, failedFrontierPayloadGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_scene_adjacency_index.json: adjacentPairsWithoutStrictOrConfirmedCount, currentPairSelectorAdjacencyOnly, currentPairStrictEventBacked, proofFound, failedSceneAdjacencyGateIds, missingEvidence, evidenceRefs, evidenceRefCount
  4. Find a strict source coordinate or hotspot before promotion. [open]
    why: The frontier currently comes from save-selector scene links, not from event transition coordinates.
    related failed gates: strictSourceHotspot,tileHotspotConfirmation
    next input classes: strict-source-coordinate-or-hotspot-proof,tile-hotspot-confirmation-proof
    next input summary: strict-source-coordinate-or-hotspot-proof, tile-hotspot-confirmation-proof
    evidence: sourceEventCount=0 targetEventCount=0; coordinate variant scan: 4 candidates (top 18,0, bottom 16,47, left 3,14, right 34,19); spanSeqHits=0 spanCurrentRoot=10 falsePos=1/2/10 targetSpawn=80/18/43/{"selector-script-word":18}/{"character-descriptor-script-word":43}/promotable=0/True/False strict=False proof=False failed=strict-source-coordinate,target-spawn-strict-coordinate,promotable-coordinate-owner missing=3 promotion=blocked; coordinate refs: rows=4 classified=0 xyHits=0 promotable=0 policy=manual-review-only; coordinate refs are diagnostic and never auto-promoted; coordinate context: right 34,19 xy=0x00130022 hits=1/1 hit=0x004f9460 owner=24:0 cns=cara_at1.cns class=save-selector-script-word promotable=False status=blocked; original collision audit: mode=originalLayer1Flags candidates=4 standable=3/4 allStandable=False/True proofFound=False gates=strict-source-hotspot,selected-root-execution,real-selector-2-0-savedata,runtime-trace-or-equivalent-control-flow missing=4 refs=3 promotionAllowed=False status=diagnostic-only; hotspot gap: strictHotspot=False events=0 coords=0 extractionGaps=0 manifestIncoming=1 promotable=0 resourceRefs=10 resourcePoints=163 routeExitPoints=0 resourceStrict=0 targetContexts=5 strictTargetContexts=0 selectorOnlyContexts=5 frontier=0x00542b44..0x00542e74 class=current frontier selector-only cluster pair=True status=blocked; resource ref scan: refs=10 source/target=3/7 pointCandidates=163 routeExitHits=0 strict=0 frontierClasses={'sentinel-0x003f-singleton': 16, 'resource-size-singleton': 2} frontierRouteHits=0 frontierRef=0x00542b44 status=blocked; scene payload context: sourceRecord=0x00542b44 targetRecord=0x00542bac payloads=3 inBounds=0 textRefs=0 promotions=0 status=blocked; frontier reader branch context: reader=0x00542b0c condition=secondaryBranchState[selectionBuffer[0x20]] == 1 traces=2/2 pred=1:0 fill=0x00000210 allPass=True outcome=fallthrough pass=0x00542b14->0x0053f4fc class=sprite-or-rect-payload-like passPromotes=False inBounds=0 fail=0x0053f46f failKind=cara_01.cns failFieldMap=False siblings=3 resourceSiblings=3 fieldMapSiblings=0 runtime=False strict=False proofFound=False failedGates=normal-runtime-reader-execution,resource-payload-strict-hotspot,independent-strict-transition-evidence missingEvidenceCount=3 evidenceRefs=4 status=blocked; frontier payload shape: reader=0x00542b0c passPayload=0x0053f4fc rectLike=3/3 imageGates=3 allFitImages=True inBounds=0 textRefs=0 rows=cara_01.cns:0x0053f4fc:8rects/0points;cara_05.cns:0x0053f71c:8rects/0points;cara_etc.cns:0x0054005c:7rects/0points strict=False proofFound=False failedGates=in-bounds-source-point-table,payload-text-or-code-reference,strict-hotspot missingEvidenceCount=3 evidenceRefs=4 status=blocked; record pattern contrast: confirmed=map1_02b -> map1_01a cluster=0x005032d8..0x00503350 event=0x00503350 points=24 reviews=2; frontier=0x00542b44..0x00542e74 events=0 selectorRefs=34 routeExit=0 geometry=0 branch=cns:cara_01.cns confirmedLike=False status=blocked; strict target link gap: rows=0/1/0/5 directStrict=0 sourceStrict=1 incomingOnly=1 outgoing=0 sourceClusters=0x005032d8..0x00503350 targetStrict=0 targetSelectorOnly=5 targetSelectorSourceOverlap=1 targetSelectorSourceTargetPairs=1 targetClusters=0x0044d818..0x0044dc48,0x0047da7c..0x0047de1c,0x004f4bd8..0x004f4ef0,0x0053e12c..0x0053e3f4,0x00542b44..0x00542e74 frontierBreadth=11/110/10/10 frontierSourceTargetPairs=1 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 status=blocked; scene adjacency index: leaves=322 refs=663 adjOcc=341 uniquePairs=77 strictOverlap=0 confirmedOverlap=0 selectorOnly=77 currentOcc=3 currentStrict=False currentConfirmed=False currentSelectorOnly=True proofFound=False failedGates=strict-event-backed-adjacency,confirmed-review-backed-adjacency,strict-hotspot-or-coordinate missingEvidenceCount=3 evidenceRefs=3; entry context: confirmedPrev=map1_02b entry=0x005032d8 entryCluster=0x005032d8 frontier=0x00542b44 frontierCluster=0x00542b44 entryProvesFrontier=False status=blocked; selector bridge: 0:0:0x00501808->2:0:0x00540714 forward=0 reverse=0 bridge=False status=blocked; manifest point scan: records=3 pointLike=11 incoming=1 promotable=0 strict=False incomingTable=0x00503364->0x0050336c owner=map1_02b@0x00503350 status=blocked; root point scan: selector=2:0 root=0x00540714 range=0x00540714..0x00543578 pointLike=448 reported=447 frontierClusterCandidates=4 exactExit=0 scriptLike=445 top=0x00542044->0x005420dc first=0x00010021 class=script-like-point-run strict=False status=blocked; edge trigger gap: candidateRows=4 proof=False failed=edge-to-transition-control-flow,runtime-edge-selected-root-proof,strict-source-hotspot missing=3 edgeTriggerBoundary=2/4 autoBoundary=2 snippets=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 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 latchRefs=79 latchOtherText=9 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/58/54/0/0/0 indirectLocal=True status=blocked-generic-edge-trigger-unproven; strict event tile signature: strictEvents=11/228 proof=False failed=target-linked-strict-event-signature,direct-source-target-strict-event,tile-hotspot-confirmation missing=3 reviewed=24 confirmed=2 targetLinked=0 directSourceTarget=0 matches=center:1/4,low3x3:0/4,pair3x3:0/4 centerPairs=11 centerOwners=map1_02b->map1_01a:11 centerSame/target/confirmed/rejected=0/0/0/11 allCenterRejected=True targetSpawnSig=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 allTargetZero=True allDirectZero=True confirmedPair3x3Zero=True tilePromotes=False status=blocked; strict source hotspot context: candidateRows=4 evidenceRows=17 evidenceRefs=19 remainingProofs=3 candidates=4 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/events=0/0 strict=False/False proofFound=False coordBlocked=True variantBlocked=True targetSpawnCoord=80/18/43/0/True targetSpawnClasses={"selector-script-word":18}/{"character-descriptor-script-word":43} byteCoord=24/0/0/66/False targetByteCoord=24/0/15/False cnsPayload=24/0/0,14,0/False tileMatches=center:11,low3x3:0,pair: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 centerOwners=map1_02b->map1_01a:11 centerSame/target/confirmed/rejected=0/0/0/11 allCenterRejected=True targetLinked=0 direct=0 points=163/0 frontierPointClasses={'sentinel-0x003f-singleton': 16, 'resource-size-singleton': 2} frontierRouteHits=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 edgeCallGraph=bounded-direct-callgraph-no-transition-path/7/24/0/0/0/6 edgeCallGraphSensitivity=6/True/True edgeIndirectGraph=bounded-indirect-callgraph-no-static-transition-target/6/58/58/54/0/0/0 edgeIndirectLocal=True edgeStatus=blocked-generic-edge-trigger-unproven selectorOnly=True proof=False failedStrictHotspotGates=strict-source-coordinate,tile-hotspot-confirmation,strict-target-link,equivalent-runtime-trigger-proof missingEvidenceCount=4 reject=selector-only-scene-list-no-strict-hotspot status=blocked; runtime source-save load variant context: class=source-ready-adaptive-exit-no-route proofFound=False sourceSaveLoadProof=False failedGates=strict-source-hotspot,selected-root-execution,route-selector-current-root-observation,source-exit-candidate-observation,route-promotion-evidence missingEvidenceCount=5 evidenceRefs=6 loadSource=False coordSourceStart=False/False exitSource=True exitSelectors=50:0,48:13,0:0 exitPublic=0:0 exitRouteCurrent=False/False adaptiveReady=4 adaptiveTrailReady=4 readyDivert=source-ready-path-diverts-to-48:13-before-exit-candidates readyPaths=8/0/0 firstNonSource=48:13 diversionContext=non-route-selector-adjacency-only diversionSelector=48:13 diversionMaps=map2_04l,map2_05e diversionAdjacency=1/1/0/0 diversionCurrentProof=0 strictProof=False selectedRootProof=False status=blocked; exit target ranking: rows=4/1/2/2/3 exits=4 blockedExits=4 autoBlocked=2 returnOverlap=4 reciprocal=4 coordLike=3 coordPromotable=0 outgoing=2 targets=map1_02b,map2_02d strictBacked=0 confirmedBacked=0 selectorOnly=2 blockedOcc=3 returnOcc=2 incomingConfirmed=2 proofFound=False failedGates=strict-source-hotspot,target-map-control-flow,strict-or-confirmed-outgoing-transition,selected-root-or-real-save-proof missingEvidenceCount=4 evidenceRefs=5 status=blocked
    refs: out/map1_01a_strict_source_hotspot_context.json: candidateSummaries, evidence, remainingProofs, candidateCount, strictHotspotRejectionClassification, evidenceRefs, evidenceRefCount, strictSourceCoordinateFound, tileHotspotConfirmed, proofFound, failedStrictHotspotGateIds, missingEvidence, targetSpawnCoordinateCurrentRootClassificationCounts, targetSpawnCoordinateCharacterDescriptorClassificationCounts, targetSpawnCoordinatePromotableHitCount, strictSourceHotspotProofFound, promotionStatus; out/map1_01a_strict_hotspot_review_matrix.json: candidateRows, remainingProofs, transitionReviewRowCount, eventTransitionCount, candidateGateSummary, proofFound, strictHotspotReviewProofFound, failedStrictHotspotReviewGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/map1_01a_exit_coordinate_variant_scan.json: spanSequenceHitCount, spanCurrentRootHitCount, targetSpawnCurrentRootClassificationCounts, targetSpawnCharacterDescriptorClassificationCounts, targetSpawnPromotableHitCount, strictCoordinateEvidenceFound, proofFound, exitCoordinateVariantProofFound, failedExitCoordinateVariantGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/map_exit_coordinate_refs.json: promotionPolicy, promotionStatus, proofFound, mapExitCoordinateRefProofFound, failedMapExitCoordinateRefGateIds, missingEvidence, evidenceRefs, evidenceRefCount, rows; out/map1_01a_exit_coordinate_context.json: xyPackedHex, xyHitCount, hitVaHex, ownerSelector, ownerLinkedCns, classification, proofFound, exitCoordinateContextProofFound, failedExitCoordinateContextGateIds, missingEvidence, evidenceRefCount, promotable, promotionStatus; out/map1_01a_exit_byte_coordinate_scan.json: bytePairScanCount, targetSpawnBytePairScanCount, sequenceHitCount, strictSourceTargetByteHitCount, targetSpawnStrictSourceTargetByteHitCount, strictByteCoordinateEvidenceFound, targetSpawnStrictByteCoordinateEvidenceFound, proofFound, exitByteCoordinateProofFound, failedExitByteCoordinateGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/map1_01a_exit_cns_payload_scan.json: bytePairScanCount, wordPairScanCount, outsideStructuredHitCount, strictCnsCoordinateEvidenceFound, proofFound, exitCnsPayloadCoordinateProofFound, failedExitCnsPayloadGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/original_collision_route_audit.json: collisionMode, routeCandidateCount, sourceOriginalStandableCandidateCount, targetOriginalStandableSpawnCount, promotionAllowed, promotionStatus, proofFound, originalCollisionRouteProofFound, failedOriginalCollisionRouteGateIds, missingEvidence, evidenceRefCount; out/map1_01a_tile_hotspot_pattern_contrast.json: currentCandidatesMatchingConfirmedLowNibbleCount, currentCandidatesMatchingConfirmedCenterPairCount, currentCandidatesMatchingConfirmedLow3x3Count, currentCandidatesMatchingConfirmedPair3x3Count, currentStrictTransitionReviewCount, tileHotspotConfirmed, proofFound, tileHotspotPatternProofFound, failedTileHotspotPatternGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/map1_01a_strict_event_tile_signature_scan.json: strictEventRecordCount, strictEventPointCount, targetLinkedStrictEventRecordCount, directSourceTargetStrictEventRecordCount, candidateCount, centerPairMatchCount, allCenterPairMatchesRejectedReview, targetSpawnTargetMapStrictEventPointCount, tileHotspotConfirmed, tileSignaturePromotes, promotionStatus, proofFound, strictEventTileSignatureProofFound, failedStrictEventTileSignatureGateIds, missingEvidence, evidenceRefs, evidenceRefCount; out/map1_01a_edge_trigger_gap.json: candidateRows, directCallGraphEvidence, missingPromotionEvidence, sourceBoundaryCandidateCount, transitionLikeDirectRelHitCountInHelperOrController, directRouteImmediateCountInHelperOrController, promotionStatus, proofFound, edgeTriggerProofFound, failedEdgeTriggerGateIds, missingEvidence, evidenceRefs, evidenceRefCount; out/runtime_source_save_load_variant_context.json: classification, proofFound, runtimeSourceSaveLoadVariantProofFound, failedRuntimeSourceSaveLoadVariantGateIds, missingEvidence, evidenceRefs, evidenceRefCount, exitPath, readyPathSummary, strictSourceHotspotProofFound, selectedRootExecutionProofFound, routePromotionEvidenceFound, promotionStatus; out/map1_01a_exit_target_ranking.json: exits, blockedTargetCandidates, selectorOutgoingCandidates, confirmedIncomingReviews, remainingProofs, exitCount, blockedTargetExitCount, selectorOutgoingOnlyCount, proofFound, exitTargetRankingProofFound, failedExitTargetRankingGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus
  5. Prove current selector leaf selection and wrapper execution. [open]
    why: The current 2:0 root contains route-adjacent leaves, but the traced reader leaf is indirect and the direct opcode 0x07/object+0x61 paths do not select the frontier.
    related failed gates: selectedRootExecution,runtimeTraceOrEquivalent
    next input classes: selected-root-execution-proof,runtime-trace-or-equivalent-proof
    next input summary: selected-root-execution-proof, runtime-trace-or-equivalent-proof
    evidence: leafs=3 readerLeafs=1 cluster=0x00542b44..0x00542e74 class=current frontier selector-only cluster events=0 selectorRefs=34 strict=False proofFound=False failedGates=normal-current-root-execution,strict-source-hotspot,frontier-event-cluster,reader-branch-target-linkage missingEvidenceCount=4 evidenceRefs=5 status=blocked; table=0x005429a8..0x00542a10 leafRefs=4 wrapper=0x00542a04 frontier=0x00542ae8 directEntry=False runtimeSelection=False proofFound=False failedLeafTableGates=runtime-selector-index,wrapper-frontier-execution,strict-hotspot missingEvidenceCount=3 strict=False status=blocked; tablePtr=0x005429dc entries=23 negative=13 current=10 routePairCurrent=2 readerCurrent=0 readerNegative=1 frontierChildIdx=[-12] readerNegativeIdx=[-12] routePairIdx=[6, 8] nonNegativeSelectable=False correctedReachable=True runtimeSelection=False proofFound=False failedLeafIndexGates=normal-runtime-selector-root-execution,reader-branch-target-linkage,strict-hotspot missingEvidenceCount=3 evidenceRefs=3 status=blocked; currentRoutePair=2 indices=[6, 8] sceneAdjacent=2 readerHits=2 geoHits=0 readerCurrent=0 readerNegative=1 readerNegativeIdx=[-12] nonNegativeSelectable=False proofFound=False failedGates=normal-runtime-selector-root-execution,reader-branch-target-linkage,strict-source-hotspot missingEvidenceCount=3 evidenceRefs=4 status=blocked; aliases=1:0,10:0,17:0 range=0x00540714..0x00543578 public=- publicAliases=- publicForward=- publicData=- publicSamplesOnForward=0 addressForward=10:0 nonPublicForward=10:0 addressOnly=True coverage=uncovered-address-adjacent-only exclusion=address-adjacent-alias-data-only hits=75 meta/data=1/74 promotingExact=1 promotingMetaData=1/0 promotingMetadataOnly=True promotingRoles=current-selector-row-selected-root-entry forwardHitAliases=10:0 forwardDataAliases=10:0 tailDataAliases=10:0 dominantDataAliases=10:0 tailHits=74 tailMeta=0 tailData=74 tailPreWriter=65 tailLeaf=9 leafRoutePair=2 leafRawReader=0 leafCorrectedReader=2 tailLeafCorrectedReader=2 tailTraceW/R/S=0/0/0 execLike=False tailExecLike=False withoutForward=1:0,17:0 proofFound=False failedGates=target-alias-execution-order,branch-state-persistence,real-selector-2:0-or-selected-root-runtime,strict-source-hotspot missingEvidenceCount=4 status=blocked; op24=0x005428e4 stop=0x005428f4 window=0x005428e8..0x005429a4 leafStart=0x005429a8 root=0x005429dc wrapper=0x00542a04 frontier=0x00542ae8 reader=0x00542b0c ptrs=7 leafPtrs=0 graph=7/4 external=0 local=True reachesFrontier=False closureFrontier=False directLeafTable=False status=blocked; global=0x0059de30 groupTable=0x00442d35 current=2:0 root=0x00540714 globalTextRefs=6 currentCodeRefs=0 rootTextRefs=0 level2=0x005429dc level2TextRefs=0 readerRefs=0 sourceRefs=0 targetRefs=0 hooks=6[0x004234ba,0x0040adb8,0x0040add6,0x0040adfe,0x0040ae37,0x0040ae4a] writerHooks=4 readerHooks=2 opcode8Read=0x0040adfe proofFound=False usageProof=False failedGates=static-current-selector-text-ref,selected-pointer-runtime-current-root,opcode08-current-root-activation,real-selector-2-0-savedata,strict-hotspot-or-runtime-producer missingEvidenceCount=5 evidenceRefs=5 status=blocked; roots=28/28 op7/op8/op9=3238/3180/316 nonCurrentRoot=0/0/0 nonCurrentRange=0/0/0 currentInternal=6/35 selectedRootExec=False promoteCandidates=0; route-pair entry execution gap: entryIdx=6,8 correctedIdx=6,8 negativeReaderIdx=-12 evidenceRefs=10 globalRoutePairIdx=-13,-12,6,8 globalNegNonNeg=2/2 frontierLeafNegativeOnly=True correctedReader=2/2 nonNegSelectable=False nonNegCorrectedReachable=True normalSelectionGap=corrected-trace-not-normal-selection-proof normalSelectionGapFound=True op7DirectAbsent=True op8CurrentRootRange=0/0 op8CurrentInternal=24 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 indexSourceNonNegPromoting=0 indexSourceNegativeReaderPromoting=0 indexSourceHandlers=0x005429ac/0xac->0x00000003/-,0x005429f4/0xf4->0x00000004/-,0x005429fc/0xfc->0x004409b8/.data indexSourceProven=False indexSourceProof=False indexSourceFailedGates=direct-entry-pointer-source,encoded-entry-anchor-control-flow,nonnegative-entry-index-source,negative-wrapper-index-source indexSourceMissingEvidenceCount=4 rootTableRefs=14/0 rootTableSections={'.data': 14} rootTableEntryLeafFrontierReaderText=0/0/0/0 rootTableFrontierReaderRefs=0 wrapperEntryRunRefs=0 wrapperFallthroughRefs=1 wrapperFallthroughNonCodeRefs=1 wrapperFallthroughHandlers=0x005429ac/0xac->0x00000003/- wrapperExec=False selectedRootRef=False entryExec=False proofFound=False failedRoutePairEntryGates=selected-root-execution,route-pair-index-source,source-predecessor-current-producer,wrapper-entry-execution,strict-hotspot missingEvidenceCount=5 strictHotspot=False status=blocked; rows=33 valid=30 indexMode=zero-extended-u8 leafSlots=0 negativeSlots=0 wrapperEntrySlots=0 directFrontier=0 table=0x005429a8 entry=0x005429ac wrapper=0x00542a04 frontier=0x00542ae8 status=blocked; handlers=5 rows=12 branchRows=1 directFrontier=0 branchFrontier=0 branch=0x00542e74 next=0x00001618 meaning=map2_16j.cns status=blocked; context58Refs=23 rw=16/7 currentMode=0x01 currentTouches=False mode0Refs=1 op20Handlers=1 status=blocked-not-current-opcode24-path; writers=4 roots=0x00540714 labels=2:0 starts=0x00542470,0x005428b4 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
    refs: out/save_selector_selected_root_execution_gap.json: proofFound, failedSelectedRootGateIds, missingEvidence, selectedRootExecutionRefFound, selectedRootExecutionRejectionClassification, selectedRootExecutionRejection, selectedRootSubgateStatusOrder, selectedRootSubgateStatuses, selectedRootNonPromotingSubgateCount, gateRows, remainingProofs, evidenceRefs, evidenceRefCount, staticReferenceGate, runtimeProbeGate, promotionStatus; out/save_selector_wrapper_execution_gap.json: proofFound, failedWrapperGateIds, missingEvidence, wrapperExecutionProofFound, currentSelectorLeafExecutionProofFound, correctedTraceNormalSelectionGapFound, readerBearingNegativeOnly, evidence, evidenceRefs, evidenceRefCount, remainingProofs; out/save_selector_route_pair_entry_execution_gap.json: routePairEntryExecutionProven, proofFound, failedRoutePairEntryGateIds, missingEvidence, correctedTraceNormalSelectionGapFound, globalCurrentFrontierLeafOnlyNegative, opcode07DirectEntrySelectionAbsent, evidenceRows, routePairEntryRows, negativeReaderRows, evidenceRefs, evidenceRefCount, remainingProofs; out/save_selector_route_pair_index_source_gap.json: routeEntryIndices, routePairEntryIndices, negativeReaderEntryIndices, entryPointerRefCount, entryPointerTextRefCount, entryPointerPromotingRefCount, encodedEntryAnchorRawScalarCandidateCount, encodedEntryAnchorBranchAttachedEncodedFieldCount, encodedEntryAnchorModeledControlFlowCandidateCount, encodedEntryAnchorPromotingCandidateCount, encodedEntryAnchorClassification, entryPointerOpcode5aFallthroughRefCount, entryPointerFallthroughNonCodeRefCount, nonNegativeEntryPointerPromotingRefCount, negativeReaderEntryPointerPromotingRefCount, higherLevelIndexSourceProven, proofFound, failedRoutePairIndexSourceGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_leaf_table_context.json: runtimeSelectionProven, proofFound, failedLeafTableGateIds, missingEvidence, frontierLeafRefIsDirectRootTableEntry, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_leaf_index_space.json: entryCount, negativeIndexCount, routePairDescriptorCurrentEntryCount, readerBearingCurrentEntryCount, readerBearingNegativeEntryCount, frontierReaderSelectableByNonNegativeIndex, frontierReaderReachableByCorrectedNonNegativeIndex, proofFound, failedLeafIndexGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_leaf_table_global_context.json: selectorTableCount, fieldEntryRowCount, negativeFieldEntryRowCount, nonNegativeFieldEntryRowCount, currentSelectorRoutePairIndices, currentSelectorNegativeRoutePairRowCount, currentSelectorNonNegativeRoutePairRowCount, currentFrontierLeafOnlyNegative, runtimeSelectionProven, proofFound, leafTableGlobalProofFound, failedLeafTableGlobalGateIds, missingEvidence, remainingProofs, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_route_pair_descriptor_context.json: currentRoutePairDescriptorCount, currentRoutePairDescriptorIndices, currentRoutePairCorrectedTraceReachesReaderCount, currentRoutePairCorrectedTraceAllDescriptorsReachReader, currentRoutePairGeometryExitHitCount, readerBearingNegativeEntryCount, readerBearingNegativeIndices, frontierReaderSelectableByNonNegativeIndex, frontierReaderReachableByCorrectedNonNegativeIndex, runtimeSelectionProven, proofFound, routePairDescriptorProofFound, failedRoutePairDescriptorGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode2c_route_pair_context.json: routePairDescriptorCount, oldNoFixedAdvanceStopCount, correctedTraceReachesReaderCount, correctedTraceAllRoutePairDescriptorsReachReader, runtimeSelectionProven, proofFound, opcode2cRoutePairProofFound, failedOpcode2cRoutePairGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_current_writer_paths.json: classification, rootHex, writerVaHex, writerValueHex, proofFound, currentWriterPathProofFound, failedCurrentWriterPathGateIds, missingEvidence, remainingProofs, evidenceRefs, evidenceRefCount, promotionStatus
  6. Prove the opcode 0x20 gate-time base path, not just active order. [open]
    why: The local gate window has only opcode 0x20 as a base candidate, and descriptor+0/+4/+8 scanning does not directly reference field maps, the current frontier, or the 0xe8/0xea gate offsets.
    related failed gates: selectedRootExecution,runtimeTraceOrEquivalent
    next input classes: selected-root-execution-proof,runtime-trace-or-equivalent-proof
    next input summary: selected-root-execution-proof, runtime-trace-or-equivalent-proof
    evidence: gateWindowRows=7 localBaseRows=1 remainingProofs=3 proofFound=False failedGateBaseGates=opcode20-runtime-base-path,predecessor-state-persistence,strict-source-hotspot missingEvidenceCount=3 windowOnlyOpcode20=True activeOrderAlone=False descriptorRefs=0/0 descriptorEncoded=0/0/0 descriptorEncodedClass=no-encoded-route-target-scalars-in-descriptor-scripts gateRows=0/0 allDescriptorEncoded=0/0/0 allDescriptorEncodedClass=no-encoded-route-target-scalars-in-descriptor-scripts allGateRows=0/0 allSelectionRows=362 allSpecificBase=False diagnosticOrder=0x01/0x00 diagnosticDescriptor=0x004f867c diagnosticGateBaseProven=False diagnosticRecheck=125/0/0 diagnosticRecheckCount=0x00x679 diagnosticRecheckBaseStillOpen=True publicPredOrder=0x01/0x00 publicPredDescriptor=0x004f867c publicPredSamples=1689/3378 publicPredRoute=False publicPredGateBaseProven=False publicPredLeftSamples=584/2293 publicPredLeftRoute=False publicPredLeftGateBaseProven=False supportProofs=False/False/False/False/False/False/False/False/False/False materializerSelfMutationEliminated=True evidenceRefs=19 sampleCovered=False; sameOffset=True offset=0x20 rowsBetween=11 postWrites=0 postReads=0 otherWrites=3@0x0a,0x0d,0x68 validFills=0 invalidFills=3 invalidFillOffsets=0x54,0xe6,0xe7 preserve=same-selection-slot-preserved-known-opcodes runtimeDependent=True controlUnproven=True; status=inherited-runtime-state proof=blocked localWriter=False globalWriter=False gates=[0xe8 rows=453 writers=0 current=1 beforeW=0, 0xea rows=528 writers=0 current=5 beforeW=0]; rows=981 readers=981 writers=0 roots=35 offsets=[0xe8=453/0 roots=27 current=1, 0xea=528/0 roots=33 current=5]; offsets=0xe8,0xea range=[0, 11] candidates=12 partyStatBytes=4 directRefs=0 runtimePointer=True; samples=0 selectors= current=2:0 currentCovered=False saveRuntime=0/0 saveValues= partyStat=0/0; currentCovered=False predPass=0/0 zeroPass=0/0 partyStat=0/0 runtimeBase=True predecessor=True strict=True; context=0x000000a8 imm=5 reg=6 staticGateRefs=0 runtimePointer=True; objectBaseCandidates=16 contextF2=16 fixedStream2=0 gateRowsAfter=0 fieldMapsAfter=0 frontierRefsAfter=0 status=blocked; orders=1464/1884 directProof=0/0 nonPointerContext=1424 sampleCovered=False activeOrderPromotes=False; contextF2Refs=204 rw=141/63 objectReaders=65 init=2 copies=61 constWrites=0 selectors=16/0 sampleCovered=False pointerProven=False diagRouteSamples=210 diagTotalSamples=374 diagActiveOrder=0x01/0x00 diagSlotBaseStatic=0x00457750 diagObjectStatic=0x0055be00/0x0055d2f8/0x0055d5d4 diagStatus=diagnostic-only; op20=0x005428a8 mode=0x00 count=0x004576e8@save0x0010 slots=0x00457750@save0x0072 capacity=3 stride=0x00d8 staticNonzero=0 runtimeCount=True runtimePtrs=True status=blocked; descriptorTable=0x00442d95 slotBase=0x00457750 stride=0x00d8 count=0x004576e8 order=0x004576e9 writes=3 firstDword=runtime descriptor table 0x00442d95[index] mode0Source=descriptor+4 runtimeOrder=True status=blocked; descriptors=12 slotRows=3 field=0 frontierRefs=0 encoded=0/0/0 encodedClass=no-encoded-route-target-scalars-in-descriptor-scripts gateRw=0/0 selectionRows=126 nonPointerSource=context-f2-runtime-object-pointer:16 allEncoded=0/0/0 allEncodedClass=no-encoded-route-target-scalars-in-descriptor-scripts allGateRw=0/0 allSelectionRows=362 specificBase=False allSpecificBase=False runtimeOrder=True status=blocked; samples=0 states=0 current=2:0 covered=False signatures=- nonPointerBases=- status=blocked; current=2:0 activeOrderProven=False selfMutationEliminated=True routeMutations=0 sameLowByte=11 descriptorMutations=0 materializers=3 loadRebuild=0x0042349c->0x00432323 afterReads=True beforeSelect=True status=blocked; op20Nested=0x005428a8 mode=0x00 nestedObjectPlus4=True handler=0x0040c3f4 handlerExpected=True nestedRunner=0x00402360 generalTable=0x00440538 contextA8Setters=5 runtimePointer=True gateOffsets=0xe8,0xea staticGateRefs=0 control=inherited-runtime-state status=blocked
    refs: out/save_selector_gate_base_proof_gap.json: proofFound, gateBaseProofFound, activeOrderProofFound, gateTimeBaseProofFound, failedGateBaseGateIds, missingEvidence, gateWindowRows, localBaseAffectingRowsBeforeGate, activeOrderOnlyProofEliminated, descriptorAllScriptSpecificGateBaseProven, promotionStatus, remainingProofs, evidenceRefs, evidenceRefCount; out/save_selector_gate_offset_sources.json: gateOffsetsHex, gates, anyScriptLocalSelectionWriter, anyGlobalScriptSelectionWriter, controlPathGateStatus, controlPathProofStatus, proofFound, gateOffsetSourceProofFound, failedGateOffsetSourceGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_gate_offset_patterns.json: offsets, totalReaderCount, totalWriterCount, proofFound, gateOffsetPatternProofFound, failedGateOffsetPatternGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_gate_base_candidates.json: baseCandidates, candidateCount, directRefCandidateCount, partySlotStatByteCandidateCount, runtimePointerModeStillRequired, proofFound, gateBaseCandidateProofFound, failedGateBaseCandidateGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_gate_sample_values.json: sampleCount, uniqueSelectorCount, currentFrontierSampleCovered, saveRuntimeGateSampleRows, partySlotStatSampleRows, runtimePointerModeStillRequired, proofFound, gateSampleValueProofFound, failedGateSampleValueGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_gate_pass_matrix.json: gateRows, saveRuntimePassMatrix, saveRuntimePredecessorAllGatePassSampleCount, saveRuntimeZeroTableAllGatePassSampleCount, runtimeBaseProofRequired, predecessorPersistenceProofRequired, strictHotspotProofRequired, proofFound, gatePassMatrixProofFound, failedGatePassMatrixGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_selection_buffer_bases.json: immediateAssignments, registerAssignments, knownStaticGateOffsetDirectRefCount, runtimePointerModeStillRequired, proofFound, selectionBufferBaseProofFound, failedSelectionBufferBaseGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode20_object_base_candidates.json: candidates, candidateCount, contextF2ObjectSelectorCount, fieldMapRowsAfterCandidateCount, currentFrontierRowsAfterCandidateCount, gateSelectionRowsAfterCandidateCount, runtimeObjectPointerProofRequired, proofFound, opcode20ObjectBaseProofFound, failedOpcode20ObjectBaseGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode20_order_space.json: uniqueOrderSpace, repeatAllowedOrderSpace, descriptorRowCount, currentFrontierSampleCovered, activeOrderAlonePromotesRoute, runtimeDescriptorObjectStateRequired, proofFound, opcode20OrderSpaceProofFound, failedOpcode20OrderSpaceGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode20_nested_base_modes.json: currentModeIsNestedObjectPlus4, directContextA8SetterCount, proofFound, opcode20NestedBaseProofFound, failedOpcode20NestedBaseGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode20_context_f2_sources.json: referenceCount, readReferenceCount, writeReferenceCount, runtimeObjectTableReaderCount, directInitializerCount, copyWriterCount, constantWriteCount, objectBaseCandidateCount, contextF2ObjectSelectorCount, fixedStream2ObjectSelectorCount, currentFrontierSampleCovered, activeOrderAlonePromotesRoute, diagnosticRuntimeObjectTableEvidence, fixedContextF2ValueProvenForCurrentFrontier, specificRuntimeObjectPointerProven, runtimeObjectTableStateRequired, proofFound, opcode20ContextF2ProofFound, failedOpcode20ContextF2GateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode20_slot_sources.json: runtimeSlotCountRequired, runtimeSlotDescriptorPointersRequired, controlPathProofStatus, proofFound, opcode20SlotSourceProofFound, failedOpcode20SlotSourceGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode20_descriptor_scripts.json: scriptSlotAggregateRows, script4SpecificGateBaseProven, allScriptsSpecificGateBaseProven, runtimeActiveOrderRequired, controlPathProofStatus, proofFound, opcode20DescriptorScriptProofFound, failedOpcode20DescriptorScriptGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode20_slot_descriptor_writers.json: descriptorRows, routines, descriptorWriteCount, opcode20Mode0ScriptSource, runtimeActiveOrderRequired, proofFound, opcode20DescriptorWriterProofFound, failedOpcode20DescriptorWriterGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode20_sample_order_effects.json: sampleRows, sampleCount, uniqueSampleStateCount, currentFrontierSampleCovered, allSamplesHaveKnownDescriptorIndices, controlPathProofStatus, proofFound, opcode20SampleOrderProofFound, failedOpcode20SampleOrderGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode20_runtime_materializers.json: materializers, loadRebuildEvidence, currentRouteSameLowByteRows, descriptorScriptMutationRows, currentFrontierActiveOrderProven, opcode20SelfMutationPathEliminated, controlPathProofStatus, proofFound, opcode20RuntimeMaterializerProofFound, failedOpcode20RuntimeMaterializerGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus
  7. Capture a runtime producer trace for opcode 0x24 mode1 source. [open]
    why: Static scans now rule out direct writes, savedata backing, and the known 0x0059e310+0x38 base-immediate path for 0x0059e348, ReadFile destinations, and broad block-write candidates. The runtime enabled flag 0x0059e34d also has no broad block-write candidate.
    related failed gates: runtimeTraceOrEquivalent,selectedRootExecution
    next input classes: runtime-trace-or-equivalent-proof,selected-root-execution-proof
    next input summary: runtime-trace-or-equivalent-proof, selected-root-execution-proof
    evidence: mode1=0x0059e348 globalBase=0x0059e310 base+mode1 candidates=0 short-window writes=0 nearby-base writes=0 file-read candidates=0; block writes=0; runtimeFlagBlockWrites=0; mode1=0x0059e348 range=0x0059e340..0x0059e350 rows=95 exactRefs=1 coveringWrites=0 indexedWrites=0 addressProducers=0 staticProducers=0 status=blocked; mode1=0x0059e348 section=.data rawEnd=0x00559e00 rawByte=False initial=0x00 kind=pe-zero-filled-section-tail saveBlock=False saveReadBlocks=3 remainingProofs=3 coveringWrites=0 indexedWrites=0 staticProducers=0 saveBacked=False staticProducer=False diagRouteSamples=210 diagMode1=0x00 diagFlag=0x00 diagObject=0x00 diagStatus=diagnostic-only proofFound=False producerProof=False failedGates=indirect-runtime-producer,opcode24-route-stream-selection,strict-hotspot missingEvidenceCount=3 evidenceRefs=10 status=blocked; flag=0x0059e34d read=0x0040c51e pass=0x0040c538 failAdvance=0x0040c52c refs=12 section=.data rawEnd=0x00559e00 rawByte=False initial=0x00 saveBlock=False saveReadBlocks=3 remainingProofs=3 refs/read/write=12/12/0 requiresFlag1=True staticDispatch=False diagRouteSamples=210 diagFlag=0x00 diagMode1=0x00 diagObject=0x00 diagStatus=diagnostic-only proofFound=False failedGates=runtime-enabled-flag-producer,mode1-source-runtime-producer,selected-root-or-strict-hotspot-proof missingEvidenceCount=3 evidenceRefs=4 status=blocked; mode1=0x0059e348 sourceValue=0x00 defaultObject61=0x03 saveBacked=False staticProducer=False directFrontier=0 branchFrontier=0 routeRows=12 object61Groups=6 remainingProofs=3 branchNext=0x00001618 branchCns=map2_16j.cns promotes=False status=blocked; range=0x0059e330..0x0059e350 mode1 reads/writes=1/0 mode2 writes=1 mode1Hole=True nearestWrites=0x0059e347/0x0059e34a mode2CopiesObjectIndex=True status=mode1-unwritten; adjacent mode2 object-index cache, not a mode1 0x0059e348 producer; selector=2:0 range=0x00540714..0x00543578 mode1Source=0x0059e348 gate=0x005428e4 rows=28 opcodeCandidates=19 collisions=9 mode1=18 frontierOperands=0 routeCnsOperands=0 boundary=0x005428e4:0x0c000124 status=blocked; runtimeOpcode24FlagContext=runtime-flag-nonroute-mode1-zero/polls=7/realRoute=False/constructedRoute=True/runtimeFlagNonzero=True/flag1=340/mode1Nonzero=False/currentObjectNonzero=False/routeEvidence=False/sourceExitSamples=7923/sourceSave=source-ready-adaptive-exit-no-route/blocked/source-ready-path-diverts-to-48:13-before-exit-candidates/8/0/0/48:13/map2_04l,map2_05e/0/False/False/proofFound=False/failedGates=mode1-source-runtime-producer,runtime-flag-route-context,selected-root-execution-proof,source-save-route-promotion-evidence,strict-hotspot-or-equivalent-runtime-trigger/missingEvidenceCount=5/evidenceRefs=7
    refs: out/save_selector_opcode24_mode1_indirect_context.json: mode1DirectRefs, globalBaseDirectRefs, basePlusOffsetRows, basePlusMode1OffsetCandidates, baseWindowMode1WriteCandidates, nearbyBaseWindowMode1WriteCandidates, noStaticBaseIndirectCandidate, basePlusMode1OffsetCandidateCount, baseWindowMode1WriteCandidateCount, proofFound, opcode24Mode1IndirectProofFound, failedOpcode24Mode1IndirectGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode24_mode1_source_writes.json: rows, coveringWrites, indexedWriteCandidates, addressProducerCandidates, staticProducerCandidates, coveringWriteCount, indexedWriteCandidateCount, staticProducerCandidateCount, proofFound, opcode24Mode1SourceWriteProofFound, failedOpcode24Mode1SourceWriteGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode24_mode1_file_read_context.json: globalDestinationReadFileRows, mode1FileReadCandidates, readFileCallCount, globalDestinationReadFileCount, mode1FileReadCandidateCount, proofFound, opcode24Mode1FileReadProofFound, failedOpcode24Mode1FileReadGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode24_mode1_block_writes.json: rows, addressLikeCoveringBases, directCoveringWrites, blockWriteCandidates, blockWriteCandidateCount, proofFound, opcode24Mode1BlockWriteProofFound, failedOpcode24Mode1BlockWriteGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode24_mode1_runtime_context.json: storage, saveReadBlocks, remainingProofs, saveReadBlockContainsMode1Source, directProducerSummary, proofFound, failedOpcode24RuntimeProducerGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode24_runtime_enabled_context.json: refs, storage, saveReadBlocks, remainingProofs, modeDispatchRequiresRuntimeFlagOne, proofFound, failedOpcode24RuntimeEnabledGateIds, missingEvidence, evidenceRefs, evidenceRefCount, directWriteCount, staticEvidenceProvesModeDispatch, promotionStatus; out/save_selector_opcode24_runtime_enabled_block_writes.json: rows, addressLikeCoveringBases, directCoveringWrites, blockWriteCandidates, blockWriteCandidateCount, proofFound, opcode24RuntimeEnabledBlockWriteProofFound, failedOpcode24RuntimeEnabledBlockWriteGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/save_selector_opcode24_mode1_default_effect.json: object61ConsumerGroups, branchOperand, remainingProofs, routeOperandRowCount, staticDefaultPromotesRoute, directFrontierOperandCount, branchFrontierOperandCount, proofFound, opcode24Mode1DefaultEffectProofFound, failedOpcode24Mode1DefaultEffectGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/runtime_trace_feasibility.json: canRunRuntimeTraceNow, blockers, tracePoints, proofFound, failedRuntimeTraceGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/runtime_trace_execution_probe.json: canCaptureTraceNow, blockers, probes, qemuI386Binfmt, relocationContext, winePrefix, gdbMultiarchPath, proofFound, runtimeTraceExecutionProofFound, failedRuntimeTraceExecutionGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/runtime_opcode24_flag_context.json: classification, promotionStatus, proofFound, runtimeOpcode24FlagProofFound, failedRuntimeOpcode24FlagGateIds, missingEvidence, evidenceRefs, evidenceRefCount, pollCount, realRouteHitObserved, constructedRouteHitObserved, runtimeFlagOneCount, mode1SourceNonzeroObserved, runtimeFlagNonzeroObserved, currentObjectIndexNonzeroObserved, selectedRootExecutionProofFound, routePromotionEvidenceFound, sourceSaveLoadClassification, sourceSaveLoadPromotionStatus, sourceSaveLoadReadyPathDiversionClassification, sourceSaveLoadReadyPathCount, sourceSaveLoadReadyPathRouteOrCurrentCount, sourceSaveLoadReadyPathCandidateOrOutsideCount, sourceSaveLoadDiversionSelector, sourceSaveLoadDiversionFieldMaps, sourceSaveLoadDiversionSelectedPointerCurrentProofCount, sourceSaveLoadDiversionRoutePromotionEvidenceFound, sourceSaveLoadRoutePromotionEvidenceFound
  8. Do not promote from adjacent strict clusters without a target link. [blocked]
    why: The related strict cluster is adjacent to the route but does not prove this source->target transition.
    related failed gates: strictSourceHotspot,tileHotspotConfirmation
    next input classes: strict-source-coordinate-or-hotspot-proof,tile-hotspot-confirmation-proof
    next input summary: strict-source-coordinate-or-hotspot-proof, tile-hotspot-confirmation-proof
    evidence: 0x005032d8..0x00503350 role=source-manifest-only events=0x00503350; eventSources=map1_02b; eventLinks=map1_01a
    refs: out/field_map_record_roots.json: clusters, strictEventLinkedClusterCount, selectorOnlyClusterCount, proofFound, fieldMapRecordRootsProofFound, failedFieldMapRecordRootGateIds, missingEvidence, evidenceRefs, evidenceRefCount, promotionStatus; out/map1_01a_strict_target_link_gap.json: directStrictEventTransitions, sourceStrictClusters, targetStrictClusters, targetSelectorOnlyClusters, currentFrontierCluster, directStrictEventTransitionCount, targetSelectorOnlyClusterCount, strictTargetLinkFound, proofFound, strictTargetLinkProofFound, failedStrictTargetLinkGateIds, missingEvidence, remainingProofs, evidenceRefs, evidenceRefCount, promotionStatus