From b2b9ace8a7796b1ad8731744dad8662ba5550fe7 Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 12 Nov 2026 02:17:57 +0000 Subject: [PATCH 1/2] fix(deed): bump canon pin 2.1.2 -> 2.1.5 (Fix B, stale canon pin) Moves the top-level (canon) clause to the live canon 2.1.5 and updates :gates-sha256 to the live value. :criteria-sha256 is unchanged. The (provenance) clause is left as recorded at mint. Verified: lockstep-local.sh prints "implements the canon at HEAD". Co-Authored-By: Claude Haiku 5.5 Claude-Session: https://claude.ai/code/session_0136P7ZohGxQnA5cbBZyi8Wp --- quintessence_chora.deed | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 From 4cae54382ffa6705d28cd9c36fcf8ae031239461 Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 12 Nov 2026 02:17:57 +0000 Subject: [PATCH 2/2] docs(claude-md): regenerate arrival pack after canon pin bump Runs `just claude-md` because `just validate-claude-md` reported the arrival-pack region as stale relative to the deed. The region is generated; no text was hand-edited. Verified: just validate-claude-md prints "OK: CLAUDE.md arrival pack is in sync with the deed." Co-Authored-By: Claude Haiku 5.5 Claude-Session: https://claude.ai/code/session_0136P7ZohGxQnA5cbBZyi8Wp --- CLAUDE.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 - + # 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`. - + ## Estate-Wide Format Migration Directives