799f63e11ec391b1d600681a0f8604b210d2479e9dba7cd7a644228519b8fb40  build_brief.py
26b33f75d3397efc7fd8e2c2b83038de8ce384417440c2d0eea8249b4d06167f  check_demo.cjs
f766597b613bc5b51c4d4399455988263ac7fc187c957415bf86d2de992f70c4  cycle-witness-results.json
16c89357d49a27d6235a466e5814b55087a3b3360591c328056ff117f66f8d6b  demo-model.js
e900e394caf4f57a43df4222cb9cd2bb3763fa5b8d8fd351aeac8af354b75cbe  enumerate_models.py
c24464ccc625a11e8179e242c1afe8bdb68f20128186ab63862ab91440f2f791  independent-check-results.json
fa0fa04bece8012412faf39d65f3afb45059a1e7939ef75f9a60e8ad4da352fb  independent_check.py
f3a5aaed7388f03512d5d7614cb642e0360dc738ad361fd3c0fed873f4ef63d4  MATHEMATICAL-REVIEW.md
ad3c290e6a035841aef1b29641b5cf3885e1d7f90e35303b6f42712ab552b25e  minimal-counterexample.md
cf53cb8334d67fda08cf88f4b1bc269a9c90beef559e2666d355ab7c167599d6  PREPRINT-CHECK.md
d5e05f390b54836839282910427a1aacc2ee282658e8c0d87661ab3ec7f6b489  preprint.tex
30c2ab80771e994ca662e01c03427f82b8cb9d63b99402c5b32a3c02d678c096  PRIOR-WORK.md
ab34853249e10fea1d45c635ee048d21a8266f3842fdd2fa9fce8b9804faba65  PROOF-REVIEW.md
88cdda4884bffae75814de38e1504c50bc1e0ee7b7e06860d5a29468a26a43e7  PUBLICATION-REVIEW.md
dd7898166eb9020fdd5569e3fc6d49156fd4ed98eb188512b591ab534d4c6fcb  README.md
e373b85ac0bc294188b3c1424f29ba94ea0437a928c01e4617056d5eb09ec38f  reciprocity-preprint.pdf
593109af02054dab1a22e979aade4f8896ba54c8b8fc9e4ea1080240a2339368  research-brief.pdf
b64150a0079697ffd52a258bd0d0af4a369b17eabde0b65cd23cd1058166cfc7  retention.md
c26504cf6a88309c5c5e08859ede7c439c18cc5c6aeb95769fd4f1c85adf833b  source-provenance.json
cbad661a2d937f9f0473040a6a55597b46b5e2b44c9d853de0690aa4d7960644  theorem.md
74719ee93be606761494d560ec56c10c0b52e9b0ba3a595c738712cc132d4b91  three-bit-results.json
c7e9ee56974144daba77c7d84326984ab52113c6c780d80ce87de36528653793  two-component-results.json
0fe47ff51684bc2e6ef2bb27f574de48ffe13d1044f013e4e5ad19a162cfa9c1  validation.json
f8da4174fade5ba6950b2d236d9cd8748391046e947e13940aedfaa22b9e611b  worked-examples.json
