Skip to content

Commit e689ad5

Browse files
committed
registries + boundary hook: add haec/007, fix Intentfile dialect bug
Adds haec and 007 to ECOSYSTEM.a2ml [language-repos], the 0-AI-MANIFEST family list, and the boundary hook's LANGS guard (so a re-vendored haec/ or 007/ root dir now fails the coordinator-boundary CI check instead of passing). 007 is noted as the sole non-hyperpolymath, private, index-only exception. Fixes the Intentfile bug that attributed my-lang's Solo/Duet/Ensemble dialects to affinescript, and backfills the six missing family entries. Corrects STATE.a2ml's false claim that KitchenSpeak was registered in the Mustfile, and records this reconciliation. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_016t5KLJDtqdeDi1EMNqNx6K
1 parent 3d305b6 commit e689ad5

5 files changed

Lines changed: 23 additions & 10 deletions

File tree

.machine_readable/6a2/ECOSYSTEM.a2ml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,13 +22,15 @@ tentacles = "hyperpolymath/tentacles-agentic-syllabus — curriculum (NOT a lang
2222
# top-level hyperpolymath repo, referenced here (not embedded). The submodule
2323
# pointers were removed 2026-06-13 — this repo coordinates/contextualises the
2424
# family, it does not vendor it.
25-
note = "Each language is a standalone canonical hyperpolymath repo, referenced (not vendored as a submodule)."
25+
note = "Each language is a standalone canonical hyperpolymath repo, referenced (not vendored as a submodule). Exception: 007 lives in a private non-hyperpolymath repo (anti-training-scrape) and is indexed only."
26+
"007" = "The-Metadatastician/007"
2627
affinescript = "hyperpolymath/affinescript"
2728
anvomidav = "hyperpolymath/anvomidav"
2829
betlang = "hyperpolymath/betlang"
2930
eclexia = "hyperpolymath/eclexia"
3031
ephapax = "hyperpolymath/ephapax"
3132
error-lang = "hyperpolymath/error-lang"
33+
haec = "hyperpolymath/haec"
3234
jtv = "hyperpolymath/jtv"
3335
my-lang = "hyperpolymath/my-lang"
3436
oblibeny = "hyperpolymath/oblibeny"

.machine_readable/6a2/STATE.a2ml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
[metadata]
66
project = "nextgen-languages"
77
version = "0.1.0"
8-
last-updated = "2026-06-19"
8+
last-updated = "2026-07-02"
99
status = "active"
1010

1111
[project-context]
@@ -45,7 +45,8 @@ codeql-cron = "weekly -> monthly (standards#288, cherry-picked 2026-06-12)"
4545
[recent-work]
4646
# Landed since the 2026-06-02 STATE refresh (witness: git log).
4747
coordinator-boundary = "2026-06-19: finalized pure-coordinator pivot — removed in-tree kitchenspeak/ snapshot (canonical at hyperpolymath/kitchenspeak), added hooks/validate-coordinator-boundary.sh guard + dogfood-gate coordinator-boundary CI job, rewrote stale monorepo instructions (0-AI-MANIFEST/EXPLAINME), staged per-language docs to extraction-queue/ with EXTRACTION-MANIFEST.md"
48-
pr-68 = "KitchenSpeak registered in LANGUAGES.a2ml, Intentfile, Mustfile"
48+
pr-68 = "KitchenSpeak registered in LANGUAGES.a2ml and Intentfile (an earlier note also claimed Mustfile; the Mustfile carries no per-language entries — corrected 2026-07-02)"
49+
registry-reconciliation = "2026-07-02: reconciled all language-registry surfaces to the canonical 15-entry family (14 languages incl. 007 + KitchenSpeak DSL). LANGUAGES.a2ml rewritten to a single [[language]] schema (legacy do-not-parse s-expr blob dropped; typefix-zero added as status=proposed); added error-lang/tangle/kitchenspeak pointers + indexed 007 in languages/; added haec+007 to ECOSYSTEM/0-AI-MANIFEST/boundary-hook LANGS; fixed the affinescript-dialects bug in Intentfile; marked me-dialect retired and split out adjacent DB/type-theory estates in TOOLING-STATUS"
4950
pr-69 = "ReScript banned estate-wide (Hyperpolymath Standard); CLAUDE.md + policy tables updated"
5051
scm-pointer-fix = "stale .scm state-location pointers fixed in ROADMAP and CHANGELOG (196e0ad)"
5152
gitmodules-cleanup = "orphan language-playgrounds submodule entry dropped from .gitmodules (c089dfe)"

.machine_readable/contractiles/Intentfile.a2ml

Lines changed: 10 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414
[metadata]
1515
repo = "nextgen-languages"
1616
version = "2.0.0"
17-
last-updated = "2026-06-12"
17+
last-updated = "2026-07-02"
1818
supersedes = ["contractiles/intend/Intentfile.a2ml", ".machine_readable/INTENT.contractile"]
1919

2020
[purpose]
@@ -29,7 +29,7 @@ governance, and cross-language decisions. No language source lives in-tree
2929

3030
# Current language family (from the retired root Intentfile, 2026-06).
3131
[purpose.language-family]
32-
affinescript = { kind = "general-purpose, affine-typed (Solo / Duet / Ensemble dialects)", proof-status = "concept v0.1" }
32+
affinescript = { kind = "general-purpose, affine-typed", proof-status = "concept v0.1" }
3333
kitchenspeak = { kind = "orchestration DSL, external — canonical at hyperpolymath/kitchenspeak", proof-status = "external repo" }
3434
betlang = { kind = "experimental", proof-status = "concept" }
3535
ephapax = { kind = "experimental (linear types for WASM memory safety)", proof-status = "concept" }
@@ -38,12 +38,18 @@ eclexia = { kind = "resource-first DSL", proof-status = "concept v0.1" }
3838
oblibeny = { kind = "secure-enclave DSL", proof-status = "concept v0.1" }
3939
anvomidav = { kind = "hard real-time DSL", proof-status = "concept v0.1" }
4040
wokelang = { kind = "human-centric DSL", proof-status = "concept v0.1" }
41-
note = "All family members are referenced as standalone repos; none are vendored in-tree."
41+
my-lang = { kind = "nested dialect family (Solo ⊂ Duet ⊂ Ensemble; Me is a projection, not a dialect)", proof-status = "concept v0.1" }
42+
jtv = { kind = "systems language, Harvard architecture", proof-status = "concept" }
43+
haec = { kind = "trope-particularity front-end (graded quality-loss)", proof-status = "design" }
44+
tangle = { kind = "topological (knot/braid) language", proof-status = "Lean core proofs (partial)" }
45+
error-lang = { kind = "pedagogical, systems thinking via errors", proof-status = "concept" }
46+
"007" = { kind = "agent meta-language, private repo (anti-training-scrape)", proof-status = "specification" }
47+
note = "All family members are referenced as standalone repos; none are vendored in-tree. (Solo/Duet/Ensemble are my-lang's dialects, not affinescript's.)"
4248

4349
[anti-purpose]
4450
not = [
4551
"a fork or wrapper around another tool",
46-
"a monorepo (languages live in their own repos as submodules)",
52+
"a monorepo (languages live in their own standalone repos; not vendored, not submodules)",
4753
"the home of pedagogy — curriculum/syllabus/Me projector live in tentacles-agentic-syllabus",
4854
]
4955

0-AI-MANIFEST.a2ml

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -81,8 +81,12 @@ the language family. There are no language subdirectories and no submodules.
8181
### The language family (each a standalone `hyperpolymath/<lang>` repo)
8282

8383
Phronesis, Eclexia, Oblíbený, WokeLang, AffineScript, My-Lang (Solo/Duet/Ensemble),
84-
JtV, Ephapax, Anvomidav, betlang, error-lang, Tangle. KitchenSpeak (an experimental
85-
kitchen-orchestration DSL) is canonical at `hyperpolymath/kitchenspeak`.
84+
JtV, Ephapax, Anvomidav, betlang, error-lang, Tangle, Haec, and 007. KitchenSpeak (an
85+
experimental kitchen-orchestration DSL) is canonical at `hyperpolymath/kitchenspeak`.
86+
87+
007 is the sole exception to the `hyperpolymath/<lang>` convention: its source lives in a
88+
private repo (`The-Metadatastician/007`, a deliberate anti-training-scrape precaution) and is
89+
*indexed only* — no 007 content is mirrored here.
8690

8791
Per-language paradigm, mechanism, and implementation status are tracked across the
8892
coordinator's cross-language files (`TOOLING-STATUS.adoc`, `language-status-tracker.jl`,

hooks/validate-coordinator-boundary.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ done
4848

4949
# 3) A directory named after one of the family languages must not reappear at the
5050
# coordinator root — that is how a whole language gets re-vendored in-tree.
51-
LANGS="affinescript anvomidav betlang eclexia ephapax error-lang jtv my-lang oblibeny phronesis tangle wokelang kitchenspeak"
51+
LANGS="007 affinescript anvomidav betlang eclexia ephapax error-lang haec jtv my-lang oblibeny phronesis tangle wokelang kitchenspeak"
5252
for lang in $LANGS; do
5353
if [ -d "$lang" ]; then
5454
echo "ERROR: language directory re-vendored at coordinator root: $lang/"

0 commit comments

Comments
 (0)