chore(coordinator): finalize pure-coordinator pivot — stop language leakage, resite leaked content

nextgen-languages pivoted from monorepo to pure coordinator (submodules removed
2026-06-13), but the AI-facing instruction layer still described a monorepo whose
implementations live in-tree — so LLMs kept adding language content back into the hub.
This finalizes the pivot.

Stop the bleeding (rewrite stale instructions):
- 0-AI-MANIFEST.a2ml: lead with a COORDINATOR BOUNDARY section; drop the monorepo/
  "languages as submodules" framing and the submodule-update workflow
- EXPLAINME.adoc: gut the dead in-tree File Map; fix banned-ReScript refs; add a
  "where each language lives" pointer table
- README.adoc: collapse KitchenSpeak to an external pointer; remove the headingless
  TypeFix Zero spec dump; fix in-tree nextgen-languages/<lang>/ paths
- docs/language-portfolio.md, TOOLING-STATUS.adoc, wiki/Home.md, .claude/CLAUDE.md:
  rewrite to coordinator reality

Enforce it (new boundary guard so it cannot silently recur):
- hooks/validate-coordinator-boundary.sh fails on language-source signatures
  (.agda/.ebnf/.ks/.lean/.idr/…), compiler source trees, or a re-vendored language dir
- wired into the contractile Mustfile.a2ml, the K9 must-check.k9.ncl, contractile.just,
  the root Mustfile, and a hard-gating coordinator-boundary job in dogfood-gate.yml

Resite what already leaked:
- delete the superseded in-tree kitchenspeak/ snapshot (canonical v2.0 lives at
  hyperpolymath/kitchenspeak) and purge its dangling contractile/K9/metadata references
- stage per-language wiki/ and docs/design/ docs under extraction-queue/ (this session's
  GitHub scope can't push into the sibling repos) with EXTRACTION-MANIFEST.md mapping each
  staged path to its destination repo
- normalize languages/*.md to thin pointer stubs

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

Author: claude

.claude/CLAUDE.md

@@ -1,3 +1,13 @@
+## CRITICAL: This Is a Pure Coordinator, Not a Monorepo
+
+`nextgen-languages` coordinates a language family; it does **not** contain it. Each language
+is its own standalone `hyperpolymath/<lang>` repo, referenced — never vendored, never a
+submodule. **Do not add language implementations, specs, grammars, proofs, compilers, or
+per-language wiki/design docs here.** If you are about to create such content, it belongs in
+that language's own repo. This boundary is enforced by
+`hooks/validate-coordinator-boundary.sh` (CI job `coordinator-boundary`). See
+`0-AI-MANIFEST.a2ml` (COORDINATOR BOUNDARY) and `EXTRACTION-MANIFEST.md`.
+
 ## CRITICAL: Pedagogy Lives Outside This Repo
 
 Curriculum, syllabus, aspect-agents, kin framework, and the Me runtime projector all live

.github/workflows/dogfood-gate.yml

@@ -236,13 +236,35 @@ jobs:
           echo "| Has HTTP server code | ${{ steps.groove.outputs.has_server }} |" >> "$GITHUB_STEP_SUMMARY"
 
   # ---------------------------------------------------------------------------
-  # Job 5: Dogfooding summary
+  # Job 5: Coordinator boundary — no language-implementation content in the hub
+  # ---------------------------------------------------------------------------
+  coordinator-boundary:
+    name: Coordinator boundary (no language leakage)
+    runs-on: ubuntu-latest
+    timeout-minutes: 15
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
+
+      - name: Enforce pure-coordinator boundary
+        run: bash hooks/validate-coordinator-boundary.sh
+
+      - name: Write summary
+        if: always()
+        run: |
+          echo "## Coordinator Boundary" >> "$GITHUB_STEP_SUMMARY"
+          echo "" >> "$GITHUB_STEP_SUMMARY"
+          echo "Verifies that no language-implementation content (proofs, grammars, compilers, specs, or a re-vendored language directory) has leaked into the coordinator. Language code lives in each \`hyperpolymath/<lang>\` repo, referenced here — not embedded." >> "$GITHUB_STEP_SUMMARY"
+
+  # ---------------------------------------------------------------------------
+  # Job 6: Dogfooding summary
   # ---------------------------------------------------------------------------
   dogfood-summary:
     name: Dogfooding compliance summary
     runs-on: ubuntu-latest
     timeout-minutes: 15
-    needs: [a2ml-validate, k9-validate, empty-lint, groove-check]
+    needs: [a2ml-validate, k9-validate, empty-lint, groove-check, coordinator-boundary]
     if: always()
 
     steps:

.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -11,7 +11,7 @@ type = "component"
 
 [related-projects]
 # Projects this repo coordinates with directly.
-echo-types = "hyperpolymath/echo-types — Agda formal model of structured loss (Echo fiber); KitchenSpeak's Echo substrate"
+echo-types = "hyperpolymath/echo-types — Agda formal model of structured loss (Echo fiber); Echo substrate consumed by the KitchenSpeak external repo"
 echotypes-jl = "hyperpolymath/EchoTypes.jl — executable finite-domain companion to echo-types (runtime model, not a proof)"
 standards = "hyperpolymath/standards — governance + Hypatia reusable workflows (pinned)"
 typed-wasm = "hyperpolymath/typed-wasm — WasmGC compilation target for AffineScript/Ephapax"
@@ -35,4 +35,4 @@ oblibeny = "hyperpolymath/oblibeny"
 phronesis = "hyperpolymath/phronesis"
 tangle = "hyperpolymath/tangle"
 wokelang = "hyperpolymath/wokelang"
-kitchenspeak = "in-tree, standalone-repo-ready; elevate via scripts/elevate-kitchenspeak.sh"
+kitchenspeak = "hyperpolymath/kitchenspeak"

.machine_readable/6a2/META.a2ml

@@ -9,14 +9,12 @@ license = "MPL-2.0"
 standard = "RSR 2026"
 
 [architecture-decisions]
-# Repo-level and per-language ADRs (kitchenspeak ADRs under kitchenspeak/decisions/).
-ks-0001 = "Proof assistant for KitchenSpeak: Agda (Lean 4 reserved as successor)"
-ks-0002 = "Elevate KitchenSpeak to a standalone repository + submodule"
-ks-0003 = "Base KitchenSpeak's Echo type on the hyperpolymath/echo-types library"
-ks-0004 = "Echo attaches to Linear/Dyadic consumption (B-now / C-later / A-shim)"
+# Repo-level ADRs. Per-language ADRs (including the former in-tree KitchenSpeak
+# 0001-0004 echo/proof/elevation decisions) now live in their own language
+# repos — KitchenSpeak's are canonical in hyperpolymath/kitchenspeak.
+coordinator-boundary = "nextgen-languages is a pure coordinator: languages are referenced as standalone repos, never vendored in-tree (guarded by hooks/validate-coordinator-boundary.sh + dogfood-gate coordinator-boundary)"
 
 [practices]
-proofs-first = "KitchenSpeak leads with Agda proofs (its Agda-Proven invariant) ahead of compiler work"
 ci-hygiene = "All real jobs carry timeout-minutes; actions SHA-pinned; reusable-caller jobs exempt from timeout"
 hypatia-waivers = "Recurring scan advisories are triaged once in NEUROSYM.a2ml [waivers], not re-fixed per PR"
 adr-granularity = "Architecture-decision PRs are kept separate from implementation PRs"

.machine_readable/6a2/NEUROSYM.a2ml

@@ -51,6 +51,7 @@ report-format = "logtalk"
 # ---------------------------------------------------------------------------
 
 [accepted-findings]
+# (kitchenspeak agda-postulate waivers removed — subtree extracted 2026-06-19)
 policy = "Findings listed below are triaged and accepted; do not auto-fix."
 ruleset-location = "hyperpolymath/standards (external to this repo)"
 scan-is-blocking = false
@@ -85,11 +86,3 @@ severity = "high"
 disposition = "addressed"
 justification = "The repository-dispatch step is gated on FARM_DISPATCH_TOKEN presence via a job-level env plus a step-level `if`. Detector may expect a job-level gate."
 action = "If suppression is required, confirm the detector's expected gate shape with standards."
-
-[waivers.agda-postulate-trusted-base]
-rule = "agda_postulate"
-files = "kitchenspeak/proofs/agda/Dough.agda, kitchenspeak/proofs/agda/PoachedEgg.agda"
-severity = "critical"
-disposition = "by-design"
-justification = "These postulates are KitchenSpeak's deliberate trusted base: postulated echo-oracle sensor streams and the GENTLE controller spec. Each is annotated inline (AXIOM:) and enumerated in PROOF-NEEDS.md; they are documented trust boundaries, not undocumented soundness holes. The blocking Trusted-base reduction policy passes."
-action = "Replaced by verified HAL bindings in a production lowering; tracked in PROOF-NEEDS.md."

.machine_readable/6a2/STATE.a2ml

@@ -5,13 +5,13 @@
 [metadata]
 project = "nextgen-languages"
 version = "0.1.0"
-last-updated = "2026-06-12"
+last-updated = "2026-06-19"
 status = "active"
 
 [project-context]
 name = "nextgen-languages"
 completion-percentage = 15
-phase = "CRG C achieved for ephapax workspace (2026-04-04); KitchenSpeak elevated + proofs commenced (2026-06)"
+phase = "CRG C achieved for ephapax workspace (2026-04-04); pure-coordinator pivot finalized — in-tree kitchenspeak/ snapshot removed (canonical at hyperpolymath/kitchenspeak), coordinator-boundary guard added (2026-06-19)"
 
 [crg-status]
 overall = "CRG C achieved 2026-04-04"
@@ -32,17 +32,6 @@ p2p-property-tests = "Loop-based invariant checks (10-20 iterations each)"
 e2e-tests = "Full pipeline: lexer->tokens, module->discipline check"
 aspect-tests = "Robustness: empty inputs, stateless checkers, edge cases"
 
-[kitchenspeak]
-# KitchenSpeak: experimental, formally-verified kitchen-orchestration DSL.
-status = "elevated to standalone-repo-ready; proofs-first development commenced"
-listed-as = "DSL in README.adoc and EXPLAINME.adoc"
-elevation = "scripts/elevate-kitchenspeak.sh creates hyperpolymath/kitchenspeak + submodule (needs repo-create rights)"
-proofs = "Dough.agda, PoachedEgg.agda (Linear+Tropical+Echo), EchoBridge.agda; harness: proofs/Makefile + kitchenspeak.agda-lib"
-proofs-status = "hand-verified, not yet machine-checked (Agda not in CI yet; ROADMAP Phase 1a)"
-decisions = "ADR 0001 (Agda), 0002 (elevation), 0003 (echo-types dependency), 0004 (Echo attaches to Linear/Dyadic: B-now/C-later/A-shim)"
-echo-types = "Echo type bound to hyperpolymath/echo-types fiber; canonical attachment is Linear/Dyadic per ADR 0004; Bool bridge is a temporary smoke-test"
-gated = "B-implementation gated on echo-types repo in scope (read EchoLinear/EchoTropical/EchoChoreo/EchoEpistemic/EchoResidueTaxonomy first)"
-
 [ci-governance]
 # Outcome of the 2026-06 CI hygiene pass.
 timeouts = "timeout-minutes added to all real runs-on+steps jobs (reusable-caller jobs intentionally excluded)"
@@ -55,6 +44,7 @@ codeql-cron = "weekly -> monthly (standards#288, cherry-picked 2026-06-12)"
 
 [recent-work]
 # Landed since the 2026-06-02 STATE refresh (witness: git log).
+coordinator-boundary = "2026-06-19: finalized pure-coordinator pivot — removed in-tree kitchenspeak/ snapshot (canonical at hyperpolymath/kitchenspeak), added hooks/validate-coordinator-boundary.sh guard + dogfood-gate coordinator-boundary CI job, rewrote stale monorepo instructions (0-AI-MANIFEST/EXPLAINME), staged per-language docs to extraction-queue/ with EXTRACTION-MANIFEST.md"
 pr-68 = "KitchenSpeak registered in LANGUAGES.a2ml, Intentfile, Mustfile"
 pr-69 = "ReScript banned estate-wide (Hyperpolymath Standard); CLAUDE.md + policy tables updated"
 scm-pointer-fix = "stale .scm state-location pointers fixed in ROADMAP and CHANGELOG (196e0ad)"
@@ -64,11 +54,8 @@ estate-standardization = "2026-06-12: origin/estate-standardization-20260607 mer
 governance-checkpoint = "2026-06-12: bot_directives trio (hypatia, gitbot-fleet, git-private-farm), flat Dustfile/Bustfile added, STATE bumped, wiki status note"
 
 [blockers]
-kitchenspeak-ci = "Agda proofs hand-verified but not yet machine-checked in CI (ROADMAP Phase 1a)"
-kitchenspeak-elevation = "standalone-repo elevation needs repo-create rights (scripts/elevate-kitchenspeak.sh)"
 governance-pin = "governance-reusable.yml referenced at @main; SHA pin pending authenticated lookup (NEUROSYM [waivers.governance-reusable-pin])"
 
 [next-actions]
-machine-check-proofs = "wire Agda check of kitchenspeak/proofs into CI (Phase 1a)"
 claude-md-paths = "maintainer edit needed: .claude/CLAUDE.md references my-lang/frontier-practices/ and my-lang/_exploratory/me-scaffolding/, which are not visible in-tree (paths live inside the my-lang submodule); proposed as issue at the 2026-06-12 checkpoint"
 verisim-naming = "integrations/verisim.a2ml vs siblings' verisimdb.a2ml — naming alignment proposed as issue, not renamed unilaterally"

.machine_readable/LANGUAGES.a2ml

@@ -393,16 +393,6 @@ migrated-from = "LANGUAGES.scm"
 [languages.kitchenspeak]
 name = "KitchenSpeak"
 kind = "Orchestration DSL"
-status = "proofs-first"
-phase = "Phase 1 (Dough + PoachedEgg proofs; EchoBridge smoke-test)"
-location = "kitchenspeak/"
-standalone-repo = "hyperpolymath/kitchenspeak"
-standalone-repo-status = "pending — run scripts/elevate-kitchenspeak.sh"
-proof-assistant = "Agda 2.6.4+"
-stdlib-min = "standard-library 2.3+"
-extra-deps = ["echo-types", "absolute-zero"]
-types = ["Tropical", "Linear", "Choreographic", "Echo", "Dyadic", "Ceremonial", "Primitive"]
-invariant = "Agda-Proven — proofs lead implementation"
-adrs = ["0001-proof-assistant", "0002-elevation", "0003-echo-types-dep", "0004-echo-attaches-to-linear-dyadic"]
-echo-attachment = "B-now (Linear/Dyadic consumption); C-later (full Echo fiber); A-shim (Bool bridge, non-canonical)"
-added = "2026-06-02"
+status = "external"
+canonical-repo = "hyperpolymath/kitchenspeak"
+note = "extracted from this coordinator; in-tree snapshot removed"

.machine_readable/bot_directives/gitbot-fleet.a2ml

@@ -25,7 +25,7 @@ ci-green-before-merge = true
 # non-blocking and MUST NOT gate the merge.
 never-touch = [
   ".claude/CLAUDE.md",
-  "kitchenspeak/proofs/",
+  "hooks/validate-coordinator-boundary.sh",
   "LICENSE",
   ".github/workflows/ (without explicit maintainer approval)",
 ]
@@ -39,7 +39,7 @@ deny = ["force-push", "push to main", "delete main or open branches"]
 
 [per-bot.echidnabot]
 allow = ["lint", "format", "report"]
-deny = ["weaken or delete tests", "edit kitchenspeak/proofs/ (proofs lead implementation, ADR 0001)"]
+deny = ["weaken or delete tests", "vendor language source in-tree (pure coordinator; see hooks/validate-coordinator-boundary.sh)"]
 
 [per-bot.sustainabot]
 allow = ["dependency bump PRs (SHA-pinned actions only)"]

.machine_readable/bot_directives/hypatia.a2ml

@@ -23,7 +23,6 @@ reusable-caller-timeout = "missing_timeout_minutes on governance/hypatia-scan/mi
 governance-reusable-pin = "unpinned_action on governance.yml — tracked: standards governance-reusable.yml referenced at @main pending SHA pin via authenticated lookup"
 scorecard-publish-split = "scorecard_publish_with_run_step on scorecard-enforcer.yml — addressed: privileged publish job split from unprivileged score-gate job; detector pattern mismatch"
 instant-sync-secret-gate = "secret_action_without_presence_gate on instant-sync.yml — addressed: dispatch step IS gated on FARM_DISPATCH_TOKEN presence (job-level env + step-level if)"
-agda-postulate-trusted-base = "agda_postulate on kitchenspeak/proofs/agda/{Dough,PoachedEgg}.agda — by-design: KitchenSpeak's documented trusted base, annotated inline (AXIOM:) and enumerated in PROOF-NEEDS.md"
 
 [prohibited-actions]
 auto-delete-branches = false

.machine_readable/contractiles/Bustfile.a2ml

@@ -18,7 +18,6 @@ description = "Rollback procedures when something breaks in the language-family
 bad-governance-or-estate-merge = "git revert -m 1 <merge-commit> on the parent repo; submodule repos themselves untouched"
 submodule-pointer-points-at-missing-sha = "git submodule update --init --checkout <path> resets the child to the parent-recorded SHA; or revert the stale pointer-bump commit"
 submodule-orphan-after-local-only-commit = "git reset to before the stranded commit locally; fix the child repo's remote state before re-attempting the bump"
-kitchenspeak-proof-regression = "Agda check fails after an edit: revert the offending commit. NEVER weaken or delete proofs to make CI pass (MUST: proofs lead implementation, ADR 0001)"
 broken-workflow-change = "CI red after a workflow edit: revert the workflow commit; re-pin actions to known-good SHAs (MUST: SHA-pinned actions)"
 accidental-secret-committed = "hard-rotate the leaked secret immediately; scrub history with git-filter-repo or BFG; force-push only with explicit maintainer confirmation; re-publication only after rotation completes"
 bad-metadata-refresh = "6a2/ or contractile refresh introduced false claims: revert the docs commit; restore from origin/main history (governance files carry no build risk)"