{
  "schema": "komorebi.sufficient-resolution.paper-set.v1",
  "status": "COMPLETE_PAPER_SET",
  "edition_date": "2026-10-06",
  "author": "Komorebi P.",
  "title": "Sufficient Resolution: Exact Reduction, Hidden Memory, and Certified Reconstruction",
  "documents": {
    "traditional": {
      "pdf": "traditional/Sufficient_Resolution_Traditional.pdf",
      "pages": 46,
      "bytes": 588326,
      "sha256": "380ea84e66f732c5653653d109e9510d7330ab4192cc4c924ada0949f131cc9b",
      "tex_source_files": [
        "traditional/Sufficient_Resolution_Traditional.tex"
      ],
      "labels": 64,
      "references": 0,
      "figures": 0,
      "unique_figure_sources": 0,
      "markdown_bytes": 155047
    },
    "visual": {
      "pdf": "visual/Sufficient_Resolution_Visual_Guide.pdf",
      "pages": 45,
      "bytes": 720619,
      "sha256": "820a56812d40dbc5989cc59a492a3bb24fb083fcbb312aa85d7e76dc1826db8b",
      "tex_source_files": [
        "visual/Sufficient_Resolution_Visual_Guide.tex"
      ],
      "labels": 42,
      "references": 0,
      "figures": 19,
      "unique_figure_sources": 18,
      "markdown_bytes": 60474
    },
    "lean": {
      "pdf": "lean/Sufficient_Resolution_Lean_Guide.pdf",
      "pages": 30,
      "bytes": 390574,
      "sha256": "680f73f0f05bfacf96abd23816a30bb34cba22c4a791c3bd3b6a96fffe37b976",
      "tex_source_files": [
        "lean/Sufficient_Resolution_Lean_Guide.tex"
      ],
      "labels": 35,
      "references": 0,
      "figures": 0,
      "unique_figure_sources": 0,
      "markdown_bytes": 80073
    }
  },
  "total_pdf_pages": 121,
  "principal_result_groups": 64,
  "production_lean_modules": 93,
  "enumerated_lean_names": 1159,
  "production_sources_preserved_byte_for_byte": true,
  "fresh_computation": {
    "status": "PASS",
    "suite_count": 16,
    "native_counted_assertions": 40466,
    "additional_fixed_sanity_groups": 5,
    "additional_main_mathematical_assert_statements": 6
  },
  "separate_visual_example_assertions": 280,
  "evidence_manifest_records": {
    "base_records": 17,
    "visual_example_records": 1,
    "total": 18,
    "verification": "verification/FINAL_EVIDENCE_VALIDATION.json",
    "assertion_counts_merged": false
  },
  "fresh_lean": {
    "status": "NOT RUN",
    "reason": "Matching runtime unavailable; two canonical chunk-01 materializations failed HTTP 502.",
    "runtime_included": false,
    "record": "verification/RUNTIME_RECOVERY.json"
  },
  "editable_markdown_included": true,
  "source_bundle": "Komorebi_Sufficient_Resolution_Final_Edition_2026-10-06.zip",
  "publication_review": "PUBLICATION_AUDIT.json",
  "render_review": "reviews/ROOT_PUBLICATION_QA.json",
  "scope": "Completed publication of existing v0.16.0 contracts. The identified mathematical research extensions and full formal replay remain open.",
  "external_publication_performed": false,
  "new_license_selected": false
}