From dd399696df828b7531c7987db249a94f7a50f7c8 Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 18 Jun 2026 16:11:52 +0000 Subject: [PATCH] docs(grounding): align KRL ops + stack diagram to canonical spec - KRL four-operation table reworded to the canonical verb glosses (construct/transform/resolve/retrieve) and KRL described as a resolution DSL, not merely a query language; add the Retrieve clause (Retrieve recovers resolution-relevant artefacts, not arbitrary querying). - Architecture diagram: replace the stale 'VerisimCore (categorical abstraction)' layer with 'Tangle core', matching this repo's own ECOSYSTEM.a2ml/ANCHOR.a2ml and the canonical stack (KRL -> TangleIR -> Tangle core -> QuandleDB + Skein.jl). Verisim/VCL is a distinct paradigm and does not belong inside the KRL stack diagram. Cross-refs krl docs/decisions/0002-query-language-deferred.adoc. Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2 --- README.adoc | 25 +++++++++++++++---------- 1 file changed, 15 insertions(+), 10 deletions(-) diff --git a/README.adoc b/README.adoc index 2829796..b944f73 100644 --- a/README.adoc +++ b/README.adoc @@ -50,7 +50,8 @@ This aligns with concepts from: == KRL — Knot Resolution Language -KRL is the surface language used to interact with the system. +KRL is the surface language used to interact with the system — a *resolution DSL*, +*not merely* a query language. It is organised around four fundamental operations: @@ -59,19 +60,23 @@ It is organised around four fundamental operations: |Operation |Role |Construct -|Build structured objects (tangles, compositions) +|Create or declare presentations, structures, claims, datasets |Transform -|Rewrite structures (e.g. simplification, normalisation) +|Rewrite, normalize, compose, concatenate, permute, mutate |Resolve -|Determine equivalence classes +|Decide / disambiguate / evaluate equivalence or identity questions |Retrieve -|Query objects by invariants or structure +|Inspect, fetch, project, explain, or return stored/computed results |=== -KRL is not a general-purpose language; it is a *domain language for structured objects and their equivalence*. +KRL is not a general-purpose language; it is a *domain language for structured +objects and their equivalence*. *Retrieve* recovers resolution-relevant artefacts +(presentations, invariants, witnesses, equivalence classes, prior resolutions, +explanations, provenance) — it is *not* arbitrary database querying. See krl +`docs/decisions/0002-query-language-deferred.adoc`. --- @@ -81,13 +86,13 @@ Tangle is part of a layered system: --- -KRL (surface language) +KRL (surface language — resolution DSL, not merely a query language) ↓ -TangleIR (canonical representation) +TangleIR (canonical interchange representation) ↓ -VerisimCore (categorical abstraction) +Tangle core (this repo — proven type-safe small-step semantics) ↓ -Skein / QuandleDB (storage and equivalence) +QuandleDB + Skein.jl (persistence + invariant/equivalence; computational engine) ------------------------------------------- * *TangleIR* is the central representation shared across layers