diff --git a/docs/roadmap.md b/docs/roadmap.md index e9db0b0..beef8cc 100644 --- a/docs/roadmap.md +++ b/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