The predecessor branch-state candidate is now narrow but still non-promoting: 1:0's fill would make the current reader pass, the predecessor root does not locally reset it, and the known static secondary reset scope is closed. A public predecessor branch-state poll observed selector 1:0 but kept secondaryBranchState[0..11] all zero, and a targeted nearest-exit poll aimed at the closest map2_02d -> map1_01a geometry hint kept the same branch-state bytes all zero. The longer reciprocal-exit paths to the remaining map2_02d target-side hints also kept the same branch-state bytes all zero. The coordinate-qualified repeat did not observe any actor slot reaching the planned reciprocal target tiles, so the geometry-path negative evidence is now explicitly qualified by a runtime-position gap. A follow-up trail-start poll used the observed party trail (15,26) as the start source and saw trail/camera movement but no target actor/trail tile, no branch-state fill, and no selector 2:0/current-root hit; a left-edge overrun variant reached camera (1,14) without producing selector 2:0 or nonzero branch state. A 5ms high-frequency predecessor poll also reached public selector 1:0 while keeping secondaryBranchState[0..11] all zero. The remaining gap is execution, not static value math: selector-table adjacency still does not prove that the normal route executes 1:0 then 2:0, the selector merge shape remains open, and no strict map1_01a source hotspot has been found.
Route: map1_01a -> map2_02d; predecessor 1:0 root 0x00478364; current 2:0 root 0x00540714.
Proof: fillPass=True; staticClosed=True; routeOrder=False; selectorMergeOpen=True; fillOrderProof=False; fillContextProof=False; rawGenericCallGraph=raw-generic-callgraph-nonroute-contrast; rawGenericCallGraph depth/functions/edges 3/4/10; rawGenericCallGraph proof False; runtimeFillObserved=False; strictHotspot=False; promotion blocked.
fill-site execution context: order proof False; context proof False; polls 8/30/46919; branch gate preserve same-selection-slot-preserved-known-opcodes; same-offset/write-read/other/invalid True/0x20 0/0 3@0x0a,0x0d,0x68 invalid 0x54,0xe6,0xe7; encoded raw-encoded-scalars-nonpromoting; target status target-not-observed; coordinate reject save-camera-memory-only-no-route-object-coordinate-source; coordinate start/trail/reciprocal ptr-static-trail-image 0/1/0/2 0/0/7/10 0/0/0/118.
branch-state execution proof found: False; proof found: False; failed branch-state execution gates: 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; missing evidence: 7; evidence refs: 8; persistence promotable: False; promotion status: blocked.
runtime branch-state split: public-predecessor-reached-fill-not-observed; public predecessor reached True; observed 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00; expected 0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00; next fill-site execution/order before current reader.
nearest-exit runtime split: nearest-exit-fill-not-observed; public predecessor reached True; observed 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00; expected 0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00; next captured selector 2:0 save, watchpoint trace, or decoded non-linear VM path.
reciprocal-exit runtime split: reciprocal-exits-fill-not-observed; public predecessor reached True; observed 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00; expected 0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00; next captured selector 2:0 save, watchpoint trace, or decoded non-linear VM path.
coordinate runtime split: coordinate-target-not-observed; public predecessor reached True; start observed False; target observed False; next find the runtime gameplay object/position source or capture a real selector 2:0 save.
trail-start runtime split: trail-start-movement-without-target; public predecessor reached True; start observed True; target observed False; trail movement True; next selector 2:0/current-root observation or branch-state fill on the moving trail/camera path.
trail-left-overrun runtime split: edge-target-not-observed; public predecessor reached False; camera target False; camera outside False; route reached False; next watch the edge-overrun transition producer or capture selector 2:0/current-root.
| kind | status | detail |
|---|---|---|
| predecessor-fill-effect | would-pass-current-reader | fill=0x00000210 sites=0x004844d0,0x004844d8; allStartsPassReader=True |
| predecessor-dispatch-slice-dependency | slice-runtime-proof-missing | 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; rows=2; sliceData=2; rawCode=2; rawDiffers=2; byteReachable=0; requiresTableBase=2; dynamicDispatches=3/3/0; dynamicTableBaseCandidate=False; tableBaseArithmeticRows=116; tableBaseArithmeticCandidates=0 |
| predecessor-raw-generic-callgraph | raw-generic-callgraph-nonroute-contrast | depth=3; functions/edges=4/10; route/fill/currentImm=0/0/0; selected/branchImm=0/0; route/fillTransfers=0/0; depthSensitivity=6/True/True; proof=False |
| predecessor-local-tail | no-local-reset | tailRange=0x004844dc..0x0048458c; tailOpcode10=0; tailValidSecondary=0; localTailResetFound=False |
| static-secondary-reset-scope | static-scope-closed | secondary=0x0059e360..0x0059e36b; directGlobalWriters=0; unresolvedRefs=0; helperOpcode10Only=True |
| selector-order-reset-window | closed-in-selector-order | selectorAdjacent=True; intermediateSelectors=0; currentBeforeFrontierFills=0; predecessorTailFills=0 |
| runtime-execution-order | open | routeOrderProven=False; sourcePrevious=0:0; sourceOverlap=map1_01a,map1_02b; predecessorTargetOnly=True; globalResetRuledOut=False |
| bounded-predecessor-progress-poll | public-predecessor-observed-route-not-reached | seq=6 samples=1547 prelude=input-path caseAliases=True public=0:0,1:0,22:0 observed=19:1,1:0,50:0 observedPublic=1:0 input=pid=6/6 base=6/6 keyWrites=6/6 pressedSeq=6/6 pressedEvents=83 offsets=1,28,200,203,205,208 publicHit=True currentRoot=False route2:0=False routeHits=0 watch=opcode24CurrentObjectIndex=0x00x1547; opcode24Mode1Source=0x00x1547; opcode24RuntimeFlag=0x00x1547 |
| bounded-predecessor-direction-sweep-poll | public-predecessor-direction-sweep-route-not-reached | kind=public predecessor direction sweep; seq=8 samples=3380 prelude=input-path caseAliases=True public=1:0 observed=50:0,19:1,1:0 observedPublic=1:0 input=pid=8/8 base=8/8 keyWrites=8/8 pressedSeq=8/8 pressedEvents=245 offsets=28,200,203,205,208 publicHit=True currentRoot=False route2:0=False routeHits=0 watch=opcode24CurrentObjectIndex=0x00x3380; opcode24Mode1Source=0x00x3380; opcode24RuntimeFlag=0x00x3380 |
| bounded-predecessor-branch-state-poll | public-predecessor-branch-state-all-zero-route-not-reached | kind=public predecessor direction sweep branch-state watch; seq=8 samples=3377 prelude=input-path caseAliases=True observed=19:1,1:0 observedPublic=1:0 input=pid=8/8 base=8/8 keyWrites=8/8 pressedSeq=8/8 pressedEvents=220 offsets=28,200,203,205,208 activeFlag=0x01 secondaryState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 expectedFill=0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 matchesFill=False allZero=True route2:0=False watch=activeSelectionFlag=0x01x3377; opcode24CurrentObjectIndex=0x00x3377; opcode24Mode1Source=0x00x3377; opcode24RuntimeFlag=0x00x3377; secondaryBranchState0=0x00x3377; secondaryBranchState1=0x00x3377; secondaryBranchState10=0x00x3377; secondaryBranchState11=0x00x3377; secondaryBranchState2=0x00x3377; secondaryBranchState3=0x00x3377; secondaryBranchState4=0x00x3377; secondaryBranchState5=0x00x3377; secondaryBranchState6=0x00x3377; secondaryBranchState7=0x00x3377; secondaryBranchState8=0x00x3377; secondaryBranchState9=0x00x3377 |
| bounded-predecessor-left-overrun-activation-branch-state-poll | left-overrun-activation-public-predecessor-all-zero-route-not-reached | kind=public predecessor left-overrun activation branch-state watch; seq=4 samples=2297 prelude=input-path caseAliases=True observed=50:0 observedPublic=- input=pid=4/4 base=4/4 keyWrites=4/4 pressedSeq=4/4 pressedEvents=176 offsets=28,44,57,200,203,208 activeFlag=0x01 secondaryState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 expectedFill=0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 matchesFill=False allZero=True route2:0=False watch=activeSelectionFlag=0x01x2297; opcode24CurrentObjectIndex=0x00x2297; opcode24Mode1Source=0x00x2297; opcode24RuntimeFlag=0x00x2297; secondaryBranchState0=0x00x2297; secondaryBranchState1=0x00x2297; secondaryBranchState10=0x00x2297; secondaryBranchState11=0x00x2297; secondaryBranchState2=0x00x2297; secondaryBranchState3=0x00x2297; secondaryBranchState4=0x00x2297; secondaryBranchState5=0x00x2297; secondaryBranchState6=0x00x2297; secondaryBranchState7=0x00x2297; secondaryBranchState8=0x00x2297; secondaryBranchState9=0x00x2297 |
| bounded-predecessor-nearest-exit-branch-state-poll | nearest-exit-public-predecessor-all-zero-route-not-reached | kind=public predecessor nearest-exit branch-state watch; seq=3 samples=1383 prelude=input-path caseAliases=True observed=19:1,1:0,50:0 observedPublic=1:0 input=pid=3/3 base=3/3 keyWrites=3/3 pressedSeq=3/3 pressedEvents=87 offsets=28,200,203,208 activeFlag=0x01 secondaryState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 expectedFill=0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 matchesFill=False allZero=True route2:0=False targets=[{'sourceMap': 'map2_02d', 'targetMap': 'map1_01a', 'startTile': {'x': 5, 'y': 15}, 'candidateTile': {'x': 1, 'y': 14}, 'candidateSide': 'left', 'targetSpawn': {'x': 34, 'y': 19, 'side': 'right'}, 'reason': 'nearest reciprocal geometry hint from the public predecessor save tile'}] |
| bounded-predecessor-reciprocal-exit-branch-state-poll | reciprocal-exits-public-predecessor-all-zero-route-not-reached | kind=public predecessor reciprocal-exit branch-state watch; seq=3 samples=11386 prelude=input-path caseAliases=True observed=50:0,19:1,1:0 observedPublic=1:0 input=pid=3/3 base=3/3 keyWrites=3/3 pressedSeq=3/3 pressedEvents=300 offsets=28,205,208 activeFlag=0x01 secondaryState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 expectedFill=0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 matchesFill=False allZero=True route2:0=False targets=[{'name': 'predecessor-reciprocal-top-auto', 'sourceMap': 'map2_02d', 'targetMap': 'map1_01a', 'startTile': {'x': 5, 'y': 15}, 'candidateTile': {'x': 46, 'y': 0}, 'candidateSide': 'top', 'targetSpawn': {'x': 16, 'y': 47, 'side': 'bottom'}, 'reason': 'reciprocal geometry hint for map1_01a bottom exit', 'pathStepCount': 56, 'pathRunLengths': [{'key': 'Right', 'count': 33}, {'key': 'Up', 'count': 4}, {'key': 'Right', 'count': 6}, {'key': 'Up', 'count': 1}, {'key': 'Right', 'count': 2}, {'key': 'Up', 'count': 10}], 'sequenceKeyCount': 59, 'sequenceKeys': ['Down', 'Return', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Up', 'Up', 'Up', 'Up', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Up', 'Right', 'Right', 'Up', 'Up', 'Up', 'Up', 'Up', 'Up', 'Up', 'Up', 'Up', 'Up', 'Return']}, {'name': 'predecessor-reciprocal-bottom-auto', 'sourceMap': 'map2_02d', 'targetMap': 'map1_01a', 'startTile': {'x': 5, 'y': 15}, 'candidateTile': {'x': 47, 'y': 47}, 'candidateSide': 'bottom', 'targetSpawn': {'x': 18, 'y': 0, 'side': 'top'}, 'reason': 'reciprocal geometry hint for map1_01a top exit', 'pathStepCount': 74, 'pathRunLengths': [{'key': 'Right', 'count': 27}, {'key': 'Down', 'count': 2}, {'key': 'Right', 'count': 3}, {'key': 'Down', 'count': 7}, {'key': 'Right', 'count': 12}, {'key': 'Down', 'count': 23}], 'sequenceKeyCount': 77, 'sequenceKeys': ['Down', 'Return', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Down', 'Down', 'Right', 'Right', 'Right', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Down', 'Return']}, {'name': 'predecessor-reciprocal-right-auto', 'sourceMap': 'map2_02d', 'targetMap': 'map1_01a', 'startTile': {'x': 5, 'y': 15}, 'candidateTile': {'x': 95, 'y': 16}, 'candidateSide': 'right', 'targetSpawn': {'x': 3, 'y': 14, 'side': 'left'}, 'reason': 'reciprocal geometry hint for map1_01a left exit', 'pathStepCount': 99, 'pathRunLengths': [{'key': 'Right', 'count': 76}, {'key': 'Down', 'count': 4}, {'key': 'Right', 'count': 6}, {'key': 'Up', 'count': 3}, {'key': 'Right', 'count': 3}, {'key': 'Down', 'count': 1}, {'key': 'Right', 'count': 5}, {'key': 'Up', 'count': 1}], 'sequenceKeyCount': 102, 'sequenceKeys': ['Down', 'Return', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Down', 'Down', 'Down', 'Down', 'Right', 'Right', 'Right', 'Right', 'Right', 'Right', 'Up', 'Up', 'Up', 'Right', 'Right', 'Right', 'Down', 'Right', 'Right', 'Right', 'Right', 'Right', 'Up', 'Return']}] |
| bounded-predecessor-coordinate-branch-state-poll | coordinate-target-not-observed | kind=public predecessor coordinate branch-state watch; seq=3 samples=11161 prelude=input-path caseAliases=True observed=19:1,1:0,50:0 observedPublic=1:0 input=pid=3/3 base=3/3 keyWrites=3/3 pressedSeq=3/3 pressedEvents=302 offsets=28,205,208 activeFlag=0x01 secondaryState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 matchesFill=False allZero=True route2:0=False coordinateClass=coordinate-target-not-observed startObserved=False targetObserved=False rows=[{'name': 'predecessor-coordinate-top-auto', 'candidateTile': {'x': 46, 'y': 0}, 'candidateSide': 'top', 'sampleCount': 2788, 'movementObservedByActorSlots': [], 'startObservedByActorSlots': [], 'targetObservedByActorSlots': [], 'bestActorSlot': {'slot': 0, 'plannedPathHitCount': 0, 'plannedPathPointCount': 57, 'minManhattanDistanceToTarget': 46}, 'branchStateAllZero': True, 'activeActorCountValues': [{'valueHex': '0x01', 'count': 2788}], 'cameraTilePairs': [{'x': 5, 'y': 15, 'count': 2788}]}, {'name': 'predecessor-coordinate-bottom-auto', 'candidateTile': {'x': 47, 'y': 47}, 'candidateSide': 'bottom', 'sampleCount': 3612, 'movementObservedByActorSlots': [], 'startObservedByActorSlots': [], 'targetObservedByActorSlots': [], 'bestActorSlot': {'slot': 0, 'plannedPathHitCount': 0, 'plannedPathPointCount': 75, 'minManhattanDistanceToTarget': 94}, 'branchStateAllZero': True, 'activeActorCountValues': [{'valueHex': '0x00', 'count': 3612}], 'cameraTilePairs': [{'x': 0, 'y': 0, 'count': 3612}]}, {'name': 'predecessor-coordinate-right-auto', 'candidateTile': {'x': 95, 'y': 16}, 'candidateSide': 'right', 'sampleCount': 4761, 'movementObservedByActorSlots': [], 'startObservedByActorSlots': [], 'targetObservedByActorSlots': [], 'bestActorSlot': {'slot': 0, 'plannedPathHitCount': 0, 'plannedPathPointCount': 100, 'minManhattanDistanceToTarget': 111}, 'branchStateAllZero': True, 'activeActorCountValues': [{'valueHex': '0x01', 'count': 4761}], 'cameraTilePairs': [{'x': 5, 'y': 15, 'count': 4761}]}] |
| bounded-predecessor-trail-start-branch-state-poll | trail-start-movement-without-target | kind=public predecessor trail-start branch-state watch; seq=4 samples=10928 prelude=input-path caseAliases=True observed=19:1,1:0 observedPublic=1:0 input=pid=4/4 base=4/4 keyWrites=4/4 pressedSeq=4/4 pressedEvents=404 offsets=28,200,203,205,208 activeFlag=0x01 secondaryState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 matchesFill=False allZero=True route2:0=False trailClass=trail-start-movement-without-target trailStartObserved=True trailTargetObserved=False actorMove=False trailMove=True rows=[{'name': 'predecessor-trail-left-auto', 'candidateTile': {'x': 1, 'y': 14}, 'candidateSide': 'left', 'sampleCount': 1340, 'actorStartSlots': [], 'actorTargetSlots': [], 'actorMovementSlots': [], 'actorPathSlots': [], 'actorBestSlot': {'slot': 0, 'plannedPathHitCount': 0, 'plannedPathPointCount': 27, 'minManhattanDistanceToTarget': 15}, 'trailStartSlots': [0, 1, 2, 3, 4, 5, 6], 'trailTargetSlots': [], 'trailMovementSlots': [0, 1, 2, 3, 4, 5, 6], 'trailPathSlots': [0, 1, 2, 3, 4, 5, 6], 'trailBestSlot': {'slot': 1, 'plannedPathHitCount': 2, 'plannedPathPointCount': 27, 'minManhattanDistanceToTarget': 18}, 'branchStateAllZero': True, 'activeActorCountValues': [{'valueHex': '0x01', 'count': 1340}], 'cameraTilePairs': [{'x': 1, 'y': 15, 'count': 632}, {'x': 3, 'y': 15, 'count': 351}, {'x': 5, 'y': 15, 'count': 222}, {'x': 2, 'y': 15, 'count': 105}, {'x': 4, 'y': 15, 'count': 30}]}, {'name': 'predecessor-trail-top-auto', 'candidateTile': {'x': 46, 'y': 0}, 'candidateSide': 'top', 'sampleCount': 2681, 'actorStartSlots': [], 'actorTargetSlots': [], 'actorMovementSlots': [], 'actorPathSlots': [], 'actorBestSlot': {'slot': 0, 'plannedPathHitCount': 0, 'plannedPathPointCount': 58, 'minManhattanDistanceToTarget': 46}, 'trailStartSlots': [0, 1, 2, 3, 4, 5, 6], 'trailTargetSlots': [], 'trailMovementSlots': [], 'trailPathSlots': [0, 1, 2, 3, 4, 5, 6], 'trailBestSlot': {'slot': 0, 'plannedPathHitCount': 1, 'plannedPathPointCount': 58, 'minManhattanDistanceToTarget': 57}, 'branchStateAllZero': True, 'activeActorCountValues': [{'valueHex': '0x01', 'count': 2681}], 'cameraTilePairs': [{'x': 5, 'y': 15, 'count': 2681}]}, {'name': 'predecessor-trail-bottom-auto', 'candidateTile': {'x': 47, 'y': 47}, 'candidateSide': 'bottom', 'sampleCount': 2517, 'actorStartSlots': [], 'actorTargetSlots': [], 'actorMovementSlots': [], 'actorPathSlots': [], 'actorBestSlot': {'slot': 0, 'plannedPathHitCount': 0, 'plannedPathPointCount': 54, 'minManhattanDistanceToTarget': 94}, 'trailStartSlots': [0, 1, 2, 3, 4, 5, 6], 'trailTargetSlots': [], 'trailMovementSlots': [], 'trailPathSlots': [0, 1, 2, 3, 4, 5, 6], 'trailBestSlot': {'slot': 0, 'plannedPathHitCount': 1, 'plannedPathPointCount': 54, 'minManhattanDistanceToTarget': 53}, 'branchStateAllZero': True, 'activeActorCountValues': [{'valueHex': '0x01', 'count': 2517}], 'cameraTilePairs': [{'x': 5, 'y': 15, 'count': 2517}]}, {'name': 'predecessor-trail-right-auto', 'candidateTile': {'x': 95, 'y': 16}, 'candidateSide': 'right', 'sampleCount': 4390, 'actorStartSlots': [], 'actorTargetSlots': [], 'actorMovementSlots': [], 'actorPathSlots': [], 'actorBestSlot': {'slot': 0, 'plannedPathHitCount': 0, 'plannedPathPointCount': 97, 'minManhattanDistanceToTarget': 111}, 'trailStartSlots': [0, 1, 2, 3, 4, 5, 6], 'trailTargetSlots': [], 'trailMovementSlots': [], 'trailPathSlots': [0, 1, 2, 3, 4, 5, 6], 'trailBestSlot': {'slot': 0, 'plannedPathHitCount': 1, 'plannedPathPointCount': 97, 'minManhattanDistanceToTarget': 90}, 'branchStateAllZero': True, 'activeActorCountValues': [{'valueHex': '0x01', 'count': 4390}], 'cameraTilePairs': [{'x': 5, 'y': 15, 'count': 4390}]}] |
| bounded-predecessor-trail-left-overrun-branch-state-poll | edge-target-not-observed | kind=public predecessor trail-left overrun branch-state watch; seq=3 samples=4297 prelude=input-path caseAliases=True observed=50:0 observedPublic=- input=pid=3/3 base=3/3 keyWrites=3/3 pressedSeq=3/3 pressedEvents=300 offsets=28,200,203,208 activeFlag=0x01 secondaryState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 matchesFill=False allZero=True route2:0=False overrunClass=edge-target-not-observed cameraTarget=False cameraOutside=False actorTarget=False trailTarget=False rows=[{'name': 'predecessor-trail-left-overrun-once', 'sampleCount': 1400, 'selectors': ['50:0'], 'targetTile': {'x': 1, 'y': 14}, 'outsideTile': {'x': 0, 'y': 14}, 'cameraPairs': [{'x': 0, 'y': 0, 'count': 1400}], 'cameraTargetObserved': False, 'cameraOutsideObserved': False, 'actorTargetSlots': [], 'actorOutsideSlots': [], 'trailTargetSlots': [], 'trailOutsideSlots': [], 'actorMovementSlots': [], 'trailMovementSlots': [], 'branchStateAllZero': True}, {'name': 'predecessor-trail-left-overrun-twice', 'sampleCount': 1450, 'selectors': ['50:0'], 'targetTile': {'x': 1, 'y': 14}, 'outsideTile': {'x': 0, 'y': 14}, 'cameraPairs': [{'x': 0, 'y': 0, 'count': 1450}], 'cameraTargetObserved': False, 'cameraOutsideObserved': False, 'actorTargetSlots': [], 'actorOutsideSlots': [], 'trailTargetSlots': [], 'trailOutsideSlots': [], 'actorMovementSlots': [], 'trailMovementSlots': [], 'branchStateAllZero': True}, {'name': 'predecessor-trail-left-overrun-return', 'sampleCount': 1447, 'selectors': ['50:0'], 'targetTile': {'x': 1, 'y': 14}, 'outsideTile': {'x': 0, 'y': 14}, 'cameraPairs': [{'x': 0, 'y': 0, 'count': 1447}], 'cameraTargetObserved': False, 'cameraOutsideObserved': False, 'actorTargetSlots': [], 'actorOutsideSlots': [], 'trailTargetSlots': [], 'trailOutsideSlots': [], 'actorMovementSlots': [], 'trailMovementSlots': [], 'branchStateAllZero': True}] |
| high-frequency-predecessor-branch-state-poll | high-frequency-public-predecessor-all-zero-route-not-reached | kind=public predecessor high-frequency branch-state watch; interval=0.005 seq=2 samples=2090 prelude=input-path caseAliases=True observed=1:0,19:1,8:0 observedPublic=1:0 input=pid=2/2 base=2/2 keyWrites=2/2 pressedSeq=2/2 pressedEvents=71 offsets=28,200,203,208 activeFlag=0x01 secondaryState=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 expectedFill=0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 matchesFill=False allZero=True route2:0=False watch=activeSelectionFlag=0x01x2090; opcode24CurrentObjectIndex=0x00x2090; opcode24Mode1Source=0x00x2090; opcode24RuntimeFlag=0x00x2090; secondaryBranchState0=0x00x2090; secondaryBranchState1=0x00x2090; secondaryBranchState10=0x00x2090; secondaryBranchState11=0x00x2090; secondaryBranchState2=0x00x2090; secondaryBranchState3=0x00x2090; secondaryBranchState4=0x00x2090; secondaryBranchState5=0x00x2090; secondaryBranchState6=0x00x2090; secondaryBranchState7=0x00x2090; secondaryBranchState8=0x00x2090; secondaryBranchState9=0x00x2090 |
| fill-site-execution-context | blocked | localTrace=0x004844d0->0x004844dc reason=no-fixed-advance handler=0x00440c5c; rootEntryReach=False; encoded=raw-encoded-scalars-nonpromoting raw=4 rootTailRaw=4 promoting=0 rawScalarReject=scalar-only-no-branch-or-fixed-advance rawScalarNoFixed/noBranch/branchAttached/scalarOnly=4/4/0/4; proofGates=10/10 pass=0 allBlocked=True blockedIds=localFillStreamReachesCurrentReader,rootEntryFixedTraversalReachesFillSites,fillFragmentEntryCandidateFound,encodedFillEntryControlFlowCandidateFound,rootTailBranchClosureReachesFillOrReader,descriptorSliceRuntimeDispatchProven,rawGenericRouteProofFound,runtimeObservedPredecessorFill,predecessorToCurrentForwardBridgeFound,routeOrderAndSelectorMergeClosed; polls=8/30/46919 public=6 currentRoot=0 route2:0=0 fillMatches=0 allZero=8 targetStatus=target-not-observed descriptorEdgeReject=descriptor-only-no-route-execution-edge descriptorRouteEdges=0/0 tableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate tableBaseArithmeticRows=116 tableBaseArithmeticCandidates=0 fieldEntryCandidates=0 snapshotRouteCandidates=0 branchGatePreserve=same-selection-slot-preserved-known-opcodes branchGateSameOffset=True/0x20 branchGateSameOffsetWriteRead=0/0 branchGateOtherWrites=3@0x0a,0x0d,0x68 branchGateInvalidFillOffsets=0x54,0xe6,0xe7 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 proof=False |
| runtime-branch-state-split | fill-not-observed-after-public-predecessor | classification=public-predecessor-reached-fill-not-observed publicPredecessorReached=True activeFlag=0x01 observed=0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 expected=0x01,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 matchesFill=False allZero=True staticNoLocalTailReset=True staticNoDirectGlobalSecondaryWriter=True staticHelperOpcode10Only=True staticResetScopeClosed=True next=fill-site execution/order before current reader |
| selector-merge | open | samePreviousContainsRoutePair=False; sourceCurrentBridge=0/0; targetCurrentBridge=0/51 |
| strict-hotspot | missing | strictHotspotFound=False; eventTransitions=0; manifestPromotableSource=0 |