{
  "series": "Komorebi Papers I\u2013XII",
  "edition_date": "2026-10-19",
  "paper_count": 12,
  "companions_per_paper": 3,
  "planned_companion_documents": null,
  "page_limit": null,
  "papers": [
    {
      "paper": "I",
      "title": "Typed Seeds, Operator Grammars, and Exact Reconstruction",
      "traditional": "finalized",
      "lean_guide": "finalized",
      "machine_native": "finalized",
      "source_branches": "Expanded canonical machine v1.0.1; corrected human v1.3.1; formal component v1.0.2",
      "source_scope": "108 expanded stable records and 69 preserved written proof bodies. Separate 35-row scoped formal contract with 84 mapped targets; eight historical stable-ID mappings in the attached machine tranche. No fresh Lean compilation.",
      "source_refresh_before_editing": false,
      "notes": "First finalized three-companion set. Includes 10 figures and 22 integrated visual plates, two explicit hypothesis corrections and an ambient empty-case convention.",
      "documents": [
        {
          "role": "traditional",
          "title": "Traditional paper",
          "path": "papers/Paper_I_Traditional_Final.pdf",
          "pages": 93,
          "sha256": "a5924862fa1a395f85cd2c1b716061458da3b60d1a11f076640eaf1dbe6c72b8",
          "bytes": 1092426
        },
        {
          "role": "lean_guide",
          "title": "Lean guide",
          "path": "papers/Paper_I_Lean_Guide_Final.pdf",
          "pages": 37,
          "sha256": "6eed1b5f7476e6888cfcacecfe7bb8df794c3b577629c57a56d6c1894236fc7e",
          "bytes": 193163
        },
        {
          "role": "machine_native",
          "title": "Machine-native paper",
          "path": "papers/Paper_I_Machine_Native_Final.pdf",
          "pages": 94,
          "sha256": "84545b429cb3056a2f729ed333486c95bbcea885e75a0a848ad9bb7258e0a011",
          "bytes": 682082
        }
      ],
      "total_pages": 224
    },
    {
      "paper": "II",
      "title": "Projector Resolved Seed Calculus II",
      "traditional": "publication_ready",
      "lean_guide": "publication_ready",
      "machine_native": "not_requested",
      "source_branches": "Complete canonical v1.2.1 (formal component v1.1.1), expanded manuscript, and exact visual models",
      "source_scope": "53 of 53 proof-level source records have kernel checked, semantically accepted scope. No partial or pending proof records are listed in this correspondence. These are source-record counts under their stated hypotheses, not counts of independent discoveries. Historical 25-row and 160-target contracts remain separate.",
      "source_refresh_before_editing": false,
      "notes": "Current readers and source-bound navigation. Mathematical acceptance and final publication QA are distinct records.",
      "visual_guide": "publication_ready",
      "documents": [
        {
          "role": "traditional",
          "title": "Projector Resolved Seed Calculus II",
          "path": "papers/Paper_II_Traditional_Final.pdf",
          "pages": 80,
          "bytes": 616352,
          "sha256": "460efdb92bbd39bb304fbd535ecbfe814d89f704de3dd4563e1e40af1abd6eee"
        },
        {
          "role": "visual",
          "title": "Projector Resolved Seed Calculus II",
          "path": "papers/Paper_II_Visual_Guide_Final.pdf",
          "pages": 26,
          "bytes": 186727,
          "sha256": "9ed63381f0c0a0c4c6f463064db128b28ad324f4942dd5a05829afdc6a2c4f90"
        },
        {
          "role": "lean",
          "title": "Projector Resolved Seed Calculus II",
          "path": "papers/Paper_II_Lean_Guide_Final.pdf",
          "pages": 51,
          "bytes": 245396,
          "sha256": "e3776d3648eacb5ce887d7a46ca0cf107f651a9ed154c1b54d64c19f06f8552e"
        }
      ],
      "total_pages": 157,
      "edition_kind": "Modern Monograph",
      "edition_date": "2026-10-19",
      "current_formal_evidence": {
        "path": "formal/coverage/Paper_II_Current_Correspondence_2026-10-19.json",
        "sha256": "c37ac1a5a4b95f5e9c9f89a43dc371b9bd1d2febb778b4e465b624cfdafa680f",
        "status": "FINAL_SOURCE_BOUND_CORRESPONDENCE_53_OF_53",
        "proof_counts": {
          "kernel_checked_semantically_accepted_scope": 53
        },
        "release_gates": {
          "exact_source_aggregate_compile": "PASS",
          "owned_kernel_type_body_replay": "PASS",
          "standard_axiom_and_runtime_helper_closure": "PASS",
          "current_manuscript_semantic_acceptance": "53_COMPLETE_SCOPES_ACCEPTED"
        }
      },
      "publication_state": "PUBLICATION_READY_FOR_RECORDED_SCOPE",
      "page_qa": {
        "path": "verification/publication_2026-10-19/page_qa/page_qa.json",
        "sha256": "cef02997e53f2cc4ae37d788e7888de22b245abed8b79b02750aa74cc2ac65dd",
        "total_pages": 157,
        "visual_review": "PASS"
      }
    },
    {
      "paper": "III",
      "title": "Typed Edge Operators, Connection Defects, and Obstruction Packets",
      "traditional": "frozen_source_collected",
      "lean_guide": "frozen_not_finalized",
      "machine_native": "frozen_not_finalized",
      "source_branches": "Finite edition v1.0.1",
      "source_scope": "41 theorem-map rows in the finite algebraic contract.",
      "source_refresh_before_editing": true,
      "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
    },
    {
      "paper": "IV",
      "title": "Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data",
      "traditional": "frozen_source_collected",
      "lean_guide": "frozen_not_finalized",
      "machine_native": "frozen_not_finalized",
      "source_branches": "Formal v1.0.0 plus proofread manuscript",
      "source_scope": "68 scoped manuscript results in the inherited formal record.",
      "source_refresh_before_editing": true,
      "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
    },
    {
      "paper": "V",
      "title": "Polyphase Signal Calculus: Exact Reconstruction, Edge Packets, Wavelets, and Smith Coordinates",
      "traditional": "frozen_source_collected",
      "lean_guide": "frozen_not_finalized",
      "machine_native": "frozen_not_finalized",
      "source_branches": "Formal v1.1.0 plus expanded manuscript",
      "source_scope": "20 scoped formal results.",
      "source_refresh_before_editing": true,
      "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
    },
    {
      "paper": "VI",
      "title": "Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations",
      "traditional": "frozen_source_collected",
      "lean_guide": "frozen_not_finalized",
      "machine_native": "frozen_not_finalized",
      "source_branches": "Formal v0.5.0 plus expanded manuscripts",
      "source_scope": "33 scoped formal results.",
      "source_refresh_before_editing": true,
      "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
    },
    {
      "paper": "VII",
      "title": "Quantum Seed Calculus: Symmetry Packets, Circuits, Effective Dynamics, and Quantum Spacetime",
      "traditional": "frozen_source_collected",
      "lean_guide": "frozen_not_finalized",
      "machine_native": "frozen_not_finalized",
      "source_branches": "Finite formal v0.6.0 plus expanded manuscript",
      "source_scope": "19 finite-sector formal items.",
      "source_refresh_before_editing": true,
      "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
    },
    {
      "paper": "VIII",
      "title": "Packet Operator Algorithms, Exact Compilation, and GPU Realization",
      "traditional": "frozen_source_collected",
      "lean_guide": "frozen_not_finalized",
      "machine_native": "frozen_not_finalized",
      "source_branches": "Formal v0.6.0 plus scheduling branch",
      "source_scope": "56 registered finite formal items.",
      "source_refresh_before_editing": true,
      "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
    },
    {
      "paper": "IX",
      "title": "Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation",
      "traditional": "frozen_source_collected",
      "lean_guide": "frozen_not_finalized",
      "machine_native": "frozen_not_finalized",
      "source_branches": "September consolidated edition; recovered July source",
      "source_scope": "Consolidated manuscript, source declarations, arithmetic computations and inherited evidence collected.",
      "source_refresh_before_editing": true,
      "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
    },
    {
      "paper": "X",
      "title": "Universal Residual Seeds: Deformation Forests, Transport Categories, and System Completion",
      "traditional": "frozen_source_collected",
      "lean_guide": "frozen_not_finalized",
      "machine_native": "frozen_not_finalized",
      "source_branches": "September 25 conditional completion plus later attempt",
      "source_scope": "20/20 at the amended conditional scope has saved checked source/build evidence.",
      "source_refresh_before_editing": true,
      "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
    },
    {
      "paper": "XI",
      "title": "Tame and Wild Packet Geometry for Local Langlands",
      "traditional": "frozen_source_collected",
      "lean_guide": "frozen_not_finalized",
      "machine_native": "frozen_not_finalized",
      "source_branches": "Full formal lineages plus continuations through Diagnosis163",
      "source_scope": "Historical 65/66 retained. General separate-break arithmetic realization remains open.",
      "source_refresh_before_editing": true,
      "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
    },
    {
      "paper": "XII",
      "title": "Patching Support, Hecke Packets, and Conditional Automorphic Completion",
      "traditional": "frozen_source_collected",
      "lean_guide": "frozen_not_finalized",
      "machine_native": "frozen_not_finalized",
      "source_branches": "Manuscript v0.17.0; formal/replay v0.17.1",
      "source_scope": "49/49 revised internal claims. Original wording: 41 complete, 7 partial, 1 unchecked.",
      "source_refresh_before_editing": true,
      "notes": "Frozen by user request on 2026-10-05. Collected sources preserved; no new final companion set is claimed."
    }
  ],
  "run_state": "Paper_II_publication_ready_for_recorded_scope",
  "active_authoring_papers": [],
  "freeze_instruction": "Current work is limited to Paper II. Other rows retain their historical series scope.",
  "future_finalization_uncommitted": true,
  "notice": "Only the Paper II row is current to 19 October 2026. Consult each other paper current release for its status."
}