Skip to content

fix(deed): bump canon pin 2.1.2 -> 2.1.5 (stale canon pin) #2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 2 commits into from
Nov 12, 2026
+5 −5
Merged

fix(deed): bump canon pin 2.1.2 -> 2.1.5 (stale canon pin) #2

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b2b9ace
fix(deed): bump canon pin 2.1.2 -> 2.1.5 (Fix B, stale canon pin)
claude Nov 12, 2026
4cae543
docs(claude-md): regenerate arrival pack after canon pin bump
claude Nov 12, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions CLAUDE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down Expand Up @@ -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
Expand Down
4 changes: 2 additions & 2 deletions quintessence_chora.deed
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
Loading