Elyon-Sol v0.9.8.4 — Enforcement Evidence Addendum (Revision 9)
**Elyon-Sol** is a deterministic, fail-closed HTTP admission gate derived from a formal admissibility specification. The canonical model is unchanged from v0.9.8.4: **G(I) = AC³ ∧ T²⁶ ∧ CCS** — Authority and Coverage are the two per-request set-containment checks against a SHA-256-pinned manifest, and Continuity is the...