{
  "edition": "Final Publication Edition, 2026-10-06",
  "author": "Komorebi P.",
  "mathematical_base": "Formal Foundations v2.0.0, 2026-09-23, with five documented amendment groups",
  "traditional": {
    "pages": 256,
    "publication_checks": 77,
    "publication_failures": 0,
    "inherited_files_preserved": 316
  },
  "concordance": {
    "components": 75,
    "proved_internally": 52,
    "classical_imported": 12,
    "conditional": 2,
    "framework": 3,
    "conjectural": 6
  },
  "fresh_principal_regressions": {
    "block15": 197099,
    "block16": 1344823,
    "block17": 3022,
    "total": 1544944,
    "failures": 0,
    "results_match_inherited_bytes": true
  },
  "proof_review_scope": "Finite profiled lane/holonomy and semantic/carrier/admissibility cores; exact coverage in reviews/MATHEMATICAL_SCOPE_REVIEW.md. Not all native-stratum proofs or fresh authentication of every external input.",
  "lean_execution": {
    "fresh_compile": false,
    "archive_retrieval": "Matching archives unavailable: HTTP 502",
    "included_source": "Complete-read reconstructed standalone StratifiedFoundationsCore.lean, distinct from the inaccessible seven-module v0.7 package",
    "full_monograph_certificate": false
  },
  "source_availability": "Complete amended manuscript tree plus frozen 397-member upstream source ZIP, all inherited .md files, companion TeX/Markdown, Python scripts, figures, data and evidence.",
  "publishing_action": "No external repository publication performed.",
  "lean_guide": {
    "pages": 13,
    "qa": "clean compilation; all pages visually reviewed",
    "inspected_source_inventory": {
      "theorems": 30,
      "definitions": 12,
      "structures": 2
    },
    "source_clause_mapping_rows": 14,
    "recorded_historical_v07_theorem_lemma_declarations": 183
  },
  "visual_guide": {
    "pages": 35,
    "vector_figures": 14,
    "exact_example_assertions": 137,
    "qa": "clean compilation; all14 figures and representative final PDF pages reviewed; complete Markdown checked",
    "source_anchors": {
      "occurrences": 83,
      "unique": 79,
      "missing": 0
    }
  },
  "reading_set_pages": 304,
  "publication_state": "Complete reading/source package with explicit Lean source and execution limits"
}