Current root: 0x00540714; frontier reader: 0x00542b0c
Fill-entry refs/branch targets: 1 roots; route-overlap roots: 0; predecessor candidate: False.
Fill-entry ref exclusion: non-route-only-entry-reference; selectors 55:0; non-route only True.
Opcode-shaped secondaryBranchState fills exist in multiple selector roots, including route-overlap roots. For the current root 0x00540714, the only opcode-shaped secondary fill is after the 0x00542b0c frontier reader, so it cannot initialize the map1_01a->map2_02d branch. A global fill-entry scan finds no direct dword refs or root-range branch targets into any route-overlap fill fragment, including the 1:0 predecessor; only non-route fill roots have an entry-like direct reference. The only entry-ref selector is 55:0, which has no route-map overlap. The next proof step is therefore runtime/control-flow evidence, not a static route-overlap fill-site pointer.
| group | slot | root | fills | route overlap | entry refs | root refs | branch targets | relevance | first fills |
|---|---|---|---|---|---|---|---|---|---|
| 1 | 0 | 0x00478364 | 2 | map2_02d, map2_09g, map2_10g, map2_11g, map2_12h, map2_14j, map2_15j, map2_16j, map2_17h, map2_18d | 0 | 0 | 0 | route-overlap root; possible inherited runtime-state producer candidate | 0x004844d0=0x00000210, 0x004844d8=0x00000210 |
| 2 | 0 | 0x00540714 | 1 | map1_01a, map2_02d, map2_09g, map2_10g, map2_11g, map2_12h, map2_14j, map2_15j, map2_16j, map2_17h, map2_18d | 0 | 0 | 0 | current root; no before-frontier fill should be used for promotion | 0x00542fc4=0x00000210 |
| 3 | 1 | 0x004c9ab4 | 2 | - | 0 | 0 | 0 | non-route root | 0x004cbc34=0x00000110, 0x004cbc44=0x00000110 |
| 5 | 0 | 0x00532940 | 24 | - | 0 | 0 | 0 | non-route root | 0x0053b4e4=0x00000210, 0x0053b5e4=0x00000210, 0x0053b654=0x00000210, 0x0053b65c=0x00000210, 0x0053b794=0x00000210 |
| 10 | 0 | 0x0053c4a4 | 25 | map2_02d, map2_09g, map2_10g, map2_11g, map2_12h, map2_14j, map2_15j, map2_16j, map2_17h, map2_18d | 0 | 0 | 0 | route-overlap root; possible inherited runtime-state producer candidate | 0x0053f5b4=0x00000210, 0x0053f6b4=0x00000210, 0x0053f884=0x00000210, 0x0053f88c=0x00000210, 0x0053f9c4=0x00000210 |
| 11 | 0 | 0x004c3e08 | 10 | map2_15j | 0 | 0 | 0 | route-overlap root; possible inherited runtime-state producer candidate | 0x004c91e8=0x00000210, 0x004c91f0=0x00000210, 0x004c92a8=0x00000210, 0x004c92b0=0x00000210, 0x004c93a8=0x00000210 |
| 15 | 0 | 0x004a4e9c | 4 | - | 0 | 0 | 0 | non-route root | 0x004a5b68=0x00000110, 0x004a5b78=0x00000110, 0x004a5f18=0x00000110, 0x004a5f28=0x00000110 |
| 18 | 0 | 0x004ac10c | 27 | - | 0 | 0 | 0 | non-route root | 0x004b162c=0x00000110, 0x004b163c=0x00000110, 0x004b17ac=0x00000210, 0x004b17bc=0x00000210, 0x004b279c=0x00000110 |
| 21 | 0 | 0x004e2374 | 5 | - | 0 | 0 | 0 | non-route root | 0x004e41b8=0x00000210, 0x004e41c0=0x00000210, 0x004e4278=0x00000210, 0x004e4280=0x00000210, 0x004e4298=0x00000210 |
| 24 | 0 | 0x004f8dd8 | 6 | - | 0 | 0 | 0 | non-route root | 0x004f9710=0x00000210, 0x004f9720=0x00000210, 0x004f9800=0x00000210, 0x004f9810=0x00000210, 0x004f993c=0x00000110 |
| 27 | 0 | 0x004b35d4 | 6 | - | 0 | 0 | 0 | non-route root | 0x004b5590=0x00000110, 0x004b590c=0x00000110, 0x004b5ae0=0x00000110, 0x004b5ca8=0x00000110, 0x004b5da8=0x00000110 |
| 30 | 0 | 0x00524350 | 1 | - | 0 | 0 | 0 | non-route root | 0x00526d5c=0x00000110 |
| 34 | 0 | 0x0052db58 | 8 | - | 0 | 0 | 0 | non-route root | 0x0052e134=0x00000210, 0x0052e13c=0x00000210, 0x0052e50c=0x00000210, 0x0052e510=0x00000110, 0x0052e844=0x00000210 |
| 36 | 2 | 0x0051bf28 | 2 | - | 0 | 0 | 0 | non-route root | 0x0051c13c=0x00000110, 0x0051c14c=0x00000110 |
| 38 | 0 | 0x004904d0 | 2 | - | 0 | 0 | 0 | non-route root | 0x004910a8=0x00000210, 0x004910b0=0x00000210 |
| 39 | 0 | 0x004a3dec | 6 | - | 0 | 0 | 0 | non-route root | 0x004a4a30=0x00000210, 0x004a4a38=0x00000210, 0x004a4b08=0x00000210, 0x004a4b18=0x00000210, 0x004a4b28=0x00000210 |
| 43 | 0 | 0x00543578 | 2 | - | 0 | 0 | 0 | non-route root | 0x00543e38=0x00000210, 0x00543e40=0x00000210 |
| 45 | 0 | 0x0044dd5c | 3 | - | 0 | 0 | 0 | non-route root | 0x00454924=0x00000110, 0x00454a5c=0x00000210, 0x00454a64=0x00000210 |
| 46 | 0 | 0x004a69ac | 4 | - | 0 | 0 | 0 | non-route root | 0x004a6cbc=0x0000c010, 0x004a6ccc=0x0100c010, 0x004a6cdc=0x0200c010, 0x004aa4b4=0x00000110 |
| 48 | 9 | 0x00500000 | 16 | - | 0 | 0 | 0 | non-route root | 0x00500d80=0x00000210, 0x00500e78=0x00000210, 0x00500f00=0x00000210, 0x00501160=0x00000210, 0x00501170=0x00000210 |
| 48 | 13 | 0x00500000 | 16 | - | 0 | 0 | 0 | non-route root | 0x00500d80=0x00000210, 0x00500e78=0x00000210, 0x00500f00=0x00000210, 0x00501160=0x00000210, 0x00501170=0x00000210 |
| 55 | 0 | 0x005137dc | 23 | - | 1 | 1 | 0 | non-route root | 0x00514448=0x00000210, 0x00514450=0x00000210, 0x00514588=0x00000210, 0x00514590=0x00000210, 0x005146a8=0x00000210 |
| 56 | 0 | 0x0043fc5c | 5 | - | 0 | 0 | 0 | non-route root | 0x00442fb0=0x00000110, 0x00442fc0=0x00000110, 0x00443390=0x00000110, 0x004433a0=0x00000110, 0x004433f0=0x00000210 |
| 58 | 0 | 0x00443400 | 10 | - | 0 | 0 | 0 | non-route root | 0x00443974=0x00000210, 0x0044397c=0x00000210, 0x00443c54=0x00000210, 0x00443c5c=0x00000210, 0x00443cb4=0x00000210 |