feat: scaffold OpenLearn course structure

Directory tree + module-0 placeholder + bibliography stub for an
OpenLearn-style free course introducing the KRL stack.

8-module outline covers: resolution as central op, TangleIR, stack layers,
construct/transform/resolve/retrieve, and (blocked on user notes) Verisim
octadic framework + Katagoria/TypeLL/tropical types.

Content itself is pending; this commit is structural scaffolding only.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

openlearn/README.md

@@ -0,0 +1,81 @@
+# KRL — OpenLearn Course
+
+An OpenLearn-style free course introducing the KRL stack: what it is, why it
+exists, and how to use it.
+
+## Status
+
+**Scaffold.** Directory structure is in place. Content is pending.
+
+## Intended audience
+
+- Mathematicians new to computational knot theory
+- Programmers curious about domain-specific query languages grounded in algebra
+- Open University OpenLearn browsers looking for a worked example of
+  formal/algebraic DSL design
+
+## Intended scope
+
+### Module 0 — Why "Resolution"?
+Knot theory's skein relations, how resolution is the central operation,
+why "query" would undersell it.
+
+### Module 1 — Tangles and TangleIR
+Open tangles, closed tangles, ports, crossings, PD codes, composition.
+Introduce TangleIR as the canonical interchange object.
+
+### Module 2 — The KRL Stack
+Stack layers: KRL surface → TanglePL → TangleIR → Skein.jl + KnotTheory.jl
+via KRLAdapter.jl → QuandleDB semantic fingerprints.
+
+### Module 3 — Constructing Knots in KRL
+Walkthrough: trefoil, figure-eight. Running a KRL program through the stack.
+
+### Module 4 — Transforming (Reidemeister)
+R1, R2, R3 moves. Simplification. Isotopy invariants.
+
+### Module 5 — Resolving (Equivalence)
+Quandle presentations. Fundamental quandle as a functor. Colouring counts.
+
+### Module 6 — Retrieving (Query + Persistence)
+Skein.jl as the store; query by invariant.
+
+### Module 7 — Where KRL Fits in the Verisim Framework (optional advanced)
+Octadic structure, observation functors, KRL as a resolution system.
+
+### Module 8 — Towards Types (advanced)
+Tropical types, Katagoria/TypeLL integration. (Requires user's notes to be
+written first.)
+
+## Directory layout
+
+```
+openlearn/
+├── README.md            (this file)
+├── modules/             (module content — markdown/adoc/notebook)
+├── exercises/           (interactive exercises, worksheets)
+└── references/          (bibliography, links, pre-reqs)
+```
+
+## Prerequisites (candidates for pre-reqs / "If you already know..." boxes)
+
+- Basic linear algebra
+- Undergraduate abstract algebra (groups, modules — not strictly required)
+- Ability to read Julia or follow pseudocode
+- No prior knot theory required (covered from scratch)
+
+## Target duration
+
+~8–12 hours of study (typical OpenLearn course length).
+
+## Contribution notes
+
+Each module should include:
+1. Learning outcomes (3–5 bullet points)
+2. Narrative explanation with diagrams (SVG preferred)
+3. Interactive exercises that can run in the KRL playground
+4. "Reflection" prompt at the end
+5. References to further reading
+
+Modules 7 and 8 are blocked on the user's own notes crystallising
+(Verisim octadic framework, Katagoria, TypeLL, tropical types).

openlearn/modules/00-why-resolution.md

@@ -0,0 +1,31 @@
+# Module 0 — Why "Resolution"?
+
+**Draft placeholder. Content to be written.**
+
+## Learning outcomes
+
+After this module you will be able to:
+
+1. State what the skein relation is in knot theory
+2. Explain what "resolving a crossing" means algebraically
+3. Describe why "query" undersells what the KRL language does
+4. Give the four operations KRL supports and how each relates to resolution
+
+## Content (to be written)
+
+- The skein relation
+- Crossing resolution as the algebraic heart of invariant computation
+- From "resolve a crossing" to "resolve structure, equivalence, and queries"
+- The four KRL operations: Construct, Transform, Resolve, Retrieve
+
+## Exercises
+
+- To be added
+
+## Reflection
+
+- To be added
+
+## References
+
+- To be added

openlearn/references/bibliography.md

@@ -0,0 +1,40 @@
+# Bibliography — KRL OpenLearn Course
+
+Key references for the KRL stack.
+
+## Knot theory
+
+- Kauffman, L. H. — *On Knots* (foundational)
+- Manturov, V. O. — *Knot Theory*
+- Lickorish, W. B. R. — *An Introduction to Knot Theory*
+
+## Quandles
+
+- Joyce, D. — "A classifying invariant of knots, the knot quandle" (1982)
+- Carter, J. S. — *A Survey of Quandle Ideas*
+
+## Skein relations
+
+- Jones, V. F. R. — the Jones polynomial papers
+- HOMFLY — Freyd, Yetter, Hoste, Lickorish, Millett, Ocneanu
+
+## Computational knot theory
+
+- KnotInfo (knotinfo.math.indiana.edu)
+- SnapPy
+
+## Category theory for knot theory
+
+- Baez, J. and Dolan, J. — "Higher-dimensional algebra and topological quantum field theory"
+
+## Tangle algebras and compositional diagrams
+
+- Turaev, V. — *Quantum Invariants of Knots and 3-Manifolds*
+
+## (To be added) Verisim octadic framework
+
+- User's own notes — not yet written
+
+## (To be added) Katagoria, TypeLL, tropical types
+
+- User's own notes — not yet written