Index of /symcc-report-codex/evidence/f435-adaptive-proof-admission-2026-08-18/
../
README.md 17-Aug-2026 20:41 2301
SHA256SUMS.txt 17-Aug-2026 21:01 2150
f435_adaptive_proof_admission.png 17-Aug-2026 20:40 125K
f435_adaptive_proof_admission.svg 17-Aug-2026 20:40 6694
focused_tests.txt 17-Aug-2026 20:39 99
full_python_gate.json 17-Aug-2026 20:57 2040
full_python_tests.txt 17-Aug-2026 20:57 1600
full_suite_summary.json 17-Aug-2026 20:41 815
llvm17_lit.txt 17-Aug-2026 20:57 21K
llvm18_lit.txt 17-Aug-2026 20:57 21K
oracle-run-1.json 17-Aug-2026 20:40 41K
oracle-run-1.stdout 17-Aug-2026 20:40 41K
oracle-run-2.json 17-Aug-2026 20:40 41K
oracle-run-2.stdout 17-Aug-2026 20:40 41K
oracle-run-3.json 17-Aug-2026 20:40 41K
oracle-run-3.stdout 17-Aug-2026 20:40 41K
oracle-run-4.json 17-Aug-2026 20:40 41K
oracle-run-4.stdout 17-Aug-2026 20:40 41K
oracle-run-5.json 17-Aug-2026 20:40 41K
oracle-run-5.stdout 17-Aug-2026 20:40 41K
oracle-run-6.json 17-Aug-2026 20:40 41K
oracle-run-6.stdout 17-Aug-2026 20:40 41K
research_sources.md 17-Aug-2026 21:00 1407
review_findings.txt 17-Aug-2026 21:00 3132
source_manifest.txt 17-Aug-2026 21:01 2318
static_checks.txt 17-Aug-2026 20:41 551