Save Selector Leaf Index Space

route map1_01a -> map2_02d; selector 2:0; root table pointer 0x005429dc; current route-pair descriptor entries 2; current reader-bearing entries 0; negative reader-bearing entries 1; opcode 0x2c correction applied True; corrected route-pair traces reaching reader 2; frontier reader selectable by non-negative index False; frontier reader reachable by corrected non-negative index True; proofFound=False; failedLeafIndexGates=normal-runtime-selector-root-execution,reader-branch-target-linkage,strict-hotspot; missingEvidenceCount=3; promotion blocked.

The current selector 2:0 table pointer is 0x005429dc. The raw generic stream trace still finds the direct frontier leaf reference only as the descriptor child at root-relative index -12, before that table pointer. However, the opcode 0x2c correction shows the non-negative current-root route-pair descriptors at indices 6 and 8 can also reach the frontier reader 0x00542b0c. That resolves the stale no-fixed-advance trace contradiction, but it is still descriptor/control-flow evidence only; normal runtime selector execution, reader branch outcome, and a strict map1_01a hotspot remain unproven.

Evidence refs: 3.

Missing Evidence

normal runtime selector/root execution reaches the corrected route-pair descriptors
0x00542b0c reader branch outcome and map target linkage on a real route path
strict map1_01a source coordinate or hotspot

Evidence Refs

out/save_selector_leaf_streams.json: leafPointerHex, fieldRecords, nestedFieldRecords
out/save_selector_stream_traces.json: streamVaHex, trace
out/save_selector_opcode2c_route_pair_context.json: rows, descriptorHex, correctedTrace, reachesFrontierReader

Route-Relevant Entries

index	entry	descriptor	child	current entry	desc maps	nested maps	child maps	raw desc reader	corrected desc reader	child reader
-12	`0x005429ac`	`0x00542a04`	`0x00542ae8`	False	-	-	map1_01a, map2_02d, map2_18d	False	False	True
6	`0x005429f4`	`0x00542ac0`	`0x00542e10`	True	map1_01a, map2_02d	map2_15j	-	False	True	False
8	`0x005429fc`	`0x00542ad4`	`0x00542e48`	True	map1_01a, map2_02d	map2_16j	-	False	True	False

All Entries

index	entry	descriptor	child	current entry	marker	route relevant
-13	`0x005429a8`	`0x005429a0`	`-`	False	`0x00000001`	False
-12	`0x005429ac`	`0x00542a04`	`0x00542ae8`	False	`0x0000003f`	True
-11	`0x005429b0`	`0x00542e80`	`0x00542e90`	False	`0x0000003f`	False
-10	`0x005429b4`	`0x00542a20`	`0x00542b50`	False	`0x0000003f`	False
-9	`0x005429b8`	`0x00542e80`	`0x00542e90`	False	`0x0000003f`	False
-8	`0x005429bc`	`0x00542a34`	`0x00542bb8`	False	`0x0000003f`	False
-7	`0x005429c0`	`0x00542e80`	`0x00542e90`	False	`0x0000003f`	False
-6	`0x005429c4`	`0x00542a48`	`0x00542c20`	False	`0x0000003f`	False
-5	`0x005429c8`	`0x00542e80`	`0x00542e90`	False	`0x0000003f`	False
-4	`0x005429cc`	`0x00542a5c`	`0x00542c88`	False	`0x0000003f`	False
-3	`0x005429d0`	`0x00542e80`	`0x00542e90`	False	`0x0000003f`	False
-2	`0x005429d4`	`0x00542a70`	`0x00542cd0`	False	`0x0000003f`	False
-1	`0x005429d8`	`0x00542e80`	`0x00542e90`	False	`0x0000003f`	False
0	`0x005429dc`	`0x00542a84`	`0x00542d38`	True	`0x0000003f`	False
1	`0x005429e0`	`0x00542e80`	`0x00542e90`	True	`0x0000003f`	False
2	`0x005429e4`	`0x00542a98`	`0x00542d80`	True	`0x0000003f`	False
3	`0x005429e8`	`0x00542e80`	`0x00542e90`	True	`0x0000003f`	False
4	`0x005429ec`	`0x00542aac`	`0x00542dc8`	True	`0x0000003f`	False
5	`0x005429f0`	`0x00542e80`	`0x00542e90`	True	`0x0000003f`	False
6	`0x005429f4`	`0x00542ac0`	`0x00542e10`	True	`0x0000003f`	True
7	`0x005429f8`	`0x00542e80`	`0x00542e90`	True	`0x0000003f`	False
8	`0x005429fc`	`0x00542ad4`	`0x00542e48`	True	`0x0000003f`	True
9	`0x00542a00`	`0x00542e80`	`0x00542e90`	True	`0x0000003f`	False

Remaining Proofs

prove normal runtime selector/root execution reaches the corrected route-pair descriptors
resolve the 0x00542b0c reader branch outcome and map target linkage on a real route path
or find a strict map1_01a source coordinate/hotspot