docs(vision): add == The Dyad and the Layers per PRESERVATION-DESIGN §12.4

docs/vision/EPHAPAX-VISION.adoc

@@ -94,6 +94,55 @@ linear" or "linear in training." It has intrinsic value. There are programs
 that belong in affine permanently. As Ephapax matures, the affine form must
 mature *into itself* — not toward becoming linear.
 
+== The Dyad and the Layers
+
+The dyad — linear mother, affine child — is one of *four orthogonal
+disciplines* that together define Ephapax. The other three are silent
+partners in the dyad: each is enforced independently, but each takes its
+*defaults* from which side of the dyad you are on.
+
+[cols="1,3", options="header"]
+|===
+| Layer | What the dyad says about it
+
+| L1 — Region capabilities
+| Identical in both modes. Every live region is tracked in an
+  input/output capability environment threaded through every
+  compound expression. A sibling cannot reference a region a
+  previous sibling has exited. The mother and the child obey the
+  same L1 invariant; the soundness story is the same.
+
+| L2 — Structural modality
+| *This is the dyad itself.* The mother is `Linear`; the child is
+  `Affine`. The thin-poset embedding `Linear ⊆ Affine` is
+  mechanised as `linear_to_affine : Linear ≤ Affine` (Qed, zero
+  axioms in `formal/Modality.v`). Every Linear derivation is an
+  Affine derivation; not every Affine derivation is Linear.
+
+| L3 — Irreversibility residue (Echo)
+| The discipline of *what was lost*. When a region exits or a
+  binding drops, the value is gone — L3 captures the residue as
+  a typed witness. The mother demands the residue be observed
+  (no silent discarding); the child may silently lower it. The
+  same `Echo` fiber serves both modes; only the rule for
+  consuming it differs.
+
+| L4 — Dyadic interaction
+| The declaration of which side you speak from. The mother answers
+  to the linear discipline; the child to the affine. Every closed
+  program has one.
+|===
+
+The four layers compose without coherence obligations because each
+is a *thin poset* — propositional ordering kills the categorical
+overhead that would otherwise demand pentagon laws and the like. The
+construction is taken verbatim from
+https://github.com/hyperpolymath/echo-types[echo-types]'
+decoration-commuting recipe.
+
+The dyad remains primary. The layers are how the dyad's promises
+are *enforced*.
+
 == One Language, One Feel
 
 Writing in Ephapax Linear and Ephapax Affine feels *identical*. There are no