2ca19d2c640660da7d2f4780382484dd51482d4a0e4f7f12bc8ab94ecca3ac99  benchmark/README.md
289f5ea00e3d6a9a65f76b6ff69545f37f34f6886bd2056ebd6c29c441717d51  benchmark/check_qfbv_proof_wire_oracles.py
ea86585081d38f00b09fa3b48a63d9390d04fb5ad10bf8e3adbf744bdfd8f35f  benchmark/install_lidrup_check_0_0_7.sh
0ac53950fbe04d3682b468399608f2117e7366aeb2bcd4b2a0a319458e8404d7  benchmark/install_palrup_check_sat2026.sh
db5b999d7c11d6103ee86d35f621d513c87bde88f3a802d2374bc3044fe32065  docs/Configuration.txt
a98b434675b25af8ceedc867bc3e88c63da91eb211a37fa2cb480e8e03942607  docs/Testing.txt
994768d37c4167ad8ba7b8bbcbad9674011d1de74e987dcf97e520f0bc4bea22  docs/codex/Current_Technology_Compendium.md
679dcf75723c3e40d67c3f0f08a7875e2cee6f964acaa5a3c6b9df92ca6b190f  docs/codex/Development_History_Traceability.md
ecc3b18ab8d40ade21f389aed0867131bdd829659d1c073b192d1f3927f4eeda  docs/codex/New_Implementation_Archive.md
76eac4a02644b348481fbcad047a66aa5d315f3dc037758728b797971a0d9a27  docs/codex/README.md
3b5bfd3947401ab51a6e1c0c4d04b0204beab04d7094153c7a9d42bbba71f6c3  docs/codex/SOTA_Implementation_Roadmap_2026-08-14.md
9e8edbe09e31f39c3c47346ceabf317085fae3903a3e3533ebe799561a3024c5  docs/codex/diagrams/solver-context/f439_proof_wire_interoperability.png
725b248b2d9c254715cf4ae6838a5f7eb69c40bb2dc770a81a016b8a4511bbf5  docs/codex/diagrams/solver-context/f439_proof_wire_interoperability.svg
d1d6b467195b3b006dd45dd156caa9d1ef1089b78b2cbb696c165c3fcc314d7b  docs/codex/research-progress/LIDRUP_PalRUP_Proof_Wire_Interoperability_F439_2026-08-18.md
aa1ac1c71d6246b02bf4b50d3f4cb2fb7a094dbb88c554234e06135286014c6d  docs/codex/research-progress/README.md
e3d70273a2fbf2e3da9a14b3ca789ec5a7c4f1f309fbb48bfcce7083b3a7cc17  docs/codex/verify_delivery.py
4591d1079f19c7591a1188acc71bce0ae27cdf57b4ba258837f08259d7a9f412  docs/generate_current_technology_index.py
8277de7b2f24b2a5ec80bb4447420760deba8e1cd8cdf7ee3e0dfffc5e01380d  test/pytest-nodeids.json
f7fdcf1c30f9f3ff0692f3f96ea6b27ec69dd656d521dbccdfade78c61095a14  test/test_qfbv_proof_wire.py
bfc0832a6b0f6c496e07d14e4e816724da33382c5ea6c3f225857783bdcc564c  util/cadical_qfbv_backend.py
c6ef9f3a19b1e918079a44997e5220718ae7b22bc3f7eb448eee08bb1310b67e  util/qfbv_incremental_proof.py
b55b43d928b96fdc27f17f2527bb12714015b21e6cc5cc17f9fa6409e1d70065  util/qfbv_proof_wire.py
f944991e0e8451db1b9852c43347752bea44be3b92be94b9bc808b30486f1db8  util/query_store.py
a1e862df0888bd42fadc8eae705319866cdfa7d0ef11e2a0bb68926afc4c4432  util/symcc_query_service.py