f766674b871489c81dad33d7c0ae939873eb387c3db02133761020315d06b10a  README.md
8b242f4d19aff7af062e2764fa18bc04d7ad56f4ba05f642c048adcbe1f65e18  checks/continuity_check.py
a9fd38f7534970fef813fb9d01dcaf43b3a47c8d23b32c4a9c8649092f8b7dc5  checks/independent_continuity_review.txt
dbd672e5e6b411ddce9afb88dec404c03c062344ec8467cd51b84bff72b52f56  checks/independent_quotient_check.py
fc198f27418afb12475c75f8f274373e58e3476602b296c04f23696d3899534d  checks/independent_quotient_results.json
cd2c4d6fb1bd1ec0e60a4067bbacc189f82dc113445f98e05513cd421cfad33b  checks/independent_quotient_review.txt
7d6cc88bd49c8411cb6869969cebdf2e70d6ff1677feb569e9f7be91681aac0b  checks/independent_record_check.py
30ccaf99bfda34f739468eb4d881e91647d08873537ca344f7c47ccb92e6b0ec  checks/independent_record_results.json
7a45f554fb00e40835c8982432665f3cf762a653c5ae2f105aaae73dad142526  checks/independent_record_review.txt
2f331fd0e69ac7e3303bfd10961cecb7283fcac939b70a10a9421118f7377fbb  checks/portable_verification.json
ec77e05443fae6e8fb9362ca2f2ba7eb98cbf966bcbc0354c90cb19c3e4ac374  checks/quotient_check.py
0019b6a96515feb8274273f16aa241e331b7c69421e8f2e3a5f3d04e7f3d83f6  checks/record_check.py
b19d00c4a1e0401c54f80a3f0c78b918b6913381756f277e6ddda66d91b6b204  checks/run_all.py
496cb6bd6f9bdbcf713fc58016886435e14f949fd5ea4e3a0031e9fb8dfbd6e5  literature-audit.md
e48fa5b3d593af9e6629e668354680d3b151ba0605883373a49f5199c72d5844  reviews/hostile-referee.md
56ab48aa0ebd4bfa12bde8565e47fb6448fb1056ace60a643ba8ae863ae1f35c  reviews/review-resolution.md
be2a44027699e97e2ace59ac43379d543c1ef71f7493a914d752f233505b0bc3  reviews/semigroup-specialist.md
a798877fa41f85aff19ef1687bdc9578f9991f14dcda5860539b2e96d86ba650  reviews/zero-error-specialist.md
c56647089839281043278bb09c84fb2f52cf6d2ee71f04fa0cf80692df790a99  verification-summary.json
