From 9e79a56796a7cfd92014b56964b04c329ada1001 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 5 Jun 2026 23:48:26 +0000 Subject: [PATCH] docs: relocate KRL architecture map out of tangle (Tangle/KRL disambiguation) docs/krl_map.html is KRL-specific content that belongs in the krl repo (whose README links to it). Tangle is the knot-theoretic programming language; KRL is one downstream dialect/application with its own repo. Moved to krl/docs/krl_map.html. https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2 --- docs/krl_map.html | 155 ---------------------------------------------- 1 file changed, 155 deletions(-) delete mode 100644 docs/krl_map.html diff --git a/docs/krl_map.html b/docs/krl_map.html deleted file mode 100644 index a8c96bb..0000000 --- a/docs/krl_map.html +++ /dev/null @@ -1,155 +0,0 @@ - - - - - -KRL — Knot Resolution Language - - - -

KRL — Knot Resolution Language

-

each operation is grounded in topology, implemented by a dedicated repo, and exposed as syntax

- -
-
knot concepts
-
repository
-
KRL operation
-
language feature
- - -
-
tangles, ports
-
compose · tensor · closure
-
ObjectInterfaceComposeTensor
-
-
-
Tangle PL
-
syntax layer
-
-
-
Construct
-
build & compose
-
-
- compose a b - tensor a b - close t -
- - -
-
PD code, crossings
-
Reidemeister moves
-
StructureTransformation
-
-
-
KnotTheory.jl
-
engine
-
-
-
Transform
-
rewrite, reduce
-
-
- simplify t - normalise t - mirror t -
- - -
-
isotopy, quandle
-
equivalence class
-
Equivalence
-
-
-
QuandleDB
-
semantic layer
-
-
-
Resolve
-
find equivalence
-
-
- equivalent? a b - classify t - near t -
- - -
-
Jones, Alexander
-
invariant indexes
-
Invariant
-
-
-
Skein.jl
-
persistence
-
-
-
Retrieve
-
query & cache
-
-
- find where jones=p - where crossing < 8 -
-
- -
-

"Query" = row 4 only  ·  "Resolution" spans rows 2–3, where knot topology is distinctive  ·  hence KRL, not KQL

-

Tags show Verisim octad grounding for each operation

-
- -