|
| 1 | +// SPDX-License-Identifier: CC-BY-SA-4.0 |
| 2 | +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> |
| 3 | += AFFIRMATION — nextgen-languages, as of 2026-06-19 |
| 4 | +:toc: macro |
| 5 | +:toclevels: 2 |
| 6 | + |
| 7 | +_the No-Bullshit file: what we affirm was true and checkable at this moment_ |
| 8 | + |
| 9 | +[NOTE] |
| 10 | +==== |
| 11 | +*Genre.* An *affirmation* is a solemn declaration of the truth of a statement, |
| 12 | +made by someone who _declines to swear an oath_ — our truth-as-best-believed at a |
| 13 | +stamped instant, binding on our honesty, not a claim of infallibility. It is not |
| 14 | +the README (where this is going) and not the EXPLAINME (how it is built). Every |
| 15 | +repo in the estate carries one, per the 2026-06-19 estate rule. |
| 16 | +==== |
| 17 | + |
| 18 | +toc::[] |
| 19 | + |
| 20 | +== What this is, and how it works |
| 21 | + |
| 22 | +A short, dated, jointly-signed snapshot of what we can _honestly and verifiably_ |
| 23 | +claim about the nextgen-languages repo at one exact commit. *Ground truth, not |
| 24 | +memory:* the gate results below were produced by running the checks this session. |
| 25 | +*Material caveat:* this repo is a *research-overview / catalog* for a language |
| 26 | +*ecosystem* whose implementations live in their own repos — so this affirms its |
| 27 | +*catalog structure and gate-state*, not the languages it describes. *No |
| 28 | +intentional overclaim;* the owner's signed commit is authoritative (the AI party |
| 29 | +cannot GPG-sign). |
| 30 | + |
| 31 | +== Verifiable anchor |
| 32 | + |
| 33 | +[cols="1,3"] |
| 34 | +|=== |
| 35 | +| *Repo* | `hyperpolymath/nextgen-languages` — research-overview / catalog for the Hyperpolymath language ecosystem (+ the estate language policy) |
| 36 | +| *Branch* | `claude/practical-newton-9eFe2`, *based on current `origin/main`* (the prior feature-branch tip was 23 commits behind `main`; re-based to be current) |
| 37 | +| *Commit (HEAD)* | `87b8cc42d6e0996e4abedc6c3b69ab16adfc4820` |
| 38 | +| *Permalink* | https://github.com/hyperpolymath/nextgen-languages/tree/87b8cc42d6e0996e4abedc6c3b69ab16adfc4820 |
| 39 | +| *Verified* | 2026-06-19 (checks run this session; date, not a claimed UTC instant) |
| 40 | +| *Working-tree delta* | Clean except this untracked `AFFIRMATION.adoc`. |
| 41 | +| *Toolchain (present)* | `git`, `Agda 2.6.3`, `rustc`. *Absent:* `just`, `deno`, `julia`. |
| 42 | +| *Run method* | `contractile`/RSR gate bodies as bash. No language implementation built (they live in their own repos; toolchains absent anyway). |
| 43 | +| *HEAD signature* | Not signed by the AI party; the maintainer's signed commit is authoritative. |
| 44 | +|=== |
| 45 | + |
| 46 | +[NOTE] |
| 47 | +The prior feature-branch tip carried an unmerged "Ban ReScript estate-wide" |
| 48 | +commit; it is *not* carried here because the current `main` already encodes the |
| 49 | +ReScript ban in the Hyperpolymath language policy. Flagged, not silently dropped. |
| 50 | + |
| 51 | +== Companion documents (cross-check) |
| 52 | + |
| 53 | +* *`README.adoc`* — `= Next-Generation Languages — Research Overview` (real). |
| 54 | +* *`EXPLAINME.adoc`* — `= Next-Gen Languages — Show Me The Receipts` (real). |
| 55 | +* *Template residue* — *3 files* with `{{PLACEHOLDER}}` tokens + *4 files* |
| 56 | + referencing `rsr-template-repo`. Minor instantiation debt. |
| 57 | +* *GitHub description / topics* — not fetched this session. |
| 58 | + |
| 59 | +== The honest state (one breath) |
| 60 | + |
| 61 | +nextgen-languages is a *research-overview / catalog* repo for the Hyperpolymath |
| 62 | +language ecosystem. Under `languages/` it carries a spec-overview document for |
| 63 | +each language — `affinescript`, `anvomidav`, `betlang`, `eclexia`, `ephapax`, |
| 64 | +`jtv` (julia-the-viper), `kitchenspeak`, `my-lang`, `oblibeny`, `phronesis`, |
| 65 | +`wokelang`, `007` — plus `kitchenspeak/` kept in-tree as a fuller sub-project and |
| 66 | +a small Agda presence (3 files). The *implementations* of those languages live in |
| 67 | +their *own repos* (e.g. `tangle`, `ephapax`, `affinescript`). The `MUST`/`TRUST` |
| 68 | +gates pass and template residue is minimal. It is honestly a *catalog + policy |
| 69 | +hub*, not a language implementation. |
| 70 | + |
| 71 | +== What is solid (and how we checked) |
| 72 | + |
| 73 | +* *MUST/TRUST-style checks — PASS.* Run as bash: LICENSE present; no banned |
| 74 | + `Dockerfile`/`Makefile`; SPDX headers on the sampled Agda files (0 unheadered); |
| 75 | + LICENSE carries an SPDX/MPL identifier; no `.env` / `credentials.json`. |
| 76 | +* *Real catalog content.* `languages/*.md` (one overview per language) + |
| 77 | + `kitchenspeak/` (`SPEC.adoc`, `ROADMAP.adoc`, `decisions/`) + the estate |
| 78 | + language policy. A coherent index of the ecosystem. |
| 79 | + |
| 80 | +== Known-incomplete but honestly fenced |
| 81 | + |
| 82 | +* *It is a catalog, not an implementation.* The per-language detail and the |
| 83 | + buildable code live in the languages' own repos; this repo's `languages/*.md` |
| 84 | + are overviews, not compilers. |
| 85 | +* *Minor residue.* 3 `{{PLACEHOLDER}}` files + 4 `rsr-template-repo` references. |
| 86 | +* *No build / READINESS grade* at the aggregate level. |
| 87 | + |
| 88 | +== Outstanding / not-run (no spin) |
| 89 | + |
| 90 | +* *No language was built or tested here* — by design (implementations are |
| 91 | + external) and because the toolchains (`deno`, language-specific compilers) are |
| 92 | + absent this session. We affirm the *catalog* exists and is coherent; we do not |
| 93 | + affirm the catalogued languages build. |
| 94 | + |
| 95 | +== Reproduce it yourself |
| 96 | + |
| 97 | +[source,bash] |
| 98 | +---- |
| 99 | +git rev-parse HEAD # expect 87b8cc42d6e0996e4abedc6c3b69ab16adfc4820 |
| 100 | +test -f LICENSE; test ! -f Dockerfile -a ! -f Makefile; grep -q 'SPDX\|MPL' LICENSE |
| 101 | +ls languages/ # one overview .md per language |
| 102 | +grep -rl 'rsr-template-repo' . | grep -v '.git/' | wc -l # ~4 |
| 103 | +---- |
| 104 | + |
| 105 | +== One-line characterisation (quote this) |
| 106 | + |
| 107 | +"nextgen-languages is the research-overview / catalog (and policy hub) for the |
| 108 | +Hyperpolymath language ecosystem — `languages/` carries a spec-overview per |
| 109 | +language (AffineScript, my-lang, betlang, ephapax, anvomidav, eclexia, phronesis, |
| 110 | +wokelang, julia-the-viper, oblibeny, kitchenspeak), with `kitchenspeak/` in-tree |
| 111 | +and a small Agda presence; the implementations live in their own repos. |
| 112 | +`MUST`/`TRUST` gates pass with minimal template residue (3 placeholders, 4 refs). |
| 113 | +A catalog + policy hub, not an implementation — nothing was built this session. No |
| 114 | +intentional overclaim." |
| 115 | + |
| 116 | +== Key concern + cross-repo wiring |
| 117 | + |
| 118 | +nextgen-languages's *key concern* is being the *catalog + language-policy hub* for |
| 119 | +the ecosystem (the allowed/banned-language standard, the my-lang dialect family |
| 120 | +`Solo ⊂ Duet ⊂ Ensemble`, and the index of each language's purpose). Per the |
| 121 | +estate rule it carries its own scope table at |
| 122 | +`docs/identity-fabric/musts-intends-wishes.adoc`. It catalogs, among others, |
| 123 | +*tangle* (the topological language whose TangleIR underpins the KRL stack) and |
| 124 | +*AffineScript* (the estate's primary application language, used e.g. by |
| 125 | +quandledb's frontend). Adjacent: *echo-types* (structured-loss theory + |
| 126 | +identity-fabric framing), and the KRL-stack repos (*krl*, *quandledb*, *Skein.jl*). |
| 127 | + |
| 128 | +== Joint attestation |
| 129 | + |
| 130 | +To the best of our joint belief at the timestamp above, every claim here is true |
| 131 | +and was checked as described — with the catalog-vs-implementation boundary stated |
| 132 | +plainly. |
| 133 | + |
| 134 | +* *Engineering party (AI):* ran the gate/RSR checks recorded here as bash on |
| 135 | + 2026-06-19; built no language (out of scope + toolchains absent). |
| 136 | +* *Owner / maintainer:* Jonathan D.A. Jewell — signs by committing this file with |
| 137 | + `-S`; the signed commit at the SHA above is authoritative. |
| 138 | +* *Signed-off-date:* (fill on signing) |
0 commit comments