|
| 1 | +<!-- SPDX-License-Identifier: PMPL-1.0-or-later --> |
| 2 | +<!-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> --> |
| 3 | + |
| 4 | +# Component Readiness — Tangle (language) |
| 5 | + |
| 6 | +**Current Grade:** C |
| 7 | +**Assessed:** 2026-04-05 |
| 8 | +**Standard:** [CRG v2.0 STRICT](../standards/component-readiness-grades/) |
| 9 | + |
| 10 | +## Grade rationale (evidence for C) |
| 11 | + |
| 12 | +Works reliably on own project + annotated. Tangle is a Turing-complete |
| 13 | +topological programming language with a compiler, LSP, and wasm backend. |
| 14 | + |
| 15 | +### Evidence |
| 16 | + |
| 17 | +- **Tests:** 6 dune test suites (parser, typecheck, eval, e2e, property, compositional) |
| 18 | +- **Annotation:** 8 per-directory READMEs across compiler/, lib/, examples/, docs/ |
| 19 | +- **Dogfooding:** Used internally as host for the KRL (Knot Resolution Language) DSL |
| 20 | +- **RSR compliance:** 0-AI-MANIFEST.a2ml, `.machine_readable/6a2/`, 14+ workflows, SECURITY/CONTRIBUTING/CODE_OF_CONDUCT, EXPLAINME.adoc, TEST-NEEDS.md, PROOF-NEEDS.md |
| 21 | +- **Formal proofs:** Lean 4 proofs for progress, preservation, determinism |
| 22 | +- **WASM backend:** Compositional PD compiler with wasm codegen |
| 23 | +- **CI:** Clean; panic-attack assail 0 findings |
| 24 | + |
| 25 | +## Gaps preventing higher grades |
| 26 | + |
| 27 | +### Blocks B (6+ diverse external targets) |
| 28 | +- No external language users outside hyperpolymath. |
| 29 | +- KRL is the only DSL built on Tangle so far — need 5 more distinct domain DSLs |
| 30 | + to demonstrate the host-language claim. |
| 31 | +- No external submissions to language research venues confirming the phase |
| 32 | + separation or compositional PD model. |
| 33 | + |
| 34 | +### Blocks A |
| 35 | +- Requires B first. |
| 36 | + |
| 37 | +## What to do for B |
| 38 | + |
| 39 | +1. Build 5 more DSLs on top of Tangle (not just KRL) — e.g. a braid-group |
| 40 | + calculus, a category-theory calculus, a quantum-circuit calculus. |
| 41 | +2. Get external feedback on the surface syntax and compiler from language |
| 42 | + researchers. |
| 43 | +3. Track the 6 targets here. |
| 44 | + |
| 45 | +## Review cycle |
| 46 | + |
| 47 | +Reassess per release. Next review: on any compiler/LSP/wasm behavioural change. |
0 commit comments