ba8eb5db0a4cf8bad7f87786391d5a6d35cd55c643c2185e081526f67e25be76  LICENSE.txt
e9f2a2e9ab5179664bc12efc0b2d3b8f8558ba8e9e2c38f4790ffcd24e802d4d  MANUSCRIPT.md
f99c55fd7607b6bdd52285688a801ebb55c67cbb5e0dc145843b1577007339da  README.md
30e37049c2e9677b32454ec951dd2177c373aae0770fd325e68eee18471a258f  metadata.json
5585c41c495efeaa8fca7be3e8cc34946b8e67e954bf1642754ae72a05e1076f  notes/normal_witness_transfer_audit_prereg_20261028.md
9aece0e0666dce8c4ac5b0d766a558fef545d87af4123ec79d224bef1aea0f5f  results/normal_witness_transfer_audit_20261028.json
c29dae1abfea0f6ea0e9f98b28c3bc63851551615bfc3a6f38ff5617f5fbc408  results/normal_witness_transfer_audit_initial_issue_20261028.md
442d7fbb3f4a69765fc9abc8f69488151266f0ecaa1fc2bfa894d47e1e07797f  results/normal_witness_transfer_paper_math_20261028.json
19e3debd6b3c0b0bc496ce77c48ddec42b994d98d14ad7d86d7042a8bb4ea9c2  src/audit_normal_witness_transfer_20261028.py
