The 1:0 predecessor fill sites form a real local stream fragment and both modeled fill opcodes are reachable from 0x004844d0 by linear handler advances, but bounded root-entry traversal through fixed advances and valid branch targets does not reach those fill sites. The local fill trace stops at 0x004844dc on a no-fixed-advance descriptor boundary and never reaches the current 0x00542b0c reader. Runtime polling reached the public predecessor selector yet still observed all-zero secondaryBranchState. The root-entry tail branch-target audit classifies all 591 branch-capable rows as before-tail, inside-tail, mapped data, or unmapped targets, with 0 branches to the fill fragment or current reader. A multi-hop root-tail branch closure over 12352 nodes and 7249 graph edges likewise reaches 0 fill/current-reader seeds; its 512 outside successors classify as before-root-tail=262, inside-root-tail=1, mapped-.data=111, unmapped=138. The root-entry stop and fill-fragment stop both resolve through .data descriptor rows under the save-selector slice, while the same low bytes resolve to executable handlers under the raw generic table. Because direct runtime dispatch into the slice is still unproven, those descriptor boundaries are static model evidence rather than predecessor execution proof. Bounded raw generic handler windows, their mapped one-hop callees, and the bounded raw generic call graph contain no direct route/fill/current immediates or route/fill direct transfer targets, so the raw generic alternative does not supply the missing bridge either. The field-entry input sweep also found 0 selector 2:0 route candidates across 22 sequences and 85 snapshots. The coordinate-source scan leaves the public predecessor start coordinate in save/camera/image memory only and keeps reciprocal target coordinates out of object/trail sources, so it is diagnostic rather than a route object source. No forward predecessor-to-current execution bridge or route-order proof is present.
Route: map1_01a -> map2_02d; predecessor 1:0 root 0x00478364; current 2:0 reader 0x00542b0c.
Fill trace: start 0x004844d0; stop 0x004844dc reason no-fixed-advance; reaches reader False; root-entry reaches fills False; encoded entry raw-encoded-scalars-nonpromoting raw 4 promoting 0; raw scalar rejection scalar-only-no-branch-or-fixed-advance no-fixed/no-branch/branch-attached/scalar-only 4/4/0/4; root/fill descriptor boundaries True; slice dispatch proof False; descriptor depends on slice True; slice byte-reachable/requires-table-base 0/2; dynamic dispatches/SEH-scope/table-base-immediates 3/3/0; table-base rejection table-base-switch-required-no-dynamic-save-selector-candidate; table-base candidates 0; table-base arithmetic rows/candidates 116/0; dynamic table-base candidate False; raw generic contrast raw-generic-handlers-nonroute-contrast handlers 2 route/fill/current immediates 0/0/0; selected/branch-state immediates 0/0; mapped calls 2 targets 0x00416c77,0x004173db; one-hop route/fill/current immediates 0/0/0; route/fill transfers 0/0; one-hop route/fill transfers 0/0; call graph raw-generic-callgraph-nonroute-contrast depth 3 functions/edges 4/10; call graph route/fill/current immediates 0/0/0; call graph selected/branch-state immediates 0/0; call graph route/fill transfers 0/0; depth sensitivity max/no-proof/stable 6/True/True; raw route proof False; runtime fill False; field-entry input field-entry-not-found seq/candidates/snapshots/routeSnapshots 22/0/85/0; runtime field-entry proof proof False candidateProof False failed field-entry-input-sequence,selector-2-0-snapshot,route-relevant-runtime-object-tile,selected-root-execution-proof evidenceRefs 4; coordinate source start-coordinate-found-in-image-memory/save-camera-memory-only-no-route-object-coordinate-source public-start ptr/static/trail/image 0/1/0/2; observed-trail ptr/static/trail/image 0/0/7/10; reciprocal ptr/static/trail/image 0/0/0/118; selector merge runtime/closure shapeOnly=True forwardAbsent=True reverseBeforeFillOnly=True runtimeProof=False closureProof=False persistenceUsable=False; proof gates blocked/pass/all-blocked 10/0/True; failed fill-order gates localFillStreamReachesCurrentReader,rootEntryFixedTraversalReachesFillSites,fillFragmentEntryCandidateFound,encodedFillEntryControlFlowCandidateFound,rootTailBranchClosureReachesFillOrReader,descriptorSliceRuntimeDispatchProven,rawGenericRouteProofFound,runtimeObservedPredecessorFill,predecessorToCurrentForwardBridgeFound,routeOrderAndSelectorMergeClosed; missing evidence 10; proof found False; promotion status blocked.
| id | pass | status | detail |
|---|---|---|---|
| localFillStreamReachesCurrentReader | False | stops-before-current-reader | 0x004844d0->0x004844dc reason=no-fixed-advance reader=0x00542b0c |
| rootEntryFixedTraversalReachesFillSites | False | fill-sites-not-reached | visited=23 reached=- |
| fillFragmentEntryCandidateFound | False | no-direct-entry-candidates | dwordRefs=0 rootBranchTargets=0 |
| encodedFillEntryControlFlowCandidateFound | False | raw-encoded-scalars-nonpromoting | raw=4 branchAttached=0 modeled=0 promoting=0 |
| rootTailBranchClosureReachesFillOrReader | False | branch-closure-no-fill-or-current-reader | seeds=591 edges=7249 fill=0 reader=0 |
| descriptorSliceRuntimeDispatchProven | False | slice-runtime-proof-missing | dependsOnSlice=True requiresTableBase=2 tableBaseCandidates=0 |
| rawGenericRouteProofFound | False | raw-generic-handlers-nonroute-contrast | routeImm=0 fillImm=0 currentImm=0 callGraphProof=False |
| runtimeObservedPredecessorFill | False | runtime-fill-not-observed | publicPredecessorReached=True branchStateAllZero=True |
| predecessorToCurrentForwardBridgeFound | False | no-forward-bridge | predecessorToCurrent=0 forwardMerge=0 |
| routeOrderAndSelectorMergeClosed | False | route-order-unproven-or-merge-gap-open | routeOrderProven=False selectorMergeGapOpen=True |
| kind | site/instruction | status | detail |
|---|---|---|---|
| slice-descriptor-row | 0x004783e0 | slice-descriptor-requires-table-base | role=predecessor-root-entry-stop; opcode=0xd0; slice=0x00440a9c/.data; raw=0x0040f02a/.text; byteReachable=False; rawDiffers=True; requiresTableBase=True |
| slice-descriptor-row | 0x004844dc | slice-descriptor-requires-table-base | role=predecessor-fill-fragment-stop; opcode=0xc0; slice=0x00440c5c/.data; raw=0x0040ec00/.text; byteReachable=False; rawDiffers=True; requiresTableBase=True |
| dynamic-indexed-dispatch-row | 0x00438456 | seh-scope-callback-not-save-selector | form=call ebx+esi*4+0x8; dwordScaled=True; context=seh-registration-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=True; sentinel=True; triplet=True |
| dynamic-indexed-dispatch-row | 0x004390b7 | seh-scope-callback-not-save-selector | form=call edi+ecx*4+0x4; dwordScaled=True; context=seh-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=False; sentinel=True; triplet=True |
| dynamic-indexed-dispatch-row | 0x004390f3 | seh-scope-callback-not-save-selector | form=call edi+ecx*4+0x8; dwordScaled=True; context=seh-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=False; sentinel=True; triplet=True |
| table-base-arithmetic-scan | - | no-save-selector-table-base-arithmetic-candidate | rows=116; candidates=0; found=False; candidateRows=0 |
| path | fields |
|---|---|
out/save_selector_predecessor_branch_state_execution_gap.json | publicPredecessorReached,runtimeObservedFill,runtimeBranchStateAllZero,predecessorFillExecutionOrderGap,branchStateExecutionProofFound |
out/save_selector_predecessor_tail_reset.json | localTailResetFound,tailValidSecondaryFillCount,tailDirectCurrentRouteBridgeFound,promotionStatus |
out/save_selector_predecessor_persistence_gap.json | predecessorFillWouldPassCurrentReader,currentRootHasNoKnownBeforeFrontierOverwrite,persistenceProven,selectorMergeGapOpen,promotionStatus |
out/save_selector_predecessor_route_order.json | routeOrderProven,selectorMergeGapOpen,selectorIndexOrderSupportsPredecessor,selectorProgressSupportsPredecessor,promotionStatus |
out/save_selector_data_descriptor_opcode_map.json | proofFound,failedDataDescriptorGateIds,missingEvidence,evidenceRefCount,predecessorRootStopIsDataDescriptor,predecessorFillStopIsDataDescriptor,d0DescriptorSharedHandlerOpcodes,c0DescriptorSharedHandlerOpcodes,promotionStatus |
out/save_selector_dispatch_table_context.json | proofFound,failedDispatchTableGateIds,missingEvidence,evidenceRefCount,saveSelectorSliceDirectRuntimeDispatchProofFound,descriptorBoundaryDependsOnSaveSelectorSliceModel,routeRelevantSliceDataDescriptorRequiresTableBaseSwitchCount,dynamicSaveSelectorTableBaseCandidateCount,promotionStatus |
out/runtime_predecessor_field_entry_sequence_scan.json | sequenceCount,fieldEntryCandidateCount,snapshotCount,snapshotRouteCandidateCount,finalSelectorCounts,proofFound,predecessorFieldEntryProofFound,failedPredecessorFieldEntryGateIds,missingEvidence,evidenceRefs,evidenceRefCount,promotionStatus |
out/runtime_predecessor_coordinate_source_scan.json | classification,coordinateSourceRejectionClassification,publicSaveStartPointerTableTileHitCount,observedTrailTrailRingHitCount,reciprocalImageHitCount,promotionStatus |
out/save_selector_merge_execution_gap.json | predecessorToCurrentHitCount,forwardMergeBridgeHitCount,currentToPredecessorBeforeFillHitCount,selectorMergeExecutionProofFound,promotionStatus |
out/save_selector_merge_runtime_context.json | mergeShapeOnly,forwardBridgeAbsent,reverseReuseBeforeFillOnly,selectorMergeRuntimeProofFound,promotionStatus |
out/save_selector_merge_closure_context.json | selectorMergeClosureProofFound,predecessorPersistenceUsableForCurrent,routeOrderProven,selectedRootExecutionRefFound,promotionStatus |
| kind | status | detail |
|---|---|---|
| local-fill-stream | fills-then-descriptor-boundary | start=0x004844d0; sites=0x004844d0,0x004844d8; containsAllFillSites=True; stop=0x004844dc reason=no-fixed-advance handler=0x00440c5c; reachesReader=False |
| root-entry-fixed-traversal | fill-sites-not-reached | start=0x00478364; rootEnd=0x0048458c; visited=23; targets=0x004844d0,0x004844d8; reached=-; stops=0x004783e0; directFillRefs={'0x004844d0': 0, '0x004844d8': 0} |
| fill-fragment-entry-candidates | no-direct-entry-candidates | range=0x004844d0..0x004844e0; allDwordRefs=0; rootRangeDwordRefs=0; rootBranchTargets=0 |
| encoded-fill-entry-candidates | raw-encoded-scalars-nonpromoting | range=0x00478364..0x004844d0; targetLow16=0x44d0,0x44d4,0x44d8,0x44dc; rawScalars=4; rootTailRawScalars=4; branchAttached=0; modeledControlFlow=0; promoting=0 |
| encoded-raw-scalar-rejection | scalar-only-no-branch-or-fixed-advance | rawScalars=4; kinds={'abs16-low': 1, 'signed-rel16-site-plus2': 2, 'signed-rel32-site-plus4': 1}; sections={'-': 3, '.data': 1}; noFixed/noBranch/branchAttached/scalarOnly=4/4/0/4 |
| root-tail-isolation | descriptor-isolated-tail | range=0x004783e0..0x004844d0; distance=0xc0f0; rows=12348; handlers=7350/1443/3555; branchRows=591; branchTargetClasses={'before-root-tail': 262, 'inside-root-tail': 80, 'mapped-.data': 111, 'unmapped': 138}; branchTargetSections={'.data': 221, '.text': 3, 'unmapped': 367}; branchToFill=0; branchToReader=0; fixedToFill=0; branchClosure=591/7249/0/0; branchClosureOutside=512/{'before-root-tail': 262, 'inside-root-tail': 1, 'mapped-.data': 111, 'unmapped': 138}/{'.data': 142, '.text': 3, 'unmapped': 367}; immediateBeforeFill=0x004844cc:0xc0/.data |
| predecessor-data-descriptor-boundaries | data-descriptors-not-control-flow | rootStop=0x004783e0/0xd0->0x00440a9c .data; fillStop=0x004844dc/0xc0->0x00440c5c .data; d0Opcodes=0xc7,0xca,0xcd,0xd0,0xd3,0xd6,0xd9; c0Opcodes=0xc0,0xf5 |
| 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; scopeSites=0x00438456,0x004390b7,0x004390f3; dynamicTableBaseCandidate=False; dynamicTableBaseCandidateCount=0; tableBaseArithmeticRows=116; tableBaseArithmeticCandidates=0; dynamicTableBaseCandidateSites=-; tableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate; rootSlice/raw=0x00440a9c/0x0040f02a; fillSlice/raw=0x00440c5c/0x0040ec00 |
| predecessor-dispatch-table-base-rejection | table-base-switch-required-no-dynamic-save-selector-candidate | requiresTableBase=2; byteReachable=0; dynamicDispatches=3/3; scopeCallbacks=3; scopeSites=0x00438456,0x004390b7,0x004390f3; tableImmediateNear=0; tableBaseCandidates=0; tableBaseCandidateSites=-; tableBaseStaticCandidate=False |
| predecessor-raw-generic-handler-contrast | raw-generic-handlers-nonroute-contrast | handlers=2; routeImm=0; fillImm=0; currentImm=0; selectedPtrImm=0; branchStateImm=0; directCalls=9; mappedCalls=2; oneHopRouteImm=0; oneHopFillImm=0; oneHopRouteTransfers=0; routeTransfers=0; fillTransfers=0; callGraph=raw-generic-callgraph-nonroute-contrast; callGraphDepth=3; callGraphFunctions=4; callGraphEdges=10; callGraphRoute/fill/currentImm=0/0/0; callGraphSelected/branchImm=0/0; callGraphRoute/fillTransfers=0/0; callGraphProof=False; depthSensitivity=6/True/True; routeProof=False; maxWindow=0x400 |
| runtime-branch-state | public-predecessor-fill-not-observed | publicPredecessorReached=True; runtimeObservedFill=False; branchStateAllZero=True; split=public-predecessor-reached-fill-not-observed |
| runtime-field-entry-input | field-entry-not-found | sequences=22; fieldEntryCandidates=0; fieldEntryNames=-; snapshots=85; snapshotRouteCandidates=0; snapshotRouteNames=-; finalSelectors={'1:0': 12, '50:0': 2, '8:0': 2, '19:1': 6}; finalCameras={'5,15': 18, '0,0': 4}; snapshotSelectors={'8:0': 10, '1:0': 64, '50:0': 4, '19:1': 7}; snapshotCameras={'0,0': 14, '5,15': 71}; classes={'start-coordinate-found-in-image-memory': 18, 'start-coordinate-not-found-outside-camera-snapshot': 4}; promotes=diagnostic-only |
| runtime-coordinate-source | coordinate-source-diagnostic-only | classification=start-coordinate-found-in-image-memory; reject=save-camera-memory-only-no-route-object-coordinate-source; finalSelector=19:1; finalCamera={'x': 5, 'y': 15, 'pairHex': '0x000f0005'}; publicStartPtr/static/trail/image=0/1/0/2; observedTrailPtr/static/trail/image=0/0/7/10; reciprocalPtr/static/trail/image=0/0/0/118; promotes=diagnostic-only |
| static-reset-window | closed-static-reset-window | localTailReset=False; tailValidSecondary=0; staticResetScopeClosed=True; selectorOrderResetGapClosed=True |
| predecessor-current-bridge | no-forward-bridge | predecessorToCurrent=0; currentToPredecessor=51; reverseBeforeFill=51; reverseFillSite=0; forwardMergeBridge=0 |
| selector-route-order | route-order-unproven | routeOrderProven=False; sourcePrevious=0:0; predecessorTargetOnly=True; selectorMergeGapOpen=True |
| selector-merge-closure | selector-merge-open | shapeOnly=True; forwardBridgeAbsent=True; reverseBeforeFillOnly=True; runtimeProof=False; closureProof=False; persistenceUsable=False; encodedBridge=False; diagnosticExcluded=True |
| step | va | value | opcode | handler | advance | stop |
|---|---|---|---|---|---|---|
| 0 | 0x004844d0 | 0x00000210 | 0x10 | 0x0040b49e | +4 | - |
| 1 | 0x004844d4 | 0x00000100 | 0x00 | 0x0040239f | +4 | - |
| 2 | 0x004844d8 | 0x00000210 | 0x10 | 0x0040b49e | +4 | - |
| 3 | 0x004844dc | 0x000000c0 | 0xc0 | 0x00440c5c | - | no-fixed-advance |