deed: correct the deed to the Mathesis identity (re-anchoring WO 3.1)

.machine_readable/coaptation/receipts/latest.toml

@@ -6,12 +6,12 @@
 [receipt]
 schema = "hyperpolymath.coaptation/1"
 repo = "mathesis"
-band = "amber"
-proposed-action = "advisory — soft drift within bands (posture/intend). Open an advisory issue; no re-anchor."
+band = "green"
+proposed-action = "none — the descriptile self-model coapts with the contractile set-point within tolerance."
 
 [coverage]
 clauses-total = 52
-descriptile-witnessed = 1
+descriptile-witnessed = 2
 probe-deferred-to-hunt = 26
 must-trust-unmeasured-gaps = 0
 note = "Yard sees descriptile evidence only; probe-deferred obligations need a Hunt-tier run for a full hard-gate."
@@ -26,8 +26,8 @@ gate = "pass"
 
 [reading.adjust]
 grade = "posture (advisory; accessibility / inclusive design)"
-satisfied = "0/1"
-posture-ok = false
+satisfied = "1/1"
+posture-ok = true
 
 [reading.intend]
 grade = "tropical (min-plus distance-to-north-star; wishes excluded)"
@@ -78,7 +78,7 @@ trust.no-dockerfile = "probe-deferred"
 trust.site-security-headers = "probe-deferred"
 trust.site-well-known = "probe-deferred"
 trust.site-resource-records = "probe-deferred"
-adjust.placeholder-drift = "refuted"
+adjust.placeholder-drift = "witnessed"
 adjust.template-version-drift = "unmeasured"
 adjust.readme-completeness = "unmeasured"
 adjust.example-accuracy = "unmeasured"
@@ -98,5 +98,5 @@ bust.sync-drift-between-repos = "latent"
 bust.contractile-parse-error = "latent"
 
 [provenance]
-contractiles = "intend@53c58b12670b must@df17f095d038 trust@62cd1ad0fb54 adjust@cfd661debafd dust@a3de1d6db05d bust@72320ddbc891"
-descriptiles = "deed@ab944221ee82 anchor@51194a4e21e8"
+contractiles = "intend@7439f6b04d89 must@3ace42669b5d trust@9cf409076c92 adjust@f7e9bafc614e dust@bdb7dea20424 bust@4de1f1b3bc91"
+descriptiles = "deed@7182c2cc6635 anchor@11df55a6aaeb"

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@26df8c6bf4c3 ANCHOR@5193cc48cb23 — generated by `just claude-md`, do not hand-edit -->
+<!-- ARRIVAL-PACK:BEGIN — estate-common @Manifesto:DRAFT-unratified · repo @deed:DEED@7182c2cc6635 ANCHOR@11df55a6aaeb — generated by `just claude-md`, do not hand-edit -->
 
 # You are in the hyperpolymath estate — orient before acting
 
@@ -72,14 +72,14 @@ Put every question that needs the owner's decision through the selector (the Ask
 # This repo: `mathesis`  ·  clade `fv-mathesis`
 
 - **Identity** — uuid `#u5"github.com/hyperpolymath/mathesis"`; clade `fv` (secondary ``); born 2026-10-29; forge `hyperpolymath/mathesis`.
-- **IS** — Index and connect mathematical concepts, proof sources, assumptions and evidence across repositories without asserting unverified equivalence or proof status.
-- **IS-NOT** — (not yet declared — add (ecosystem :not (…)) to the deed)
-- **Where it sits** — pipeline position **discovery-and-evidence-navigation**; chain `source-repositories -> census -> reviewed mathematical atlas -> proof tooling and researchers`; coordination = `standards`.
+- **IS** — The maths section of the estate: an atlas of the mathematics in other repositories, the theory that no single system owns, and methods that apply mathematics to decisions. Each statement carries its evidence. Mathesis derives status from the receipts of the home repositories and does not assert it.
+- **IS-NOT** — a prover or a proof kernel: the checker of the home repository decides · the proof policy: PROOF-POLICY in standards decides · the identity registry: gv-clade-index decides · the map of the type family: nextgen-typing coordinates that map and its glossary · a copy of the proofs or receipts of other repositories · a grade authority: it derives a grade and does not assign one · a store for private or organisation-specific case material · the RSR template: the template is its lineage only
+- **Where it sits** — pipeline position **discovery-and-evidence-navigation**; chain `standards prescribes -> home repositories prove and keep receipts -> mathesis describes (census, claim pins, receipts read through the canon reader) -> researchers and proof tooling`; coordination = `standards`.
 - **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.
+- **Golden path** (ANCHOR) — `just check` → Every generated view matches its data: catalogue, census tests, atlas, claims registry, bridges; Every gated proof checks in the pinned Guix shell, with no axiom, Admitted, sorry or postulate in its cone.
 - **State** — phase incubating; maturity experimental. Milestones and next actions: `docs/status/ROADMAP.adoc`.
 
-<!-- ARRIVAL-PACK:END · provenance: DEED@26df8c6bf4c3 ANCHOR@5193cc48cb23 · Manifesto@DRAFT-unratified · regenerate: `just claude-md` (k9 drift-detects; do not hand-edit above) -->
+<!-- ARRIVAL-PACK:END · provenance: DEED@7182c2cc6635 ANCHOR@11df55a6aaeb · 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