1ad647cf99d2c25c20f735254a367a8474ae7d3483e472cce13565a9a99696ef  benchmark/README.md
319d7e9a5811de04981c7f63692f52e0a65e7b5e1d9236745c55984ac72140d3  benchmark/check_qfbv_adaptive_exchange_oracle.py
ee695da6b59f436210367e922b0477a89f2770af810ae322f85d19e6e751e379  docs/Configuration.txt
47a3204b7e2c3265c3040e5e88608e111cfbe1a90fb3a571e874cd9097e02ac1  docs/Testing.txt
84062476a2c98462ab4f3c1962e69a5a8dc50100e1c867bd55ecd24761f81f29  docs/codex/README.md
3ea057820771ed44497702d7b45118896c5e151bb5bb046957a64a23e3f2a5a8  docs/codex/Current_Technology_Compendium.md
b761211f45249cb88588953b64ae7e04da95cf7911f508c774bc0e6fab6d8cc1  docs/codex/Development_History_Traceability.md
04add18ebdf629f556c7b1bc3159cb5df68f6645b1b766f16e95c5c9509811ea  docs/codex/New_Implementation_Archive.md
171abb5f7c54538eee359f0d5b64a8232acd7184b17210394708d2430649299e  docs/codex/SOTA_Implementation_Roadmap_2026-08-14.md
d0b6d207876130d0e6eae1fdc7cbc90d1c3a52be876c2c5fb0a74cecfd70b692  docs/codex/diagrams/solver-context/f435_adaptive_proof_admission.png
ccb05676e6d5a730446cb285ed6e0e74b6fa95f808788d5a3a40e3f287887e4c  docs/codex/diagrams/solver-context/f435_adaptive_proof_admission.svg
6aa678f954715a8e6e6aed50153e80e994874a5b12732b70d153225c59a5c1df  docs/codex/research-progress/Adaptive_Checked_Proof_Admission_F435_2026-08-18.md
e40245db18507751898de71466a417280846c55e091893a23e4c4dae4d203971  docs/codex/research-progress/SOTA_Gap_Audit_After_F435_2026-08-18.md
8e7d11e4362ae7181dbc97fdd5606cd68c4bf818b15d0b098c5e4487052483ad  test/pytest-nodeids.json
78518de0660993d3ea01fe35a18ad42e26e730954fbe4acf2d71f0865d94d520  test/test_qfbv_adaptive_exchange.py
d2504c4d20331fb950fc758df7fafc2b69dbb93ed382aa642808b9150dcae10b  test/test_qfbv_realtime_stream.py
b165848df000abd63a70fed999befe3becb7ef8edf00b63159fc9b2e3a1f0d21  util/cadical_qfbv_backend.py
e2cf325c47574c902d67111c64e950a53cdcfbaa1fbc79e22d7bfa63c60da4e5  util/qfbv_adaptive_exchange.py
cb86fd710cc51fef393fa548bfaa6f1bf7d209e0f270ee18c4a45d1c7086a9b0  util/qfbv_incremental_proof.py
ba3d135908ac93ed689e274828b3f57eaaf8536c6f55ce8515882d51ae053166  util/qfbv_realtime_stream.py
9feb965b7f625cb428bc81426017c24ae1ce046e49a983c4901119d33b9ab717  util/query_store.py
a2248e50023f954d7c4a8115ae51b2f4623e92f4dcb137fafdfff96a4f281e93  util/symcc_query_service.py