hyperpolymath · hyperpolymath · Jul 9, 2026 · Jul 9, 2026 · Jul 9, 2026
@@ -141,7 +141,7 @@ name = "007"
 repo = "https://github.com/The-Metadatastician/007"
 invariant = "Agents that make agents"
 role = "Agent meta-language"
-note = "PRIVATE repo (dual-use precaution, anti-training-scrape). Indexed only; do not mirror content here. Pointer: languages/007.md"
+note = "PRIVATE repo (dual-use precaution, anti-training-scrape); held back pending further safety/guardrail testing — release pending. Indexed only; do not mirror content here. Pointer: languages/007.md"
 status = "specification"
 
 [[language]]
@@ -153,12 +153,12 @@ role = "Orchestration DSL (kitchen domain, physics-in-types); consumes the echo-
 note = "Extracted from this coordinator 2026-06; in-tree snapshot removed (EXTRACTION-MANIFEST.md)"
 status = "experimental"
 
-# ─── Proposed (destination repo not yet created; registered for discoverability only) ───
+# ─── Exploratory (private repo; viability under review — index-only, as with 007) ───
 [[language]]
 id = "typefix-zero"
 name = "TypeFix Zero (TF0)"
-repo = "https://github.com/hyperpolymath/typefix-zero"
+visibility = "private"
 invariant = "The total mathematical fragment and the partial computational fragment (fix) are explicitly separated"
 role = "Universe-stratified STLC + Nat + one fixed-point primitive; minimal typed teaching core"
-note = "PROPOSED — destination repo does not exist yet; design spec parked at extraction-queue/typefix-zero/SPEC.adoc"
-status = "proposed"
+note = "Private repo (index-only, no public link — as with 007); viability under review, not yet committed to the family. Design spec parked at extraction-queue/typefix-zero/SPEC.adoc."
+status = "exploratory"
@@ -64,7 +64,7 @@ repos** — land them, then delete the staged copy.
 | `extraction-queue/my-lang/wiki-Duet.md` | `hyperpolymath/my-lang` | `wiki/Duet.md` | dialect |
 | `extraction-queue/my-lang/wiki-Ensemble.md` | `hyperpolymath/my-lang` | `wiki/Ensemble.md` | dialect |
 | `extraction-queue/my-lang/wiki-Me.md` | `hyperpolymath/my-lang` | `wiki/Me.md` | **FIX on landing:** this page models "Me" as a fourth dialect. Me is an *agent-generated projection* over Solo/Duet/Ensemble (see `tentacles-agentic-syllabus/me/README.adoc`), not a static dialect. |
-| `extraction-queue/typefix-zero/SPEC.adoc` | `hyperpolymath/typefix-zero` *(proposed; not yet created, not in ECOSYSTEM.a2ml)* | `SPEC.adoc` | Was a headingless spec dump pasted into `README.adoc`. Create the repo or fold into the relevant design repo. |
+| `extraction-queue/typefix-zero/SPEC.adoc` | `typefix-zero` *(private repo; viability under review; not in ECOSYSTEM.a2ml)* | `SPEC.adoc` | Was a headingless spec dump pasted into `README.adoc`. Land in the private repo if/when its viability is confirmed. |
 
 ## C. Kept in the coordinator (cross-language — correctly belongs here)
 

@@ -92,9 +92,11 @@ Status: early-stage.
 
 ---
 
-=== My Language (Me / Solo / Duet / Ensemble)
+=== My-Lang (Solo ⊂ Duet ⊂ Ensemble)
 
-A multi-dialect experimental language family exploring different levels of abstraction and composition.
+A multi-dialect experimental language family exploring different levels of abstraction and
+composition. The dialects are three and nested. *Me* is an agent-generated projection over
+that hierarchy — not a fourth dialect (see below).
 
 Status: partially implemented.
 

@@ -41,13 +41,14 @@ live in each language's own repo and in the coordinator's canonical trackers:
 |----------|------|---------------|
 | KitchenSpeak | `hyperpolymath/kitchenspeak` | Experimental kitchen-orchestration DSL |
 
-## Proposed (repo not yet created)
+## Exploratory (private; viability under review)
 
-- **TypeFix Zero (TF0)** — proposed `hyperpolymath/typefix-zero` (not yet created). A
-  universe-stratified simply-typed lambda calculus that separates a total, proof-like
-  fragment from a partial computational fragment (a single `fix` primitive). The design
-  spec is parked at `../extraction-queue/typefix-zero/SPEC.adoc`; it is registered as
-  `status = "proposed"` in `../.machine_readable/LANGUAGES.a2ml`.
+- **TypeFix Zero (TF0)** — a universe-stratified simply-typed lambda calculus that separates
+  a total, proof-like fragment from a partial computational fragment (a single `fix`
+  primitive). The repo exists but is **private**, and its viability is still under review, so
+  it is index-only here (no public link, as with 007). The design spec is parked at
+  `../extraction-queue/typefix-zero/SPEC.adoc`; it is registered as `status = "exploratory"`
+  in `../.machine_readable/LANGUAGES.a2ml`.
 
 ## Related query/database languages (separate scope)
 

@@ -68,7 +68,7 @@ them (see [External Repositories](#external-repositories) below). Quick map:
 
 NextGen Languages is a family of programming languages designed to grow with learners from age 8 through professional practice. The ecosystem includes:
 
-- **Educational progression**: Me → Solo → Duet → Ensemble
+- **Dialect progression**: Solo → Duet → Ensemble (nested). *Me* is an agent-generated projection over these, not a fourth dialect (see the My-Lang note above).
 - **Specialized tools**: Languages for probabilistic programming, real-time systems, creative synthesis, and more
 - **Unified tooling**: Shared infrastructure for all languages
 - **Open ecosystem**: Community-driven development

@@ -22,7 +22,7 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 | Repository | Purpose |
 |------------|---------|
 | [nextgen-languages](https://github.com/hyperpolymath/nextgen-languages) | Hub, docs, specifications |
-| [my-lang](https://github.com/hyperpolymath/my-lang) | Me/Solo/Duet/Ensemble |
+| [my-lang](https://github.com/hyperpolymath/my-lang) | Solo/Duet/Ensemble dialects (+ the Me projection) |
 | [phronesis](https://github.com/hyperpolymath/phronesis) | AI ethics language |
 | [eclexia](https://github.com/hyperpolymath/eclexia) | Sustainable computing |
 | [oblibeny](https://github.com/hyperpolymath/oblibeny) | Security-critical |

@@ -12,13 +12,17 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 ### By Age (Educational)
 
-| Age | Language | Why |
-|-----|----------|-----|
-| 6-8 | Me | Visual blocks, no syntax errors |
+| Age | Surface | Why |
+|-----|---------|-----|
+| 6-8 | Me *(projection)* | Visual blocks, no syntax errors |
 | 8-10 | Solo | First text, explicit effects |
 | 11-14 | Duet | AI assistance, collaboration |
 | 15-18+ | Ensemble | Full AI-native, professional |
 
+> The three My-Lang dialects are nested: Solo ⊂ Duet ⊂ Ensemble. *Me* is not a fourth
+> dialect — it is an agent-generated projection over that hierarchy, used as the entry
+> surface for the youngest learners (specified in `tentacles-agentic-syllabus/me`).
+
 ### By Domain
 
 | Domain | Language | Key Feature |
@@ -61,7 +65,7 @@ Audience:       Expert ←――――――――→ Beginner
 
 ## Still Unsure?
 
-1. **Learning?** Start with Me or Solo
+1. **Learning?** Start with the Me projection or Solo
 2. **Building AI apps?** Use Ensemble
 3. **Safety-critical?** Use Anvomidav or Oblíbený
 4. **Green computing?** Use Eclexia

@@ -19,7 +19,7 @@ Source → Parse → AST → Walk & Evaluate → Result
 **Pros:** Simple, easy to debug, good error messages
 **Cons:** Slower, redundant parsing on loops
 
-**Best for:** Me, Solo, educational contexts
+**Best for:** Solo and the Me projection, educational contexts
 
 ### Bytecode Interpreter
 

@@ -165,7 +165,7 @@ let expr = SpannedExpr {
 
 ### Recursive Descent (Hand-Written)
 
-Best for: Educational languages (Me, Solo), maximum control
+Best for: Educational dialects (Solo, and the Me projection surface), maximum control
 
 ```rust
 impl Parser {

@@ -285,7 +285,7 @@ ephapax> (let ((sq (ephemeral (lambda (y) (* y y)))))
 | `:type <expr>` | Show expression type |
 | `:info <name>` | Show info about binding |
 
-### Educational Commands (Me/Solo/Duet)
+### Educational Commands (Solo/Duet; Me projection)
 
 | Command | Description |
 |---------|-------------|