{
  "_comment": "The atlas runs on this site, transcribed from each run's own ledger and from nothing else: merged_critic.json for the defects (id, lens category, severity), state.json for refine_passes, log.jsonl for the verdict recorded at OUTPUT, the UTC date it was recorded on and how many times the run stopped at CLARIFY (clarify_stops; state.json records the answer each stop was given), and the one refine_routing.json for the findings the orchestrator withheld from the coder. A ledger keeps only a run's final pass, because each pass overwrites the one before it, so every count here is a floor and never a total. blockers are the CRITICAL and HIGH defects of that final pass in ledger order; withheld marks the ones never handed to the coder, which the gate cannot see and which therefore still block. findings are the ones shown in the proof section, one per lens; a defect id is numbered within its own run, so run names the run each finding is taken from, and names two for the one ledger defect both of those runs recorded. task_key and text_key name copy-deck keys, so no prose lives here. A security finding is published in general terms only, and only once its fix is verified in the tree. This block is published byte for byte, so it names no path (absolute, home-relative or relative, a dot-directory included), host or command on this machine, and the build refuses one that does; a scope finding, which the ledger records with the repository file it is about, is published by its kind alone, out-of-scope.",
  "runs": [
    {
      "id": "48fb111e.1",
      "date": "2026-09-12",
      "task_key": "proof.audit.tasks.build",
      "refine_passes": 2,
      "clarify_stops": 1,
      "result": "UNVERIFIED",
      "per_lens": {
        "CORRECTNESS": 4,
        "CODE-QUALITY": 7,
        "SECURITY": 5,
        "TEST-ADEQUACY": 2,
        "DOES-IT-RUN": 1,
        "REQUIREMENTS-COVERAGE": 0
      },
      "total": 19,
      "severity": {
        "CRITICAL": 1,
        "HIGH": 1,
        "MEDIUM": 13,
        "LOW": 4
      },
      "blockers": [
        {
          "lens": "SECURITY",
          "defect_id": "S1",
          "severity": "HIGH",
          "withheld": false
        },
        {
          "lens": "DOES-IT-RUN",
          "defect_id": "stale-verdict",
          "severity": "CRITICAL",
          "withheld": false
        }
      ]
    },
    {
      "id": "48fb111e.2",
      "date": "2026-09-12",
      "task_key": "proof.audit.tasks.build_fixes",
      "refine_passes": 2,
      "clarify_stops": 1,
      "result": "UNVERIFIED",
      "per_lens": {
        "CORRECTNESS": 3,
        "CODE-QUALITY": 7,
        "SECURITY": 5,
        "TEST-ADEQUACY": 1,
        "DOES-IT-RUN": 0,
        "REQUIREMENTS-COVERAGE": 0
      },
      "total": 16,
      "severity": {
        "CRITICAL": 0,
        "HIGH": 2,
        "MEDIUM": 12,
        "LOW": 2
      },
      "blockers": [
        {
          "lens": "CORRECTNESS",
          "defect_id": "C1",
          "severity": "HIGH",
          "withheld": false
        },
        {
          "lens": "SECURITY",
          "defect_id": "S1",
          "severity": "HIGH",
          "withheld": false
        }
      ]
    },
    {
      "id": "48fb111e",
      "date": "2026-09-13",
      "task_key": "proof.audit.tasks.palette",
      "refine_passes": 2,
      "clarify_stops": 1,
      "result": "UNVERIFIED",
      "per_lens": {
        "CORRECTNESS": 12,
        "CODE-QUALITY": 6,
        "SECURITY": 0,
        "TEST-ADEQUACY": 1,
        "DOES-IT-RUN": 1,
        "REQUIREMENTS-COVERAGE": 0
      },
      "total": 20,
      "severity": {
        "CRITICAL": 11,
        "HIGH": 1,
        "MEDIUM": 6,
        "LOW": 2
      },
      "blockers": [
        {
          "lens": "CORRECTNESS",
          "defect_id": "P14",
          "severity": "CRITICAL",
          "withheld": true
        },
        {
          "lens": "CORRECTNESS",
          "defect_id": "P15",
          "severity": "CRITICAL",
          "withheld": true
        },
        {
          "lens": "CORRECTNESS",
          "defect_id": "P17",
          "severity": "CRITICAL",
          "withheld": true
        },
        {
          "lens": "CORRECTNESS",
          "defect_id": "P18",
          "severity": "CRITICAL",
          "withheld": true
        },
        {
          "lens": "CORRECTNESS",
          "defect_id": "P21",
          "severity": "CRITICAL",
          "withheld": true
        },
        {
          "lens": "CORRECTNESS",
          "defect_id": "P22",
          "severity": "CRITICAL",
          "withheld": true
        },
        {
          "lens": "CORRECTNESS",
          "defect_id": "P23",
          "severity": "CRITICAL",
          "withheld": true
        },
        {
          "lens": "CORRECTNESS",
          "defect_id": "P24",
          "severity": "CRITICAL",
          "withheld": true
        },
        {
          "lens": "CORRECTNESS",
          "defect_id": "P25",
          "severity": "CRITICAL",
          "withheld": true
        },
        {
          "lens": "CORRECTNESS",
          "defect_id": "P26",
          "severity": "CRITICAL",
          "withheld": true
        },
        {
          "lens": "CORRECTNESS",
          "defect_id": "out-of-scope",
          "severity": "HIGH",
          "withheld": true
        },
        {
          "lens": "DOES-IT-RUN",
          "defect_id": "stale-verdict",
          "severity": "CRITICAL",
          "withheld": false
        }
      ]
    },
    {
      "id": "a4f86c28",
      "date": "2026-09-13",
      "task_key": "proof.audit.tasks.palette_fixes",
      "refine_passes": 1,
      "clarify_stops": 1,
      "result": "OK",
      "per_lens": {
        "CORRECTNESS": 2,
        "CODE-QUALITY": 6,
        "SECURITY": 0,
        "TEST-ADEQUACY": 3,
        "DOES-IT-RUN": 0,
        "REQUIREMENTS-COVERAGE": 1
      },
      "total": 12,
      "severity": {
        "CRITICAL": 0,
        "HIGH": 0,
        "MEDIUM": 6,
        "LOW": 6
      },
      "blockers": []
    }
  ],
  "withheld": {
    "run": "48fb111e",
    "total": 11,
    "pathcheck": 10,
    "out_of_scope": 1
  },
  "unverified": 3,
  "of": 4,
  "findings": [
    {
      "lens": "CORRECTNESS",
      "run": [
        "48fb111e.1"
      ],
      "defect_id": "C5",
      "severity": "MEDIUM",
      "text_key": "proof.audit.findings.correctness"
    },
    {
      "lens": "CODE-QUALITY",
      "run": [
        "48fb111e"
      ],
      "defect_id": "Q3",
      "severity": "MEDIUM",
      "text_key": "proof.audit.findings.code_quality"
    },
    {
      "lens": "SECURITY",
      "run": [
        "48fb111e.1"
      ],
      "defect_id": "S1",
      "severity": "HIGH",
      "text_key": "proof.audit.findings.security"
    },
    {
      "lens": "TEST-ADEQUACY",
      "run": [
        "48fb111e"
      ],
      "defect_id": "C2",
      "severity": "MEDIUM",
      "text_key": "proof.audit.findings.test_adequacy"
    },
    {
      "lens": "DOES-IT-RUN",
      "run": [
        "48fb111e.1",
        "48fb111e"
      ],
      "defect_id": "stale-verdict",
      "severity": "CRITICAL",
      "text_key": "proof.audit.findings.does_it_run"
    },
    {
      "lens": "REQUIREMENTS-COVERAGE",
      "run": [
        "a4f86c28"
      ],
      "defect_id": "C6",
      "severity": "LOW",
      "text_key": "proof.audit.findings.requirements_coverage"
    }
  ]
}