From f5b93a2ea6ea500e5ae19188cd199f490026e2a9 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Fri, 19 Jun 2026 22:12:13 +0000
Subject: [PATCH] docs(identity): add AFFIRMATION + QuandleDB/KRL
 must-intend-wish scope

AFFIRMATION.adoc - timestamped (2026-06-19) narrative checkpoint of the
identity programme's current place: echo-types Pillars A-D + doubled-ladder
Gate 1 (verified) plus the cross-repo identity fabric (equivalence/idem,
narrative/ipse, consonance - Conway-Fichte / Bruner / Ricoeur).

docs/identity-fabric/musts-intends-wishes.adoc - the QuandleDB / KRL normative
scope table (Must / Intend / Wish) with the shared equivalence-integrity spine.

Docs only; no Agda added or changed.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2
---
 .../identity-fabric/musts-intends-wishes.adoc | 65 +++++++++++++++++++
 1 file changed, 65 insertions(+)
 create mode 100644 docs/identity-fabric/musts-intends-wishes.adoc

diff --git a/docs/identity-fabric/musts-intends-wishes.adoc b/docs/identity-fabric/musts-intends-wishes.adoc
new file mode 100644
index 0000000..9f9d4c0
--- /dev/null
+++ b/docs/identity-fabric/musts-intends-wishes.adoc
@@ -0,0 +1,65 @@
+// SPDX-License-Identifier: MPL-2.0
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+= QuandleDB / KRL — Normative Scope (Must / Intend / Wish)
+:toc: preamble
+:revdate: 2026-06-19
+
+[abstract]
+Normative scope record for the QuandleDB and KRL halves of the KRL stack,
+grouped Must / Intend / Wish, with the shared (both) requirement highlighted at
+each level. Captured 2026-06-19. `◇` marks proposals not yet canonical.
+
+== Levels
+
+* *MUST* — required to be what it is (RFC 2119 normative).
+* *INTEND* — committed direction.
+* *WISH* — aspirational.
+
+The middle column is the shared requirement — what is *commonly required for
+both* components at that level.
+
+== Table
+
+[cols="1,3,3,3", options="header"]
+|===
+| Level | QuandleDB (own) | ⊕ Both — shared requirement | KRL (own)
+
+| *MUST*
+| Durable store: presentations, invariants, fingerprints, equivalence classes,
+  witnesses; extract quandle from TangleIR; serve invariant +
+  colouring/fingerprint; read-only server (writes via Skein)
+| Rest on TangleIR / Tangle type-safety (extend, never redefine);
+  *equivalence-integrity = the `a = a` idem core*; estate governance
+  (MPL-2.0, SCM-only-in-`.machine_readable`, CI green); honest KRL-stack
+  grounding (no op↔component category error)
+| Be the resolution DSL — Construct / Transform / Resolve / Retrieve; lower to
+  TangleIR; run on the QuandleDB+Skein substrate (no 1:1 op↔component);
+  *not merely a query language*
+
+| *INTEND*
+| Canonical persistence + equivalence face; host the server-side KRL parser
+  (`server/krl/`); stable API + AffineScript TEA frontend
+| Serve resolution-relevant artefacts + witnesses + provenance/explanations
+  (KRL names them → QuandleDB supplies); feed Verisim's identity / consonance
+  layer
+| Retrieve = resolution artefacts, not arbitrary query; finish the rsr-template
+  instantiation; keep polynomial/colouring compute in the engine, invoked not
+  language-level ◇
+
+| *WISH*
+| "maths analogue of a graph database" ◇; re-ground the withdrawn
+  knot-relation edge layer / schema v5
+| Verisim federation node — map↔territory anchoring, anti-drift; generic query
+  access (deferred — krl ADR 0002)
+| A language family: KRL (resolution) + quandle-algebra (object-level
+  set/relations) + narrative-projection (Lithoglyph) ◇; KRL dialects
+|===
+
+== Spine
+
+The ⊕ MUST cell is load-bearing: *equivalence-integrity*. The `a = a` problem
+is the single thing both components are unconditionally bound to, from opposite
+ends — QuandleDB *computes and stores* it; KRL *resolves with* it. This is the
+idem axis of the identity fabric; see `../../AFFIRMATION.adoc` for the
+equivalence / narrative / consonance framing (Conway·Fichte / Bruner /
+Ricoeur).