PLAN.md: living 12-milestone roadmap from CONTEXT.md's build order, each with a verify gate and its precision invariant; open questions carried forward. TODO.md: near-term M0-M2 slice as ordered tasks.
