From 82c42a2edcd188275db8b5a8a17f5ac0250e8e6e Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 9 Jul 2026 23:54:19 +0000 Subject: [PATCH 1/2] docs: stop framing Me as a peer dialect/language MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Me is an agent-generated projection over the nested My-Lang dialects (Solo ⊂ Duet ⊂ Ensemble), not a fourth dialect. Reword the remaining active-surface prose that listed Me alongside the dialects: the README heading, the wiki Home progression, the Choosing-a-Language age table, the contributor repo map, and three tooling pages. Extraction-queue copies already carry corrective notes and are left for landing. Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K --- README.adoc | 6 ++++-- wiki/Home.md | 2 +- wiki/contributing/How-to-Contribute.md | 2 +- wiki/overview/Choosing-a-Language.md | 12 ++++++++---- wiki/tooling/Interpreter-Implementation.md | 2 +- wiki/tooling/Parser-Architecture.md | 2 +- wiki/tooling/REPL-Guide.md | 2 +- 7 files changed, 17 insertions(+), 11 deletions(-) diff --git a/README.adoc b/README.adoc index af7b2cf..4a56bba 100644 --- a/README.adoc +++ b/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. diff --git a/wiki/Home.md b/wiki/Home.md index 75fcddc..484222b 100644 --- a/wiki/Home.md +++ b/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 diff --git a/wiki/contributing/How-to-Contribute.md b/wiki/contributing/How-to-Contribute.md index 736fb3d..3a57d9e 100644 --- a/wiki/contributing/How-to-Contribute.md +++ b/wiki/contributing/How-to-Contribute.md @@ -22,7 +22,7 @@ Copyright (c) Jonathan D.A. Jewell | 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 | diff --git a/wiki/overview/Choosing-a-Language.md b/wiki/overview/Choosing-a-Language.md index 0e4d23b..5e05841 100644 --- a/wiki/overview/Choosing-a-Language.md +++ b/wiki/overview/Choosing-a-Language.md @@ -12,13 +12,17 @@ Copyright (c) Jonathan D.A. Jewell ### 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 diff --git a/wiki/tooling/Interpreter-Implementation.md b/wiki/tooling/Interpreter-Implementation.md index 06aec96..c979605 100644 --- a/wiki/tooling/Interpreter-Implementation.md +++ b/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 diff --git a/wiki/tooling/Parser-Architecture.md b/wiki/tooling/Parser-Architecture.md index 8eef101..561f58c 100644 --- a/wiki/tooling/Parser-Architecture.md +++ b/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 { diff --git a/wiki/tooling/REPL-Guide.md b/wiki/tooling/REPL-Guide.md index e8ddc5c..9c90512 100644 --- a/wiki/tooling/REPL-Guide.md +++ b/wiki/tooling/REPL-Guide.md @@ -285,7 +285,7 @@ ephapax> (let ((sq (ephemeral (lambda (y) (* y y))))) | `:type ` | Show expression type | | `:info ` | Show info about binding | -### Educational Commands (Me/Solo/Duet) +### Educational Commands (Solo/Duet; Me projection) | Command | Description | |---------|-------------| From b9df6eae10a0c8b67871d0ef2335de89cb707ce9 Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 9 Jul 2026 23:54:19 +0000 Subject: [PATCH 2/2] registry: mark typefix-zero private + viability-under-review typefix-zero's repo exists but is private with uncertain viability, so the earlier 'proposed / repo not yet created' framing is wrong. Record it index-only (no public link, as with 007): visibility=private, status=exploratory, viability under review. Also note 007 is held back pending further safety/guardrail testing (release pending). Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K --- .machine_readable/LANGUAGES.a2ml | 10 +++++----- EXTRACTION-MANIFEST.md | 2 +- docs/language-portfolio.md | 13 +++++++------ 3 files changed, 13 insertions(+), 12 deletions(-) diff --git a/.machine_readable/LANGUAGES.a2ml b/.machine_readable/LANGUAGES.a2ml index 5e1e3f8..d575fcf 100644 --- a/.machine_readable/LANGUAGES.a2ml +++ b/.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" diff --git a/EXTRACTION-MANIFEST.md b/EXTRACTION-MANIFEST.md index 4ffff24..1407400 100644 --- a/EXTRACTION-MANIFEST.md +++ b/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) diff --git a/docs/language-portfolio.md b/docs/language-portfolio.md index c476721..096c8af 100644 --- a/docs/language-portfolio.md +++ b/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)