Current Leaf Wrapper External Proof Packet

route map1_01a -> map2_02d; promotion status blocked; proof found False; currentLeafWrapperExternalProofFound False.

current selector/root 2:0 / 0x00540714; root table 0x005429dc; wrapper 0x005429ac / 0x00542a04 / 0x00542ae8; frontier 0x00542ae8 / 0x00542b0c.

route-pair entry indices [6, 8]; corrected trace entry indices [6, 8]; negative reader entry indices [-12]; corrected trace status corrected-trace-not-normal-selection-proof.

failed current leaf/wrapper external gates selected-root-execution, current-leaf-selection, wrapper-execution, current-selector-leaf-execution, strict-hotspot; evidence refs 11.

Root Table Evidence

rootTableWindowDirectRefCount: 14
rootTableWindowDirectTextRefCount: 0
rootTableRouteEntryAddressTextRefCount: 0
rootTableRouteLeafValueTextRefCount: 0
rootTableFrontierLeafValueTextRefCount: 0
rootTableFrontierReaderValueTextRefCount: 0
currentRootReferencesWrapper: False
wrapperEntryPromotingRefCount: 0
routePairIndexSourceDirectPointerRefPromotesRoute: False
routePairIndexSourceEncodedEntryAnchorClassification: raw-encoded-entry-anchor-scalars-nonpromoting
routePairIndexSourceEncodedEntryAnchorPromotingCandidateCount: 0

Route-Pair Index Source Evidence

proofFound: False
failedGateIds: ['direct-entry-pointer-source', 'encoded-entry-anchor-control-flow', 'nonnegative-entry-index-source', 'negative-wrapper-index-source']
missingEvidence: ['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']
directPointerRefPromotesRoute: False
encodedEntryAnchorClassification: raw-encoded-entry-anchor-scalars-nonpromoting
encodedEntryAnchorPromotingCandidateCount: 0
opcode07DirectEntrySelectionAbsent: True
opcode07SelectedCurrentRootEntrySlotCount: 0
opcode07SelectedNegativeRootEntrySlotCount: 0
opcode07SelectedWrapperEntrySlotCount: 0
opcode07SelectedLeafTableWindowSlotCount: 0
opcode07DirectFrontierTargetCount: 0

Source/Predecessor Producer Evidence

opcode08SourceOrPredecessorCurrentRootProducerCount: 0
opcode08SourceOrPredecessorCurrentRangeProducerCount: 0
opcode09SourceOrPredecessorCurrentRangeStoreCount: 0
opcode08ActivationPromotesRoute: False
opcode09PointerCollisionPromotesRoute: False

Diagnostic Exclusion Evidence

constructedDiagnosticWrapperProofStatus: diagnostic-only-not-reproduced
constructedDiagnosticExcludedFromWrapperProof: True
constructedDiagnosticLeftStabilityRouteSelectorHitCount: 125
constructedDiagnosticLeftStabilityRecheckRouteSelectorHitCount: 0
constructedDiagnosticLeftActiveOrderRecheckRouteSelectorHitCount: 0
constructedDiagnosticLeftActiveOrderRecheckActiveOrderCountValues: 0x00x679

Proof Gates

id	pass	status	detail
`selectedRootExecution`	False	`missing`	normal route execution has not reached selector 2:0/current root 0x00540714
`routePairCorrectedTraceOnly`	False	`corrected-trace-only-not-proof`	entries [6, 8] corrected traces reach 0x00542b0c, but normal selection remains unproven
`routePairIndexSource`	False	`missing`	no direct, encoded, opcode07, or higher-level source selects entries 6/8 or wrapper -12
`currentLeafSelection`	False	`missing`	frontier leaf 0x00542ae8 is table data, not a proven selected current leaf
`wrapperExecution`	False	`missing`	negative wrapper entry -12 / 0x00542a04 is not proven executed on the normal route path
`currentSelectorLeafExecution`	False	`missing`	selected root, leaf selection, wrapper execution, and reader trace are not tied together
`strictSourceHotspot`	False	`missing`	strict map1_01a source coordinate/hotspot linked to map2_02d remains absent

Support Proof Rows

id	proof found	failed gate ids	evidence refs
`wrapper-execution-gap`	False	`selected-root-execution, current-leaf-selection, wrapper-execution, current-selector-leaf-execution, strict-hotspot`	11
`route-pair-entry-execution-gap`	False	`selected-root-execution, route-pair-index-source, source-predecessor-current-producer, wrapper-entry-execution, strict-hotspot`	10
`route-pair-index-source-gap`	False	`direct-entry-pointer-source, encoded-entry-anchor-control-flow, nonnegative-entry-index-source, negative-wrapper-index-source`	3
`opcode2c-corrected-route-pair-context`	False	`normal-route-descriptor-selection, frontier-reader-target-linkage, strict-source-hotspot`	2

Accepted Evidence Checklist

requirement	current status	accepted signal
normal selected-root execution reaches current selector 2:0	`missing`	selectedRootExecutionRefFound == true on a non-diagnostic route path
higher-level index source selects route-pair entries 6/8 or wrapper -12	`missing`	routePairIndexSourceProofFound == true
wrapper 0x00542a04 executes into frontier leaf 0x00542ae8	`missing`	wrapperExecutionProofFound == true
current selector leaf execution ties selected root, leaf selection, wrapper, and reader	`missing`	currentSelectorLeafExecutionProofFound == true
strict map1_01a source coordinate/hotspot links to map2_02d	`missing`	strict source hotspot or equivalent runtime trigger is proven

Missing Evidence

selected-root execution reaching current selector 2:0 on the normal route path
higher-level table/index path selecting current entries 6/8 or negative entry -12
normal-route wrapper 0x00542a04 execution into frontier leaf 0x00542ae8
complete current selector leaf execution proof tying selected root, leaf selection, and wrapper/reader trace
strict map1_01a source coordinate or hotspot linked to map2_02d

Not Accepted Evidence

corrected opcode 0x2c route-pair traces that reach 0x00542b0c without normal selection proof
negative reader-bearing wrapper entry -12 as table data outside the current root run
root-table direct refs in .data with zero text/control-flow refs
opcode 0x5a mode0 fallthrough words whose low-byte handlers are non-code/default contexts
constructed selector 2:0 diagnostic left-route hits that are not reproduced by recheck
source/predecessor opcode 0x08/0x09 pointer-shaped collisions with zero current root/range producer

Evidence Refs

out/save_selector_wrapper_execution_gap.json: proofFound, failedWrapperGateIds, missingEvidence, wrapperExecutionProofFound, currentLeafSelectionProofFound, currentSelectorLeafExecutionProofFound, evidenceRefs, evidenceRefCount
out/save_selector_route_pair_entry_execution_gap.json: proofFound, failedRoutePairEntryGateIds, missingEvidence, routePairEntryExecutionProven, selectedRootExecutionRefFound, wrapperExecutionProofFound, routePairEntryIndices, negativeReaderEntryIndices, evidenceRefs, evidenceRefCount
out/save_selector_route_pair_index_source_gap.json: proofFound, failedRoutePairIndexSourceGateIds, missingEvidence, routePairEntryIndices, negativeReaderEntryIndices, evidenceRefs, evidenceRefCount
out/save_selector_selected_root_execution_gap.json: proofFound, failedSelectedRootGateIds, missingEvidence, selectedRootExecutionRefFound, selectedRootExecutionRejectionClassification, evidenceRefs, evidenceRefCount
out/save_selector_leaf_table_context.json: proofFound, failedLeafTableGateIds, missingEvidence, frontierLeafRefIsDirectRootTableEntry, runtimeSelectionProven, evidenceRefs, evidenceRefCount
out/save_selector_leaf_index_space.json: proofFound, failedLeafIndexGateIds, missingEvidence, frontierReaderSelectableByNonNegativeIndex, frontierReaderReachableByCorrectedNonNegativeIndex, correctedTraceAllRoutePairDescriptorsReachReader, evidenceRefs, evidenceRefCount
out/save_selector_leaf_table_global_context.json: currentSelectorRoutePairIndices, currentFrontierLeafOnlyNegative, selectorTableCount, fieldEntryRowCount, runtimeSelectionProven, evidenceRefs, evidenceRefCount
out/save_selector_route_pair_descriptor_context.json: proofFound, missingEvidence, frontierReaderSelectableByNonNegativeIndex, frontierReaderReachableByCorrectedNonNegativeIndex, readerBearingNegativeIndices, runtimeSelectionProven, evidenceRefs, evidenceRefCount
out/save_selector_opcode2c_route_pair_context.json: proofFound, failedOpcode2cRoutePairGateIds, missingEvidence, correctedTraceReachesReaderCount, correctedTraceAllRoutePairDescriptorsReachReader, evidenceRefs, evidenceRefCount
out/save_selector_current_writer_paths.json: proofFound, failedCurrentWriterPathGateIds, missingEvidence, currentWriterPathProofFound, evidenceRefs, evidenceRefCount
out/save_selector_current_root_frontier_paths.json: proofFound, failedCurrentRootFrontierPathGateIds, missingEvidence, runtimeSelectionProven, evidenceRefs, evidenceRefCount

Regenerate And Verify

python3 tools/summarize_current_leaf_wrapper_external_proof_packet.py
python3 tools/verify_web_assets.py

Current leaf/wrapper execution remains blocked: route-pair entries 6/8 have corrected reader traces, but no selected-root execution, index-source, wrapper execution, current selector leaf execution, or strict hotspot proof selects them on the normal route path.