Skip to content

docs(ephapax-linear): add L2 naming-note banner + rename to "Two L2 Modalities" per PRESERVATION-DESIGN §12.7 #260

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 1 commit into from
May 31, 2026
+10 −1
Merged

docs(ephapax-linear): add L2 naming-note banner + rename to "Two L2 Modalities" per PRESERVATION-DESIGN §12.7 #260

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 10 additions & 1 deletion ephapax-linear/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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:

Expand Down