diff --git a/CLAUDE.md b/CLAUDE.md
index 83d9b6f..f044cb2 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -6,7 +6,7 @@ SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 <!-- The region between the ARRIVAL-PACK markers is generated from this
      repo's deed by `just claude-md` — do not hand-edit it. -->
 
-<!-- ARRIVAL-PACK:BEGIN — estate-common @Manifesto:DRAFT-unratified · repo @deed:DEED@b0deff17f080 ANCHOR@0a5a5cac698a — generated by `just claude-md`, do not hand-edit -->
+<!-- ARRIVAL-PACK:BEGIN — estate-common @Manifesto:DRAFT-unratified · repo @deed:DEED@b9f7f8b4f8bb ANCHOR@0a5a5cac698a — generated by `just claude-md`, do not hand-edit -->
 
 # You are in the hyperpolymath estate — orient before acting
 
@@ -63,14 +63,14 @@ Put every question that needs the owner's decision through the selector (the Ask
 # This repo: `quintessence`  ·  clade `fv-quintessence`
 
 - **Identity** — uuid `#u5"github.com/hyperpolymath/quintessence"`; clade `fv` (secondary `dx`); born 2026-10-22; forge `hyperpolymath/quintessence`.
-- **IS** — Formal verification suite for Elixir/OTP sequential subsets, choreographic K-CUT GenServer protocols, and verified Idris2/Zig NIFs
+- **IS** — Three-layer formal verification suite for Elixir/OTP/BEAM: sequential pure subsets with TINI + MPR R5 non-interference, choreographic K-CUT GenServer protocols, and Idris2 QTT ABI + verified Zig NIFs under MaxPlus 1 ms scheduler bounds, backed by Z3, CVC5, Alethe proof checking, and ECHIDNA mutation gates.
 - **IS-NOT** — Dialyzer success typing · a replacement for upstream Agda/Lean/Coq foundations · an unverified SMT oracle
 - **Where it sits** — pipeline position **verification**; chain `standards -> choreographic-types / secret-types / tropical-types / echidna -> quintessence -> (verified Elixir/OTP applications)`; coordination = `echidna`.
 - **Constraints here** (AGENTIC) — fail-closed; evidence-per-step; no-silent-skip; rerun-after-fix; release-claim-requires-hard-pass. Never: banned langs (above), secrets, state files in repo root, AGPL. Details: the deed's `(bot-directives (methodology) (coverage) (debt))` clauses.
 - **Golden path** (ANCHOR) — `just test && just quality` → Core tests pass; Quality gates pass; No unresolved critical security findings.
 - **State** — phase active; maturity alpha. Milestones and next actions: `docs/status/ROADMAP.adoc`.
 
-<!-- ARRIVAL-PACK:END · provenance: DEED@b0deff17f080 ANCHOR@0a5a5cac698a · Manifesto@DRAFT-unratified · regenerate: `just claude-md` (k9 drift-detects; do not hand-edit above) -->
+<!-- ARRIVAL-PACK:END · provenance: DEED@b9f7f8b4f8bb ANCHOR@0a5a5cac698a · Manifesto@DRAFT-unratified · regenerate: `just claude-md` (k9 drift-detects; do not hand-edit above) -->
 
 <!-- Hand-authored (owner, 2026-10-05): kept below the generated region so `just claude-md` does not overwrite it. -->
 ## Estate-Wide Format Migration Directives
diff --git a/quintessence_chora.deed b/quintessence_chora.deed
index 4446e62..ebbc6ad 100644
--- a/quintessence_chora.deed
+++ b/quintessence_chora.deed
@@ -30,9 +30,9 @@
   ; equal canon.lock [canon.artifacts]; canon.lock [canon.lockstep].order is
   ; spine-adopts-then-canon-releases, so this clause moves FIRST.
   (canon
-    :version "2.1.2"
+    :version "2.1.5"
     :criteria-sha256 "6a5aa8857bd0d0d58ef48827938ca17c251b6b854dacf59d306388d61694d82a"
-    :gates-sha256 "e70efd2f53c9445e30da4baf770366f04a4a84ffd844a01426e587e565b53e6a"
+    :gates-sha256 "5c510bba025be718deebb12d0333bfe7db2da43c66578b728b1a334df65290b1"
     :lockstep-since "2026-09-17"
     ; A canon change this repo cannot satisfy is a change made in the WRONG
     ; ORDER, not a rejected change: land the spine's adoption first, then the