route map1_01a -> map2_02d; selectors 1:0 -> 2:0; promotion status: blocked.
root stop 0x004783e0 -> 0x00440a9c; fill stop 0x004844dc -> 0x00440c5c; fill sites 0x004844d0, 0x004844d8; current reader 0x00542b0c.
root closure reaches c0 descriptor: True; root stop to fill bridge found: False; fill stop closure self loop found: True; fill stop to current bridge found: False; descriptor encoded target raw/root/fill/promoting: 1/1/0/0; descriptor encoded target classification: descriptor-encoded-route-target-scalars-nonpromoting; descriptor bridge proof found: False; proof found: False; failed descriptor bridge gates: 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; missing evidence count: 5; evidence refs: 3.
The predecessor root stop descriptor 0x00440a9c has a complete bounded .data pointer closure that reaches shared descriptor data, including the c0 fill-stop descriptor, but it does not contain an edge or node for the predecessor fill sites or the 0x004844dc fill-fragment stop. The fill-stop descriptor 0x00440c5c forms a small self-referential descriptor closure and has no edge to the current root, wrapper leaf, frontier leaf, or reader. The encoded target scan over descriptor closure slots adds no modeled route-execution edge; any encoded scalar matches remain descriptor data, not a control-flow bridge. This closes the obvious descriptor pointer/scalar bridge and leaves the predecessor fill/current-reader order blocked behind a real execution trace or decoded non-linear VM path. The target-edge rows are classified as descriptor-only data edges, not route-execution edges.
| kind | status | detail |
|---|---|---|
| root-stop-descriptor-closure | no-fill-site-bridge | d0 closure nodes=949 edges=4316 targetEdges={'d0-root-stop-descriptor': 0, 'c0-fill-stop-descriptor': 4, 'e8-route-descriptor': 5, 'predecessor-root-stop-site': 0, 'predecessor-fill-stop-site': 0, 'current-root': 0, 'wrapper-leaf': 0, 'frontier-leaf': 0, 'current-reader': 0, 'predecessor-fill-site-0': 0, 'predecessor-fill-site-1': 0} |
| fill-stop-descriptor-closure | self-loop-no-current-bridge | c0 closure nodes=2 edges=3 targetEdges={'d0-root-stop-descriptor': 0, 'c0-fill-stop-descriptor': 1, 'e8-route-descriptor': 0, 'predecessor-root-stop-site': 0, 'predecessor-fill-stop-site': 0, 'current-root': 0, 'wrapper-leaf': 0, 'frontier-leaf': 0, 'current-reader': 0, 'predecessor-fill-site-0': 0, 'predecessor-fill-site-1': 0} |
| direct-target-ref-scan | route-target-refs-absent-or-table-only | refCounts={'d0-root-stop-descriptor': 7, 'c0-fill-stop-descriptor': 4, 'e8-route-descriptor': 6, 'predecessor-root-stop-site': 0, 'predecessor-fill-stop-site': 0, 'current-root': 1, 'wrapper-leaf': 1, 'frontier-leaf': 1, 'current-reader': 0, 'predecessor-fill-site-0': 0, 'predecessor-fill-site-1': 0} |
| descriptor-target-edge-classification | shared-descriptor-only | rootDescriptorEdges=9; fillDescriptorEdges=1; rootRouteEdges=0; fillRouteEdges=0; rootLabels=['c0-fill-stop-descriptor', 'e8-route-descriptor']; fillLabels=['c0-fill-stop-descriptor'] |
| descriptor-edge-rejection | descriptor-only-no-route-execution-edge | descriptorEdges=9/1; routeEdges=0/0; allTargetSectionsData=True; rootLabels=['c0-fill-stop-descriptor', 'e8-route-descriptor']; fillLabels=['c0-fill-stop-descriptor']; status=blocked |
| descriptor-encoded-target-scan | descriptor-encoded-route-target-scalars-nonpromoting | raw=1; root/fill=1/0; promoting=0; targets={'predecessor-fill-site-1': 1}; kinds={'abs16-low': 1} |
| label | target | refs | sections |
|---|---|---|---|
| d0-root-stop-descriptor | 0x00440a9c | 7 | .data |
| c0-fill-stop-descriptor | 0x00440c5c | 4 | .data |
| e8-route-descriptor | 0x00440c28 | 6 | .data |
| predecessor-root-stop-site | 0x004783e0 | 0 | - |
| predecessor-fill-stop-site | 0x004844dc | 0 | - |
| current-root | 0x00540714 | 1 | .data |
| wrapper-leaf | 0x00542a04 | 1 | .data |
| frontier-leaf | 0x00542ae8 | 1 | .data |
| current-reader | 0x00542b0c | 0 | - |
| predecessor-fill-site-0 | 0x004844d0 | 0 | - |
| predecessor-fill-site-1 | 0x004844d8 | 0 | - |
shared descriptor only: True; root descriptor edges: 9; fill descriptor edges: 1; root route execution edges: 0; fill route execution edges: 0; descriptor edge rejection: descriptor-only-no-route-execution-edge; descriptor / route execution edge counts: 10 / 0; all target sections data: True.
| closure | source node | source | offset | target | label |
|---|---|---|---|---|---|
| root-stop-descriptor | 0x00440a9c | 0x00440aa0 | 0x00000004 | 0x00440c28 | e8-route-descriptor |
| root-stop-descriptor | 0x00440a9c | 0x00440ac0 | 0x00000024 | 0x00440c28 | e8-route-descriptor |
| root-stop-descriptor | 0x00440adc | 0x00440af4 | 0x00000018 | 0x00440c5c | c0-fill-stop-descriptor |
| root-stop-descriptor | 0x00440c44 | 0x00440c6c | 0x00000028 | 0x00440c5c | c0-fill-stop-descriptor |
| root-stop-descriptor | 0x00440c5c | 0x00440c6c | 0x00000010 | 0x00440c5c | c0-fill-stop-descriptor |
| root-stop-descriptor | 0x004409b8 | 0x004409bc | 0x00000004 | 0x00440c28 | e8-route-descriptor |
| root-stop-descriptor | 0x004409b8 | 0x004409dc | 0x00000024 | 0x00440c28 | e8-route-descriptor |
| root-stop-descriptor | 0x004409f8 | 0x00440a20 | 0x00000028 | 0x00440c5c | c0-fill-stop-descriptor |
| root-stop-descriptor | 0x00440984 | 0x004409bc | 0x00000038 | 0x00440c28 | e8-route-descriptor |
| fill-stop-descriptor | 0x00440c5c | 0x00440c6c | 0x00000010 | 0x00440c5c | c0-fill-stop-descriptor |
start 0x00440a9c; visited nodes: 949; edges: 4316; truncated: False; target node hits: {'d0-root-stop-descriptor': 1, 'c0-fill-stop-descriptor': 1, 'e8-route-descriptor': 1, 'predecessor-root-stop-site': 0, 'predecessor-fill-stop-site': 0, 'current-root': 0, 'wrapper-leaf': 0, 'frontier-leaf': 0, 'current-reader': 0, 'predecessor-fill-site-0': 0, 'predecessor-fill-site-1': 0}; target edge hits: {'d0-root-stop-descriptor': 0, 'c0-fill-stop-descriptor': 4, 'e8-route-descriptor': 5, 'predecessor-root-stop-site': 0, 'predecessor-fill-stop-site': 0, 'current-root': 0, 'wrapper-leaf': 0, 'frontier-leaf': 0, 'current-reader': 0, 'predecessor-fill-site-0': 0, 'predecessor-fill-site-1': 0}.
| node | pointer count | target |
|---|---|---|
0x00440a9c | 4 | d0-root-stop-descriptor |
0x00440c28 | 2 | e8-route-descriptor |
0x00440adc | 5 | - |
0x00440c2c | 2 | - |
0x00440c44 | 2 | - |
0x00440f08 | 9 | - |
0x00440d98 | 3 | - |
0x00440c5c | 2 | c0-fill-stop-descriptor |
0x004e32ec | 12 | - |
0x004409b8 | 4 | - |
0x00440f34 | 6 | - |
0x0044100c | 1 | - |
0x00440f50 | 6 | - |
0x00440f64 | 6 | - |
0x00442bed | 1 | - |
0x0044094c | 0 | - |
0x00440f9c | 6 | - |
0x00440dcc | 3 | - |
0x00440dc0 | 3 | - |
0x00513d06 | 1 | - |
0x00440c78 | 1 | - |
0x004e32fc | 12 | - |
0x004e3524 | 12 | - |
0x004e374c | 12 | - |
0x004e39d4 | 3 | - |
0x004e3fe4 | 7 | - |
0x004e3270 | 0 | - |
0x004e3314 | 13 | - |
0x004e3340 | 13 | - |
0x004e3348 | 13 | - |
0x004e3364 | 13 | - |
0x004e3380 | 13 | - |
start 0x00440c5c; visited nodes: 2; edges: 3; truncated: False; target node hits: {'d0-root-stop-descriptor': 0, 'c0-fill-stop-descriptor': 1, 'e8-route-descriptor': 0, 'predecessor-root-stop-site': 0, 'predecessor-fill-stop-site': 0, 'current-root': 0, 'wrapper-leaf': 0, 'frontier-leaf': 0, 'current-reader': 0, 'predecessor-fill-site-0': 0, 'predecessor-fill-site-1': 0}; target edge hits: {'d0-root-stop-descriptor': 0, 'c0-fill-stop-descriptor': 1, 'e8-route-descriptor': 0, 'predecessor-root-stop-site': 0, 'predecessor-fill-stop-site': 0, 'current-root': 0, 'wrapper-leaf': 0, 'frontier-leaf': 0, 'current-reader': 0, 'predecessor-fill-site-0': 0, 'predecessor-fill-site-1': 0}.
| node | pointer count | target |
|---|---|---|
0x00440c5c | 2 | c0-fill-stop-descriptor |
0x00440c78 | 1 | - |