Cleanup: stop describing the coordinator as a monorepo

.machine_readable/CLADE.a2ml

@@ -21,8 +21,11 @@ gitlab = "hyperpolymath/nextgen-languages"
 bitbucket = "hyperpolymath/nextgen-languages"
 
 [lineage]
-type = "monorepo"
-parent = "Monorepo — anvomidav, ephapax, wokelang, eclexia, affinescript, betlang, etc."
+# Pure coordinator: references the family, does not contain it. (Was "monorepo"
+# before the 2026-06 pure-coordinator pivot; the in-tree languages were extracted
+# to their own standalone repos.)
+type = "coordinator"
+parent = "Pure coordinator — references (does not vendor) the standalone hyperpolymath/<lang> language repos; canonical registry in .machine_readable/LANGUAGES.a2ml"
 born = "2026-03-16"
 
 # Lifecycle status (added by clade-status-backfill; see gv-clade-index ADR 0006).

EXPLAINME.adoc

@@ -221,7 +221,7 @@ progress across all languages from this coordinator
 | Every RSR repo in the account
 
 | *Stapeln containers*
-| `stapeln.toml` — compiler toolchain containers
+| Account-wide layered container tool; the coordinator ships no build container (it contains no language code to build)
 | All containerised services in the account
 |===
 

PANIC-ATTACK-TRIAGE.adoc

@@ -6,7 +6,17 @@
 
 **Scanner:** `panic-attack assail`
 **Date of scan:** 2026-04-10
-**Scope:** `nextgen-languages` monorepo (all submodules)
+**Scope:** the pre-pivot `nextgen-languages` monorepo (all submodules, since extracted)
+
+[IMPORTANT]
+====
+**Historical record (2026-04-10).** This triage predates the pure-coordinator pivot, when
+the languages were in-tree submodules of `nextgen-languages`. Those submodules have since
+been extracted to their own standalone `hyperpolymath/<lang>` repos, so the in-tree paths
+below (`my-lang/crates/…`, `ephapax/src/…`, etc.) no longer exist in this coordinator — the
+findings now live in each language's own repo. Kept as an audit trail; do **not** read it as
+current coordinator state.
+====
 
 [NOTE]
 ====

QUICKSTART-MAINTAINER.adoc

@@ -42,14 +42,6 @@ guix build -f guix.scm
 nix build
 ----
 
-=== Container (Stapeln)
-
-[source,bash]
-----
-just stapeln-export    # Generates Containerfile
-podman build -t nextgen-languages .
-----
-
 === Manual Package
 
 [source,bash]

QUICKSTART-USER.adoc

@@ -51,14 +51,7 @@ The setup script will:
 * Offer install location choices
 * Run a self-diagnostic to verify everything works
 
-=== Option 2: Container (via Stapeln)
-
-[source,bash]
-----
-just stapeln-run
-----
-
-=== Option 3: Portable (no system changes)
+=== Option 2: Portable (no system changes)
 
 [source,bash]
 ----

TOPOLOGY.md

@@ -2,102 +2,76 @@
 SPDX-License-Identifier: CC-BY-SA-4.0
 Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -->
-<!-- TOPOLOGY.md — Project architecture map and completion dashboard -->
-<!-- Last updated: 2026-04-04 -->
+<!-- TOPOLOGY.md — Coordinator architecture map -->
+<!-- Last updated: 2026-07-10 -->
 
-# Next-Gen Languages — Project Topology
+# Next-Gen Languages — Coordinator Topology
 
-## System Architecture
+`nextgen-languages` is a **pure coordinator**. It contains no language code: it
+*references* a family of standalone `hyperpolymath/<lang>` repositories and holds the
+cross-language registries, trackers, governance, and CI that coordinate them. The map
+below is a reference diagram, **not** an in-tree component tree.
 
-```
-                        ┌─────────────────────────────────────────┐
-                        │              LANGUAGE DESIGNER          │
-                        │        (Specs, Metaprogramming, FFI)    │
-                        └───────────────────┬─────────────────────┘
-                                            │
-                                            ▼
-                        ┌─────────────────────────────────────────┐
-                        │           NEXT-GEN LANGUAGES HUB        │
-                        │                                         │
-                        │  ┌───────────┐  ┌───────────────────┐  │
-                        │  │ Solo/Duet │  │  Phronesis        │  │
-                        │  │ (Systems) │  │  (Ethics/Safety)  │  │
-                        │  └─────┬─────┘  └────────┬──────────┘  │
-                        │        │                 │              │
-                        │  ┌─────▼─────┐  ┌────────▼──────────┐  │
-                        │  │ Eclexia   │  │  WokeLang         │  │
-                        │  │ (Green)   │  │  (Human-centric)  │  │
-                        │  └─────┬─────┘  └───────────────────┘  │
-                        └────────│────────────────────────────────┘
-                                 │
-                                 ▼
-                        ┌─────────────────────────────────────────┐
-                        │          SATELLITE REPOSITORIES         │
-                        │  ┌───────────┐  ┌───────────┐  ┌───────┐│
-                        │  │ anvomidav │  │ oblibeny  │  │ ephapax││
-                        │  └───────────┘  └───────────┘  └───────┘│
-                        │  ┌───────────┐  ┌───────────┐  ┌───────┐│
-                        │  │ betlang   │  │ error-lang│  │ tangle ││
-                        │  └───────────┘  └───────────┘  └───────┘│
-                        └───────────────────┬─────────────────────┘
-                                            │
-                                            ▼
-                        ┌─────────────────────────────────────────┐
-                        │          DATABASE & MARKUP              │
-                        │      (GQL-dt, A2ML, fqldt, a2ml)        │
-                        └─────────────────────────────────────────┘
+## Reference map
 
-                        ┌─────────────────────────────────────────┐
-                        │          REPO INFRASTRUCTURE            │
-                        │  Parent Tracking Only .machine_readable/│
-                        │  6SCM Metadata        0-AI-MANIFEST.a2ml│
-                        └─────────────────────────────────────────┘
 ```
-
-## Completion Dashboard
-
+                    ┌───────────────────────────────────────────────┐
+                    │           nextgen-languages (this repo)        │
+                    │                 PURE COORDINATOR               │
+                    │                                                │
+                    │  Registries & trackers                         │
+                    │    .machine_readable/LANGUAGES.a2ml            │
+                    │    languages/*.md · TOOLING-STATUS.adoc        │
+                    │    PROOF-NEEDS.md · TEST-NEEDS.md              │
+                    │    language-status-tracker.jl                  │
+                    │  Governance · CI · coordinator-boundary guard  │
+                    └───────────────────────┬───────────────────────┘
+                                            │ references (never vendors)
+        ┌───────────────────────────────────┼───────────────────────────────────┐
+        ▼                                   ▼                                   ▼
+ ┌────────────────┐                 ┌────────────────┐                 ┌────────────────┐
+ │ General-purpose│                 │  Specialised   │                 │   Private /    │
+ │ & foundational │                 │   & DSL        │                 │  exploratory   │
+ ├────────────────┤                 ├────────────────┤                 ├────────────────┤
+ │ my-lang        │                 │ kitchenspeak   │                 │ 007 (private)  │
+ │ phronesis      │                 │  (DSL)         │                 │ typefix-zero   │
+ │ eclexia        │                 └────────────────┘                 │  (private)     │
+ │ oblibeny       │                                                    └────────────────┘
+ │ anvomidav      │
+ │ wokelang       │      Each box is a standalone hyperpolymath/<lang> repo. This
+ │ betlang        │      coordinator holds a pointer + registry entry for each one;
+ │ jtv            │      the implementation, specs, grammars, and proofs live there,
+ │ affinescript   │      never here.
+ │ ephapax        │
+ │ haec           │
+ │ error-lang     │
+ │ tangle         │
+ └────────────────┘
 ```
-COMPONENT                          STATUS              NOTES
-─────────────────────────────────  ──────────────────  ─────────────────────────────────
-LANGUAGE PORTFOLIO
-  Solo / Duet / Ensemble            ██████████ 100%    Progressive family mapped
-  Phronesis (Safety)                ██████████ 100%    Ethical framework stable
-  Eclexia (Sustainable)             ██████████ 100%    Resource constraints active
-  WokeLang (Human-centric)          ██████████ 100%    Consent model verified
 
-SATELLITE PROGRESS
-  Anvomidav (Formal)                ██████████ 100%    Real-time verification active
-  Oblibeny (Secure)                 ██████████ 100%    Turing-incomplete mode stable
-  Ephapax (Linear)                  ██████████ 100%    Dyadic type system active
-  betlang (Foundational)            ██████████ 100%    Core experiments verified
-  Groove Manifests                  ██████████ 100%    Service discovery active (affinescript, jtv)
+## Adjacent estates (referenced, out of scope)
 
-REPO INFRASTRUCTURE
-  6SCM Documentation Hub            ██████████ 100%    Canonical specs active
-  .machine_readable/                ██████████ 100%    STATE tracking active
-  Parent Coordination               ██████████ 100%    Portfolio Architected
+Tracked elsewhere and listed only for discoverability — **not** part of the language-family
+registry: the KRL resolution stack (`krl → TangleIR → VeriSimCore → Skein.jl / quandledb`)
+and the database / type-theory languages (VCL-total, Quandledb, TypeLL, PanLL,
+VQL/GQL/FBQL-DT). See `docs/language-portfolio.md` and the "Adjacent estates" section of
+`TOOLING-STATUS.adoc`.
 
-─────────────────────────────────────────────────────────────────────────────
-OVERALL:                            ██████████ 100%    Language Ecosystem Indexed
-```
+## Where status actually lives
 
-## Key Dependencies
-
-```
-Philosophy ──────► Design Spectrum ──────► Satellite Repo ──────► Artifact
-     │                 │                      │                    │
-     ▼                 ▼                      ▼                    ▼
-CCCP Policy ─────► Verification ────────► Implementation ─────► Binary
-```
+This coordinator does **not** assert per-language completion — maturity is tracked in each
+language's own repo and mirrored in the canonical trackers:
 
-## Update Protocol
+- `.machine_readable/LANGUAGES.a2ml` — machine-readable registry (id, repo, invariant, status)
+- `TOOLING-STATUS.adoc` — per-language grade matrix (CRG/TRG/ARG/FRG/RSR)
+- `PROOF-NEEDS.md` / `TEST-NEEDS.md` — cross-language proof/test gaps
+- `language-status-tracker.jl` — script that reports cross-language repo status
 
-This file is maintained by both humans and AI agents. When updating:
+The coordinator's own scaffolding status lives in `.machine_readable/6a2/STATE.a2ml`
+(`completion-percentage`), which reflects coordinator maturity — not a family-wide 100%.
 
-1. **After completing a component**: Change its bar and percentage
-2. **After adding a component**: Add a new row in the appropriate section
-3. **After architectural changes**: Update the ASCII diagram
-4. **Date**: Update the `Last updated` comment at the top of this file
+## Update protocol
 
-Progress bars use: `█` (filled) and `░` (empty), 10 characters wide.
-Percentages: 0%, 10%, 20%, ... 100% (in 10% increments).
+When the family changes (a language added, extracted, renamed, or retired), update the
+registries listed above **together** — they must agree — then refresh this map. Do not add
+per-language implementation detail here; it belongs in that language's own repo.

opsm.toml

@@ -1,29 +1,24 @@
 # SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
-# nextgen-languages workspace manifest.
-# OPSM is the native package manager for all nextgen languages.
+# nextgen-languages OPSM manifest.
+# OPSM is the native package manager for the nextgen languages family.
+#
+# nextgen-languages is a PURE COORDINATOR: the language packages live in their
+# own standalone hyperpolymath/<lang> repos, so there is no in-tree workspace to
+# install or publish here. This manifest pins the coordinator's tooling
+# ([runtime], which also serves as the family-wide toolchain version reference)
+# and declares the shared services its CI/tooling talks to.
 #
 # Usage:
-#   opsm install              # install workspace deps
-#   opsm publish --registry hf  # publish all member packages
 #   opsm runtime install      # install pinned tool versions below
 
 [workspace]
-# All language sub-projects in this monorepo
-members = [
-  "affinescript",
-  "betlang",
-  "eclexia",
-  "ephapax",
-  "error-lang",
-  "jtv",
-  "my-lang",
-  "oblibeny",
-  "phronesis",
-  "tangle",
-  "wokelang",
-]
+# Pure coordinator: the language packages are NOT in-tree members — each lives in
+# its own standalone hyperpolymath/<lang> repo (see
+# .machine_readable/LANGUAGES.a2ml). This list held the pre-pivot monorepo
+# membership and is intentionally empty now.
+members = []
 
 # Workspace-level default registry — all members publish here unless overridden
 default_registry = "hf"