design-md-consolidation 1.2: drop Family-N tags from DESIGN.md

This commit is contained in:
2026-05-10 11:42:07 +02:00
parent f2c4b400a8
commit e6821d873d
+3 -3
View File
@@ -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 <module.ail.json> — table: name :: type !effects [hash]
ail describe <module> <name> — detail of a definition (form-A body)
ail render <module.ail.json> — JSON-AST → form-A text (exact inverse of `parse`)
ail parse <module.ailx> — form-A text → canonical JSON-AST
ail prose <module.ail.json> — JSON-AST → form-B (lossy human prose, no parser; Family 20)
ail prose <module.ail.json> — JSON-AST → form-B (lossy human prose, no parser)
ail merge-prose <m.ail.json> <m.prose.txt>
— compose the LLM-mediator prompt for the prose round-trip
(see docs/PROSE_ROUNDTRIP.md)