From 5822fab5ead4225d5f2a8fa676599537e756b4be Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Sun, 31 May 2026 00:42:02 +0100 Subject: [PATCH] =?UTF-8?q?docs(ephapax-linear):=20add=20L2=20naming-note?= =?UTF-8?q?=20banner=20+=20rename=20section=20to=20"Two=20L2=20Modalities"?= =?UTF-8?q?=20per=20PRESERVATION-DESIGN=20=C2=A712.7?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Executes `formal/PRESERVATION-DESIGN.md` §12.7 — the ephapax-linear sublanguage docs rollout. Adds the prescribed banner explaining why the crate name `ephapax-linear` covers both Linear and Affine checkers: they are two L2 modalities, not two languages. Links to: - `docs/vision/EPHAPAX-VISION.adoc` for the dyad framing. - `formal/PRESERVATION-DESIGN.md §5` for the L2 layer in the four-layer architecture. Renames the "Dual Grammars" section heading to "Two L2 Modalities" per the spec's prescription (the grammars themselves are not the unit of distinction; the L2 modality is). The first-read disambiguation block (re: AffineScript) is unchanged. The grammar comparison table is unchanged. No proof, code, workflow, or schema changes. Pure documentation rollout. Companion to README #256 (§12.2), EXPLAINME #257 (§12.3), vision #258 (§12.4), ROADMAP #259 (§12.5). Co-Authored-By: Claude Opus 4.7 (1M context) --- ephapax-linear/README.md | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/ephapax-linear/README.md b/ephapax-linear/README.md index fed1d5b..fbcc037 100644 --- a/ephapax-linear/README.md +++ b/ephapax-linear/README.md @@ -23,7 +23,16 @@ Standalone linear/affine discipline checker for the Ephapax language. -## Dual Grammars +> **Naming note.** This crate is called `ephapax-linear` for historical +> reasons; it implements **both** L2 modalities (Linear and Affine). The +> two are not different languages — they are two admissible-derivation +> regimes over the same syntax and semantics. See +> [`docs/vision/EPHAPAX-VISION.adoc`](../docs/vision/EPHAPAX-VISION.adoc) +> for the dyad framing, and +> [`formal/PRESERVATION-DESIGN.md §5`](../formal/PRESERVATION-DESIGN.md) +> for the L2 layer in the four-layer architecture. + +## Two L2 Modalities This crate implements two **focused substructural grammars** — two views of the same ephapax syntax, each enforcing a different structural discipline: