e594365d0a9b60d5a2c32c741d07554a1b364cd3bd94480d93e73e653c36ef86  paper/Knight_Kant_Recursive_Peircean_Product.pdf
34623d0c4380eaed3f7f678f928fcae43257149bcf0aff61ba1e99533bf1a88f  paper/Knight_Kant_Recursive_Peircean_Product.tex
d97b62e77b37a33e9aea1104535b9f6f59ab7932de0fb01a07c3fc1ece003322  code/audit_driver.py
6e006f765b7bc3a259ec6453cb90881e06f1fe63aa4311334c0e1260ffab3531  code/independent_crosscheck.py
63cc8135808f7b395015d715284d5ee4542ad7e9bb2e1e4726b85286d3eece8c  code/model_selection.py
2ca4ecc83962220d50fe0971c200bbb37bfd6bf9c62b3bbd079547b56891b241  code/verify_core.py
6c198cad19400fdadd4b698f5a7bfc5e0c7284476068360d2771e370d89ffef9  protocol/heading_demo_spec.json
b80c6b2a0774eb689aa4628d27c457baf0d6b91e834aff4deb572d155d752bc6  results/verification_certificate.json
