Save Selector Route-Pair Entry Execution Gap

Selector 2:0 has current-root route-pair entries 6 and 8, and opcode 0x2c-corrected traces from both entries reach reader 0x00542b0c. This still does not prove normal route execution chooses those entries: opcode 0x07 has no direct entry selection, source/predecessor opcode 0x08 and 0x09 windows do not produce the current root/range, explicit entry-pointer refs to -12/6/8 are non-code opcode 0x5a fallthrough words, the negative wrapper entry -12 is outside the current root run, the reader is corrected-reachable but not selectable by a non-negative index, and selected-root runtime proof remains absent.

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

route-pair entry execution proven: False; selected-root execution ref found: False; strict hotspot found: False; proofFound=False; failedRoutePairEntryGates=selected-root-execution,route-pair-index-source,source-predecessor-current-producer,wrapper-entry-execution,strict-hotspot; missingEvidenceCount=5.

Global leaf table: global current selector route-pair indices -13,-12,6,8; global current frontier leaf only negative: True; route-pair index source entry refs/text/promoting: 3/0/0; route-pair index source encoded raw/branch/modeled/promoting: 3/0/0/0; route-pair index source encoded classification: raw-encoded-entry-anchor-scalars-nonpromoting; root table window refs/text refs: 14/0; route entry/leaf/frontier leaf/reader text refs: 0/0/0/0; wrapper entry opcode5a fallthrough refs: 1.

Opcode 0x08/0x09 current producer contrast: source/predecessor buckets 0:0:op8=31,currentRootRange=0/0,own=9,script=21,unreadable=1;1:0:op8=131,currentRootRange=0/0,own=15,script=86,unreadable=30; current selector contrast 2:0:op8=67,currentRootRange=0/24,own=24,script=39,unreadable=4; opcode09 collision rows 1:0@0x0047da5c=0x00476c09/0x6c/.data;1:0@0x0047dad4=0x00476c09/0x6c/.data;1:0@0x0047dbcc=0x00476c09/0x6c/.data;1:0@0x0047dc88=0x00476c09/0x6c/.data;1:0@0x0047f2ac=0x0041fe09/0xfe/.text.

corrected trace normal-selection gap: corrected-trace-not-normal-selection-proof; corrected trace reaches the reader, but non-negative selection is False and the reader-bearing leaf remains negative-only True.

Evidence refs: 10.

Missing Evidence

selected-root execution reaches selector 2:0 on the normal route path
higher-level selector/table index source selects route-pair entries 6 or 8
source/predecessor opcode 0x08 or 0x09 producer for the current root/range
wrapper entry -12 executes into 0x00542ae8 on the normal route path
strict map1_01a source coordinate or hotspot linked to map2_02d

Route-Pair Entries

index	entry	descriptor	child	maps	corrected reader
6	`0x005429f4`	`0x00542ac0`	`0x00542e10`	map1_01a,map2_02d	True
8	`0x005429fc`	`0x00542ad4`	`0x00542e48`	map1_01a,map2_02d	True

Evidence

kind	status	detail
route-pair-current-entries	corrected-reader-trace-only	indices=6,8; corrected=6,8; readerReachableByCorrectedNonNegativeIndex=True
negative-wrapper-reader	outside-current-root-run	indices=-12; wrapperEntry=0x005429ac; wrapper=0x00542a04; child=0x00542ae8; entryRunRefs=0; opcode5aFallthroughRefs=1; fallthroughNonCodeRefs=1; fallthroughHandlers=0x005429ac/0xac->0x00000003/-
route-entry-pointer-source-refs	non-promoting-fallthrough-only	routeEntryIdx=-13,-12,6,8; entryRefs=3; textRefs=0; promotingRefs=0; opcode5aFallthroughRefs=3; fallthroughNonCodeRefs=3; nonNegPromoting=0; negativeReaderPromoting=0; encodedRaw=3; encodedBranch=0; encodedModeled=0; encodedPromoting=0; encodedClass=raw-encoded-entry-anchor-scalars-nonpromoting; handlers=0x005429ac/0xac->0x00000003/-,0x005429f4/0xf4->0x00000004/-,0x005429fc/0xfc->0x004409b8/.data; descriptorTableOnly=True; childDescriptorWordOnly=True
global-leaf-table-context	frontier-leaf-negative-only	selectorTables=35; fieldEntries=261; negative/nonNegative=136/125; currentRoutePairIdx=-13,-12,6,8; frontierLeafOnlyNegative=True
root-table-direct-ref-context	data-only-no-text-ref	tableWindow=0x005429a8..0x00542a10; tableRefs=14/0; sections={'.data': 14}; routeEntryTextRefs=0; routeLeafTextRefs=0; frontierLeafTextRefs=0; frontierReaderTextRefs=0; frontierReaderRefs=0
opcode07-direct-entry-selection	absent	rowCount=33; indexMode=zero-extended-u8; leafWindow=0; negative=0; current=0; wrapper=0; directFrontier=0
opcode08-activation-window	source-predecessor-current-producer-absent	sourcePredecessorActivators=162; currentRoot=0; currentRange=0; ownRange=24; scriptScalar=107; currentInternalRange=24; sourcePredBuckets=0:0:op8=31,currentRootRange=0/0,own=9,script=21,unreadable=1;1:0:op8=131,currentRootRange=0/0,own=15,script=86,unreadable=30; currentContrast=2:0:op8=67,currentRootRange=0/24,own=24,script=39,unreadable=4; promotes=False
opcode09-selected-pointer-store	source-predecessor-current-store-absent	sourcePredecessorRows=17; supported=12; unsupported=5; unsupportedModes=0x6c,0xfe; pointerCollisions=5; currentRangeStores=0; activationLinkedCollisions=13; collisionRows=1:0@0x0047da5c=0x00476c09/0x6c/.data;1:0@0x0047dad4=0x00476c09/0x6c/.data;1:0@0x0047dbcc=0x00476c09/0x6c/.data;1:0@0x0047dc88=0x00476c09/0x6c/.data;1:0@0x0047f2ac=0x0041fe09/0xfe/.text; promotes=False
corrected-trace-normal-selection-gap	corrected-trace-not-normal-selection-proof	correctedReaderGrounded=True; nonNegativeSelectable=False; nonNegativeCorrectedReachable=True; frontierLeafNegativeOnly=True; opcode07DirectAbsent=True; sourcePredCurrentProducers=0; wrapperExec=False; selectedRootRef=False
selected-root-execution	missing	selectedRootExecutionRefFound=False; currentRoot=0x00540714; selectedPointerGlobal=0x0059de30; promotion=blocked
strict-hotspot	missing	leafIndexStrict=False; frontierStrict=False; frontierClusterClass=current frontier selector-only cluster

Evidence Refs

out/save_selector_leaf_index_space.json: routeRelevantRows, routePairCurrentDescriptorIndices, routePairCorrectedTraceDescriptorIndices, readerBearingNegativeIndices, frontierReaderSelectableByNonNegativeIndex, frontierReaderReachableByCorrectedNonNegativeIndex
out/save_selector_leaf_table_global_context.json: selectorTableCount, fieldEntryRowCount, currentSelectorRoutePairIndices, currentFrontierLeafOnlyNegative
out/save_selector_opcode08_activation_windows.json: sourceOrPredecessorOpcode08ActivatorCount, sourceOrPredecessorCurrentRootProducerCount, sourceOrPredecessorCurrentRangeProducerCount, currentInternalCurrentRangeProducerCount, contextWindows
out/save_selector_opcode07_indexed_pointers.json: opcode07IndexMode, rowCount, selectedLeafTableWindowSlotCount, selectedNegativeRootEntrySlotCount, selectedCurrentRootEntrySlotCount, selectedWrapperEntrySlotCount, directFrontierTargetCount
out/save_selector_opcode09_pointer_collisions.json: sourceOrPredecessorOpcode09RowCount, sourceOrPredecessorSupportedOpcode09RowCount, sourceOrPredecessorUnsupportedModeOpcode09RowCount, sourceOrPredecessorCurrentRangeStoreCount, rows
out/save_selector_wrapper_descriptor_context.json: wrapperEntryHex, wrapperDescriptorHex, wrapperChildPointerHex, wrapperRefBeforeCurrentRoot, wrapperEntryRefs, wrapperEntryPromotingRefCount
out/save_selector_selected_root_execution_gap.json: selectedRootExecutionRefFound, currentRootHex, selectedPointerGlobalHex, runtimeProbeGate, diagnosticExclusionGate, evidenceRefs, evidenceRefCount
out/save_selector_current_root_frontier_paths.json: strictHotspotFound, frontierClusterClass, frontierClusterEventCount, frontierClusterSelectorRefCount
out/save_selector_route_pair_index_source_gap.json: routeEntryIndices, entryPointerRefCount, entryPointerTextRefCount, entryPointerPromotingRefCount, encodedEntryAnchorRawScalarCandidateCount, encodedEntryAnchorPromotingCandidateCount, higherLevelIndexSourceProven
out/save_selector_leaf_table_context.json: selector, rootHex, rootTablePointerHex, tableWindowHex, frontierLeafHex, frontierReaderHex

Opcode 0x08 Selector Buckets

selector	role	range	activations	current root/range	own	script	unreadable
`0:0`	source-side confirmed selector	`0x00501808..0x00503570`	31	0/0	9	21	1
`1:0`	target-side predecessor selector	`0x00478364..0x0048458c`	131	0/0	15	86	30
`2:0`	current merge/frontier selector	`0x00540714..0x00543578`	67	0/24	24	39	4

Opcode 0x09 Pointer Collisions

selector	va	value	mode	section	returns without store	classification
`1:0`	`0x0047da5c`	`0x00476c09`	`0x6c`	.data	True	pointer-shaped low-byte collision
`1:0`	`0x0047dad4`	`0x00476c09`	`0x6c`	.data	True	pointer-shaped low-byte collision
`1:0`	`0x0047dbcc`	`0x00476c09`	`0x6c`	.data	True	pointer-shaped low-byte collision
`1:0`	`0x0047dc88`	`0x00476c09`	`0x6c`	.data	True	pointer-shaped low-byte collision
`1:0`	`0x0047f2ac`	`0x0041fe09`	`0xfe`	.text	True	pointer-shaped low-byte collision

Remaining Proofs

prove selected-root execution reaches selector 2:0 on the normal route path
prove a higher-level selector/table index selects entry 6 or 8
or prove wrapper entry -12 executes into 0x00542ae8 on the normal route path
find a strict map1_01a source coordinate or hotspot linked to map2_02d