534dd3292dd78fbb4381d41e9ff244647adbaf5c253e5080b11c21c912f0a020  benchmark/README.md
293466a737aeb7235d48002d3eabcf3549b33c26f86b78f543d6ea0fc3895d48  benchmark/check_qfbv_palrup_global_oracles.py
0ac53950fbe04d3682b468399608f2117e7366aeb2bcd4b2a0a319458e8404d7  benchmark/install_palrup_check_sat2026.sh
b9dd82f565a01f7d5464e3a7f81021ad09f41dd65a72fe75852cf0ece4a0c431  docs/Configuration.txt
5d5e2a55e58923c89cee6eed84e35138b17b456f771330f1c815be066df81ece  docs/Testing.txt
2bfd2acad05540c91fdd85ddbadf590b72dbbd60a8b17335fa4a3c90491cb87a  docs/codex/Current_Technology_Compendium.md
6e4de658a2c0238387b4b3e18e15c3b345a9ef37df703ca39a5f5b12dd52c288  docs/codex/Development_History_Traceability.md
d037fc3f3270611002c89ec260df896fc599ac12a1e1a45704503d742f01a7cd  docs/codex/New_Implementation_Archive.md
f46245a8bb506bf4c8bce1aaf4a9f993493265d19fdb3b7d21b21b983e0ee6d0  docs/codex/README.md
f137bc9516cfcf425e271bd402a70fe2b99c4e07dfa48ccd9dba8b750d297175  docs/codex/SOTA_Implementation_Roadmap_2026-08-14.md
09f2d043f3d57c02b4e054b2b798a498cbf9ff4955c095908ea2d836ae27c579  docs/codex/diagrams/solver-context/f440_palrup_global_confirmation.png
c6328163c0e6e81ee919164a7dc06800c0bee71d70691ee69208c5d18f1b5c67  docs/codex/diagrams/solver-context/f440_palrup_global_confirmation.svg
05a0404763009a27efeba6462a868f7941d64b56f173056371f9771f99543e33  docs/codex/research-progress/PalRUP_Global_Confirmation_Pipeline_F440_2026-08-18.md
93eaab1a8e54846c741c94e3c5ade7812588bfc853d6d7b8e825ae77f16b1c3c  docs/codex/research-progress/README.md
b7b09df07b30728702b3e59e8b759aa953a7d3973f7fa66587cb187fd63d2923  docs/codex/verify_delivery.py
560524335a865795e60208da0707a9b2e630e6072a4be70441a1de0581d9c60b  docs/generate_current_technology_index.py
b12b3fc2054d3794548946ef974c0535239e5a7afe668e35829f672b66337509  test/pytest-nodeids.json
04d507d18a1bc1f7ff36fcb937410ef71a991a61163cb6daaa089f662d00bb2f  test/test_qfbv_palrup_pipeline.py
8d12707c4e86065e4c2a9dca58fae36a2c7e4950d509ee7622d58d33f2b480fe  util/qfbv_palrup_pipeline.py
b55b43d928b96fdc27f17f2527bb12714015b21e6cc5cc17f9fa6409e1d70065  util/qfbv_proof_wire.py