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 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
-<meta charset="UTF-8">
-<meta name="viewport" content="width=device-width, initial-scale=1.0">
-<title>KRL — Knot Resolution Language</title>
-<style>
-  body { font-family: system-ui, sans-serif; background: #f8f7f4; color: #2c2c2a; margin: 0; padding: 24px; }
-  h1 { font-size: 20px; font-weight: 500; text-align: center; margin: 0 0 4px; }
-  .subtitle { font-size: 13px; color: #5f5e5a; text-align: center; margin: 0 0 28px; }
-  .grid { display: grid; grid-template-columns: 200px 150px 160px 1fr; gap: 0; border: 1px solid #d3d1c7; border-radius: 10px; overflow: hidden; }
-  .col-header { font-size: 11px; color: #888780; text-align: center; padding: 8px 12px; background: #f1efe8; border-bottom: 1px solid #d3d1c7; font-weight: 500; letter-spacing: 0.03em; text-transform: none; }
-  .col-header:not(:last-child) { border-right: 1px solid #d3d1c7; }
-  .cell { padding: 14px 14px; border-bottom: 1px solid #d3d1c7; display: flex; flex-direction: column; justify-content: center; gap: 2px; }
-  .cell:not(:last-child) { border-right: 1px solid #d3d1c7; }
-  .row-last .cell { border-bottom: none; }
-  .cell-title { font-size: 13px; font-weight: 500; }
-  .cell-sub { font-size: 12px; }
-  .cell-code { font-size: 11px; font-family: ui-monospace, monospace; color: #3c3489; background: #eeedfe; padding: 3px 7px; border-radius: 4px; display: inline-block; margin-top: 3px; }
-  /* Row colours */
-  .r1 { background: #eeedfe; } .r1 .cell-title { color: #3c3489; } .r1 .cell-sub { color: #534ab7; }
-  .r2 { background: #e1f5ee; } .r2 .cell-title { color: #085041; } .r2 .cell-sub { color: #0f6e56; }
-  .r3 { background: #faece7; } .r3 .cell-title { color: #712b13; } .r3 .cell-sub { color: #993c1d; }
-  .r4 { background: #faeeda; } .r4 .cell-title { color: #633806; } .r4 .cell-sub { color: #854f0b; }
-  .r1 .cell-code { background: #cecbf6; color: #26215c; }
-  .r2 .cell-code { background: #9fe1cb; color: #04342c; }
-  .r3 .cell-code { background: #f5c4b3; color: #4a1b0c; }
-  .r4 .cell-code { background: #fac775; color: #412402; }
-  .footer { margin-top: 16px; text-align: center; }
-  .footer p { font-size: 12px; color: #5f5e5a; margin: 4px 0; }
-  .octad { font-size: 11px; color: #888780; margin-top: 6px; }
-  .tag { display: inline-block; font-size: 10px; background: #d3d1c7; color: #444441; border-radius: 3px; padding: 1px 5px; margin: 1px 1px 0 0; }
-  .r1 .tag { background: #afa9ec; color: #26215c; }
-  .r2 .tag { background: #5dcaa5; color: #04342c; }
-  .r3 .tag { background: #f0997b; color: #4a1b0c; }
-  .r4 .tag { background: #ef9f27; color: #412402; }
-  @media (prefers-color-scheme: dark) {
-    body { background: #1e1e1c; color: #c2c0b6; }
-    .col-header { background: #2c2c2a; color: #888780; border-color: #444441; }
-    .grid { border-color: #444441; }
-    .cell { border-color: #444441; }
-    .r1 { background: #26215c; } .r1 .cell-title { color: #cecbf6; } .r1 .cell-sub { color: #afa9ec; }
-    .r2 { background: #04342c; } .r2 .cell-title { color: #9fe1cb; } .r2 .cell-sub { color: #5dcaa5; }
-    .r3 { background: #4a1b0c; } .r3 .cell-title { color: #f5c4b3; } .r3 .cell-sub { color: #f0997b; }
-    .r4 { background: #412402; } .r4 .cell-title { color: #fac775; } .r4 .cell-sub { color: #ef9f27; }
-    .r1 .cell-code { background: #3c3489; color: #cecbf6; }
-    .r2 .cell-code { background: #085041; color: #9fe1cb; }
-    .r3 .cell-code { background: #712b13; color: #f5c4b3; }
-    .r4 .cell-code { background: #633806; color: #fac775; }
-    .footer p { color: #888780; }
-    .octad { color: #5f5e5a; }
-    .tag { background: #444441; color: #b4b2a9; }
-    .r1 .tag { background: #3c3489; color: #cecbf6; }
-    .r2 .tag { background: #085041; color: #9fe1cb; }
-    .r3 .tag { background: #712b13; color: #f5c4b3; }
-    .r4 .tag { background: #633806; color: #fac775; }
-  }
-</style>
-</head>
-<body>
-<h1>KRL — Knot Resolution Language</h1>
-<p class="subtitle">each operation is grounded in topology, implemented by a dedicated repo, and exposed as syntax</p>
-
-<div class="grid">
-  <div class="col-header">knot concepts</div>
-  <div class="col-header">repository</div>
-  <div class="col-header">KRL operation</div>
-  <div class="col-header">language feature</div>
-
-  <!-- Row 1: Construct -->
-  <div class="cell r1">
-    <div class="cell-title">tangles, ports</div>
-    <div class="cell-sub">compose · tensor · closure</div>
-    <div><span class="tag">Object</span><span class="tag">Interface</span><span class="tag">Compose</span><span class="tag">Tensor</span></div>
-  </div>
-  <div class="cell r1">
-    <div class="cell-title">Tangle PL</div>
-    <div class="cell-sub">syntax layer</div>
-  </div>
-  <div class="cell r1">
-    <div class="cell-title">Construct</div>
-    <div class="cell-sub">build &amp; compose</div>
-  </div>
-  <div class="cell r1">
-    <code class="cell-code">compose a b</code>
-    <code class="cell-code">tensor a b</code>
-    <code class="cell-code">close t</code>
-  </div>
-
-  <!-- Row 2: Transform -->
-  <div class="cell r2">
-    <div class="cell-title">PD code, crossings</div>
-    <div class="cell-sub">Reidemeister moves</div>
-    <div><span class="tag">Structure</span><span class="tag">Transformation</span></div>
-  </div>
-  <div class="cell r2">
-    <div class="cell-title">KnotTheory.jl</div>
-    <div class="cell-sub">engine</div>
-  </div>
-  <div class="cell r2">
-    <div class="cell-title">Transform</div>
-    <div class="cell-sub">rewrite, reduce</div>
-  </div>
-  <div class="cell r2">
-    <code class="cell-code">simplify t</code>
-    <code class="cell-code">normalise t</code>
-    <code class="cell-code">mirror t</code>
-  </div>
-
-  <!-- Row 3: Resolve -->
-  <div class="cell r3">
-    <div class="cell-title">isotopy, quandle</div>
-    <div class="cell-sub">equivalence class</div>
-    <div><span class="tag">Equivalence</span></div>
-  </div>
-  <div class="cell r3">
-    <div class="cell-title">QuandleDB</div>
-    <div class="cell-sub">semantic layer</div>
-  </div>
-  <div class="cell r3">
-    <div class="cell-title">Resolve</div>
-    <div class="cell-sub">find equivalence</div>
-  </div>
-  <div class="cell r3">
-    <code class="cell-code">equivalent? a b</code>
-    <code class="cell-code">classify t</code>
-    <code class="cell-code">near t</code>
-  </div>
-
-  <!-- Row 4: Retrieve -->
-  <div class="cell r4 row-last">
-    <div class="cell-title">Jones, Alexander</div>
-    <div class="cell-sub">invariant indexes</div>
-    <div><span class="tag">Invariant</span></div>
-  </div>
-  <div class="cell r4 row-last">
-    <div class="cell-title">Skein.jl</div>
-    <div class="cell-sub">persistence</div>
-  </div>
-  <div class="cell r4 row-last">
-    <div class="cell-title">Retrieve</div>
-    <div class="cell-sub">query &amp; cache</div>
-  </div>
-  <div class="cell r4 row-last">
-    <code class="cell-code">find where jones=p</code>
-    <code class="cell-code">where crossing &lt; 8</code>
-  </div>
-</div>
-
-<div class="footer">
-  <p>"Query" = row 4 only &nbsp;·&nbsp; "Resolution" spans rows 2–3, where knot topology is distinctive &nbsp;·&nbsp; hence KRL, not KQL</p>
-  <p class="octad">Tags show Verisim octad grounding for each operation</p>
-</div>
-</body>
-</html>
