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 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K

Author: claude

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

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)