Reuse prepared IPA work and share orbit MSM window shifts - #372

Closed

ValarDragon wants to merge 2 commits into

mainfrom

optimize/ironwood-msm-window-tree-20260905

Commits on Sep 5, 2026

Share orbit MSM window shifts and prepare first IPA round
ValarDragon
committed
8298094
Document prover changes and scope the test-only import
ValarDragon
committed
539228d