portfolio/wiki/tracker/TEST-NEEDS: converge on the 15-entry family

- portfolio: adds 007, disambiguates "Tangle (KRL)" -> Tangle, adds a
  Proposed subsection for typefix-zero.
- wiki/Home external-repos table: adds haec and 007, fixes the Tangle row.
- language-status-tracker.jl: adds haec/tangle/007/kitchenspeak, corrects the
  wrong "Core 8" comment, and drops the fqldt/a2ml/k9-svc quasi-languages
  (adjacent estates, out of scope).
- TEST-NEEDS.md: removes the 7-tentacles-as-language row (canon violation)
  and annotates the stale in-tree counts as historical.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K

Author: claude

TEST-NEEDS.md

@@ -24,11 +24,11 @@ Added test categories for ephapax-linear and ephapax-lexer:
 | Category     | Count | Notes |
 |-------------|-------|-------|
 | Unit tests   | ~50   | affinescript: test_lexer.ml, test_golden.ml, test_e2e.ml + ~119 .as test files (borrow, codegen). tangle: test_parser.ml, test_typecheck.ml, test_eval.ml |
-| Integration  | ~5    | tangle FFI integration_test.zig, ephapax tests.rs, 7-tentacles structure_test.ts |
+| Integration  | ~5    | tangle FFI integration_test.zig, ephapax tests.rs (per-language suites live in each language's own repo) |
 | E2E          | ~3    | affinescript test_e2e.ml + integration tests |
 | Benchmarks   | 4     | tangle: bench_lexer.ml, bench_lexer.rs, bench_parser.ml, bench_parser_rust.rs. betlang: bench_lexer.rs |
 
-**Source modules:** ~772 across 14+ language implementations. Major: affinescript (~87 ML), ephapax (~488 Rust across 19 crates), tangle, eclexia, betlang, anvomidav, wokelang, 7-tentacles, error-lang, jtv.
+**Source modules:** ~772 across the family's language implementations. Major: affinescript (~87 ML), ephapax (~488 Rust across 19 crates), tangle, eclexia, betlang, anvomidav, wokelang, error-lang, jtv. (Counts predate the pure-coordinator pivot; the code now lives in each language's own repo — treat as historical.)
 
 ## What's Missing
 
@@ -79,10 +79,13 @@ Added test categories for ephapax-linear and ephapax-lexer:
 | betlang | unknown | 1 bench | **Untested** |
 | anvomidav | unknown | 0 | **Untested** |
 | wokelang | unknown | 0 | **Untested** |
-| 7-tentacles | unknown | 1 | Minimal |
 | error-lang | unknown | 0 | **Untested** |
 | jtv | unknown | 0 | **Untested** |
 
+> Note: `tentacles-agentic-syllabus` (formerly *7-tentacles*) is the curriculum framework,
+> **not** a language (see `0-AI-MANIFEST.a2ml` §6). Its test posture is tracked in its own
+> repo and is intentionally excluded from this per-language table.
+
 ## Priority
 
 **CRITICAL.** Ephapax at 488 Rust source files across 19 crates with effectively 1 test file is catastrophic — this is a compiler with linear types that needs rigorous testing above all else. affinescript is the only well-tested language. At least 6 language implementations have ZERO tests. The tangle benchmarks are a good model for the rest.

docs/language-portfolio.md

@@ -4,7 +4,7 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -->
 # Hyperpolymath Language Portfolio
 
-**Last updated:** 2026-06-19
+**Last updated:** 2026-07-02
 
 This is a cross-language index. `nextgen-languages` is a **pure coordinator**: it does not
 contain any language. Each language is its own standalone `hyperpolymath/<lang>` repo.
@@ -32,14 +32,23 @@ live in each language's own repo and in the coordinator's canonical trackers:
 | Oblíbený | `hyperpolymath/oblibeny` | Turing-incomplete secure deployment |
 | Anvomidav | `hyperpolymath/anvomidav` | Hard real-time / formal verification |
 | betlang | `hyperpolymath/betlang` | Foundational / probabilistic experiment |
-| Tangle (KRL) | `hyperpolymath/tangle` | Topological (knot/braid) language |
+| Tangle | `hyperpolymath/tangle` | Topological (knot/braid) language; TangleIR feeds the separate KRL stack |
+| 007 | `The-Metadatastician/007` (private) | Agent meta-language (anti-scrape; index-only) |
 
 ## Specialised & DSL
 
 | Language | Repo | One-line role |
 |----------|------|---------------|
 | KitchenSpeak | `hyperpolymath/kitchenspeak` | Experimental kitchen-orchestration DSL |
 
+## Proposed (repo not yet created)
+
+- **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`.
+
 ## Related query/database languages (separate scope)
 
 These are tracked by the database estate, not this coordinator, and are listed only for

language-status-tracker.jl

@@ -9,15 +9,17 @@ const REPOS_DIR = joinpath(homedir(), "Documents/hyperpolymath-repos")
 
 # All known language repos
 const LANGUAGES = [
-    # Core 8 nextgen languages
+    # Family languages (14) — must match .machine_readable/LANGUAGES.a2ml
     "affinescript", "anvomidav", "betlang", "eclexia", "ephapax",
-    "jtv", "my-lang", "oblibeny", "phronesis", "wokelang",
+    "error-lang", "haec", "jtv", "my-lang", "oblibeny",
+    "phronesis", "tangle", "wokelang",
+    "007",          # private: The-Metadatastician/007 (local clone dir name "007")
 
-    # Database/specialized
-    "fqldt", "a2ml", "k9-svc",
+    # Family DSL
+    "kitchenspeak",
 
-    # Supporting
-    "error-lang", "universal-language-server-plugin",
+    # Supporting tooling (not languages)
+    "universal-language-server-plugin",
 
     # Playgrounds
     "betlang-playground", "ephapax-playground", "error-lang-playground", "mylang-playground",

wiki/Home.md

@@ -105,7 +105,9 @@ coordinator boundary (no language code in-tree) is enforced by
 | [betlang](https://github.com/hyperpolymath/betlang) | betlang — probabilistic |
 | [jtv](https://github.com/hyperpolymath/jtv) | JtV — systems, Harvard architecture |
 | [error-lang](https://github.com/hyperpolymath/error-lang) | error-lang — pedagogical |
-| [tangle](https://github.com/hyperpolymath/tangle) | Tangle (KRL) — topological |
+| [haec](https://github.com/hyperpolymath/haec) | Haec — trope-particularity, graded quality-loss |
+| [tangle](https://github.com/hyperpolymath/tangle) | Tangle — topological (knot/braid); TangleIR feeds the separate KRL stack |
+| 007 (private: `The-Metadatastician/007`) | 007 — agent meta-language (anti-scrape; no public link) |
 | [kitchenspeak](https://github.com/hyperpolymath/kitchenspeak) | KitchenSpeak — experimental DSL |
 
 ## Project Status (2026-06-12)