map1_01a -> map2_02d remains blocked: strict source/tile hotspot evidence, real selector 2:0 savedata, and selected-root execution proof are all required before routeAssist or selector scene-list/resource adjacency can be promoted.
Route: map1_01a -> map2_02d; status blocked; promotion allowed False.
strict source hotspot candidates: top@18,0[coord=coordinate-like-hit-without-table-text-ref,review=0,event=0,standable=True/True,auto=True,boundary=True,blocks=5]; bottom@16,47[coord=no-exact-packed-coordinate-hit,review=0,event=0,standable=False/True,auto=True,boundary=True,blocks=5]; left@3,14[coord=coordinate-like-hit-without-table-text-ref,review=0,event=0,standable=True/True,auto=False,boundary=False,blocks=5]; right@34,19[coord=coordinate-like-hit-without-table-text-ref,review=0,event=0,standable=True/True,auto=False,boundary=False,blocks=5]
runtime source-save load: sourceSaveLoad=class=source-ready-adaptive-exit-no-route, load=None/None:-, loadPublic=-, loadSource=False, loadRouteCurrent=False/False, coord=None/None:-, coordPublic=-, coordSourceStart=False/False, exit=7923/5:50:0,48:13,0:0, exitPublic=0:0, exitSource=True, exitCandidateOutside=False/False, exitRouteCurrent=False/False, adaptive=1881/4/4, adaptiveCandidateOutside=False/False, adaptiveRouteCurrent=False/False, adaptiveTrail=1476/4/4, adaptiveTrailCandidateOutside=False/False, adaptiveTrailRouteCurrent=False/False, readyDivert=source-ready-path-diverts-to-48:13-before-exit-candidates, readyPaths=8/0/0, firstNonSource=48:13, firstNonSourceCounts={"48:13":8}, 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, routeEvidence=False, status=blocked
runtime predecessor route attempt: predecessorRouteAttempt=files=13, sequences=60, samples=59816, publicFiles=11, target=2:0, routeHits=0, currentRootHits=0, observed={"19:1":30975,"1:0":5587,"50:0":22685,"8:0":569}, nonRoute={"19:1":30975,"50:0":22685,"8:0":569}, dominantDiversion=19:1, diversionContexts=3, fieldMapDiversions=2, resourceOnlyDiversions=1, diversionRouteEvidence=False, publicContext=public-predecessor-target-side-non-promoting, publicCurrentProof=0, proofFound=False, status=blocked
exit target ranking: exits 4, blocked-target exits 4, auto blocked-target exits 2, blocked-target exits overlapping return target 4, reciprocal hints 4, coordinate-like hints 3, coordinate-promotable 0, blocked/return targets map2_02d/map1_02b, blocked/return selector occurrences 3/2, selector outgoing 2 targets map1_02b,map2_02d, strict/confirmed backed 0/0, selector-only 2, incoming confirmed 2.
data descriptor opcode map: predecessor root/fill descriptors True/True; d0 ops 0xc7,0xca,0xcd,0xd0,0xd3,0xd6,0xd9; c0 ops 0xc0,0xf5; refs .data/.data; payload frontier False.
secondary fill entry refs: roots 1, route-overlap roots 0, predecessor candidate False, predecessor refs 0/0/0, entry selectors 55:0.
selector merge execution: current=pred+source True, route-pair-only-current True, extra map1_02b, exact pairs 0, forward 0/0/0, forward-merge 0, reverse 51/51/0, encoded 3/0/False, alias data 10:0, alias public/address -/10:0, alias coverage uncovered-address-adjacent-only, alias exclusion address-adjacent-alias-data-only, alias execution False, proof False, gap open True.
local savedata scan: missing (0/0); promotion missing; proof None; failed gates -; missing evidence count 0; evidence refs None.
runtime trace feasibility: proof found False, failed gates runtime-trace-capture-unavailable,stable-watchpoint-session-unavailable,equivalent-selected-root-proof-missing, missing evidence count 3, can run False, blockers 6, execution capture False, execution blockers 6, execution probes 18, virtual desktop gdbstub 0/False/False, virtual relocated soft/watch 0/False/True/0/False/True, binfmt summary/execution True/True/True, reject trace-unavailable-no-equivalent-selected-root-proof-diagnostic-excluded, wine prefix /home/exedev/.cache/hwanse-wine32, gdb /bin/gdb-multiarch.
runtime route-watch poll: 1123 samples @ 45.0s; observed 8:0,50:0; reached route False; values opcode24Mode1Source=0x00x1123; opcode24CurrentObjectIndex=0x00x1123; opcode24RuntimeFlag=0x00x783,0x01x340.
predecessor direction sweep poll: 3380 samples @ 18.0s; observed 50:0,19:1,1:0; observed public 1:0; public hit True; reached route False; values opcode24Mode1Source=0x00x3380; opcode24CurrentObjectIndex=0x00x3380; opcode24RuntimeFlag=0x00x3380.
predecessor left-overrun activation sweep poll: 2299 samples @ 18.0s; observed 50:0,19:1,1:0; observed public 1:0; public hit True; reached route False; values opcode24Mode1Source=0x00x2299; opcode24CurrentObjectIndex=0x00x2299; opcode24RuntimeFlag=0x00x2299.
predecessor branch-state poll: 3377 samples; observed 19:1,1:0; observed public 1:0; active flag 0x01; state 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00; matches fill False; all zero True; reached route False.
predecessor high-frequency branch-state poll: 2090 samples at 0.005s; observed 1:0,19:1,8:0; observed public 1:0; active flag 0x01; state 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00; matches fill False; all zero True; reached route False.
predecessor trail-start poll: 10928 samples; observed 19:1,1:0; observed public 1:0; class trail-start-movement-without-target; state 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00; matches fill False; all zero True; target observed False; trail movement True; reached route False.
predecessor trail-left-overrun poll: 4297 samples; observed 50:0; observed public -; class edge-target-not-observed; state 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00; matches fill False; all zero True; camera target False; camera outside False; reached route False.
external proof handoff: route_promotion_external_proof_handoff.html; command python3 tools/refresh_savedata_route_proof.py --search-root <file-or-dir-or-zip>; packages captured-selector-2-0-savedata,runtime-trace-or-equivalent-selected-root-proof,strict-source-hotspot-review,selected-root-execution-proof,current-leaf-wrapper-proof,predecessor-fill-order-proof,selector-merge-proof,opcode20-gate-base-proof,opcode24-runtime-producer-proof.
| gate | passed | required | evidence |
|---|---|---|---|
| strictSourceHotspot | False | strict map1_01a source coordinate or hotspot linked to map2_02d | directStrict=0, sourceOutgoingStrict=0, targetSelectorOnly=5, strictTargetProofFound=False, strictTargetFailedGates=direct-strict-event-transition,source-outgoing-strict-cluster,target-strict-cluster,selector-only-frontier-not-event-linked, strictTargetMissingEvidenceCount=4, coordinateCandidates=4, coordinateEncodings=80, spanBoundEncodings=32, targetSpawnEncodings=80, targetSpawnCurrentRoot/Character=18/43, targetSpawnClasses={"selector-script-word":18}/{"character-descriptor-script-word":43}, targetSpawnPromotable=0/0/True, targetSpawnStrict=False, strictCoordinateEvidenceFound=False, tileHotspotPattern=confirmedReviews:2/22,currentCandidates:4,low:4/4,center:0/4,low3x3:0/4,pair3x3:0/4,reviews:0,events:0,status:blocked, strictSourceHotspotContext=candidates=4, evidenceRefs=19, reviews=0, events=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, pointClasses=script-command-shaped-run:3,short-in-bounds-scalar-run:13,single-in-bounds-point:3,sentinel-0x003f-singleton:103,out-of-bounds-singleton:5,owned-point-table-non-route:2,short-out-of-bounds-scalar-run:4,resource-size-singleton:28,out-of-bounds-run:1,point-table-near-resource-reference:1, frontierPointClasses=sentinel-0x003f-singleton:16,resource-size-singleton:2/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, manifestRoot=3/1/False;448/447/4/0/445/False, entryFrontier=0x005032d8/0x00542b44/3/False, sceneCluster=3/0/0/5/0/1/0/34/False, selectorBridge=0/0/False/3, 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, sourceSaveLoad=class=source-ready-adaptive-exit-no-route, load=None/None:-, loadPublic=-, loadSource=False, loadRouteCurrent=False/False, coord=None/None:-, coordPublic=-, coordSourceStart=False/False, exit=7923/5:50:0,48:13,0:0, exitPublic=0:0, exitSource=True, exitCandidateOutside=False/False, exitRouteCurrent=False/False, adaptive=1881/4/4, adaptiveCandidateOutside=False/False, adaptiveRouteCurrent=False/False, adaptiveTrail=1476/4/4, adaptiveTrailCandidateOutside=False/False, adaptiveTrailRouteCurrent=False/False, readyDivert=source-ready-path-diverts-to-48:13-before-exit-candidates, readyPaths=8/0/0, firstNonSource=48:13, firstNonSourceCounts={"48:13":8}, 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, routeEvidence=False, status=blocked, exitTargetRanking=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, status=blocked |
| tileHotspotConfirmation | False | confirmed normal gameplay tile trigger, not routeAssist/debug trial | route queue still lists tile hotspot confirmation as missing evidence; strictEventTileSignature=11/228, reviewed=24, 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, targetZero=True, directZero=True, confirmedPair3x3Zero=True, tilePromotes=False; tileHotspotPattern=confirmedReviews:2/22,currentCandidates:4,low:4/4,center:0/4,low3x3:0/4,pair3x3:0/4,reviews:0,events:0,status:blocked; strictSourceHotspotContext=candidates=4, evidenceRefs=19, reviews=0, events=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, pointClasses=script-command-shaped-run:3,short-in-bounds-scalar-run:13,single-in-bounds-point:3,sentinel-0x003f-singleton:103,out-of-bounds-singleton:5,owned-point-table-non-route:2,short-out-of-bounds-scalar-run:4,resource-size-singleton:28,out-of-bounds-run:1,point-table-near-resource-reference:1, frontierPointClasses=sentinel-0x003f-singleton:16,resource-size-singleton:2/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, manifestRoot=3/1/False;448/447/4/0/445/False, entryFrontier=0x005032d8/0x00542b44/3/False, sceneCluster=3/0/0/5/0/1/0/34/False, selectorBridge=0/0/False/3, 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; sourceSaveLoad=class=source-ready-adaptive-exit-no-route, load=None/None:-, loadPublic=-, loadSource=False, loadRouteCurrent=False/False, coord=None/None:-, coordPublic=-, coordSourceStart=False/False, exit=7923/5:50:0,48:13,0:0, exitPublic=0:0, exitSource=True, exitCandidateOutside=False/False, exitRouteCurrent=False/False, adaptive=1881/4/4, adaptiveCandidateOutside=False/False, adaptiveRouteCurrent=False/False, adaptiveTrail=1476/4/4, adaptiveTrailCandidateOutside=False/False, adaptiveTrailRouteCurrent=False/False, readyDivert=source-ready-path-diverts-to-48:13-before-exit-candidates, readyPaths=8/0/0, firstNonSource=48:13, firstNonSourceCounts={"48:13":8}, 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, routeEvidence=False, status=blocked; exitTargetRanking=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, status=blocked |
| realSelector20Savedata | False | non-synthetic captured savedat with selector 2:0 / selected pointer 0x00540714 | localScan=missing, foundValid=0/0, real=None, valid=None, uniqueSha256=None, validRowsBlocked=None, realCandidateBlocks={}, workspaceDat=None, workspaceExpected=None, workspaceZipMembers=None, workspaceHidden=None, currentSelectorReal=None, selectedPointerReal=None, routePairReal=None, routePromotionReal=None, proofFound=None, routeEvidenceProof=None, realSelector20Save=None, routeEvidenceReject=None, requiredBytePair=None, capturedSplit=None/None/None, syntheticExcluded=None, publicCurrentCovered=None, failedSavedataGates=-, missingEvidenceCount=0, publicSearchNoteCount=None, latestPublicSearchNote=None, evidenceRefs=None, status=None |
| selectedRootExecution | False | runtime/static proof that selected pointer 0x0059de30 executes root 0x00540714 | selectedRootExecutionRefFound=False, runtimePollReachedRoute=False, selectedPointerUsage=global=0x0059de30, globalTextRefs=6, currentRoot=0x00540714, rootTextRefs=0, level2=0x005429dc, level2TextRefs=0, currentCodeRefs=0, hooks=6, 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, routeRootRefs=tableOnly=True, textRefs=False, splitPrev=True, currentPair=True, predToCurrent=False, routeOrder=False, proofFound=False, failedGates=selector-root-code-ref,predecessor-current-root-link,route-order-execution-proof,strict-hotspot-or-real-selector-proof, missingEvidenceCount=4, status=blocked, selectedRootSubgates=save=missing-current-selector, rows=8, static=table-only-no-text-ref, hook=trace-targets-prerequisites-unproven, dispatch=static-slice-only, opcode=no-non-current-producer, writer=current-internal-only, runtime=no-real-selector-2:0-observed, diagnostic=diagnostic-excluded, saveReal=0/0/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, dispatchRefs=0/0, dispatchDynamic=3/3/0, dispatchArithmetic=116/0, nonCurrentRoot=0/0/0, nonCurrentRange=0/0/0, currentInternal=6/35, writerCount=4, currentInternalOnly=True, 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, remainingProofs=5, evidenceRefs=8, anyPollRoute=False, constructedDiagnosticRoute=True, diagnosticExcluded=True, reject=selected-root-no-real-selector-no-execution-ref-diagnostic-excluded, diagnosticBranchState=374/164:2:0,10:0,50:0, diagnosticBranchAllZero=True, diagnosticBranchMatchesFill=False, diagnosticLeftStability=679, diagnosticLeftRouteSeq=left-load-right, diagnosticLeftObserved=50:0,10:0,2:0, diagnosticLeftRouteHits=125, diagnosticLeftOpcode24AllZero=True, diagnosticLeftRepro=not-reproduced, diagnosticLeftRecheckRouteHits=0, diagnosticLeftActiveOrderRecheckRouteHits=0, diagnosticLeftActiveOrderCount=0x00x679, status=blocked, predecessorFillOrder=fills=0x004844d0,0x004844d8, local=0x004844d0->0x004844dc:no-fixed-advance, containsFills=True, reachesReader=False, rootEntryReachesFills=False, directRefs=0/0, entryRefs=0, entryRootBranches=0, encodedEntry=raw-encoded-scalars-nonpromoting, encodedRaw=4, encodedTailRaw=4, encodedBranchAttached=0, encodedModeled=0, 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, descriptorBoundaries=True, rootStopDescriptor=0x00440a9c, fillStopDescriptor=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, 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, forwardBridge=False, routeOrder=False, mergeGap=True, routeMergeClosed=False, mergeRuntimeProof=False, mergeClosureProof=False, mergePersistenceUsable=False, proofGates=10/10, proofGatePass=0, proofGateAllBlocked=True, proofGateBlockedIds=localFillStreamReachesCurrentReader,rootEntryFixedTraversalReachesFillSites,fillFragmentEntryCandidateFound,encodedFillEntryControlFlowCandidateFound,rootTailBranchClosureReachesFillOrReader,descriptorSliceRuntimeDispatchProven,rawGenericRouteProofFound,runtimeObservedPredecessorFill,predecessorToCurrentForwardBridgeFound,routeOrderAndSelectorMergeClosed, failedPredecessorFillOrderGates=localFillStreamReachesCurrentReader,rootEntryFixedTraversalReachesFillSites,fillFragmentEntryCandidateFound,encodedFillEntryControlFlowCandidateFound,rootTailBranchClosureReachesFillOrReader,descriptorSliceRuntimeDispatchProven,rawGenericRouteProofFound,runtimeObservedPredecessorFill,predecessorToCurrentForwardBridgeFound,routeOrderAndSelectorMergeClosed, missingEvidenceCount=10, evidenceRefs=11, proof=False, status=blocked, secondaryFillEntryRefs=roots=1, routeOverlapRoots=0, predecessorCandidate=False, predecessorRefs=0/0/0, entrySelectors=55:0, entryNonRouteOnly=True, entryExclusion=non-route-only-entry-reference, predecessorDescriptorBridge=rootStop=0x004783e0->0x00440a9c, fillStop=0x004844dc->0x00440c5c, rootReachesFillDescriptor=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, edgeAllData=True, 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, refs=reader:0/fill0:0/fill1:0, status=blocked, dataDescriptorOpcodeMap=predRootDescriptor=True, predFillDescriptor=True, d0Ops=0xc7,0xca,0xcd,0xd0,0xd3,0xd6,0xd9, c0Ops=0xc0,0xf5, d0Refs=.data, c0Refs=.data, directLeafDistinct=True, payloadLeaf=False, payloadFrontier=False, status=blocked, predecessorFillContext=progressSamples=4927, branchPolls=8/30/46919, publicHits=6, currentHits=0, routeHits=0, allZero=8, fillMatches=0, movementTarget=1@10928, targetObs=0@0, targetFillCurrentRoute=0/0/0, cameraOnlyTarget=0, actorTrailTarget=0, targetStatus=target-not-observed, branchGate=same-selection-slot-preserved-known-opcodes/True/True/0x20, branchGateWrites=0/0/3:0x0a,0x0d,0x68, branchGateInvalidFills=0x54,0xe6,0xe7, rootEntryVisited=23, encodedEntry=raw-encoded-scalars-nonpromoting, encodedRaw=4, encodedTailRaw=4, encodedPromoting=0, rawScalarReject=scalar-only-no-branch-or-fixed-advance, rawScalarNoFixed/noBranch/branchAttached/scalarOnly=4/4/0/4, rootTail=0xc0f0/12348, rootTailIsolated=True, rootTailBranchToFill=0, rootTailFixedToFill=0, 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, tableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate, rawGenericCallGraph=raw-generic-callgraph-nonroute-contrast, rawGenericCallGraphDepth/Functions/Edges=3/4/10, rawGenericCallGraphProof=False, fieldEntrySeq=22, fieldEntryCandidates=0, fieldEntrySelectors={'1:0': 12, '50:0': 2, '8:0': 2, '19:1': 6}, fieldEntryCameras={'5,15': 18, '0,0': 4}, fieldEntrySnapshots=85, fieldEntrySnapshotRouteCandidates=0, fieldEntrySnapshotSelectors={'8:0': 10, '1:0': 64, '50:0': 4, '19:1': 7}, fieldEntrySnapshotCameras={'0,0': 14, '5,15': 71}, fieldEntryClasses={'start-coordinate-found-in-image-memory': 18, 'start-coordinate-not-found-outside-camera-snapshot': 4}, coordinateClass=start-coordinate-found-in-image-memory, coordinateReject=save-camera-memory-only-no-route-object-coordinate-source, coordinateStartPtrStaticTrailImage=0/1/0/2, coordinateReciprocalPtrStaticTrailImage=0/0/0/118, proofGates=0/6, proofGateAllBlocked=True, proofGateFailedIds=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, evidenceRefs=6, contextProof=False, status=blocked, selectorMergeRuntime=shapeOnly=True, forwardAbsent=True, reverseBeforeFill=True, forward=0/0/0, encoded=3/0/False, reverse=51/51/0, selectedRootRef=False, anyPollRoute=False, diagRoute=True, diagExcluded=True, predFillContext=False, predFillSamples=46919, predFillMatches=0, routePairEntry=False, correctedReader=2, strict=False/False, runtimeProof=False, gapOpen=True, status=blocked, selectorMergeExecution=currentEqualsPredPlusSource=True, routePairOnlyCurrent=True, unionExtra=map1_02b, exactPairs=0, forward=0/0/0, forwardMerge=0, reverse=51/51/0, encoded=3/0/False, aliasForward=10:0, aliasData=10:0, aliasTailData=10:0, aliasDominant=10:0, aliasPublicForward=-, aliasAddressForward=10:0, aliasPublicSamples=0, aliasCoverage=uncovered-address-adjacent-only, aliasExclusion=address-adjacent-alias-data-only, aliasPromotingMetaData=1/0, aliasExactMetadataOnly=True, aliasExec=False, routeRootRef=False, branchProof=False, executionProof=False, gapOpen=True, status=blocked, wrapperExecutionGap=wrapper=0x005429ac->0x00542a04->0x00542ae8, evidenceRows=13, evidenceRefs=11, remainingProofs=4, reader=0x00542b0c, beforeCurrent=True, currentRefsWrapper=False, wrapperRefs=1/1/0/1/0, wrapperFallthrough=1/0x005429ac/0xac->0x00000003/-, globalRoutePair=-13,-12,6,8, globalNegNonNeg=2/2, frontierLeafNegativeOnly=True, rootTableRefs=14/0, rootTableTextRefs=0/0/0/0, rootTableStatus=data-only-no-text-ref, normalSelectionGap=corrected-trace-not-normal-selection-proof, normalSelectionGapFound=True, routePair=2@6,8, correctedReader=2, geometryHits=0, readerNegative=-12, opcode07=33/0/0/0/0/0, op8CurrentRootRange=0/0, op9CurrentRangeStores=0, sourcePredCurrentProducers=0, diagnosticWrapperStatus=diagnostic-only-not-reproduced, diagnosticLeftRecheck=125/0/0, diagnosticActiveOrderCount=0x00x679, proofFound=False, failedWrapperGates=selected-root-execution,current-leaf-selection,wrapper-execution,current-selector-leaf-execution,strict-hotspot, missingEvidenceCount=5, runtimeSelection=False, leafProof=False, wrapperProof=False, selectorLeafProof=False, selectedRootRef=False, selectorMergeProof=False, strictHotspot=False, status=blocked, gateBaseProof=writer=0x005428bc, opcode20=0x005428a8, mode=mode 0, rows=7/1/3, gates=0x005428c4/0x005428cc, localBase=0/1, windowBase=1/True, proofFound=False, gateBaseProofFound=False, activeOrderProof=False, gateTimeBaseProof=False, failedGateBaseGates=opcode20-runtime-base-path,predecessor-state-persistence,strict-source-hotspot, missingEvidenceCount=3, nestedA8=5, script4=0/0/0/0/16, script4Encoded=0/0/0, script4EncodedClass=no-encoded-route-target-scalars-in-descriptor-scripts, specificBase=False, allScripts=0/0/362/0/0/False, allScriptsEncoded=0/0/0, allScriptsEncodedClass=no-encoded-route-target-scalars-in-descriptor-scripts, activeOrderAlone=False/True, contextF2=204/141/63/65/16/0/False/True/blocked, publicPred=1689@1:0:0x01/0x00, publicRoute=False, publicBase=False, publicPredLeft=584@1:0:0x01/0x00, publicLeftRoute=False, publicLeftBase=False, diagnostic=210@50:0,2:0,10:0:0x01/0x00, diagnosticStatus=diagnostic-only, diagnosticBase=False, diagnosticRecheck=125/0/0, diagnosticRecheckCount=0x00x679, diagnosticRecheckBaseOpen=True, sampleCurrent=False, evidenceRefs=19, status=blocked, opcode24Mode1Producer=source=0x0059e348, rowCounts=95/2/2/259/3/3/12/333/6/3, sourceRefs=1/0/0/0/0, static=0x00/pe-zero-filled-section-tail/raw=False, saveBacked=False, noStaticProducer=True, indirect=0/0/0, fileRead=30/2/0/False, block=0/0/2, diagnostic=210/374:0x00/0x00/0x00, diagnosticStable=True, diagnosticStatus=diagnostic-only, diagnosticProof=False, runtimeEvidenceRefs=10, enabled=0x0059e34d/12/0/True/True/False/3, enabledBlock=0x0059e34d/2/0/0, currentRootModes=28/19/9/18/0/0, default=0x00/0x03/0/0/False, runtimeProducerRequired=True, status=blocked, runtimeTraceFeasibility=canRun=False, proofFound=False, failedRuntimeTraceGates=runtime-trace-capture-unavailable,stable-watchpoint-session-unavailable,equivalent-selected-root-proof-missing, missingEvidenceCount=3, evidenceRefs=17, blockers=6, execCanCapture=False, execBlockers=6, execProbeCount=18, virtualDesktopGdbstub=0/False/False, virtualDesktopRelocated=0/False/True/0/False/True, summaryBinfmt=True/True, execBinfmt=True, winePrefix=/home/exedev/.cache/hwanse-wine32, gdb=/bin/gdb-multiarch, sourceSaveLoad=class=source-ready-adaptive-exit-no-route, load=None/None:-, loadPublic=-, loadSource=False, loadRouteCurrent=False/False, coord=None/None:-, coordPublic=-, coordSourceStart=False/False, exit=7923/5:50:0,48:13,0:0, exitPublic=0:0, exitSource=True, exitCandidateOutside=False/False, exitRouteCurrent=False/False, adaptive=1881/4/4, adaptiveCandidateOutside=False/False, adaptiveRouteCurrent=False/False, adaptiveTrail=1476/4/4, adaptiveTrailCandidateOutside=False/False, adaptiveTrailRouteCurrent=False/False, readyDivert=source-ready-path-diverts-to-48:13-before-exit-candidates, readyPaths=8/0/0, firstNonSource=48:13, firstNonSourceCounts={"48:13":8}, 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, routeEvidence=False, status=blocked, routeWatch=1123@45.0:8:0,50:0, routeWatchValues=opcode24Mode1Source=0x00x1123; opcode24CurrentObjectIndex=0x00x1123; opcode24RuntimeFlag=0x00x783,0x01x340, routeWatchReachedRoute=False, routePairEvidenceRows=11/2/1, routePairEvidenceRefs=10, routePairEntryIdx=6,8, correctedIdx=6,8, negativeReaderIdx=-12, globalRoutePairIdx=-13,-12,6,8, globalNegNonNeg=2/2, frontierLeafNegativeOnly=True, normalSelectionGap=corrected-trace-not-normal-selection-proof, normalSelectionGapFound=True, op7DirectAbsent=True, op8CurrentRootRange=0/0, op8Buckets=0:0:op8=31,currentRootRange=0/0,own=9,script=21,unreadable=1;1:0:op8=131,currentRootRange=0/0,own=15,script=86,unreadable=30, op8CurrentContrast=2:0:op8=67,currentRootRange=0/24,own=24,script=39,unreadable=4, op9CurrentRangeStores=0, op9Unsupported=5, op9UnsupportedModes=0x6c,0xfe, op9CollisionRows=1:0@0x0047da5c=0x00476c09/0x6c/.data;1:0@0x0047dad4=0x00476c09/0x6c/.data;1:0@0x0047dbcc=0x00476c09/0x6c/.data;1:0@0x0047dc88=0x00476c09/0x6c/.data;1:0@0x0047f2ac=0x0041fe09/0xfe/.text, sourcePredCurrentProducers=0, indexSourceEntryRefs=3/0/0, indexSourceEncoded=3/0/0/0, indexSourceEncodedClass=raw-encoded-entry-anchor-scalars-nonpromoting, indexSourceFallthrough=3/3, indexSourcePromoting=0/0, indexSourceHandlers=0x005429ac/0xac->0x00000003/-,0x005429f4/0xf4->0x00000004/-,0x005429fc/0xfc->0x004409b8/.data, indexSourceProven=False, rootTableRefs=14/0, rootTableEntryLeafFrontierReaderText=0/0/0/0, rootTableFrontierReaderRefs=0, wrapperEntryRunRefs=0, wrapperFallthroughRefs=1, wrapperFallthroughNonCodeRefs=1, wrapperFallthroughHandlers=0x005429ac/0xac->0x00000003/-, entryExec=False, status=blocked, predecessorDirectionSweep=3380@18.0:50:0,19:1,1:0, predecessorDirectionSweepPublic=1:0, predecessorDirectionSweepPublicHit=True, predecessorDirectionSweepReachedRoute=False, predecessorDirectionSweepValues=opcode24Mode1Source=0x00x3380; opcode24CurrentObjectIndex=0x00x3380; opcode24RuntimeFlag=0x00x3380, predecessorLeftOverrunActivationSweep=2299@18.0:50:0,19:1,1:0, predecessorLeftOverrunActivationSweepPublic=1:0, predecessorLeftOverrunActivationSweepPublicHit=True, predecessorLeftOverrunActivationSweepReachedRoute=False, predecessorLeftOverrunActivationSweepValues=opcode24Mode1Source=0x00x2299; opcode24CurrentObjectIndex=0x00x2299; opcode24RuntimeFlag=0x00x2299, predecessorBranchState=3377:19:1,1:0, predecessorBranchStatePublic=1:0, predecessorBranchStateActiveFlag=0x01, predecessorBranchStateValues=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, predecessorBranchStateMatchesFill=False, predecessorBranchStateAllZero=True, predecessorBranchStateReachedRoute=False, predecessorHighFrequencyBranchState=2090@0.005:1:0,19:1,8:0, predecessorHighFrequencyBranchStatePublic=1:0, predecessorHighFrequencyBranchStateActiveFlag=0x01, predecessorHighFrequencyBranchStateValues=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, predecessorHighFrequencyBranchStateMatchesFill=False, predecessorHighFrequencyBranchStateAllZero=True, predecessorHighFrequencyBranchStateReachedRoute=False, predecessorLeftOverrunActivationBranchState=2297:50:0, predecessorLeftOverrunActivationBranchStatePublic=-, predecessorLeftOverrunActivationBranchStateActiveFlag=0x01, predecessorLeftOverrunActivationBranchStateValues=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, predecessorLeftOverrunActivationBranchStateMatchesFill=False, predecessorLeftOverrunActivationBranchStateAllZero=True, predecessorLeftOverrunActivationBranchStateReachedRoute=False, predecessorTrailStart=10928:19:1,1:0, predecessorTrailStartPublic=1:0, predecessorTrailStartClass=trail-start-movement-without-target, predecessorTrailStartValues=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, predecessorTrailStartMatchesFill=False, predecessorTrailStartAllZero=True, predecessorTrailStartTargetObserved=False, predecessorTrailStartMove=True, predecessorTrailStartReachedRoute=False, predecessorTrailLeftOverrun=4297:50:0, predecessorTrailLeftOverrunPublic=-, predecessorTrailLeftOverrunClass=edge-target-not-observed, predecessorTrailLeftOverrunValues=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, predecessorTrailLeftOverrunMatchesFill=False, predecessorTrailLeftOverrunAllZero=True, predecessorTrailLeftOverrunCameraTarget=False, predecessorTrailLeftOverrunCameraOutside=False, predecessorTrailLeftOverrunReachedRoute=False |
| runtimeTraceOrEquivalent | False | watchpoint/runtime trace or equivalent selected-root proof | canRunRuntimeTraceNow=False, runtimePollReachedRoute=False, runtimeTraceEquivalentReject=trace-unavailable-no-equivalent-selected-root-proof-diagnostic-excluded, selectedPointerUsage=global=0x0059de30, globalTextRefs=6, currentRoot=0x00540714, rootTextRefs=0, level2=0x005429dc, level2TextRefs=0, currentCodeRefs=0, hooks=6, 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, predecessorFillOrder=fills=0x004844d0,0x004844d8, local=0x004844d0->0x004844dc:no-fixed-advance, containsFills=True, reachesReader=False, rootEntryReachesFills=False, directRefs=0/0, entryRefs=0, entryRootBranches=0, encodedEntry=raw-encoded-scalars-nonpromoting, encodedRaw=4, encodedTailRaw=4, encodedBranchAttached=0, encodedModeled=0, 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, descriptorBoundaries=True, rootStopDescriptor=0x00440a9c, fillStopDescriptor=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, 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, forwardBridge=False, routeOrder=False, mergeGap=True, routeMergeClosed=False, mergeRuntimeProof=False, mergeClosureProof=False, mergePersistenceUsable=False, proofGates=10/10, proofGatePass=0, proofGateAllBlocked=True, proofGateBlockedIds=localFillStreamReachesCurrentReader,rootEntryFixedTraversalReachesFillSites,fillFragmentEntryCandidateFound,encodedFillEntryControlFlowCandidateFound,rootTailBranchClosureReachesFillOrReader,descriptorSliceRuntimeDispatchProven,rawGenericRouteProofFound,runtimeObservedPredecessorFill,predecessorToCurrentForwardBridgeFound,routeOrderAndSelectorMergeClosed, failedPredecessorFillOrderGates=localFillStreamReachesCurrentReader,rootEntryFixedTraversalReachesFillSites,fillFragmentEntryCandidateFound,encodedFillEntryControlFlowCandidateFound,rootTailBranchClosureReachesFillOrReader,descriptorSliceRuntimeDispatchProven,rawGenericRouteProofFound,runtimeObservedPredecessorFill,predecessorToCurrentForwardBridgeFound,routeOrderAndSelectorMergeClosed, missingEvidenceCount=10, evidenceRefs=11, proof=False, status=blocked, secondaryFillEntryRefs=roots=1, routeOverlapRoots=0, predecessorCandidate=False, predecessorRefs=0/0/0, entrySelectors=55:0, entryNonRouteOnly=True, entryExclusion=non-route-only-entry-reference, predecessorDescriptorBridge=rootStop=0x004783e0->0x00440a9c, fillStop=0x004844dc->0x00440c5c, rootReachesFillDescriptor=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, edgeAllData=True, 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, refs=reader:0/fill0:0/fill1:0, status=blocked, dataDescriptorOpcodeMap=predRootDescriptor=True, predFillDescriptor=True, d0Ops=0xc7,0xca,0xcd,0xd0,0xd3,0xd6,0xd9, c0Ops=0xc0,0xf5, d0Refs=.data, c0Refs=.data, directLeafDistinct=True, payloadLeaf=False, payloadFrontier=False, status=blocked, predecessorFillContext=progressSamples=4927, branchPolls=8/30/46919, publicHits=6, currentHits=0, routeHits=0, allZero=8, fillMatches=0, movementTarget=1@10928, targetObs=0@0, targetFillCurrentRoute=0/0/0, cameraOnlyTarget=0, actorTrailTarget=0, targetStatus=target-not-observed, branchGate=same-selection-slot-preserved-known-opcodes/True/True/0x20, branchGateWrites=0/0/3:0x0a,0x0d,0x68, branchGateInvalidFills=0x54,0xe6,0xe7, rootEntryVisited=23, encodedEntry=raw-encoded-scalars-nonpromoting, encodedRaw=4, encodedTailRaw=4, encodedPromoting=0, rawScalarReject=scalar-only-no-branch-or-fixed-advance, rawScalarNoFixed/noBranch/branchAttached/scalarOnly=4/4/0/4, rootTail=0xc0f0/12348, rootTailIsolated=True, rootTailBranchToFill=0, rootTailFixedToFill=0, 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, tableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate, rawGenericCallGraph=raw-generic-callgraph-nonroute-contrast, rawGenericCallGraphDepth/Functions/Edges=3/4/10, rawGenericCallGraphProof=False, fieldEntrySeq=22, fieldEntryCandidates=0, fieldEntrySelectors={'1:0': 12, '50:0': 2, '8:0': 2, '19:1': 6}, fieldEntryCameras={'5,15': 18, '0,0': 4}, fieldEntrySnapshots=85, fieldEntrySnapshotRouteCandidates=0, fieldEntrySnapshotSelectors={'8:0': 10, '1:0': 64, '50:0': 4, '19:1': 7}, fieldEntrySnapshotCameras={'0,0': 14, '5,15': 71}, fieldEntryClasses={'start-coordinate-found-in-image-memory': 18, 'start-coordinate-not-found-outside-camera-snapshot': 4}, coordinateClass=start-coordinate-found-in-image-memory, coordinateReject=save-camera-memory-only-no-route-object-coordinate-source, coordinateStartPtrStaticTrailImage=0/1/0/2, coordinateReciprocalPtrStaticTrailImage=0/0/0/118, proofGates=0/6, proofGateAllBlocked=True, proofGateFailedIds=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, evidenceRefs=6, contextProof=False, status=blocked, selectorMergeRuntime=shapeOnly=True, forwardAbsent=True, reverseBeforeFill=True, forward=0/0/0, encoded=3/0/False, reverse=51/51/0, selectedRootRef=False, anyPollRoute=False, diagRoute=True, diagExcluded=True, predFillContext=False, predFillSamples=46919, predFillMatches=0, routePairEntry=False, correctedReader=2, strict=False/False, runtimeProof=False, gapOpen=True, status=blocked, selectorMergeExecution=currentEqualsPredPlusSource=True, routePairOnlyCurrent=True, unionExtra=map1_02b, exactPairs=0, forward=0/0/0, forwardMerge=0, reverse=51/51/0, encoded=3/0/False, aliasForward=10:0, aliasData=10:0, aliasTailData=10:0, aliasDominant=10:0, aliasPublicForward=-, aliasAddressForward=10:0, aliasPublicSamples=0, aliasCoverage=uncovered-address-adjacent-only, aliasExclusion=address-adjacent-alias-data-only, aliasPromotingMetaData=1/0, aliasExactMetadataOnly=True, aliasExec=False, routeRootRef=False, branchProof=False, executionProof=False, gapOpen=True, status=blocked, wrapperExecutionGap=wrapper=0x005429ac->0x00542a04->0x00542ae8, evidenceRows=13, evidenceRefs=11, remainingProofs=4, reader=0x00542b0c, beforeCurrent=True, currentRefsWrapper=False, wrapperRefs=1/1/0/1/0, wrapperFallthrough=1/0x005429ac/0xac->0x00000003/-, globalRoutePair=-13,-12,6,8, globalNegNonNeg=2/2, frontierLeafNegativeOnly=True, rootTableRefs=14/0, rootTableTextRefs=0/0/0/0, rootTableStatus=data-only-no-text-ref, normalSelectionGap=corrected-trace-not-normal-selection-proof, normalSelectionGapFound=True, routePair=2@6,8, correctedReader=2, geometryHits=0, readerNegative=-12, opcode07=33/0/0/0/0/0, op8CurrentRootRange=0/0, op9CurrentRangeStores=0, sourcePredCurrentProducers=0, diagnosticWrapperStatus=diagnostic-only-not-reproduced, diagnosticLeftRecheck=125/0/0, diagnosticActiveOrderCount=0x00x679, proofFound=False, failedWrapperGates=selected-root-execution,current-leaf-selection,wrapper-execution,current-selector-leaf-execution,strict-hotspot, missingEvidenceCount=5, runtimeSelection=False, leafProof=False, wrapperProof=False, selectorLeafProof=False, selectedRootRef=False, selectorMergeProof=False, strictHotspot=False, status=blocked, gateBaseProof=writer=0x005428bc, opcode20=0x005428a8, mode=mode 0, rows=7/1/3, gates=0x005428c4/0x005428cc, localBase=0/1, windowBase=1/True, proofFound=False, gateBaseProofFound=False, activeOrderProof=False, gateTimeBaseProof=False, failedGateBaseGates=opcode20-runtime-base-path,predecessor-state-persistence,strict-source-hotspot, missingEvidenceCount=3, nestedA8=5, script4=0/0/0/0/16, script4Encoded=0/0/0, script4EncodedClass=no-encoded-route-target-scalars-in-descriptor-scripts, specificBase=False, allScripts=0/0/362/0/0/False, allScriptsEncoded=0/0/0, allScriptsEncodedClass=no-encoded-route-target-scalars-in-descriptor-scripts, activeOrderAlone=False/True, contextF2=204/141/63/65/16/0/False/True/blocked, publicPred=1689@1:0:0x01/0x00, publicRoute=False, publicBase=False, publicPredLeft=584@1:0:0x01/0x00, publicLeftRoute=False, publicLeftBase=False, diagnostic=210@50:0,2:0,10:0:0x01/0x00, diagnosticStatus=diagnostic-only, diagnosticBase=False, diagnosticRecheck=125/0/0, diagnosticRecheckCount=0x00x679, diagnosticRecheckBaseOpen=True, sampleCurrent=False, evidenceRefs=19, status=blocked, opcode24Mode1Producer=source=0x0059e348, rowCounts=95/2/2/259/3/3/12/333/6/3, sourceRefs=1/0/0/0/0, static=0x00/pe-zero-filled-section-tail/raw=False, saveBacked=False, noStaticProducer=True, indirect=0/0/0, fileRead=30/2/0/False, block=0/0/2, diagnostic=210/374:0x00/0x00/0x00, diagnosticStable=True, diagnosticStatus=diagnostic-only, diagnosticProof=False, runtimeEvidenceRefs=10, enabled=0x0059e34d/12/0/True/True/False/3, enabledBlock=0x0059e34d/2/0/0, currentRootModes=28/19/9/18/0/0, default=0x00/0x03/0/0/False, runtimeProducerRequired=True, status=blocked, runtimeTraceFeasibility=canRun=False, proofFound=False, failedRuntimeTraceGates=runtime-trace-capture-unavailable,stable-watchpoint-session-unavailable,equivalent-selected-root-proof-missing, missingEvidenceCount=3, evidenceRefs=17, blockers=6, execCanCapture=False, execBlockers=6, execProbeCount=18, virtualDesktopGdbstub=0/False/False, virtualDesktopRelocated=0/False/True/0/False/True, summaryBinfmt=True/True, execBinfmt=True, winePrefix=/home/exedev/.cache/hwanse-wine32, gdb=/bin/gdb-multiarch, sourceSaveLoad=class=source-ready-adaptive-exit-no-route, load=None/None:-, loadPublic=-, loadSource=False, loadRouteCurrent=False/False, coord=None/None:-, coordPublic=-, coordSourceStart=False/False, exit=7923/5:50:0,48:13,0:0, exitPublic=0:0, exitSource=True, exitCandidateOutside=False/False, exitRouteCurrent=False/False, adaptive=1881/4/4, adaptiveCandidateOutside=False/False, adaptiveRouteCurrent=False/False, adaptiveTrail=1476/4/4, adaptiveTrailCandidateOutside=False/False, adaptiveTrailRouteCurrent=False/False, readyDivert=source-ready-path-diverts-to-48:13-before-exit-candidates, readyPaths=8/0/0, firstNonSource=48:13, firstNonSourceCounts={"48:13":8}, 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, routeEvidence=False, status=blocked, routeWatch=1123@45.0:8:0,50:0, routeWatchValues=opcode24Mode1Source=0x00x1123; opcode24CurrentObjectIndex=0x00x1123; opcode24RuntimeFlag=0x00x783,0x01x340, routeWatchReachedRoute=False, routePairEvidenceRows=11/2/1, routePairEvidenceRefs=10, routePairEntryIdx=6,8, correctedIdx=6,8, negativeReaderIdx=-12, globalRoutePairIdx=-13,-12,6,8, globalNegNonNeg=2/2, frontierLeafNegativeOnly=True, normalSelectionGap=corrected-trace-not-normal-selection-proof, normalSelectionGapFound=True, op7DirectAbsent=True, op8CurrentRootRange=0/0, op8Buckets=0:0:op8=31,currentRootRange=0/0,own=9,script=21,unreadable=1;1:0:op8=131,currentRootRange=0/0,own=15,script=86,unreadable=30, op8CurrentContrast=2:0:op8=67,currentRootRange=0/24,own=24,script=39,unreadable=4, op9CurrentRangeStores=0, op9Unsupported=5, op9UnsupportedModes=0x6c,0xfe, op9CollisionRows=1:0@0x0047da5c=0x00476c09/0x6c/.data;1:0@0x0047dad4=0x00476c09/0x6c/.data;1:0@0x0047dbcc=0x00476c09/0x6c/.data;1:0@0x0047dc88=0x00476c09/0x6c/.data;1:0@0x0047f2ac=0x0041fe09/0xfe/.text, sourcePredCurrentProducers=0, indexSourceEntryRefs=3/0/0, indexSourceEncoded=3/0/0/0, indexSourceEncodedClass=raw-encoded-entry-anchor-scalars-nonpromoting, indexSourceFallthrough=3/3, indexSourcePromoting=0/0, indexSourceHandlers=0x005429ac/0xac->0x00000003/-,0x005429f4/0xf4->0x00000004/-,0x005429fc/0xfc->0x004409b8/.data, indexSourceProven=False, rootTableRefs=14/0, rootTableEntryLeafFrontierReaderText=0/0/0/0, rootTableFrontierReaderRefs=0, wrapperEntryRunRefs=0, wrapperFallthroughRefs=1, wrapperFallthroughNonCodeRefs=1, wrapperFallthroughHandlers=0x005429ac/0xac->0x00000003/-, entryExec=False, status=blocked, predecessorDirectionSweep=3380@18.0:50:0,19:1,1:0, predecessorDirectionSweepPublic=1:0, predecessorDirectionSweepPublicHit=True, predecessorDirectionSweepReachedRoute=False, predecessorDirectionSweepValues=opcode24Mode1Source=0x00x3380; opcode24CurrentObjectIndex=0x00x3380; opcode24RuntimeFlag=0x00x3380, predecessorLeftOverrunActivationSweep=2299@18.0:50:0,19:1,1:0, predecessorLeftOverrunActivationSweepPublic=1:0, predecessorLeftOverrunActivationSweepPublicHit=True, predecessorLeftOverrunActivationSweepReachedRoute=False, predecessorLeftOverrunActivationSweepValues=opcode24Mode1Source=0x00x2299; opcode24CurrentObjectIndex=0x00x2299; opcode24RuntimeFlag=0x00x2299, predecessorBranchState=3377:19:1,1:0, predecessorBranchStatePublic=1:0, predecessorBranchStateActiveFlag=0x01, predecessorBranchStateValues=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, predecessorBranchStateMatchesFill=False, predecessorBranchStateAllZero=True, predecessorBranchStateReachedRoute=False, predecessorHighFrequencyBranchState=2090@0.005:1:0,19:1,8:0, predecessorHighFrequencyBranchStatePublic=1:0, predecessorHighFrequencyBranchStateActiveFlag=0x01, predecessorHighFrequencyBranchStateValues=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, predecessorHighFrequencyBranchStateMatchesFill=False, predecessorHighFrequencyBranchStateAllZero=True, predecessorHighFrequencyBranchStateReachedRoute=False, predecessorLeftOverrunActivationBranchState=2297:50:0, predecessorLeftOverrunActivationBranchStatePublic=-, predecessorLeftOverrunActivationBranchStateActiveFlag=0x01, predecessorLeftOverrunActivationBranchStateValues=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, predecessorLeftOverrunActivationBranchStateMatchesFill=False, predecessorLeftOverrunActivationBranchStateAllZero=True, predecessorLeftOverrunActivationBranchStateReachedRoute=False, predecessorTrailStart=10928:19:1,1:0, predecessorTrailStartPublic=1:0, predecessorTrailStartClass=trail-start-movement-without-target, predecessorTrailStartValues=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, predecessorTrailStartMatchesFill=False, predecessorTrailStartAllZero=True, predecessorTrailStartTargetObserved=False, predecessorTrailStartMove=True, predecessorTrailStartReachedRoute=False, predecessorTrailLeftOverrun=4297:50:0, predecessorTrailLeftOverrunPublic=-, predecessorTrailLeftOverrunClass=edge-target-not-observed, predecessorTrailLeftOverrunValues=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, predecessorTrailLeftOverrunMatchesFill=False, predecessorTrailLeftOverrunAllZero=True, predecessorTrailLeftOverrunCameraTarget=False, predecessorTrailLeftOverrunCameraOutside=False, predecessorTrailLeftOverrunReachedRoute=False |
| evidence | status | detail |
|---|---|---|
| runtimePredecessorRouteAttemptContext | blocked | predecessorRouteAttempt=files=13, sequences=60, samples=59816, publicFiles=11, target=2:0, routeHits=0, currentRootHits=0, observed={"19:1":30975,"1:0":5587,"50:0":22685,"8:0":569}, nonRoute={"19:1":30975,"50:0":22685,"8:0":569}, dominantDiversion=19:1, diversionContexts=3, fieldMapDiversions=2, resourceOnlyDiversions=1, diversionRouteEvidence=False, publicContext=public-predecessor-target-side-non-promoting, publicCurrentProof=0, proofFound=False, status=blocked |
| predecessorBranchStateExecutionGap | blocked | fillPass=True proofFound=False execProof=False failedGates=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 runtimeFillObserved=False branchStatePoll=3377 branchStateObserved=19:1,1:0 branchState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 branchStateMatchesFill=False branchStateAllZero=True branchStateRoute=False trailStartPoll=10928 trailStartObserved=19:1,1:0 trailStartClass=trail-start-movement-without-target trailStartTarget=False trailStartMove=True trailStartRoute=False trailLeftOverrunPoll=4297 trailLeftOverrunObserved=50:0 trailLeftOverrunClass=edge-target-not-observed trailLeftOverrunCameraTarget=False trailLeftOverrunCameraOutside=False trailLeftOverrunRoute=False |
| eventShapeScan | blocked | refs=3/7, strictShapes=0/0, directStrict=0, frontierShape=False, allStrict=11, relaxedTouching=0 |
| sceneListContext | blocked | 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 |
| frontierReaderBranchContext | blocked | reader=0x00542b0c condition=secondaryBranchState[selectionBuffer[0x20]] == 1 pass=0x00542b14->0x0053f4fc class=sprite-or-rect-payload-like passPromotes=False inBounds=0 fail=0x0053f46f failKind=cara_01.cns failFieldMap=False fieldMapSiblings=0 proofFound=False failedGates=normal-runtime-reader-execution,resource-payload-strict-hotspot,independent-strict-transition-evidence missingEvidenceCount=3 |
| frontierPayloadShape | blocked | reader=0x00542b0c passPayload=0x0053f4fc rectLike=3/3 imageGates=3 allFitImages=True inBounds=0 textRefs=0 proofFound=False failedGates=in-bounds-source-point-table,payload-text-or-code-reference,strict-hotspot missingEvidenceCount=3 |
| exitTargetRanking | blocked | 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 incomingConfirmed=2 |
| dataDescriptorOpcodeMap | blocked | predRootDescriptor=True predFillDescriptor=True d0Ops=0xc7,0xca,0xcd,0xd0,0xd3,0xd6,0xd9 c0Ops=0xc0,0xf5 d0Refs=.data c0Refs=.data payloadFrontier=False |
| sceneAdjacencyIndex | blocked | adjacentPairs=77 strictOverlap=0 confirmedOverlap=0 currentOccurrences=3 currentSelectorOnly=True proofFound=False failedGates=strict-event-backed-adjacency,confirmed-review-backed-adjacency,strict-hotspot-or-coordinate missingEvidenceCount=3 |
| strictTargetLinkGap | blocked | directStrict=0 sourceStrict=1 incomingOnly=1 outgoing=0 targetStrict=0 targetSelectorOnly=5 frontier=0x00542b44..0x00542e74 selectorOnly=True strictLink=False proofFound=False failedGates=direct-strict-event-transition,source-outgoing-strict-cluster,target-strict-cluster,selector-only-frontier-not-event-linked missingEvidenceCount=4 evidenceRefs=2 |
| priority | status | task | why | related failed gates | next input classes | refs |
|---|---|---|---|---|---|---|
| 1 | open | Prove predecessor fill-site execution/order before the current reader. | 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. | selectedRootExecution,runtimeTraceOrEquivalent | selected-root-execution-proof,runtime-trace-or-equivalent-proof | 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 | open | Resolve selector merge before using predecessor 1:0 persistence. | 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. | selectedRootExecution | selected-root-execution-proof | 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 | blocked | Treat the save-selector branch as a resource/scene-list gate, not a map transition. | The branch target is a character/object CNS resource, while the target map appears later as another scene record in the selector list. | strictSourceHotspot,tileHotspotConfirmation | strict-source-coordinate-or-hotspot-proof,tile-hotspot-confirmation-proof | 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 |
| 5 | open | Find a strict source coordinate or hotspot before promotion. | The frontier currently comes from save-selector scene links, not from event transition coordinates. | strictSourceHotspot,tileHotspotConfirmation | strict-source-coordinate-or-hotspot-proof,tile-hotspot-confirmation-proof | 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 |
| 6 | open | Prove current selector leaf selection and wrapper execution. | 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. | selectedRootExecution,runtimeTraceOrEquivalent | selected-root-execution-proof,runtime-trace-or-equivalent-proof | 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 |
| 7 | open | Prove the opcode 0x20 gate-time base path, not just active order. | 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. | selectedRootExecution,runtimeTraceOrEquivalent | selected-root-execution-proof,runtime-trace-or-equivalent-proof | 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 |
| 8 | open | Capture a runtime producer trace for opcode 0x24 mode1 source. | 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. | runtimeTraceOrEquivalent,selectedRootExecution | runtime-trace-or-equivalent-proof,selected-root-execution-proof | 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 |
| 9 | blocked | Do not promote from adjacent strict clusters without a target link. | The related strict cluster is adjacent to the route but does not prove this source->target transition. | strictSourceHotspot,tileHotspotConfirmation | strict-source-coordinate-or-hotspot-proof,tile-hotspot-confirmation-proof | 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 |