Save Selector Secondary Route-Overlap Candidates

route map1_01a -> map2_02d; route-overlap roots 4; pre-current roots 1; source-side fills 0; current after-frontier fills 1; post-current roots 2; secondary route-overlap promotes route False.

Route-overlap secondaryBranchState fills do not close the selector-merge gap. The source-side previous selector 0:0 has no secondary fill evidence, the only pre-current route-overlap fill root is predecessor selector 1:0, the current 2:0 fill is after the frontier reader, and later route-overlap fill roots appear after selector 2:0 in table order.

selectorindexrootfillsbefore frontierafter frontierroute overlaprolepromotion usefirst fills
0:000x00501808000map1_01asource-side previous selectorno secondary fill evidence in the source-side previous selector-
1:010x00478364200map2_02d, map2_09g, map2_10g, map2_11g, map2_12h, map2_14j, map2_15j, map2_16j, map2_17h, map2_18donly pre-current route-overlap fill rootcandidate only after runtime order and persistence are proven0x004844d0=0x00000210, 0x004844d8=0x00000210
2:020x00540714101map1_01a, map2_02d, map2_09g, map2_10g, map2_11g, map2_12h, map2_14j, map2_15j, map2_16j, map2_17h, map2_18dcurrent selector; fill is after frontiernot an initializer; all valid fills are after the current frontier reader0x00542fc4=0x00000210
10:0120x0053c4a42500map2_02d, map2_09g, map2_10g, map2_11g, map2_12h, map2_14j, map2_15j, map2_16j, map2_17h, map2_18dpost-current route-overlap fill rootpost-current selector table order cannot initialize current selector 2:00x0053f5b4=0x00000210, 0x0053f6b4=0x00000210, 0x0053f884=0x00000210, 0x0053f88c=0x00000210, 0x0053f9c4=0x00000210
11:0130x004c3e081000map2_15jpost-current route-overlap fill rootpost-current selector table order cannot initialize current selector 2:00x004c91e8=0x00000210, 0x004c91f0=0x00000210, 0x004c92a8=0x00000210, 0x004c92b0=0x00000210, 0x004c93a8=0x00000210

Remaining Proofs