Predecessor 1:0 root 0x00478364; current 2:0 root 0x00540714.
Confirmed route: map1_02b, map1_01a
source-side previous selector: 0:0; overlap: map1_01a, map1_02b; predecessor target-side only: True; selector merge gap open: True
predecessor confirmed overlap: none
route order proven: False; proof found: False; failed route-order gates: source-current-selector-merge-order, predecessor-branch-state-persistence, strict-source-hotspot; missing evidence count: 3; evidence refs: 4; promotion status: blocked
1:0 remains the strongest inherited secondaryBranchState producer candidate, but it is target-side only for this route: it contains map2_02d and does not contain map1_01a. The confirmed source-side route overlaps 0:0, while 2:0 looks like a merge of source-side map1_01a and target-side map2_02d lists. The fill effect must stay blocked until save progression, a strict hotspot, or a VM/runtime trace proves that this merge path executes the predecessor state before the current reader.
| kind | status | detail |
|---|---|---|
| selector-index | supports-order | 1:0 has a lower selector group/slot than 2:0. |
| selector-progress | supports-candidate | 1:0 shares 10 maps with 2:0 and 2:0 introduces map1_01a. |
| source-side-selector | confirmed-route-overlap | map1_01a is carried by previous selector 0:0; confirmed overlap=map1_01a, map1_02b. |
| target-side-predecessor | target-state-only | 1:0 contains map2_02d=True and map1_01a=False; it is therefore separate from the confirmed source-side selector. |
| selector-merge-shape | merge-gap-open | 2:0 contains both map1_01a and map2_02d; previous selectors containing both route maps=0. |
| confirmed-route | does-not-prove-order | confirmed route reaches map1_02b, map1_01a; it overlaps 1:0 in no maps. |
| confirmed-edge | does-not-prove-order | confirmed edges are map1_02b->map1_01a; none executes 1:0 before 2:0. |
| path | fields |
|---|---|
out/save_scene_selectors.json | selector, selectedPointerHex, fieldMaps |
out/save_selector_inherited_state_candidates.json | bestPrevious, currentSelector, sharedMaps, introducedMaps |
out/playable_progress.json | reachableFromStart, confirmedEdges |
out/save_selector_predecessor_route_order.json | orderEvidence, remainingProofs, routeOrderProven |