5dc7aecb5af6b92ef8fa4c4aa01ae18a86ff0c36af0d69ff0179377bfdc09cfe  binary_order_thinning_finite_posets_reviewed_v3.tex
6d5e7dc39501b4a8729d965587412e203d76778ede6375925f4dd2dce28cb61f  independent-audit/binary-independent-search-results.json
72f7e10a5ffaeab94b006142fcfc9962adabece525eb2393aa644613c82f258f  independent-audit/binary-independent-search.py
4b1b47795d6f453e84bfe5665f5ac45075c36e1bd8e1adb6672ff35d47d430e7  independent-audit/binary-seven-state-rerun.txt
1b5037651a117393deea3fbdf4830c9d7d72c9ff8fd148b14526a265496b10c4  README.md
fcec0d93439666255162269ff5a6842909b5a6828a7235dcef3b508798707f4d  reproducibility/audit_20260927_counterexample.out
6aa63e5c8597c1d44e1818285ebb5ecd921ff4b6099b605efa9c89364df15731  reproducibility/audit_20260927_exhaustive.out
bf74c48d7da0d49357a9ce992e144de6cb3c811628517ec279109eacb65e7d35  reproducibility/audit_20260927_one_bit.out
9e3e8250ff67ff6ba9ad51e8823de7997440edb750a0ee1400c0d9c01f609ac6  reproducibility/COUNTEREXAMPLE_CERTIFICATE.md
75dc01259f85db3a5adde6b5a0ed10d976b64174accdd0df0b2b48edd1fdccb7  reproducibility/README.md
a44282cea4273706c7ff6ede362688b3f281d71cf137f3efb8a61b2716ab1e8d  reproducibility/run_one_bit_checks.sh
fccf3f2ccc5265389187c91fc3521f87b7455ffd8e9356342e4b792275444cfd  reproducibility/run_two_bit_checks.sh
5616aeed18900ad634ad6463af63231789044ba4ce49c4a1dd69e3020303781d  reproducibility/SHA256SUMS_REVIEWED_20260927
fcec0d93439666255162269ff5a6842909b5a6828a7235dcef3b508798707f4d  reproducibility/two_bit_7_rerun.out
fcec0d93439666255162269ff5a6842909b5a6828a7235dcef3b508798707f4d  reproducibility/two_bit_7_verified.out
cc899f6b779f336865c4416dabb82955d2a1522373c62a5590ba340ff8e3b633  reproducibility/two_bit_height2_exhaustive.cpp
c1113c9db6123bc51c71a6e7665fb7c6e8291b1165d0da7593f9ea17b49d6708  reproducibility/two_bit_n1_rerun.out
fc6b6925ad884bc5a12a6ffbf4d458945699a5788290091003de2ee75a0549d8  reproducibility/two_bit_n2_rerun.out
5b2c7efe8ef26e75ba641488af4d0a394eb6cb2a235ec36a52791bf0c65d8cb6  reproducibility/two_bit_n3_rerun.out
3971cfdf6aac676f4d2c09d93410fd4b3600307d06fc08adbf2ac93af53c03aa  reproducibility/two_bit_n4_rerun.out
59343b47a00d6f7863969a8fe61a8711b7d0ea860f01200abc6f5dfd4a6d27e9  reproducibility/two_bit_n5_fast.out
59343b47a00d6f7863969a8fe61a8711b7d0ea860f01200abc6f5dfd4a6d27e9  reproducibility/two_bit_n5_rerun.out
35aee0c8fe639eac709ffb1ab453bf74500d234256aa1163bc6e4e5938a7a1d5  reproducibility/two_bit_n6_fast.out
35aee0c8fe639eac709ffb1ab453bf74500d234256aa1163bc6e4e5938a7a1d5  reproducibility/two_bit_n6_rerun.out
a131bed89f3847bc61be2cf1a2336273148f4f6b68979480f3fdfbda959d859f  reproducibility/verify_homotopy_preserving_observations_local.out
a131bed89f3847bc61be2cf1a2336273148f4f6b68979480f3fdfbda959d859f  reproducibility/verify_homotopy_preserving_observations_rerun.out
c13d45cfa588409ba37d4edfae01feafb9523e1c224e58197bd9f6cc43008a14  reproducibility/verify_homotopy_preserving_observations.py
cf6dd63c9821331bc56014b99ecd5463c6fbc8fa6c922f133211c4db2329cc03  reproducibility/verify_refinement_subclasses_local.out
cf6dd63c9821331bc56014b99ecd5463c6fbc8fa6c922f133211c4db2329cc03  reproducibility/verify_refinement_subclasses_rerun.out
6532c03559d05ff9cf2f7e7e1aba1ce079d45712522b076d20a9b52137913d59  reproducibility/verify_refinement_subclasses.py
51630fb7490862209364b9362e8d281820bc202036a71b1ce1c739abd17136fb  reproducibility/verify_repair_forest_theorem_local.out
f944502215d09eee06a33347bccd48ad7a90d24fd3ac408bb6013c83ee728a28  reproducibility/verify_repair_forest_theorem_original.py
51630fb7490862209364b9362e8d281820bc202036a71b1ce1c739abd17136fb  reproducibility/verify_repair_forest_theorem_portable_rerun.out
51630fb7490862209364b9362e8d281820bc202036a71b1ce1c739abd17136fb  reproducibility/verify_repair_forest_theorem_rerun.out
c4f77c451ae8489a5fd517ecacaa8288235c2674d48c2f955805cd215fd0e49e  reproducibility/verify_repair_forest_theorem.py
40bd6869657efd11ec98f8b740305550c66506c2fa129050cb1d5d9c4a8528db  reproducibility/verify_two_bit_height_two_counterexample.py
