{
  "manuscript": "C2_Reliable_Repeated_Harvesting_Finite_Molecule_Autocatalytic_Reactor.pdf",
  "source_sha256": {
    "main.tex": "4a2ca012930bfb6f8d4727ad308828e110ab1e96defaa6d6654b63612f4d29b4",
    "check_paper.py": "a7fa41458da302b517623676102ff1ac8f71f956955df0292b1503be97868f61"
  },
  "implementation": "Original paper-specific Python; manuscript and research replay script read as references, not executed or copied. Probability theorems imported; Lean not rerun."
}