chore(kitchenspeak): retire in-monorepo copy → standalone canonical

KitchenSpeak has been extracted to the standalone hyperpolymath/kitchenspeak
repository, which now carries the v2.0 elevation (physics-in-the-types: curdle/
scorch/bake-the-spatula/over-torque are compile errors), a reference OCaml
compiler, and machine-checked Agda proofs.

This marks the in-monorepo kitchenspeak/ subtree as a frozen v1.0 snapshot
rather than deleting it: full subtree removal plus the ~15 cross-references
(LANGUAGES.a2ml, 6a2/STATE, contractiles, bot_directives, wiki) is deferred to
a deliberate monorepo-structure pass.

- add kitchenspeak/MOVED.adoc tombstone pointing to the canonical repo
- mark languages/kitchenspeak.md as EXTRACTED
- update README KitchenSpeak section: extracted + v2.0 lives upstream

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

Author: hyperpolymath

README.adoc

@@ -114,9 +114,13 @@ terminates on a wall-clock bound, and every physical step is witnessed by a
 local sensor. Development leads with proofs (Agda) per the language's
 `ROADMAP.adoc`.
 
-Status: specification stable at v1.0; proof library commenced (Dough,
-Poached Egg), toolchain in progress. Maintained as the standalone
-`hyperpolymath/kitchenspeak` repository.
+Status: *extracted to the standalone `hyperpolymath/kitchenspeak` repository,
+which is now canonical.* That repo carries the *v2.0 elevation* — physics in
+the types (materials carry thermal/mechanical/chemical envelopes, appliances
+carry capability envelopes, so curdle / scorch / bake-the-spatula / over-torque
+are compile errors), a reference OCaml compiler, and machine-checked Agda
+proofs. The `kitchenspeak/` subtree here is a frozen v1.0 snapshot; see
+`kitchenspeak/MOVED.adoc`.
 
 TypeFix Zero / TF0
 

kitchenspeak/MOVED.adoc

@@ -0,0 +1,50 @@
+// SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+= KitchenSpeak has moved — this is a frozen snapshot
+:icons: font
+
+[IMPORTANT]
+====
+*The canonical home of KitchenSpeak is now the standalone repository
+https://github.com/hyperpolymath/kitchenspeak[hyperpolymath/kitchenspeak].*
+
+This `kitchenspeak/` subtree inside the `nextgen-languages` monorepo is a
+*frozen v1.0 snapshot* kept only for monorepo cross-references and history.
+*Do not develop here.* All active work — including the *v2.0 elevation*
+(physics-in-the-types: materials carry thermal/mechanical/chemical envelopes,
+appliances carry capability envelopes, so curdle-the-milk / bake-the-spatula /
+over-torque-the-arm are *compile errors*) — lives in the standalone repo.
+====
+
+== Why the split
+
+KitchenSpeak outgrew its teaching-vehicle role. The standalone repo now carries:
+
+* the *v2.0 design blueprint* (`docs/spec/` + `docs/design/`, with
+  `0001-v2-constitution.adoc` as the binding contract);
+* a *reference compiler* (`src/compiler/`, dependency-free OCaml:
+  lexer -> parser -> typed AST -> physical-safety checker -> HAL lowering to
+  Matter / MQTT / ROS 2);
+* an *example corpus* with machine-asserted accept/reject expectations; and
+* *machine-checked Agda proofs* (the v2 flagship `NoCurdle.agda`, plus
+  `Dough`, `PoachedEgg`, `EchoBridge`).
+
+Everything in this snapshot is a strict subset of, and superseded by, the
+standalone repository.
+
+== If you landed here from a monorepo reference
+
+Read the canonical sources instead:
+
+[cols="1,1"]
+|===
+| This snapshot | Canonical (hyperpolymath/kitchenspeak)
+
+| `kitchenspeak/SPEC.adoc`          | `SPEC.adoc` + `docs/spec/`
+| `kitchenspeak/grammar.ebnf`       | `grammar.ebnf` + `docs/spec/0002-concrete-grammar.adoc`
+| `kitchenspeak/proofs/`            | `proofs/` (adds `NoCurdle.agda`)
+| `kitchenspeak/ROADMAP.adoc`       | `ROADMAP.adoc`
+|===
+
+_Retired 2026-06-15. Full removal of this subtree (and its ~15 monorepo
+cross-references) is deferred to a deliberate monorepo-structure pass._

languages/kitchenspeak.md

@@ -28,9 +28,15 @@ postulated visual witness; `max_duration` is the termination measure;
 ## Run
 
 ```bash
-# Specification-only at v1.0. See kitchenspeak/README.adoc for scope.
+# This snapshot is specification-only at v1.0.
+# Canonical home + runnable v2.0 toolchain: https://github.com/hyperpolymath/kitchenspeak
 ```
 
 ## Status
 
-CLASS PROJECT — experimental, specification at v1.0.
+**EXTRACTED — canonical home is the standalone repository
+[`hyperpolymath/kitchenspeak`](https://github.com/hyperpolymath/kitchenspeak).**
+The `kitchenspeak/` subtree in this monorepo is a frozen v1.0 snapshot (see
+`kitchenspeak/MOVED.adoc`); the **v2.0 elevation** (physics-in-the-types — curdle,
+scorch, bake-the-spatula and over-torque are compile errors — plus a reference
+OCaml compiler and machine-checked proofs) lives in the standalone repo.