From 5f586f8dd00bc5f26e1451deb7d6b64f1a9c6d30 Mon Sep 17 00:00:00 2001
From: Brummel <mould@mycelium.de>
Date: Sun, 17 May 2026 22:17:07 +0200
Subject: [PATCH] =?UTF-8?q?roadmap:=20loop-recur=20spec'd=20+=20approved?=
 =?UTF-8?q?=20(97c1ed1)=20=E2=80=94=20open=20as=20P0=20in-flight?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/roadmap.md | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/docs/roadmap.md b/docs/roadmap.md
index e1f0393..d936669 100644
--- a/docs/roadmap.md
+++ b/docs/roadmap.md
@@ -35,8 +35,16 @@ work progresses.
 
 ## P0 — In flight
 
-_(empty — prelude-decouple milestone closed 2026-05-14, audit-pd
-clean. Pick the next milestone from P2.)_
+- [~] **\[milestone\]** Standalone `loop` / `recur` — strictly-additive
+  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