Current selector 2:0 contains route-pair descriptors and corrected traces from entries 6 and 8 reach the frontier reader, but this is still table/control-flow shape rather than execution proof. The reader-bearing wrapper lives at negative entry -12 before the current root table pointer, opcode 0x07 does not select the wrapper, leaf table window, negative entry, frontier leaf, or reader, source/predecessor opcode 0x08/0x09 rows do not produce the current selector root/range, and no runtime selected-root proof or strict source hotspot is present. The global leaf-table scan also keeps the frontier reader-bearing leaf negative-only, so entries 6 and 8 remain corrected-trace candidates rather than normal-selection proof; this contradiction is tracked as a separate corrected-trace normal-selection gap. The constructed selector 2:0 diagnostic is also excluded from wrapper proof because its left-route hit is not reproduced and the active-order recheck stays at a zero count.
Route: map1_01a -> map2_02d; selector 2:0; root 0x00540714; table 0x005429dc.
Wrapper: entry 0x005429ac; descriptor 0x00542a04; child 0x00542ae8; frontier reader 0x00542b0c.
Global leaf table: field entries 261 (136 negative / 125 non-negative); global current selector route-pair indices -13,-12,6,8; global current frontier leaf only negative: True.
Root table direct refs: 14 refs / 0 text refs; route-entry/route-leaf/frontier-leaf/frontier-reader text refs 0/0/0/0; status data-only-no-text-ref.
Source/predecessor producers: opcode08 current root/range 0/0; opcode09 current-range stores 0; source/predecessor current producer count 0.
corrected trace normal-selection gap: corrected-trace-not-normal-selection-proof; route-pair reader trace grounded True, reader negative-only True, runtime selection False, wrapper proof False.
Constructed diagnostic recheck: constructed diagnostic wrapper proof status diagnostic-only-not-reproduced; runtime route hit True (375 samples, observed 2:0,10:0); constructed diagnostic left stability/recheck route hits 125/0; constructed diagnostic left active-order recheck route hits 0 with count 0x00x679; excluded from wrapper proof True.
current leaf selection proof found: False; wrapper execution proof found: False; current selector leaf execution proof found: False; proof found: False; failed wrapper gates: selected-root-execution,current-leaf-selection,wrapper-execution,current-selector-leaf-execution,strict-hotspot; missing evidence count: 5; promotion status: blocked.
Evidence refs: 11.
| kind | status | detail |
|---|---|---|
| current-root-table-window | route-pair-descriptors-present | root=0x00540714; table=0x005429dc; insideRootRows=10; routePairIndices=6,8 |
| negative-wrapper-entry | outside-current-root-run | wrapperEntry=0x005429ac; wrapper=0x00542a04; child=0x00542ae8; childIsFrontier=True; frontierLeaf=0x00542ae8; reader=0x00542b0c |
| wrapper-reference-context | non-promoting | wrapperEntryRefs=1; currentRootRangeRefs=1; currentRootEntryRunRefs=0; opcode5aFallthroughRefs=1; fallthroughNonCodeRefs=1; fallthroughHandlers=0x005429ac/0xac->0x00000003/-; promotingRefs=0; currentRootReferencesWrapper=False |
| 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 |
| route-pair-reader-trace | corrected-trace-only | routePairDescriptors=2; correctedReaderHits=2; geometryExitHits=0; readerNegativeOnly=True |
| opcode07-leaf-selection | absent | rowCount=33; indexMode=zero-extended-u8; selectedWrapper=0; selectedLeafWindow=0; selectedNegative=0; directFrontier=0 |
| opcode08-source-predecessor-activation | current-producer-absent | activators=162; currentRoot=0; currentRange=0; ownRange=24; scriptScalar=107; currentInternalRange=24 |
| opcode09-source-predecessor-store | current-store-absent | rows=17; supported=12; unsupported=5; unsupportedModes=0x6c,0xfe; currentRangeStores=0; sourcePredCurrentProducers=0 |
| corrected-trace-normal-selection-gap | corrected-trace-not-normal-selection-proof | routePairReaderTraceGrounded=True; readerNegativeOnly=True; frontierLeafNegativeOnly=True; opcode07SelectionAbsent=True; sourcePredCurrentProducers=0; runtimeSelection=False; wrapperExec=False; selectedRootRef=False |
| selected-root-execution | missing | selectedRootExecutionRefFound=False; runtimeSelectionProven=False; selectedPointerGlobal=0x0059de30; currentRoot=0x00540714 |
| constructed-diagnostic-recheck | diagnostic-only-not-reproduced | runtimePoll=375 observed=2:0,10:0 route=True; leftStability=679 routeHits=125 repro=not-reproduced; leftRecheck=680 routeHits=0; leftActiveOrder=679 routeHits=0 activeOrderCount=0x00x679; excluded=True |
| strict-hotspot | missing | strictHotspotFound=False; frontierClusterClass=current frontier selector-only cluster; frontierClusterEventCount=0; frontierClusterSelectorRefCount=34 |
out/save_selector_leaf_table_context.json: selector, rootHex, rootTablePointerHex, frontierLeafRefIsDirectRootTableEntry, runtimeSelectionProven, promotionStatusout/save_selector_leaf_table_global_context.json: selectorTableCount, fieldEntryRowCount, currentSelectorRoutePairIndices, currentFrontierLeafOnlyNegativeout/save_selector_wrapper_descriptor_context.json: wrapperDescriptorHex, wrapperEntryHex, wrapperChildPointerHex, wrapperRefBeforeCurrentRoot, currentRootReferencesWrapper, wrapperEntryPromotingRefCountout/save_selector_route_pair_descriptor_context.json: currentRoutePairDescriptorCount, currentRoutePairDescriptorIndices, currentRoutePairCorrectedTraceReachesReaderCount, readerBearingCurrentEntryCount, readerBearingNegativeEntryCountout/save_selector_opcode07_indexed_pointers.json: opcode07IndexMode, rowCount, selectedWrapperEntrySlotCount, selectedLeafTableWindowSlotCount, selectedCurrentRootEntrySlotCount, selectedNegativeRootEntrySlotCount, directFrontierTargetCountout/save_selector_opcode08_activation_windows.json: sourceOrPredecessorOpcode08ActivatorCount, sourceOrPredecessorCurrentRootProducerCount, sourceOrPredecessorCurrentRangeProducerCount, currentInternalCurrentRangeProducerCountout/save_selector_opcode09_pointer_collisions.json: sourceOrPredecessorOpcode09RowCount, sourceOrPredecessorSupportedOpcode09RowCount, sourceOrPredecessorUnsupportedModeOpcode09RowCount, sourceOrPredecessorCurrentRangeStoreCountout/save_selector_selected_root_execution_gap.json: selectedRootExecutionRefFound, runtimeSelectionProven, diagnosticExclusionGate, evidenceRefs, evidenceRefCountout/save_selector_current_root_frontier_paths.json: strictHotspotFound, frontierClusterClass, frontierClusterEventCount, frontierClusterSelectorRefCountout/save_selector_merge_execution_gap.json: selectorMergeExecutionProofFound, selectorMergeGapOpen, promotionStatusout/save_selector_route_pair_entry_execution_gap.json: rootTableDirectRefContext, routePairEntryExecutionProven, correctedTraceNormalSelectionGapFound, remainingProofs