From 8bd60ac94f3b7f13ad8be840d424dca96d7149b9 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 10 Jul 2026 00:09:36 +0000 Subject: [PATCH 1/3] build: remove stale in-tree monorepo container manifest stapeln.toml built 14 languages from in-tree dirs that no longer exist under the pure-coordinator model (incl. retired me-dialect, non-language 7-tentacles, and banned ReScript), and no Justfile recipe referenced it. Delete it and drop the dangling 'Container (Stapeln)' quickstart options and the stapeln.toml mention in EXPLAINME. A coordinator builds nothing. Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K --- stapeln.toml | 389 --------------------------------------------------- 1 file changed, 389 deletions(-) delete mode 100644 stapeln.toml diff --git a/stapeln.toml b/stapeln.toml deleted file mode 100644 index 35daf16..0000000 --- a/stapeln.toml +++ /dev/null @@ -1,389 +0,0 @@ -# SPDX-License-Identifier: MPL-2.0 -# stapeln.toml — Layer-based container build for nextgen-languages monorepo -# -# stapeln builds containers as composable layers (German: "to stack"). -# Each layer is independently cacheable, verifiable, and signable. -# -# nextgen-languages is a monorepo containing 14 experimental language -# implementations. Each language has its own build toolchain (Rust, OCaml, -# Elixir, Deno/ReScript, Zig FFI, Idris2 ABI). Layers are structured so -# toolchain images are shared across languages that use the same stack. - -[metadata] -name = "nextgen-languages" -version = "0.1.0" -description = "Monorepo of experimental programming language compilers and interpreters" -author = "Jonathan D.A. Jewell " -license = "MPL-2.0" -registry = "ghcr.io/hyperpolymath" - -[build] -containerfile = "Containerfile" -context = "." -runtime = "podman" - -# ── Base Layer ──────────────────────────────────────────────── - -[layers.base] -description = "Chainguard Wolfi minimal base" -from = "cgr.dev/chainguard/wolfi-base:latest" -cache = true -verify = true - -# ── Toolchain Layers ───────────────────────────────────────── -# Shared toolchains reused across multiple language builds. - -[layers.rust-toolchain] -description = "Rust nightly toolchain for Cargo-based languages" -extends = "base" -packages = ["rustup", "gcc", "pkgconf", "openssl-dev", "musl-dev"] -commands = [ - "rustup-init -y --default-toolchain nightly", - "rustup target add wasm32-unknown-unknown", -] -cache = true - -[layers.ocaml-toolchain] -description = "OCaml + opam + dune for OCaml-based languages" -extends = "base" -packages = ["ocaml", "opam", "gcc", "musl-dev", "m4", "patch"] -commands = [ - "opam init --disable-sandboxing --bare -y", - "eval $(opam env) && opam install dune menhir ppx_deriving -y", -] -cache = true - -[layers.elixir-toolchain] -description = "Elixir + Erlang/OTP for BEAM-based languages" -extends = "base" -packages = ["elixir", "erlang-dev"] -commands = ["mix local.hex --force", "mix local.rebar --force"] -cache = true - -[layers.deno-toolchain] -description = "Deno runtime for JS/ReScript-based languages" -extends = "base" -packages = ["deno"] -cache = true - -[layers.zig-toolchain] -description = "Zig compiler for FFI implementations" -extends = "base" -packages = ["zig"] -cache = true - -[layers.idris2-toolchain] -description = "Idris2 for ABI formal definitions" -extends = "base" -packages = ["idris2", "gcc", "musl-dev"] -cache = true - -# ── ABI + FFI Layer ────────────────────────────────────────── -# Shared layer for languages with Idris2 ABI + Zig FFI triples. - -[layers.abi-ffi] -description = "Combined Idris2 ABI verification + Zig FFI compilation" -extends = "base" -depends = ["idris2-toolchain", "zig-toolchain"] -commands = [ - # Verify ABI definitions compile cleanly - "for lang in eclexia betlang tangle affinescript wokelang jtv oblibeny error-lang phronesis; do [ -d ${lang}/src/abi ] && (cd ${lang}/src/abi && idris2 --check Types.idr 2>/dev/null || true); done", - # Build Zig FFI shared objects - "for lang in eclexia betlang tangle affinescript jtv oblibeny error-lang; do [ -d ${lang}/ffi/zig ] && (cd ${lang}/ffi/zig && zig build 2>/dev/null || true); done", -] -cache = true - -# ── Language Build Layers ──────────────────────────────────── -# Each language gets its own build layer extending the appropriate toolchain. - -[layers.build-ephapax] -description = "Ephapax — linear type system language (Rust + Idris2)" -extends = "rust-toolchain" -depends = ["idris2-toolchain"] -commands = [ - "cd ephapax && cargo build --release --workspace", - "[ -d ephapax/idris2/src ] && (cd ephapax/idris2 && idris2 --check src/Main.idr || true)", -] -cache = true - -[layers.build-wokelang] -description = "WokeLang — consent-aware programming language (Rust + OCaml)" -extends = "rust-toolchain" -depends = ["ocaml-toolchain"] -commands = [ - "cd wokelang && cargo build --release", - "cd wokelang && eval $(opam env) && dune build 2>/dev/null || true", -] -cache = true - -[layers.build-eclexia] -description = "Eclexia — economics-as-code language (Rust + Idris2 ABI + Zig FFI)" -extends = "rust-toolchain" -depends = ["abi-ffi"] -commands = ["cd eclexia && cargo build --release"] -cache = true - -[layers.build-affinescript] -description = "AffineScript — affine type system language (OCaml + Zig FFI)" -extends = "ocaml-toolchain" -depends = ["abi-ffi"] -commands = ["cd affinescript && eval $(opam env) && dune build"] -cache = true - -[layers.build-betlang] -description = "BetLang — probabilistic programming language (Rust + Zig FFI)" -extends = "rust-toolchain" -depends = ["abi-ffi"] -commands = ["cd betlang && cargo build --release --workspace"] -cache = true - -[layers.build-jtv] -description = "JtV — pattern-matching language (Rust + Zig FFI)" -extends = "rust-toolchain" -depends = ["abi-ffi"] -commands = ["cd jtv && cargo build --release --workspace"] -cache = true - -[layers.build-my-lang] -description = "MyLang — personal expression language (Rust)" -extends = "rust-toolchain" -commands = ["cd my-lang && cargo build --release --workspace"] -cache = true - -[layers.build-oblibeny] -description = "Oblibeny — Turing-incomplete constrained form language (OCaml + Zig FFI)" -extends = "ocaml-toolchain" -depends = ["abi-ffi"] -commands = ["cd oblibeny && eval $(opam env) && dune build"] -cache = true - -[layers.build-tangle] -description = "Tangle — entangled computation language (OCaml + Idris2 ABI + Zig FFI)" -extends = "ocaml-toolchain" -depends = ["abi-ffi"] -commands = ["cd tangle && eval $(opam env) && dune build"] -cache = true - -[layers.build-phronesis] -description = "Phronesis — practical wisdom language (Elixir)" -extends = "elixir-toolchain" -commands = [ - "cd phronesis && mix deps.get --only prod", - "cd phronesis && MIX_ENV=prod mix compile", -] -cache = true - -[layers.build-error-lang] -description = "Error-lang — error-centric programming language (Deno + Zig FFI)" -extends = "deno-toolchain" -depends = ["abi-ffi"] -commands = ["cd error-lang && deno cache cli/main.js"] -cache = true - -[layers.build-me-dialect] -description = "Me-dialect — personal dialect language (Deno + ReScript)" -extends = "deno-toolchain" -commands = ["cd me-dialect && deno cache src/run.js"] -cache = true - -[layers.build-7-tentacles] -description = "7-Tentacles — multi-agent language learning (Deno + ReScript)" -extends = "deno-toolchain" -commands = ["cd 7-tentacles && deno cache agents/*.res 2>/dev/null || true"] -cache = true - -[layers.build-anvomidav] -description = "Anvomidav — experimental language (Elixir tests)" -extends = "elixir-toolchain" -commands = ["cd anvomidav && true"] -cache = true - -# ── Aggregate Build Layer ──────────────────────────────────── - -[layers.build-all] -description = "All languages built — aggregates every build layer" -extends = "base" -depends = [ - "build-ephapax", - "build-wokelang", - "build-eclexia", - "build-affinescript", - "build-betlang", - "build-jtv", - "build-my-lang", - "build-oblibeny", - "build-tangle", - "build-phronesis", - "build-error-lang", - "build-me-dialect", - "build-7-tentacles", - "build-anvomidav", -] -cache = true - -# ── Runtime Layer ──────────────────────────────────────────── - -[layers.runtime] -description = "Minimal production runtime with all compiled binaries" -from = "cgr.dev/chainguard/wolfi-base:latest" -packages = ["ca-certificates", "curl", "libgcc"] -copy-from = [ - # Rust-built binaries - { layer = "build-ephapax", src = "/app/ephapax/target/release/", dst = "/opt/nextgen/ephapax/" }, - { layer = "build-wokelang", src = "/app/wokelang/target/release/", dst = "/opt/nextgen/wokelang/" }, - { layer = "build-eclexia", src = "/app/eclexia/target/release/", dst = "/opt/nextgen/eclexia/" }, - { layer = "build-betlang", src = "/app/betlang/target/release/", dst = "/opt/nextgen/betlang/" }, - { layer = "build-jtv", src = "/app/jtv/target/release/", dst = "/opt/nextgen/jtv/" }, - { layer = "build-my-lang", src = "/app/my-lang/target/release/", dst = "/opt/nextgen/my-lang/" }, - # OCaml-built binaries - { layer = "build-affinescript", src = "/app/affinescript/_build/default/bin/", dst = "/opt/nextgen/affinescript/" }, - { layer = "build-oblibeny", src = "/app/oblibeny/_build/default/bin/", dst = "/opt/nextgen/oblibeny/" }, - { layer = "build-tangle", src = "/app/tangle/_build/default/bin/", dst = "/opt/nextgen/tangle/" }, - # Elixir releases - { layer = "build-phronesis", src = "/app/phronesis/_build/prod/", dst = "/opt/nextgen/phronesis/" }, - # Deno-based (copy source + cached deps) - { layer = "build-error-lang", src = "/app/error-lang/", dst = "/opt/nextgen/error-lang/" }, - { layer = "build-me-dialect", src = "/app/me-dialect/", dst = "/opt/nextgen/me-dialect/" }, - { layer = "build-7-tentacles", src = "/app/7-tentacles/", dst = "/opt/nextgen/7-tentacles/" }, - # Zig FFI shared objects - { layer = "abi-ffi", src = "/app/*/ffi/zig/zig-out/lib/", dst = "/opt/nextgen/lib/" }, -] -entrypoint = ["/bin/sh"] -user = "nonroot" - -# ── Security ───────────────────────────────────────────────── - -[security] -non-root = true -read-only-root = true -no-new-privileges = true -cap-drop = ["ALL"] -seccomp-profile = "default" - -[security.signing] -algorithm = "ML-DSA-87" -provider = "cerro-torre" - -[security.sbom] -format = "spdx-json" -output = "sbom.spdx.json" -include-deps = true - -# ── Verification ───────────────────────────────────────────── - -[verify] -vordr = true -svalinn = true -scan-on-build = true -fail-on = ["critical", "high"] - -# ── Targets ────────────────────────────────────────────────── -# Targets allow building individual languages or the full monorepo. - -[targets.development] -description = "Full monorepo with all toolchains for development" -layers = [ - "base", - "rust-toolchain", - "ocaml-toolchain", - "elixir-toolchain", - "deno-toolchain", - "zig-toolchain", - "idris2-toolchain", - "abi-ffi", - "build-all", -] -env = { LOG_LEVEL = "debug", RUST_BACKTRACE = "1" } - -[targets.production] -description = "Minimal runtime with compiled binaries only" -layers = ["runtime"] -env = { LOG_LEVEL = "info" } - -[targets.test] -description = "Full toolchains with test dependencies for CI" -layers = [ - "base", - "rust-toolchain", - "ocaml-toolchain", - "elixir-toolchain", - "deno-toolchain", - "zig-toolchain", - "idris2-toolchain", - "abi-ffi", - "build-all", -] -env = { LOG_LEVEL = "debug", RUST_BACKTRACE = "full", MIX_ENV = "test" } - -# ── Per-Language Targets ───────────────────────────────────── -# Build individual languages in isolation. - -[targets.ephapax] -description = "Ephapax only — linear type system language" -layers = ["base", "rust-toolchain", "idris2-toolchain", "build-ephapax"] -env = { LOG_LEVEL = "debug" } - -[targets.wokelang] -description = "WokeLang only — consent-aware programming" -layers = ["base", "rust-toolchain", "ocaml-toolchain", "build-wokelang"] -env = { LOG_LEVEL = "debug" } - -[targets.eclexia] -description = "Eclexia only — economics-as-code" -layers = ["base", "rust-toolchain", "zig-toolchain", "idris2-toolchain", "abi-ffi", "build-eclexia"] -env = { LOG_LEVEL = "debug" } - -[targets.affinescript] -description = "AffineScript only — affine type system" -layers = ["base", "ocaml-toolchain", "zig-toolchain", "idris2-toolchain", "abi-ffi", "build-affinescript"] -env = { LOG_LEVEL = "debug" } - -[targets.betlang] -description = "BetLang only — probabilistic programming" -layers = ["base", "rust-toolchain", "zig-toolchain", "idris2-toolchain", "abi-ffi", "build-betlang"] -env = { LOG_LEVEL = "debug" } - -[targets.jtv] -description = "JtV only — pattern matching" -layers = ["base", "rust-toolchain", "zig-toolchain", "idris2-toolchain", "abi-ffi", "build-jtv"] -env = { LOG_LEVEL = "debug" } - -[targets.my-lang] -description = "MyLang only — personal expression" -layers = ["base", "rust-toolchain", "build-my-lang"] -env = { LOG_LEVEL = "debug" } - -[targets.oblibeny] -description = "Oblibeny only — Turing-incomplete constrained form" -layers = ["base", "ocaml-toolchain", "zig-toolchain", "idris2-toolchain", "abi-ffi", "build-oblibeny"] -env = { LOG_LEVEL = "debug" } - -[targets.tangle] -description = "Tangle only — entangled computation" -layers = ["base", "ocaml-toolchain", "zig-toolchain", "idris2-toolchain", "abi-ffi", "build-tangle"] -env = { LOG_LEVEL = "debug" } - -[targets.phronesis] -description = "Phronesis only — practical wisdom" -layers = ["base", "elixir-toolchain", "build-phronesis"] -env = { LOG_LEVEL = "debug", MIX_ENV = "prod" } - -[targets.error-lang] -description = "Error-lang only — error-centric programming" -layers = ["base", "deno-toolchain", "zig-toolchain", "idris2-toolchain", "abi-ffi", "build-error-lang"] -env = { LOG_LEVEL = "debug" } - -[targets.me-dialect] -description = "Me-dialect only — personal dialect" -layers = ["base", "deno-toolchain", "build-me-dialect"] -env = { LOG_LEVEL = "debug" } - -[targets.7-tentacles] -description = "7-Tentacles only — multi-agent language learning" -layers = ["base", "deno-toolchain", "build-7-tentacles"] -env = { LOG_LEVEL = "debug" } - -[targets.anvomidav] -description = "Anvomidav only — experimental language" -layers = ["base", "elixir-toolchain", "build-anvomidav"] -env = { LOG_LEVEL = "debug" } From f0b0bbe2098ffe9f709025d5cadc3d5c703dd3ac Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 10 Jul 2026 00:09:36 +0000 Subject: [PATCH 2/3] docs: stop describing the coordinator as a monorepo Reconcile the remaining manifests/docs with the pure-coordinator model: - opsm.toml: drop the in-tree language 'workspace members'; keep the live [runtime] tool pins and reframe as a coordinator manifest. - CLADE.a2ml: lineage type monorepo -> coordinator (references, not vendors). - TOPOLOGY.md: replace the hub/satellite + 100%-complete fiction with an accurate reference map and a pointer to the canonical status trackers. - PANIC-ATTACK-TRIAGE.adoc: keep as a dated audit trail but banner it as a pre-pivot historical record (its in-tree submodule paths no longer exist). Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K --- .machine_readable/CLADE.a2ml | 7 +- PANIC-ATTACK-TRIAGE.adoc | 12 ++- TOPOLOGY.md | 144 ++++++++++++++--------------------- opsm.toml | 31 ++++---- 4 files changed, 88 insertions(+), 106 deletions(-) diff --git a/.machine_readable/CLADE.a2ml b/.machine_readable/CLADE.a2ml index 65a85ae..dd43f40 100644 --- a/.machine_readable/CLADE.a2ml +++ b/.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/ 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). diff --git a/PANIC-ATTACK-TRIAGE.adoc b/PANIC-ATTACK-TRIAGE.adoc index 84f32b2..efee423 100644 --- a/PANIC-ATTACK-TRIAGE.adoc +++ b/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/` 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] ==== diff --git a/TOPOLOGY.md b/TOPOLOGY.md index 82437f1..2f23d16 100644 --- a/TOPOLOGY.md +++ b/TOPOLOGY.md @@ -2,102 +2,76 @@ SPDX-License-Identifier: CC-BY-SA-4.0 Copyright (c) Jonathan D.A. Jewell --> - - + + -# 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/` 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/ 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. diff --git a/opsm.toml b/opsm.toml index 7d4557b..15d6258 100644 --- a/opsm.toml +++ b/opsm.toml @@ -1,29 +1,24 @@ # SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # -# 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/ 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/ 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" From 1b2f1f3491da140b5a53595fb1ed6bb99e80ce69 Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 16 Jul 2026 22:34:21 +0000 Subject: [PATCH 3/3] docs: drop dangling stapeln references after manifest removal Follow-on to the stapeln.toml deletion: remove the now-broken 'Container (Stapeln)' quickstart options and the stapeln.toml mention in EXPLAINME (these pointed at the deleted build manifest / non-existent just recipes). Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K --- EXPLAINME.adoc | 2 +- QUICKSTART-MAINTAINER.adoc | 8 -------- QUICKSTART-USER.adoc | 9 +-------- 3 files changed, 2 insertions(+), 17 deletions(-) diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc index 7661ba1..1e29b49 100644 --- a/EXPLAINME.adoc +++ b/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 |=== diff --git a/QUICKSTART-MAINTAINER.adoc b/QUICKSTART-MAINTAINER.adoc index 0342e1f..9ba7090 100644 --- a/QUICKSTART-MAINTAINER.adoc +++ b/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] diff --git a/QUICKSTART-USER.adoc b/QUICKSTART-USER.adoc index a0573ea..816705c 100644 --- a/QUICKSTART-USER.adoc +++ b/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] ----