3d703a6bc29b1042880d2a59e7c79a7d5caceeb8b90dce5125126d43965cbeaa  MANIFEST.json
ea9a95301d326401921197ac491099797bfd8049886ff0859f3d834b4a838c90  README.md
fece764e53fca7a38c9d68ea242b04f7a89e6b8625a7dcdb8249c0d59673aee5  RESULTS_SUMMARY.md
d97b62e77b37a33e9aea1104535b9f6f59ab7932de0fb01a07c3fc1ece003322  code/audit_driver.py
6e006f765b7bc3a259ec6453cb90881e06f1fe63aa4311334c0e1260ffab3531  code/independent_crosscheck.py
63cc8135808f7b395015d715284d5ee4542ad7e9bb2e1e4726b85286d3eece8c  code/model_selection.py
2ca4ecc83962220d50fe0971c200bbb37bfd6bf9c62b3bbd079547b56891b241  code/verify_core.py
4d6b72eaec002b2bed07d514f9070584ad6a6207eb8701693680b1831989310b  figures/claim_dependency.dot
b25e3f58457282710bdb0be823d3bdeb300b0a1e97c4eb354b2ac81abc60e1b2  figures/claim_dependency.pdf
4bc9103aeeef821eccc965d1aa3f664688c0ddb3c9a1260957b5cfba5d81aaf0  figures/claim_dependency.svg
e594365d0a9b60d5a2c32c741d07554a1b364cd3bd94480d93e73e653c36ef86  paper/Knight_Kant_Recursive_Peircean_Product.pdf
34623d0c4380eaed3f7f678f928fcae43257149bcf0aff61ba1e99533bf1a88f  paper/Knight_Kant_Recursive_Peircean_Product.tex
a142da020206342b5e732452125f7348a9b23de5d0a31bcc5c1c16ab3babeb4c  protocol/evidence_codebook_template.csv
13300054a790cc0c5812aabd70c4a2f7de89e653c1a9daa04db77fbcb1836a3f  protocol/formal_proof_targets.md
6c198cad19400fdadd4b698f5a7bfc5e0c7284476068360d2771e370d89ffef9  protocol/heading_demo_spec.json
ed2f932050642778608cc6f6c1c216b31f7961474fe11c001b45f39629ca09dc  protocol/interpretive_test_protocol.md
8bd70b9d5ec86bbf4c147768d21c1a02737d65494255b24f2e824acc8cd955bd  report/Computational_Audit.tex
1caa9aae4abb39680e41baa57f01427a93fb8d508a452df4df0e8af5ff76e7df  report/Computational_Audit_of_Recursive_Peircean_Reconstruction.pdf
d682b1c27ce2011afb103d2a0c59a7c141fc4b8dd49cd9dd10c929ae78c778ff  reproduce.sh
e10caecdf80e83e59acc6c933df6db5eb0301eb9e39f1b7e7b510a99de2e3945  results/REPRODUCTION_SHA256SUMS
4712889bac2bc7a68ed748b5348897770386f812d9c1df6499aa067ed5c9bdbe  results/audit_results.json
5f9478b4566075d04c90e86f6df576f2c9e8cebb8e2c2a04668c8b24e2d01a12  results/audit_results.regenerated.json
064c9df51b5764f4692a96acb19e48886033ca9005e1668ff542749194b056a5  results/claim_ledger.csv
f630770d4d3f4e90a23196283809f2b9a9600f895d7aca9c56aecbe24c066fcf  results/heading_demo_results.json
f630770d4d3f4e90a23196283809f2b9a9600f895d7aca9c56aecbe24c066fcf  results/heading_demo_results.regenerated.json
46bced28960bad3cf1d3cf13081bbb135841a3b55bee300d90ae89c23a5913b1  results/independent_crosscheck.regenerated.json
46bced28960bad3cf1d3cf13081bbb135841a3b55bee300d90ae89c23a5913b1  results/independent_crosscheck_results.json
297991672bd457ee3f8e983458e7308079c3c6cc8bd3d81662d27de9a24c347c  results/reproduction.log
b80c6b2a0774eb689aa4628d27c457baf0d6b91e834aff4deb572d155d752bc6  results/verification_certificate.json
