nextgen-languages is a pure coordinator. This file records
language-specific content that had leaked into the coordinator and where
it belongs, so it can be landed in each language’s own
hyperpolymath/<lang> repo and then removed from here.
Why a manifest instead of a direct move: the session that produced
this change had GitHub access scoped to
hyperpolymath/nextgen-languages only — it could not push into the
sibling repos. So content that is not already superseded upstream was
staged under extraction-queue/ (excluded from the
coordinator-boundary guard) rather than deleted, to avoid data loss. Git
history preserves everything regardless.
# Example: AffineScript's wiki page → the affinescript repo
# (in a checkout/session that has hyperpolymath/affinescript in scope)
git mv extraction-queue/affinescript/wiki-AffineScript.md \
<affinescript-repo>/wiki/AffineScript.md # or docs/, per that repo's convention
# ...repeat for each row below, then:
git rm -r extraction-queue/<lang>/ # once that language's items have landedWhen extraction-queue/ is empty, delete it. The
coordinator-boundary CI check keeps new language content from
reappearing.
| Removed path | Canonical home | Why safe to delete |
|---|---|---|
|
|
Was a frozen
v1.0 snapshot; the standalone repo carries a superseding v2.0
(physics-in-types, OCaml compiler, machine-checked Agda). Its own
|
|
n/a |
One-shot elevation tool; elevation is complete. |
|
|
Orphan
coordinator stub (not in the |
Each was moved out of the coordinator’s active surface
(wiki/languages/, docs/design/, or the README) into
extraction-queue/<lang>/. These are NOT yet in their destination
repos — land them, then delete the staged copy.
| Staged path | Destination repo | Suggested target | Notes |
|---|---|---|---|
|
|
|
from
|
|
|
|
from |
|
|
|
from
|
|
|
|
from
|
|
|
|
from
|
|
|
|
from |
|
|
|
from
|
|
|
|
from |
|
|
|
from |
|
|
|
from |
|
|
|
from
|
|
|
|
from
|
|
|
|
from
|
|
|
|
from
|
|
|
|
dialect |
|
|
|
dialect |
|
|
|
dialect |
|
|
|
FIX on landing: this page models “Me” as a fourth
dialect. Me is an agent-generated projection over Solo/Duet/Ensemble
(see |
|
|
|
Was a headingless spec dump pasted into |
| Path | Why it stays |
|---|---|
|
Cross-language anti-confusion doc; its whole purpose is to span two repos. |
|
Language-agnostic education. Candidate for later
relocation to |
|
Cross-cutting
language↔VeriSim co-development note. Could later move to
|
|
Cross-language trackers — the coordinator’s core job. |