d47d2326f74f17ff2d763cba7df0e27f67be1ef401d1004ac4ce547260e67a7f  PROOF_AND_GROK_HANDOFF.md
52aa913c230d3807f2788c8eb2dfbed76d164d8eb01bc3531cc50ce03f9336c0  EVIDENCE.md
dc1b1633628fac20e0cc8fb5f80c37c54d888f496124417b6e71ddbd0b53b8a9  floor_kernel.py
d8efbc15d4740fc7cfb334039e016becf10bbcf68fdebbfab09992fde8fba92c  floor_kernel.mjs
be5d7a199d9f1ac7b092e7a6fa639d8407b911cc72294520c6cd0b9552d3bf04  verify_floor_kernel.mjs
3a59103bb189ae68ef0aa4ef9f67525489f3b9243a912b69748a1718ebc1512d  verification_python.txt
3a59103bb189ae68ef0aa4ef9f67525489f3b9243a912b69748a1718ebc1512d  verification_python_optimized.txt
c7b1ccb37dec27a23cb0aacabdfbe30ee6bc02aee1c2a36d7c6d940fa84664f3  verification_node.txt
b5f03cf7a3c0449dcbd4237c2cd2caecce5ffc8591e4bb00c2dfb7012f5a25ee  LICENSE-CODE
5272c7b0297641e9e22ed47593bca3a394305aa5b93f2b17658ec7a2af1fa382  evidence/home.html
6988710b8d7e91469ef09ff55b2d6fb1dfb59612bc60a7bd06a489100977541b  evidence/reconstruct.html
4d90a9659d99efe9ca29817f5f603ac24b89f0898d6295bca6eccfdb25d6728b  evidence/walkthrough.html
e6abb402528e64e8ba01c37d09d47115829b3aa84735ef7c5cf0c6f75c7bcf55  evidence/dynamics.html
311773b7a9a9520539f406c127a1b591e9538fd6ac68ad1eeb39c1b684469bdb  evidence/reproduce.html
dbf0650cf80c9e618684d98292bf7592baadadc51bd2eccf15b950392dcd5c8b  evidence/omega_reference_checker.py
36932658afd9bc3d8ce7e44abb6225b6420ee33907969449648bde587bbb9927  evidence/bridge.js
270b4301715fce3d219e9eb4f2ddeb9397e8b312224a6b98cbfb13cfbbce3abb  evidence/ledger-tool.js
b5f03cf7a3c0449dcbd4237c2cd2caecce5ffc8591e4bb00c2dfb7012f5a25ee  evidence/LICENSE-CODE