roadmap: docs-honesty-lint spec'd + approved (aff25cd) — open as P0 in-flight

Dependency (Remove mut/var/assign) closed 2026-05-18; entry relocated
P1 -> P0, [ ] -> [~]. Mirrors the loop-recur 5f586f8 precedent.

docs/roadmap.md

@@ -96,26 +96,27 @@ work progresses.
     `docs/specs/2026-05-18-fieldtest-loop-recur.md`; principles entry
     `docs/specs/2026-05-17-llm-surface-discipline.md` §6.2.
 
-## P1 — Next
+- [~] **\[milestone\]** DESIGN.md / docs honesty lint — spec'd +
+  approved 2026-05-18 (`aff25cd`), open as P0 in-flight; dependency
+  (Remove `mut`/`var`/`assign`) closed 2026-05-18; next `planner`.
+  Sweep the canonical docs so they mirror ONLY the actual current
+  state, present-tense. Single iteration (mirror effect-doc-honesty):
+  a two-pronged tense+modality discriminator codified present-tense
+  as a DESIGN.md meta-subsection (Approach A); procedural enumeration
+  = discriminator applied to the full `architect_sweeps.sh` + new
+  Sweep 5 output (not a frozen list — the sweep already surfaces
+  post-mortem sites the architect waved through as legitimate
+  quotes); anti-regrowth = enumerated `docs_honesty_pin.rs` (hard
+  cargo-test gate, incl. protected-exception present-anchors against
+  over-correction) + Sweep 5 + `ailang-architect.md` "DESIGN.md
+  honesty drift" bullet (advisory standing forward check). No
+  language/checker/codegen/runtime change.
+  - context: `docs/specs/2026-05-18-docs-honesty-lint.md`
+    (grounding-check PASS 10/10); 2026-05-18 user directive;
+    reserved-vs-vapour precedent
+    `docs/journals/2026-05-16-iter-effect-doc-honesty.md`
 
-- [ ] **\[milestone\]** DESIGN.md / docs honesty lint — sweep the
-  canonical docs (above all `docs/DESIGN.md`) so they mirror ONLY
-  the actual current state of development, correct and present-tense.
-  Two banned failure modes: aspirational "foundation for / we'd
-  like / planned" Wunschdenken (genuine forward intent belongs in
-  *this* roadmap, never in DESIGN.md) and "this went wrong"
-  post-mortem narrative (that lives in `docs/journals/`). Sole
-  legitimate exception: a "reserved / unimplemented" claim that is
-  explicitly AND correctly labelled as such (the effect-doc-honesty
-  precedent — the discriminator is whether the doc asserts something
-  exists/works that does not). A reader of DESIGN.md must see what
-  the language IS now, not wishful thinking. Needs its own
-  brainstorm (the Wunschdenken-vs-honest-reserved boundary is a
-  design judgement, and the architect drift-checks against this
-  file — its honesty is load-bearing).
-  - depends on: Remove `mut` / `var` / `assign` (closes first)
-  - context: 2026-05-18 user directive; reserved-vs-vapour
-    precedent `docs/journals/2026-05-16-iter-effect-doc-honesty.md`
+## P1 — Next
 
 - [x] **\[milestone\]** Heap-`Str` ABI — runtime infrastructure for
   malloc-backed, refcounted `Str` values alongside the existing