Registry follow-ups: de-peer Me in prose; mark typefix-zero private/under-review (#113)

## Context

Two follow-ups deferred from the registry reconciliation (#106, merged).
Both are
documentation/registry-only.

## 1. Stop framing *Me* as a peer dialect/language

Canon: the My-Lang dialects are three and nested (Solo ⊂ Duet ⊂
Ensemble); **Me** is an
agent-generated *projection* over that hierarchy, not a fourth dialect
(specified in
`tentacles-agentic-syllabus/me`). Several active-surface pages still
listed Me alongside the
dialects. Reworded:

- `README.adoc` — the `My Language (Me / Solo / Duet / Ensemble)`
heading → `My-Lang (Solo ⊂ Duet ⊂ Ensemble)` with a projection note.
- `wiki/Home.md` — "Educational progression: Me → Solo → …" → dialect
progression with Me called out as a projection.
- `wiki/overview/Choosing-a-Language.md` — the by-age table now labels
Me *(projection)* and adds a clarifying note; "Start with Me or Solo" →
"the Me projection or Solo".
- `wiki/contributing/How-to-Contribute.md` — repo map cell
`Me/Solo/Duet/Ensemble` → `Solo/Duet/Ensemble dialects (+ the Me
projection)`.
-
`wiki/tooling/{Parser-Architecture,Interpreter-Implementation,REPL-Guide}.md`
— passing "Me, Solo" language references reworded.

Left untouched: `extraction-queue/**` copies (already carry corrective
notes and are staged
for landing in the my-lang repo) and the dated historical audit report.

## 2. typefix-zero — private + viability under review

The repo **exists but is private** with uncertain viability, so the
earlier
"proposed / repo not yet created" framing was wrong. Now recorded
index-only (no public link,
same pattern as 007):

- `.machine_readable/LANGUAGES.a2ml` — stanza now `visibility =
"private"`, `status = "exploratory"`, note says viability under review;
public `hyperpolymath/typefix-zero` URL removed.
- `docs/language-portfolio.md` — "Proposed (repo not yet created)"
section → "Exploratory (private; viability under review)".
- `EXTRACTION-MANIFEST.md` — staged-spec row updated (land in the
private repo if/when viability is confirmed).
- Small accuracy touch-up to the **007** note: held back pending further
safety/guardrail testing (release pending), per maintainer.

## Verification

- `bash hooks/validate-coordinator-boundary.sh` → **OK**.
- `grep -c '^\[\[language\]\]' .machine_readable/LANGUAGES.a2ml` →
**16** (unchanged; typefix-zero re-characterised, not added/removed).
- No language list changed — this PR only re-characterises typefix-zero
and rewords Me prose.

## Still parked (needs your decision)

The stale **monorepo manifests** (`stapeln.toml`, `opsm.toml`,
`.machine_readable/CLADE.a2ml`,
`PANIC-ATTACK-TRIAGE.adoc`, `TOPOLOGY.md`) still describe an in-tree
monorepo. Deferred pending
a decision: **delete** them, or **rewrite** as multi-repo orchestration.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K

---
_Generated by [Claude
Code](https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K)_

---------

Co-authored-by: Claude <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/LANGUAGES.a2ml

@@ -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"

EXTRACTION-MANIFEST.md

@@ -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)
 

README.adoc

@@ -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.
 

docs/language-portfolio.md

@@ -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)
 

wiki/Home.md

@@ -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

wiki/contributing/How-to-Contribute.md

@@ -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 |

wiki/overview/Choosing-a-Language.md

@@ -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

wiki/tooling/Interpreter-Implementation.md

@@ -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
 

wiki/tooling/Parser-Architecture.md

@@ -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 {

wiki/tooling/REPL-Guide.md

@@ -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 |
 |---------|-------------|