b248c568d5b949beda4396d8572c78ab63e8f3dcf4e8492ff771fe259ecd183f  benchmark/README.md
68b271d586d796994e8c2222c2644d72ebcd3de4e4e5375f06883f2d022bf5e6  benchmark/check_qfbv_realtime_multirank_oracles.py
13eb1ac55bdcf594efd3a767ed29d7014484a8106e420b715b669a91cef85b25  benchmark/check_qfbv_utility_pairing_oracles.py
8711c1fa5df38a5979bf7ac8723400f8603a94b5dc554d9795058dae15f4c6d4  benchmark/run_qfbv_realtime_multirank.py
ee6f7038c0ed561aefb665c14d007b6cda413c9bcb71a5cbc902ffb7b5a02c78  docs/Configuration.txt
364bde3f831b398d4323fa44b334f95bb8d361b93ef1cb240f4223f4b5102604  docs/Testing.txt
c5ab7671648b566ba3068483754e2e84f44c0a4fbcb9786c27445dd4e2f0272d  docs/codex/Current_Technology_Compendium.md
51cbd7caa6d2e109d348517c832fd14ff3a467b047f9cc8f0e3bcf2a8c7bef17  docs/codex/Development_History_Traceability.md
0c0f9dcaaef5c9f03df35a48e339b49578298df4441ffee2b9f69bad59ec044d  docs/codex/New_Implementation_Archive.md
9c0c4b1804295d4a4b23258f9e37ecf7cd8fcd250ef4b56f5fd3e64a5c893de4  docs/codex/README.md
ccb037f7fef71b503cfa640a4fd2be44abf680ba2065ade17af36326f61239c8  docs/codex/SOTA_Implementation_Roadmap_2026-08-14.md
fb529c11f9eb9e4e6fd06cea35474b9dee103b29c42912804c1bb2ef94abc72d  docs/codex/diagrams/solver-context/f437_utility_aware_pairing.png
30f60cfbb0736cfe3b08503699f2edd13826a34640b80695df7e08e23c9a0843  docs/codex/diagrams/solver-context/f437_utility_aware_pairing.svg
5af2545be73c2f1c42c65578e88e16e6cdfe3e3c3225c3a8b9ac0e255bf126a8  docs/codex/research-progress/SOTA_Gap_Audit_After_F437_2026-08-18.md
04d24372106a7461a743df822d8a92aad217fe10c9ac0e09eb8b74d70a030687  docs/codex/research-progress/Utility_Aware_Proof_Worker_Pairing_F437_2026-08-18.md
b1818c33b4c216a43971635ea73f1b4fb9f7c346c07d2f3251644cce224cd5da  docs/codex/research-progress/README.md
1a2bff679c906bc2192e785fb428fef218ff880bedf238e50d5052ef7b381810  docs/codex/verify_delivery.py
2b1bcc3a12b5c5c79ec5e216a054f5b11187f23c3f69f74f95a30614177a98c5  docs/generate_current_technology_index.py
22d5607503f694fd81f04f60729fc5927aaa54aeeaccb70a303bc13df6e86796  test/pytest-nodeids.json
363c2333dbb3da77fdce434a30bcd2046ea6b04c706ce1fe9295144dfded5f91  test/test_qf_bv_backend.py
bec814b437a8a702d4ea91d6da7db7c296acde1d441e7bd054991bd8966fcadb  test/test_qfbv_realtime_multirank.py
334a6178259fc20e4ea0f1f6bde8bd9260586d3994878ee7d3180111dae5e781  test/test_qfbv_realtime_stream.py
14ed42b41a8867132bd57ebd3e39e1cc3522c4494ee8e457c2cb4d7100acef95  test/test_qfbv_utility_pairing.py
5976b2d1be23efe397b9feec046f297e961533021fa4b37e11e0647802b7eb8d  util/cadical_qfbv_backend.py
8679a495c776d98d0c5accc10ad15a91cd7cfa69ac5792d268315e834eba8601  util/qfbv_multirank_evaluation.py
d83926b34b021f00b5141f9b39a975496ddfba98f22287f25fc6ec32a5701951  util/qfbv_realtime_stream.py
51a0f4e7c1af8358b6585f1e5c1cad71f5f8e0c417d3a1db29aa46ef8eab92bb  util/qfbv_utility_pairing.py
4ea83d36f44aeebb16162a2790713a13f7b1d0e0b415c0d2890690f39e633c72  util/query_store.py
55b13b972138a790173e78874396f8581d22518c37b379c193caefa4157b9e40  util/symcc_query_service.py