Commit f6ca6f7
fix(identity): declare wokelang standalone; stop misrouting to nextgen-languages (#96)
## Why
A link kept pointing work at
`nextgen-languages/.../src/interpreter/mod.rs` — but that file doesn't
exist there (`nextgen-languages` is an Agda/specs **coordination** repo
with zero `.rs` files). The real `src/interpreter/mod.rs` is here, in
**standalone** `wokelang`.
**Root cause:** wokelang's own always-read identity metadata
contradicted itself — it declared wokelang a `monorepo-child` of
`nextgen-languages` and set its canonical `repository`/`homepage` there.
Since `CLAUDE.md` / `0-AI-MANIFEST.a2ml` tell every agent to read these
files first, each fresh agent re-derived "code lives under
nextgen-languages" and built paths like
`nextgen-languages/.../src/interpreter/mod.rs` (the *path* is correct;
only the *repo* was wrong). That's why it recurred.
## Changes
| File | Change |
|------|--------|
| `opsm.toml` | `homepage` + `repository` → `hyperpolymath/wokelang`
(keyword `nextgen-languages` kept — taxonomy) |
| `compiler/wokelang-wasm/Cargo.toml` | `repository` →
`hyperpolymath/wokelang` |
| `.machine_readable/CLADE.a2ml` | `[lineage] type` `monorepo-child` →
`standalone`; `parent` reframed (nextgen-languages = nl-clade
**coordinator**, not a code parent) |
| `.machine_readable/6a2/anchor/ANCHOR.a2ml` | corrected the misleading
`# code lineage (monorepo-child)` comment |
**Preserved (taxonomy, intentionally unchanged):** `clade = "nl"`,
`prefixed-name = "nl-wokelang"`, the `opsm.toml` keyword, and the
ECOSYSTEM `sibling-estate` relationship. `nextgen-languages` itself
needs no changes.
## Verification (actually run)
- `cargo metadata --no-deps` parses `compiler/wokelang-wasm/Cargo.toml`
→ **PARSE_OK**, and cargo reads back
`"repository":"https://github.com/hyperpolymath/wokelang"`.
- Repo-wide `rg` after the edits: **zero** remaining
`…/nextgen-languages` code-home URLs and **zero** `monorepo-child`
references.
- opsm.toml / a2ml edits are pure in-quote value swaps (see diff); SPDX
headers untouched.
> Note: this is metadata only — no proofs or code logic changed, so the
prover toolchain (Idris2/Agda) was not required to verify it.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
https://claude.ai/code/session_01Y2MWTAqX2x7goVJzjFB4j5
---
_Generated by [Claude
Code](https://claude.ai/code/session_01Y2MWTAqX2x7goVJzjFB4j5)_
Co-authored-by: Claude <noreply@anthropic.com>1 parent 9f74d4c commit f6ca6f7
4 files changed
Lines changed: 6 additions & 6 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | | - | |
| 19 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
21 | 21 | | |
22 | 22 | | |
23 | 23 | | |
24 | | - | |
25 | | - | |
| 24 | + | |
| 25 | + | |
26 | 26 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | | - | |
| 11 | + | |
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
14 | | - | |
| 13 | + | |
| 14 | + | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
| |||
0 commit comments