754ba33f9a1bbe82f5629cceffaca4c07427f84bb2eb8c7a41f22b729c7238bd  01_FINITE_SPEC.md
d27ff8df66208090752e55d992e5a7afbdb531f6fcc3cdeb522aa41553caf890  02_CANONICAL_FRONTIER_DELTA.md
1f9d980f3df7f8e40df8e7542725cd17ec2d1090e996781884dbc73404b9d4b4  README.md
bd1e6ef29b751b95ba0ff1389e72616b039e5025830a9cb589a8043c04d87979  notes/development_evidence.md
44ac2d72cccb3eb8c58924af8549e630acf3a4e6b0bc1a3181ee71dabd498602  notes/twin_conventions.md
0981f50cfaba33da5b21e547d1652391741dc162284e12832f997d0fdce0f79d  notes/twin_final_review.md
8fcbd6b2f5b752adb0497d312a7f423cf5ec8116218b5905fc83ec1a49dd7058  provenance/input_hashes.json
2d911f09dd5d19da402dd6a34ae7b3c26e1179df3743fa9fc9e723819fd6fcfe  provenance/previous_exact_arithmetic.py
d53880d4235aae808cafa068e7dc24f4101bae3ba8b9c1827612c40e53f2b42a  requirements.txt
4d7c0b581ad146ccdd906761b63653a7f3281f2b3904673bd53141bb70195a48  results/eigenline_certificate.json
54c1b80a6655f4e83dcbf52693428f54dc7be5fed1a29f396f339df49f185df0  results/environment.json
133d3c06706ab05ce18ae742f89c81953afb245d9801e1d0504cf0af7ce94ff9  results/fresh_replay.json
e919d7c2653ac3f53a7d0c1f2c326794080c415e8c6b86e8088e318a56b59fc2  results/frontier_delta.json
b8d386170e08bb7be8f9bd18458c0db36b52c4b1029e86b3d051a68bf8eda4d7  results/independent_negative_checks.json
e04582fe27b26c75df012f72e9a4b67d4c77f20f41a1fe6cccf4d97271ea18ed  results/independent_verification.json
863d6722d1ce53c33fde03187e954db6f44f50cfed6833fd3a61dbc11c3af1e1  results/kurihara_certificate.json
2cad96f2601553cfbd9c79528bd1813d9c8745bac94a69fe566ff34444e76831  results/kurihara_terms.csv
43e0656e15c2f625f3e9786f2ddef2d662498442ddb5b0c3b54b4571b8eba93b  results/log_tables.json
54a0a93f09667405e1536a73bbd76df1b2873d7c03668691562a01e93e4a7029  results/package_validation.json
9552e475ca9379af5685e393eaad18a8a1083dce7ca4fbd5521ab707e7a945a2  results/prior_input_replay.json
9ec4915a3440f9ccce579c79598c015eda05b945d31650492018b27b9a0c7b45  results/producer_events.json
1684aa2505d661693863afe81f2b1bd15fc38422c06fb3a851f0ede90a2a195d  run_all.py
97932a59026c8dbbc2d82479583fbead941d77c277558b7898cefd4eafa55f1b  src/build_certificate.py
a4e82440335c60f51da707c1358088502d87484c164e17da372fe75737fb761d  src/manin.py
49885dd0ec97c6c687f5f26fe0696b20acdbad713dd26cc9a5e649355bc4b080  src/replay_prior_inputs.py
1fab21eebcb60af7cc8ed4c812592c31db15a03b594d47c61ee2fa7614eb9efb  src/verify_independent.py
b078038cdbc649f9af54ee5d5b47f24286b4cfb782bd646f2b6840777bdd1a17  tests/test_finite_certificate.py
c6bbfa0e3b6705ad905a598f1218ef26f4c7aed391decedaf08e3bd95dae9daf  tests/test_independent.py
a3c089bd7c9f6934eeb6e2a25a5cc3aa99842139c81fbc1f21db67e89b29ffd8  tools/finalize_package.py
