Index of /symcc-report-codex/evidence/f431-qfbv-substitution-core-2026-08-17/

../
README.md                                          17-Aug-2026 15:10    2176
SHA256SUMS.txt                                     17-Aug-2026 21:01    1744
benchmark-padding0.json                            17-Aug-2026 14:48     667
benchmark-padding128.json                          17-Aug-2026 14:48     673
claim-boundary.txt                                 17-Aug-2026 15:10     727
debug-allocator.txt                                17-Aug-2026 15:08      99
environment.txt                                    17-Aug-2026 15:10     613
f431_qfbv_substitution_core_reuse.png              17-Aug-2026 15:10    167K
f431_qfbv_substitution_core_reuse.svg              17-Aug-2026 15:10    9172
full-python-gate.json                              17-Aug-2026 14:47    1691
full-suite-summary.json                            17-Aug-2026 15:10     915
llvm17-full.json                                   17-Aug-2026 14:54      3M
llvm18-full.json                                   17-Aug-2026 14:59      3M
oracle-run-1.json                                  17-Aug-2026 14:48     185
oracle-run-2.json                                  17-Aug-2026 14:48     185
related-python.xml                                 17-Aug-2026 14:48     14K
review-findings.txt                                17-Aug-2026 15:10    1781
source-contract.txt                                17-Aug-2026 21:01     970
source-research.txt                                17-Aug-2026 15:10    1175
static-checks.txt                                  17-Aug-2026 15:08      92
targeted-python.xml                                17-Aug-2026 14:48    5935