Index of /symcc-report-codex/evidence/f427-qfbv-proof-receipts-2026-08-17/

../
README.md                                          17-Aug-2026 09:39    2464
SHA256SUMS.txt                                     17-Aug-2026 09:43    1731
claim-boundary.txt                                 17-Aug-2026 09:39     984
environment.txt                                    17-Aug-2026 09:39     419
f427_qfbv_proof_receipt.png                        17-Aug-2026 09:41    291K
f427_qfbv_proof_receipt.svg                        17-Aug-2026 09:41    9171
full-python-gate.json                              17-Aug-2026 09:41    2633
full-suite-summary.json                            17-Aug-2026 09:41     437
llvm17-full.json                                   17-Aug-2026 09:20      3M
llvm18-full.json                                   17-Aug-2026 09:20      3M
oracle-reproducibility.txt                         17-Aug-2026 09:39     753
oracle-run-1.json                                  17-Aug-2026 09:41     995
oracle-run-2.json                                  17-Aug-2026 09:41     995
related-python.xml                                 17-Aug-2026 09:41    9147
review-findings.txt                                17-Aug-2026 09:39    1026
source-contract.txt                                17-Aug-2026 09:41     868
source-research.txt                                17-Aug-2026 09:39     522
static-checks.txt                                  17-Aug-2026 09:42     506
targeted-lit-llvm17.json                           17-Aug-2026 09:20     669
targeted-lit-llvm18.json                           17-Aug-2026 09:20     669
targeted-python.xml                                17-Aug-2026 09:41    2343