route map1_01a -> map2_02d; source 0:0; predecessor 1:0; current 2:0; promotion status blocked.
current equals predecessor plus source: True; source+predecessor union covers current: True; source+predecessor union extra maps: map1_02b; exact previous selector union count: 0; list recomposition pattern found: True; execution order proven: False.
proof found False; failed selector-set decomposition gates source-current-control-flow,predecessor-state-persistence,real-selector-2:0-or-selected-root-runtime,strict-source-hotspot; missing evidence 4; evidence refs 5.
Selector 2:0 can be explained as the target-side predecessor selector 1:0 plus map1_01a, while omitting the source selector's extra confirmed-start map map1_02b. The previous 0:0+1:0 union covers the current selector but over-covers it by that extra source-side map, and no previous selector pair exactly equals the current route-pair map set. This supports a list-recomposition shape, but it still does not prove that gameplay executes 0:0, then 1:0, then 2:0 or that the map1_01a->map2_02d edge has a strict source hotspot.
| selector | root | maps | subset | extra | missing | confirmed overlap |
|---|---|---|---|---|---|---|
0:0 | 0x00501808 | map1_01a, map1_02b | False | map1_02b | map2_02d, map2_09g, map2_10g, map2_11g, map2_12h, map2_14j, map2_15j, map2_16j, map2_17h, map2_18d | map1_01a, map1_02b |
1:0 | 0x00478364 | map2_02d, map2_18d, map2_09g, map2_10g, map2_11g, map2_12h, map2_17h, map2_14j, map2_15j, map2_16j | True | - | map1_01a | - |
| selectors | equals current | covers current | extra | missing |
|---|---|---|---|---|
0:0 + 1:0 | False | True | map1_02b | - |