{
  "status": "passed",
  "date": "2026-10-05",
  "M1_M5_P1_source_span_unchanged": true,
  "local_compile_script_unchanged": true,
  "first_edition_model_count": 5,
  "primary_cases": 10280,
  "independent_cases": 3809,
  "combined_counted_cases": 14089,
  "primary_runs": 1,
  "independent_runs": 1,
  "search_queries": 6,
  "source_opens": 6,
  "within_page_finds": 3,
  "external_works": 186,
  "external_selective_readings": 62,
  "compiled_pages": 15,
  "local_compile_invocations": 2,
  "local_compile_passes": 4,
  "rendered_pages_visually_reviewed": 15,
  "render_invocations": 1,
  "builtin_compiler": "Known platform-directory error; no diagnosis",
  "git": "Root is not a repository; git status/diff unavailable",
  "changed_shared_files": [
    "05-mathematics/formal-models.tex",
    "RESEARCH_STATE.md",
    "EXECUTIVE_SYNTHESIS.md",
    "07-roadmap.md",
    "08-review.md",
    "README.md",
    "CONTINUATION_PROMPT.md",
    "validate_archive.py",
    "01-sources/source-register.json",
    "01-sources/counts.json",
    "01-sources/bibliography.bib",
    "01-sources/search-register.json",
    "01-sources/source-index.md",
    "01-sources/claim-ledger.json",
    "03-ideas/information-developed.md",
    "03-ideas/coordinator-developed.md",
    "01-sources/reconcile.py",
    "01-sources/README.md"
  ],
  "out_of_scope": "No compiler-diagnostics, website or original-manuscript writes",
  "proof_status": "Analytic proofs and independent AI review; not external peer review",
  "numerical_limit": "Binary64 logarithms; exact Fraction feasibility; no interval-log certification",
  "source_sha256": "7ece4a8309d700e966fdc442e8b161352fd3309010160bc531577801b1fd5ffb",
  "pdf_sha256": "17be92ba46fd3bf0961585646fae3fd2a9fed490c06e2f94c69d280755343cac"
}