{
  "requested_run_id": "covert-channel-lab-coverage-20260918",
  "frontier": [
    {
      "atom_id": "cc2_physical_validation",
      "content": "Freeze one authorized air-gapped system and fill the observer/service/cost worksheet. Preserve synchronized calibrated multi-sensor traces, held-out workloads, lifecycle events, uncertainty and unmeasured paths. No measurements have been supplied.",
      "next_action": "morph into testable hypotheses",
      "priority": 2.95,
      "status": "CANDIDATE",
      "tags": [],
      "type": "QUESTION"
    },
    {
      "atom_id": "cc2_joint_refinement",
      "content": "Formalize a joint observation and declassification theorem including adaptive coalitions, correlated randomness, permitted histories and lifecycle effects. Per-sensor marginal independence is insufficient. Deliver independently checked composition hypotheses and an implementation/physical refinement map.",
      "next_action": "morph into testable hypotheses",
      "priority": 2.95,
      "status": "CANDIDATE",
      "tags": [],
      "type": "QUESTION"
    },
    {
      "atom_id": "atom_3ce33a4a9bfa4ca4",
      "content": "Generate the smallest witness that falsifies: Find a minimum-cost useful configuration whose complete joint observation trace is independent of unauthorized secrets under an explicit deployment contract. Unknown physical channels and missing costs prevent a deployment optimum.",
      "next_action": "test equivalence or find a counterexample",
      "priority": 2.46,
      "status": "CANDIDATE",
      "tags": [
        "counterexample_search",
        "morph"
      ],
      "type": "REFORMULATION"
    },
    {
      "atom_id": "atom_6915fcdf538c4496",
      "content": "Restate as an explicit iff/contract: Find a minimum-cost useful configuration whose complete joint observation trace is independent of unauthorized secrets under an explicit deployment contract. Unknown physical channels and missing costs prevent a deployment optimum.",
      "next_action": "test equivalence or find a counterexample",
      "priority": 2.35,
      "status": "CANDIDATE",
      "tags": [
        "equivalent_statement",
        "morph"
      ],
      "type": "REFORMULATION"
    },
    {
      "atom_id": "cc2_retrieval_shape",
      "content": "Theorem-shape search returned adjacent or low-signal candidates. No retrieved theorem is used as a proof premise; exact local finite counterexamples are replayed independently.",
      "next_action": "retrieve similar failures and decide whether to refine, refute, or promote",
      "priority": 2,
      "status": "CANDIDATE",
      "tags": [],
      "type": "RESULT"
    },
    {
      "atom_id": "cc2_retrieval_formal",
      "content": "The formal Lean-corpus embedding request timed out. No formal-corpus coverage or theorem absence is established.",
      "next_action": "retrieve similar failures and decide whether to refine, refute, or promote",
      "priority": 2,
      "status": "CANDIDATE",
      "tags": [],
      "type": "RESULT"
    },
    {
      "atom_id": "cc2_retrieval_breaker",
      "content": "Breaker search returned adjacent or low-signal candidates. No retrieved theorem is used as a proof premise; exact local finite counterexamples are replayed independently.",
      "next_action": "retrieve similar failures and decide whether to refine, refute, or promote",
      "priority": 2,
      "status": "CANDIDATE",
      "tags": [],
      "type": "RESULT"
    },
    {
      "atom_id": "cc2_coverage_contract",
      "content": "The scope is a research inventory of digital, shared-resource, physical and lifecycle observations. No deployment-specific observer inventory, cost model, utility floor, or validated physical contracts have been supplied.",
      "next_action": "retrieve similar failures and decide whether to refine, refute, or promote",
      "priority": 2,
      "status": "CANDIDATE",
      "tags": [],
      "type": "RESULT"
    }
  ],
  "ok": true,
  "run_id": "<REDACTED>"
}