Skip to content

fix(identity): declare wokelang standalone; stop misrouting to nextgen-languages#96

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/wizardly-archimedes-9pnqed
Jun 19, 2026
Merged

fix(identity): declare wokelang standalone; stop misrouting to nextgen-languages#96
hyperpolymath merged 2 commits into
mainfrom
claude/wizardly-archimedes-9pnqed

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

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 + repositoryhyperpolymath/wokelang (keyword nextgen-languages kept — taxonomy)
compiler/wokelang-wasm/Cargo.toml repositoryhyperpolymath/wokelang
.machine_readable/CLADE.a2ml [lineage] type monorepo-childstandalone; 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.tomlPARSE_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.ai/code/session_01Y2MWTAqX2x7goVJzjFB4j5


Generated by Claude Code

…n-languages

wokelang's always-read identity metadata declared it a monorepo-child of the
nextgen-languages coordination repo and set its canonical repository/homepage
URLs there. Agents that read these files first (per CLAUDE.md / 0-AI-MANIFEST)
then inferred wokelang's source lives under nextgen-languages and targeted paths
like nextgen-languages/.../src/interpreter/mod.rs. wokelang is a standalone repo;
nextgen-languages is the nl-clade coordination monorepo, not a code parent.

- opsm.toml: homepage/repository -> hyperpolymath/wokelang
- 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 code parent)
- .machine_readable/6a2/anchor/ANCHOR.a2ml: fix misleading
  "code lineage (monorepo-child)" comment

Clade taxonomy (clade nl / nl-wokelang) and the ECOSYSTEM sibling-estate
relationship are preserved. Verified: cargo metadata parses wokelang-wasm and
reads back the corrected repository URL; repo-wide grep shows zero remaining
nextgen-languages code-home / monorepo-child references.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Y2MWTAqX2x7goVJzjFB4j5
@hyperpolymath
hyperpolymath marked this pull request as ready for review June 19, 2026 22:34
@hyperpolymath
hyperpolymath merged commit f6ca6f7 into main Jun 19, 2026
13 checks passed
@hyperpolymath
hyperpolymath deleted the claude/wizardly-archimedes-9pnqed branch June 19, 2026 22:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants