#!/usr/bin/env python3
"""Consolidate the current confirmed-route blocker evidence."""
from __future__ import annotations

import argparse
import html
import json
from pathlib import Path
from typing import Any


ROOT = Path(__file__).resolve().parents[1]
OUT = ROOT / "out"
SOURCE = "map1_01a"
TARGET = "map2_02d"
WATCH_VALUE_ORDER = (
    "opcode24Mode1Source",
    "opcode24CurrentObjectIndex",
    "opcode24RuntimeFlag",
)


def load_json(path: Path, fallback: Any) -> Any:
    if not path.exists():
        return fallback
    return json.loads(path.read_text(encoding="utf-8"))


def optional_out_href(name: str) -> str | None:
    return name if (OUT / name).exists() else None


def compact_json(value: object) -> str:
    return json.dumps(value or {}, sort_keys=True, separators=(",", ":"))


def watch_value_summary(poll: dict) -> str:
    watch_values = poll.get("observedWatchValues") or {}
    parts = []
    for name in WATCH_VALUE_ORDER:
        values = watch_values.get(name) or []
        value_parts = [
            f"{row.get('valueHex')}x{row.get('count')}"
            for row in values
            if row.get("valueHex") is not None and row.get("count") is not None
        ]
        if value_parts:
            parts.append(f"{name}={','.join(value_parts)}")
    return "; ".join(parts) or "-"


def owner_pair_summary(pairs: list[dict] | None) -> str:
    parts = []
    for row in pairs or []:
        owner = row.get("owner")
        count = row.get("count")
        if owner is not None and count is not None:
            parts.append(f"{owner}:{count}")
    return ",".join(parts) or "-"


def find_route_queue_row(rows: list[dict]) -> dict:
    for row in rows:
        if row.get("source") == SOURCE and row.get("target") == TARGET:
            return row
    return {}


def find_completion_route_blocker(completion_audit: dict) -> dict:
    for row in completion_audit.get("confirmedRouteBlockers") or []:
        if row.get("source") == SOURCE and row.get("target") == TARGET:
            return row
    return {}


def summarize_exits(ranking: dict) -> dict:
    exits = ranking.get("exits") or []
    blocked_rows = []
    auto_rows = []
    for row in exits:
        target_rows = {
            target_row.get("target"): target_row
            for target_row in row.get("targets") or []
        }
        blocked_target = target_rows.get(TARGET) or {}
        coordinate = blocked_target.get("coordinateEvidence") or {}
        item = {
            "side": row.get("side"),
            "x": row.get("x"),
            "y": row.get("y"),
            "auto": row.get("autoTrigger"),
            "routeAssistOrder": (row.get("routeAssist") or {}).get("order"),
            "targetHintSide": (blocked_target.get("targetHint") or {}).get("side"),
            "reciprocalExit": blocked_target.get("reciprocalExit"),
            "coordinateStatus": coordinate.get("status"),
            "coordinateXyHitCount": coordinate.get("xyHitCount", coordinate.get("xyTotal")),
            "coordinateYxHitCount": coordinate.get("yxHitCount", coordinate.get("yxTotal")),
        }
        blocked_rows.append(item)
        if item["auto"]:
            auto_rows.append(item)
    return {
        "exitCount": ranking.get("exitCount"),
        "autoBlockedTargetExitCount": ranking.get("autoBlockedTargetExitCount"),
        "coordinatePromotableCount": ranking.get("coordinatePromotableCount"),
        "selectorOutgoingCandidateCount": ranking.get("selectorOutgoingCandidateCount"),
        "selectorOutgoingTargets": ranking.get("selectorOutgoingTargets") or [],
        "selectorOutgoingOnlyCount": ranking.get("selectorOutgoingOnlyCount"),
        "selectorOutgoingStrictBackedCount": ranking.get("selectorOutgoingStrictBackedCount"),
        "selectorOutgoingConfirmedBackedCount": ranking.get("selectorOutgoingConfirmedBackedCount"),
        "blockedTargetSelectorOccurrenceCount": ranking.get("blockedTargetSelectorOccurrenceCount"),
        "returnTargetSelectorOccurrenceCount": ranking.get("returnTargetSelectorOccurrenceCount"),
        "confirmedIncomingCount": ranking.get("confirmedIncomingCount"),
        "promotionStatus": ranking.get("promotionStatus"),
        "blockedTargetCandidates": blocked_rows,
        "autoBlockedTargetCandidates": auto_rows,
        "remainingProofs": ranking.get("remainingProofs") or [],
        "conclusion": ranking.get("conclusion"),
    }


def scene_adjacency_index_for(source: str, target: str, adjacency: dict | None) -> dict | None:
    if not adjacency:
        return None
    current = adjacency.get("currentPair") or {}
    if current.get("source") != source or current.get("target") != target:
        return None
    return {
        "selectorLeafCount": adjacency.get("selectorLeafCount"),
        "fieldMapReferenceCount": adjacency.get("fieldMapReferenceCount"),
        "adjacentOccurrenceCount": adjacency.get("adjacentOccurrenceCount"),
        "uniqueDirectedAdjacentPairCount": adjacency.get("uniqueDirectedAdjacentPairCount"),
        "strictEventEdgeCount": adjacency.get("strictEventEdgeCount"),
        "confirmedReviewEdgeCount": adjacency.get("confirmedReviewEdgeCount"),
        "adjacentPairsWithStrictEventCount": adjacency.get("adjacentPairsWithStrictEventCount"),
        "adjacentPairsWithConfirmedReviewCount": adjacency.get("adjacentPairsWithConfirmedReviewCount"),
        "adjacentPairsWithoutStrictOrConfirmedCount": adjacency.get("adjacentPairsWithoutStrictOrConfirmedCount"),
        "currentPairOccurrenceCount": adjacency.get("currentPairOccurrenceCount"),
        "currentPairStrictEventBacked": adjacency.get("currentPairStrictEventBacked"),
        "currentPairConfirmedReviewBacked": adjacency.get("currentPairConfirmedReviewBacked"),
        "currentPairSelectorAdjacencyOnly": adjacency.get("currentPairSelectorAdjacencyOnly"),
        "currentPairSelectors": current.get("selectors") or [],
        "currentPairLeafPointers": current.get("leafPointers") or [],
        "currentPairSourceRecords": current.get("sourceRecords") or [],
        "currentPairTargetRecords": current.get("targetRecords") or [],
        "promotionStatus": adjacency.get("promotionStatus"),
        "conclusion": adjacency.get("conclusion"),
    }


def current_writer_paths_for(source: str, target: str, rows: list[dict] | None) -> dict | None:
    if not rows:
        return None
    route_rows = [
        row for row in rows
        if source in (row.get("rootFieldMaps") or []) and target in (row.get("rootFieldMaps") or [])
    ]
    if not route_rows:
        return None
    evidence_refs = route_rows[0].get("evidenceRefs") or []
    selected_store_vas = []
    activation_store_vas = []
    for row in route_rows:
        for step in row.get("trace") or []:
            if step.get("opcodeHex") == "0x09" and "0x0059de30" in (step.get("meaning") or ""):
                va = step.get("vaHex")
                if va and va not in selected_store_vas:
                    selected_store_vas.append(va)
        for item in (row.get("activationContext") or {}).get("activators") or []:
            if item.get("kind") == "opcode09Mode0NextStream":
                va = item.get("vaHex")
                if va and va not in activation_store_vas:
                    activation_store_vas.append(va)
    return {
        "writerCount": len(route_rows),
        "writerVaHexes": [row.get("writerVaHex") for row in route_rows if row.get("writerVaHex")],
        "streamStartHexes": sorted({row.get("streamStartHex") for row in route_rows if row.get("streamStartHex")}),
        "rootHexes": sorted({row.get("rootHex") for row in route_rows if row.get("rootHex")}),
        "rootLabels": sorted({label for row in route_rows for label in row.get("rootLabels") or []}),
        "selectedPointerStoreVaHexes": selected_store_vas,
        "activationStoreVaHexes": activation_store_vas,
        "evidenceRefs": evidence_refs,
        "evidenceRefCount": len(evidence_refs),
        "proofFound": route_rows[0].get("proofFound"),
        "currentWriterPathProofFound": route_rows[0].get("currentWriterPathProofFound"),
        "failedCurrentWriterPathGateIds": route_rows[0].get("failedCurrentWriterPathGateIds") or [],
        "missingEvidence": route_rows[0].get("missingEvidence") or [],
        "remainingProofs": route_rows[0].get("remainingProofs") or [],
        "outOfRangeHelperMentioned": any(
            "out-of-range values" in (row.get("opcode10HelperRule") or "")
            or any(
                "out-of-range argument 0x20" in (context.get("meaning") or "")
                for context in (row.get("activationContext") or {}).get("contextRows") or []
            )
            for row in route_rows
        ),
        "currentInternalOnly": True,
        "promotionStatus": "blocked-current-internal-only",
    }


def build_matrix(
    route_queue: list[dict],
    exit_ranking: dict,
    hotspot_gap: dict,
    merge_gap: dict,
    real_savedata_gap: dict,
    runtime_trace_feasibility: dict,
    selected_pointer_usage: dict,
    completion_audit: dict,
    leaf_index_space: dict | None = None,
    leaf_table_global_context: dict | None = None,
    opcode2c_route_pair_context: dict | None = None,
    frontier_reader_branch_context: dict | None = None,
    frontier_payload_shape_context: dict | None = None,
    event_shape_scan: dict | None = None,
    scene_record_cluster_context: dict | None = None,
    scene_adjacency_index: dict | None = None,
    current_writer_paths: list[dict] | None = None,
    selected_root_execution_gap: dict | None = None,
    route_pair_entry_execution_gap: dict | None = None,
    runtime_save_path_context: dict | None = None,
    original_collision_route_audit: dict | None = None,
    edge_trigger_gap: dict | None = None,
    tile_hotspot_pattern_contrast: dict | None = None,
    strict_event_tile_signature_scan: dict | None = None,
    strict_target_link_gap: dict | None = None,
    strict_source_hotspot_context: dict | None = None,
    wrapper_execution_gap: dict | None = None,
    predecessor_fill_site_execution_context: dict | None = None,
    merge_runtime_context: dict | None = None,
    route_root_ref_context: dict | None = None,
    runtime_patched_selector_followup_context: dict | None = None,
    route_promotion_gate: dict | None = None,
) -> dict:
    queue_row = find_route_queue_row(route_queue)
    audit_blocker = find_completion_route_blocker(completion_audit)
    route_promotion_gate = route_promotion_gate or {}
    exit_summary = summarize_exits(exit_ranking)
    route_queue_missing = queue_row.get("missingEvidence") or []
    route_queue_non_promoting = queue_row.get("nonPromotingEvidence") or []
    scene_adjacency = queue_row.get("sceneAdjacencyIndex") or scene_adjacency_index_for(
        SOURCE, TARGET, scene_adjacency_index
    ) or {}
    current_writer_path_summary = queue_row.get("currentWriterPaths") or current_writer_paths_for(
        SOURCE, TARGET, current_writer_paths
    ) or {}
    selected_root_execution_gap = selected_root_execution_gap or {}
    route_pair_entry_execution_gap = (
        route_pair_entry_execution_gap or queue_row.get("routePairEntryExecutionGap") or {}
    )
    predecessor_fill_execution_order_gap = (
        queue_row.get("predecessorFillExecutionOrderGap") or {}
    )
    predecessor_fill_site_execution_context = (
        queue_row.get("predecessorFillSiteExecutionContext")
        or predecessor_fill_site_execution_context
        or {}
    )
    merge_runtime_context = queue_row.get("mergeRuntimeContext") or merge_runtime_context or {}
    merge_execution_gap = queue_row.get("mergeExecutionGap") or {}
    strict_source_hotspot_context = (
        strict_source_hotspot_context or queue_row.get("strictSourceHotspotContext") or {}
    )
    strict_target_link_gap = (
        strict_target_link_gap or queue_row.get("strictTargetLinkGap") or {}
    )
    strict_target_current_frontier = strict_target_link_gap.get("currentFrontierCluster") or {}
    strict_target_current_frontier_range = (
        strict_target_current_frontier.get("clusterRangeHex")
        or strict_target_link_gap.get("currentFrontierClusterRangeHex")
    )
    route_root_ref_context = queue_row.get("routeRootRefContext") or route_root_ref_context or {}
    edge_trigger_global_refs = (
        (edge_trigger_gap.get("globalTransitionReferenceEvidence") or {}).get("directReferences") or {}
    )
    edge_trigger_script_runner_context = edge_trigger_gap.get("scriptRunnerCallContextEvidence") or {}
    edge_trigger_selected_pointer_context = (
        edge_trigger_gap.get("selectedPointerImmediateContextEvidence") or {}
    )
    edge_trigger_direct_call_graph = edge_trigger_gap.get("directCallGraphEvidence") or {}
    edge_trigger_call_graph_sensitivity = edge_trigger_gap.get("directCallGraphDepthSensitivity") or {}
    selected_root_save_gate = selected_root_execution_gap.get("saveLoaderGate") or {}
    selected_root_static_gate = selected_root_execution_gap.get("staticReferenceGate") or {}
    selected_root_hook_gate = selected_root_execution_gap.get("hookPrerequisiteGate") or {}
    selected_root_opcode_gate = selected_root_execution_gap.get("opcodeSelectedPointerGate") or {}
    selected_root_runtime_gate = selected_root_execution_gap.get("runtimeProbeGate") or {}
    selected_root_diagnostic_gate = selected_root_execution_gap.get("diagnosticExclusionGate") or {}
    selected_root_rejection = selected_root_execution_gap.get("selectedRootExecutionRejection") or {}
    runtime_probe = runtime_trace_feasibility.get("executionProbe") or {}
    memory_snapshot = runtime_trace_feasibility.get("memorySnapshot") or {}
    memory_sample = memory_snapshot.get("memory") or {}
    memory_samples = {
        row.get("name"): row
        for row in memory_sample.get("samples") or []
    }
    input_probe = runtime_trace_feasibility.get("inputProbe") or {}
    key_sequence_probe = runtime_trace_feasibility.get("keySequenceProbe") or {}
    key_sequence_prelude_probe = runtime_trace_feasibility.get("keySequencePreludeProbe") or {}
    selected_pointer_poll = runtime_trace_feasibility.get("selectedPointerPoll") or {}
    selected_pointer_prelude_poll = runtime_trace_feasibility.get("selectedPointerPreludePoll") or {}
    selected_pointer_long_poll = runtime_trace_feasibility.get("selectedPointerLongPoll") or {}
    selected_pointer_late_poll = runtime_trace_feasibility.get("selectedPointerLatePoll") or {}
    route_watch_values_poll = runtime_trace_feasibility.get("routeWatchValuesPoll") or {}
    selected_pointer_savedata_load_poll = runtime_trace_feasibility.get("selectedPointerSavedataLoadPoll") or {}
    selected_pointer_multislot_savedata_load_poll = (
        runtime_trace_feasibility.get("selectedPointerMultislotSavedataLoadPoll") or {}
    )
    selected_pointer_multislot_savedata_load_case_alias_poll = (
        runtime_trace_feasibility.get("selectedPointerMultislotSavedataLoadCaseAliasPoll") or {}
    )
    selected_pointer_multislot_savedata_load_input_path_case_alias_poll = (
        runtime_trace_feasibility.get("selectedPointerMultislotSavedataLoadInputPathCaseAliasPoll") or {}
    )
    selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll = (
        runtime_trace_feasibility.get("selectedPointerSyntheticSelector20InputPathCaseAliasPoll") or {}
    )
    selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll = (
        runtime_trace_feasibility.get("selectedPointerPatchedPublicSelector20InputPathCaseAliasPoll") or {}
    )
    save_file_io_probe = runtime_trace_feasibility.get("saveFileIoProbe") or {}
    save_file_io_strace_probe = runtime_trace_feasibility.get("saveFileIoStraceProbe") or {}
    save_file_io_strace_attach_probe = runtime_trace_feasibility.get("saveFileIoStraceAttachProbe") or {}
    save_file_io_strace_attach_load_candidates_probe = (
        runtime_trace_feasibility.get("saveFileIoStraceAttachLoadCandidatesProbe") or {}
    )
    save_file_io_strace_attach_load_candidates_case_alias_probe = (
        runtime_trace_feasibility.get("saveFileIoStraceAttachLoadCandidatesCaseAliasProbe") or {}
    )
    edge_trigger_actor_caller_windows = edge_trigger_gap.get("actorControllerCallerWindowEvidence") or {}
    edge_trigger_collision_caller_windows = edge_trigger_gap.get("collisionHelperCallerWindowEvidence") or {}
    route_watch_values_summary = watch_value_summary(route_watch_values_poll)
    if route_watch_values_poll:
        selected_root_execution_gap = dict(selected_root_execution_gap)
        selected_root_runtime_gate = dict(selected_root_runtime_gate)
        selected_root_runtime_gate.update(
            {
                "routeWatchPollSequenceCount": route_watch_values_poll.get("sequenceCount"),
                "routeWatchPollSampleCount": route_watch_values_poll.get("sampleCount"),
                "routeWatchPollStartupWaitSeconds": route_watch_values_poll.get("startupWaitSeconds"),
                "routeWatchPollObservedSelectors": route_watch_values_poll.get("observedSelectors") or [],
                "routeWatchPollReachedCurrentRoot": route_watch_values_poll.get("anyReachedCurrentRoot"),
                "routeWatchPollReachedRouteSelectorContext": route_watch_values_poll.get(
                    "anyReachedRouteSelectorContext"
                ),
                "routeWatchValues": route_watch_values_summary,
            }
        )
        selected_root_execution_gap["runtimeProbeGate"] = selected_root_runtime_gate
    runtime_poll_reached_route = bool(
        selected_root_runtime_gate.get("anyRuntimePollReachedRouteSelector")
        or selected_root_runtime_gate.get("routeWatchPollReachedRouteSelectorContext")
    )
    runtime_trace_equivalent_rejection = {
        "classification": None,
        "proofFound": runtime_poll_reached_route,
        "runtimeTraceCanRunNow": runtime_trace_feasibility.get("canRunRuntimeTraceNow"),
        "runtimeTraceBlockerCount": len(runtime_trace_feasibility.get("blockers") or []),
        "runtimeTraceExecutionCanCaptureNow": runtime_probe.get("canCaptureTraceNow"),
        "runtimeTraceExecutionBlockerCount": len(runtime_probe.get("blockers") or []),
        "runtimeTraceSummaryBinfmtRegistered": (
            runtime_trace_feasibility.get("qemuI386Binfmt") or {}
        ).get("registered"),
        "runtimeTraceSummaryBinfmtEnabled": (
            runtime_trace_feasibility.get("qemuI386Binfmt") or {}
        ).get("enabled"),
        "runtimeTraceExecutionBinfmtRegistered": (
            runtime_probe.get("qemuI386Binfmt") or {}
        ).get("registered"),
        "selectedRootExecutionRefFound": selected_root_execution_gap.get(
            "selectedRootExecutionRefFound"
        ),
        "selectedRootRuntimeAnyPollRoute": selected_root_runtime_gate.get(
            "anyRuntimePollReachedRouteSelector"
        ),
        "selectedRootConstructedDiagnosticRoute": selected_root_runtime_gate.get(
            "constructedDiagnosticPollReachedRouteSelector"
        ),
        "selectedRootDiagnosticExcludedFromProof": selected_root_diagnostic_gate.get(
            "excludedFromSelectedRootExecutionProof"
        ),
        "routeWatchReachedRoute": selected_root_runtime_gate.get(
            "routeWatchPollReachedRouteSelectorContext"
        ),
    }
    if (
        runtime_trace_feasibility.get("canRunRuntimeTraceNow") is False
        and runtime_probe.get("canCaptureTraceNow") is False
        and runtime_poll_reached_route is False
        and selected_root_execution_gap.get("selectedRootExecutionRefFound") is False
        and selected_root_runtime_gate.get("anyRuntimePollReachedRouteSelector") is False
        and selected_root_runtime_gate.get("constructedDiagnosticPollReachedRouteSelector") is True
        and selected_root_diagnostic_gate.get("excludedFromSelectedRootExecutionProof") is True
    ):
        runtime_trace_equivalent_rejection[
            "classification"
        ] = "trace-unavailable-no-equivalent-selected-root-proof-diagnostic-excluded"
    runtime_save_path_context = runtime_save_path_context or {}
    wrapper_execution_gap = wrapper_execution_gap or {}
    edge_trigger_gap = edge_trigger_gap or {}
    tile_hotspot_pattern_contrast = tile_hotspot_pattern_contrast or {}
    strict_event_tile_signature_scan = strict_event_tile_signature_scan or {}
    runtime_patched_selector_followup_context = runtime_patched_selector_followup_context or {}
    patched_followup_runtime = runtime_patched_selector_followup_context.get("runtimePoll") or {}
    patched_followup_alias = runtime_patched_selector_followup_context.get("followupAlias") or {}
    patched_followup_state = runtime_patched_selector_followup_context.get("stateEffect") or {}
    patched_followup_bridge = runtime_patched_selector_followup_context.get("bridgeEvidence") or {}
    patched_followup_global = runtime_patched_selector_followup_context.get("globalSelectedPointerPathEvidence") or {}
    patched_followup_exact_contexts = runtime_patched_selector_followup_context.get("exactFollowupPointerContexts") or []
    patched_followup_exact = patched_followup_exact_contexts[0] if patched_followup_exact_contexts else {}
    patched_followup_active_order = runtime_patched_selector_followup_context.get("activeOrderRuntimeEvidence") or {}
    patched_followup_branch_state = runtime_patched_selector_followup_context.get("branchStateRuntimeEvidence") or {}
    patched_followup_exit_candidates = (
        runtime_patched_selector_followup_context.get("exitCandidateRuntimeEvidence") or {}
    )
    patched_followup_left_stability = (
        runtime_patched_selector_followup_context.get("leftStabilityRuntimeEvidence") or {}
    )
    runtime_save_path_summary = runtime_save_path_context.get("summary") or {}
    runtime_save_path_checks = runtime_save_path_context.get("apiChecks") or {}
    original_collision_route_audit = original_collision_route_audit or {}
    key_sequence_prelude_observed_selectors = []
    for sequence in key_sequence_prelude_probe.get("sequences") or []:
        for selector in sequence.get("uniqueSelectorContexts") or []:
            if selector not in key_sequence_prelude_observed_selectors:
                key_sequence_prelude_observed_selectors.append(selector)
    criteria = {
        row.get("id"): row
        for row in completion_audit.get("criteria") or []
    }
    normal_progression = criteria.get("normal-progression") or {}
    confirmed_route_blockers = completion_audit.get("confirmedRouteBlockers") or []
    wrapper_descriptor = queue_row.get("wrapperDescriptorContext") or {}
    scene_payload = queue_row.get("scenePayloadContext") or {}
    active_flag = queue_row.get("activeFlagEffect") or {}
    secondary_fill_roots = queue_row.get("secondaryFillRoots") or {}
    inherited_state = queue_row.get("inheritedStateCandidates") or {}
    secondary_global_reset = queue_row.get("secondaryGlobalResetGap") or {}
    current_state_sources = queue_row.get("currentStateSources") or {}
    predecessor_tail_reset = queue_row.get("predecessorTailReset") or {}
    branch_state_writers = queue_row.get("branchStateWriters") or {}
    branch_state_dispatch = queue_row.get("branchStateDispatch") or {}
    secondary_state_sources = queue_row.get("secondaryStateSources") or {}
    branch_state_opcode_overlap = queue_row.get("branchStateOpcodeOverlap") or {}
    event_object_branch_state = queue_row.get("eventObjectBranchState") or {}
    runtime_selector_byte_writes = queue_row.get("runtimeSelectorByteWrites") or {}
    predecessor_order = queue_row.get("predecessorRouteOrder") or {}
    address_predecessor = queue_row.get("addressPredecessorContext") or {}
    predecessor_bridge = queue_row.get("predecessorBridgeRefs") or {}
    branch_gate = queue_row.get("branchGateConsistency") or {}
    gate_offset_sources = queue_row.get("gateOffsetSources") or {}
    gate_offset_patterns = queue_row.get("gateOffsetPatterns") or {}
    gate_base_candidates = queue_row.get("gateBaseCandidates") or {}
    gate_base_proof = queue_row.get("gateBaseProofGap") or {}
    diagnostic_gate_base = gate_base_proof.get("diagnosticActiveOrderEvidence") or {}
    diagnostic_gate_recheck = gate_base_proof.get("diagnosticActiveOrderRecheckEvidence") or {}
    gate_sample_values = queue_row.get("gateSampleValues") or {}
    gate_pass_matrix = queue_row.get("gatePassMatrix") or {}
    selection_buffer_bases = queue_row.get("selectionBufferBases") or {}
    scene_list = queue_row.get("sceneListContext") or {}
    leaf_table = queue_row.get("leafTableContext") or {}
    leaf_index_full = leaf_index_space or {}
    leaf_index = queue_row.get("leafIndexSpace") or leaf_index_full
    leaf_global = leaf_table_global_context or {}
    route_pair_descriptor = queue_row.get("routePairDescriptorContext") or {}
    opcode2c_route_pair = opcode2c_route_pair_context or {}
    frontier_reader_branch = frontier_reader_branch_context or {}
    frontier_payload_shape = frontier_payload_shape_context or {}
    opcode24_payload = queue_row.get("opcode24PayloadTable") or {}
    opcode24_runtime_context = queue_row.get("opcode24Mode1RuntimeContext") or {}
    opcode24_runtime_enabled = queue_row.get("opcode24RuntimeEnabledContext") or {}
    opcode07 = queue_row.get("opcode07IndexedPointers") or {}
    object61 = queue_row.get("object61StreamOperands") or {}
    context58 = queue_row.get("context58Consumers") or {}
    current_root_paths = queue_row.get("currentRootFrontierPaths") or {}
    selected_watch_values = {
        row.get("name"): row
        for row in selected_pointer_usage.get("watchValues") or []
    }
    selected_hooks = selected_pointer_usage.get("runtimeTraceHookPoints") or []
    selected_hook_vas = [row.get("vaHex") for row in selected_hooks if row.get("vaHex")]
    opcode8_selected_read = next(
        (
            row.get("vaHex")
            for row in selected_hooks
            if row.get("access") == "read"
            and "opcode 8 reads selected-pointer" in (row.get("meaning") or "")
        ),
        None,
    )
    current_selector_root = selected_watch_values.get("current-selector-root-2:0") or {}
    current_second_level = selected_watch_values.get("current-second-level-table-2:0") or {}
    current_frontier_reader = selected_watch_values.get("current-frontier-reader-2:0") or {}
    current_source_record = selected_watch_values.get("current-source-record-map1_01a") or {}
    current_target_record = selected_watch_values.get("current-target-record-map2_02d") or {}
    external_handoff_url = (
        route_promotion_gate.get("externalProofHandoffUrl")
        or audit_blocker.get("routePromotionExternalProofHandoffUrl")
    )
    external_handoff_command = (
        route_promotion_gate.get("externalProofHandoffRegenerateCommand")
        or audit_blocker.get("routePromotionExternalProofHandoffRegenerateCommand")
    )
    external_handoff_package_ids = (
        route_promotion_gate.get("externalProofHandoffExpectedPackageIds")
        or audit_blocker.get("routePromotionExternalProofHandoffExpectedPackageIds")
        or []
    )
    event_shape_scan = event_shape_scan or {}
    all_event_shape_scan = event_shape_scan.get("allEventShapeScan") or {}
    scene_record_cluster_context = scene_record_cluster_context or {}
    evidence_rows = [
        {
            "area": "confirmed route",
            "status": "blocked",
            "evidence": (
                f"reachable={completion_audit.get('reachableFromStart')}; "
                f"blockers={len(confirmed_route_blockers)}; "
                f"missing={','.join(route_queue_missing) or '-'}; "
                f"nonPromoting={','.join(route_queue_non_promoting) or '-'}"
            ),
            "promotionImpact": "normal route still stops at map1_01a",
        },
        {
            "area": "geometry exits",
            "status": "trial-only",
            "evidence": (
                f"{exit_summary['exitCount']} exits, "
                f"{exit_summary['autoBlockedTargetExitCount']} auto candidates, "
                f"coordinate-promotable={exit_summary['coordinatePromotableCount']}"
            ),
            "promotionImpact": "useful for routeAssist testing, not a normal transition proof",
        },
        {
            "area": "original collision flags",
            "status": original_collision_route_audit.get("promotionStatus") or "not-generated",
            "evidence": (
                f"collisionMode={original_collision_route_audit.get('collisionMode')}; "
                f"sourceOriginalStandable={original_collision_route_audit.get('sourceOriginalStandableCandidateCount')}/"
                f"{original_collision_route_audit.get('routeCandidateCount')}; "
                f"targetSpawnsOriginalStandable={original_collision_route_audit.get('targetOriginalStandableSpawnCount')}/"
                f"{original_collision_route_audit.get('routeCandidateCount')}; "
                f"proofFound={original_collision_route_audit.get('proofFound')}; "
                "failedGates="
                f"{','.join(original_collision_route_audit.get('failedOriginalCollisionRouteGateIds') or []) or '-'}; "
                f"missingEvidence={len(original_collision_route_audit.get('missingEvidence') or [])}; "
                f"evidenceRefs={original_collision_route_audit.get('evidenceRefCount')}; "
                f"promotionAllowed={original_collision_route_audit.get('promotionAllowed')}"
            ),
            "promotionImpact": "layer1 collision flags improve routeAssist review confidence but do not provide a source hotspot or execution proof",
        },
        {
            "area": "generic edge trigger",
            "status": edge_trigger_gap.get("promotionStatus") or "not-generated",
            "evidence": (
                f"sourceBoundaryCandidates={edge_trigger_gap.get('sourceBoundaryCandidateCount')}; "
                f"autoBoundaryCandidates={edge_trigger_gap.get('autoBoundaryCandidateCount')}; "
                "boundarySnippets="
                f"{(edge_trigger_gap.get('collisionHelperEvidence') or {}).get('allBoundarySnippetsMatchExpected')}; "
                "fallToOverlap="
                f"{(edge_trigger_gap.get('collisionHelperEvidence') or {}).get('allBoundaryCasesFallThroughToActorOverlapLoop')}; "
                "helperCalls="
                f"{(edge_trigger_gap.get('actorControllerEvidence') or {}).get('collisionHelperCallCount')}; "
                f"transitionRelHits={edge_trigger_gap.get('transitionLikeDirectRelHitCountInHelperOrController')}; "
                f"routeImmediateHits={edge_trigger_gap.get('directRouteImmediateCountInHelperOrController')}; "
                "globalRelHits="
                f"{edge_trigger_global_refs.get('mapLoaderDirectRelHitCount')}/"
                f"{edge_trigger_global_refs.get('scriptRunnerDirectRelHitCount')}/"
                f"{edge_trigger_global_refs.get('selectorTableDirectRelHitCount')}; "
                "globalRouteImms="
                f"{edge_trigger_global_refs.get('selectedPointerGlobalImmediateCount')}/"
                f"{edge_trigger_global_refs.get('currentSelectorRootImmediateCount')}/"
                f"{edge_trigger_global_refs.get('sourceMapStringImmediateCount')}/"
                f"{edge_trigger_global_refs.get('targetMapStringImmediateCount')}; "
                "scriptRunnerWindows="
                f"{edge_trigger_script_runner_context.get('callerCount')}/"
                f"{edge_trigger_script_runner_context.get('routeImmediateWindowHitCount')}/"
                f"{edge_trigger_script_runner_context.get('mapLoaderWindowRelHitCount')}/"
                f"{edge_trigger_script_runner_context.get('selectorTableWindowRelHitCount')}; "
                "selectedPointerWindows="
                f"{edge_trigger_selected_pointer_context.get('immediateRefCount')}/"
                f"{edge_trigger_selected_pointer_context.get('routeSpecificWindowHitCount')}; "
                f"latchRefs={(edge_trigger_gap.get('directionLatchReferenceEvidence') or {}).get('directRefCount')}; "
                f"latchWindowHits={(edge_trigger_gap.get('directionLatchReferenceEvidence') or {}).get('transitionLikeWindowRelHitCount')}/"
                f"{(edge_trigger_gap.get('directionLatchReferenceEvidence') or {}).get('routeImmediateWindowHitCount')}; "
                "callerWindows="
                f"{edge_trigger_actor_caller_windows.get('callerCount')}/"
                f"{edge_trigger_actor_caller_windows.get('transitionLikeWindowRelHitCount')}/"
                f"{edge_trigger_actor_caller_windows.get('routeImmediateWindowHitCount')};"
                f"{edge_trigger_collision_caller_windows.get('callerCount')}/"
                f"{edge_trigger_collision_caller_windows.get('transitionLikeWindowRelHitCount')}/"
                f"{edge_trigger_collision_caller_windows.get('routeImmediateWindowHitCount')}; "
                "callGraph="
                f"{edge_trigger_direct_call_graph.get('classification')}/"
                f"{edge_trigger_direct_call_graph.get('reachableFunctionCount')}/"
                f"{edge_trigger_direct_call_graph.get('directCallEdgeCount')}/"
                f"{edge_trigger_direct_call_graph.get('transitionTargetReachableCount')}/"
                f"{edge_trigger_direct_call_graph.get('transitionTargetHitCount')}/"
                f"{edge_trigger_direct_call_graph.get('routeImmediateHitCount')}/"
                f"{edge_trigger_direct_call_graph.get('indirectCallLikeByteCount')}; "
                "callGraphSensitivity="
                f"{edge_trigger_call_graph_sensitivity.get('maxDepthChecked')}/"
                f"{edge_trigger_call_graph_sensitivity.get('proofAbsentAcrossCheckedDepths')}/"
                f"{edge_trigger_call_graph_sensitivity.get('countsStableAtAndBeyondDefaultDepth')}; "
                "indirectGraph="
                f"{edge_trigger_direct_call_graph.get('indirectCallGraphRejectionClassification')}/"
                f"{edge_trigger_direct_call_graph.get('indirectCallGraphIndexedJumpTableCandidateCount')}/"
                f"{edge_trigger_direct_call_graph.get('indirectCallGraphIndexedJumpTableEntryCount')}/"
                f"{edge_trigger_direct_call_graph.get('indirectCallGraphTransitionTargetHitCount')}/"
                f"{edge_trigger_direct_call_graph.get('indirectCallGraphRouteImmediateHitCount')}"
            ),
            "promotionImpact": "map-edge candidates still need a transition dispatch or runtime watchpoint proof",
        },
        {
            "area": "strict hotspot",
            "status": "missing",
            "evidence": (
                f"strictHotspotFound={hotspot_gap.get('strictHotspotFound')}; "
                f"eventTransitions={hotspot_gap.get('eventTransitionCount')}; "
                f"eventShapeSource={event_shape_scan.get('sourceEventShapeRecordCount')}; "
                f"eventShapeTarget={event_shape_scan.get('targetEventShapeRecordCount')}; "
                f"relaxedSmallEvents={all_event_shape_scan.get('relaxedNonStrictSmallEventRecordCount')}; "
                f"relaxedSourceTarget={all_event_shape_scan.get('relaxedRowsTouchingSourceOrTargetCount')}; "
                f"manifestPromotableSourcePoints={hotspot_gap.get('manifestPointPromotableSourceCount')}; "
                f"scenePayloadPromotions={scene_payload.get('promotionPayloadCount')}; "
                f"scenePayloadTextRefs={scene_payload.get('rangeTextRefCount')}; "
                f"sceneListProofFound={scene_list.get('proofFound')}; "
                "sceneListFailedGates="
                f"{','.join(scene_list.get('failedSceneListGateIds') or []) or '-'}; "
                f"sceneListMissingEvidenceCount={len(scene_list.get('missingEvidence') or [])}; "
                f"sceneRecordSourceRows={scene_record_cluster_context.get('sourceSceneRecordCount')}; "
                f"sourceOutgoingStrict={scene_record_cluster_context.get('sourceStrictOutgoingClusterCount')}; "
                f"targetSelectorOnly={scene_record_cluster_context.get('targetSelectorOnlyClusterCount')}; "
                f"sharedStrict={scene_record_cluster_context.get('sourceTargetSharedStrictClusterCount')}; "
                f"tileHotspotConfirmed={tile_hotspot_pattern_contrast.get('tileHotspotConfirmed')}; "
                f"tileCurrentReviews={tile_hotspot_pattern_contrast.get('currentStrictTransitionReviewCount')}; "
                f"tileSourceStandable={tile_hotspot_pattern_contrast.get('currentOriginalStandableCandidateCount')}/"
                f"{tile_hotspot_pattern_contrast.get('currentCandidateCount')}; "
                f"tileTargetSpawns={tile_hotspot_pattern_contrast.get('currentTargetSpawnOriginalStandableCount')}/"
                f"{tile_hotspot_pattern_contrast.get('currentCandidateCount')}; "
                f"tileLowNibbleMatches={tile_hotspot_pattern_contrast.get('currentCandidatesMatchingConfirmedLowNibbleCount')}/"
                f"{tile_hotspot_pattern_contrast.get('currentCandidateCount')}; "
                f"tileCenterPairMatches={tile_hotspot_pattern_contrast.get('currentCandidatesMatchingConfirmedCenterPairCount')}/"
                f"{tile_hotspot_pattern_contrast.get('currentCandidateCount')}; "
                f"tileLow3x3Matches={tile_hotspot_pattern_contrast.get('currentCandidatesMatchingConfirmedLow3x3Count')}/"
                f"{tile_hotspot_pattern_contrast.get('currentCandidateCount')}; "
                f"tilePair3x3Matches={tile_hotspot_pattern_contrast.get('currentCandidatesMatchingConfirmedPair3x3Count')}/"
                f"{tile_hotspot_pattern_contrast.get('currentCandidateCount')}; "
                f"strictEventTileSignatures={strict_event_tile_signature_scan.get('strictEventRecordCount')}/"
                f"{strict_event_tile_signature_scan.get('strictEventPointCount')}; "
                f"strictEventTileTargetLinked={strict_event_tile_signature_scan.get('targetLinkedStrictEventRecordCount')}; "
                f"strictEventTileDirect={strict_event_tile_signature_scan.get('directSourceTargetStrictEventRecordCount')}; "
                f"strictEventTileMatches=center:{strict_event_tile_signature_scan.get('candidatesWithCenterPairMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('candidateCount')},"
                f"low3x3:{strict_event_tile_signature_scan.get('candidatesWithLow3x3MatchCount')}/"
                f"{strict_event_tile_signature_scan.get('candidateCount')},"
                f"pair3x3:{strict_event_tile_signature_scan.get('candidatesWithPair3x3MatchCount')}/"
                f"{strict_event_tile_signature_scan.get('candidateCount')}; "
                f"strictEventTileCenterPairs={strict_event_tile_signature_scan.get('centerPairMatchCount')}; "
                "strictEventTileCenterOwners="
                f"{owner_pair_summary(strict_event_tile_signature_scan.get('centerPairOwnerPairs'))}; "
                "strictEventTileCenterSame/Target/Confirmed/Rejected="
                f"{strict_event_tile_signature_scan.get('centerPairSameSourceMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('centerPairTargetLinkedMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('centerPairConfirmedReviewMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('centerPairRejectedReviewMatchCount')}; "
                "strictEventTileAllCenterRejected="
                f"{strict_event_tile_signature_scan.get('allCenterPairMatchesRejectedReview')}; "
                "strictEventTileTargetSpawnSig="
                f"points:{strict_event_tile_signature_scan.get('targetSpawnTargetMapStrictEventPointCount')},"
                f"candidates:{strict_event_tile_signature_scan.get('candidatesWithTargetSpawnCenterPairMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('candidatesWithTargetSpawnLow3x3MatchCount')}/"
                f"{strict_event_tile_signature_scan.get('candidatesWithTargetSpawnPair3x3MatchCount')},"
                f"matches:{strict_event_tile_signature_scan.get('targetSpawnCenterPairStrictEventMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('targetSpawnLow3x3StrictEventMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('targetSpawnPair3x3StrictEventMatchCount')},"
                f"targetMap:{strict_event_tile_signature_scan.get('targetSpawnCenterPairTargetMapMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('targetSpawnLow3x3TargetMapMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('targetSpawnPair3x3TargetMapMatchCount')},"
                "low3x3Owners="
                f"{owner_pair_summary(strict_event_tile_signature_scan.get('targetSpawnLow3x3OwnerPairs'))},"
                "low3x3Target/Confirmed/Rejected="
                f"{strict_event_tile_signature_scan.get('targetSpawnLow3x3TargetLinkedMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('targetSpawnLow3x3ConfirmedReviewMatchCount')}/"
                f"{strict_event_tile_signature_scan.get('targetSpawnLow3x3RejectedReviewMatchCount')},"
                "low3x3GenericOnly="
                f"{strict_event_tile_signature_scan.get('targetSpawnLow3x3GenericOnly')},"
                f"zero:{strict_event_tile_signature_scan.get('allTargetSpawnCenterPairMatchesZero')}/"
                f"{strict_event_tile_signature_scan.get('allTargetSpawnPair3x3MatchesZero')}/"
                f"{strict_event_tile_signature_scan.get('allTargetSpawnTargetMapStrictEventsZero')}; "
                f"strictEventTilePromotes={strict_event_tile_signature_scan.get('tileSignaturePromotes')}"
            ),
            "promotionImpact": "cannot promote map1_01a -> map2_02d without a source trigger",
        },
        {
            "area": "strict source hotspot context",
            "status": "blocked-selector-only",
            "evidence": (
                f"candidates={strict_source_hotspot_context.get('candidateCount')}; "
                f"evidenceRefs={strict_source_hotspot_context.get('evidenceRefCount')}; "
                f"candidateAllBlocked={strict_source_hotspot_context.get('candidateAllBlocked')}; "
                f"candidateBlocks={compact_json(strict_source_hotspot_context.get('candidateBlockReasonCounts'))}; "
                f"reviews={strict_source_hotspot_context.get('transitionReviewRowCount')}; "
                f"events={strict_source_hotspot_context.get('eventTransitionCount')}; "
                f"strict={strict_source_hotspot_context.get('strictSourceCoordinateFound')}/"
                f"{strict_source_hotspot_context.get('tileHotspotConfirmed')}; "
                f"coordBlocked={strict_source_hotspot_context.get('allCoordinateRefsNonPromotable')}; "
                f"variantBlocked={strict_source_hotspot_context.get('allVariantScansNonPromotable')}; "
                "targetSpawnCoord="
                f"{strict_source_hotspot_context.get('targetSpawnCoordinateScanCount')}/"
                f"{strict_source_hotspot_context.get('targetSpawnCoordinateCurrentRootHitCount')}/"
                f"{strict_source_hotspot_context.get('targetSpawnCoordinateCharacterDescriptorHitCount')}/"
                f"{strict_source_hotspot_context.get('targetSpawnCoordinatePromotableHitCount')}/"
                f"{strict_source_hotspot_context.get('targetSpawnCoordinateAllInterestingHitsNonPromotable')}; "
                "targetSpawnClasses="
                f"{compact_json(strict_source_hotspot_context.get('targetSpawnCoordinateCurrentRootClassificationCounts'))}/"
                f"{compact_json(strict_source_hotspot_context.get('targetSpawnCoordinateCharacterDescriptorClassificationCounts'))}; "
                f"cnsPayload={strict_source_hotspot_context.get('cnsPayloadBytePairScanCount')}/"
                f"{strict_source_hotspot_context.get('cnsPayloadSequenceHitCount')}/"
                f"{strict_source_hotspot_context.get('cnsPayloadHeaderHitCount')}/"
                f"{strict_source_hotspot_context.get('cnsPayloadLayerHitCount')}/"
                f"{strict_source_hotspot_context.get('cnsPayloadOutsideStructuredHitCount')}/"
                f"{strict_source_hotspot_context.get('strictCnsCoordinateEvidenceFound')}; "
                f"centerMatches={strict_source_hotspot_context.get('centerPairStrictEventMatchCount')}; "
                "centerOwners="
                f"{strict_source_hotspot_context.get('centerPairOwnerText') or owner_pair_summary(strict_source_hotspot_context.get('centerPairOwnerPairs'))}; "
                "centerSame/Target/Confirmed/Rejected="
                f"{strict_source_hotspot_context.get('centerPairSameSourceMatchCount')}/"
                f"{strict_source_hotspot_context.get('centerPairTargetLinkedMatchCount')}/"
                f"{strict_source_hotspot_context.get('centerPairConfirmedReviewMatchCount')}/"
                f"{strict_source_hotspot_context.get('centerPairRejectedReviewMatchCount')}; "
                "allCenterRejected="
                f"{strict_source_hotspot_context.get('allCenterPairMatchesRejectedReview')}; "
                f"low3x3={strict_source_hotspot_context.get('low3x3StrictEventMatchCount')}; "
                f"pair3x3={strict_source_hotspot_context.get('pair3x3StrictEventMatchCount')}; "
                "targetSpawnSig="
                f"points:{strict_source_hotspot_context.get('targetSpawnTargetMapStrictEventPointCount')},"
                f"matches:{strict_source_hotspot_context.get('targetSpawnCenterPairStrictEventMatchCount')}/"
                f"{strict_source_hotspot_context.get('targetSpawnLow3x3StrictEventMatchCount')}/"
                f"{strict_source_hotspot_context.get('targetSpawnPair3x3StrictEventMatchCount')},"
                f"targetMap:{strict_source_hotspot_context.get('targetSpawnCenterPairTargetMapMatchCount')}/"
                f"{strict_source_hotspot_context.get('targetSpawnLow3x3TargetMapMatchCount')}/"
                f"{strict_source_hotspot_context.get('targetSpawnPair3x3TargetMapMatchCount')},"
                "low3x3Owners="
                f"{owner_pair_summary(strict_source_hotspot_context.get('targetSpawnLow3x3OwnerPairs'))},"
                "low3x3Target/Confirmed/Rejected="
                f"{strict_source_hotspot_context.get('targetSpawnLow3x3TargetLinkedMatchCount')}/"
                f"{strict_source_hotspot_context.get('targetSpawnLow3x3ConfirmedReviewMatchCount')}/"
                f"{strict_source_hotspot_context.get('targetSpawnLow3x3RejectedReviewMatchCount')},"
                "low3x3GenericOnly="
                f"{strict_source_hotspot_context.get('targetSpawnLow3x3GenericOnly')},"
                f"zero:{strict_source_hotspot_context.get('allTargetSpawnCenterPairMatchesZero')}/"
                f"{strict_source_hotspot_context.get('allTargetSpawnPair3x3MatchesZero')}/"
                f"{strict_source_hotspot_context.get('allTargetSpawnTargetMapStrictEventsZero')}; "
                f"targetLinked={strict_source_hotspot_context.get('targetLinkedStrictEventMatchCount')}; "
                f"direct={strict_source_hotspot_context.get('directSourceTargetStrictEventMatchCount')}; "
                f"resourcePoints={strict_source_hotspot_context.get('resourcePointCandidateCount')}; "
                f"routeExitPoints={strict_source_hotspot_context.get('routeExitPointCandidateCount')}; "
                f"branch={strict_source_hotspot_context.get('readerBranchClassification')}; "
                "selectorOverlap="
                f"{strict_source_hotspot_context.get('targetSelectorOnlySourceOverlapCount')}/"
                f"{strict_source_hotspot_context.get('targetSelectorOnlySourceTargetRoutePairClusterCount')}; "
                "frontierBreadth="
                f"{strict_source_hotspot_context.get('currentFrontierManifestMapCount')}/"
                f"{strict_source_hotspot_context.get('currentFrontierRoutePairCount')}/"
                f"{strict_source_hotspot_context.get('currentFrontierSourceOutgoingRoutePairCount')}/"
                f"{strict_source_hotspot_context.get('currentFrontierTargetIncomingRoutePairCount')}; "
                "edgeTrigger="
                f"{strict_source_hotspot_context.get('edgeTriggerSourceBoundaryCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerAutoBoundaryCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerTransitionLikeDirectRelHitCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerRouteImmediateHitCount')}; "
                "edgeLatchWindow="
                f"{strict_source_hotspot_context.get('edgeTriggerDirectionLatchTextRefCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerDirectionLatchRouteWindowRelHitCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerDirectionLatchRouteWindowImmediateHitCount')}; "
                "edgeGlobal="
                f"{strict_source_hotspot_context.get('edgeTriggerGlobalMapLoaderRelHitCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerGlobalScriptRunnerRelHitCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerGlobalSelectorTableRelHitCount')}; "
                "edgeScriptRunnerWindows="
                f"{strict_source_hotspot_context.get('edgeTriggerScriptRunnerCallerCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerScriptRunnerRouteWindowImmediateHitCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerScriptRunnerMapLoaderWindowRelHitCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerScriptRunnerSelectorTableWindowRelHitCount')}; "
                "edgeSelectedPointerWindows="
                f"{strict_source_hotspot_context.get('edgeTriggerSelectedPointerImmediateRefCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerSelectedPointerRouteSpecificWindowHitCount')}; "
                "edgeEncoded="
                f"{strict_source_hotspot_context.get('edgeTriggerHandlerEncodedTargetRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerHandlerEncodedTargetTransitionRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerHandlerEncodedTargetRouteProofRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerHandlerEncodedTargetSelectedPointerRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerHandlerEncodedTargetPromotingCandidateCount')};"
                f"{strict_source_hotspot_context.get('edgeTriggerLocalWindowEncodedTargetRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerLocalWindowEncodedTargetTransitionRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerLocalWindowEncodedTargetRouteProofRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerLocalWindowEncodedTargetSelectedPointerRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerLocalWindowEncodedTargetPromotingCandidateCount')};"
                f"{strict_source_hotspot_context.get('edgeTriggerCallGraphEncodedTargetRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerCallGraphEncodedTargetTransitionRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerCallGraphEncodedTargetRouteProofRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerCallGraphEncodedTargetSelectedPointerRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerCallGraphEncodedTargetPromotingCandidateCount')};"
                f"{strict_source_hotspot_context.get('edgeTriggerGlobalContrastEncodedTargetRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerGlobalContrastEncodedTargetTransitionRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerGlobalContrastEncodedTargetRouteProofRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerGlobalContrastEncodedTargetSelectedPointerRawScalarCandidateCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerGlobalContrastEncodedTargetPromotingCandidateCount')}; "
                "edgeEncodedClass="
                f"{strict_source_hotspot_context.get('edgeTriggerHandlerEncodedTargetClassification')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerLocalWindowEncodedTargetClassification')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerCallGraphEncodedTargetClassification')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerGlobalContrastEncodedTargetClassification')}; "
                "edgeCallerWindows="
                f"{strict_source_hotspot_context.get('edgeTriggerActorControllerCallerCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerActorControllerCallerRouteWindowRelHitCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerActorControllerCallerRouteWindowImmediateHitCount')};"
                f"{strict_source_hotspot_context.get('edgeTriggerCollisionHelperCallerCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerCollisionHelperCallerRouteWindowRelHitCount')}/"
                f"{strict_source_hotspot_context.get('edgeTriggerCollisionHelperCallerRouteWindowImmediateHitCount')}; "
                f"edgeStatus={strict_source_hotspot_context.get('edgeTriggerPromotionStatus')}; "
                f"selectorOnly={strict_source_hotspot_context.get('currentPairSelectorAdjacencyOnly')}; "
                f"proof={strict_source_hotspot_context.get('strictSourceHotspotProofFound')}; "
                f"reject={strict_source_hotspot_context.get('strictHotspotRejectionClassification')}; "
                f"status={strict_source_hotspot_context.get('promotionStatus')}"
            ),
            "promotionImpact": "selector adjacency and center-tile similarity remain diagnostic without a strict source trigger",
        },
        {
            "area": "strict target link gap",
            "status": strict_target_link_gap.get("promotionStatus", "blocked"),
            "evidence": (
                f"directStrict={strict_target_link_gap.get('directStrictEventTransitionCount')}; "
                f"sourceStrict={strict_target_link_gap.get('sourceStrictClusterCount')}; "
                f"incomingOnly={strict_target_link_gap.get('sourceIncomingOnlyStrictClusterCount')}; "
                f"outgoing={strict_target_link_gap.get('sourceOutgoingStrictClusterCount')}; "
                f"targetStrict={strict_target_link_gap.get('targetStrictClusterCount')}; "
                f"targetSelectorOnly={strict_target_link_gap.get('targetSelectorOnlyClusterCount')}; "
                f"frontier={strict_target_current_frontier_range}; "
                f"selectorOnly={strict_target_link_gap.get('currentFrontierClusterIsSelectorOnly')}; "
                f"strictLink={strict_target_link_gap.get('strictTargetLinkFound')}; "
                f"proofFound={strict_target_link_gap.get('proofFound')}; "
                "failedGates="
                f"{','.join(strict_target_link_gap.get('failedStrictTargetLinkGateIds') or []) or '-'}; "
                f"missingEvidenceCount={len(strict_target_link_gap.get('missingEvidence') or [])}; "
                f"evidenceRefs={strict_target_link_gap.get('evidenceRefCount')}"
            ),
            "promotionImpact": "adjacent selector clusters remain non-promoting without a strict source-to-target event link",
        },
        {
            "area": "selector merge",
            "status": "open",
            "evidence": (
                f"{merge_gap.get('sourceSelector')} source-only, "
                f"{merge_gap.get('targetSelector')} target-only, "
                f"{merge_gap.get('currentSelector')} contains route pair; "
                f"source/current bridges={merge_gap.get('sourceToCurrentBridgeHitCount')}/"
                f"{merge_gap.get('currentToSourceBridgeHitCount')}; "
                f"target forward bridge={merge_gap.get('targetToCurrentBridgeHitCount')}; "
                "aliasPublicForward="
                f"{','.join(merge_execution_gap.get('targetAliasPublicCoveredForwardHitSelectors') or []) or '-'}; "
                "aliasAddressForward="
                f"{','.join(merge_execution_gap.get('targetAliasAddressAdjacentForwardHitSelectors') or []) or '-'}; "
                "aliasCoverage="
                f"{merge_execution_gap.get('targetAliasPublicForwardHitCoverageStatus')}; "
                "aliasExclusion="
                f"{merge_execution_gap.get('targetAliasExecutionExclusionStatus')}; "
                f"frontierDirect={wrapper_descriptor.get('frontierLeafDirectCurrentRootRef')}; "
                f"rootRefsWrapper={wrapper_descriptor.get('currentRootReferencesWrapper')}; "
                f"entryRootRefs={wrapper_descriptor.get('wrapperEntryCurrentRootRangeRefCount')}; "
                f"entryPromotes={wrapper_descriptor.get('wrapperEntryPromotingRefCount')}; "
                f"routePairReaderHits={route_pair_descriptor.get('currentRoutePairTraceReachesReaderCount')}; "
                f"opcode2cCorrectedReaderHits={opcode2c_route_pair.get('correctedTraceReachesReaderCount')}/"
                f"{opcode2c_route_pair.get('routePairDescriptorCount')}; "
                f"routePairGeoHits={route_pair_descriptor.get('currentRoutePairGeometryExitHitCount')}; "
                f"readerNegative={route_pair_descriptor.get('readerBearingNegativeEntryCount')}; "
                f"routePairProofFound={route_pair_descriptor.get('proofFound')}; "
                f"opcode2cProofFound={opcode2c_route_pair.get('proofFound')}"
            ),
            "promotionImpact": "selector 2:0 looks like a merge state, not proven execution order",
        },
        {
            "area": "selector merge runtime context",
            "status": "blocked-shape-only",
            "evidence": (
                f"shapeOnly={merge_runtime_context.get('mergeShapeOnly')}; "
                f"forwardBridgeAbsent={merge_runtime_context.get('forwardBridgeAbsent')}; "
                f"encodedRaw={merge_runtime_context.get('forwardEncodedAnchorRawScalarCandidateCount')}; "
                f"encodedPromoting={merge_runtime_context.get('forwardEncodedAnchorPromotingCandidateCount')}; "
                f"encodedMerge={merge_runtime_context.get('encodedMergeExecutionBridgeFound')}; "
                "aliasPublicForward="
                f"{','.join(merge_runtime_context.get('targetAliasPublicCoveredForwardHitSelectors') or []) or '-'}; "
                "aliasAddressForward="
                f"{','.join(merge_runtime_context.get('targetAliasAddressAdjacentForwardHitSelectors') or []) or '-'}; "
                "aliasCoverage="
                f"{merge_runtime_context.get('targetAliasPublicForwardHitCoverageStatus')}; "
                "aliasExclusion="
                f"{merge_runtime_context.get('targetAliasExecutionExclusionStatus')}; "
                f"reverseBeforeFillOnly={merge_runtime_context.get('reverseReuseBeforeFillOnly')}; "
                f"selectedRootRef={merge_runtime_context.get('selectedRootExecutionRefFound')}; "
                f"anyPollRoute={merge_runtime_context.get('anyRuntimePollReachedRouteSelector')}; "
                f"diagRoute={merge_runtime_context.get('constructedDiagnosticPollReachedRouteSelector')}; "
                f"diagExcluded={merge_runtime_context.get('constructedDiagnosticExcludedFromProof')}; "
                f"predFillContext={merge_runtime_context.get('predecessorFillSiteExecutionContextProven')}; "
                f"predFillSamples={merge_runtime_context.get('predecessorBranchStatePollSampleCount')}; "
                f"predFillMatches={merge_runtime_context.get('predecessorBranchStatePollFillMatchCount')}; "
                f"routePairEntryExec={merge_runtime_context.get('routePairEntryExecutionProven')}; "
                f"strict={merge_runtime_context.get('strictSourceCoordinateFound')}/"
                f"{merge_runtime_context.get('tileHotspotConfirmed')}; "
                f"runtimeProof={merge_runtime_context.get('selectorMergeRuntimeProofFound')}; "
                f"status={merge_runtime_context.get('promotionStatus')}"
            ),
            "promotionImpact": "merge-shaped selector evidence remains non-promoting until it has runtime/control-flow proof",
        },
        {
            "area": "selector root refs",
            "status": "table-only-no-execution",
            "evidence": (
                f"tableOnly={route_root_ref_context.get('allRouteSelectorRootsTableOnly')}; "
                f"textRefs={route_root_ref_context.get('anyRouteSelectorRootTextRefs')}; "
                f"splitPrev={route_root_ref_context.get('sourceTargetSplitAcrossPreviousSelectors')}; "
                f"currentPair={route_root_ref_context.get('currentSelectorContainsRoutePair')}; "
                f"predToCurrent={route_root_ref_context.get('predecessorToCurrentRootRefFound')}; "
                f"routeOrder={route_root_ref_context.get('routeOrderProven')}; "
                f"proofFound={route_root_ref_context.get('proofFound')}; "
                "failedGates="
                f"{','.join(route_root_ref_context.get('failedRouteRootRefGateIds') or []) or '-'}; "
                f"missingEvidenceCount={len(route_root_ref_context.get('missingEvidence') or [])}; "
                f"status={route_root_ref_context.get('promotionStatus')}"
            ),
            "promotionImpact": "selector root pointer chains show table membership, not selected-root execution",
        },
        {
            "area": "scene adjacency index",
            "status": "selector-adjacency-only",
            "evidence": (
                f"leaves={scene_adjacency.get('selectorLeafCount')}; "
                f"refs={scene_adjacency.get('fieldMapReferenceCount')}; "
                f"adjOcc={scene_adjacency.get('adjacentOccurrenceCount')}; "
                f"uniquePairs={scene_adjacency.get('uniqueDirectedAdjacentPairCount')}; "
                f"strictEdges={scene_adjacency.get('strictEventEdgeCount')}; "
                f"confirmedEdges={scene_adjacency.get('confirmedReviewEdgeCount')}; "
                f"strictOverlap={scene_adjacency.get('adjacentPairsWithStrictEventCount')}; "
                f"confirmedOverlap={scene_adjacency.get('adjacentPairsWithConfirmedReviewCount')}; "
                f"selectorOnlyPairs={scene_adjacency.get('adjacentPairsWithoutStrictOrConfirmedCount')}; "
                f"currentOcc={scene_adjacency.get('currentPairOccurrenceCount')}; "
                f"currentSelectors={','.join(scene_adjacency.get('currentPairSelectors') or []) or '-'}; "
                f"currentSelectorOnly={scene_adjacency.get('currentPairSelectorAdjacencyOnly')}; "
                f"status={scene_adjacency.get('promotionStatus')}"
            ),
            "promotionImpact": "scene-record adjacency is broad resource-list evidence and is not a normal transition proof",
        },
        {
            "area": "runtime selector byte writes",
            "status": "self-write-only",
            "evidence": (
                f"handler={runtime_selector_byte_writes.get('handlerVaHex')} "
                f"opcode={runtime_selector_byte_writes.get('handlerOpcodeHex')}; "
                f"mechanism={runtime_selector_byte_writes.get('selectorByteWriteMechanismIdentified')}; "
                f"currentWriter={runtime_selector_byte_writes.get('mode1CurrentSelectorWriterCount')}; "
                f"outsideCurrent={runtime_selector_byte_writes.get('mode1CurrentSelectorWriterOutsideCurrentRootCount')}; "
                f"selfRows={runtime_selector_byte_writes.get('mode1SelfWriteCount')}; "
                f"crossRows={runtime_selector_byte_writes.get('mode1CrossWriteCount')}; "
                f"routeCommon={runtime_selector_byte_writes.get('routeContextCommonSignatureCount')}; "
                f"crossToCurrent={runtime_selector_byte_writes.get('crossWriteToCurrentSelectorCount')}; "
                f"sourcePredCurrent={runtime_selector_byte_writes.get('sourceOrPredecessorCurrentSelectorWriterCount')}; "
                f"leafHits={runtime_selector_byte_writes.get('leafStreamOpcode4fHitCount')}; "
                f"selfWrite={runtime_selector_byte_writes.get('currentSelectorWriterIsCurrentRootSelfWrite')}; "
                f"rootPatternPromotes={runtime_selector_byte_writes.get('rootSelfWritePatternPromotesRoute')}; "
                f"promotes={runtime_selector_byte_writes.get('selectorByteWritePromotesRoute')}"
            ),
            "promotionImpact": "opcode 0x4f explains selector byte writes, but current 2:0 evidence is only a self-write inside the current root",
        },
        {
            "area": "predecessor state",
            "status": "order-unproven",
            "evidence": (
                f"allStartsPass={active_flag.get('allPredecessorStartsPass')}; "
                "priorPrimary="
                f"{active_flag.get('priorSelectionBufferStillPrimaryBlockerUnderPredecessorHypothesis')}; "
                f"routeOrder={predecessor_order.get('routeOrderProven')}; "
                f"addrPrev={address_predecessor.get('addressPredecessorSelector')}; "
                f"addrFillPass={address_predecessor.get('addressPredecessorLastFillAllStartsPassCurrentReader')}; "
                f"addrPassNotProof={address_predecessor.get('addressPredecessorPassingFillStillNotExecutionProof')}; "
                f"addrTailCurrentPtrs={address_predecessor.get('addressPredecessorTailCurrentRootRangePointerCount')}; "
                f"addrTailReader={address_predecessor.get('addressPredecessorTailFrontierReaderRefCount')}; "
                f"forwardBridge={predecessor_bridge.get('forwardExecutionBridgeFound')}; "
                f"reverseBeforeFill={predecessor_bridge.get('reverseHitsBeforeFillCount')}; "
                f"reverseToFill={predecessor_bridge.get('reverseHitsToFillSiteCount')}"
            ),
            "promotionImpact": "predecessor fill cannot promote until execution order and persistence are proven",
        },
        {
            "area": "predecessor fill execution order",
            "status": "blocked-all-proof-gates"
            if predecessor_fill_execution_order_gap.get("predecessorFillAllProofGatesBlocked")
            else "blocked-fill-order-unproven",
            "evidence": (
                "proofGates="
                f"{predecessor_fill_execution_order_gap.get('predecessorFillProofGateBlockedCount')}/"
                f"{predecessor_fill_execution_order_gap.get('predecessorFillProofGateCount')}; "
                f"pass={predecessor_fill_execution_order_gap.get('predecessorFillProofGatePassCount')}; "
                "allBlocked="
                f"{predecessor_fill_execution_order_gap.get('predecessorFillAllProofGatesBlocked')}; "
                "blockedIds="
                f"{','.join(predecessor_fill_execution_order_gap.get('predecessorFillProofGateBlockedIds') or []) or '-'}; "
                "failedFillOrderGates="
                f"{','.join(predecessor_fill_execution_order_gap.get('failedPredecessorFillOrderGateIds') or []) or '-'}; "
                "missingEvidenceCount="
                f"{len(predecessor_fill_execution_order_gap.get('missingEvidence') or [])}; "
                f"evidenceRefs={predecessor_fill_execution_order_gap.get('evidenceRefCount')}; "
                f"trace={predecessor_fill_execution_order_gap.get('localFillTraceStartHex')}->"
                f"{predecessor_fill_execution_order_gap.get('localFillTraceStopHex')}/"
                f"{predecessor_fill_execution_order_gap.get('localFillTraceStopReason')}; "
                f"rootEntry={predecessor_fill_execution_order_gap.get('rootEntryFixedTraversalFillSitesReachable')}; "
                f"encoded={predecessor_fill_execution_order_gap.get('encodedFillEntryClassification')}/"
                f"{predecessor_fill_execution_order_gap.get('encodedFillEntryPromotingCandidateCount')}; "
                f"rootTailClosure={predecessor_fill_execution_order_gap.get('rootTailBranchClosureProofFound')}; "
                f"runtimeFill={predecessor_fill_execution_order_gap.get('runtimeObservedFill')}; "
                f"fieldEntrySeq={predecessor_fill_execution_order_gap.get('fieldEntrySequenceCount')}; "
                f"fieldEntryCandidates={predecessor_fill_execution_order_gap.get('fieldEntryCandidateCount')}; "
                f"fieldEntrySnapshots={predecessor_fill_execution_order_gap.get('fieldEntrySnapshotCount')}; "
                f"fieldEntrySnapshotRouteCandidates={predecessor_fill_execution_order_gap.get('fieldEntrySnapshotRouteCandidateCount')}; "
                f"fieldEntryStatus={predecessor_fill_execution_order_gap.get('fieldEntryInputStatus')}; "
                "coordinateSource="
                f"{predecessor_fill_execution_order_gap.get('coordinateSourceClassification')}/"
                f"{predecessor_fill_execution_order_gap.get('coordinateSourceRejectionClassification')}; "
                "coordinateStartPtrStaticTrailImage="
                f"{predecessor_fill_execution_order_gap.get('coordinateSourcePublicStartPointerTableTileHitCount')}/"
                f"{predecessor_fill_execution_order_gap.get('coordinateSourcePublicStartStaticBaseHitCount')}/"
                f"{predecessor_fill_execution_order_gap.get('coordinateSourcePublicStartTrailRingHitCount')}/"
                f"{predecessor_fill_execution_order_gap.get('coordinateSourcePublicStartImageHitCount')}; "
                "coordinateTrailPtrStaticTrailImage="
                f"{predecessor_fill_execution_order_gap.get('coordinateSourceObservedTrailPointerTableTileHitCount')}/"
                f"{predecessor_fill_execution_order_gap.get('coordinateSourceObservedTrailStaticBaseHitCount')}/"
                f"{predecessor_fill_execution_order_gap.get('coordinateSourceObservedTrailTrailRingHitCount')}/"
                f"{predecessor_fill_execution_order_gap.get('coordinateSourceObservedTrailImageHitCount')}; "
                "coordinateReciprocalPtrStaticTrailImage="
                f"{predecessor_fill_execution_order_gap.get('coordinateSourceReciprocalPointerTableTileHitCount')}/"
                f"{predecessor_fill_execution_order_gap.get('coordinateSourceReciprocalStaticBaseHitCount')}/"
                f"{predecessor_fill_execution_order_gap.get('coordinateSourceReciprocalTrailRingHitCount')}/"
                f"{predecessor_fill_execution_order_gap.get('coordinateSourceReciprocalImageHitCount')}; "
                "coordinateSourcePromotion="
                f"{predecessor_fill_execution_order_gap.get('coordinateSourcePromotionStatus')}; "
                f"forwardBridge={predecessor_fill_execution_order_gap.get('predecessorToCurrentForwardBridgeFound')}; "
                f"routeOrder={predecessor_fill_execution_order_gap.get('routeOrderProven')}; "
                f"mergeGap={predecessor_fill_execution_order_gap.get('selectorMergeGapOpen')}; "
                f"mergeRuntimeProof={predecessor_fill_execution_order_gap.get('selectorMergeRuntimeProofFound')}; "
                f"mergeClosureProof={predecessor_fill_execution_order_gap.get('selectorMergeClosureProofFound')}; "
                f"mergePersistenceUsable={predecessor_fill_execution_order_gap.get('predecessorPersistenceUsableForCurrent')}; "
                f"proof={predecessor_fill_execution_order_gap.get('proofFound')}"
            ),
            "promotionImpact": "normal predecessor fill execution remains blocked until at least one proof gate is promoted and the full route-order proof closes",
        },
        {
            "area": "predecessor fill-site execution context",
            "status": "blocked-fill-execution-unproven",
            "evidence": (
                f"branchPolls={predecessor_fill_site_execution_context.get('branchStatePollCount')}; "
                f"branchSamples={predecessor_fill_site_execution_context.get('branchStatePollSampleCount')}; "
                f"publicHits={predecessor_fill_site_execution_context.get('branchStatePollPublicPredecessorHitCount')}; "
                f"routeHits={predecessor_fill_site_execution_context.get('branchStatePollRouteSelectorHitCount')}; "
                f"currentHits={predecessor_fill_site_execution_context.get('branchStatePollCurrentRootHitCount')}; "
                f"fillMatches={predecessor_fill_site_execution_context.get('branchStatePollFillMatchCount')}; "
                f"allZero={predecessor_fill_site_execution_context.get('branchStatePollAllZeroCount')}; "
                "movementTarget="
                f"{predecessor_fill_site_execution_context.get('branchStatePollMovementOrTargetCount')}@"
                f"{predecessor_fill_site_execution_context.get('branchStatePollMovementOrTargetSampleCount')}; "
                "targetObs="
                f"{predecessor_fill_site_execution_context.get('branchStatePollTargetObservationCount')}@"
                f"{predecessor_fill_site_execution_context.get('branchStatePollTargetObservationSampleCount')}; "
                "targetFillCurrentRoute="
                f"{predecessor_fill_site_execution_context.get('branchStatePollTargetObservationFillMatchCount')}/"
                f"{predecessor_fill_site_execution_context.get('branchStatePollTargetObservationCurrentRootHitCount')}/"
                f"{predecessor_fill_site_execution_context.get('branchStatePollTargetObservationRouteSelectorHitCount')}; "
                "cameraOnlyTarget="
                f"{predecessor_fill_site_execution_context.get('branchStatePollCameraOnlyTargetCount')}; "
                "actorTrailTarget="
                f"{predecessor_fill_site_execution_context.get('branchStatePollActorOrTrailTargetCount')}; "
                "targetStatus="
                f"{predecessor_fill_site_execution_context.get('branchStatePollTargetObservationStatus')}; "
                "rootEntryReachesFills="
                f"{predecessor_fill_site_execution_context.get('rootEntryFixedTraversalFillSitesReachable')}; "
                f"rootEntryVisited={predecessor_fill_site_execution_context.get('rootEntryFixedTraversalVisitedNodeCount')}; "
                    f"encodedEntry={predecessor_fill_site_execution_context.get('encodedFillEntryClassification')}; "
                    f"encodedRaw={predecessor_fill_site_execution_context.get('encodedFillEntryRawScalarCandidateCount')}; "
                    f"encodedTailRaw={predecessor_fill_site_execution_context.get('encodedFillEntryRootTailRawScalarCandidateCount')}; "
                    f"encodedPromoting={predecessor_fill_site_execution_context.get('encodedFillEntryPromotingCandidateCount')}; "
                    f"rawScalarReject={predecessor_fill_site_execution_context.get('encodedRawScalarRejectionClassification')}; "
                    "rawScalarNoFixed/noBranch/branchAttached/scalarOnly="
                    f"{predecessor_fill_site_execution_context.get('encodedRawScalarNoFixedAdvanceCount')}/"
                    f"{predecessor_fill_site_execution_context.get('encodedRawScalarNoBranchJumpCount')}/"
                    f"{predecessor_fill_site_execution_context.get('encodedRawScalarBranchAttachedCount')}/"
                    f"{predecessor_fill_site_execution_context.get('encodedRawScalarScalarOnlyCount')}; "
                    "rootTail="
                f"{predecessor_fill_site_execution_context.get('rootTailDistanceHex')}/"
                f"{predecessor_fill_site_execution_context.get('rootTailDwordCount')}; "
                f"rootTailIsolated={predecessor_fill_site_execution_context.get('rootTailDescriptorIsolated')}; "
                f"rootTailBranchToFill={predecessor_fill_site_execution_context.get('rootTailBranchToFillFragmentCount')}; "
                f"rootTailFixedToFill={predecessor_fill_site_execution_context.get('rootTailFixedFallthroughToFillCount')}; "
                f"descriptorBridge={predecessor_fill_site_execution_context.get('descriptorBridgeProofFound')}; "
                "descriptorBridgeFailedGates="
                f"{','.join(predecessor_fill_site_execution_context.get('descriptorBridgeFailedGateIds') or []) or '-'}; "
                "descriptorBridgeMissingEvidenceCount="
                f"{len(predecessor_fill_site_execution_context.get('descriptorBridgeMissingEvidence') or [])}; "
                "descriptorBridgeEvidenceRefs="
                f"{predecessor_fill_site_execution_context.get('descriptorBridgeEvidenceRefCount')}; "
                "descriptorNodes="
                f"{predecessor_fill_site_execution_context.get('descriptorRootClosureVisitedNodeCount')}/"
                f"{predecessor_fill_site_execution_context.get('descriptorFillClosureVisitedNodeCount')}; "
                "descriptorFillEdges="
                f"{predecessor_fill_site_execution_context.get('descriptorRootClosureFillSiteEdgeHitCount')}/"
                f"{predecessor_fill_site_execution_context.get('descriptorFillClosureCurrentReaderEdgeHitCount')}; "
                "descriptorEdgeReject="
                f"{predecessor_fill_site_execution_context.get('descriptorEdgeRejectionClassification')}; "
                "descriptorRouteEdges="
                f"{predecessor_fill_site_execution_context.get('descriptorEdgeRootRouteExecutionTargetEdgeCount')}/"
                f"{predecessor_fill_site_execution_context.get('descriptorEdgeFillRouteExecutionTargetEdgeCount')}; "
                "descriptorEncoded="
                f"{predecessor_fill_site_execution_context.get('descriptorEncodedTargetRawScalarCandidateCount')}/"
                f"{predecessor_fill_site_execution_context.get('descriptorEncodedTargetRootRawScalarCandidateCount')}/"
                f"{predecessor_fill_site_execution_context.get('descriptorEncodedTargetFillRawScalarCandidateCount')}/"
                f"{predecessor_fill_site_execution_context.get('descriptorEncodedTargetPromotingCandidateCount')}; "
                "descriptorEncodedClass="
                f"{predecessor_fill_site_execution_context.get('descriptorEncodedTargetClassification')}; "
                "dispatchTableProof="
                f"{predecessor_fill_site_execution_context.get('predecessorDispatchTableProofFound')}; "
                "dispatchFailedGates="
                f"{','.join(predecessor_fill_site_execution_context.get('predecessorDispatchTableFailedGateIds') or []) or '-'}; "
                "dispatchMissingEvidenceCount="
                f"{len(predecessor_fill_site_execution_context.get('predecessorDispatchTableMissingEvidence') or [])}; "
                "dispatchEvidenceRefs="
                f"{predecessor_fill_site_execution_context.get('predecessorDispatchTableEvidenceRefCount')}; "
                "dispatchTableBaseReject="
                f"{predecessor_fill_site_execution_context.get('predecessorDispatchTableBaseRejectionClassification')}; "
                "rawGenericCallGraph="
                f"{predecessor_fill_site_execution_context.get('rawGenericCallGraphClassification')}; "
                "rawGenericCallGraphDepth="
                f"{predecessor_fill_site_execution_context.get('rawGenericCallGraphMaxDepth')}; "
                "rawGenericCallGraphFunctions/Edges="
                f"{predecessor_fill_site_execution_context.get('rawGenericCallGraphReachableFunctionCount')}/"
                f"{predecessor_fill_site_execution_context.get('rawGenericCallGraphDirectCallEdgeCount')}; "
                "rawGenericCallGraphProof="
                f"{predecessor_fill_site_execution_context.get('rawGenericCallGraphProofFound')}; "
                f"runtimeFill={predecessor_fill_site_execution_context.get('runtimeFillObserved')}; "
                "fieldEntrySeq="
                f"{(predecessor_fill_site_execution_context.get('fieldEntrySequenceContext') or {}).get('sequenceCount')}; "
                "fieldEntryCandidates="
                f"{(predecessor_fill_site_execution_context.get('fieldEntrySequenceContext') or {}).get('fieldEntryCandidateCount')}; "
                "fieldEntrySelectors="
                f"{(predecessor_fill_site_execution_context.get('fieldEntrySequenceContext') or {}).get('finalSelectorCounts')}; "
                "fieldEntryCameras="
                f"{(predecessor_fill_site_execution_context.get('fieldEntrySequenceContext') or {}).get('finalCameraTileCounts')}; "
                "fieldEntrySnapshots="
                f"{(predecessor_fill_site_execution_context.get('fieldEntrySequenceContext') or {}).get('snapshotCount')}; "
                "fieldEntrySnapshotRouteCandidates="
                f"{(predecessor_fill_site_execution_context.get('fieldEntrySequenceContext') or {}).get('snapshotRouteCandidateCount')}; "
                "fieldEntrySnapshotSelectors="
                f"{(predecessor_fill_site_execution_context.get('fieldEntrySequenceContext') or {}).get('snapshotSelectorCounts')}; "
                "fieldEntrySnapshotCameras="
                f"{(predecessor_fill_site_execution_context.get('fieldEntrySequenceContext') or {}).get('snapshotCameraTileCounts')}; "
                "fieldEntryClasses="
                f"{(predecessor_fill_site_execution_context.get('fieldEntrySequenceContext') or {}).get('classificationCounts')}; "
                "coordinateClass="
                f"{(predecessor_fill_site_execution_context.get('coordinateSourceContext') or {}).get('classification')}; "
                "coordinateReject="
                f"{(predecessor_fill_site_execution_context.get('coordinateSourceContext') or {}).get('coordinateSourceRejectionClassification')}; "
                "coordinateStartPtrStaticTrailImage="
                f"{(predecessor_fill_site_execution_context.get('coordinateSourceContext') or {}).get('publicSaveStartPointerTableTileHitCount')}/"
                f"{(predecessor_fill_site_execution_context.get('coordinateSourceContext') or {}).get('publicSaveStartStaticBaseHitCount')}/"
                f"{(predecessor_fill_site_execution_context.get('coordinateSourceContext') or {}).get('publicSaveStartTrailRingHitCount')}/"
                f"{(predecessor_fill_site_execution_context.get('coordinateSourceContext') or {}).get('publicSaveStartImageHitCount')}; "
                "coordinateReciprocalPtrStaticTrailImage="
                f"{(predecessor_fill_site_execution_context.get('coordinateSourceContext') or {}).get('reciprocalPointerTableTileHitCount')}/"
                f"{(predecessor_fill_site_execution_context.get('coordinateSourceContext') or {}).get('reciprocalStaticBaseHitCount')}/"
                f"{(predecessor_fill_site_execution_context.get('coordinateSourceContext') or {}).get('reciprocalTrailRingHitCount')}/"
                f"{(predecessor_fill_site_execution_context.get('coordinateSourceContext') or {}).get('reciprocalImageHitCount')}; "
                "proofGates="
                f"{predecessor_fill_site_execution_context.get('requiredProofGatePassCount')}/"
                f"{predecessor_fill_site_execution_context.get('requiredProofGateFailCount')}; "
                f"allBlocked={predecessor_fill_site_execution_context.get('requiredProofGateAllBlocked')}; "
                "failedIds="
                f"{','.join(predecessor_fill_site_execution_context.get('requiredProofGateFailIds') or []) or '-'}; "
                f"contextProof={predecessor_fill_site_execution_context.get('fillSiteExecutionContextProven')}; "
                f"status={predecessor_fill_site_execution_context.get('promotionStatus')}"
            ),
            "promotionImpact": "public predecessor reach is not enough; the fill sites must be observed or decoded as executed before the current reader",
        },
        {
            "area": "inherited branch state",
            "status": "persistence-narrowed",
            "evidence": (
                f"fillRoots={secondary_fill_roots.get('rootCount')}; "
                f"routeOverlap={secondary_fill_roots.get('routeOverlapRootCount')}; "
                f"best={inherited_state.get('bestPreviousSelector')}@{inherited_state.get('bestPreviousRootHex')}; "
                f"bestFills={inherited_state.get('bestPreviousSecondaryFillCount')}; "
                f"currentExecValid={current_state_sources.get('validBeforeFirstFrontierReaderWithExecutionEvidenceCount')}; "
                f"currentPromoting={current_state_sources.get('validBeforeFirstFrontierReaderPromotingFillCount')}; "
                f"activationValid={current_state_sources.get('validActivationCandidateCount')}; "
                f"branchOperand={current_state_sources.get('branchOperandVaHex')}; "
                f"branchOperandKind={current_state_sources.get('branchOperandValueKind')}; "
                f"addrTailFillAfterLast={address_predecessor.get('addressPredecessorTailHasKnownSecondaryFillAfterLastFill')}; "
                f"addrTailDataLike={address_predecessor.get('addressPredecessorTailLooksLikeDescriptorData')}; "
                f"tailReset={predecessor_tail_reset.get('localTailResetFound')}; "
                f"globalResetClass={secondary_global_reset.get('globalResetCandidateClass')}; "
                f"globalResetStaticClosed={secondary_global_reset.get('closedStaticResetScope')}; "
                f"selectorOrderResetClosed={secondary_global_reset.get('selectorOrderResetGapClosed')}; "
                f"globalResetRuledOut={secondary_global_reset.get('globalResetRuledOut')}"
            ),
            "promotionImpact": "state persistence is narrowed but still lacks runtime order and out-of-root reset proof",
        },
        {
            "area": "dispatch/base mode",
            "status": "runtime-opcode-unproven",
            "evidence": (
                f"primaryWriters={branch_state_writers.get('directWriterCount')}; "
                f"dispatchOps={','.join(branch_state_dispatch.get('dispatchOpcodes') or [])}; "
                f"directCalls={branch_state_dispatch.get('directRelativeCallRefCount')}; "
                f"secondaryValidBefore={secondary_state_sources.get('validBeforeFrontierCount')}; "
                f"overlap={branch_state_opcode_overlap.get('overlapCount')}; "
                f"eventLinked={event_object_branch_state.get('currentRouteLinkedCount')}; "
                f"eventRangeHits={event_object_branch_state.get('currentRouteRangeHitCount')}; "
                f"eventRouteContainers={event_object_branch_state.get('routeMapContainerCandidateCount')}; "
                f"baseImm={selection_buffer_bases.get('immediateAssignmentCount')}; "
                f"baseReg={selection_buffer_bases.get('registerAssignmentCount')}; "
                f"staticGateRefs={selection_buffer_bases.get('knownStaticGateOffsetDirectRefCount')}; "
                f"runtimePointer={selection_buffer_bases.get('runtimePointerModeStillRequired')}"
            ),
            "promotionImpact": "must identify runtime event/object opcode and context+0xa8 base mode before gate fallthrough can promote",
        },
        {
            "area": "current selector leaf",
            "status": "selection-unproven",
            "evidence": (
                f"leafRefs={leaf_table.get('leafRefCount')}; "
                f"directEntry={leaf_table.get('frontierLeafRefIsDirectRootTableEntry')}; "
                f"runtimeSelection={leaf_table.get('runtimeSelectionProven')}; "
                f"leafIndexEntries={leaf_index.get('entryCount')}; "
                f"leafIndexCurrentEntries={leaf_index.get('currentRootEntryCount')}; "
                f"readerCurrent={leaf_index.get('readerBearingCurrentEntryCount')}; "
                f"readerNegative={leaf_index.get('readerBearingNegativeEntryCount')}; "
                f"frontierChildIdx={leaf_index.get('frontierLeafChildEntryIndices')}; "
                f"routePairIdx={leaf_index.get('routePairCurrentDescriptorIndices')}; "
                f"globalTables={leaf_global.get('selectorTableCount')}; "
                f"globalFieldRows={leaf_global.get('fieldEntryRowCount')}; "
                f"globalNegFieldRows={leaf_global.get('negativeFieldEntryRowCount')}; "
                f"globalNonNegFieldRows={leaf_global.get('nonNegativeFieldEntryRowCount')}; "
                f"globalCurrentRouteIdx={leaf_global.get('currentSelectorRoutePairIndices')}; "
                f"globalFrontierOnlyNeg={leaf_global.get('currentFrontierLeafOnlyNegative')}; "
                f"routePairReaderHits={route_pair_descriptor.get('currentRoutePairTraceReachesReaderCount')}; "
                f"routePairGeoHits={route_pair_descriptor.get('currentRoutePairGeometryExitHitCount')}; "
                f"readerNegativeIdx={route_pair_descriptor.get('readerBearingNegativeIndices')}; "
                f"routePairProofFound={route_pair_descriptor.get('proofFound')}; "
                f"routePairFailedGates={','.join(route_pair_descriptor.get('failedRoutePairDescriptorGateIds') or [])}; "
                f"opcode2cProofFound={opcode2c_route_pair.get('proofFound')}; "
                f"opcode2cFailedGates={','.join(opcode2c_route_pair.get('failedOpcode2cRoutePairGateIds') or [])}; "
                f"nonNegativeSelectable={leaf_index.get('frontierReaderSelectableByNonNegativeIndex')}; "
                f"opcode07IndexMode={opcode07.get('opcode07IndexMode')}; "
                f"opcode07LeafSlots={opcode07.get('selectedLeafTableWindowSlotCount')}; "
                f"opcode07NegativeSlots={opcode07.get('selectedNegativeRootEntrySlotCount')}; "
                f"opcode07WrapperEntrySlots={opcode07.get('selectedWrapperEntrySlotCount')}; "
                f"opcode07Direct={opcode07.get('directFrontierTargetCount')}; "
                f"object61Direct={object61.get('directFrontierOperandCount')}; "
                f"readerLeafs={current_root_paths.get('readerLeafCount')}; "
                f"currentRootProofFound={current_root_paths.get('proofFound')}; "
                f"currentRootFailedGates={','.join(current_root_paths.get('failedCurrentRootFrontierGateIds') or [])}; "
                f"currentRootMissingEvidenceCount={len(current_root_paths.get('missingEvidence') or [])}; "
                f"op24PayloadPtrs={opcode24_payload.get('payloadPointerCount')}/"
                f"{opcode24_payload.get('leafTablePointerCount')}; "
                f"op24PayloadLocal={opcode24_payload.get('payloadGraphAllEdgesLocal')}; "
                f"op24PayloadFrontier={opcode24_payload.get('payloadGraphReachesFrontierTarget')}; "
                f"op24DirectLeafTable={opcode24_payload.get('payloadDirectlyTargetsLeafTable')}; "
                f"op24RuntimeFlag={opcode24_runtime_enabled.get('runtimeEnabledFlagHex')}; "
                f"op24RuntimeFlagRefs={opcode24_runtime_enabled.get('directTextRefCount')}/"
                f"{opcode24_runtime_enabled.get('directWriteCount')}; "
                f"op24RuntimeFlagStaticDispatch={opcode24_runtime_enabled.get('staticEvidenceProvesModeDispatch')}; "
                f"op24RuntimeFlagProof={opcode24_runtime_enabled.get('proofFound')}; "
                f"op24RuntimeFlagMissing={len(opcode24_runtime_enabled.get('missingEvidence') or [])}; "
                f"context58Current={context58.get('currentOpcode24ModeTouchesContext58')}; "
                f"context58Status={context58.get('context58PromotionStatus')}; "
                f"readerPassPayload={(frontier_reader_branch.get('passOutcome') or {}).get('payloadClassification')}; "
                f"readerFailResource={(frontier_reader_branch.get('failOutcome') or {}).get('targetIsResource')}; "
                f"readerSiblingFieldMaps={frontier_reader_branch.get('siblingFieldMapTargetCount')}; "
                f"payloadRectLike={frontier_payload_shape.get('rectLikePayloadGateCount')}/"
                f"{frontier_payload_shape.get('gateCount')}; "
                f"payloadFitsImages={frontier_payload_shape.get('allPayloadsFitPairedImages')}; "
                f"payloadInBoundsPoints={frontier_payload_shape.get('sourceInBoundsPointCount')}; "
                f"sceneListClass={scene_list.get('classification')}"
            ),
            "promotionImpact": "current root adjacency is useful, but it still lacks a proven selected leaf/hotspot",
        },
        {
            "area": "gate control",
            "status": "inherited-runtime-state",
            "evidence": (
                f"sameOffset={branch_gate.get('sameTableAndOffset')}; "
                f"postReads={branch_gate.get('postWriterSameOffsetReadCount')}; "
                f"otherWrites={branch_gate.get('postWriterOtherOffsetWriteCount')}@"
                f"{','.join(branch_gate.get('postWriterOtherOffsetWriteOffsetsHex') or []) or '-'}; "
                f"invalidFillOffsets={','.join(branch_gate.get('invalidSecondaryFillOffsetsHex') or []) or '-'}; "
                f"preserve={branch_gate.get('knownOpcodeStatePreservationStatus')}; "
                f"gateOffsets={','.join(gate_offset_sources.get('gateOffsetsHex') or [])}; "
                f"writerRows={gate_offset_patterns.get('totalWriterCount')}; "
                f"localWriter={gate_offset_sources.get('anyScriptLocalSelectionWriter')}; "
                f"globalWriter={gate_offset_sources.get('anyGlobalScriptSelectionWriter')}; "
                f"patternRows={gate_offset_patterns.get('totalRowCount')}; "
                f"sampleCovered={gate_sample_values.get('currentFrontierSampleCovered')}; "
                f"predPass={gate_pass_matrix.get('saveRuntimePredecessorAllGatePassSampleCount')}/"
                f"{gate_pass_matrix.get('saveRuntimePredecessorSampleCount')}; "
                f"zeroPass={gate_pass_matrix.get('saveRuntimeZeroTableAllGatePassSampleCount')}/"
                f"{gate_pass_matrix.get('saveRuntimeZeroTableSampleCount')}; "
                f"diagnosticOrder={diagnostic_gate_base.get('activeOrderCountHex')}/"
                f"{','.join(diagnostic_gate_base.get('activeOrderHexes') or []) or '-'}; "
                f"diagnosticDescriptor={diagnostic_gate_base.get('firstDescriptorHex')}; "
                f"diagnosticGateRows={diagnostic_gate_base.get('descriptorScript4GateWriterCount')}/"
                f"{diagnostic_gate_base.get('descriptorScript4GateReaderCount')}; "
                f"diagnosticEncoded={diagnostic_gate_base.get('descriptorScript4EncodedTargetRawScalarCandidateCount')}/"
                f"{diagnostic_gate_base.get('descriptorScript4EncodedTargetRouteProofRawScalarCandidateCount')}/"
                f"{diagnostic_gate_base.get('descriptorScript4EncodedTargetPromotingCandidateCount')}; "
                f"diagnosticEncodedClass={diagnostic_gate_base.get('descriptorScript4EncodedTargetClassification')}; "
                f"allDescriptorGateRows={gate_base_proof.get('descriptorAllScriptGateWriterCount')}/"
                f"{gate_base_proof.get('descriptorAllScriptGateReaderCount')}; "
                f"allDescriptorSelectionRows={gate_base_proof.get('descriptorAllScriptSelectionOpcodeCount')}; "
                f"allDescriptorEncoded={gate_base_proof.get('descriptorAllScriptEncodedTargetRawScalarCandidateCount')}/"
                f"{gate_base_proof.get('descriptorAllScriptEncodedTargetRouteProofRawScalarCandidateCount')}/"
                f"{gate_base_proof.get('descriptorAllScriptEncodedTargetPromotingCandidateCount')}; "
                f"allDescriptorEncodedClass={gate_base_proof.get('descriptorAllScriptEncodedTargetClassification')}; "
                f"allDescriptorSpecificBase={gate_base_proof.get('descriptorAllScriptSpecificGateBaseProven')}; "
                f"proofFound={gate_base_proof.get('proofFound')}; "
                f"gateBaseProofFound={gate_base_proof.get('gateBaseProofFound')}; "
                f"activeOrderProof={gate_base_proof.get('activeOrderProofFound')}; "
                f"gateTimeBaseProof={gate_base_proof.get('gateTimeBaseProofFound')}; "
                f"failedGateBaseGates={','.join(gate_base_proof.get('failedGateBaseGateIds') or []) or '-'}; "
                f"missingEvidenceCount={len(gate_base_proof.get('missingEvidence') or [])}; "
                f"diagnosticNonPointerA8={diagnostic_gate_base.get('descriptorScript4ContextA8NonPointerSetterRowCount')}; "
                f"diagnosticPointerCollision={diagnostic_gate_base.get('descriptorScript4LastContextA8IsPointerDword')}; "
                f"diagnosticGateBaseProven={diagnostic_gate_base.get('gateBaseProven')}; "
                "diagnosticRecheckRouteHits="
                f"{diagnostic_gate_recheck.get('routeSelectorHitCount')}/"
                f"{diagnostic_gate_recheck.get('recheckRouteSelectorHitCount')}/"
                f"{diagnostic_gate_recheck.get('activeOrderRecheckRouteSelectorHitCount')}; "
                "diagnosticRecheckActiveOrderCount="
                f"{diagnostic_gate_recheck.get('activeOrderRecheckActiveOrderCountValues')}; "
                f"diagnosticRecheckBaseOpen={diagnostic_gate_recheck.get('gateBaseStillUnproven')}; "
                f"evidenceRefs={gate_base_proof.get('evidenceRefCount')}; "
                f"runtimeBaseProof={gate_pass_matrix.get('runtimeBaseProofRequired')}; "
                f"predecessorProof={gate_pass_matrix.get('predecessorPersistenceProofRequired')}; "
                f"strictHotspotProof={gate_pass_matrix.get('strictHotspotProofRequired')}"
            ),
            "promotionImpact": "gate fallthrough remains inherited runtime state, not route promotion",
        },
        {
            "area": "real savedata",
            "status": "missing-current-selector",
            "evidence": (
                f"real={real_savedata_gap.get('realCandidateCount')}, "
                f"valid={real_savedata_gap.get('validRealCandidateCount')}, "
                f"uniqueSha256={real_savedata_gap.get('validRealUniqueSha256Count')}, "
                f"validRowsBlocked={real_savedata_gap.get('validRealCandidatesAllBlocked')}, "
                f"realCandidateBlocks={real_savedata_gap.get('validRealCandidateBlockReasonCounts')}, "
                f"archive={real_savedata_gap.get('archiveCandidateCount')}, "
                f"archiveSkipped={real_savedata_gap.get('archiveSkippedCount')}, "
                f"workspaceDat={real_savedata_gap.get('workspaceDatFileCount')}, "
                f"workspaceExpected={real_savedata_gap.get('workspaceExpectedSizeDatFileCount')}, "
                f"workspaceZipMembers={real_savedata_gap.get('workspaceZipDatMemberCount')}, "
                f"workspaceHidden={real_savedata_gap.get('workspaceHiddenExpectedSizeDatFileCount')}, "
                f"selector2:0={real_savedata_gap.get('currentSelectorRealSaveCount')}, "
                f"selectedPointer={real_savedata_gap.get('selectedPointerRealSaveCount')}, "
                f"routePair={real_savedata_gap.get('routePairRealSaveCount')}, "
                f"realSelector20Save={real_savedata_gap.get('realSelector20SaveFound')}, "
                "requiredBytePair="
                f"{real_savedata_gap.get('requiredSelectorBytePairRealSaveCount', (real_savedata_gap.get('requiredByteCoverage') or {}).get('requiredSelectorBytePairRealSaveCount'))}, "
                f"routeEvidenceProof={real_savedata_gap.get('routeEvidenceProofFound')}, "
                f"reject={real_savedata_gap.get('routeEvidenceRejectionClassification')}, "
                f"syntheticExcluded={real_savedata_gap.get('syntheticDiagnosticExcluded')}; "
                f"evidenceRefs={real_savedata_gap.get('evidenceRefCount')}; "
                "browserScan=dat1-9+zip1-9"
            ),
            "promotionImpact": "synthetic selector 2:0 remains diagnostic only",
        },
        {
            "area": "original save path",
            "status": "static-known-input-path-unproven",
            "evidence": (
                f"staticPath={runtime_save_path_summary.get('staticSavePathKnown')}; "
                f"slotNames={runtime_save_path_summary.get('slotFilenameStringCount')}; "
                f"saveDirs={runtime_save_path_summary.get('saveDataDirectoryStringCount')}; "
                f"savePathRegs={runtime_save_path_summary.get('registrySavePathStringCount')}; "
                f"loader={runtime_save_path_summary.get('loadRoutineVaHex')}; "
                f"readCalls={runtime_save_path_summary.get('readFileCallCountInLoader')}; "
                f"selectorStore={runtime_save_path_summary.get('selectorStoreVaHex')}; "
                f"readApiOk={runtime_save_path_checks.get('readFileHasLoaderCalls')}; "
                f"menuReachable={runtime_save_path_summary.get('runtimeInputMenuReachabilityProven')}; "
                f"syntheticDiagnostic={runtime_save_path_summary.get('syntheticSelectorProbeRemainsDiagnostic')}"
            ),
            "promotionImpact": "SaveData\\savedatN.dat is statically known, but loading it through gameplay remains unproven",
        },
        {
            "area": "runtime trace",
            "status": "blocked-by-vm",
            "evidence": (
                f"canRun={runtime_trace_feasibility.get('canRunRuntimeTraceNow')}; "
                f"canCapture={runtime_probe.get('canCaptureTraceNow')}; "
                f"reject={runtime_trace_equivalent_rejection.get('classification')}; "
                f"blockers={len(runtime_trace_feasibility.get('blockers') or [])}; "
                f"memRead={memory_sample.get('canReadProcessMemory')}; "
                f"selectedCurrentRoot={memory_sample.get('selectedPointerEqualsCurrentRoot')}; "
                f"op24Flag={((memory_samples.get('opcode24-runtime-enabled-flag') or {}).get('firstByteHex'))}; "
                f"op24Mode1={((memory_samples.get('opcode24-mode1-source') or {}).get('firstByteHex'))}; "
                f"op24RuntimeEvidenceRefs={opcode24_runtime_context.get('evidenceRefCount')}; "
                f"inputHeld={input_probe.get('heldKeyPressedDetected')}; "
                f"inputXChanged={input_probe.get('xEventChangedSelectedPointer')}; "
                f"inputPokeChanged={input_probe.get('keyBufferPokeChangedSelectedPointer')}; "
                f"inputFinalCtx={(input_probe.get('finalSelectedPointerContext') or {}).get('selector')}; "
                f"keySeqCount={key_sequence_probe.get('sequenceCount')}; "
                f"keySeqRoute2_0={key_sequence_probe.get('anyReachedRouteSelectorContext')}; "
                f"preludeSeqCount={key_sequence_prelude_probe.get('sequenceCount')}; "
                f"preludeObserved={','.join(key_sequence_prelude_observed_selectors) or '-'}; "
                f"preludeRoute2_0={key_sequence_prelude_probe.get('anyReachedRouteSelectorContext')}; "
                f"selectedPollSamples={selected_pointer_poll.get('sampleCount')}; "
                f"selectedPollRoute2_0={selected_pointer_poll.get('anyReachedRouteSelectorContext')}; "
                f"selectedPreludePollSamples={selected_pointer_prelude_poll.get('sampleCount')}; "
                f"selectedPreludePollObserved={','.join(selected_pointer_prelude_poll.get('observedSelectors') or []) or '-'}; "
                f"selectedPreludePollRoute2_0={selected_pointer_prelude_poll.get('anyReachedRouteSelectorContext')}; "
                f"selectedLongPollSamples={selected_pointer_long_poll.get('sampleCount')}; "
                f"selectedLongPollObserved={','.join(selected_pointer_long_poll.get('observedSelectors') or []) or '-'}; "
                f"selectedLongPollRoute2_0={selected_pointer_long_poll.get('anyReachedRouteSelectorContext')}; "
                f"selectedLatePollSamples={selected_pointer_late_poll.get('sampleCount')}; "
                f"selectedLatePollStartupWait={selected_pointer_late_poll.get('startupWaitSeconds')}; "
                f"selectedLatePollObserved={','.join(selected_pointer_late_poll.get('observedSelectors') or []) or '-'}; "
                f"selectedLatePollRoute2_0={selected_pointer_late_poll.get('anyReachedRouteSelectorContext')}; "
                f"saveLoadPollSamples={selected_pointer_savedata_load_poll.get('sampleCount')}; "
                f"saveLoadPollObserved={','.join(selected_pointer_savedata_load_poll.get('observedSelectors') or []) or '-'}; "
                f"saveLoadPollRoute2_0={selected_pointer_savedata_load_poll.get('anyReachedRouteSelectorContext')}; "
                f"multiSaveLoadPollSamples={selected_pointer_multislot_savedata_load_poll.get('sampleCount')}; "
                f"multiSaveLoadPollObserved={','.join(selected_pointer_multislot_savedata_load_poll.get('observedSelectors') or []) or '-'}; "
                f"multiSaveLoadPollPublicHit={selected_pointer_multislot_savedata_load_poll.get('anyReachedPublicSaveSelector')}; "
                f"multiSaveLoadPollRoute2_0={selected_pointer_multislot_savedata_load_poll.get('anyReachedRouteSelectorContext')}; "
                "caseAliasMultiSaveLoadPollSamples="
                f"{selected_pointer_multislot_savedata_load_case_alias_poll.get('sampleCount')}; "
                "caseAliasMultiSaveLoadPollObserved="
                f"{','.join(selected_pointer_multislot_savedata_load_case_alias_poll.get('observedSelectors') or []) or '-'}; "
                "caseAliasMultiSaveLoadPollPublicHit="
                f"{selected_pointer_multislot_savedata_load_case_alias_poll.get('anyReachedPublicSaveSelector')}; "
                "caseAliasMultiSaveLoadPollRoute2_0="
                f"{selected_pointer_multislot_savedata_load_case_alias_poll.get('anyReachedRouteSelectorContext')}; "
                "inputPathCaseAliasMultiSaveLoadPollSamples="
                f"{selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get('sampleCount')}; "
                "inputPathCaseAliasMultiSaveLoadPollObserved="
                f"{','.join(selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get('observedSelectors') or []) or '-'}; "
                "inputPathCaseAliasMultiSaveLoadPollPublicHit="
                f"{selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get('anyReachedPublicSaveSelector')}; "
                "inputPathCaseAliasMultiSaveLoadPollRoute2_0="
                f"{selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get('anyReachedRouteSelectorContext')}; "
                "syntheticSelector20PollSamples="
                f"{selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get('sampleCount')}; "
                "syntheticSelector20PollObserved="
                f"{','.join(selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get('observedSelectors') or []) or '-'}; "
                "syntheticSelector20PollObservedStaged="
                f"{','.join(selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get('observedPublicSaveSelectors') or []) or '-'}; "
                "syntheticSelector20PollStagedHit="
                f"{selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get('anyReachedPublicSaveSelector')}; "
                "syntheticSelector20PollRoute2_0="
                f"{selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get('anyReachedRouteSelectorContext')}; "
                "patchedPublicSelector20PollSamples="
                f"{selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.get('sampleCount')}; "
                "patchedPublicSelector20PollKind="
                f"{selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.get('stagedSaveKind')}; "
                "patchedPublicSelector20PollObserved="
                f"{','.join(selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.get('observedSelectors') or []) or '-'}; "
                "patchedPublicSelector20PollRoute2_0="
                f"{selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.get('anyReachedRouteSelectorContext')}; "
                f"fileIoBackend={save_file_io_probe.get('backend')}; "
                f"fileIoUsable={save_file_io_probe.get('inputTraceUsable')}; "
                f"fileIoPidRuns={save_file_io_probe.get('sequenceWithPidCount')}/{save_file_io_probe.get('sequenceCount')}; "
                f"fileIoSavedat1={save_file_io_probe.get('anySavedat1DatAccess')}; "
                f"straceFileIoBackend={save_file_io_strace_probe.get('backend')}; "
                f"straceFileIoUsable={save_file_io_strace_probe.get('inputTraceUsable')}; "
                f"straceFileIoPidRuns={save_file_io_strace_probe.get('sequenceWithPidCount')}/{save_file_io_strace_probe.get('sequenceCount')}; "
                f"straceFileIoSavedat1={save_file_io_strace_probe.get('anySavedat1DatAccess')}; "
                f"attachFileIoBackend={save_file_io_strace_attach_probe.get('backend')}; "
                f"attachFileIoUsable={save_file_io_strace_attach_probe.get('inputTraceUsable')}; "
                f"attachFileIoPidRuns={save_file_io_strace_attach_probe.get('sequenceWithPidCount')}/{save_file_io_strace_attach_probe.get('sequenceCount')}; "
                f"attachFileIoSavedat1={save_file_io_strace_attach_probe.get('anySavedat1DatAccess')}; "
                f"attachLoadFileIoBackend={save_file_io_strace_attach_load_candidates_probe.get('backend')}; "
                f"attachLoadFileIoUsable={save_file_io_strace_attach_load_candidates_probe.get('inputTraceUsable')}; "
                f"attachLoadFileIoPidRuns={save_file_io_strace_attach_load_candidates_probe.get('sequenceWithPidCount')}/{save_file_io_strace_attach_load_candidates_probe.get('sequenceCount')}; "
                f"attachLoadFileIoSavedat1={save_file_io_strace_attach_load_candidates_probe.get('anySavedat1DatAccess')}; "
                "attachCaseAliasLoadFileIoBackend="
                f"{save_file_io_strace_attach_load_candidates_case_alias_probe.get('backend')}; "
                "attachCaseAliasLoadFileIoUsable="
                f"{save_file_io_strace_attach_load_candidates_case_alias_probe.get('inputTraceUsable')}; "
                "attachCaseAliasLoadFileIoPidRuns="
                f"{save_file_io_strace_attach_load_candidates_case_alias_probe.get('sequenceWithPidCount')}/"
                f"{save_file_io_strace_attach_load_candidates_case_alias_probe.get('sequenceCount')}; "
                "attachCaseAliasLoadFileIoSavedat1="
                f"{save_file_io_strace_attach_load_candidates_case_alias_probe.get('anySavedat1DatAccess')}"
            ),
            "promotionImpact": "watchpoint proof for selected pointer/hotspot is not capturable here yet",
        },
        {
            "area": "selected pointer",
            "status": "trace-needed",
            "evidence": (
                f"global={selected_pointer_usage.get('selectedPointerGlobalHex')}; "
                f"currentRoot={selected_pointer_usage.get('currentSelectorRootHex')}; "
                f"directCurrentCodeRefs={selected_pointer_usage.get('currentCodeRefCount')}; "
                f"globalTextRefs={selected_pointer_usage.get('selectedPointerGlobalTextRefCount')}; "
                f"rootTextRefs={current_selector_root.get('textRefCount')}; "
                f"level2={current_second_level.get('valueHex')}; "
                f"readerRefs={current_frontier_reader.get('refCount')}; "
                f"sourceRefs={current_source_record.get('refCount')}; "
                f"targetRefs={current_target_record.get('refCount')}; "
                f"hooks={len(selected_hooks)}; "
                f"writerHooks={selected_pointer_usage.get('selectedPointerWriterHookCount')}; "
                f"readerHooks={selected_pointer_usage.get('selectedPointerReaderHookCount')}; "
                f"opcode8Read={opcode8_selected_read}"
            ),
            "promotionImpact": "0x0059de30 is still the runtime choke point to prove selector 2:0",
        },
        {
            "area": "current writer paths",
            "status": "blocked-current-internal-only",
            "evidence": (
                f"writers={current_writer_path_summary.get('writerCount')}; "
                f"starts={','.join(current_writer_path_summary.get('streamStartHexes') or []) or '-'}; "
                f"roots={','.join(current_writer_path_summary.get('rootHexes') or []) or '-'}; "
                f"labels={','.join(current_writer_path_summary.get('rootLabels') or []) or '-'}; "
                f"selectedStores={','.join(current_writer_path_summary.get('selectedPointerStoreVaHexes') or []) or '-'}; "
                f"activators={','.join(current_writer_path_summary.get('activationStoreVaHexes') or []) or '-'}; "
                f"evidenceRefs={current_writer_path_summary.get('evidenceRefCount')}; "
                f"outOfRangeHelper={current_writer_path_summary.get('outOfRangeHelperMentioned')}; "
                f"currentInternalOnly={current_writer_path_summary.get('currentInternalOnly')}; "
                f"proofFound={current_writer_path_summary.get('proofFound')}; "
                f"failedGates={','.join(current_writer_path_summary.get('failedCurrentWriterPathGateIds') or [])}; "
                f"missingEvidenceCount={len(current_writer_path_summary.get('missingEvidence') or [])}; "
                f"status={current_writer_path_summary.get('promotionStatus')}"
            ),
            "promotionImpact": "current-root stores exist, but they do not prove an external route-path entry into selector 2:0",
        },
        {
            "area": "selected-root execution gap",
            "status": "blocked-no-execution-ref",
            "evidence": (
                f"selectedRootRef={selected_root_execution_gap.get('selectedRootExecutionRefFound')}; "
                f"reject={selected_root_execution_gap.get('selectedRootExecutionRejectionClassification')}; "
                f"saveSelector2:0={selected_root_save_gate.get('currentSelectorRealSaveCount')}; "
                f"selectedPointerSave={selected_root_save_gate.get('selectedPointerRealSaveCount')}; "
                f"staticCodeRefs={selected_root_static_gate.get('currentCodeRefCount')}; "
                f"hookGraph={selected_root_hook_gate.get('hookHandlerCallGraphClassification')}; "
                "hookGraphRoots/Fns/Calls="
                f"{selected_root_hook_gate.get('hookHandlerCallGraphRootCount')}/"
                f"{selected_root_hook_gate.get('hookHandlerCallGraphReachableFunctionCount')}/"
                f"{selected_root_hook_gate.get('hookHandlerCallGraphDirectCallEdgeCount')}; "
                "hookGraphRoute/current/record/selector/branch="
                f"{selected_root_hook_gate.get('hookHandlerCallGraphRouteImmediateHitCount')}/"
                f"{selected_root_hook_gate.get('hookHandlerCallGraphCurrentImmediateHitCount')}/"
                f"{selected_root_hook_gate.get('hookHandlerCallGraphRouteRecordImmediateHitCount')}/"
                f"{selected_root_hook_gate.get('hookHandlerCallGraphRouteSelectorImmediateHitCount')}/"
                f"{selected_root_hook_gate.get('hookHandlerCallGraphBranchStateImmediateHitCount')}; "
                "hookGraphGeneric="
                f"{selected_root_hook_gate.get('hookHandlerCallGraphSelectedPointerImmediateHitCount')}/"
                f"{selected_root_hook_gate.get('hookHandlerCallGraphSelectorTableImmediateHitCount')}; "
                "hookGraphDepth="
                f"{selected_root_hook_gate.get('hookHandlerCallGraphDepthSensitivityMaxDepthChecked')}/"
                f"{selected_root_hook_gate.get('hookHandlerCallGraphDepthSensitivityProofAbsentAcrossCheckedDepths')}/"
                f"{selected_root_hook_gate.get('hookHandlerCallGraphDepthSensitivityCountsStableAtAndBeyondDefaultDepth')}; "
                "hookEncoded="
                f"{selected_root_hook_gate.get('hookHandlerEncodedTargetRawScalarCandidateCount')}/"
                f"{selected_root_hook_gate.get('hookHandlerEncodedTargetRouteProofRawScalarCandidateCount')}/"
                f"{selected_root_hook_gate.get('hookHandlerEncodedTargetRouteContextRawScalarCandidateCount')}/"
                f"{selected_root_hook_gate.get('hookHandlerEncodedTargetPromotingCandidateCount')}; "
                "hookEncodedClass="
                f"{selected_root_hook_gate.get('hookHandlerEncodedTargetClassification')}; "
                "nonCurrentRoot="
                f"{selected_root_opcode_gate.get('nonCurrentOpcode07CurrentRootSelectCount')}/"
                f"{selected_root_opcode_gate.get('nonCurrentOpcode09CurrentRootStoreCount')}/"
                f"{selected_root_opcode_gate.get('nonCurrentOpcode08NearestCurrentRootProducerCount')}; "
                "nonCurrentRange="
                f"{selected_root_opcode_gate.get('nonCurrentOpcode07CurrentRangeSelectCount')}/"
                f"{selected_root_opcode_gate.get('nonCurrentOpcode09CurrentRangeStoreCount')}/"
                f"{selected_root_opcode_gate.get('nonCurrentOpcode08NearestCurrentRangeProducerCount')}; "
                f"currentInternal={selected_root_opcode_gate.get('currentInternalOpcode09CurrentRangeStoreCount')}/"
                f"{selected_root_opcode_gate.get('currentInternalOpcode08NearestCurrentRangeProducerCount')}; "
                f"writerCount={(selected_root_execution_gap.get('currentWriterPathGate') or {}).get('writerCount')}; "
                f"remainingProofs={len(selected_root_execution_gap.get('remainingProofs') or selected_root_execution_gap.get('nextRequiredEvidence') or [])}; "
                f"evidenceRefs={len(selected_root_execution_gap.get('evidenceRefs') or [])}; "
                f"pollSamples={selected_root_runtime_gate.get('pollSampleCount')}; "
                f"pollObserved={','.join(selected_root_runtime_gate.get('pollObservedSelectors') or []) or '-'}; "
                f"preludePollSamples={selected_root_runtime_gate.get('preludePollSampleCount')}; "
                f"preludePollObserved={','.join(selected_root_runtime_gate.get('preludePollObservedSelectors') or []) or '-'}; "
                f"longPollSamples={selected_root_runtime_gate.get('longPollSampleCount')}; "
                f"longPollObserved={','.join(selected_root_runtime_gate.get('longPollObservedSelectors') or []) or '-'}; "
                f"latePollSamples={selected_root_runtime_gate.get('latePollSampleCount')}; "
                f"latePollObserved={','.join(selected_root_runtime_gate.get('latePollObservedSelectors') or []) or '-'}; "
                f"routeWatchSamples={selected_root_runtime_gate.get('routeWatchPollSampleCount')}; "
                f"routeWatchObserved={','.join(selected_root_runtime_gate.get('routeWatchPollObservedSelectors') or []) or '-'}; "
                f"routeWatchValues={selected_root_runtime_gate.get('routeWatchValues')}; "
                f"routeWatchRoute={selected_root_runtime_gate.get('routeWatchPollReachedRouteSelectorContext')}; "
                f"caseAliasMultiSaveLoadPollSamples={selected_root_runtime_gate.get('caseAliasMultislotSavedataLoadPollSampleCount')}; "
                "caseAliasMultiSaveLoadPollObserved="
                f"{','.join(selected_root_runtime_gate.get('caseAliasMultislotSavedataLoadPollObservedSelectors') or []) or '-'}; "
                f"caseAliasMultiSaveLoadPollPublicHit={selected_root_runtime_gate.get('caseAliasMultislotSavedataLoadPollReachedPublicSaveSelector')}; "
                f"caseAliasMultiSaveLoadPollRoute={selected_root_runtime_gate.get('caseAliasMultislotSavedataLoadPollReachedRouteSelector')}; "
                f"inputPathCaseAliasMultiSaveLoadPollSamples={selected_root_runtime_gate.get('inputPathCaseAliasMultislotSavedataLoadPollSampleCount')}; "
                "inputPathCaseAliasMultiSaveLoadPollObserved="
                f"{','.join(selected_root_runtime_gate.get('inputPathCaseAliasMultislotSavedataLoadPollObservedSelectors') or []) or '-'}; "
                f"inputPathCaseAliasMultiSaveLoadPollPublicHit={selected_root_runtime_gate.get('inputPathCaseAliasMultislotSavedataLoadPollReachedPublicSaveSelector')}; "
                f"inputPathCaseAliasMultiSaveLoadPollRoute={selected_root_runtime_gate.get('inputPathCaseAliasMultislotSavedataLoadPollReachedRouteSelector')}; "
                "predecessorRouteAttempt="
                f"{selected_root_runtime_gate.get('predecessorRouteAttemptSourceFileCount')}/"
                f"{selected_root_runtime_gate.get('predecessorRouteAttemptTotalSequenceCount')}/"
                f"{selected_root_runtime_gate.get('predecessorRouteAttemptTotalSampleCount')}; "
                f"predecessorRouteAttemptPublicFiles={selected_root_runtime_gate.get('predecessorRouteAttemptPublicObservedFileCount')}; "
                "predecessorRouteAttemptRouteCurrentHits="
                f"{selected_root_runtime_gate.get('predecessorRouteAttemptRouteSelectorHitCount')}/"
                f"{selected_root_runtime_gate.get('predecessorRouteAttemptCurrentRootHitCount')}; "
                f"predecessorRouteAttemptDominantDiversion={selected_root_runtime_gate.get('predecessorRouteAttemptDominantDiversionSelector')}; "
                "predecessorRouteAttemptDiversionContexts="
                f"{selected_root_runtime_gate.get('predecessorRouteAttemptDiversionSelectorContextCount')}/"
                f"{selected_root_runtime_gate.get('predecessorRouteAttemptFieldMapDiversionSelectorCount')}/"
                f"{selected_root_runtime_gate.get('predecessorRouteAttemptResourceOnlyDiversionSelectorCount')}; "
                f"predecessorRouteAttemptRouteEvidence={selected_root_runtime_gate.get('predecessorRouteAttemptDiversionRoutePromotionEvidenceFound')}; "
                f"predecessorRouteAttemptStatus={selected_root_runtime_gate.get('predecessorRouteAttemptPromotionStatus')}; "
                f"syntheticSelector20PollSamples={selected_root_runtime_gate.get('syntheticSelector20InputPathCaseAliasPollSampleCount')}; "
                "syntheticSelector20PollObserved="
                f"{','.join(selected_root_runtime_gate.get('syntheticSelector20InputPathCaseAliasPollObservedSelectors') or []) or '-'}; "
                "syntheticSelector20PollObservedStaged="
                f"{','.join(selected_root_runtime_gate.get('syntheticSelector20InputPathCaseAliasPollObservedStagedSelectors') or []) or '-'}; "
                f"syntheticSelector20PollStagedHit={selected_root_runtime_gate.get('syntheticSelector20InputPathCaseAliasPollReachedStagedSelector')}; "
                f"syntheticSelector20PollRoute={selected_root_runtime_gate.get('syntheticSelector20InputPathCaseAliasPollReachedRouteSelector')}; "
                f"patchedPublicSelector20PollSamples={selected_root_runtime_gate.get('patchedPublicSelector20InputPathCaseAliasPollSampleCount')}; "
                "patchedPublicSelector20PollKind="
                f"{selected_root_runtime_gate.get('patchedPublicSelector20InputPathCaseAliasPollStagedSaveKind')}; "
                "patchedPublicSelector20PollObserved="
                f"{','.join(selected_root_runtime_gate.get('patchedPublicSelector20InputPathCaseAliasPollObservedSelectors') or []) or '-'}; "
                f"patchedPublicSelector20PollRoute={selected_root_runtime_gate.get('patchedPublicSelector20InputPathCaseAliasPollReachedRouteSelector')}; "
                f"constructedDiagnosticRoute={selected_root_runtime_gate.get('constructedDiagnosticPollReachedRouteSelector')}; "
                f"fileIoAttachLoadPidRuns={selected_root_runtime_gate.get('fileIoAttachLoadSequenceWithPidCount')}/"
                f"{selected_root_runtime_gate.get('fileIoAttachLoadSequenceCount')}; "
                f"fileIoAttachLoadUsable={selected_root_runtime_gate.get('fileIoAttachLoadInputTraceUsable')}; "
                f"fileIoAttachLoadSavedat1={selected_root_runtime_gate.get('fileIoAttachLoadAnySavedat1Access')}; "
                "fileIoAttachCaseAliasLoadPidRuns="
                f"{selected_root_runtime_gate.get('fileIoAttachCaseAliasLoadSequenceWithPidCount')}/"
                f"{selected_root_runtime_gate.get('fileIoAttachCaseAliasLoadSequenceCount')}; "
                f"fileIoAttachCaseAliasLoadUsable={selected_root_runtime_gate.get('fileIoAttachCaseAliasLoadInputTraceUsable')}; "
                f"fileIoAttachCaseAliasLoadSavedat1={selected_root_runtime_gate.get('fileIoAttachCaseAliasLoadAnySavedat1Access')}; "
                f"anyPollRoute={selected_root_runtime_gate.get('anyRuntimePollReachedRouteSelector')}"
            ),
            "promotionImpact": "save/static/opcode/runtime paths still do not prove selector 2:0 execution",
        },
        {
            "area": "route-pair entry execution gap",
            "status": "blocked-entry-selection-unproven",
            "evidence": (
                f"entryIdx={route_pair_entry_execution_gap.get('routePairEntryIndices')}; "
                f"correctedIdx={route_pair_entry_execution_gap.get('routePairCorrectedTraceEntryIndices')}; "
                f"negativeReaderIdx={route_pair_entry_execution_gap.get('negativeReaderEntryIndices')}; "
                f"globalRoutePairIdx={route_pair_entry_execution_gap.get('globalCurrentSelectorRoutePairIndices')}; "
                "globalNegNonNeg="
                f"{route_pair_entry_execution_gap.get('globalCurrentSelectorNegativeRoutePairRowCount')}/"
                f"{route_pair_entry_execution_gap.get('globalCurrentSelectorNonNegativeRoutePairRowCount')}; "
                f"frontierLeafNegativeOnly={route_pair_entry_execution_gap.get('globalCurrentFrontierLeafOnlyNegative')}; "
                "correctedReader="
                f"{route_pair_entry_execution_gap.get('routePairCorrectedTraceReachesReaderCount')}/"
                f"{route_pair_entry_execution_gap.get('routePairCurrentEntryCount')}; "
                "normalSelectionGap="
                f"{route_pair_entry_execution_gap.get('correctedTraceNormalSelectionGapStatus')}/"
                f"{route_pair_entry_execution_gap.get('correctedTraceNormalSelectionGapFound')}; "
                "nonNegativeSelectReach="
                f"{route_pair_entry_execution_gap.get('frontierReaderSelectableByNonNegativeIndex')}/"
                f"{route_pair_entry_execution_gap.get('frontierReaderReachableByCorrectedNonNegativeIndex')}; "
                f"op7DirectAbsent={route_pair_entry_execution_gap.get('opcode07DirectEntrySelectionAbsent')}; "
                "op8CurrentRootRange="
                f"{route_pair_entry_execution_gap.get('opcode08SourceOrPredecessorCurrentRootProducerCount')}/"
                f"{route_pair_entry_execution_gap.get('opcode08SourceOrPredecessorCurrentRangeProducerCount')}; "
                f"op8Buckets={route_pair_entry_execution_gap.get('opcode08SourcePredecessorBucketSummary') or '-'}; "
                f"op8CurrentContrast={route_pair_entry_execution_gap.get('opcode08CurrentSelectorContrastSummary') or '-'}; "
                f"op9CurrentRangeStores={route_pair_entry_execution_gap.get('opcode09SourceOrPredecessorCurrentRangeStoreCount')}; "
                f"op9Unsupported={route_pair_entry_execution_gap.get('opcode09SourceOrPredecessorUnsupportedModeOpcode09RowCount')}; "
                "op9UnsupportedModes="
                f"{','.join(route_pair_entry_execution_gap.get('opcode09SourceOrPredecessorUnsupportedModesHex') or []) or '-'}; "
                f"op9CollisionRows={route_pair_entry_execution_gap.get('opcode09SourcePredecessorPointerCollisionSummary') or '-'}; "
                f"sourcePredCurrentProducers={route_pair_entry_execution_gap.get('sourceOrPredecessorCurrentProducerCount')}; "
                "indexSourceEntryRefs="
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceEntryPointerRefCount')}/"
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceEntryPointerTextRefCount')}/"
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceEntryPointerPromotingRefCount')}; "
                "indexSourceEncoded="
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceEncodedEntryAnchorRawScalarCandidateCount')}/"
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceEncodedEntryAnchorBranchAttachedEncodedFieldCount')}/"
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceEncodedEntryAnchorModeledControlFlowCandidateCount')}/"
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceEncodedEntryAnchorPromotingCandidateCount')}; "
                f"indexSourceEncodedClass={route_pair_entry_execution_gap.get('routePairIndexSourceEncodedEntryAnchorClassification')}; "
                "indexSourceFallthrough="
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceEntryPointerOpcode5aFallthroughRefCount')}/"
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceEntryPointerFallthroughNonCodeRefCount')}; "
                "indexSourcePromoting="
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceNonNegativeEntryPointerPromotingRefCount')}/"
                f"{route_pair_entry_execution_gap.get('routePairIndexSourceNegativeReaderEntryPointerPromotingRefCount')}; "
                "indexSourceHandlers="
                f"{','.join(route_pair_entry_execution_gap.get('routePairIndexSourceEntryPointerFallthroughHandlerSummaries') or []) or '-'}; "
                f"indexSourceProven={route_pair_entry_execution_gap.get('routePairIndexSourceHigherLevelIndexSourceProven')}; "
                "rootTableRefs="
                f"{route_pair_entry_execution_gap.get('rootTableWindowDirectRefCount')}/"
                f"{route_pair_entry_execution_gap.get('rootTableWindowDirectTextRefCount')}; "
                "rootTableEntryLeafFrontierReaderText="
                f"{route_pair_entry_execution_gap.get('rootTableRouteEntryAddressTextRefCount')}/"
                f"{route_pair_entry_execution_gap.get('rootTableRouteLeafValueTextRefCount')}/"
                f"{route_pair_entry_execution_gap.get('rootTableFrontierLeafValueTextRefCount')}/"
                f"{route_pair_entry_execution_gap.get('rootTableFrontierReaderValueTextRefCount')}; "
                f"rootTableFrontierReaderRefs={route_pair_entry_execution_gap.get('rootTableFrontierReaderValueRefCount')}; "
                f"wrapperEntryRunRefs={route_pair_entry_execution_gap.get('wrapperEntryCurrentRootEntryRunRefCount')}; "
                f"wrapperFallthroughRefs={route_pair_entry_execution_gap.get('wrapperEntryOpcode5aFallthroughRefCount')}; "
                f"wrapperFallthroughNonCodeRefs={route_pair_entry_execution_gap.get('wrapperEntryFallthroughNonCodeRefCount')}; "
                "wrapperFallthroughHandlers="
                f"{','.join(route_pair_entry_execution_gap.get('wrapperEntryFallthroughHandlerSummaries') or []) or '-'}; "
                f"wrapperExec={route_pair_entry_execution_gap.get('wrapperExecutionProofFound')}; "
                f"selectedRootRef={route_pair_entry_execution_gap.get('selectedRootExecutionRefFound')}; "
                f"entryExec={route_pair_entry_execution_gap.get('routePairEntryExecutionProven')}; "
                f"strictHotspot={route_pair_entry_execution_gap.get('strictHotspotFound')}; "
                f"status={route_pair_entry_execution_gap.get('promotionStatus')}"
            ),
            "promotionImpact": "entries 6/8 are reader-shaped, but no normal route path proves they are selected or executed",
        },
        {
            "area": "patched selector follow-up context",
            "status": "diagnostic-only",
            "evidence": (
                f"transitionRows={patched_followup_runtime.get('transitionPairCount')}; "
                "followupPointers="
                f"{','.join(patched_followup_runtime.get('followupSelectedPointerStaticHexes') or []) or '-'}; "
                f"timeline={runtime_patched_selector_followup_context.get('runtimeTransitionTimelineAvailable')}; "
                "observedCurrentThenFollowup="
                f"{runtime_patched_selector_followup_context.get('observedCurrentThenFollowupInDiagnosticPoll')}; "
                f"followupSelector={runtime_patched_selector_followup_context.get('followupSelector')}; "
                f"followupRole={patched_followup_alias.get('role')}; "
                f"containsSource={patched_followup_alias.get('containsSource')}; "
                f"containsTarget={patched_followup_alias.get('containsTarget')}; "
                f"hasPublicSample={patched_followup_alias.get('hasPublicSample')}; "
                f"statePass={patched_followup_state.get('passingStartSlotCount')}/12; "
                f"bridgeExec={patched_followup_bridge.get('aliasToCurrentAfterLastFillExecutionLikeBridgeFound')}; "
                "bridgeTraceW/R/S="
                f"{patched_followup_bridge.get('aliasToCurrentAfterLastFillTraceCurrentWriterHitCount')}/"
                f"{patched_followup_bridge.get('aliasToCurrentAfterLastFillTraceCurrentReaderHitCount')}/"
                f"{patched_followup_bridge.get('aliasToCurrentAfterLastFillTraceRouteSceneRecordHitCount')}; "
                f"selectedPathCandidates={patched_followup_global.get('promotingCandidateCount')}; "
                f"followupPtrRootOffset={patched_followup_exact.get('rootOffsetHex')}; "
                f"followupPtrTail={patched_followup_exact.get('withinAddressPredecessorTail')}; "
                f"followupPtrRootStart={patched_followup_exact.get('startsAtAliasRoot')}; "
                f"followupPtrOpcodes={patched_followup_exact.get('firstOpcodeHex')}/"
                f"{patched_followup_exact.get('secondOpcodeHex')}; "
                f"followupPtrDescriptor={patched_followup_exact.get('opcode20DescriptorPointerHex')}; "
                f"followupPtrTraceStop={patched_followup_exact.get('traceStopReason')}; "
                f"followupPtrExactBridge={patched_followup_exact.get('exactSelectedPointerDwordIsCurrentRangeBridge')}; "
                f"followupPtrNearbyBridgeDwords={patched_followup_exact.get('nearbyCurrentRangeBridgeDwordCount')}; "
                "followupPtrTraceRefs="
                f"{patched_followup_exact.get('traceContainsSelectedPointerGlobal')}/"
                f"{patched_followup_exact.get('traceContainsCurrentRootExactRef')}/"
                f"{patched_followup_exact.get('traceContainsCurrentRootRangePointer')}/"
                f"{patched_followup_exact.get('traceContainsSourceMapString')}/"
                f"{patched_followup_exact.get('traceContainsTargetMapString')}; "
                f"activeOrderSamples={patched_followup_active_order.get('sampleCount')}; "
                f"activeOrderTotalSamples={patched_followup_active_order.get('totalSampleCount')}; "
                f"activeOrderRouteRows={patched_followup_active_order.get('sequenceCount')}; "
                f"activeOrderCount={patched_followup_active_order.get('activeOrderCountHex')}; "
                "activeOrderBytes="
                f"{'/'.join(patched_followup_active_order.get('orderByteHexes') or []) or '-'}; "
                "activeOrderUsed="
                f"{'/'.join(patched_followup_active_order.get('activeOrderHexes') or []) or '-'}; "
                "activeSlotStatic="
                f"{'/'.join(value for value in patched_followup_active_order.get('activeSlotFirstDwordsStaticHex') or [] if value) or '-'}; "
                "runtimeSlotBaseStatic="
                f"{'/'.join(value for value in patched_followup_active_order.get('runtimeSlotBaseTableStaticHexes') or [] if value) or '-'}; "
                "runtimeObjectStatic="
                f"{'/'.join(value for value in patched_followup_active_order.get('runtimeObjectTableStaticHexes') or [] if value) or '-'}; "
                f"activeOrderStable={patched_followup_active_order.get('allWatchedValuesStable')}; "
                f"branchStateSamples={patched_followup_branch_state.get('totalSampleCount')}; "
                f"branchStateRouteSamples={patched_followup_branch_state.get('sampleCount')}; "
                "branchStateObserved="
                f"{','.join(patched_followup_branch_state.get('observedSelectors') or []) or '-'}; "
                f"branchStateActive={patched_followup_branch_state.get('activeSelectionFlagHex')}; "
                f"branchStateAllZero={patched_followup_branch_state.get('secondaryBranchStateAllZero')}; "
                "branchStateMatchesFill="
                f"{patched_followup_branch_state.get('matchesPredecessorFillHypothesis')}; "
                f"exitCandidateSamples={patched_followup_exit_candidates.get('candidateCount')}; "
                "exitCandidateRouteSides="
                f"{','.join(patched_followup_exit_candidates.get('routeSelectorSides') or []) or '-'}; "
                "exitCandidateBranchNonzero="
                f"{','.join(patched_followup_exit_candidates.get('branchStateNonzeroSides') or []) or '-'}; "
                f"exitCandidateDiagnostic={patched_followup_exit_candidates.get('promotionStatus')}; "
                f"leftStabilitySamples={patched_followup_left_stability.get('sampleCount')}; "
                "leftStabilityRouteSeq="
                f"{','.join(patched_followup_left_stability.get('routeSequenceNames') or []) or '-'}; "
                "leftStabilityNonRouteSeq="
                f"{','.join(patched_followup_left_stability.get('nonRouteSequenceNames') or []) or '-'}; "
                "leftStabilityObserved="
                f"{','.join(patched_followup_left_stability.get('observedSelectors') or []) or '-'}; "
                f"leftStabilityRouteHits={patched_followup_left_stability.get('routeSelectorHitCount')}; "
                f"leftStabilityOpcode24AllZero={patched_followup_left_stability.get('opcode24AllZero')}; "
                f"leftStabilityRepro={patched_followup_left_stability.get('routeHitReproducibility')}; "
                "leftStabilityRecheckObserved="
                f"{','.join((patched_followup_left_stability.get('recheck') or {}).get('observedSelectors') or []) or '-'}; "
                f"leftStabilityRecheckRouteHits={(patched_followup_left_stability.get('recheck') or {}).get('routeSelectorHitCount')}; "
                "leftActiveOrderRecheckObserved="
                f"{','.join((patched_followup_left_stability.get('activeOrderRecheck') or {}).get('observedSelectors') or []) or '-'}; "
                f"leftActiveOrderRecheckRouteHits={(patched_followup_left_stability.get('activeOrderRecheck') or {}).get('routeSelectorHitCount')}; "
                f"leftActiveOrderCount={(patched_followup_left_stability.get('activeOrderRecheck') or {}).get('activeOrderCountValues')}; "
                f"leftStabilityDiagnostic={patched_followup_left_stability.get('promotionStatus')}; "
                f"notRouteProof={runtime_patched_selector_followup_context.get('notRoutePromotionProof')}"
            ),
            "promotionImpact": "sampled 2:0->10:0 movement is from a patched diagnostic save, not confirmed normal route execution",
        },
    ]
    promotion_allowed = all(row["status"] == "proven" for row in evidence_rows)
    next_required = [
        "captured gameplay savedat with selector bytes 0x0002=2 and 0x0003=0, or runtime proof that 0x0059de30 becomes 0x00540714 on the route path",
        "strict map1_01a source coordinate/hotspot or equivalent runtime trigger",
        "control-flow/state proof that selector 0:0/1:0 merge reaches selector 2:0 without clearing secondaryBranchState",
    ]
    return {
        "source": SOURCE,
        "target": TARGET,
        "promotionStatus": "blocked",
        "promotionAllowed": promotion_allowed,
        "routeQueueStatus": queue_row.get("blockerStatus"),
        "routeQueuePromotionRisk": queue_row.get("promotionRisk"),
        "normalProgressionStatus": normal_progression.get("status"),
        "normalProgressionGaps": normal_progression.get("gaps") or [],
        "missingPromotionEvidence": route_queue_missing,
        "externalProofHandoffUrl": external_handoff_url,
        "externalProofHandoffRegenerateCommand": external_handoff_command,
        "externalProofHandoffExpectedPackageIds": external_handoff_package_ids,
        "routeQueueMissingEvidence": route_queue_missing,
        "routeQueueNonPromotingEvidence": route_queue_non_promoting,
        "exitEvidence": exit_summary,
        "originalCollisionRouteEvidence": {
            "collisionMode": original_collision_route_audit.get("collisionMode"),
            "routeCandidateCount": original_collision_route_audit.get("routeCandidateCount"),
            "sourceOriginalStandableCandidateCount": original_collision_route_audit.get(
                "sourceOriginalStandableCandidateCount"
            ),
            "targetOriginalStandableSpawnCount": original_collision_route_audit.get(
                "targetOriginalStandableSpawnCount"
            ),
            "allSourceCandidatesOriginalStandable": original_collision_route_audit.get(
                "allSourceCandidatesOriginalStandable"
            ),
            "allTargetSpawnsOriginalStandable": original_collision_route_audit.get(
                "allTargetSpawnsOriginalStandable"
            ),
            "promotionAllowed": original_collision_route_audit.get("promotionAllowed"),
            "promotionStatus": original_collision_route_audit.get("promotionStatus"),
            "proofFound": original_collision_route_audit.get("proofFound"),
            "originalCollisionRouteProofFound": original_collision_route_audit.get(
                "originalCollisionRouteProofFound"
            ),
            "failedOriginalCollisionRouteGateIds": original_collision_route_audit.get(
                "failedOriginalCollisionRouteGateIds"
            )
            or [],
            "missingEvidence": original_collision_route_audit.get("missingEvidence") or [],
            "evidenceRefCount": original_collision_route_audit.get("evidenceRefCount"),
        },
        "edgeTriggerGapEvidence": {
            "promotionStatus": edge_trigger_gap.get("promotionStatus"),
            "promotionAllowed": edge_trigger_gap.get("promotionAllowed"),
            "routeCandidateCount": edge_trigger_gap.get("routeCandidateCount"),
            "sourceBoundaryCandidateCount": edge_trigger_gap.get("sourceBoundaryCandidateCount"),
            "autoBoundaryCandidateCount": edge_trigger_gap.get("autoBoundaryCandidateCount"),
            "allBoundarySnippetsMatchExpected": (
                (edge_trigger_gap.get("collisionHelperEvidence") or {}).get("allBoundarySnippetsMatchExpected")
            ),
            "allBoundaryCasesFallThroughToActorOverlapLoop": (
                (edge_trigger_gap.get("collisionHelperEvidence") or {}).get(
                    "allBoundaryCasesFallThroughToActorOverlapLoop"
                )
            ),
            "collisionHelperCallCount": (
                (edge_trigger_gap.get("actorControllerEvidence") or {}).get("collisionHelperCallCount")
            ),
            "transitionLikeDirectRelHitCountInHelperOrController": edge_trigger_gap.get(
                "transitionLikeDirectRelHitCountInHelperOrController"
            ),
            "directRouteImmediateCountInHelperOrController": edge_trigger_gap.get(
                "directRouteImmediateCountInHelperOrController"
            ),
            "globalMapLoaderDirectRelHitCount": edge_trigger_global_refs.get(
                "mapLoaderDirectRelHitCount"
            ),
            "globalScriptRunnerDirectRelHitCount": edge_trigger_global_refs.get(
                "scriptRunnerDirectRelHitCount"
            ),
            "globalSelectorTableDirectRelHitCount": edge_trigger_global_refs.get(
                "selectorTableDirectRelHitCount"
            ),
            "globalSelectedPointerImmediateCount": edge_trigger_global_refs.get(
                "selectedPointerGlobalImmediateCount"
            ),
            "globalCurrentRootImmediateCount": edge_trigger_global_refs.get(
                "currentSelectorRootImmediateCount"
            ),
            "globalSourceMapStringImmediateCount": edge_trigger_global_refs.get(
                "sourceMapStringImmediateCount"
            ),
            "globalTargetMapStringImmediateCount": edge_trigger_global_refs.get(
                "targetMapStringImmediateCount"
            ),
            "directionLatchDirectRefCount": (
                (edge_trigger_gap.get("directionLatchReferenceEvidence") or {}).get("directRefCount")
            ),
            "directionLatchOtherTextRefCount": (
                (edge_trigger_gap.get("directionLatchReferenceEvidence") or {}).get("otherTextRefCount")
            ),
            "directionLatchTransitionLikeWindowRelHitCount": (
                (edge_trigger_gap.get("directionLatchReferenceEvidence") or {}).get("transitionLikeWindowRelHitCount")
            ),
            "directionLatchRouteImmediateWindowHitCount": (
                (edge_trigger_gap.get("directionLatchReferenceEvidence") or {}).get("routeImmediateWindowHitCount")
            ),
            "scriptRunnerCallerCount": edge_trigger_script_runner_context.get("callerCount"),
            "scriptRunnerRouteWindowImmediateHitCount": edge_trigger_script_runner_context.get(
                "routeImmediateWindowHitCount"
            ),
            "scriptRunnerMapLoaderWindowRelHitCount": edge_trigger_script_runner_context.get(
                "mapLoaderWindowRelHitCount"
            ),
            "scriptRunnerSelectorTableWindowRelHitCount": edge_trigger_script_runner_context.get(
                "selectorTableWindowRelHitCount"
            ),
            "scriptRunnerActorControllerRangeCallerCount": edge_trigger_script_runner_context.get(
                "actorControllerRangeCallerCount"
            ),
            "scriptRunnerCollisionHelperRangeCallerCount": edge_trigger_script_runner_context.get(
                "collisionHelperRangeCallerCount"
            ),
            "selectedPointerImmediateRefCount": edge_trigger_selected_pointer_context.get(
                "immediateRefCount"
            ),
            "selectedPointerRouteSpecificWindowHitCount": edge_trigger_selected_pointer_context.get(
                "routeSpecificWindowHitCount"
            ),
            "selectedPointerCurrentRootWindowImmediateHitCount": edge_trigger_selected_pointer_context.get(
                "currentSelectorRootImmediateWindowHitCount"
            ),
            "selectedPointerSourceStringWindowImmediateHitCount": edge_trigger_selected_pointer_context.get(
                "sourceMapStringImmediateWindowHitCount"
            ),
            "selectedPointerTargetStringWindowImmediateHitCount": edge_trigger_selected_pointer_context.get(
                "targetMapStringImmediateWindowHitCount"
            ),
            "selectedPointerMapLoaderWindowRelHitCount": edge_trigger_selected_pointer_context.get(
                "mapLoaderWindowRelHitCount"
            ),
            "selectedPointerScriptRunnerWindowRelHitCount": edge_trigger_selected_pointer_context.get(
                "scriptRunnerWindowRelHitCount"
            ),
            "selectedPointerSelectorTableWindowRelHitCount": edge_trigger_selected_pointer_context.get(
                "selectorTableWindowRelHitCount"
            ),
            "actorControllerCallerCount": edge_trigger_actor_caller_windows.get("callerCount"),
            "actorControllerCallerRouteWindowRelHitCount": edge_trigger_actor_caller_windows.get(
                "transitionLikeWindowRelHitCount"
            ),
            "actorControllerCallerRouteWindowImmediateHitCount": edge_trigger_actor_caller_windows.get(
                "routeImmediateWindowHitCount"
            ),
            "collisionHelperCallerCount": edge_trigger_collision_caller_windows.get("callerCount"),
            "collisionHelperCallerRouteWindowRelHitCount": edge_trigger_collision_caller_windows.get(
                "transitionLikeWindowRelHitCount"
            ),
            "collisionHelperCallerRouteWindowImmediateHitCount": edge_trigger_collision_caller_windows.get(
                "routeImmediateWindowHitCount"
            ),
            "directCallGraphRejectionClassification": edge_trigger_direct_call_graph.get(
                "classification"
            ),
            "directCallGraphProofFound": edge_trigger_direct_call_graph.get("proofFound"),
            "directCallGraphReachableFunctionCount": edge_trigger_direct_call_graph.get(
                "reachableFunctionCount"
            ),
            "directCallGraphDirectCallEdgeCount": edge_trigger_direct_call_graph.get(
                "directCallEdgeCount"
            ),
            "directCallGraphTransitionTargetReachableCount": edge_trigger_direct_call_graph.get(
                "transitionTargetReachableCount"
            ),
            "directCallGraphTransitionTargetHitCount": edge_trigger_direct_call_graph.get(
                "transitionTargetHitCount"
            ),
            "directCallGraphRouteImmediateHitCount": edge_trigger_direct_call_graph.get(
                "routeImmediateHitCount"
            ),
            "directCallGraphIndirectCallLikeByteCount": edge_trigger_direct_call_graph.get(
                "indirectCallLikeByteCount"
            ),
            "directCallGraphIndirectRejectionClassification": edge_trigger_direct_call_graph.get(
                "indirectCallGraphRejectionClassification"
            ),
            "directCallGraphIndirectProofFound": edge_trigger_direct_call_graph.get(
                "indirectCallGraphProofFound"
            ),
            "directCallGraphIndirectIndexedJumpTableCandidateCount": edge_trigger_direct_call_graph.get(
                "indirectCallGraphIndexedJumpTableCandidateCount"
            ),
            "directCallGraphIndirectIndexedJumpTableEntryCount": edge_trigger_direct_call_graph.get(
                "indirectCallGraphIndexedJumpTableEntryCount"
            ),
            "directCallGraphIndirectTransitionTargetHitCount": edge_trigger_direct_call_graph.get(
                "indirectCallGraphTransitionTargetHitCount"
            ),
            "directCallGraphIndirectRouteImmediateHitCount": edge_trigger_direct_call_graph.get(
                "indirectCallGraphRouteImmediateHitCount"
            ),
            "directCallGraphDepthSensitivityMaxDepthChecked": edge_trigger_call_graph_sensitivity.get(
                "maxDepthChecked"
            ),
            "directCallGraphDepthSensitivityProofAbsentAcrossCheckedDepths": (
                edge_trigger_call_graph_sensitivity.get("proofAbsentAcrossCheckedDepths")
            ),
            "directCallGraphDepthSensitivityCountsStableAtAndBeyondDefaultDepth": (
                edge_trigger_call_graph_sensitivity.get("countsStableAtAndBeyondDefaultDepth")
            ),
        },
        "tileHotspotPatternEvidence": {
            "promotionStatus": tile_hotspot_pattern_contrast.get("promotionStatus"),
            "tileHotspotConfirmed": tile_hotspot_pattern_contrast.get("tileHotspotConfirmed"),
            "strictSourceCoordinateFound": tile_hotspot_pattern_contrast.get("strictSourceCoordinateFound"),
            "confirmedReviewCount": tile_hotspot_pattern_contrast.get("confirmedReviewCount"),
            "confirmedRejectedCount": tile_hotspot_pattern_contrast.get("confirmedRejectedCount"),
            "confirmedEventRecordHex": tile_hotspot_pattern_contrast.get("confirmedEventRecordHex"),
            "currentCandidateCount": tile_hotspot_pattern_contrast.get("currentCandidateCount"),
            "currentStrictEventPointCount": tile_hotspot_pattern_contrast.get("currentStrictEventPointCount"),
            "currentStrictTransitionReviewCount": tile_hotspot_pattern_contrast.get(
                "currentStrictTransitionReviewCount"
            ),
            "currentOriginalStandableCandidateCount": tile_hotspot_pattern_contrast.get(
                "currentOriginalStandableCandidateCount"
            ),
            "currentTargetSpawnOriginalStandableCount": tile_hotspot_pattern_contrast.get(
                "currentTargetSpawnOriginalStandableCount"
            ),
            "currentCandidatesMatchingConfirmedLowNibbleCount": tile_hotspot_pattern_contrast.get(
                "currentCandidatesMatchingConfirmedLowNibbleCount"
            ),
            "currentCandidatesMatchingConfirmedCenterPairCount": tile_hotspot_pattern_contrast.get(
                "currentCandidatesMatchingConfirmedCenterPairCount"
            ),
            "currentCandidatesMatchingConfirmedLow3x3Count": tile_hotspot_pattern_contrast.get(
                "currentCandidatesMatchingConfirmedLow3x3Count"
            ),
            "currentCandidatesMatchingConfirmedPair3x3Count": tile_hotspot_pattern_contrast.get(
                "currentCandidatesMatchingConfirmedPair3x3Count"
            ),
        },
        "strictEventTileSignatureEvidence": {
            "promotionStatus": strict_event_tile_signature_scan.get("promotionStatus"),
            "tileHotspotConfirmed": strict_event_tile_signature_scan.get("tileHotspotConfirmed"),
            "tileSignaturePromotes": strict_event_tile_signature_scan.get("tileSignaturePromotes"),
            "strictEventRecordCount": strict_event_tile_signature_scan.get("strictEventRecordCount"),
            "strictEventPointCount": strict_event_tile_signature_scan.get("strictEventPointCount"),
            "reviewedStrictEventPointCount": strict_event_tile_signature_scan.get("reviewedStrictEventPointCount"),
            "confirmedStrictEventPointCount": strict_event_tile_signature_scan.get("confirmedStrictEventPointCount"),
            "targetLinkedStrictEventRecordCount": strict_event_tile_signature_scan.get(
                "targetLinkedStrictEventRecordCount"
            ),
            "directSourceTargetStrictEventRecordCount": strict_event_tile_signature_scan.get(
                "directSourceTargetStrictEventRecordCount"
            ),
            "candidateCount": strict_event_tile_signature_scan.get("candidateCount"),
            "candidatesWithCenterPairMatchCount": strict_event_tile_signature_scan.get(
                "candidatesWithCenterPairMatchCount"
            ),
            "centerPairMatchCount": strict_event_tile_signature_scan.get("centerPairMatchCount"),
            "centerPairSameSourceMatchCount": strict_event_tile_signature_scan.get(
                "centerPairSameSourceMatchCount"
            ),
            "centerPairTargetLinkedMatchCount": strict_event_tile_signature_scan.get(
                "centerPairTargetLinkedMatchCount"
            ),
            "centerPairConfirmedReviewMatchCount": strict_event_tile_signature_scan.get(
                "centerPairConfirmedReviewMatchCount"
            ),
            "centerPairRejectedReviewMatchCount": strict_event_tile_signature_scan.get(
                "centerPairRejectedReviewMatchCount"
            ),
            "allCenterPairMatchesRejectedReview": strict_event_tile_signature_scan.get(
                "allCenterPairMatchesRejectedReview"
            ),
            "centerPairOwnerPairs": strict_event_tile_signature_scan.get("centerPairOwnerPairs"),
            "candidatesWithLow3x3MatchCount": strict_event_tile_signature_scan.get(
                "candidatesWithLow3x3MatchCount"
            ),
            "candidatesWithPair3x3MatchCount": strict_event_tile_signature_scan.get(
                "candidatesWithPair3x3MatchCount"
            ),
            "targetSpawnTargetMapStrictEventPointCount": strict_event_tile_signature_scan.get(
                "targetSpawnTargetMapStrictEventPointCount"
            ),
            "candidatesWithTargetSpawnCenterPairMatchCount": strict_event_tile_signature_scan.get(
                "candidatesWithTargetSpawnCenterPairMatchCount"
            ),
            "candidatesWithTargetSpawnLow3x3MatchCount": strict_event_tile_signature_scan.get(
                "candidatesWithTargetSpawnLow3x3MatchCount"
            ),
            "candidatesWithTargetSpawnPair3x3MatchCount": strict_event_tile_signature_scan.get(
                "candidatesWithTargetSpawnPair3x3MatchCount"
            ),
            "targetSpawnCenterPairStrictEventMatchCount": strict_event_tile_signature_scan.get(
                "targetSpawnCenterPairStrictEventMatchCount"
            ),
            "targetSpawnLow3x3StrictEventMatchCount": strict_event_tile_signature_scan.get(
                "targetSpawnLow3x3StrictEventMatchCount"
            ),
            "targetSpawnPair3x3StrictEventMatchCount": strict_event_tile_signature_scan.get(
                "targetSpawnPair3x3StrictEventMatchCount"
            ),
            "targetSpawnCenterPairTargetMapMatchCount": strict_event_tile_signature_scan.get(
                "targetSpawnCenterPairTargetMapMatchCount"
            ),
            "targetSpawnLow3x3TargetMapMatchCount": strict_event_tile_signature_scan.get(
                "targetSpawnLow3x3TargetMapMatchCount"
            ),
            "targetSpawnPair3x3TargetMapMatchCount": strict_event_tile_signature_scan.get(
                "targetSpawnPair3x3TargetMapMatchCount"
            ),
            "targetSpawnLow3x3TargetLinkedMatchCount": strict_event_tile_signature_scan.get(
                "targetSpawnLow3x3TargetLinkedMatchCount"
            ),
            "targetSpawnLow3x3ConfirmedReviewMatchCount": strict_event_tile_signature_scan.get(
                "targetSpawnLow3x3ConfirmedReviewMatchCount"
            ),
            "targetSpawnLow3x3RejectedReviewMatchCount": strict_event_tile_signature_scan.get(
                "targetSpawnLow3x3RejectedReviewMatchCount"
            ),
            "targetSpawnLow3x3OwnerPairs": strict_event_tile_signature_scan.get(
                "targetSpawnLow3x3OwnerPairs"
            ),
            "targetSpawnLow3x3GenericOnly": strict_event_tile_signature_scan.get(
                "targetSpawnLow3x3GenericOnly"
            ),
            "allTargetSpawnCenterPairMatchesZero": strict_event_tile_signature_scan.get(
                "allTargetSpawnCenterPairMatchesZero"
            ),
            "allTargetSpawnPair3x3MatchesZero": strict_event_tile_signature_scan.get(
                "allTargetSpawnPair3x3MatchesZero"
            ),
            "allTargetSpawnTargetMapStrictEventsZero": strict_event_tile_signature_scan.get(
                "allTargetSpawnTargetMapStrictEventsZero"
            ),
            "allTargetLinkedStrictEventMatchesZero": strict_event_tile_signature_scan.get(
                "allTargetLinkedStrictEventMatchesZero"
            ),
            "allDirectSourceTargetStrictEventMatchesZero": strict_event_tile_signature_scan.get(
                "allDirectSourceTargetStrictEventMatchesZero"
            ),
            "allConfirmedReviewPair3x3MatchesZero": strict_event_tile_signature_scan.get(
                "allConfirmedReviewPair3x3MatchesZero"
            ),
        },
        "strictSourceHotspotContextEvidence": strict_source_hotspot_context,
        "strictTargetLinkGapEvidence": {
            "promotionStatus": strict_target_link_gap.get("promotionStatus"),
            "proofFound": strict_target_link_gap.get("proofFound"),
            "strictTargetLinkProofFound": strict_target_link_gap.get(
                "strictTargetLinkProofFound"
            ),
            "failedStrictTargetLinkGateIds": strict_target_link_gap.get(
                "failedStrictTargetLinkGateIds"
            )
            or [],
            "missingEvidence": strict_target_link_gap.get("missingEvidence") or [],
            "remainingProofs": strict_target_link_gap.get("remainingProofs") or [],
            "directStrictEventTransitionCount": strict_target_link_gap.get(
                "directStrictEventTransitionCount"
            ),
            "sourceStrictClusterCount": strict_target_link_gap.get("sourceStrictClusterCount"),
            "sourceIncomingOnlyStrictClusterCount": strict_target_link_gap.get(
                "sourceIncomingOnlyStrictClusterCount"
            ),
            "sourceOutgoingStrictClusterCount": strict_target_link_gap.get(
                "sourceOutgoingStrictClusterCount"
            ),
            "targetStrictClusterCount": strict_target_link_gap.get("targetStrictClusterCount"),
            "targetSelectorOnlyClusterCount": strict_target_link_gap.get(
                "targetSelectorOnlyClusterCount"
            ),
            "targetSelectorOnlySourceOverlapCount": strict_target_link_gap.get(
                "targetSelectorOnlySourceOverlapCount"
            ),
            "targetSelectorOnlySourceTargetRoutePairClusterCount": strict_target_link_gap.get(
                "targetSelectorOnlySourceTargetRoutePairClusterCount"
            ),
            "currentFrontierClusterRangeHex": (
                strict_target_current_frontier_range
            ),
            "currentFrontierRoutePairCount": strict_target_link_gap.get(
                "currentFrontierRoutePairCount"
            ),
            "currentFrontierSourceOutgoingRoutePairCount": strict_target_link_gap.get(
                "currentFrontierSourceOutgoingRoutePairCount"
            ),
            "currentFrontierTargetIncomingRoutePairCount": strict_target_link_gap.get(
                "currentFrontierTargetIncomingRoutePairCount"
            ),
            "currentFrontierClusterIsSelectorOnly": strict_target_link_gap.get(
                "currentFrontierClusterIsSelectorOnly"
            ),
            "strictTargetLinkFound": strict_target_link_gap.get("strictTargetLinkFound"),
            "evidenceRefCount": strict_target_link_gap.get("evidenceRefCount"),
        },
        "hotspotEvidence": {
            "strictHotspotFound": hotspot_gap.get("strictHotspotFound"),
            "eventTransitionCount": hotspot_gap.get("eventTransitionCount"),
            "sourceEventShapeRecordCount": event_shape_scan.get("sourceEventShapeRecordCount"),
            "targetEventShapeRecordCount": event_shape_scan.get("targetEventShapeRecordCount"),
            "directStrictEventTransitionCount": event_shape_scan.get("directStrictEventTransitionCount"),
            "currentFrontierEventShapeFound": event_shape_scan.get("currentFrontierEventShapeFound"),
            "allStrictEventShapeRecordCount": all_event_shape_scan.get("allStrictEventShapeRecordCount"),
            "allStrictEventShapesMatchExtractedEvents": all_event_shape_scan.get("allStrictEventShapesMatchExtractedEvents"),
            "relaxedNonStrictSmallEventRecordCount": all_event_shape_scan.get("relaxedNonStrictSmallEventRecordCount"),
            "relaxedNonStrictMapCount": all_event_shape_scan.get("relaxedNonStrictMapCount"),
            "relaxedRowsTouchingSourceOrTargetCount": all_event_shape_scan.get("relaxedRowsTouchingSourceOrTargetCount"),
            "manifestPointPromotableSourceCount": hotspot_gap.get("manifestPointPromotableSourceCount"),
            "scenePayloadPointerCount": scene_payload.get("payloadCount"),
            "scenePayloadInBoundsPointCount": scene_payload.get("inBoundsPointCount"),
            "scenePayloadTextRefCount": scene_payload.get("rangeTextRefCount"),
            "scenePayloadPromotionCount": scene_payload.get("promotionPayloadCount"),
            "sceneRecordSourceRecordCount": scene_record_cluster_context.get("sourceSceneRecordCount"),
            "sceneRecordSourceUnlinkedCount": scene_record_cluster_context.get("sourceSceneRecordUnlinkedCount"),
            "sceneRecordSourceStrictIncomingClusterCount": scene_record_cluster_context.get("sourceStrictIncomingClusterCount"),
            "sceneRecordSourceStrictOutgoingClusterCount": scene_record_cluster_context.get("sourceStrictOutgoingClusterCount"),
            "sceneRecordTargetSelectorOnlyClusterCount": scene_record_cluster_context.get("targetSelectorOnlyClusterCount"),
            "sceneRecordSourceTargetSharedStrictClusterCount": scene_record_cluster_context.get("sourceTargetSharedStrictClusterCount"),
            "sceneRecordSourceTargetSharedSelectorOnlyClusterCount": scene_record_cluster_context.get("sourceTargetSharedSelectorOnlyClusterCount"),
            "sceneRecordCurrentFrontierEventRecordCount": scene_record_cluster_context.get("currentFrontierEventRecordCount"),
            "sceneRecordCurrentFrontierSaveSelectorRefCount": scene_record_cluster_context.get("currentFrontierSaveSelectorRefCount"),
            "sceneRecordPromotionStatus": scene_record_cluster_context.get("promotionStatus"),
            "promotionStatus": hotspot_gap.get("promotionStatus"),
        },
        "selectorMergeEvidence": {
            "sourceSelector": merge_gap.get("sourceSelector"),
            "targetSelector": merge_gap.get("targetSelector"),
            "currentSelector": merge_gap.get("currentSelector"),
            "selectorMergeGapOpen": merge_gap.get("selectorMergeGapOpen"),
            "samePreviousContainsRoutePair": merge_gap.get("samePreviousContainsRoutePair"),
            "sourceToCurrentBridgeHitCount": merge_gap.get("sourceToCurrentBridgeHitCount"),
            "currentToSourceBridgeHitCount": merge_gap.get("currentToSourceBridgeHitCount"),
            "targetToCurrentBridgeHitCount": merge_gap.get("targetToCurrentBridgeHitCount"),
            "currentToTargetBridgeHitCount": merge_gap.get("currentToTargetBridgeHitCount"),
            "targetReverseHitsOnlyBeforeFill": merge_gap.get("targetReverseHitsOnlyBeforeFill"),
            "wrapperDescriptorHex": wrapper_descriptor.get("wrapperDescriptorHex"),
            "wrapperEntryHex": wrapper_descriptor.get("wrapperEntryHex"),
            "wrapperChildPointerHex": wrapper_descriptor.get("wrapperChildPointerHex"),
            "wrapperEntryRefCount": wrapper_descriptor.get("wrapperEntryRefCount"),
            "wrapperEntryCurrentRootRangeRefCount": wrapper_descriptor.get("wrapperEntryCurrentRootRangeRefCount"),
            "wrapperEntryPromotingRefCount": wrapper_descriptor.get("wrapperEntryPromotingRefCount"),
            "wrapperRefBeforeCurrentRoot": wrapper_descriptor.get("wrapperRefBeforeCurrentRoot"),
            "currentRootReferencesWrapper": wrapper_descriptor.get("currentRootReferencesWrapper"),
            "frontierLeafDirectCurrentRootRef": wrapper_descriptor.get("frontierLeafDirectCurrentRootRef"),
            "currentRootDescriptorCount": wrapper_descriptor.get("currentRootDescriptorCount"),
            "currentRoutePairDescriptorCount": route_pair_descriptor.get("currentRoutePairDescriptorCount"),
            "currentRoutePairDescriptorIndices": route_pair_descriptor.get("currentRoutePairDescriptorIndices") or [],
            "currentRoutePairTraceReachesReaderCount": route_pair_descriptor.get("currentRoutePairTraceReachesReaderCount"),
            "routePairDescriptorProofFound": route_pair_descriptor.get("proofFound"),
            "routePairDescriptorFailedGateIds": route_pair_descriptor.get("failedRoutePairDescriptorGateIds") or [],
            "routePairDescriptorMissingEvidence": route_pair_descriptor.get("missingEvidence") or [],
            "opcode2cCorrectedTraceReachesReaderCount": opcode2c_route_pair.get("correctedTraceReachesReaderCount"),
            "opcode2cRoutePairDescriptorCount": opcode2c_route_pair.get("routePairDescriptorCount"),
            "opcode2cRoutePairProofFound": opcode2c_route_pair.get("proofFound"),
            "opcode2cRoutePairFailedGateIds": opcode2c_route_pair.get("failedOpcode2cRoutePairGateIds") or [],
            "opcode2cRoutePairMissingEvidence": opcode2c_route_pair.get("missingEvidence") or [],
            "opcode2cOldNoFixedAdvanceIsScannerArtifact": (
                opcode2c_route_pair.get("opcode2cHandler") or {}
            ).get("oldNoFixedAdvanceIsScannerArtifact"),
            "frontierReaderPredecessorOutcome": frontier_reader_branch.get("predecessorHypothesisOutcome"),
            "frontierReaderPassPayloadClass": (frontier_reader_branch.get("passOutcome") or {}).get(
                "payloadClassification"
            ),
            "frontierReaderPassPayloadPromotionEvidence": (frontier_reader_branch.get("passOutcome") or {}).get(
                "payloadPromotionEvidence"
            ),
            "frontierReaderFailTargetResource": (frontier_reader_branch.get("failOutcome") or {}).get(
                "targetIsResource"
            ),
            "frontierReaderSiblingFieldMapTargetCount": frontier_reader_branch.get("siblingFieldMapTargetCount"),
            "frontierPayloadRectLikeGateCount": frontier_payload_shape.get("rectLikePayloadGateCount"),
            "frontierPayloadGateCount": frontier_payload_shape.get("gateCount"),
            "frontierPayloadAllFitPairedImages": frontier_payload_shape.get("allPayloadsFitPairedImages"),
            "frontierPayloadSourceInBoundsPointCount": frontier_payload_shape.get("sourceInBoundsPointCount"),
            "frontierPayloadTextRefCount": frontier_payload_shape.get("payloadTextRefCount"),
            "frontierPayloadPromotionStatus": frontier_payload_shape.get("promotionStatus"),
            "currentRoutePairGeometryExitHitCount": route_pair_descriptor.get("currentRoutePairGeometryExitHitCount"),
            "readerBearingCurrentEntryCount": route_pair_descriptor.get("readerBearingCurrentEntryCount"),
            "readerBearingNegativeEntryCount": route_pair_descriptor.get("readerBearingNegativeEntryCount"),
            "readerBearingNegativeIndices": route_pair_descriptor.get("readerBearingNegativeIndices") or [],
            "promotionStatus": merge_gap.get("promotionStatus"),
        },
        "selectorMergeRuntimeContextEvidence": merge_runtime_context,
        "routeRootRefEvidence": {
            "allRouteSelectorRootsTableOnly": route_root_ref_context.get("allRouteSelectorRootsTableOnly"),
            "anyRouteSelectorRootTextRefs": route_root_ref_context.get("anyRouteSelectorRootTextRefs"),
            "sourceTargetSplitAcrossPreviousSelectors": route_root_ref_context.get(
                "sourceTargetSplitAcrossPreviousSelectors"
            ),
            "currentSelectorContainsRoutePair": route_root_ref_context.get("currentSelectorContainsRoutePair"),
            "predecessorToCurrentRootRefFound": route_root_ref_context.get("predecessorToCurrentRootRefFound"),
            "routeOrderProven": route_root_ref_context.get("routeOrderProven"),
            "proofFound": route_root_ref_context.get("proofFound"),
            "routeRootRefProofFound": route_root_ref_context.get("routeRootRefProofFound"),
            "failedRouteRootRefGateIds": route_root_ref_context.get("failedRouteRootRefGateIds") or [],
            "missingEvidence": route_root_ref_context.get("missingEvidence") or [],
            "promotionStatus": route_root_ref_context.get("promotionStatus"),
            "remainingProofs": route_root_ref_context.get("remainingProofs") or [],
        },
        "sceneAdjacencyEvidence": scene_adjacency,
        "runtimeSelectorByteWriteEvidence": {
            "handlerVaHex": runtime_selector_byte_writes.get("handlerVaHex"),
            "handlerOpcodeHex": runtime_selector_byte_writes.get("handlerOpcodeHex"),
            "selectorByteWriteMechanismIdentified": runtime_selector_byte_writes.get(
                "selectorByteWriteMechanismIdentified"
            ),
            "currentSelectorByteWriterFound": runtime_selector_byte_writes.get("currentSelectorByteWriterFound"),
            "currentSelectorWriterIsCurrentRootSelfWrite": runtime_selector_byte_writes.get(
                "currentSelectorWriterIsCurrentRootSelfWrite"
            ),
            "sourceOrPredecessorCurrentSelectorWriterCount": runtime_selector_byte_writes.get(
                "sourceOrPredecessorCurrentSelectorWriterCount"
            ),
            "leafStreamOpcode4fHitCount": runtime_selector_byte_writes.get("leafStreamOpcode4fHitCount"),
            "mode1CurrentSelectorWriterCount": runtime_selector_byte_writes.get("mode1CurrentSelectorWriterCount"),
            "mode1CurrentSelectorWriterOutsideCurrentRootCount": runtime_selector_byte_writes.get(
                "mode1CurrentSelectorWriterOutsideCurrentRootCount"
            ),
            "mode1SelfWriteCount": runtime_selector_byte_writes.get("mode1SelfWriteCount"),
            "mode1CrossWriteCount": runtime_selector_byte_writes.get("mode1CrossWriteCount"),
            "routeContextCommonSignatureCount": runtime_selector_byte_writes.get(
                "routeContextCommonSignatureCount"
            ),
            "crossWriteToCurrentSelectorCount": runtime_selector_byte_writes.get(
                "crossWriteToCurrentSelectorCount"
            ),
            "routeContextMode1RowCount": runtime_selector_byte_writes.get("routeContextMode1RowCount"),
            "rootSelfWritePatternPromotesRoute": runtime_selector_byte_writes.get(
                "rootSelfWritePatternPromotesRoute"
            ),
            "selectorByteWritePromotesRoute": runtime_selector_byte_writes.get("selectorByteWritePromotesRoute"),
            "promotionStatus": runtime_selector_byte_writes.get("promotionStatus"),
        },
        "predecessorStateEvidence": {
            "activeFlagVaHex": active_flag.get("activeFlagVaHex"),
            "activeFlagStaticInitialByteHex": active_flag.get("activeFlagStaticInitialByteHex"),
            "activeFlagSaveOffsetHex": active_flag.get("activeFlagSaveOffsetHex"),
            "allPredecessorStartsPass": active_flag.get("allPredecessorStartsPass"),
            "priorSelectionBufferStillPrimaryBlockerUnderPredecessorHypothesis": active_flag.get(
                "priorSelectionBufferStillPrimaryBlockerUnderPredecessorHypothesis"
            ),
            "arbitraryStateCounterexampleCount": active_flag.get("arbitraryStateCounterexampleCount"),
            "sourceRoutePreviousSelector": predecessor_order.get("sourceRoutePreviousSelector"),
            "predecessorConfirmedOverlapCount": predecessor_order.get("predecessorConfirmedOverlapCount"),
            "routePairPreviousSelectorCount": predecessor_order.get("routePairPreviousSelectorCount"),
            "predecessorIsTargetSideOnly": predecessor_order.get("predecessorIsTargetSideOnly"),
            "selectorMergeGapOpen": predecessor_order.get("selectorMergeGapOpen"),
            "routeOrderProven": predecessor_order.get("routeOrderProven"),
            "predecessorToCurrentHitCount": predecessor_bridge.get("predecessorToCurrentHitCount"),
            "currentToPredecessorHitCount": predecessor_bridge.get("currentToPredecessorHitCount"),
            "forwardExecutionBridgeFound": predecessor_bridge.get("forwardExecutionBridgeFound"),
            "reverseHitsBeforeFillCount": predecessor_bridge.get("reverseHitsBeforeFillCount"),
            "reverseHitsToFillSiteCount": predecessor_bridge.get("reverseHitsToFillSiteCount"),
            "reverseHitsOnlyBeforeFill": predecessor_bridge.get("reverseHitsOnlyBeforeFill"),
            "addressPredecessorSelector": address_predecessor.get("addressPredecessorSelector"),
            "addressPredecessorRootHex": address_predecessor.get("addressPredecessorRootHex"),
            "addressPredecessorLastFillAllStartsPassCurrentReader": address_predecessor.get(
                "addressPredecessorLastFillAllStartsPassCurrentReader"
            ),
            "addressPredecessorPassingFillStillNotExecutionProof": address_predecessor.get(
                "addressPredecessorPassingFillStillNotExecutionProof"
            ),
            "addressPredecessorTailCurrentRootRangePointerCount": address_predecessor.get(
                "addressPredecessorTailCurrentRootRangePointerCount"
            ),
            "addressPredecessorTailCurrentRootExactRefCount": address_predecessor.get(
                "addressPredecessorTailCurrentRootExactRefCount"
            ),
            "addressPredecessorTailFrontierReaderRefCount": address_predecessor.get(
                "addressPredecessorTailFrontierReaderRefCount"
            ),
            "addressPredecessorTailLooksLikeDescriptorData": address_predecessor.get(
                "addressPredecessorTailLooksLikeDescriptorData"
            ),
        },
        "predecessorFillSiteExecutionContextEvidence": predecessor_fill_site_execution_context,
        "inheritedStateEvidence": {
            "secondaryFillRootCount": secondary_fill_roots.get("rootCount"),
            "secondaryFillRouteOverlapRootCount": secondary_fill_roots.get("routeOverlapRootCount"),
            "secondaryFillPredecessorRootHex": secondary_fill_roots.get("predecessorRootHex"),
            "secondaryFillPredecessorFillCount": secondary_fill_roots.get("predecessorFillCount"),
            "secondaryFillCurrentRootAfterFrontierFillCount": secondary_fill_roots.get("currentRootAfterFrontierFillCount"),
            "secondaryFillEntryReferenceRootCount": secondary_fill_roots.get("fillEntryReferenceRootCount"),
            "secondaryFillRouteOverlapEntryReferenceRootCount": secondary_fill_roots.get(
                "routeOverlapFillEntryReferenceRootCount"
            ),
            "secondaryFillEntryReferenceSelectors": secondary_fill_roots.get(
                "fillEntryReferenceSelectors"
            ) or [],
            "secondaryFillEntryReferenceNonRouteOnly": secondary_fill_roots.get(
                "fillEntryReferenceNonRouteOnly"
            ),
            "secondaryFillEntryReferenceExclusionStatus": secondary_fill_roots.get(
                "fillEntryReferenceExclusionStatus"
            ),
            "secondaryFillPredecessorEntryCandidateFound": secondary_fill_roots.get(
                "predecessorFillEntryCandidateFound"
            ),
            "secondaryFillPredecessorEntryDwordRefCount": secondary_fill_roots.get(
                "predecessorFillEntryDwordRefCount"
            ),
            "secondaryFillPredecessorEntryRootRangeDwordRefCount": secondary_fill_roots.get(
                "predecessorFillEntryRootRangeDwordRefCount"
            ),
            "secondaryFillPredecessorEntryRootBranchTargetCount": secondary_fill_roots.get(
                "predecessorFillEntryRootBranchTargetCount"
            ),
            "currentSelector": inherited_state.get("currentSelector"),
            "currentRootHex": inherited_state.get("currentRootHex"),
            "bestPreviousSelector": inherited_state.get("bestPreviousSelector"),
            "bestPreviousRootHex": inherited_state.get("bestPreviousRootHex"),
            "bestPreviousSecondaryFillCount": inherited_state.get("bestPreviousSecondaryFillCount"),
            "bestPreviousFirstFillVas": inherited_state.get("bestPreviousFirstFillVas") or [],
            "currentStateCandidateCount": current_state_sources.get("candidateCount"),
            "currentStateValidBeforeFirstFrontierReaderCount": current_state_sources.get(
                "validBeforeFirstFrontierReaderCount"
            ),
            "currentStateValidBeforeExecutionEvidenceCount": current_state_sources.get(
                "validBeforeFirstFrontierReaderWithExecutionEvidenceCount"
            ),
            "currentStateValidBeforeNonOperandCount": current_state_sources.get(
                "validBeforeFirstFrontierReaderNonOperandCount"
            ),
            "currentStateValidBeforePromotingFillCount": current_state_sources.get(
                "validBeforeFirstFrontierReaderPromotingFillCount"
            ),
            "currentStateActivationCandidateCount": current_state_sources.get("activationCandidateCount"),
            "currentStateValidActivationCandidateCount": current_state_sources.get("validActivationCandidateCount"),
            "currentStateOutOfRangeActivationCandidateCount": current_state_sources.get(
                "outOfRangeActivationCandidateCount"
            ),
            "currentStateBranchOperandVaHex": current_state_sources.get("branchOperandVaHex"),
            "currentStateBranchOperandOwnerVaHex": current_state_sources.get("branchOperandOwnerVaHex"),
            "currentStateBranchOperandOwnerCondition": current_state_sources.get("branchOperandOwnerCondition"),
            "currentStateBranchOperandCandidateCount": current_state_sources.get("branchOperandCandidateCount"),
            "currentStateBranchOperandSmallScalarCount": current_state_sources.get("branchOperandSmallScalarCount"),
            "currentStateBranchOperandValueKind": current_state_sources.get("branchOperandValueKind"),
            "predecessorTailRangeHex": predecessor_tail_reset.get("tailRangeHex"),
            "predecessorTailLastFillVaHex": predecessor_tail_reset.get("lastFillVaHex"),
            "addressPredecessorTailHasKnownSecondaryFillAfterLastFill": address_predecessor.get(
                "addressPredecessorTailHasKnownSecondaryFillAfterLastFill"
            ),
            "addressPredecessorTailSourceRecordRefCount": address_predecessor.get(
                "addressPredecessorTailSourceRecordRefCount"
            ),
            "addressPredecessorTailTargetRecordRefCount": address_predecessor.get(
                "addressPredecessorTailTargetRecordRefCount"
            ),
            "predecessorTailOpcode10RowCount": predecessor_tail_reset.get("tailOpcode10RowCount"),
            "predecessorTailValidSecondaryFillCount": predecessor_tail_reset.get("tailValidSecondaryFillCount"),
            "predecessorLocalTailResetFound": predecessor_tail_reset.get("localTailResetFound"),
            "predecessorTailPromotionStatus": predecessor_tail_reset.get("promotionStatus"),
            "globalResetCandidateClass": secondary_global_reset.get("globalResetCandidateClass"),
            "globalResetDirectWriterCount": secondary_global_reset.get("directGlobalSecondaryWriterCount"),
            "globalResetUnresolvedRefCount": secondary_global_reset.get("unresolvedGlobalSecondaryRefCount"),
            "globalResetHelperOpcode10Only": secondary_global_reset.get("helperOnlyCalledInsideOpcode10Handler"),
            "globalResetCurrentBeforeFillCount": secondary_global_reset.get("currentRootValidBeforeFrontierFillCount"),
            "globalResetCurrentAfterFillCount": secondary_global_reset.get("currentRootValidAfterFrontierFillCount"),
            "globalResetPredecessorFillCount": secondary_global_reset.get("predecessorFillCount"),
            "globalResetPredecessorTailValidCount": secondary_global_reset.get("predecessorTailValidSecondaryFillCount"),
            "globalResetStaticClosed": secondary_global_reset.get("closedStaticResetScope"),
            "selectorOrderResetGapClosed": secondary_global_reset.get("selectorOrderResetGapClosed"),
            "globalResetRuntimeGapOpen": secondary_global_reset.get("openRuntimeOrderOrBytecodeGap"),
            "globalResetRuledOut": secondary_global_reset.get("globalResetRuledOut"),
            "globalResetPromotionStatus": secondary_global_reset.get("promotionStatus"),
        },
        "dispatchBaseEvidence": {
            "primaryBaseVaHex": branch_state_writers.get("baseVaHex"),
            "primarySlotCount": branch_state_writers.get("slots"),
            "primaryDirectWriterCount": branch_state_writers.get("directWriterCount"),
            "primaryClusterCount": branch_state_writers.get("clusterCount"),
            "primarySourceGlobalCount": branch_state_writers.get("sourceGlobalCount"),
            "dispatchTableVaHex": branch_state_dispatch.get("tableVaHex"),
            "dispatchDispatcherVaHex": branch_state_dispatch.get("dispatcherVaHex"),
            "dispatchCallVaHex": branch_state_dispatch.get("dispatchCallVaHex"),
            "dispatchOpcodes": branch_state_dispatch.get("dispatchOpcodes") or [],
            "dispatchDirectRelativeCallRefCount": branch_state_dispatch.get("directRelativeCallRefCount"),
            "dispatchPointerRefCount": branch_state_dispatch.get("pointerRefCount"),
            "secondaryStateHex": secondary_state_sources.get("secondaryBranchStateHex"),
            "secondaryCandidateCount": secondary_state_sources.get("candidateCount"),
            "secondaryBeforeFrontierCount": secondary_state_sources.get("beforeFrontierCount"),
            "secondaryValidBeforeFrontierCount": secondary_state_sources.get("validBeforeFrontierCount"),
            "secondaryValidAfterFrontierCount": secondary_state_sources.get("validAfterFrontierCount"),
            "secondaryDirectWriterCount": secondary_state_sources.get("directWriterCount"),
            "opcodeOverlapCount": branch_state_opcode_overlap.get("overlapCount"),
            "opcodeOverlapBeforeReaderCount": branch_state_opcode_overlap.get("overlapBeforeCurrentFrontierReaderCount"),
            "eventObjectCandidateCount": event_object_branch_state.get("candidateCount"),
            "eventObjectMediumCandidateCount": event_object_branch_state.get("mediumCandidateCount"),
            "eventObjectCurrentRouteLinkedCount": event_object_branch_state.get("currentRouteLinkedCount"),
            "eventObjectCurrentRouteRangeHitCount": event_object_branch_state.get("currentRouteRangeHitCount"),
            "eventObjectCurrentSelectorRootRangeCandidateCount": event_object_branch_state.get("currentSelectorRootRangeCandidateCount"),
            "eventObjectCurrentRouteLeafRangeCandidateCount": event_object_branch_state.get("currentRouteLeafRangeCandidateCount"),
            "eventObjectCurrentRouteSceneRecordRangeCandidateCount": event_object_branch_state.get("currentRouteSceneRecordRangeCandidateCount"),
            "eventObjectRouteMapContainerCandidateCount": event_object_branch_state.get("routeMapContainerCandidateCount"),
            "eventObjectEmptySelectorContainerCandidateCount": event_object_branch_state.get("emptySelectorContainerCandidateCount"),
            "eventObjectNearbyCnsCandidateCount": event_object_branch_state.get("nearbyCnsCandidateCount"),
            "eventObjectMenuLikeCandidateCount": event_object_branch_state.get("menuLikeCandidateCount"),
            "selectionBufferContextFieldHex": selection_buffer_bases.get("contextFieldHex"),
            "selectionBufferImmediateAssignmentCount": selection_buffer_bases.get("immediateAssignmentCount"),
            "selectionBufferRegisterAssignmentCount": selection_buffer_bases.get("registerAssignmentCount"),
            "knownStaticGateOffsetDirectRefCount": selection_buffer_bases.get("knownStaticGateOffsetDirectRefCount"),
            "runtimePointerModeStillRequired": selection_buffer_bases.get("runtimePointerModeStillRequired"),
            "selectionBufferPromotionStatus": selection_buffer_bases.get("promotionStatus"),
        },
        "currentSelectorLeafEvidence": {
            "selectorOnlySceneList": scene_list.get("selectorOnlySceneList"),
            "sceneListBranchStreamVaHex": scene_list.get("branchStreamVaHex"),
            "sceneListBranchTargetKind": scene_list.get("branchTargetKind"),
            "sceneListBranchTargetIsResource": scene_list.get("branchTargetIsResource"),
            "sceneListClassification": scene_list.get("classification"),
            "sceneListNearestSourceRecordHex": scene_list.get("nearestSourceRecordHex"),
            "sceneListNearestTargetRecordHex": scene_list.get("nearestTargetRecordHex"),
            "leafTableWindowHex": leaf_table.get("tableWindowHex"),
            "leafRefCount": leaf_table.get("leafRefCount"),
            "frontierLeafRefIsDirectRootTableEntry": leaf_table.get("frontierLeafRefIsDirectRootTableEntry"),
            "runtimeSelectionProven": leaf_table.get("runtimeSelectionProven"),
            "leafTableStrictHotspotFound": leaf_table.get("strictHotspotFound"),
            "leafIndexEntryCount": leaf_index.get("entryCount"),
            "leafIndexNegativeIndexCount": leaf_index.get("negativeIndexCount"),
            "leafIndexCurrentRootEntryCount": leaf_index.get("currentRootEntryCount"),
            "leafIndexRoutePairDescriptorCurrentEntryCount": leaf_index.get(
                "routePairDescriptorCurrentEntryCount"
            ),
            "leafIndexReaderBearingCurrentEntryCount": leaf_index.get("readerBearingCurrentEntryCount"),
            "leafIndexReaderBearingNegativeEntryCount": leaf_index.get("readerBearingNegativeEntryCount"),
            "leafIndexFrontierLeafChildEntryIndices": leaf_index.get("frontierLeafChildEntryIndices") or [],
            "leafIndexFrontierLeafChildOnlyNegativeIndex": leaf_index.get("frontierLeafChildOnlyNegativeIndex"),
            "leafIndexFrontierReaderSelectableByNonNegativeIndex": leaf_index.get(
                "frontierReaderSelectableByNonNegativeIndex"
            ),
            "leafIndexFrontierReaderReachableByCorrectedNonNegativeIndex": leaf_index.get(
                "frontierReaderReachableByCorrectedNonNegativeIndex"
            )
            if leaf_index.get("frontierReaderReachableByCorrectedNonNegativeIndex") is not None
            else leaf_index_full.get("frontierReaderReachableByCorrectedNonNegativeIndex"),
            "leafIndexRoutePairCurrentDescriptorIndices": leaf_index.get("routePairCurrentDescriptorIndices") or [],
            "leafIndexReaderBearingNegativeIndices": leaf_index.get("readerBearingNegativeIndices") or [],
            "leafIndexRuntimeSelectionProven": leaf_index.get("runtimeSelectionProven"),
            "leafIndexPromotionStatus": leaf_index.get("promotionStatus"),
            "leafGlobalSelectorTableCount": leaf_global.get("selectorTableCount"),
            "leafGlobalFieldEntryRowCount": leaf_global.get("fieldEntryRowCount"),
            "leafGlobalNegativeFieldEntryRowCount": leaf_global.get("negativeFieldEntryRowCount"),
            "leafGlobalNonNegativeFieldEntryRowCount": leaf_global.get("nonNegativeFieldEntryRowCount"),
            "leafGlobalCurrentSelectorRoutePairIndices": leaf_global.get("currentSelectorRoutePairIndices") or [],
            "leafGlobalCurrentFrontierLeafOnlyNegative": leaf_global.get("currentFrontierLeafOnlyNegative"),
            "leafGlobalPromotionStatus": leaf_global.get("promotionStatus"),
            "routePairEntryCorrectedTraceNormalSelectionGapFound": route_pair_entry_execution_gap.get(
                "correctedTraceNormalSelectionGapFound"
            ),
            "routePairEntryCorrectedTraceNormalSelectionGapStatus": route_pair_entry_execution_gap.get(
                "correctedTraceNormalSelectionGapStatus"
            ),
            "currentRoutePairDescriptorCount": route_pair_descriptor.get("currentRoutePairDescriptorCount"),
            "currentRoutePairSceneAdjacentCount": route_pair_descriptor.get("currentRoutePairSceneAdjacentCount"),
            "currentRoutePairTraceReachesReaderCount": route_pair_descriptor.get(
                "currentRoutePairTraceReachesReaderCount"
            ),
            "routePairDescriptorProofFound": route_pair_descriptor.get("proofFound"),
            "routePairDescriptorFailedGateIds": route_pair_descriptor.get("failedRoutePairDescriptorGateIds") or [],
            "routePairDescriptorMissingEvidence": route_pair_descriptor.get("missingEvidence") or [],
            "opcode2cCorrectedTraceReachesReaderCount": opcode2c_route_pair.get(
                "correctedTraceReachesReaderCount"
            ),
            "opcode2cRoutePairDescriptorCount": opcode2c_route_pair.get("routePairDescriptorCount"),
            "opcode2cRoutePairProofFound": opcode2c_route_pair.get("proofFound"),
            "opcode2cRoutePairFailedGateIds": opcode2c_route_pair.get("failedOpcode2cRoutePairGateIds") or [],
            "opcode2cRoutePairMissingEvidence": opcode2c_route_pair.get("missingEvidence") or [],
            "opcode2cOldNoFixedAdvanceStopCount": opcode2c_route_pair.get("oldNoFixedAdvanceStopCount"),
            "opcode2cOldNoFixedAdvanceIsScannerArtifact": (
                opcode2c_route_pair.get("opcode2cHandler") or {}
            ).get("oldNoFixedAdvanceIsScannerArtifact"),
            "frontierReaderPredecessorOutcome": frontier_reader_branch.get("predecessorHypothesisOutcome"),
            "frontierReaderPassValueHex": (frontier_reader_branch.get("passOutcome") or {}).get("valueHex"),
            "frontierReaderPassPayloadClass": (frontier_reader_branch.get("passOutcome") or {}).get(
                "payloadClassification"
            ),
            "frontierReaderPassPayloadPromotionEvidence": (frontier_reader_branch.get("passOutcome") or {}).get(
                "payloadPromotionEvidence"
            ),
            "frontierReaderFailTargetHex": (frontier_reader_branch.get("failOutcome") or {}).get("targetVaHex"),
            "frontierReaderFailTargetResource": (frontier_reader_branch.get("failOutcome") or {}).get(
                "targetIsResource"
            ),
            "frontierReaderSiblingGateCountBeforeSourceRecord": frontier_reader_branch.get(
                "siblingGateCountBeforeSourceRecord"
            ),
            "frontierReaderSiblingFieldMapTargetCount": frontier_reader_branch.get("siblingFieldMapTargetCount"),
            "frontierPayloadReaderPassPayloadHex": frontier_payload_shape.get("readerPassPayloadVaHex"),
            "frontierPayloadRectLikeGateCount": frontier_payload_shape.get("rectLikePayloadGateCount"),
            "frontierPayloadGateCount": frontier_payload_shape.get("gateCount"),
            "frontierPayloadAllFitPairedImages": frontier_payload_shape.get("allPayloadsFitPairedImages"),
            "frontierPayloadSourceInBoundsPointCount": frontier_payload_shape.get("sourceInBoundsPointCount"),
            "frontierPayloadTextRefCount": frontier_payload_shape.get("payloadTextRefCount"),
            "frontierPayloadPromotionStatus": frontier_payload_shape.get("promotionStatus"),
            "currentRoutePairGeometryExitHitCount": route_pair_descriptor.get("currentRoutePairGeometryExitHitCount"),
            "routePairReaderBearingCurrentEntryCount": route_pair_descriptor.get("readerBearingCurrentEntryCount"),
            "routePairReaderBearingNegativeEntryCount": route_pair_descriptor.get("readerBearingNegativeEntryCount"),
            "routePairReaderBearingNegativeIndices": route_pair_descriptor.get("readerBearingNegativeIndices") or [],
            "opcode24VaHex": opcode24_payload.get("opcode24VaHex"),
            "opcode24DispatchStopVaHex": opcode24_payload.get("dispatchStopVaHex"),
            "opcode24PayloadWindowHex": opcode24_payload.get("payloadWindowHex"),
            "opcode24LeafTableWindowStartHex": opcode24_payload.get("leafTableWindowStartHex"),
            "opcode24RootTablePointerHex": opcode24_payload.get("rootTablePointerHex"),
            "opcode24WrapperLeafHex": opcode24_payload.get("wrapperLeafHex"),
            "opcode24FrontierLeafHex": opcode24_payload.get("frontierLeafHex"),
            "opcode24FrontierReaderHex": opcode24_payload.get("frontierReaderHex"),
            "opcode24PayloadPointerCount": opcode24_payload.get("payloadPointerCount"),
            "opcode24LeafTablePointerCount": opcode24_payload.get("leafTablePointerCount"),
            "opcode24PayloadGraphEdgeCount": opcode24_payload.get("payloadGraphEdgeCount"),
            "opcode24PayloadGraphComponentCount": opcode24_payload.get("payloadGraphComponentCount"),
            "opcode24PayloadGraphExternalEdgeCount": opcode24_payload.get("payloadGraphExternalEdgeCount"),
            "opcode24PayloadGraphAllEdgesLocal": opcode24_payload.get("payloadGraphAllEdgesLocal"),
            "opcode24PayloadGraphReachesFrontierTarget": opcode24_payload.get("payloadGraphReachesFrontierTarget"),
            "opcode24ClosureReachesFrontierTarget": opcode24_payload.get("closureReachesFrontierTarget"),
            "opcode24PayloadDirectlyTargetsLeafTable": opcode24_payload.get("payloadDirectlyTargetsLeafTable"),
            "opcode24PayloadPromotionStatus": opcode24_payload.get("promotionStatus"),
            "opcode24RuntimeEnabledFlagHex": opcode24_runtime_enabled.get("runtimeEnabledFlagHex"),
            "opcode24RuntimeEnabledFlagReadHex": opcode24_runtime_enabled.get("flagReadInstructionVaHex"),
            "opcode24RuntimeEnabledFlagFailAdvanceHex": opcode24_runtime_enabled.get("flagFailAdvanceVaHex"),
            "opcode24RuntimeEnabledDirectRefCount": opcode24_runtime_enabled.get("directTextRefCount"),
            "opcode24RuntimeEnabledDirectWriteCount": opcode24_runtime_enabled.get("directWriteCount"),
            "opcode24RuntimeEnabledStaticInitialHex": opcode24_runtime_enabled.get("staticInitialValueHex"),
            "opcode24RuntimeEnabledSaveBlockContains": opcode24_runtime_enabled.get("saveReadBlockContainsRuntimeEnabledFlag"),
            "opcode24RuntimeEnabledRequiresFlagOne": opcode24_runtime_enabled.get("modeDispatchRequiresRuntimeFlagOne"),
            "opcode24RuntimeEnabledStaticDispatchProven": opcode24_runtime_enabled.get("staticEvidenceProvesModeDispatch"),
            "opcode24RuntimeEnabledProofFound": opcode24_runtime_enabled.get("proofFound"),
            "opcode24RuntimeEnabledFailedGateIds": opcode24_runtime_enabled.get("failedOpcode24RuntimeEnabledGateIds") or [],
            "opcode24RuntimeEnabledMissingEvidence": opcode24_runtime_enabled.get("missingEvidence") or [],
            "opcode07RowCount": opcode07.get("rowCount"),
            "opcode07ValidTableRowCount": opcode07.get("validTableRowCount"),
            "opcode07IndexMode": opcode07.get("opcode07IndexMode"),
            "opcode07SelectedLeafTableWindowSlotCount": opcode07.get("selectedLeafTableWindowSlotCount"),
            "opcode07SelectedNegativeRootEntrySlotCount": opcode07.get("selectedNegativeRootEntrySlotCount"),
            "opcode07SelectedCurrentRootEntrySlotCount": opcode07.get("selectedCurrentRootEntrySlotCount"),
            "opcode07SelectedWrapperEntrySlotCount": opcode07.get("selectedWrapperEntrySlotCount"),
            "opcode07DirectFrontierTargetCount": opcode07.get("directFrontierTargetCount"),
            "object61HandlerOpcodeCount": object61.get("objectHandlerOpcodeCount"),
            "object61RouteOperandRowCount": object61.get("routeOperandRowCount"),
            "object61BranchCapableRowCount": object61.get("branchCapableRowCount"),
            "object61DirectFrontierOperandCount": object61.get("directFrontierOperandCount"),
            "object61BranchFrontierOperandCount": object61.get("branchFrontierOperandCount"),
            "object61BranchOperandNextDwordHex": object61.get("branchOperandNextDwordHex"),
            "context58RefCount": context58.get("context58RefCount"),
            "context58ReadCount": context58.get("context58ReadCount"),
            "context58WriteCount": context58.get("context58WriteCount"),
            "context58CurrentOpcode24ModeHex": context58.get("currentOpcode24ModeHex"),
            "context58CurrentOpcode24ModeTouchesContext58": context58.get("currentOpcode24ModeTouchesContext58"),
            "context58Opcode20HandlerCount": context58.get("opcode20Context58HandlerCount"),
            "context58PromotionStatus": context58.get("context58PromotionStatus"),
            "currentRootLeafCount": current_root_paths.get("leafCount"),
            "currentRootReaderLeafCount": current_root_paths.get("readerLeafCount"),
            "frontierClusterClass": current_root_paths.get("frontierClusterClass"),
            "frontierClusterEventCount": current_root_paths.get("frontierClusterEventCount"),
            "frontierClusterSelectorRefCount": current_root_paths.get("frontierClusterSelectorRefCount"),
            "currentRootStrictHotspotFound": current_root_paths.get("strictHotspotFound"),
            "currentRootProofFound": current_root_paths.get("proofFound"),
            "currentRootFrontierProofFound": current_root_paths.get("currentRootFrontierProofFound"),
            "currentRootFailedGateIds": current_root_paths.get("failedCurrentRootFrontierGateIds") or [],
            "currentRootMissingEvidence": current_root_paths.get("missingEvidence") or [],
        },
        "gateControlEvidence": {
            "branchGateSameTableAndOffset": branch_gate.get("sameTableAndOffset"),
            "sameTableName": branch_gate.get("sameTableName"),
            "sameSelectionBufferOffsetHex": branch_gate.get("sameSelectionBufferOffsetHex"),
            "selectionOpcodeRowsBetweenCount": branch_gate.get("selectionOpcodeRowsBetweenCount"),
            "postWriterSameOffsetWriteCount": branch_gate.get("postWriterSameOffsetWriteCount"),
            "postWriterSameOffsetReadCount": branch_gate.get("postWriterSameOffsetReadCount"),
            "postWriterOtherOffsetWriteCount": branch_gate.get("postWriterOtherOffsetWriteCount"),
            "postWriterOtherOffsetWriteOffsetsHex": branch_gate.get("postWriterOtherOffsetWriteOffsetsHex"),
            "validSecondaryFillBetweenCount": branch_gate.get("validSecondaryFillBetweenCount"),
            "invalidSecondaryFillBetweenCount": branch_gate.get("invalidSecondaryFillBetweenCount"),
            "invalidSecondaryFillOffsetsHex": branch_gate.get("invalidSecondaryFillOffsetsHex"),
            "knownOpcodeStatePreservationStatus": branch_gate.get("knownOpcodeStatePreservationStatus"),
            "statePreservedByKnownOpcodes": branch_gate.get("statePreservedByKnownOpcodes"),
            "branchStateValueStillRuntimeDependent": branch_gate.get("branchStateValueStillRuntimeDependent"),
            "controlPathStillUnproven": branch_gate.get("controlPathStillUnproven"),
            "strictHotspotStillMissing": branch_gate.get("strictHotspotStillMissing"),
            "gateOffsetsHex": gate_offset_sources.get("gateOffsetsHex") or [],
            "controlPathGateStatus": gate_offset_sources.get("controlPathGateStatus"),
            "controlPathProofStatus": gate_offset_sources.get("controlPathProofStatus"),
            "anyScriptLocalSelectionWriter": gate_offset_sources.get("anyScriptLocalSelectionWriter"),
            "anyGlobalScriptSelectionWriter": gate_offset_sources.get("anyGlobalScriptSelectionWriter"),
            "offsetPatternTotalRowCount": gate_offset_patterns.get("totalRowCount"),
            "offsetPatternTotalReaderCount": gate_offset_patterns.get("totalReaderCount"),
            "offsetPatternTotalWriterCount": gate_offset_patterns.get("totalWriterCount"),
            "offsetPatternRootCount": gate_offset_patterns.get("rootCount"),
            "gateBaseCandidateCount": gate_base_candidates.get("candidateCount"),
            "partySlotStatByteCandidateCount": gate_base_candidates.get("partySlotStatByteCandidateCount"),
            "directRefCandidateCount": gate_base_candidates.get("directRefCandidateCount"),
            "runtimePointerModeStillRequired": gate_base_candidates.get("runtimePointerModeStillRequired"),
            "diagnosticActiveOrderAvailable": diagnostic_gate_base.get("available"),
            "diagnosticActiveOrderCountHex": diagnostic_gate_base.get("activeOrderCountHex"),
            "diagnosticActiveOrderHexes": diagnostic_gate_base.get("activeOrderHexes") or [],
            "diagnosticFirstDescriptorHex": diagnostic_gate_base.get("firstDescriptorHex"),
            "diagnosticDescriptorScript4FieldRecordCount": diagnostic_gate_base.get(
                "descriptorScript4FieldRecordCount"
            ),
            "diagnosticDescriptorScript4CurrentFrontierDirectRefCount": diagnostic_gate_base.get(
                "descriptorScript4CurrentFrontierDirectRefCount"
            ),
            "diagnosticDescriptorScript4EncodedTargetClassification": diagnostic_gate_base.get(
                "descriptorScript4EncodedTargetClassification"
            ),
            "diagnosticDescriptorScript4EncodedTargetRawScalarCandidateCount": diagnostic_gate_base.get(
                "descriptorScript4EncodedTargetRawScalarCandidateCount"
            ),
            "diagnosticDescriptorScript4EncodedTargetRouteProofRawScalarCandidateCount": diagnostic_gate_base.get(
                "descriptorScript4EncodedTargetRouteProofRawScalarCandidateCount"
            ),
            "diagnosticDescriptorScript4EncodedTargetPromotingCandidateCount": diagnostic_gate_base.get(
                "descriptorScript4EncodedTargetPromotingCandidateCount"
            ),
            "diagnosticDescriptorScript4GateWriterCount": diagnostic_gate_base.get(
                "descriptorScript4GateWriterCount"
            ),
            "diagnosticDescriptorScript4GateReaderCount": diagnostic_gate_base.get(
                "descriptorScript4GateReaderCount"
            ),
            "diagnosticDescriptorScript4ContextA8NonPointerSetterRowCount": diagnostic_gate_base.get(
                "descriptorScript4ContextA8NonPointerSetterRowCount"
            ),
            "descriptorAllScriptGateWriterCount": gate_base_proof.get("descriptorAllScriptGateWriterCount"),
            "descriptorAllScriptGateReaderCount": gate_base_proof.get("descriptorAllScriptGateReaderCount"),
            "descriptorAllScriptSelectionOpcodeCount": gate_base_proof.get(
                "descriptorAllScriptSelectionOpcodeCount"
            ),
            "descriptorAllScriptEncodedTargetClassification": gate_base_proof.get(
                "descriptorAllScriptEncodedTargetClassification"
            ),
            "descriptorAllScriptEncodedTargetRawScalarCandidateCount": gate_base_proof.get(
                "descriptorAllScriptEncodedTargetRawScalarCandidateCount"
            ),
            "descriptorAllScriptEncodedTargetRouteProofRawScalarCandidateCount": gate_base_proof.get(
                "descriptorAllScriptEncodedTargetRouteProofRawScalarCandidateCount"
            ),
            "descriptorAllScriptEncodedTargetPromotingCandidateCount": gate_base_proof.get(
                "descriptorAllScriptEncodedTargetPromotingCandidateCount"
            ),
            "descriptorAllScriptSpecificGateBaseProven": gate_base_proof.get(
                "descriptorAllScriptSpecificGateBaseProven"
            ),
            "proofFound": gate_base_proof.get("proofFound"),
            "gateBaseProofFound": gate_base_proof.get("gateBaseProofFound"),
            "activeOrderProofFound": gate_base_proof.get("activeOrderProofFound"),
            "gateTimeBaseProofFound": gate_base_proof.get("gateTimeBaseProofFound"),
            "predecessorPersistenceProofFound": gate_base_proof.get(
                "predecessorPersistenceProofFound"
            ),
            "strictHotspotProofFound": gate_base_proof.get("strictHotspotProofFound"),
            "failedGateBaseGateIds": gate_base_proof.get("failedGateBaseGateIds") or [],
            "missingEvidence": gate_base_proof.get("missingEvidence") or [],
            "diagnosticDescriptorScript4LastContextA8IsPointerDword": diagnostic_gate_base.get(
                "descriptorScript4LastContextA8IsPointerDword"
            ),
            "diagnosticDescriptorScript4LastContextA8Shape": diagnostic_gate_base.get(
                "descriptorScript4LastContextA8Shape"
            ),
            "diagnosticActiveOrderGateBaseProven": diagnostic_gate_base.get("gateBaseProven"),
            "gateBaseProofEvidenceRefs": gate_base_proof.get("evidenceRefs") or [],
            "gateBaseProofEvidenceRefCount": gate_base_proof.get("evidenceRefCount"),
            "sampleCount": gate_sample_values.get("sampleCount"),
            "sampleSelectors": gate_sample_values.get("sampleSelectors") or [],
            "currentFrontierSampleCovered": gate_sample_values.get("currentFrontierSampleCovered"),
            "saveRuntimeGateDistinctValuesHex": gate_sample_values.get("saveRuntimeGateDistinctValuesHex") or [],
            "saveRuntimeGateSampleValueCount": gate_sample_values.get("saveRuntimeGateSampleValueCount"),
            "saveRuntimeGateInRangeSampleValueCount": gate_sample_values.get("saveRuntimeGateInRangeSampleValueCount"),
            "partySlotStatSampleValueCount": gate_sample_values.get("partySlotStatSampleValueCount"),
            "partySlotStatInRangeSampleValueCount": gate_sample_values.get("partySlotStatInRangeSampleValueCount"),
            "saveRuntimePredecessorAllGatePassSampleCount": gate_pass_matrix.get(
                "saveRuntimePredecessorAllGatePassSampleCount"
            ),
            "saveRuntimePredecessorSampleCount": gate_pass_matrix.get("saveRuntimePredecessorSampleCount"),
            "saveRuntimeZeroTableAllGatePassSampleCount": gate_pass_matrix.get(
                "saveRuntimeZeroTableAllGatePassSampleCount"
            ),
            "saveRuntimeZeroTableSampleCount": gate_pass_matrix.get("saveRuntimeZeroTableSampleCount"),
            "runtimeBaseProofRequired": gate_pass_matrix.get("runtimeBaseProofRequired"),
            "predecessorPersistenceProofRequired": gate_pass_matrix.get("predecessorPersistenceProofRequired"),
            "strictHotspotProofRequired": gate_pass_matrix.get("strictHotspotProofRequired"),
            "promotionStatus": gate_pass_matrix.get("promotionStatus") or gate_offset_sources.get("promotionStatus"),
        },
        "realSavedataEvidence": {
            "realCandidateCount": real_savedata_gap.get("realCandidateCount"),
            "validRealCandidateCount": real_savedata_gap.get("validRealCandidateCount"),
            "validRealUniqueSha256Count": real_savedata_gap.get("validRealUniqueSha256Count"),
            "validRealDuplicateGroupCount": real_savedata_gap.get("validRealDuplicateGroupCount"),
            "validRealCandidateRows": real_savedata_gap.get("validRealCandidateRows") or [],
            "validRealCandidateBlockReasonCounts": real_savedata_gap.get(
                "validRealCandidateBlockReasonCounts"
            ) or {},
            "validRealCandidatesAllBlocked": real_savedata_gap.get("validRealCandidatesAllBlocked"),
            "archiveCandidateCount": real_savedata_gap.get("archiveCandidateCount"),
            "archiveSkippedCount": real_savedata_gap.get("archiveSkippedCount"),
            "workspaceDatFileCount": real_savedata_gap.get("workspaceDatFileCount"),
            "workspaceExpectedSizeDatFileCount": real_savedata_gap.get("workspaceExpectedSizeDatFileCount"),
            "workspaceZipDatMemberCount": real_savedata_gap.get("workspaceZipDatMemberCount"),
            "workspaceHiddenExpectedSizeDatFileCount": real_savedata_gap.get(
                "workspaceHiddenExpectedSizeDatFileCount"
            ),
            "currentSelectorRealSaveCount": real_savedata_gap.get("currentSelectorRealSaveCount"),
            "selectedPointerRealSaveCount": real_savedata_gap.get("selectedPointerRealSaveCount"),
            "routePairRealSaveCount": real_savedata_gap.get("routePairRealSaveCount"),
            "routePromotionRealSaveCount": real_savedata_gap.get("routePromotionRealSaveCount"),
            "routeEvidenceProofFound": real_savedata_gap.get("routeEvidenceProofFound"),
            "routeEvidenceRejectionClassification": real_savedata_gap.get(
                "routeEvidenceRejectionClassification"
            ),
            "routeEvidenceRejection": real_savedata_gap.get("realSavedataRouteEvidenceRejection") or {},
            "realSelector20SaveFound": real_savedata_gap.get("realSelector20SaveFound"),
            "realSelector20CapturedCurrentSelectorSaveCount": real_savedata_gap.get(
                "realSelector20CapturedCurrentSelectorSaveCount"
            ),
            "realSelector20CapturedSourceOnlySaveCount": real_savedata_gap.get(
                "realSelector20CapturedSourceOnlySaveCount"
            ),
            "realSelector20CapturedTargetOnlySaveCount": real_savedata_gap.get(
                "realSelector20CapturedTargetOnlySaveCount"
            ),
            "realSelector20CapturedRoutePairSaveCount": real_savedata_gap.get(
                "realSelector20CapturedRoutePairSaveCount"
            ),
            "requiredByteCoverage": real_savedata_gap.get("requiredByteCoverage") or {},
            "requiredSelectorBytePairRealSaveCount": real_savedata_gap.get(
                "requiredSelectorBytePairRealSaveCount",
                (real_savedata_gap.get("requiredByteCoverage") or {}).get(
                    "requiredSelectorBytePairRealSaveCount"
                ),
            ),
            "promotionGateChecklist": real_savedata_gap.get("promotionGateChecklist") or [],
            "syntheticDiagnosticExcluded": real_savedata_gap.get("syntheticDiagnosticExcluded"),
            "evidenceRefs": real_savedata_gap.get("evidenceRefs") or [],
            "evidenceRefCount": real_savedata_gap.get("evidenceRefCount"),
            "promotionStatus": real_savedata_gap.get("promotionStatus"),
            "browserScanPatterns": [
                "SAVEDATA/savedat1.dat through SAVEDATA/savedat9.dat",
                "SAVEDATA/savedat1.zip through SAVEDATA/savedat9.zip",
                "SaveData/savedat1.dat through SaveData/savedat9.dat",
                "SaveData/savedat1.zip through SaveData/savedat9.zip",
            ],
        },
        "runtimeTraceEvidence": {
            "canRunRuntimeTraceNow": runtime_trace_feasibility.get("canRunRuntimeTraceNow"),
            "canCaptureTraceNow": runtime_probe.get("canCaptureTraceNow"),
            "runtimeTraceEquivalentRejectionClassification": runtime_trace_equivalent_rejection.get(
                "classification"
            ),
            "runtimeTraceEquivalentRejection": runtime_trace_equivalent_rejection,
            "blockers": runtime_trace_feasibility.get("blockers") or [],
            "tracePoints": runtime_trace_feasibility.get("tracePoints") or [],
            "memorySnapshotStatus": memory_snapshot.get("snapshotStatus"),
            "memorySnapshotLoadedBaseHex": memory_snapshot.get("loadedBaseHex"),
            "canReadProcessMemory": memory_sample.get("canReadProcessMemory"),
            "selectedPointerStaticValueHex": memory_sample.get("selectedPointerStaticValueHex"),
            "selectedPointerEqualsCurrentRoot": memory_sample.get("selectedPointerEqualsCurrentRoot"),
            "currentRootRelocationLooksValid": memory_sample.get("currentRootRelocationLooksValid"),
            "opcode24RuntimeEnabledFlagIdleByteHex": (memory_samples.get("opcode24-runtime-enabled-flag") or {}).get("firstByteHex"),
            "opcode24Mode1SourceIdleByteHex": (memory_samples.get("opcode24-mode1-source") or {}).get("firstByteHex"),
            "opcode24Mode1RuntimeProofFound": opcode24_runtime_context.get("proofFound"),
            "opcode24Mode1RuntimeFailedGateIds": (
                opcode24_runtime_context.get("failedOpcode24RuntimeProducerGateIds") or []
            ),
            "opcode24Mode1RuntimeMissingEvidence": (
                opcode24_runtime_context.get("missingEvidence") or []
            ),
            "opcode24Mode1RuntimeEvidenceRefs": opcode24_runtime_context.get("evidenceRefs") or [],
            "opcode24Mode1RuntimeEvidenceRefCount": opcode24_runtime_context.get("evidenceRefCount"),
            "opcode24Mode2SourceIdleByteHex": (memory_samples.get("opcode24-mode2-source") or {}).get("firstByteHex"),
            "opcode24CurrentObjectIndexIdleByteHex": (memory_samples.get("opcode24-current-object-index") or {}).get("firstByteHex"),
            "inputProbeLoadedBaseHex": input_probe.get("loadedBaseHex"),
            "inputProbeBaselineSelectedPointerHex": input_probe.get("baselineSelectedPointerStaticHex"),
            "inputProbeBaselineSelectorContext": (input_probe.get("baselineSelectedPointerContext") or {}).get("selector"),
            "inputProbeInitialSelectedPointerHex": (input_probe.get("initialSample") or {}).get("selectedPointerStaticHex"),
            "inputProbeFinalSelectedPointerHex": (input_probe.get("finalSample") or {}).get("selectedPointerStaticHex"),
            "inputProbeFinalSelectorContext": (input_probe.get("finalSelectedPointerContext") or {}).get("selector"),
            "heldKeyPressedDetected": input_probe.get("heldKeyPressedDetected"),
            "heldKeyChangedSelectedPointer": input_probe.get("heldKeyChangedSelectedPointer"),
            "xEventChangedSelectedPointer": input_probe.get("xEventChangedSelectedPointer"),
            "keyBufferPokeChangedSelectedPointer": input_probe.get("keyBufferPokeChangedSelectedPointer"),
            "keySequenceCount": key_sequence_probe.get("sequenceCount"),
            "keySequenceStartupWaitSeconds": key_sequence_probe.get("startupWaitSeconds"),
            "keySequenceReachedCurrentRoot": key_sequence_probe.get("anyReachedCurrentRoot"),
            "keySequenceReachedRouteSelectorContext": key_sequence_probe.get("anyReachedRouteSelectorContext"),
            "keySequencePreludeCount": key_sequence_prelude_probe.get("sequenceCount"),
            "keySequencePreludeObservedSelectors": key_sequence_prelude_observed_selectors,
            "keySequencePreludeReachedCurrentRoot": key_sequence_prelude_probe.get("anyReachedCurrentRoot"),
            "keySequencePreludeReachedRouteSelectorContext": key_sequence_prelude_probe.get("anyReachedRouteSelectorContext"),
            "selectedPointerPollSequenceCount": selected_pointer_poll.get("sequenceCount"),
            "selectedPointerPollSampleCount": selected_pointer_poll.get("sampleCount"),
            "selectedPointerPollObservedSelectors": selected_pointer_poll.get("observedSelectors") or [],
            "selectedPointerPollReachedCurrentRoot": selected_pointer_poll.get("anyReachedCurrentRoot"),
            "selectedPointerPollReachedRouteSelectorContext": selected_pointer_poll.get("anyReachedRouteSelectorContext"),
            "selectedPointerPreludePollSequenceCount": selected_pointer_prelude_poll.get("sequenceCount"),
            "selectedPointerPreludePollSampleCount": selected_pointer_prelude_poll.get("sampleCount"),
            "selectedPointerPreludePollObservedSelectors": selected_pointer_prelude_poll.get("observedSelectors") or [],
            "selectedPointerPreludePollReachedCurrentRoot": selected_pointer_prelude_poll.get("anyReachedCurrentRoot"),
            "selectedPointerPreludePollReachedRouteSelectorContext": selected_pointer_prelude_poll.get("anyReachedRouteSelectorContext"),
            "selectedPointerLongPollSequenceCount": selected_pointer_long_poll.get("sequenceCount"),
            "selectedPointerLongPollSampleCount": selected_pointer_long_poll.get("sampleCount"),
            "selectedPointerLongPollObservedSelectors": selected_pointer_long_poll.get("observedSelectors") or [],
            "selectedPointerLongPollReachedCurrentRoot": selected_pointer_long_poll.get("anyReachedCurrentRoot"),
            "selectedPointerLongPollReachedRouteSelectorContext": selected_pointer_long_poll.get("anyReachedRouteSelectorContext"),
            "selectedPointerLatePollSequenceCount": selected_pointer_late_poll.get("sequenceCount"),
            "selectedPointerLatePollSampleCount": selected_pointer_late_poll.get("sampleCount"),
            "selectedPointerLatePollStartupWaitSeconds": selected_pointer_late_poll.get("startupWaitSeconds"),
            "selectedPointerLatePollObservedSelectors": selected_pointer_late_poll.get("observedSelectors") or [],
            "selectedPointerLatePollReachedCurrentRoot": selected_pointer_late_poll.get("anyReachedCurrentRoot"),
            "selectedPointerLatePollReachedRouteSelectorContext": selected_pointer_late_poll.get("anyReachedRouteSelectorContext"),
            "routeWatchPollSequenceCount": route_watch_values_poll.get("sequenceCount"),
            "routeWatchPollSampleCount": route_watch_values_poll.get("sampleCount"),
            "routeWatchPollStartupWaitSeconds": route_watch_values_poll.get("startupWaitSeconds"),
            "routeWatchPollObservedSelectors": route_watch_values_poll.get("observedSelectors") or [],
            "routeWatchPollReachedCurrentRoot": route_watch_values_poll.get("anyReachedCurrentRoot"),
            "routeWatchPollReachedRouteSelectorContext": route_watch_values_poll.get("anyReachedRouteSelectorContext"),
            "routeWatchPollValues": route_watch_values_summary,
            "selectedPointerSavedataLoadPollSequenceCount": selected_pointer_savedata_load_poll.get("sequenceCount"),
            "selectedPointerSavedataLoadPollSampleCount": selected_pointer_savedata_load_poll.get("sampleCount"),
            "selectedPointerSavedataLoadPollStartupWaitSeconds": selected_pointer_savedata_load_poll.get("startupWaitSeconds"),
            "selectedPointerSavedataLoadPollObservedSelectors": selected_pointer_savedata_load_poll.get("observedSelectors") or [],
            "selectedPointerSavedataLoadPollReachedCurrentRoot": selected_pointer_savedata_load_poll.get("anyReachedCurrentRoot"),
            "selectedPointerSavedataLoadPollReachedRouteSelectorContext": selected_pointer_savedata_load_poll.get("anyReachedRouteSelectorContext"),
            "selectedPointerSavedataLoadPollValues": watch_value_summary(selected_pointer_savedata_load_poll),
            "selectedPointerMultislotSavedataLoadPollSequenceCount": selected_pointer_multislot_savedata_load_poll.get("sequenceCount"),
            "selectedPointerMultislotSavedataLoadPollSampleCount": selected_pointer_multislot_savedata_load_poll.get("sampleCount"),
            "selectedPointerMultislotSavedataLoadPollStartupWaitSeconds": selected_pointer_multislot_savedata_load_poll.get("startupWaitSeconds"),
            "selectedPointerMultislotSavedataLoadPollPublicSaveSelectors": selected_pointer_multislot_savedata_load_poll.get("publicSaveSelectors") or [],
            "selectedPointerMultislotSavedataLoadPollObservedSelectors": selected_pointer_multislot_savedata_load_poll.get("observedSelectors") or [],
            "selectedPointerMultislotSavedataLoadPollObservedPublicSaveSelectors": selected_pointer_multislot_savedata_load_poll.get("observedPublicSaveSelectors") or [],
            "selectedPointerMultislotSavedataLoadPollReachedPublicSaveSelector": selected_pointer_multislot_savedata_load_poll.get("anyReachedPublicSaveSelector"),
            "selectedPointerMultislotSavedataLoadPollReachedCurrentRoot": selected_pointer_multislot_savedata_load_poll.get("anyReachedCurrentRoot"),
            "selectedPointerMultislotSavedataLoadPollReachedRouteSelectorContext": selected_pointer_multislot_savedata_load_poll.get("anyReachedRouteSelectorContext"),
            "selectedPointerMultislotSavedataLoadPollValues": watch_value_summary(selected_pointer_multislot_savedata_load_poll),
            "selectedPointerMultislotSavedataLoadCaseAliasPollSequenceCount": selected_pointer_multislot_savedata_load_case_alias_poll.get("sequenceCount"),
            "selectedPointerMultislotSavedataLoadCaseAliasPollSampleCount": selected_pointer_multislot_savedata_load_case_alias_poll.get("sampleCount"),
            "selectedPointerMultislotSavedataLoadCaseAliasPollStartupWaitSeconds": selected_pointer_multislot_savedata_load_case_alias_poll.get("startupWaitSeconds"),
            "selectedPointerMultislotSavedataLoadCaseAliasPollCaseAliasesEnabled": (selected_pointer_multislot_savedata_load_case_alias_poll.get("caseAliases") or {}).get("enabled"),
            "selectedPointerMultislotSavedataLoadCaseAliasPollPublicSaveSelectors": selected_pointer_multislot_savedata_load_case_alias_poll.get("publicSaveSelectors") or [],
            "selectedPointerMultislotSavedataLoadCaseAliasPollObservedSelectors": selected_pointer_multislot_savedata_load_case_alias_poll.get("observedSelectors") or [],
            "selectedPointerMultislotSavedataLoadCaseAliasPollObservedPublicSaveSelectors": selected_pointer_multislot_savedata_load_case_alias_poll.get("observedPublicSaveSelectors") or [],
            "selectedPointerMultislotSavedataLoadCaseAliasPollReachedPublicSaveSelector": selected_pointer_multislot_savedata_load_case_alias_poll.get("anyReachedPublicSaveSelector"),
            "selectedPointerMultislotSavedataLoadCaseAliasPollReachedCurrentRoot": selected_pointer_multislot_savedata_load_case_alias_poll.get("anyReachedCurrentRoot"),
            "selectedPointerMultislotSavedataLoadCaseAliasPollReachedRouteSelectorContext": selected_pointer_multislot_savedata_load_case_alias_poll.get("anyReachedRouteSelectorContext"),
            "selectedPointerMultislotSavedataLoadCaseAliasPollValues": watch_value_summary(selected_pointer_multislot_savedata_load_case_alias_poll),
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollSequenceCount": selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get("sequenceCount"),
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollSampleCount": selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get("sampleCount"),
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollStartupWaitSeconds": selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get("startupWaitSeconds"),
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollCaseAliasesEnabled": (selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get("caseAliases") or {}).get("enabled"),
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollPublicSaveSelectors": selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get("publicSaveSelectors") or [],
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollObservedSelectors": selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get("observedSelectors") or [],
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollObservedPublicSaveSelectors": selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get("observedPublicSaveSelectors") or [],
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollReachedPublicSaveSelector": selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get("anyReachedPublicSaveSelector"),
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollReachedCurrentRoot": selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get("anyReachedCurrentRoot"),
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollReachedRouteSelectorContext": selected_pointer_multislot_savedata_load_input_path_case_alias_poll.get("anyReachedRouteSelectorContext"),
            "selectedPointerMultislotSavedataLoadInputPathCaseAliasPollValues": watch_value_summary(selected_pointer_multislot_savedata_load_input_path_case_alias_poll),
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollSequenceCount": selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get("sequenceCount"),
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollSampleCount": selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get("sampleCount"),
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollStartupWaitSeconds": selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get("startupWaitSeconds"),
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollCaseAliasesEnabled": (selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get("caseAliases") or {}).get("enabled"),
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollStagedSelectors": selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get("publicSaveSelectors") or [],
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollObservedSelectors": selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get("observedSelectors") or [],
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollObservedStagedSelectors": selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get("observedPublicSaveSelectors") or [],
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollReachedStagedSelector": selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get("anyReachedPublicSaveSelector"),
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollReachedCurrentRoot": selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get("anyReachedCurrentRoot"),
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollReachedRouteSelectorContext": selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.get("anyReachedRouteSelectorContext"),
            "selectedPointerSyntheticSelector20InputPathCaseAliasPollValues": watch_value_summary(selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll),
            "saveFileIoProbeBackend": save_file_io_probe.get("backend"),
            "saveFileIoProbeSequenceCount": save_file_io_probe.get("sequenceCount"),
            "saveFileIoProbeSequenceWithPidCount": save_file_io_probe.get("sequenceWithPidCount"),
            "saveFileIoProbeSequenceWithKeyWritesCount": save_file_io_probe.get("sequenceWithKeyWritesCount"),
            "saveFileIoProbeInputTraceUsable": save_file_io_probe.get("inputTraceUsable"),
            "saveFileIoProbeMatchedLineCount": save_file_io_probe.get("matchedLineCount"),
            "saveFileIoProbeAnySavedat1DatAccess": save_file_io_probe.get("anySavedat1DatAccess"),
            "saveFileIoStraceProbeBackend": save_file_io_strace_probe.get("backend"),
            "saveFileIoStraceProbeSequenceCount": save_file_io_strace_probe.get("sequenceCount"),
            "saveFileIoStraceProbeSequenceWithPidCount": save_file_io_strace_probe.get("sequenceWithPidCount"),
            "saveFileIoStraceProbeSequenceWithKeyWritesCount": save_file_io_strace_probe.get("sequenceWithKeyWritesCount"),
            "saveFileIoStraceProbeInputTraceUsable": save_file_io_strace_probe.get("inputTraceUsable"),
            "saveFileIoStraceProbeMatchedLineCount": save_file_io_strace_probe.get("matchedLineCount"),
            "saveFileIoStraceProbeAnySavedat1DatAccess": save_file_io_strace_probe.get("anySavedat1DatAccess"),
            "saveFileIoStraceAttachProbeBackend": save_file_io_strace_attach_probe.get("backend"),
            "saveFileIoStraceAttachProbeSequenceCount": save_file_io_strace_attach_probe.get("sequenceCount"),
            "saveFileIoStraceAttachProbeSequenceWithPidCount": save_file_io_strace_attach_probe.get("sequenceWithPidCount"),
            "saveFileIoStraceAttachProbeSequenceWithKeyWritesCount": save_file_io_strace_attach_probe.get("sequenceWithKeyWritesCount"),
            "saveFileIoStraceAttachProbeInputTraceUsable": save_file_io_strace_attach_probe.get("inputTraceUsable"),
            "saveFileIoStraceAttachProbeMatchedLineCount": save_file_io_strace_attach_probe.get("matchedLineCount"),
            "saveFileIoStraceAttachProbeAnySavedat1DatAccess": save_file_io_strace_attach_probe.get("anySavedat1DatAccess"),
            "saveFileIoStraceAttachLoadCandidatesProbeBackend": save_file_io_strace_attach_load_candidates_probe.get("backend"),
            "saveFileIoStraceAttachLoadCandidatesProbeSequenceCount": save_file_io_strace_attach_load_candidates_probe.get("sequenceCount"),
            "saveFileIoStraceAttachLoadCandidatesProbeSequenceWithPidCount": save_file_io_strace_attach_load_candidates_probe.get("sequenceWithPidCount"),
            "saveFileIoStraceAttachLoadCandidatesProbeSequenceWithKeyWritesCount": save_file_io_strace_attach_load_candidates_probe.get("sequenceWithKeyWritesCount"),
            "saveFileIoStraceAttachLoadCandidatesProbeInputTraceUsable": save_file_io_strace_attach_load_candidates_probe.get("inputTraceUsable"),
            "saveFileIoStraceAttachLoadCandidatesProbeMatchedLineCount": save_file_io_strace_attach_load_candidates_probe.get("matchedLineCount"),
            "saveFileIoStraceAttachLoadCandidatesProbeAnySavedat1DatAccess": save_file_io_strace_attach_load_candidates_probe.get("anySavedat1DatAccess"),
            "saveFileIoStraceAttachLoadCandidatesCaseAliasProbeBackend": save_file_io_strace_attach_load_candidates_case_alias_probe.get("backend"),
            "saveFileIoStraceAttachLoadCandidatesCaseAliasProbeSequenceCount": save_file_io_strace_attach_load_candidates_case_alias_probe.get("sequenceCount"),
            "saveFileIoStraceAttachLoadCandidatesCaseAliasProbeSequenceWithPidCount": save_file_io_strace_attach_load_candidates_case_alias_probe.get("sequenceWithPidCount"),
            "saveFileIoStraceAttachLoadCandidatesCaseAliasProbeSequenceWithKeyWritesCount": save_file_io_strace_attach_load_candidates_case_alias_probe.get("sequenceWithKeyWritesCount"),
            "saveFileIoStraceAttachLoadCandidatesCaseAliasProbeInputTraceUsable": save_file_io_strace_attach_load_candidates_case_alias_probe.get("inputTraceUsable"),
            "saveFileIoStraceAttachLoadCandidatesCaseAliasProbeMatchedLineCount": save_file_io_strace_attach_load_candidates_case_alias_probe.get("matchedLineCount"),
            "saveFileIoStraceAttachLoadCandidatesCaseAliasProbeAnySavedat1DatAccess": save_file_io_strace_attach_load_candidates_case_alias_probe.get("anySavedat1DatAccess"),
            "saveFileIoStraceAttachLoadCandidatesCaseAliasProbeCaseAliasesEnabled": (save_file_io_strace_attach_load_candidates_case_alias_probe.get("caseAliases") or {}).get("enabled"),
            "promotionStatus": runtime_trace_feasibility.get("promotionStatus"),
        },
        "selectedPointerEvidence": {
            "selectedPointerGlobalHex": selected_pointer_usage.get("selectedPointerGlobalHex"),
            "selectorGroupTableHex": selected_pointer_usage.get("selectorGroupTableHex"),
            "currentSelector": selected_pointer_usage.get("currentSelector"),
            "currentSelectorRootHex": selected_pointer_usage.get("currentSelectorRootHex"),
            "selectedPointerGlobalTextRefCount": selected_pointer_usage.get("selectedPointerGlobalTextRefCount"),
            "currentSelectorRootTextRefCount": current_selector_root.get("textRefCount"),
            "currentSecondLevelTableHex": current_second_level.get("valueHex"),
            "currentSecondLevelTableTextRefCount": current_second_level.get("textRefCount"),
            "currentFrontierReaderRefCount": current_frontier_reader.get("refCount"),
            "currentSourceRecordRefCount": current_source_record.get("refCount"),
            "currentTargetRecordRefCount": current_target_record.get("refCount"),
            "currentCodeRefCount": selected_pointer_usage.get("currentCodeRefCount"),
            "noStaticDirectCurrentSelectorCodeRef": selected_pointer_usage.get("noStaticDirectCurrentSelectorCodeRef"),
            "runtimeTraceHookPointCount": len(selected_hooks),
            "runtimeTraceHookPointVas": selected_hook_vas,
            "selectedPointerWriterHookCount": selected_pointer_usage.get("selectedPointerWriterHookCount"),
            "selectedPointerReaderHookCount": selected_pointer_usage.get("selectedPointerReaderHookCount"),
            "selectedPointerWriteMechanisms": selected_pointer_usage.get("selectedPointerWriteMechanisms") or [],
            "selectedPointerReadMechanisms": selected_pointer_usage.get("selectedPointerReadMechanisms") or [],
            "opcode8SelectedPointerReadHex": opcode8_selected_read,
            "routePromotionStatus": selected_pointer_usage.get("routePromotionStatus"),
            "nextEvidenceNeeded": selected_pointer_usage.get("nextEvidenceNeeded") or [],
        },
        "currentWriterPathEvidence": current_writer_path_summary,
        "selectedRootExecutionGapEvidence": selected_root_execution_gap,
        "selectedRootExecutionRejectionClassification": selected_root_execution_gap.get(
            "selectedRootExecutionRejectionClassification"
        ),
        "selectedRootExecutionRejection": selected_root_rejection,
        "runtimeTraceEquivalentRejectionClassification": runtime_trace_equivalent_rejection.get(
            "classification"
        ),
        "runtimeTraceEquivalentRejection": runtime_trace_equivalent_rejection,
        "routePairEntryExecutionGapEvidence": route_pair_entry_execution_gap,
        "runtimePatchedSelectorFollowupContext": runtime_patched_selector_followup_context,
        "wrapperExecutionGapEvidence": wrapper_execution_gap,
        "runtimeSavePathEvidence": runtime_save_path_context,
        "predecessorFillExecutionOrderGapEvidence": predecessor_fill_execution_order_gap,
        "evidenceRows": evidence_rows,
        "nextRequiredEvidence": next_required,
        "relatedReports": [
            {
                "label": "route playtest index",
                "href": "web_playtest_route.html",
                "purpose": "open the current confirmed/trial route and savedat evidence links",
            },
            {
                "label": "route promotion external proof handoff",
                "href": external_handoff_url or "route_promotion_external_proof_handoff.html",
                "purpose": "collect the external savedata/runtime/strict-hotspot proof package needed to unblock promotion",
            },
            {
                "label": "route investigation queue",
                "href": "route_investigation_queue.html",
                "purpose": "inspect prioritized blocker proof tasks",
            },
            {
                "label": "predecessor branch-state execution gap",
                "href": "save_selector_predecessor_branch_state_execution_gap.html",
                "purpose": "check why predecessor 1:0 branch-state persistence is still non-promoting",
            },
            {
                "label": "predecessor fill execution order gap",
                "href": "save_selector_predecessor_fill_execution_order_gap.html",
                "purpose": "check which predecessor fill execution/order proof gates are still blocked",
            },
            {
                "label": "predecessor fill-site execution context",
                "href": "save_selector_predecessor_fill_site_execution_context.json",
                "purpose": "check why public predecessor reach still does not prove fill-site execution",
            },
            {
                "label": "selector merge execution gap",
                "href": "save_selector_merge_execution_gap.html",
                "purpose": "check why selector recomposition still lacks execution proof",
            },
            {
                "label": "selector merge runtime context",
                "href": "save_selector_merge_runtime_context.json",
                "purpose": "check why selector 2:0 merge shape still lacks runtime/control-flow proof",
            },
            {
                "label": "selector root ref context",
                "href": "save_selector_route_root_ref_context.json",
                "purpose": "check why selector root pointer chains are table-only membership evidence",
            },
            {
                "label": "strict source hotspot context",
                "href": "map1_01a_strict_source_hotspot_context.json",
                "purpose": "check why geometry/tile similarity and selector adjacency still lack a strict source trigger",
            },
            {
                "label": "wrapper execution gap",
                "href": "save_selector_wrapper_execution_gap.html",
                "purpose": "check why current selector leaf selection and wrapper execution are still unproven",
            },
            {
                "label": "selected-root execution gap",
                "href": "save_selector_selected_root_execution_gap.html",
                "purpose": "check why selector 2:0 is not proven executed",
            },
            {
                "label": "route-pair entry execution gap",
                "href": "save_selector_route_pair_entry_execution_gap.html",
                "purpose": "check why entries 6/8 reach the reader only as non-executed table evidence",
            },
            {
                "label": "runtime patched selector follow-up context",
                "href": "runtime_patched_selector_followup_context.json",
                "purpose": "inspect the diagnostic-only sampled 2:0 -> 10:0 selector movement",
            },
            {
                "label": "real savedata evidence gap",
                "href": optional_out_href("save_selector_real_savedata_evidence_gap.html"),
                "purpose": "check public/local captured save selector coverage",
                "status": "parked until external savedata refresh" if not optional_out_href("save_selector_real_savedata_evidence_gap.html") else "available",
            },
            {
                "label": "original save path context",
                "href": "runtime_save_path_context.json",
                "purpose": "check SaveData\\savedatN.dat path construction and loader API evidence",
            },
            {
                "label": "SAVEDATA slot scan",
                "href": optional_out_href("savedata_slot_scan.html"),
                "purpose": "view savedat1-9 dat/zip scan results",
                "status": "parked until external savedata refresh" if not optional_out_href("savedata_slot_scan.html") else "available",
            },
            {
                "label": "strict hotspot gap",
                "href": "map1_01a_hotspot_gap.html",
                "purpose": "check source-coordinate and hotspot evidence",
            },
            {
                "label": "runtime trace feasibility",
                "href": "runtime_trace_feasibility.html",
                "purpose": "check Wine/debugger/runtime-trace blocker status",
            },
            {
                "label": "browser savedata scan",
                "href": "../web/game.html?savedatScan=1",
                "purpose": "run the browser-side SAVEDATA/SaveData savedat1-9 scan",
            },
        ],
        "conclusion": (
            "map1_01a -> map2_02d remains blocked. Geometry exits, selector 2:0 scene-list adjacency, "
            "and current-root writer paths are useful diagnostics, but every promotion gate still lacks either "
            "a strict map1_01a trigger, a captured selector 2:0 save/runtime trace, or selector-merge "
            "control-flow proof."
        ),
    }


def markdown(summary: dict) -> str:
    lines = [
        "# Route Blocker Evidence Matrix",
        "",
        f"- route: `{summary['source']} -> {summary['target']}`",
        f"- promotion allowed: {summary['promotionAllowed']}",
        f"- promotion status: `{summary['promotionStatus']}`",
        f"- normal progression status: `{summary.get('normalProgressionStatus')}`",
        f"- external proof handoff: `{summary.get('externalProofHandoffUrl') or '-'}` via "
        f"`{summary.get('externalProofHandoffRegenerateCommand') or '-'}` packages "
        f"`{','.join(summary.get('externalProofHandoffExpectedPackageIds') or []) or '-'}`",
        "",
        summary["conclusion"],
        "",
        "## Evidence Matrix",
        "",
        "| area | status | evidence | promotion impact |",
        "| --- | --- | --- | --- |",
    ]
    for row in summary["evidenceRows"]:
        lines.append(
            f"| {row['area']} | {row['status']} | {row['evidence']} | {row['promotionImpact']} |"
        )
    exits = summary["exitEvidence"]
    lines.extend([
        "",
        "## Candidate Exits",
        "",
        f"- exits: {exits.get('exitCount')} ({exits.get('autoBlockedTargetExitCount')} auto for `{summary['target']}`)",
        f"- coordinate-promotable exits: {exits.get('coordinatePromotableCount')}",
        f"- selector outgoing candidates: {exits.get('selectorOutgoingCandidateCount')} "
        f"(selector-only {exits.get('selectorOutgoingOnlyCount')}, strict-backed {exits.get('selectorOutgoingStrictBackedCount')}, "
        f"confirmed-backed {exits.get('selectorOutgoingConfirmedBackedCount')})",
        f"- selector outgoing targets: {', '.join(exits.get('selectorOutgoingTargets') or []) or '-'}",
        "",
        "| side | tile | auto | assist | coordinate status | reciprocal |",
        "| --- | --- | --- | --- | --- | --- |",
    ])
    for row in exits.get("blockedTargetCandidates") or []:
        reciprocal = row.get("reciprocalExit") or {}
        reciprocal_text = "-"
        if reciprocal:
            reciprocal_text = f"{reciprocal.get('side')} {reciprocal.get('x')},{reciprocal.get('y')}"
        lines.append(
            f"| {row.get('side')} | `{row.get('x')},{row.get('y')}` | {row.get('auto')} | "
            f"{row.get('routeAssistOrder') or '-'} | {row.get('coordinateStatus') or '-'} | {reciprocal_text} |"
        )
    lines.extend(["", "## Next Required Evidence", ""])
    lines.extend(f"- {item}" for item in summary["nextRequiredEvidence"])
    lines.extend(["", "## Related Reports", ""])
    for report in summary.get("relatedReports") or []:
        if report.get("href"):
            lines.append(f"- [{report['label']}]({report['href']}) — {report['purpose']}")
        else:
            lines.append(
                f"- {report['label']} — {report['purpose']} "
                f"({report.get('status') or 'not generated'})"
            )
    lines.append("")
    return "\n".join(lines)


def html_page(summary: dict) -> str:
    evidence_rows = "\n".join(
        "<tr>"
        f"<td>{html.escape(row['area'])}</td>"
        f"<td>{html.escape(row['status'])}</td>"
        f"<td>{html.escape(row['evidence'])}</td>"
        f"<td>{html.escape(row['promotionImpact'])}</td>"
        "</tr>"
        for row in summary["evidenceRows"]
    )
    exit_rows = []
    for row in summary["exitEvidence"].get("blockedTargetCandidates") or []:
        reciprocal = row.get("reciprocalExit") or {}
        reciprocal_text = "-"
        if reciprocal:
            reciprocal_text = f"{reciprocal.get('side')} {reciprocal.get('x')},{reciprocal.get('y')}"
        exit_rows.append(
            "<tr>"
            f"<td>{html.escape(str(row.get('side')))}</td>"
            f"<td><code>{html.escape(str(row.get('x')) + ',' + str(row.get('y')))}</code></td>"
            f"<td>{html.escape(str(row.get('auto')))}</td>"
            f"<td>{html.escape(str(row.get('routeAssistOrder') or '-'))}</td>"
            f"<td>{html.escape(str(row.get('coordinateStatus') or '-'))}</td>"
            f"<td>{html.escape(reciprocal_text)}</td>"
            "</tr>"
        )
    next_items = "".join(
        f"<li>{html.escape(item)}</li>"
        for item in summary["nextRequiredEvidence"]
    )
    related_parts = []
    for report in summary.get("relatedReports") or []:
        if report.get("href"):
            label = (
                f"<a href=\"{html.escape(report['href'], quote=True)}\">"
                f"{html.escape(report['label'])}</a>"
            )
        else:
            label = (
                f"{html.escape(report['label'])} "
                f"<span class=\"muted\">({html.escape(str(report.get('status') or 'not generated'))})</span>"
            )
        related_parts.append(
            "<li>"
            f"{label} - {html.escape(report['purpose'])}"
            "</li>"
        )
    related_items = "".join(related_parts)
    return "\n".join([
        "<!doctype html><meta charset=\"utf-8\"><title>Route Blocker Evidence Matrix</title>",
        "<style>body{font-family:system-ui,sans-serif;background:#111;color:#eee;max-width:1180px;margin:24px auto}table{border-collapse:collapse;width:100%}td,th{border:1px solid #444;padding:6px 8px;vertical-align:top}code{color:#9bd4ff}a{color:#9bd4ff}.muted{color:#aaa}</style>",
        "<h1>Route Blocker Evidence Matrix</h1>",
        f"<p>Route <code>{html.escape(summary['source'])} -&gt; {html.escape(summary['target'])}</code>; promotion allowed: {summary['promotionAllowed']}; promotion status: <code>{html.escape(summary['promotionStatus'])}</code>.</p>",
        "<p>External proof handoff: "
        f"<a href=\"{html.escape(str(summary.get('externalProofHandoffUrl') or ''), quote=True)}\">"
        f"{html.escape(str(summary.get('externalProofHandoffUrl') or '-'))}</a>; "
        f"command <code>{html.escape(str(summary.get('externalProofHandoffRegenerateCommand') or '-'))}</code>; "
        "packages "
        f"<code>{html.escape(','.join(summary.get('externalProofHandoffExpectedPackageIds') or []) or '-')}</code>.</p>",
        f"<p>{html.escape(summary['conclusion'])}</p>",
        "<h2>Evidence Matrix</h2>",
        "<table><thead><tr><th>area</th><th>status</th><th>evidence</th><th>promotion impact</th></tr></thead><tbody>",
        evidence_rows,
        "</tbody></table>",
        "<h2>Candidate Exits</h2>",
        f"<p>exits: {summary['exitEvidence'].get('exitCount')} ({summary['exitEvidence'].get('autoBlockedTargetExitCount')} auto for <code>{html.escape(summary['target'])}</code>); coordinate-promotable exits: {summary['exitEvidence'].get('coordinatePromotableCount')}; selector outgoing candidates: {summary['exitEvidence'].get('selectorOutgoingCandidateCount')} / selector-only {summary['exitEvidence'].get('selectorOutgoingOnlyCount')}.</p>",
        "<table><thead><tr><th>side</th><th>tile</th><th>auto</th><th>assist</th><th>coordinate status</th><th>reciprocal</th></tr></thead><tbody>",
        *exit_rows,
        "</tbody></table>",
        "<h2>Next Required Evidence</h2>",
        f"<ul>{next_items}</ul>",
        "<h2>Related Reports</h2>",
        f"<ul>{related_items}</ul>",
    ])


def write_outputs(summary: dict, out_dir: Path) -> None:
    out_dir.mkdir(parents=True, exist_ok=True)
    (out_dir / "route_blocker_evidence_matrix.json").write_text(
        json.dumps(summary, ensure_ascii=False, indent=2) + "\n",
        encoding="utf-8",
    )
    (out_dir / "route_blocker_evidence_matrix.html").write_text(html_page(summary), encoding="utf-8")


def main() -> None:
    parser = argparse.ArgumentParser(description=__doc__)
    parser.add_argument("--out-dir", type=Path, default=OUT)
    args = parser.parse_args()
    summary = build_matrix(
        load_json(args.out_dir / "route_investigation_queue.json", []),
        load_json(args.out_dir / "map1_01a_exit_target_ranking.json", {}),
        load_json(args.out_dir / "map1_01a_hotspot_gap.json", {}),
        load_json(args.out_dir / "save_selector_merge_gap.json", {}),
        load_json(args.out_dir / "save_selector_real_savedata_evidence_gap.json", {}),
        load_json(args.out_dir / "runtime_trace_feasibility.json", {}),
        load_json(args.out_dir / "save_selector_selected_pointer_usage.json", {}),
        load_json(args.out_dir / "completion_audit.json", {}),
        load_json(args.out_dir / "save_selector_leaf_index_space.json", {}),
        load_json(args.out_dir / "save_selector_leaf_table_global_context.json", {}),
        load_json(args.out_dir / "save_selector_opcode2c_route_pair_context.json", {}),
        load_json(args.out_dir / "save_selector_frontier_reader_branch_context.json", {}),
        load_json(args.out_dir / "save_selector_frontier_payload_shape.json", {}),
        load_json(args.out_dir / "map1_01a_event_shape_scan.json", {}),
        load_json(args.out_dir / "map1_01a_scene_record_cluster_context.json", {}),
        load_json(args.out_dir / "save_selector_scene_adjacency_index.json", {}),
        load_json(args.out_dir / "save_selector_current_writer_paths.json", []),
        load_json(args.out_dir / "save_selector_selected_root_execution_gap.json", {}),
        runtime_save_path_context=load_json(args.out_dir / "runtime_save_path_context.json", {}),
        original_collision_route_audit=load_json(args.out_dir / "original_collision_route_audit.json", {}),
        edge_trigger_gap=load_json(args.out_dir / "map1_01a_edge_trigger_gap.json", {}),
        tile_hotspot_pattern_contrast=load_json(args.out_dir / "map1_01a_tile_hotspot_pattern_contrast.json", {}),
        strict_event_tile_signature_scan=load_json(
            args.out_dir / "map1_01a_strict_event_tile_signature_scan.json",
            {},
        ),
        strict_target_link_gap=load_json(args.out_dir / "map1_01a_strict_target_link_gap.json", {}),
        strict_source_hotspot_context=load_json(
            args.out_dir / "map1_01a_strict_source_hotspot_context.json",
            {},
        ),
        wrapper_execution_gap=load_json(args.out_dir / "save_selector_wrapper_execution_gap.json", {}),
        predecessor_fill_site_execution_context=load_json(
            args.out_dir / "save_selector_predecessor_fill_site_execution_context.json",
            {},
        ),
        merge_runtime_context=load_json(args.out_dir / "save_selector_merge_runtime_context.json", {}),
        route_root_ref_context=load_json(args.out_dir / "save_selector_route_root_ref_context.json", {}),
        runtime_patched_selector_followup_context=load_json(
            args.out_dir / "runtime_patched_selector_followup_context.json",
            {},
        ),
        route_promotion_gate=load_json(args.out_dir / "route_promotion_gate.json", {}),
    )
    write_outputs(summary, args.out_dir)
    print(f"wrote route blocker evidence matrix -> {args.out_dir / 'route_blocker_evidence_matrix.html'}")


if __name__ == "__main__":
    main()