{
  "schema": "komorebi.scoped_series_status.v2",
  "edition_date": "2026-10-20",
  "scope": "Current Paper V only. Other papers were not modified or rechecked in this work. Earlier series snapshots are retained as dated provenance.",
  "papers": [
    {
      "paper": "V",
      "traditional": "finalized",
      "visual_guide": "finalized",
      "lean_guide": "finalized",
      "documents": [
        {
          "role": "traditional",
          "title": "Traditional monograph",
          "path": "papers/Paper_V_Traditional_Final.pdf",
          "pages": 131,
          "bytes": 1899920,
          "sha256": "fac98850eb07c5258c62f09773218d16f3213f12733a38944d4d73812e7c93f0"
        },
        {
          "role": "visual_guide",
          "title": "Visual guide",
          "path": "papers/Paper_V_Visual_Guide_Final.pdf",
          "pages": 43,
          "bytes": 272525,
          "sha256": "f3a84216d2fb02169d026cbfafb62a623a87b95e88c7cad35c85160a41739bca"
        },
        {
          "role": "lean_guide",
          "title": "Lean and evidence guide",
          "path": "papers/Paper_V_Lean_Guide_Final.pdf",
          "pages": 60,
          "bytes": 239599,
          "sha256": "66c394f637ea526be68f47f36b93c24d14fde5876734fe86e272b223a86c3ec9"
        }
      ],
      "total_pages": 234,
      "mathematical_branches": 2,
      "numbered_records": 119,
      "proof_records": 83,
      "formal_core_results": 20,
      "inherited_theorem_targets": 225,
      "fresh_lean_execution": false,
      "release_version": "1.2.0",
      "status": "CLOSED_WITHIN_STATED_SCOPE"
    }
  ]
}