d49d2e13857e8906640b3b83aafd722ca32d054206cee37f9c8840d69bcfe4a4  benchmark/check_executable_loop_summary_transfer_oracles.py
fa6224c2e6df5e0b7dff968559be066f9fd25792241739877567f5d75c1ea82f  test/live_nested_loop_memoryphi_executable_transfer.ll
a274ef353c8706ca146b66668cefc6a96b0d324db063157359a59b9c8bfb41ac  test/live_nested_loop_memoryphi_executable_transfer_fallback.ll
598936c1ffcd40cc63ae8fdd0a0d935927a172bf991490f0e6cbb6e86bf87e1a  test/test_nested_loop_memoryphi_executable_transfer.py
3b5704cc93b6265632d551d830e818ba52e70908f08a6dfc2ab0131f540c222a  docs/codex/research-progress/Executable_Nested_Loop_Memory_Summary_Transfer_F422_2026-08-17.md
fa1d5ce7297ddd7959981400e6f9a8ba3a47431e8128ed261d51293c566e37cf  docs/codex/research-progress/Executable_Loop_Summary_Refinement_Contract_F421_2026-08-17.md
5d16869545871e4664a27eced7b9145cd299a55f4ce712239f2c29610445cfaf  docs/codex/diagrams/executable-nested-loop-memory-summary-transfer-f422.svg
e8906c1997b42994da753ed384b05a6a8403408172ced2c9e2c5ad34186f3f95  docs/codex/diagrams/executable-nested-loop-memory-summary-transfer-f422.png