Save Selector Route-Pair Index Source Gap

The current selector's route-pair entries have no code-backed direct source refs. Entry -13 has no direct entry-pointer ref at all; entries -12, 6, and 8 each have one direct entry-pointer ref, but all three are opcode 0x5a mode 0 fallthrough words whose low-byte handlers are not executable code. The descriptor refs are only the leaf-table cells and child refs are only descriptor child words. The encoded entry-anchor scan adds no modeled control-flow candidate; raw scalar matches stay non-promoting. The opcode 0x07 zero-extended indexer also selects no leaf-table window, negative entry, current-root entry, wrapper entry, or direct frontier target. This removes the direct/encoded/opcode07 path as proof that a higher-level index selects entries 6/8 or the negative -12 wrapper; normal-route promotion still needs runtime selected-root execution, a decoded index source, or a strict source hotspot.

Route: map1_01a -> map2_02d; selector 2:0; root 0x00540714; promotion status blocked.

entry pointer refs/text/promoting: 3/0/0; encoded raw/branch/modeled/promoting: 3/0/0/0; opcode07 rows/valid/leaf/negative/current/wrapper/direct: 33/30/0/0/0/0/0; opcode07 direct entry selection absent: True; opcode5a fallthrough/non-code: 3/3; higher-level index source proven: False; proofFound=False; failedRoutePairIndexSourceGates=direct-entry-pointer-source,encoded-entry-anchor-control-flow,nonnegative-entry-index-source,negative-wrapper-index-source; missingEvidenceCount=4.

Evidence refs: 3.

Missing Evidence

code-backed direct entry-pointer source for route-pair entries 6/8 or wrapper entry -12
modeled encoded entry-anchor control-flow candidate for route-pair entries 6/8
non-direct higher-level selector/table index source selecting entries 6 or 8
normal runtime selection of negative -12 wrapper entry

Entries

index	entry	descriptor	child	entry refs	opcode5a refs	non-code refs	handlers	desc table-only	child word-only
-13	`0x005429a8`	`0x005429a0`	`-`	0	0	0	-	True	None
-12	`0x005429ac`	`0x00542a04`	`0x00542ae8`	1	1	1	0x005429ac/0xac->0x00000003/-	True	True
6	`0x005429f4`	`0x00542ac0`	`0x00542e10`	1	1	1	0x005429f4/0xf4->0x00000004/-	True	True
8	`0x005429fc`	`0x00542ad4`	`0x00542e48`	1	1	1	0x005429fc/0xfc->0x004409b8/.data	True	True

Encoded Entry Anchors

classification	raw scalars	branch-attached	modeled control-flow	promoting
raw-encoded-entry-anchor-scalars-nonpromoting	3	0	0	0

Entry Pointer Refs

index	ref	section	role	previous	fallthrough handler	current root range	entry run	promotes
-12	`0x0054090c`	.data	opcode-0x5a-mode0-fallthrough-word	`0x0000005a` / `0x5a`	`0x00000003` / -	True	False	False
6	`0x00540638`	.data	opcode-0x5a-mode0-fallthrough-word	`0x0000005a` / `0x5a`	`0x00000004` / -	False	False	False
8	`0x00540680`	.data	opcode-0x5a-mode0-fallthrough-word	`0x0000005a` / `0x5a`	`0x004409b8` / .data	False	False	False

Evidence Refs

out/save_selector_leaf_table_global_context.json: currentSelectorRouteRows, currentSelectorRoutePairIndices, currentSelectorNegativeRoutePairRowCount, currentSelectorNonNegativeRoutePairRowCount, currentFrontierLeafOnlyNegative
out/script_handler_table.json: handlerTableVaHex, opcodeCount, codeHandlerCount, defaultHandlerCount, entries
out/save_selector_opcode07_indexed_pointers.json: opcode07IndexMode, rowCount, validTableRowCount, selectedLeafTableWindowSlotCount, selectedNegativeRootEntrySlotCount, selectedCurrentRootEntrySlotCount, selectedWrapperEntrySlotCount, directFrontierTargetCount, promotionStatus

Remaining Proofs

decode a non-direct higher-level selector/table index source for entries 6 or 8
prove normal runtime selection of the negative -12 wrapper entry
prove selected-root execution reaches selector 2:0 on the normal route path
find a strict map1_01a source coordinate or hotspot linked to map2_02d