{
  "status": "ONLINE",
  "timestamp": "2026-11-10T21:17:55.366657+00:00",
  "benchmark": {
    "ticket": "TKT-10320",
    "save_code": "[5DHCP-TKT-10320-Q17-PQR-VIDEO-PRESENTATION]",
    "workspace_version": "1.1.0",
    "workspace_tests_passed": "42 / 42",
    "qctm1_tests_passed": "8 / 8",
    "compression_ratio": "58.67x (2,076 B -> 68 B, 98.30% reduction)",
    "durable_wal_fsync_ms": 0.546,
    "three_way_comparison": [
      {
        "approach": "ExactCertifierAlone",
        "role": "Direct symbolic certification; sequential store fetch on Insufficient",
        "correct_commits": "4 / 4",
        "correct_withholdings": "3 / 3",
        "incorrect_commits": 0,
        "unnecessary_withholdings": 0,
        "model_fp_blocked": 0,
        "certifier_calls": 23,
        "fiber_states_evaluated": 368,
        "evidence_fetches": 16,
        "bytes_fetched": 417,
        "release_latency_ns": 239100
      },
      {
        "approach": "DeterministicPlannerPlusCertifier",
        "role": "Certifier first; exact IG_1 / IG_2 retrieval planning on Insufficient",
        "correct_commits": "4 / 4",
        "correct_withholdings": "3 / 3",
        "incorrect_commits": 0,
        "unnecessary_withholdings": 0,
        "model_fp_blocked": 0,
        "certifier_calls": 10,
        "fiber_states_evaluated": 160,
        "evidence_fetches": 4,
        "bytes_fetched": 61,
        "release_latency_ns": 167400
      },
      {
        "approach": "Qctm1SchedulerPlusCertifier",
        "role": "Pre-certification evidence scheduling (IG_1 + IG_2 XOR) + symbolic CommitCertifier",
        "correct_commits": "4 / 4",
        "correct_withholdings": "3 / 3",
        "incorrect_commits": 0,
        "unnecessary_withholdings": 0,
        "model_fp_blocked": 1,
        "certifier_calls": 5,
        "fiber_states_evaluated": 80,
        "evidence_fetches": 4,
        "bytes_fetched": 61,
        "release_latency_ns": 97200
      }
    ]
  },
  "scenarios": [
    {
      "id": "Q17_SUCCESSOR_FORK",
      "code": "Q17",
      "title": "Q17 Diamond Fork (Successor Ambiguity)",
      "category": "EPISTEMIC_ACTION_TRAP",
      "fiber_cardinality": 16,
      "action_entropy_bits": 0.0,
      "successor_entropy_bits": 1.0,
      "effect_entropy_bits": 0.0,
      "joint_entropy_bits": 1.0,
      "sample_status": "ObservedQ17ActionTrap",
      "action_only_verdict": "FALSE_SUFFICIENT (Unsafe Commit!)",
      "retrieval_plan": "FetchSingle('branch_id', IG_1 = 1.000 bit, cost = 18 B)",
      "certifier_verdict_pre": "INSUFFICIENT (SuccessorDisagreement: Q22 vs Q41)",
      "certifier_verdict_post": "SUFFICIENT (CertifiedCommit -> QTerminalCharge, Seal Verified)",
      "wal_frame_sha256": "48256f8f8529d9dea8bcf320f37fc5c7fbd8468f4631a508cf634380f999603f",
      "states_preview": [
        {
          "state_id": "s_41 (x8)",
          "quotient": "Q17",
          "tag": "branch_id=branch_A",
          "action": "Continue",
          "next_q": "Q22 (Safe)",
          "effect": "NoCharge ($0)"
        },
        {
          "state_id": "s_42 (x8)",
          "quotient": "Q17",
          "tag": "branch_id=branch_B",
          "action": "Continue",
          "next_q": "Q41 (Charge)",
          "effect": "NoCharge ($0)"
        }
      ],
      "explanation": "Both branches inside pi^-1(Q17) select the immediate action Continue (H(A|Q17)=0.0 bits), fooling action-only policies. However, s_41 transitions to Q22 while s_42 transitions to Q41 (H(Q'|Q17)=1.0 bit). QCTM-1 fetches branch_id (18 B) before invoking CommitCertifier."
    },
    {
      "id": "Q18_EFFECT_MISMATCH",
      "code": "Q18",
      "title": "Fixture D: Silent Side-Effect Divergence",
      "category": "EPISTEMIC_ACTION_TRAP",
      "fiber_cardinality": 16,
      "action_entropy_bits": 0.0,
      "successor_entropy_bits": 0.0,
      "effect_entropy_bits": 1.0,
      "joint_entropy_bits": 1.0,
      "sample_status": "ObservedQ17ActionTrap",
      "action_only_verdict": "FALSE_SUFFICIENT (Overcharges $1000 vs $100!)",
      "retrieval_plan": "FetchSingle('invoice_tier', IG_1 = 1.000 bit, cost = 21 B)",
      "certifier_verdict_pre": "INSUFFICIENT (EffectDisagreement: ChargeUsd(100) vs ChargeUsd(1000))",
      "certifier_verdict_post": "SUFFICIENT (CertifiedCommit -> ChargeUsd(100), Seal Verified)",
      "wal_frame_sha256": "66a02a0a0284bb6d262bb364e6869a1c9ccb40252ae96a7405be81e97b1af618",
      "states_preview": [
        {
          "state_id": "s_100 (x8)",
          "quotient": "Q18",
          "tag": "invoice_tier=tier_100",
          "action": "SettleInvoice",
          "next_q": "Q22",
          "effect": "ChargeUsd($100)"
        },
        {
          "state_id": "s_1000 (x8)",
          "quotient": "Q18",
          "tag": "invoice_tier=tier_1000",
          "action": "SettleInvoice",
          "next_q": "Q22",
          "effect": "ChargeUsd($1000)"
        }
      ],
      "explanation": "Both action (SettleInvoice) and successor quotient (Q22) agree across all 16 states in the fiber, yet the external settlement effect diverges ($100 vs $1000). QCTM-1's third entropy head H(E|Q18)=1.0 bit catches the mismatch and fetches invoice_tier."
    },
    {
      "id": "Q19_XOR_COMBINATORIAL",
      "code": "Q19",
      "title": "Combinatorial XOR Parity Trap (Two-Query Lookahead)",
      "category": "SYNERGISTIC_EVIDENCE_TRAP",
      "fiber_cardinality": 16,
      "action_entropy_bits": 0.0,
      "successor_entropy_bits": 1.0,
      "effect_entropy_bits": 0.0,
      "joint_entropy_bits": 1.0,
      "sample_status": "ObservedQ17ActionTrap",
      "action_only_verdict": "FALSE_SUFFICIENT (Greedy 1-Step IG_1 = 0.0 bits!)",
      "retrieval_plan": "FetchCombinatorialPair(('xor_bit_a', 'xor_bit_b'), IG_2 = 1.000 bit, Synergy = +1.000 bit, cost = 22 B)",
      "certifier_verdict_pre": "INSUFFICIENT (Single-query IG_1(bit_a)=0, IG_1(bit_b)=0)",
      "certifier_verdict_post": "SUFFICIENT (Joint pair resolves XOR=1 -> QTerminalCharge)",
      "wal_frame_sha256": "da2c9357663d01a436f55b761bd8a69f28841f6906df7db5031e853b8d000cd6",
      "states_preview": [
        {
          "state_id": "s_00 (x4)",
          "quotient": "Q19",
          "tag": "bit_a=0, bit_b=0",
          "action": "Continue",
          "next_q": "QTerminalSafe (XOR=0)",
          "effect": "NoCharge"
        },
        {
          "state_id": "s_01 (x4)",
          "quotient": "Q19",
          "tag": "bit_a=0, bit_b=1",
          "action": "Continue",
          "next_q": "QTerminalCharge (XOR=1)",
          "effect": "NoCharge"
        },
        {
          "state_id": "s_10 (x4)",
          "quotient": "Q19",
          "tag": "bit_a=1, bit_b=0",
          "action": "Continue",
          "next_q": "QTerminalCharge (XOR=1)",
          "effect": "NoCharge"
        },
        {
          "state_id": "s_11 (x4)",
          "quotient": "Q19",
          "tag": "bit_a=1, bit_b=1",
          "action": "Continue",
          "next_q": "QTerminalSafe (XOR=0)",
          "effect": "NoCharge"
        }
      ],
      "explanation": "Successor depends on xor_bit_a XOR xor_bit_b. Neither bit alone reduces entropy (IG_1(a)=0, IG_1(b)=0). Because maximum single-query gain is zero while H_joint > 0, QCTM-1 escalates to rank_pair_evidence_queries and fetches both bits together (+1.0 bit synergy)."
    },
    {
      "id": "Q20_MISSING_EVIDENCE",
      "code": "Q20",
      "title": "Missing Runtime Evidence (Graceful Withholding)",
      "category": "SAFE_ABSTENTION",
      "fiber_cardinality": 16,
      "action_entropy_bits": 0.0,
      "successor_entropy_bits": 1.0,
      "effect_entropy_bits": 0.0,
      "joint_entropy_bits": 1.0,
      "sample_status": "ObservedQ17ActionTrap",
      "action_only_verdict": "FALSE_SUFFICIENT (Commits Without Required Key!)",
      "retrieval_plan": "WithholdImmediately ('vault_override' absent from runtime store; 0 distractor fetches)",
      "certifier_verdict_pre": "INSUFFICIENT (SuccessorDisagreement)",
      "certifier_verdict_post": "WITHHELD (Zero wasted certifier calls, zero distractor fetches)",
      "wal_frame_sha256": "NONE (State Safely Withheld \u2014 No WAL Mutation)",
      "states_preview": [
        {
          "state_id": "s_allow (x8)",
          "quotient": "Q20",
          "tag": "vault_override=allow",
          "action": "Continue",
          "next_q": "QTerminalSafe",
          "effect": "NoCharge"
        },
        {
          "state_id": "s_deny (x8)",
          "quotient": "Q20",
          "tag": "vault_override=deny",
          "action": "Continue",
          "next_q": "QTerminalCharge",
          "effect": "NoCharge"
        }
      ],
      "explanation": "QCTM-1 identifies 'vault_override' as the unique resolving key (IG_1 = 1.0 bit). Seeing that 'vault_override' is absent from the runtime store, QCTM-1 withholds immediately without fetching the 3 distractor keys or invoking a doomed CommitCertifier pass."
    },
    {
      "id": "Q21_INCOMPLETE_COVERAGE",
      "code": "Q21",
      "title": "Observed Agreement vs. Incomplete Domain Coverage",
      "category": "DOMAIN_BOUNDARY_GUARD",
      "fiber_cardinality": 16,
      "action_entropy_bits": 0.0,
      "successor_entropy_bits": 0.0,
      "effect_entropy_bits": 0.0,
      "joint_entropy_bits": 0.0,
      "sample_status": "ObservedExamplesAgree",
      "action_only_verdict": "FALSE_SUFFICIENT (Treats Sample Agreement as Proof!)",
      "retrieval_plan": "NoEvidenceNeeded (H_obs = 0 -> Schedules Certifier -> Blocked by IncompleteFiberCover)",
      "certifier_verdict_pre": "UNKNOWN (UnknownReason::IncompleteFiberCover on SampledObservationSlice)",
      "certifier_verdict_post": "WITHHELD (Model False-Positive Schedule Intercepted by Symbolic Certifier!)",
      "wal_frame_sha256": "NONE (Blocked by Symbolic CommitCertifier \u2014 0 Unsafe Commits)",
      "states_preview": [
        {
          "state_id": "s_sampled (x16)",
          "quotient": "Q21",
          "tag": "SampledObservationSlice",
          "action": "Continue",
          "next_q": "QTerminalSafe",
          "effect": "NoCharge"
        }
      ],
      "explanation": "All 16 collected examples agree (H_obs = 0, ObservedExamplesAgree). However, the runtime domain is a non-exhaustive SampledObservationSlice rather than an IndexedFiniteDomain. CommitCertifier returns UNKNOWN(IncompleteFiberCover) and blocks the commit."
    },
    {
      "id": "Q22_CONTRADICTORY_EVIDENCE",
      "code": "Q22",
      "title": "Contradictory Evidence Artifacts (Empty Surviving Fiber)",
      "category": "EVIDENCE_CONFLICT_GUARD",
      "fiber_cardinality": 16,
      "action_entropy_bits": 0.0,
      "successor_entropy_bits": 0.0,
      "effect_entropy_bits": 0.0,
      "joint_entropy_bits": 0.0,
      "sample_status": "EmptyObservedSupport",
      "action_only_verdict": "FALSE_SUFFICIENT (Ignores Conflicting Evidence!)",
      "retrieval_plan": "NoResolvingEvidenceAvailable (Conflicting 'branch_A' & 'branch_B' payloads detected)",
      "certifier_verdict_pre": "INSUFFICIENT (InsufficiencyReason::EmptyConsistentFiber)",
      "certifier_verdict_post": "WITHHELD (Skipped doomed certification pass)",
      "wal_frame_sha256": "NONE (Contradictory Evidence Rejected \u2014 0 Unsafe Commits)",
      "states_preview": [
        {
          "state_id": "artifact_0",
          "quotient": "Q22",
          "tag": "branch_id=branch_A (SHA-256 valid)",
          "action": "CONFLICT",
          "next_q": "EmptyFiber",
          "effect": "Blocked"
        },
        {
          "state_id": "artifact_1",
          "quotient": "Q22",
          "tag": "branch_id=branch_B (SHA-256 valid)",
          "action": "CONFLICT",
          "next_q": "EmptyFiber",
          "effect": "Blocked"
        }
      ],
      "explanation": "Two individually authenticated EvidenceArtifacts assert conflicting values (branch_A and branch_B). Their conjunction leaves an empty consistent fiber F(Q22, e_t) = empty, which both QCTM-1 and CommitCertifier reject."
    },
    {
      "id": "Q23_CLEAN_RESOLVED",
      "code": "Q23",
      "title": "Clean Resolved Fiber with Store Distractors",
      "category": "FAST_PATH_CERTIFIED_COMMIT",
      "fiber_cardinality": 16,
      "action_entropy_bits": 0.0,
      "successor_entropy_bits": 0.0,
      "effect_entropy_bits": 0.0,
      "joint_entropy_bits": 0.0,
      "sample_status": "ObservedExamplesAgree",
      "action_only_verdict": "SUFFICIENT (Coincidentally agrees when H(Q')=0 and H(E)=0)",
      "retrieval_plan": "NoEvidenceNeeded (0 fetches despite 3 distractor keys in store)",
      "certifier_verdict_pre": "SUFFICIENT (All 16 admissible states in IndexedFiniteDomain agree)",
      "certifier_verdict_post": "COMMITTED (1 Certifier Call, 0 Evidence Fetches, CertifierSeal Minted)",
      "wal_frame_sha256": "5724abf62ef48f15f93268415f121bbd479a5db1ed25adee1f5b7518110dae85",
      "states_preview": [
        {
          "state_id": "s_clean (x16)",
          "quotient": "Q23",
          "tag": "IndexedFiniteDomain (Exhaustive)",
          "action": "Continue",
          "next_q": "QTerminalSafe",
          "effect": "NoCharge ($0)"
        }
      ],
      "explanation": "All 16 states in the exhaustive IndexedFiniteDomain preimage agree on (Continue, QTerminalSafe, NoCharge). QCTM-1 schedules immediate certification in 1 pass without touching the 3 distractor keys in the evidence store."
    }
  ]
}