{"source":"map1_01a","target":"map2_02d","promotionStatus":"blocked","proofFound":false,"opcode20GateBaseExternalProofFound":false,"failedOpcode20GateBaseExternalGateIds":["opcode20-runtime-base-path","predecessor-state-persistence","strict-source-hotspot"],"missingEvidence":["prove opcode 0x20 runtime descriptor/base path before 0x005428c4; active order alone is insufficient","prove predecessor 1:0 state persistence into current 2:0","find strict map1_01a source hotspot or equivalent non-coordinate trigger"],"currentWriterVaHex":"0x005428bc","writerStreamStartHex":"0x005428b4","firstGateVaHex":"0x005428c4","secondGateVaHex":"0x005428cc","opcode20CandidateVaHex":"0x005428a8","opcode20CurrentMode":"mode 0","opcode20CurrentModeIsNestedObjectPlus4":true,"opcode20DirectContextA8SetterCountInNestedTable":5,"gateWindowBaseSetterCandidateCount":1,"gateWindowOnlyOpcode20BaseCandidate":true,"localBaseAffectingRowCount":1,"localDirectBaseSetterCount":0,"localBaseAffectingRowsBeforeGate":[{"vaHex":"0x005428a8","valueHex":"0x00200020","opcodeHex":"0x20","kind":"nested descriptor runner","directBaseSetter":false,"meaning":"dispatch/load runtime object or party-member script references"}],"activeOrderProofFound":false,"gateTimeBaseProofFound":false,"activeOrderOnlyProofEliminated":true,"activeOrderAloneSufficientForGateProof":false,"predecessorPersistenceProofFound":false,"strictHotspotProofFound":false,"descriptorEvidence":{"script4SpecificGateBaseProven":false,"script4GateWriterCount":0,"script4GateReaderCount":0,"script4FieldRecordCount":0,"script4CurrentFrontierDirectRefCount":0,"script4EncodedTargetClassification":"no-encoded-route-target-scalars-in-descriptor-scripts","script4EncodedTargetRawScalarCandidateCount":0,"script4EncodedTargetPromotingCandidateCount":0,"script4ContextA8NonPointerSetterRowCount":16,"allScriptSpecificGateBaseProven":false,"allScriptGateWriterCount":0,"allScriptGateReaderCount":0,"allScriptSelectionOpcodeCount":362,"allScriptFieldRecordCount":0,"allScriptCurrentFrontierDirectRefCount":0,"allScriptEncodedTargetClassification":"no-encoded-route-target-scalars-in-descriptor-scripts","allScriptEncodedTargetRawScalarCandidateCount":0,"allScriptEncodedTargetPromotingCandidateCount":0},"contextF2Evidence":{"referenceCount":204,"readReferenceCount":141,"writeReferenceCount":63,"runtimeObjectTableReaderCount":65,"directInitializerCount":2,"copyWriterCount":61,"constantWriteCount":0,"objectSelectorCount":16,"fixedStream2ObjectSelectorCount":0,"specificRuntimeObjectPointerProven":false,"runtimeObjectTableStateRequired":true,"diagnosticRouteSampleCount":210,"diagnosticPromotionStatus":"diagnostic-only","promotionStatus":"blocked"},"runtimeObservationSummary":{"diagnosticActiveOrderEvidence":{"available":true,"sourcePoll":"runtime_selected_pointer_patched_public_selector_2_0_active_order_poll.json","stagedSaveKind":"patched public-base diagnostic active-order watch","notRouteProof":true,"promotionStatus":"diagnostic-only","sampleCount":210,"observedSelectors":["50:0","2:0","10:0"],"activeOrderCountHex":"0x01","activeOrderHexes":["0x00"],"orderByteHexes":["0x00","0x02","0x02"],"firstDescriptorIndex":0,"firstDescriptorHex":"0x004f867c","firstDescriptorMatchesScript":true,"descriptorScript0VaHex":"0x004f8dd8","descriptorScript4VaHex":"0x004f8df8","descriptorScript0LinkedCns":["cara_at1.cns"],"descriptorScript4LinkedCns":[],"descriptorScript4FieldRecordCount":0,"descriptorScript4CurrentFrontierDirectRefCount":0,"descriptorScript4EncodedTargetClassification":"no-encoded-route-target-scalars-in-descriptor-scripts","descriptorScript4EncodedTargetRawScalarCandidateCount":0,"descriptorScript4EncodedTargetRouteProofRawScalarCandidateCount":0,"descriptorScript4EncodedTargetRouteContextRawScalarCandidateCount":0,"descriptorScript4EncodedTargetPromotingCandidateCount":0,"descriptorScript4GateWriterCount":0,"descriptorScript4GateReaderCount":0,"descriptorScript4ContextA8NonPointerSetterRowCount":0,"descriptorScript4LastContextA8IsPointerDword":true,"descriptorScript4LastContextA8Shape":"pointer-dword-low-byte-collision","descriptorScript4LastContextA8VaHex":"0x004f8f34","gateBaseProven":false},"diagnosticActiveOrderRecheckEvidence":{"available":true,"sourcePoll":"runtime_patched_selector_left_stability_poll.json","recheckSourcePoll":"runtime_patched_selector_left_stability_recheck_poll.json","activeOrderRecheckSourcePoll":"runtime_patched_selector_left_active_order_poll.json","promotionStatus":"diagnostic-only","sampleCount":679,"routeSelectorHitCount":125,"observedSelectors":["50:0","10:0","2:0"],"routeHitReproducibility":"not-reproduced","routeHitReproducedByRecheck":false,"routeHitReproducedWithActiveOrderWatch":false,"recheckSampleCount":680,"recheckObservedSelectors":["50:0"],"recheckRouteSelectorHitCount":0,"activeOrderRecheckSampleCount":679,"activeOrderRecheckObservedSelectors":["50:0"],"activeOrderRecheckRouteSelectorHitCount":0,"activeOrderRecheckActiveOrderCountValues":"0x00x679","activeOrderRecheckSlot0DescriptorValues":"0x00266004x679","activeOrderRecheckRuntimeSlotBaseTable0Values":"0x00000000x679","notReproducedWithActiveOrderRecheck":true,"gateBaseStillUnproven":true},"publicPredecessorActiveOrderEvidence":{"available":true,"sourcePoll":"runtime_selected_pointer_predecessor_direction_sweep_active_order_poll.json","stagedSaveKind":"public predecessor direction sweep active-order watch","notRouteProof":true,"promotionStatus":"blocked","totalSampleCount":3378,"totalSequenceCount":8,"sampleCount":1689,"sequenceCount":4,"publicSequenceNames":["predecessor-left-sweep","predecessor-up-sweep","predecessor-right-run","predecessor-down-run"],"observedSelectors":["50:0","19:1","1:0"],"observedPublicSaveSelectors":["1:0"],"reachedCurrentRoot":false,"reachedRouteSelector":false,"loadedBaseHex":"0x00120000","activeOrderCountHex":"0x01","activeOrderCount":1,"orderByteHexes":["0x00","0x02","0x02"],"activeOrderHexes":["0x00"],"firstDescriptorRuntimeHex":"0x0021867c","firstDescriptorHex":"0x004f867c","firstDescriptorMatchesScript":true,"runtimeSlotBaseTable0Hex":"0x00177750","runtimeObjectTableHexes":["0x0027be00","0x0027d2f8","0x0027d5d4"],"allPublicWatchedValuesStable":true,"descriptorScript0VaHex":"0x004f8dd8","descriptorScript4VaHex":"0x004f8df8","descriptorScript0LinkedCns":["cara_at1.cns"],"descriptorScript4LinkedCns":[],"descriptorScript4FieldRecordCount":0,"descriptorScript4CurrentFrontierDirectRefCount":0,"descriptorScript4EncodedTargetClassification":"no-encoded-route-target-scalars-in-descriptor-scripts","descriptorScript4EncodedTargetRawScalarCandidateCount":0,"descriptorScript4EncodedTargetRouteProofRawScalarCandidateCount":0,"descriptorScript4EncodedTargetRouteContextRawScalarCandidateCount":0,"descriptorScript4EncodedTargetPromotingCandidateCount":0,"descriptorScript4GateWriterCount":0,"descriptorScript4GateReaderCount":0,"descriptorScript4ContextA8NonPointerSetterRowCount":0,"descriptorScript4LastContextA8IsPointerDword":true,"descriptorScript4LastContextA8Shape":"pointer-dword-low-byte-collision","descriptorScript4LastContextA8VaHex":"0x004f8f34","gateBaseProven":false},"publicPredecessorLeftOverrunActiveOrderEvidence":{"available":true,"sourcePoll":"runtime_selected_pointer_predecessor_left_overrun_activation_active_order_poll.json","stagedSaveKind":"public predecessor left-overrun activation active-order watch","notRouteProof":true,"promotionStatus":"blocked","totalSampleCount":2293,"totalSequenceCount":4,"sampleCount":584,"sequenceCount":1,"publicSequenceNames":["left-overrun-z"],"observedSelectors":["8:0","50:0","19:1","1:0"],"observedPublicSaveSelectors":["1:0"],"reachedCurrentRoot":false,"reachedRouteSelector":false,"loadedBaseHex":"0x00120000","activeOrderCountHex":"0x01","activeOrderCount":1,"orderByteHexes":["0x00","0x02","0x02"],"activeOrderHexes":["0x00"],"firstDescriptorRuntimeHex":"0x0021867c","firstDescriptorHex":"0x004f867c","firstDescriptorMatchesScript":true,"runtimeSlotBaseTable0Hex":"0x00177750","runtimeObjectTableHexes":["0x0027be00","0x0027d2f8","0x0027d5d4"],"allPublicWatchedValuesStable":true,"descriptorScript0VaHex":"0x004f8dd8","descriptorScript4VaHex":"0x004f8df8","descriptorScript0LinkedCns":["cara_at1.cns"],"descriptorScript4LinkedCns":[],"descriptorScript4FieldRecordCount":0,"descriptorScript4CurrentFrontierDirectRefCount":0,"descriptorScript4EncodedTargetClassification":"no-encoded-route-target-scalars-in-descriptor-scripts","descriptorScript4EncodedTargetRawScalarCandidateCount":0,"descriptorScript4EncodedTargetRouteProofRawScalarCandidateCount":0,"descriptorScript4EncodedTargetRouteContextRawScalarCandidateCount":0,"descriptorScript4EncodedTargetPromotingCandidateCount":0,"descriptorScript4GateWriterCount":0,"descriptorScript4GateReaderCount":0,"descriptorScript4ContextA8NonPointerSetterRowCount":0,"descriptorScript4LastContextA8IsPointerDword":true,"descriptorScript4LastContextA8Shape":"pointer-dword-low-byte-collision","descriptorScript4LastContextA8VaHex":"0x004f8f34","gateBaseProven":false}},"supportProofRows":[{"id":"gate-base-proof-gap","proofFound":false,"failedGateIds":["opcode20-runtime-base-path","predecessor-state-persistence","strict-source-hotspot"],"missingEvidence":["prove opcode 0x20 runtime descriptor/base path before 0x005428c4; active order alone is insufficient","prove predecessor 1:0 state persistence into current 2:0","find strict map1_01a source hotspot or equivalent non-coordinate trigger"],"evidenceRefCount":19},{"id":"gate-offset-sources","proofFound":false,"failedGateIds":["script-local-gate-byte-writer","global-script-gate-byte-writer","runtime-inherited-selection-buffer-state","control-path-fallthrough-proof"],"evidenceRefCount":3},{"id":"gate-offset-patterns","proofFound":false,"failedGateIds":["local-writer-for-gate-offsets","route-specific-root-pattern","current-root-fallthrough-proof"],"evidenceRefCount":2},{"id":"gate-base-candidates","proofFound":false,"failedGateIds":["save-runtime-gate-byte-route-sample","party-slot-branch-state-index","runtime-pointer-mode-proof","control-path-gate-base-proof"],"evidenceRefCount":3},{"id":"gate-sample-values","proofFound":false,"failedGateIds":["current-selector-2-0-sample","runtime-pointer-mode-proof","party-slot-index-evidence","control-path-gate-byte-proof"],"evidenceRefCount":2},{"id":"selection-buffer-bases","proofFound":false,"failedGateIds":["fixed-selection-buffer-base","static-gate-address-ref","runtime-pointer-mode-proof"],"evidenceRefCount":1},{"id":"opcode20-object-base","proofFound":false,"failedGateIds":["runtime-context-f2-object-pointer","descriptor-script-gate-row","field-map-or-frontier-reference","specific-gate-base-proof"],"evidenceRefCount":3},{"id":"opcode20-order-space","proofFound":false,"failedGateIds":["selector-2-0-active-order","runtime-descriptor-object-state","direct-route-proof-in-descriptor-order","strict-source-hotspot"],"evidenceRefCount":3},{"id":"opcode20-slot-source","proofFound":false,"failedGateIds":["runtime-slot-count","runtime-slot-descriptor-pointers","active-order-runtime-state","selected-root-execution-or-trace"],"evidenceRefCount":3},{"id":"opcode20-descriptor-writer","proofFound":false,"failedGateIds":["runtime-active-order","descriptor-materializer-execution","descriptor-plus4-selection","selected-root-execution-or-trace"],"evidenceRefCount":2},{"id":"opcode20-runtime-materializer","proofFound":false,"failedGateIds":["current-selector-2-0-active-order","selected-root-runtime-materializer-execution","normal-route-descriptor-mutation-observation","route-promotion-proof"],"evidenceRefCount":5}],"proofGateCount":7,"proofGatePassCount":0,"proofGateBlockedCount":7,"proofGatesAllBlocked":true,"proofGateRows":[{"id":"localOpcode20CandidateOnly","pass":false,"status":"local-candidate-not-proof","detail":"only local base-affecting candidate is opcode 0x20 at 0x005428a8; runtime base path remains unproven"},{"id":"gateTimeContextA8Base","pass":false,"status":"missing","detail":"context+0xa8 base at 0x005428c4/0x005428cc is not proven on the route path"},{"id":"descriptorSpecificRouteProof","pass":false,"status":"missing","detail":"descriptor+0/+4/+8 scripts have no field-map/current-frontier/gate row or encoded route-target proof"},{"id":"activeOrderRuntimeState","pass":false,"status":"diagnostic-only","detail":"active order observations are diagnostic/public-predecessor only and do not prove selector 2:0"},{"id":"runtimeObjectTableState","pass":false,"status":"missing","detail":"context+0xf2 object-table state is required and only diagnostic object-table evidence exists"},{"id":"predecessorStatePersistence","pass":false,"status":"missing","detail":"predecessor 1:0 state persistence into current selector 2:0 is not proven"},{"id":"strictSourceHotspot","pass":false,"status":"missing","detail":"strict map1_01a source hotspot or equivalent trigger remains absent"}],"acceptedEvidenceChecklist":[{"requirement":"opcode 0x20 runtime descriptor/base path before 0x005428c4","currentStatus":"missing","acceptedSignal":"gateTimeBaseProofFound == true"},{"requirement":"normal selector 2:0 active order/count or equivalent runtime trace","currentStatus":"missing","acceptedSignal":"activeOrderProofFound == true on non-diagnostic selector 2:0"},{"requirement":"runtime context+0xf2 object pointer and context+0xa8 base selection","currentStatus":"missing","acceptedSignal":"opcode20ContextF2SpecificRuntimeObjectPointerProven == true"},{"requirement":"predecessor 1:0 state persistence into current 2:0 gate path","currentStatus":"missing","acceptedSignal":"predecessorPersistenceProofFound == true"},{"requirement":"strict map1_01a source hotspot or equivalent non-coordinate trigger","currentStatus":"missing","acceptedSignal":"strictHotspotProofFound == true"}],"notAcceptedEvidence":["opcode 0x20 is the only local base-affecting candidate, but local presence is not execution proof","patched selector 2:0 active-order diagnostic observations","public predecessor 1:0 active-order observations with no current-root or route-selector hit","descriptor+4 script scans with no field-map/current-frontier/gate rows","descriptor+0/+4/+8 all-script scans with 362 selection-buffer-shaped rows but no specific route base"],"evidenceRefs":[{"path":"out/save_selector_current_writer_paths.json","fields":["classification","rootHex","writerVaHex","activationContext","trace"]},{"path":"out/save_selector_opcode20_nested_base_modes.json","fields":["currentModeIsNestedObjectPlus4","directContextA8SetterCount","nestedRunner","opcode20SignatureSummary","promotionStatus"]},{"path":"out/save_selector_opcode20_descriptor_scripts.json","fields":["script4SpecificGateBaseProven","script4GateWriterCount","script4GateReaderCount","allScriptsSpecificGateBaseProven","allScriptSelectionOpcodeCount","runtimeActiveOrderRequired"]},{"path":"out/save_selector_opcode20_sample_order_effects.json","fields":["sampleCount","currentFrontierSampleCovered","sampleFinalNonPointerContextA8BaseHistogram","promotionStatus"]},{"path":"out/save_selector_gate_pass_matrix.json","fields":["saveRuntimePassMatrix","saveRuntimePredecessorAllGatePassSampleCount","saveRuntimeZeroTableAllGatePassSampleCount","runtimeBaseProofRequired","predecessorPersistenceProofRequired","strictHotspotProofRequired","promotionStatus"]},{"path":"out/runtime_patched_selector_followup_context.json","fields":["activeOrderRuntimeEvidence","leftStabilityRuntimeEvidence","promotionStatus"]},{"path":"out/runtime_selected_pointer_predecessor_direction_sweep_active_order_poll.json","fields":["observedPublicSaveSelectors","rows","anyReachedCurrentRoot","anyReachedRouteSelectorContext","promotionStatus"]},{"path":"out/runtime_selected_pointer_predecessor_left_overrun_activation_active_order_poll.json","fields":["observedPublicSaveSelectors","rows","anyReachedCurrentRoot","anyReachedRouteSelectorContext","promotionStatus"]},{"path":"out/save_selector_gate_offset_sources.json","fields":["gateOffsetsHex","anyScriptLocalSelectionWriter","anyGlobalScriptSelectionWriter","controlPathGateStatus","controlPathProofStatus","proofFound","gateOffsetSourceProofFound","failedGateOffsetSourceGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_gate_offset_patterns.json","fields":["offsets","totalReaderCount","totalWriterCount","proofFound","gateOffsetPatternProofFound","failedGateOffsetPatternGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_gate_base_candidates.json","fields":["candidateCount","directRefCandidateCount","partySlotStatByteCandidateCount","runtimePointerModeStillRequired","proofFound","gateBaseCandidateProofFound","failedGateBaseCandidateGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_gate_sample_values.json","fields":["sampleCount","uniqueSelectorCount","currentFrontierSampleCovered","runtimePointerModeStillRequired","proofFound","gateSampleValueProofFound","failedGateSampleValueGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_selection_buffer_bases.json","fields":["knownStaticGateOffsetDirectRefCount","runtimePointerModeStillRequired","proofFound","selectionBufferBaseProofFound","failedSelectionBufferBaseGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_opcode20_object_base_candidates.json","fields":["candidateCount","contextF2ObjectSelectorCount","fieldMapRowsAfterCandidateCount","currentFrontierRowsAfterCandidateCount","gateSelectionRowsAfterCandidateCount","runtimeObjectPointerProofRequired","proofFound","opcode20ObjectBaseProofFound","failedOpcode20ObjectBaseGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_opcode20_order_space.json","fields":["descriptorRowCount","currentFrontierSampleCovered","activeOrderAlonePromotesRoute","runtimeDescriptorObjectStateRequired","proofFound","opcode20OrderSpaceProofFound","failedOpcode20OrderSpaceGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_opcode20_slot_sources.json","fields":["runtimeSlotCountRequired","runtimeSlotDescriptorPointersRequired","controlPathProofStatus","proofFound","opcode20SlotSourceProofFound","failedOpcode20SlotSourceGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_opcode20_slot_descriptor_writers.json","fields":["descriptorWriteCount","opcode20Mode0ScriptSource","runtimeActiveOrderRequired","controlPathProofStatus","proofFound","opcode20DescriptorWriterProofFound","failedOpcode20DescriptorWriterGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_opcode20_runtime_materializers.json","fields":["materializers","loadRebuildEvidence","currentRouteSameLowByteRowCount","descriptorScriptMutationRowCount","currentFrontierActiveOrderProven","opcode20SelfMutationPathEliminated","controlPathProofStatus","proofFound","opcode20RuntimeMaterializerProofFound","failedOpcode20RuntimeMaterializerGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_opcode20_context_f2_sources.json","fields":["referenceCount","readReferenceCount","writeReferenceCount","runtimeObjectTableReaderCount","specificRuntimeObjectPointerProven","runtimeObjectTableStateRequired","diagnosticRuntimeObjectTableEvidence","promotionStatus"]}],"evidenceRefCount":19,"relatedReports":["out/save_selector_gate_base_proof_gap.html","out/save_selector_gate_offset_sources.html","out/save_selector_gate_offset_patterns.html","out/save_selector_gate_base_candidates.html","out/save_selector_gate_sample_values.html","out/save_selector_selection_buffer_bases.html","out/save_selector_gate_pass_matrix.html","out/save_selector_opcode20_nested_base_modes.html","out/save_selector_opcode20_descriptor_scripts.html","out/save_selector_opcode20_object_base_candidates.html","out/save_selector_opcode20_order_space.html","out/save_selector_opcode20_slot_sources.html","out/save_selector_opcode20_slot_descriptor_writers.html","out/save_selector_opcode20_sample_order_effects.html","out/save_selector_opcode20_runtime_materializers.html","out/save_selector_opcode20_context_f2_sources.html"],"regenerateAndVerifyCommands":["python3 tools/summarize_opcode20_gate_base_external_proof_packet.py","python3 tools/verify_web_assets.py"],"remainingProofs":["prove opcode 0x20 runtime descriptor/base path before 0x005428c4; active order alone is insufficient","prove predecessor 1:0 state persistence into current 2:0","find strict map1_01a source hotspot or equivalent non-coordinate trigger"],"conclusion":"Opcode 0x20 gate-base proof remains blocked: active order and descriptor shape are diagnostic/static only until a route-path runtime base or equivalent proof is captured."}