roadmap: loop-recur spec'd + approved (97c1ed1) — open as P0 in-flight

docs/roadmap.md

@@ -35,8 +35,16 @@ work progresses.
 
 ## P0 — In flight
 
-_(empty — prelude-decouple milestone closed 2026-05-14, audit-pd
+- [~] **\[milestone\]** Standalone `loop` / `recur` — strictly-additive
-clean. Pick the next milestone from P2.)_
+  iteration surface lowering to the existing `tail-app` back-edge, with
+  one closed rule (`recur` valid only in tail position of its enclosing
+  `loop`). De-bundled re-attempt of the reverted Iteration-discipline
+  it.1 core only: no totality claim, no guardedness pass, no `Diverge`,
+  `tail-app` byte-unchanged. Spec written + grounding-checked + user-
+  approved 2026-05-17 (97c1ed1).
+  - context: `docs/specs/2026-05-17-loop-recur.md`; principles entry
+    `docs/specs/2026-05-17-llm-surface-discipline.md` §6.2; revert
+    rationale `docs/specs/2026-05-16-iteration-discipline-revert.md`.
 
 ## P1 — Next