7d9420f0218574ec67e03d7b6d89d48d3e7dd9dc372dea490fbff9dc14e59ed0  README.md
f8c2717693b7be19cd4a7fa20b458fb09bdbd8ecd25dd0ec09aa572ab90ad363  claim-boundary.txt
78a715e78cdee68fb15b7320721ab1d4b852353010c3e848d6e6cdeb25eda911  environment.txt
a14c56f045d2b90228d4f7f90c22b3665a8f2240b196703282d63c06c6603bc0  f427_qfbv_proof_receipt.png
b0e3b4ac047e563f1ba0e1c2265f8130e81425dffd3156095af7f19d7fafb009  f427_qfbv_proof_receipt.svg
6378a252ce82a7346132de8cab14141698b37b49a5130f02f5e73c556a494032  full-python-gate.json
871a19a080491e3d149d92f5cb69f7ba3a67eed94f2c53132e95204ef5c7e397  full-suite-summary.json
7f5cdb18446d0943a23046cabddedb3eca1c4d5b8ba9a0b7bffac8909e1cf49c  llvm17-full.json
b60ab5d9fc3a32e907bc1934625f280c10fb5deda2fca50c887ef86379cf5eeb  llvm18-full.json
3191c181e138fe61a61c664453a734d28ac77fd3683ec7308fadb9827ee28682  oracle-reproducibility.txt
1b86d507b25e6512391158b8552517c6455eb6c7f21619a401db0b5801dda310  oracle-run-1.json
d2be0d5cd9818e5caca7023c2a349ec68abe732949db23f4ef3b2f231a5e004e  oracle-run-2.json
91e98e88e70fe942d2e9fd30060275a6a2f4eb9ad3dfb867b1c8b85bf6ea9139  related-python.xml
30232aa420ddde6066d0095b4b39abe53aff96c6795169a0d0f02bc19f9873a9  review-findings.txt
6570fbf339c14d55557e4310fc7939c82bd8abe3a8542f68f9c74e454988d5af  source-contract.txt
9d2215d1d35cb8a886f842fdbd90b0ed6538dee617180c5d1d153a655e3e0174  source-research.txt
c07c3980fad1346d028b3203a6db3a84e4e4fe1f65fcbe042437c4449912f72f  static-checks.txt
f710b0b6c7d86010e7b72b71e17dd8a9b033951e3315b4af4c16d25964b06060  targeted-lit-llvm17.json
675e17506c5bcfc88646db7e47ace073cd73d87fbd1be8dd4ed8075e3a5d7983  targeted-lit-llvm18.json
07d285f1637d64ffa0f410b60fb3ef4f87436d883d70f7adc6910b65b9fad8f1  targeted-python.xml