{
  "title": "Supporting material for Explicit lower bounds for the number of irrational even beta values",
  "source_repository": "https://github.com/twinheterodox/beta4",
  "source_commit": "06bd732c81d48125d619ea2e9bf514878d774a86",
  "source_directory": "even-beta-counts",
  "source_url": "https://github.com/twinheterodox/beta4/tree/06bd732c81d48125d619ea2e9bf514878d774a86/even-beta-counts",
  "manuscript": {
    "main_tex_file": "even-beta-counts.tex",
    "compiler": "pdfLaTeX",
    "pages": 20,
    "canonical_pdf_sha256": "f6848fa9304693f1b96a12ca9c2268511f350eb7c3e607054ddb0d4d3fe0c2a5",
    "canonical_pdf_url": "https://github.com/twinheterodox/beta4/blob/06bd732c81d48125d619ea2e9bf514878d774a86/even-beta-counts/output/pdf/even-beta-counts.pdf"
  },
  "compilation": "Run pdflatex on even-beta-counts.tex from the root of the extracted archive; repeat until references resolve. No shell escape, external figures or bibliography processor is required.",
  "checks": {
    "python": "3.8 or later, standard library only; run without -O",
    "run_from": "Root of the extracted archive",
    "commands": [
      "python3 -B anc/verify_construction.py",
      "python3 -B anc/verify_endpoints.py"
    ],
    "manuscript_path_note": "The scripts referred to under checks/ in Appendix A are packaged in anc/ here. The original checks/ paths remain valid in the linked repository.",
    "expected_reports": {
      "anc/construction-verification.json": "049e9375895699a909f41a50b26a1a81a3d6a447e15e05107d84d6f91ba9360d",
      "anc/endpoint-verification.json": "cc38750651b6714e0b33e2b7edcca6e6839059279395a475618a94c68aaedfc0"
    }
  },
  "independent_review": {
    "record": "anc/independent-audit.json",
    "full_report": "anc/independent-audit-report.json",
    "response": "anc/audit-response.json",
    "scope": "The supplied audit found no substantive error or gap in the preceding 19-page revision and reported independently written arithmetic checks. The audit record identifies that snapshot. The current 20-page paper includes the requested uniform-Stirling clarification, an audit note, and the Hexagon reference link. The audit was not formal verification or a fresh audit of all cited literature. Reviewer identity and model were not specified."
  },
  "record_path_note": "Paths and hashes within copied historical audit and source records refer to the original repository layout and versions. The map below identifies the locations in this upload bundle; the full report is wrapped as JSON without changing its text.",
  "source_repository_license": "Apache-2.0; original text preserved in anc/LICENSE.json. The Hexagon record license is selected by the contributor at submission.",
  "preparation": "Prepared with OpenAI Codex under the research pseudonym twinheterodox.",
  "packaging": "Manuscript sources, scripts, reference outputs and review records come from the pinned published Git commit. The twelve TeX input paths are the only manuscript changes. No private backups, build files, external paper PDFs, credentials or identifying local paths are included.",
  "source_map": {
    "even-beta-counts.tex": {
      "repository_path": "even-beta-counts/paper/even-beta-counts.tex",
      "original_sha256": "b591ba2d484502de8777c283eb42355ab1242de42f4da29c2a69c24c139ecf92",
      "packaged_sha256": "15468485385eb140d1d082afc75408a1a93f4b078f6e84be364129429346904d",
      "transformation": "Remove the paper/ prefix from the twelve input paths; no other changes."
    },
    "references.tex": {
      "repository_path": "even-beta-counts/paper/references.tex",
      "original_sha256": "5de3494d6525e4ad53b7acc098b86aa062c88bbdb1f05d2d52665575ceabd182",
      "packaged_sha256": "5de3494d6525e4ad53b7acc098b86aa062c88bbdb1f05d2d52665575ceabd182",
      "transformation": "none"
    },
    "sections/arithmetic.tex": {
      "repository_path": "even-beta-counts/paper/sections/arithmetic.tex",
      "original_sha256": "59fbe3dbcbd49be0f873be522f4b2fda8c09fbf8a2631b9ffed2c8a01eaf3af5",
      "packaged_sha256": "59fbe3dbcbd49be0f873be522f4b2fda8c09fbf8a2631b9ffed2c8a01eaf3af5",
      "transformation": "none"
    },
    "sections/checks.tex": {
      "repository_path": "even-beta-counts/paper/sections/checks.tex",
      "original_sha256": "1be77cffd14d80f7ef299a7b96ec62322716a45502cdb4e3d4ce086a98e287c7",
      "packaged_sha256": "1be77cffd14d80f7ef299a7b96ec62322716a45502cdb4e3d4ce086a98e287c7",
      "transformation": "none"
    },
    "sections/construction.tex": {
      "repository_path": "even-beta-counts/paper/sections/construction.tex",
      "original_sha256": "7fda38775dc1358bf5905e336d236e62f27f6c31f8d5319d2b2e54457c0f79d3",
      "packaged_sha256": "7fda38775dc1358bf5905e336d236e62f27f6c31f8d5319d2b2e54457c0f79d3",
      "transformation": "none"
    },
    "sections/contradiction.tex": {
      "repository_path": "even-beta-counts/paper/sections/contradiction.tex",
      "original_sha256": "1ef2b638788a99f3f3a64fa8a204e14fa2f424f65e104c3c26b3f1f0b27d761f",
      "packaged_sha256": "1ef2b638788a99f3f3a64fa8a204e14fa2f424f65e104c3c26b3f1f0b27d761f",
      "transformation": "none"
    },
    "sections/count.tex": {
      "repository_path": "even-beta-counts/paper/sections/count.tex",
      "original_sha256": "cb20704c969dc37db1a9ade6f333999e8efe695da3f9bbc701244970cfabf2de",
      "packaged_sha256": "cb20704c969dc37db1a9ade6f333999e8efe695da3f9bbc701244970cfabf2de",
      "transformation": "none"
    },
    "sections/decay.tex": {
      "repository_path": "even-beta-counts/paper/sections/decay.tex",
      "original_sha256": "6748b645f0cdf6cbc63b4e8f400dcd14b66a51f20206c4a32f1f1f67e8fe070a",
      "packaged_sha256": "6748b645f0cdf6cbc63b4e8f400dcd14b66a51f20206c4a32f1f1f67e8fe070a",
      "transformation": "none"
    },
    "sections/dilation.tex": {
      "repository_path": "even-beta-counts/paper/sections/dilation.tex",
      "original_sha256": "c974aa5a16d204e9311c430390249987c87429fd18f53cda45da79162418920e",
      "packaged_sha256": "c974aa5a16d204e9311c430390249987c87429fd18f53cda45da79162418920e",
      "transformation": "none"
    },
    "sections/earlier-count.tex": {
      "repository_path": "even-beta-counts/paper/sections/earlier-count.tex",
      "original_sha256": "b011c10a8dc0503c5d2ba326866edc9c2260aeed4a0a434132745982f205c266",
      "packaged_sha256": "b011c10a8dc0503c5d2ba326866edc9c2260aeed4a0a434132745982f205c266",
      "transformation": "none"
    },
    "sections/endpoints.tex": {
      "repository_path": "even-beta-counts/paper/sections/endpoints.tex",
      "original_sha256": "bb9ef16213394604e8e1bde99c8a8ab384440d4d47110a3b10798872de0b20d3",
      "packaged_sha256": "bb9ef16213394604e8e1bde99c8a8ab384440d4d47110a3b10798872de0b20d3",
      "transformation": "none"
    },
    "sections/gram.tex": {
      "repository_path": "even-beta-counts/paper/sections/gram.tex",
      "original_sha256": "2d7a07e0fe1994a94061c87e4aab06e9a311d53cc4a6f7b4425401044261d455",
      "packaged_sha256": "2d7a07e0fe1994a94061c87e4aab06e9a311d53cc4a6f7b4425401044261d455",
      "transformation": "none"
    },
    "sections/introduction.tex": {
      "repository_path": "even-beta-counts/paper/sections/introduction.tex",
      "original_sha256": "e9e1c4c36cdd3b6560486c1d1c23cffb3ddc861f87f2256ffc79973541032d23",
      "packaged_sha256": "e9e1c4c36cdd3b6560486c1d1c23cffb3ddc861f87f2256ffc79973541032d23",
      "transformation": "none"
    },
    "anc/base.py": {
      "repository_path": "even-beta-counts/checks/base.py",
      "original_sha256": "72cfe437ea0e269ec2f388f175700a34e3f3c28e149fb75473aca60c60896daf",
      "packaged_sha256": "72cfe437ea0e269ec2f388f175700a34e3f3c28e149fb75473aca60c60896daf",
      "transformation": "none"
    },
    "anc/gram.py": {
      "repository_path": "even-beta-counts/checks/gram.py",
      "original_sha256": "cd4af5a8d4a78788608274214f0ba2b9f1b7626139ef4246f47e4aa21ce2baff",
      "packaged_sha256": "cd4af5a8d4a78788608274214f0ba2b9f1b7626139ef4246f47e4aa21ce2baff",
      "transformation": "none"
    },
    "anc/verify_construction.py": {
      "repository_path": "even-beta-counts/checks/verify_construction.py",
      "original_sha256": "66963efb7cd3dbcc12cb73830fadb62a90c0a3491c057099f128ed5c125eba8e",
      "packaged_sha256": "66963efb7cd3dbcc12cb73830fadb62a90c0a3491c057099f128ed5c125eba8e",
      "transformation": "none"
    },
    "anc/verify_endpoints.py": {
      "repository_path": "even-beta-counts/checks/verify_endpoints.py",
      "original_sha256": "b4ff25ae5209d5fd3b4b1ef338685b93130eb2b05ee2091223fcff1691567798",
      "packaged_sha256": "b4ff25ae5209d5fd3b4b1ef338685b93130eb2b05ee2091223fcff1691567798",
      "transformation": "none"
    },
    "anc/construction-verification.json": {
      "repository_path": "even-beta-counts/checks/construction-verification.json",
      "original_sha256": "049e9375895699a909f41a50b26a1a81a3d6a447e15e05107d84d6f91ba9360d",
      "packaged_sha256": "049e9375895699a909f41a50b26a1a81a3d6a447e15e05107d84d6f91ba9360d",
      "transformation": "none"
    },
    "anc/endpoint-verification.json": {
      "repository_path": "even-beta-counts/checks/endpoint-verification.json",
      "original_sha256": "cc38750651b6714e0b33e2b7edcca6e6839059279395a475618a94c68aaedfc0",
      "packaged_sha256": "cc38750651b6714e0b33e2b7edcca6e6839059279395a475618a94c68aaedfc0",
      "transformation": "none"
    },
    "anc/independent-audit.json": {
      "repository_path": "even-beta-counts/review/independent-audit-2026-11-05.json",
      "original_sha256": "b86890d8bf20b00fe7eb5b9098f4f21d45025dcdb4c8c8b6a0aa2be1fa093380",
      "packaged_sha256": "b86890d8bf20b00fe7eb5b9098f4f21d45025dcdb4c8c8b6a0aa2be1fa093380",
      "transformation": "none"
    },
    "anc/audit-response.json": {
      "repository_path": "even-beta-counts/review/audit-response-2026-11-05.json",
      "original_sha256": "2dd45164d61cb8bd9832c8ae4c1ff12ec0324861d38bc45657254890a796daaf",
      "packaged_sha256": "2dd45164d61cb8bd9832c8ae4c1ff12ec0324861d38bc45657254890a796daaf",
      "transformation": "none"
    },
    "anc/reading-record.json": {
      "repository_path": "even-beta-counts/sources/reading-record.json",
      "original_sha256": "cbc9bcff5a0423b7b471daef806c8f99b40e93a280e3cd91817bceee512db156",
      "packaged_sha256": "cbc9bcff5a0423b7b471daef806c8f99b40e93a280e3cd91817bceee512db156",
      "transformation": "none"
    }
  }
}