{
  "origin": "coordinating_assistant_exact_checks_not_formal_or_human_certificate",
  "python": "3.12.11 | packaged by conda-forge | (main, Jun  4 2025, 14:34:08) [GCC 13.3.0]",
  "libraries": {
    "sympy": "1.14.0",
    "pypdf": "6.5.0",
    "requests": "2.32.4"
  },
  "reviewed_source_sha256": "9939002e09d4f1726684edebc860d0b6f9dce839e4ea6761c41c4660ef932f64",
  "files": {
    "exact_smoothing.py": "0219c36f2afea88dd6cddafae58d939fb86008962b024d09703c422790096dd2",
    "exact-smoothing.json": "941d60cf60ac061fcd7d03a4e3cc1a29f32e34eff302ea7940b2d579348b7b65",
    "exact_local_roots.py": "46c91ed256bd99f8b32c191ca683ed9a3aa4089827a73e556ec5795effa352a2",
    "exact-local-roots.json": "e6448ea9c32e503aa45b2348c5aee17af40f4c9d2176a750d73d947bb8c62f1d",
    "source-checks.md": "3b24c4d25fdf5e7c9aa77b919102711d91da17086594554cd33319dddc37f67b",
    "exact_orbits.py": "799def9ca77e7458a51d8da666311f092649d695e4c506539b45631181fda40a",
    "exact-orbits.json": "3297d5fda2f8306133466492c3a09a9686038f4f5c0558c08458e0b1582ce18b",
    "references/FuchsStrongApprox.txt": "4141ffa650aa60b3103555fc98332653b4ba76281cc1e8b89af702a6d4409132",
    "references/FuchsStrongApprox.pdf": "79b93dd2455cc2becd96c8545aab4216d673567f8d390f2f716b4d6a55fc665e",
    "references/Fuchs-research.html": "cfe745f262de36d10ca93600720fb2f0f4f7c8a36de5584d3f393652120fd20f",
    "references/BKS-1001.4541v1.pdf": "228edda74ff23d7de48021fc242b423499e7b67e0a645ea3b106ca5c9efd341b",
    "references/BKS-1001.4541v1.txt": "d24899a7e9cf036786f8198a3034e5d0f77246a4a9d51f64d7c4dbaa761f8f4a",
    "references/fetch-manifest.json": "67167ecf4a7b2b71f89714be4d051cc339c52bf2462d0c9a8c2c044098a3c6e4",
    "references/BKS-1001.4541-abstract.html": "bbcae18ce56561b628dca86d2c2e9c79d0ff35d14add2623e48bfa2ed6472895",
    "references/Fuchs-thesis.txt": "4a4dc59a2fd37d7c484eba9de9e60cd7e108a422026e8a73d7fbeedc72ef65ef",
    "references/Fuchs-thesis.pdf": "7d218f11c74835e313e7b05380046aeedc4bacf5dfdb51d244b8f5bdd45fa008"
  },
  "limits": "Complete finite orbits and exact rational identities; all-prime inference uses the explicitly cited Fuchs orbit theorem. No full external-paper proof audit or global repair certificate."
}