07358d32047062bd029019ed8a1613a4be07b3b8dbf6ee39ec11ea3f9c128c8f  README.md
f7e452d69db8d4c83726e4542e4607570af90934681ba3911953ef75402634e0  claim-boundary.txt
8548ca19613fa9474e233cf1208e1d744db39bd7dcd7f1dde8988e41cf8db7c8  context-initialization-stress.txt
97d13d06c11d5e9a623171a92acd27d526753df9a754028ddbb54cbb0ee57137  environment.txt
ea4ae99e8cd24e1955b8c710956eb05556453ba9553a162b1a2ea55d4f73876c  f428_qfbv_verified_lemma_exchange.png
baab3dbbf0ffcb072b9e606c132fb98cbc1aae60eeefbec36981d2112d87dea9  f428_qfbv_verified_lemma_exchange.svg
5f6b41dac615e00a73ee21503c527badc49cdb697f590e6618d62b8da8084211  full-python-gate.json
3c0c2b7c823fbe4ee9dd535f69f2a85ce7ec86a4fa2158e95f6573fc668f1f59  full-suite-summary.json
89518d386897e8e024378845640ad1ff8b3f06e94ba0e9690968e6e5a72b2da8  llvm17-full.json
afe959c30a26b5901a9b05a5cff1ddfc32e04dab7bfc05a04ae2073162114ea5  llvm18-full.json
9daa84ebc316d12e4c9885ff56cf986ca6f8eac3ddd7d8b84d788de2ccd19ccf  oracle-reproducibility.txt
89a36111782e9b7be633940b0b998bac6b9fda2f4d35d6c41c4d4f5fbb657855  oracle-run-1.json
94b9db229cd227df0801fcfd4987d8cdc51bc8d0278678735438f8b9f74c4649  oracle-run-2.json
24c4e73da7d53c592a5ffcb85050d4c0ca5c33df7e7c47f7a31e292cdc4753af  related-python.xml
04dcddf300f314412c66156340a29fe51e016ed8ab8b5c6101950076abe16617  review-findings.txt
47c56a793ac6cf140ec75fb7bc237745920e3ba946b3a6944e048307299de31c  source-contract.txt
1b0b8c35add69ffbc282c3227d181f18efba8c9ca7d93d855693f8a3aa357f4a  source-research.txt
9b1b518c05d96d1a3443d8f0bd9fc0b42dfe30520fc3c31f36d0379619369e23  static-checks.txt
55826085ff279c42c388ab21ea9a1dbbf226c56204342867fb22ebb2e412ffc4  targeted-lit-llvm17.json
5e78a447c0b384c63988973a0320e903d6d32086407716ed7731e76e7902d20d  targeted-lit-llvm18.json
8ceb9f9a2bde1dfc58267ce84669dfb564251457b270ac04b8464ddb369e501d  targeted-python.xml