Skip to content

fix(identity): canonicalize to JuliaProfessionalRegistry (G22) - #44

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/axiom-jl-registry-infra-kr7t4a
Jul 1, 2026
Merged

fix(identity): canonicalize to JuliaProfessionalRegistry (G22)#44
hyperpolymath merged 1 commit into
mainfrom
claude/axiom-jl-registry-infra-kr7t4a

Conversation

@hyperpolymath

@hyperpolymath hyperpolymath commented Jul 1, 2026

Copy link
Copy Markdown
Owner

Summary

  • Canonicalizes this repo's identity to JuliaProfessionalRegistry, resolving the three-way name conflict: JuliaProfessionalRegistry (Registry.toml, already canonical), HyperpolymathRegistry (CLADE canonical-name + [forges] + 21 doc files), julia-professional-registry (actual repo slug).
  • CLADE.a2ml: canonical-name/prefixed-nameJuliaProfessionalRegistry; old name preserved in status.aliases[]; uuid untouched.
  • [forges]: corrected to the real hyperpolymath/julia-professional-registry slug — the old entries pointed at a GitHub repo that doesn't exist (404).
  • Swept 21 doc/metadata files; GitHub clone URLs and the post-clone cd target now point at the real slug rather than the fictional old name.
  • STATE.a2ml project/name aligned; the "G22 pending" note is resolved.

Companion PR

Coordinated with hyperpolymath/gv-clade-index#44 (same branch name claude/axiom-jl-registry-infra-kr7t4a), which renames the matching [repo.HyperpolymathRegistry] seed entry and worker data. Land together to avoid desync.

Test plan

  • grep -rn HyperpolymathRegistry — only the intentional aliases[] entry and its explanatory comment remain
  • tests/idris2/ValidateTest.idr deliberately untouched (documents historical bug, already asserts JuliaProfessionalRegistry)
  • Owner review of the CLADE identity change

🤖 Generated with Claude Code

Three names existed for this repo: JuliaProfessionalRegistry (Registry.toml,
canonical), HyperpolymathRegistry (CLADE canonical-name + forges + ~21 doc
references), and julia-professional-registry (actual repo slug). Canonicalize
on JuliaProfessionalRegistry:

- CLADE.a2ml: canonical-name/prefixed-name -> JuliaProfessionalRegistry;
  old name preserved in status.aliases[] (uuid untouched, per gv-clade-index
  ADR 0006 — a rename is not a phase change).
- [forges]: corrected to the real hyperpolymath/julia-professional-registry
  slug (the old HyperpolymathRegistry github/gitlab/bitbucket entries pointed
  at a repo that doesn't exist).
- Swept 21 doc/metadata files referencing the old name; GitHub URLs and the
  post-clone `cd` target now point at the real slug rather than the old name.
- STATE.a2ml project/name aligned; stale G22-pending note resolved.

Coordinated with the matching gv-clade-index seed-data rename in the same
branch so the two repos don't desync.
@hyperpolymath
hyperpolymath marked this pull request as ready for review July 1, 2026 13:15
@hyperpolymath
hyperpolymath merged commit 18eb061 into main Jul 1, 2026
3 checks passed
@hyperpolymath
hyperpolymath deleted the claude/axiom-jl-registry-infra-kr7t4a branch July 1, 2026 13:15
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.

1 participant