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: