1cea6e0559b784ac0b9aeb5f5a7eb48f78962e6aa97a504039b96cdccb061c11  README.md
d0b6d207876130d0e6eae1fdc7cbc90d1c3a52be876c2c5fb0a74cecfd70b692  f435_adaptive_proof_admission.png
ccb05676e6d5a730446cb285ed6e0e74b6fa95f808788d5a3a40e3f287887e4c  f435_adaptive_proof_admission.svg
7548d4bf1f3369881080464fd8a53b9808cf54b699b8d2b4c762b9643b7f0167  focused_tests.txt
3ffdef741f10339b1ed85fef4f2b41ce3a721340cf32756b66e9462528f342e5  full_python_gate.json
c29ce9fbd030e3900c3b98959beeb047f708667557b67a047348c7e87b792a1a  full_python_tests.txt
7f707afad765d11117b47e1876f3fe4c21288b8a57aa603a658181409bc759c5  full_suite_summary.json
79fb2b427dc5d807d9fa9a45bb7cc60e107eb894d4da4a9d69c6e5d05cf2b525  llvm17_lit.txt
07c0f96594a8f194175a7ab4b7479b2bd01c85853c5a82e3e7461052f89b4f4d  llvm18_lit.txt
3772866e45a2ef0ad0ff44a17e3c7fd864aa0766887d5663d65ca012d4f2d37f  oracle-run-1.json
3772866e45a2ef0ad0ff44a17e3c7fd864aa0766887d5663d65ca012d4f2d37f  oracle-run-1.stdout
16af222d9c87b734f7a364410a1bd77a4bdc66ff40c6ac92b30139ab802da995  oracle-run-2.json
16af222d9c87b734f7a364410a1bd77a4bdc66ff40c6ac92b30139ab802da995  oracle-run-2.stdout
e3fc6109f59a2b7d88e0d469bb47572cc76fb56e160fc86b0c8472162b41b52f  oracle-run-3.json
e3fc6109f59a2b7d88e0d469bb47572cc76fb56e160fc86b0c8472162b41b52f  oracle-run-3.stdout
8b47066b0468a1f20016f379bf8390b1faf1a4331428fc5aebf13defbaca063c  oracle-run-4.json
8b47066b0468a1f20016f379bf8390b1faf1a4331428fc5aebf13defbaca063c  oracle-run-4.stdout
d60ac0015791574a5bf592c30c319ba4e747316ea9da7a77a83aed796ef9ecdc  oracle-run-5.json
d60ac0015791574a5bf592c30c319ba4e747316ea9da7a77a83aed796ef9ecdc  oracle-run-5.stdout
5ce14542c9156d16f6634b4c39ec382b85b897b203219180c2e522dfb8e60a21  oracle-run-6.json
5ce14542c9156d16f6634b4c39ec382b85b897b203219180c2e522dfb8e60a21  oracle-run-6.stdout
bc2b880f95e20a97d5b0a63b340b9ae85ccfa72320059a89ac9e5a9526078641  research_sources.md
75b6489a13801180fa2a0453aff11e8296b09e9e5a30ecbbd6fb58fa498cd84d  review_findings.txt
64a7050b76228938314732c1b20bc5e76d15ba22276db33726a29c8479b75e35  source_manifest.txt
0093ea5512492546bc947856b0278f44fc0f61d36058ce0d8ba02447d630945b  static_checks.txt