CkLang v0 has one loop primitive (`for`); `while`/`loop` are not in the
grammar, and `|` is not a lambda delimiter. The runtime and lowering
READMEs still referenced them, and the lowering README's later-slice
list lagged the runtime-side R-renumber. The root README's status
section also overstated the bootstrap (claimed type-check / effects /
runtime were implemented, when only lex / parse / module-load /
name-resolve are landed).

- runtime/README: R1–R13 → R1–R12 (only 12 R-files exist); R2 row
  drops `while`, points at syntax.md#loops.
- lowering/README: closure desugaring uses `(x: T) => body`; `for`
  desugaring describes a Floor IR loop primitive instead of Rust-ish
  `while let Some(x) = it.next()`; pass-through list drops `while`;
  later-slice numbering R3/R4/R5/R6 → R2/R3/R4/R5.
- README (root): status reflects what is actually landed and points at
  the runtime cascade as the next work.

@@ -54,3 +54,3 @@
 | Order | Slice | Spec | What it lands | Gating fixture | Status |
 |---|---|---|---|---|---|
-| **7** | Bindings & control flow | [R2-bindings-control-flow.md](R2-bindings-control-flow.md) | `let`, blocks, `if`/`else`, `while`, `for`, `match` (decision tree in Floor IR), ranges as values | a `match`/`for` test computes the expected value | ⬜ |
+| **7** | Bindings & control flow | [R2-bindings-control-flow.md](R2-bindings-control-flow.md) | `let`, blocks, `if`/`else`, `for` (the one loop primitive per [syntax.md](../../syntax.md#loops)), `match` (decision tree in Floor IR), ranges as values | a `match`/`for` test computes the expected value | ⬜ |