languages/: add error-lang, tangle, kitchenspeak pointers; index 007

Adds the three family languages that were tracked on ~8 other surfaces but
had no thin pointer file (error-lang, tangle, kitchenspeak), following the
existing languages/*.md convention. Adds an invariant blockquote and the
index-only boilerplate to 007.md, and adds all four to the README invariant
table (now 15 rows). Tangle's pointer disambiguates the language from the
separate KRL resolution stack whose IR it feeds.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K

Author: claude

languages/007.md

@@ -4,6 +4,8 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -->
 # 007 — The Agent Meta-Language
 
+> Agents that make agents: every generated agent is itself a program in the language.
+
 **Status:** Specification
 **Classification:** Dual-Use Technology (precautionary — anti-training-scrape measure)
 **Visibility:** Private (standalone repo)
@@ -18,3 +20,8 @@ unauthorised replication.
 ## See
 
 Private repo: https://github.com/The-Metadatastician/007
+
+This coordinator only *indexes* the language; because the source is deliberately private
+(anti-training-scrape), no implementation or specification content is mirrored here. See also
+[`../.machine_readable/LANGUAGES.a2ml`](../.machine_readable/LANGUAGES.a2ml) and
+[`../TOOLING-STATUS.adoc`](../TOOLING-STATUS.adoc).

languages/README.md

@@ -19,6 +19,10 @@ Each language has one core invariant that defines its design philosophy.
 | [affinescript](affinescript.md) | Every resource is used at most once |
 | [ephapax](ephapax.md) | Every value can be consumed exactly once |
 | [haec](haec.md) | Every quality-loss is graded and checked against its use |
+| [error-lang](error-lang.md) | Errors are first-class: systems thinking taught through failure |
+| [tangle](tangle.md) | Programs are braids; equivalence is topological isotopy |
+| [007](007.md) | Agents that make agents (private repo, anti-scrape; index-only) |
+| [kitchenspeak](kitchenspeak.md) | Physical-process constraints are enforced in the types |
 
 Each row links to a thin pointer; the language itself lives in its own
 `hyperpolymath/<lang>` repo. For cross-language status see

languages/error-lang.md

@@ -0,0 +1,18 @@
+<!--
+SPDX-License-Identifier: CC-BY-SA-4.0
+Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+-->
+# Error-Lang
+
+> Errors are first-class: systems thinking is taught through failure.
+
+**Canonical repository:** [hyperpolymath/error-lang](https://github.com/hyperpolymath/error-lang)
+
+A pedagogical language that teaches systems thinking by making errors the primary
+object of study rather than an afterthought — every failure mode is a named,
+first-class value the learner reasons about explicitly.
+
+This coordinator only *indexes* the language. The implementation, specification, grammar,
+examples, and live status live in the canonical repository above — not here. See also
+[`../.machine_readable/LANGUAGES.a2ml`](../.machine_readable/LANGUAGES.a2ml) and
+[`../TOOLING-STATUS.adoc`](../TOOLING-STATUS.adoc).

languages/kitchenspeak.md

@@ -0,0 +1,20 @@
+<!--
+SPDX-License-Identifier: CC-BY-SA-4.0
+Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+-->
+# KitchenSpeak
+
+> Physical-process constraints are enforced in the types (physics-in-types).
+
+**Canonical repository:** [hyperpolymath/kitchenspeak](https://github.com/hyperpolymath/kitchenspeak)
+
+An experimental kitchen-orchestration DSL. The in-tree v1.0 snapshot was extracted
+2026-06 (see [`../EXTRACTION-MANIFEST.md`](../EXTRACTION-MANIFEST.md)); the standalone
+repo carries the superseding v2.0 (physics-in-types, OCaml compiler, machine-checked
+Agda) and consumes the [`echo-types`](https://github.com/hyperpolymath/echo-types)
+substrate.
+
+This coordinator only *indexes* the language. The implementation, specification, grammar,
+examples, and live status live in the canonical repository above — not here. See also
+[`../.machine_readable/LANGUAGES.a2ml`](../.machine_readable/LANGUAGES.a2ml) and
+[`../TOOLING-STATUS.adoc`](../TOOLING-STATUS.adoc).

languages/tangle.md

@@ -0,0 +1,21 @@
+<!--
+SPDX-License-Identifier: CC-BY-SA-4.0
+Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+-->
+# Tangle
+
+> Programs are braids; equivalence is topological isotopy.
+
+**Canonical repository:** [hyperpolymath/tangle](https://github.com/hyperpolymath/tangle)
+
+A topologically inspired language: programs are represented as knots/braids and
+program equivalence is defined by isotopy. The core type system is mechanised in
+Lean. Tangle's IR (**TangleIR**) is also the canonical representation consumed by
+the separate **KRL resolution stack** (`krl → TangleIR → VeriSimCore → Skein.jl /
+quandledb`) — that database/resolution stack is tracked by the database estate, not
+by this coordinator.
+
+This coordinator only *indexes* the language. The implementation, specification, grammar,
+examples, and live status live in the canonical repository above — not here. See also
+[`../.machine_readable/LANGUAGES.a2ml`](../.machine_readable/LANGUAGES.a2ml) and
+[`../TOOLING-STATUS.adoc`](../TOOLING-STATUS.adoc).