Index of /symcc-report-codex/evidence/f428-qfbv-verified-lemma-exchange-2026-08-17/

../
README.md                                          17-Aug-2026 10:58    3364
SHA256SUMS.txt                                     17-Aug-2026 11:04    1851
claim-boundary.txt                                 17-Aug-2026 10:58    1292
context-initialization-stress.txt                  17-Aug-2026 10:59     223
environment.txt                                    17-Aug-2026 11:00     559
f428_qfbv_verified_lemma_exchange.png              17-Aug-2026 10:58    239K
f428_qfbv_verified_lemma_exchange.svg              17-Aug-2026 10:58    9159
full-python-gate.json                              17-Aug-2026 10:36    2633
full-suite-summary.json                            17-Aug-2026 10:58     980
llvm17-full.json                                   17-Aug-2026 10:41      3M
llvm18-full.json                                   17-Aug-2026 10:46      3M
oracle-reproducibility.txt                         17-Aug-2026 10:58    1093
oracle-run-1.json                                  17-Aug-2026 10:21    1910
oracle-run-2.json                                  17-Aug-2026 10:36    1910
related-python.xml                                 17-Aug-2026 10:21     10K
review-findings.txt                                17-Aug-2026 10:58    2551
source-contract.txt                                17-Aug-2026 11:04     860
source-research.txt                                17-Aug-2026 10:58     771
static-checks.txt                                  17-Aug-2026 11:04    1268
targeted-lit-llvm17.json                           17-Aug-2026 10:36     665
targeted-lit-llvm18.json                           17-Aug-2026 10:36     666
targeted-python.xml                                17-Aug-2026 10:21    1308