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²⁶ ∧ CCSThis addendum publishes enforcement evidence at a specific commit of the implementation. All three canonical invariants — Authority (AC³), Coverage (T²⁶), and Continuity (CCS) — are implemented and exercised in code at the snapshot commit. Continuity is realized at the admissibility envelope layer: on every ELIGIBLE decision the gate constructs a content-hashed envelope recording canon, manifest, evaluator, request, and condition-result state at decision time, and supports reassertion of that envelope against the live system state.Observed enforcement behavior at the snapshot commit: 204 HTTP calls (102 REFUSE, 102 ELIGIBLE), 0 unexpected outcomes, exactly 102 external POSTs observed at an external HTTP receiver (one per ELIGIBLE call, zero from REFUSE calls). Full repository test suite: 84 of 84 passing, 0 xfailed.Snapshot commit: `89ff2f9c02871d8641cebd3eb043d6c3c0d8471a` (observed 2026-05-25).The attached PDF contains the full evidence section, including the test environment, observed enforcement-behavior tables, the canon-derived adversarial validation surface, the reproducibility steps, the consistency statement with the prior repository, and provenance.This is an evidence publication, not a canonical update.
Justin LaPorte (Mon,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: