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