{"source":"map1_01a","target":"map2_02d","promotionStatus":"blocked","proofFound":false,"currentLeafWrapperExternalProofFound":false,"failedCurrentLeafWrapperExternalGateIds":["selected-root-execution","current-leaf-selection","wrapper-execution","current-selector-leaf-execution","strict-hotspot"],"missingEvidence":["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"],"currentSelector":"2:0","currentRootHex":"0x00540714","rootTablePointerHex":"0x005429dc","wrapperEntryHex":"0x005429ac","wrapperDescriptorHex":"0x00542a04","wrapperChildPointerHex":"0x00542ae8","frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","selectedRootExecutionRefFound":false,"selectedRootExecutionRejectionClassification":"selected-root-no-real-selector-no-execution-ref-diagnostic-excluded","routePairEntryIndices":[6,8],"routePairCorrectedTraceEntryIndices":[6,8],"negativeReaderEntryIndices":[-12],"globalCurrentSelectorRoutePairIndices":[-13,-12,6,8],"globalCurrentFrontierLeafOnlyNegative":true,"frontierReaderSelectableByNonNegativeIndex":false,"frontierReaderReachableByCorrectedNonNegativeIndex":true,"correctedTraceAllRoutePairDescriptorsReachReader":true,"correctedTraceReachesReaderCount":2,"correctedTraceNormalSelectionGapFound":true,"correctedTraceNormalSelectionGapStatus":"corrected-trace-not-normal-selection-proof","routePairEntryExecutionProven":false,"routePairIndexSourceProofFound":false,"wrapperExecutionProofFound":false,"currentLeafSelectionProofFound":false,"currentSelectorLeafExecutionProofFound":false,"leafTableRuntimeSelectionProven":false,"leafTableFrontierLeafRefIsDirectRootTableEntry":false,"leafIndexRuntimeSelectionProven":false,"routePairDescriptorRuntimeSelectionProven":false,"currentWriterPathProofFound":null,"currentRootFrontierPathProofFound":false,"rootTableEvidence":{"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},"routePairIndexSourceEvidence":{"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},"sourcePredecessorProducerEvidence":{"opcode08SourceOrPredecessorCurrentRootProducerCount":0,"opcode08SourceOrPredecessorCurrentRangeProducerCount":0,"opcode09SourceOrPredecessorCurrentRangeStoreCount":0,"opcode08ActivationPromotesRoute":false,"opcode09PointerCollisionPromotesRoute":false},"diagnosticExclusionEvidence":{"constructedDiagnosticWrapperProofStatus":"diagnostic-only-not-reproduced","constructedDiagnosticExcludedFromWrapperProof":true,"constructedDiagnosticLeftStabilityRouteSelectorHitCount":125,"constructedDiagnosticLeftStabilityRecheckRouteSelectorHitCount":0,"constructedDiagnosticLeftActiveOrderRecheckRouteSelectorHitCount":0,"constructedDiagnosticLeftActiveOrderRecheckActiveOrderCountValues":"0x00x679"},"supportProofRows":[{"id":"wrapper-execution-gap","proofFound":false,"failedGateIds":["selected-root-execution","current-leaf-selection","wrapper-execution","current-selector-leaf-execution","strict-hotspot"],"missingEvidence":["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"],"evidenceRefCount":11},{"id":"route-pair-entry-execution-gap","proofFound":false,"failedGateIds":["selected-root-execution","route-pair-index-source","source-predecessor-current-producer","wrapper-entry-execution","strict-hotspot"],"missingEvidence":["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"],"evidenceRefCount":10},{"id":"route-pair-index-source-gap","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"],"evidenceRefCount":3},{"id":"opcode2c-corrected-route-pair-context","proofFound":false,"failedGateIds":["normal-route-descriptor-selection","frontier-reader-target-linkage","strict-source-hotspot"],"missingEvidence":["normal runtime selector/root execution selecting corrected route-pair descriptors","frontier reader branch outcome and field-map target linkage on a real route path","strict map1_01a source coordinate or hotspot"],"evidenceRefCount":2}],"proofGateCount":7,"proofGatePassCount":0,"proofGateBlockedCount":7,"proofGatesAllBlocked":true,"proofGateRows":[{"id":"selectedRootExecution","pass":false,"status":"missing","detail":"normal route execution has not reached selector 2:0/current root 0x00540714"},{"id":"routePairCorrectedTraceOnly","pass":false,"status":"corrected-trace-only-not-proof","detail":"entries [6, 8] corrected traces reach 0x00542b0c, but normal selection remains unproven"},{"id":"routePairIndexSource","pass":false,"status":"missing","detail":"no direct, encoded, opcode07, or higher-level source selects entries 6/8 or wrapper -12"},{"id":"currentLeafSelection","pass":false,"status":"missing","detail":"frontier leaf 0x00542ae8 is table data, not a proven selected current leaf"},{"id":"wrapperExecution","pass":false,"status":"missing","detail":"negative wrapper entry -12 / 0x00542a04 is not proven executed on the normal route path"},{"id":"currentSelectorLeafExecution","pass":false,"status":"missing","detail":"selected root, leaf selection, wrapper execution, and reader trace are not tied together"},{"id":"strictSourceHotspot","pass":false,"status":"missing","detail":"strict map1_01a source coordinate/hotspot linked to map2_02d remains absent"}],"acceptedEvidenceChecklist":[{"requirement":"normal selected-root execution reaches current selector 2:0","currentStatus":"missing","acceptedSignal":"selectedRootExecutionRefFound == true on a non-diagnostic route path"},{"requirement":"higher-level index source selects route-pair entries 6/8 or wrapper -12","currentStatus":"missing","acceptedSignal":"routePairIndexSourceProofFound == true"},{"requirement":"wrapper 0x00542a04 executes into frontier leaf 0x00542ae8","currentStatus":"missing","acceptedSignal":"wrapperExecutionProofFound == true"},{"requirement":"current selector leaf execution ties selected root, leaf selection, wrapper, and reader","currentStatus":"missing","acceptedSignal":"currentSelectorLeafExecutionProofFound == true"},{"requirement":"strict map1_01a source coordinate/hotspot links to map2_02d","currentStatus":"missing","acceptedSignal":"strict source hotspot or equivalent runtime trigger is proven"}],"notAcceptedEvidence":["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"],"relatedReports":["out/save_selector_wrapper_execution_gap.html","out/save_selector_route_pair_entry_execution_gap.html","out/save_selector_route_pair_index_source_gap.html","out/save_selector_leaf_index_space.html","out/save_selector_opcode2c_route_pair_context.json"],"evidenceRefs":[{"path":"out/save_selector_wrapper_execution_gap.json","fields":["proofFound","failedWrapperGateIds","missingEvidence","wrapperExecutionProofFound","currentLeafSelectionProofFound","currentSelectorLeafExecutionProofFound","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_route_pair_entry_execution_gap.json","fields":["proofFound","failedRoutePairEntryGateIds","missingEvidence","routePairEntryExecutionProven","selectedRootExecutionRefFound","wrapperExecutionProofFound","routePairEntryIndices","negativeReaderEntryIndices","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_route_pair_index_source_gap.json","fields":["proofFound","failedRoutePairIndexSourceGateIds","missingEvidence","routePairEntryIndices","negativeReaderEntryIndices","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_selected_root_execution_gap.json","fields":["proofFound","failedSelectedRootGateIds","missingEvidence","selectedRootExecutionRefFound","selectedRootExecutionRejectionClassification","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_leaf_table_context.json","fields":["proofFound","failedLeafTableGateIds","missingEvidence","frontierLeafRefIsDirectRootTableEntry","runtimeSelectionProven","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_leaf_index_space.json","fields":["proofFound","failedLeafIndexGateIds","missingEvidence","frontierReaderSelectableByNonNegativeIndex","frontierReaderReachableByCorrectedNonNegativeIndex","correctedTraceAllRoutePairDescriptorsReachReader","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_leaf_table_global_context.json","fields":["currentSelectorRoutePairIndices","currentFrontierLeafOnlyNegative","selectorTableCount","fieldEntryRowCount","runtimeSelectionProven","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_route_pair_descriptor_context.json","fields":["proofFound","missingEvidence","frontierReaderSelectableByNonNegativeIndex","frontierReaderReachableByCorrectedNonNegativeIndex","readerBearingNegativeIndices","runtimeSelectionProven","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_opcode2c_route_pair_context.json","fields":["proofFound","failedOpcode2cRoutePairGateIds","missingEvidence","correctedTraceReachesReaderCount","correctedTraceAllRoutePairDescriptorsReachReader","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_current_writer_paths.json","fields":["proofFound","failedCurrentWriterPathGateIds","missingEvidence","currentWriterPathProofFound","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_current_root_frontier_paths.json","fields":["proofFound","failedCurrentRootFrontierPathGateIds","missingEvidence","runtimeSelectionProven","evidenceRefs","evidenceRefCount"]}],"evidenceRefCount":11,"regenerateAndVerifyCommands":["python3 tools/summarize_current_leaf_wrapper_external_proof_packet.py","python3 tools/verify_web_assets.py"],"remainingProofs":["prove selected-root execution reaches current selector 2:0 on the normal route path","decode the higher-level table/index path that selects entries 6/8 or negative entry -12","prove wrapper 0x00542a04 executes into frontier leaf 0x00542ae8 in normal route execution","find a strict map1_01a source coordinate or hotspot linked to map2_02d"],"conclusion":"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."}