diff --git a/docs/DESIGN.md b/docs/DESIGN.md index 0d4579b..f42b0de 100644 --- a/docs/DESIGN.md +++ b/docs/DESIGN.md @@ -30,7 +30,7 @@ evolving in lockstep with the language: the LLM-facing renderings of a module. `ailang-surface` (Iter 14c) is the lossless Form-A printer/parser — the canonical authoring surface fixed by Decision 6, with a round-trip property - `parse ∘ print = id` gating every release. `ailang-prose` + `parse ∘ print = id` gating every release. `ailang-prose` is the lossy Form-B projection — human-readable prose for review and edit, with no parser; re-integration goes through the LLM-mediator round-trip documented in `docs/PROSE_ROUNDTRIP.md`.