dabf2f96bd77a21c38305dc9c1a6e5cede638c87b85e70a89a05141b33a71d34  AUTHORS.md
96366e563fc054be221759f32c8e45871b69980a264d3170ae43e461e71937b9  LICENSE
48a15b58d8e5531687643732773e2f5b17f269f255ddc1dabc695b2e403f4603  README.md
9eefeee3eadbad35a6dcba552e71a8092d700add6ea89d4ba2d8b18604083ec7  check-direct-palindrome-field-path-certificate.mjs
58af468eda6eaef8b1264c1ca54e47bd33f2fc5fefe81e4d7529d9aa8a5fb342  check-direct-palindrome-typed-ast.mjs
93b12cb535a837200bf1d7ec627adb981adb76a522b141334c59daf82038e8d4  direct-palindrome-field-path-certificate.json
3d86ca0cb4e08cdcfba7702c8aff01c9c455a3ea64ac2824a643ff170af0ad84  direct-palindrome-field-path-correction-2026-09-10.md
8ce7f77854d5424ff66bb5b41b105c4737d94121a7dec8467958d0f531924678  direct-palindrome-typed-ast-call-certificate-2026-09-10.md
9331830c0c5c0fbc08d53e75fabd563e69294ae0af3c2d31815aa665a77690d6  direct-palindrome-typed-ast-certificate.json
a4c32a059cd3b2625a236517ab4b6a37b391200a7cbb8e4744076b7bc49abff3  direct-palindrome-typed-ast-inventory.json
9fecb54984ae9c3bd573386b41e11f7161e7b036c11b30a827602e7bad271c28  extract-ocaml-typed-inventory.ml
3f26031c8c56bccedef9fe366f6449a83436c3b54d7218012c242439a2ed0f22  reviews/adversarial-completeness.md
92431a0b06e99d495eaceb30e19018d78b526cece2e21f142b4b05a757a1cc3d  reviews/certificate-mapping.md
9aabda1cbe9aa0bdf9e3d42f9b30b7edd678fd313d66b5cc29c5d9176ff1a26f  reviews/extractor-design.md
102a562850b383948161dc82cda50f50d7dcb8c0bd4cfa8eec20b8a5e303b595  selector-envelope-check-output.json
37f17bb4d57ac6dd313e2538236ae04963750f9a2cf01805fa989b4cf517fea4  source/cadeque_core.ml
e76266335ba922f9d871f25677f7f9b18d9f6f4188e6ac896ef8026ec427ef76  source/deque_core.ml
d0acbf973dc380255e9c4c537d51eb31e32a629bdfdc27da1800756f48fd9ccf  source/four_operation.ml
078a3e758f3115842a4078d8ba4d74d0739ee2db5cd526910b5bdcc65cfa601b  typed-artifacts/deques__Cadeque_core.cmt
7cca9bf57dfe675abf5357db1f0187a68c9365196f60fe8af0715fe13699ccb6  typed-artifacts/deques__Deque_core.cmt
449d71562b719820b43bc128a0e5575d87912bdc53d9477a4e8a6aa5b09a7572  typed-artifacts/deques__Four_operation.cmt
bde4c5ec6ab4b597ab81ab41ff39beec12f491df56bcaba496161055b5527cc6  typed-check-output.json
