From e6821d873d79216e360c413c4d7dd65b32a86e2a Mon Sep 17 00:00:00 2001 From: Brummel Date: Sun, 10 May 2026 11:42:07 +0200 Subject: [PATCH] design-md-consolidation 1.2: drop Family-N tags from DESIGN.md --- docs/DESIGN.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/DESIGN.md b/docs/DESIGN.md index f12eb9d..0d4579b 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` (Family 20) + `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`. @@ -504,7 +504,7 @@ JSON identical to their corresponding `.ail.json` files. constraint-1 budget. No new lexical rule (`tail-app` / `tail-do` are bare ident tokens; no special casing). -### Form (B) — human prose projection (Family 20) +### Form (B) — human prose projection AILang ships a second textual projection of the AST: `ailang-prose`, a one-way @@ -2057,7 +2057,7 @@ ail manifest — table: name :: type !effects [hash] ail describe — detail of a definition (form-A body) ail render — JSON-AST → form-A text (exact inverse of `parse`) ail parse — form-A text → canonical JSON-AST -ail prose — JSON-AST → form-B (lossy human prose, no parser; Family 20) +ail prose — JSON-AST → form-B (lossy human prose, no parser) ail merge-prose — compose the LLM-mediator prompt for the prose round-trip (see docs/PROSE_ROUNDTRIP.md)