docs(grounding): align KRL ops + stack diagram to canonical spec#53
Merged
Conversation
- 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 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Aligns the tangle README to the canonical KRL stack spec (the repo's
ECOSYSTEM.a2ml/ANCHOR.a2mlwere already canonical; the README was the outlier).VerisimCore (categorical abstraction)layer withTangle core, matching this repo's own ECOSYSTEM/ANCHOR and the canonical stack:KRL → TangleIR → Tangle core → QuandleDB + Skein.jl.Why — flagging the Verisim removal explicitly
The README diagram was the only place in the repo that put a "VerisimCore" layer inside the KRL stack. It contradicted the grounded
ECOSYSTEM.a2ml(KRL → TangleIR → Tangle core → Skein+QuandleDB) andANCHOR.a2ml, and Verisim/VCL is a distinct paradigm that shouldn't sit inside the KRL stack. Surfacing the removal here in case "VerisimCore" was intended as a real categorical layer — if so, say the word and I'll restore it (and update ECOSYSTEM/ANCHOR to match instead).Scope
README.adoconly — no proofs/Tangle.lean/impl changes. Companion PRs: krl#35, Skein.jl#20, quandledb#54.🤖 Generated with Claude Code
Generated by Claude Code