Calculated SHA-256 checksums:
  AdjustedProof.lean: b55ae994cd6877f8bd2989af04e2d0e4fbf9e7f6b81e6454820580f7ea2dc82c
  cross_diff.py: 0ac6a9b62a08737a3a10c883c765ff621b9ab519e376e8a5889bc169086e672d
  Dockerfile: 6dc55db78c2f1f52aaa1ee0f9846fb90b795c0e6e057d5f2b21e0449a2cffcbb
  exclusion_overlay.png: 15e38d4c13149b397799f023e6b34615c57e57a15e8600ec603d79c0eabfcc61
  failure_mode_map.png: 2d46148b9ccef0fb9f51194e23be44b81e27503f3ec98e4bd97babd4917eabdc
  gpt_verify.py: 884fe4320e8a7605310c5de29dd77e49f39066c833971e0ef16d1a8607842d3c
  lattice_vs_perturbative.pdf: 09ca4f3bb793c6c50a37a17b5da900dc310c668256212c7925a88e002b6a0ffd
  lattice_vs_perturbative.png: ae2727ea5973a968e36653a6044ae0b77136935ee298cc8ba5d0b0a74f345eea
  missing_step1.lean: a586981f88c413708f99348495492c44709db11b3b39917a9426fe0dfd8b2a2b
  missing_step2.v: 389ff7b3a45aa72766a535c8582393c5ca2c24fd695e9c77bd6aa21977e5d413
  missing_step3.json: afd7e6dd04954f8b609a4d60b4a2424f7b87dd0730ccf571f45a0f8750798d30
  proof.yml: 87e274494a7270153b889a990fb260266ab3ce8efe03c5743905ad8c9c828faa
  Proofs.lean: ef068e237ebbbcbac01eaf6fb49a22937ca1b3a8390d87ef5e2a4e7be683e72f
  Proofs.v: 0a7e7c9bf8297e0d6817605591f026270847be666cefeab38630b7a9baf4be7f
  sensitivity_curve.pdf: 17309e90d174e2bb378860cc0fedf1137f4a712ae6aa097e6019b28a496b3e6f
  sensitivity_curve.png: ef422e15308a8cf1f71215bd7fb48bd067578a7cef0c2aa03f13ca0579fe8085