hyperpolymath · hyperpolymath · Jul 1, 2026 · Jul 1, 2026
@@ -3,7 +3,7 @@
 # Converted from ECOSYSTEM.scm on 2026-03-15
 
 [metadata]
-project = "HyperpolymathRegistry"
+project = "JuliaProfessionalRegistry"
 ecosystem = "hyperpolymath"
 
 [position]

@@ -3,7 +3,7 @@
 # Converted from META.scm on 2026-03-15
 
 [metadata]
-project = "HyperpolymathRegistry"
+project = "JuliaProfessionalRegistry"
 author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 license = "MPL-2.0"
 standard = "RSR 2026"
@@ -3,22 +3,21 @@
 # Converted from STATE.scm on 2026-03-15
 
 [metadata]
-project = "HyperpolymathRegistry"
+project = "JuliaProfessionalRegistry"
 version = "0.1.0"
 last-updated = "2026-07-01"
 status = "active"
 
-# NOTE: the `project`/`name` fields still carry the pre-rename identity
-# ("HyperpolymathRegistry"). The functional registry name is
-# "JuliaProfessionalRegistry" (Registry.toml) and the repo slug is
-# "julia-professional-registry"; reconciling the three names is a CLADE-level
-# identity rename that must be coordinated with gv-clade-index (tracked as G22),
-# so the name is left consistent-but-stale here rather than swept in isolation.
+# NOTE: `project`/`name` now match the functional registry name
+# ("JuliaProfessionalRegistry", per Registry.toml) and the CLADE canonical-name
+# (.machine_readable/CLADE.a2ml). The repo slug remains "julia-professional-registry";
+# the prior "HyperpolymathRegistry" identity is preserved as a CLADE alias.
+# Coordinated with gv-clade-index in the same change (G22).
 
 [project-context]
-name = "HyperpolymathRegistry"
+name = "JuliaProfessionalRegistry"
 # Operational: 37 packages registered, ci/validate.jl + registry-validate.yml
-# gate green. Residuals: AutoMerge automation (G23) and identity
-# canonicalization (G22). The previous 0% / "In development" was stale.
+# gate green. Residuals: AutoMerge automation (G23). Identity
+# canonicalization (G22) resolved. The previous 0% / "In development" was stale.
 completion-percentage = 85
 phase = "operational"
@@ -1,7 +1,7 @@
-# ⚓ ANCHOR: HyperpolymathRegistry
-# This is the canonical authority for the HyperpolymathRegistry repository.
+# ⚓ ANCHOR: JuliaProfessionalRegistry
+# This is the canonical authority for the JuliaProfessionalRegistry repository.
 
-id: "org.hyperpolymath.HyperpolymathRegistry"
+id: "org.hyperpolymath.JuliaProfessionalRegistry"
 version: "1.0.0"
 clade: "unknown"
 status: "active"

@@ -1,5 +1,5 @@
 ; SPDX-License-Identifier: MPL-2.0
-; ADJUST.contractile — Accessibility invariants for HyperpolymathRegistry
+; ADJUST.contractile — Accessibility invariants for JuliaProfessionalRegistry
 ; "ADJUST" = Accessibility & Digital Justice for Universal Software & Technology
 ;
 ; Part of the contractile family: MUST, TRUST, DUST, INTENT, ADJUST
@@ -45,7 +45,7 @@
   (version "1.0.0")
   (full-name "Accessibility & Digital Justice for Universal Software & Technology")
   (standard "WCAG-2.2-AA")
-  (repo "HyperpolymathRegistry")
+  (repo "JuliaProfessionalRegistry")
 
   (invariants
     ; ── Visual ──

@@ -6,8 +6,8 @@
 uuid = "2efe00c2-6fc0-527c-8c6b-8ab96d2b6077"
 primary-forge = "github"
 primary-owner = "hyperpolymath"
-canonical-name = "HyperpolymathRegistry"
-prefixed-name = "dx-HyperpolymathRegistry"
+canonical-name = "JuliaProfessionalRegistry"
+prefixed-name = "dx-JuliaProfessionalRegistry"
 
 [clade]
 primary = "dx"
@@ -16,9 +16,9 @@ assigned = "2026-03-16"
 rationale = ""
 
 [forges]
-github = "hyperpolymath/HyperpolymathRegistry"
-gitlab = "hyperpolymath/HyperpolymathRegistry"
-bitbucket = "hyperpolymath/HyperpolymathRegistry"
+github = "hyperpolymath/julia-professional-registry"
+gitlab = "hyperpolymath/julia-professional-registry"
+bitbucket = "hyperpolymath/julia-professional-registry"
 
 [lineage]
 type = "standalone"
@@ -35,7 +35,7 @@ born = "2026-03-16"
 phase = "active"
 since = "2026-03-16"
 present = true
-aliases = []
+aliases = ["HyperpolymathRegistry"]
 merged-into = ""
 superseded-by = ""
 successors = []

@@ -1,5 +1,5 @@
 ; SPDX-License-Identifier: MPL-2.0
-; INTENT.contractile — Purpose and scope for HyperpolymathRegistry
+; INTENT.contractile — Purpose and scope for JuliaProfessionalRegistry
 ; Helps LLM/SLM agents understand what this repo IS and IS NOT.
 ;
 ; Part of the contractile family: MUST, TRUST, DUST, INTENT, ADJUST
@@ -31,7 +31,7 @@
 
 (intent-contractile
   (version "1.0.0")
-  (repo "HyperpolymathRegistry")
+  (repo "JuliaProfessionalRegistry")
 
   ; === Purpose (what this repo IS) ===
   (purpose

@@ -1,5 +1,5 @@
 ; SPDX-License-Identifier: MPL-2.0
-; MUST.contractile — Baseline invariants for HyperpolymathRegistry
+; MUST.contractile — Baseline invariants for JuliaProfessionalRegistry
 ; These constraints MUST NOT be violated. K9 validators enforce them.
 ;
 ; Part of the contractile family: MUST, TRUST, DUST, INTENT, ADJUST
@@ -33,7 +33,7 @@
 
 (must-contractile
   (version "1.0.0")
-  (repo "HyperpolymathRegistry")
+  (repo "JuliaProfessionalRegistry")
 
   ; === Universal Invariants (apply to ALL repos) ===
 

@@ -1,5 +1,5 @@
 ; SPDX-License-Identifier: MPL-2.0
-; TRUST.contractile — Trust boundaries for HyperpolymathRegistry
+; TRUST.contractile — Trust boundaries for JuliaProfessionalRegistry
 ; Defines what LLM/SLM agents are trusted to do without asking.
 ;
 ; Part of the contractile family: MUST, TRUST, DUST, INTENT, ADJUST
@@ -35,7 +35,7 @@
 
 (trust-contractile
   (version "1.0.0")
-  (repo "HyperpolymathRegistry")
+  (repo "JuliaProfessionalRegistry")
 
   (trust-level "maximal")  ; maximal | standard | restricted | minimal
 

@@ -5,5 +5,5 @@
 Contact: mailto:j.d.a.jewell@open.ac.uk
 Expires: 2027-12-31T23:59:59.000Z
 Preferred-Languages: en
-Canonical: https://github.com/hyperpolymath/HyperpolymathRegistry/.well-known/security.txt
-Policy: https://github.com/hyperpolymath/HyperpolymathRegistry/blob/main/SECURITY.md
+Canonical: https://github.com/hyperpolymath/julia-professional-registry/.well-known/security.txt
+Policy: https://github.com/hyperpolymath/julia-professional-registry/blob/main/SECURITY.md
@@ -1,9 +1,9 @@
 ;; SPDX-License-Identifier: MPL-2.0
 ;; 0-AI-MANIFEST.a2ml — AI Agent Entry Point
-;; Repository: hyperpolymath/HyperpolymathRegistry
+;; Repository: hyperpolymath/julia-professional-registry
 
 @abstract:
-AI manifest for HyperpolymathRegistry. Read this file first before any other work.
+AI manifest for JuliaProfessionalRegistry. Read this file first before any other work.
 @end
 
 ;; === CANONICAL LOCATIONS ===

@@ -7,7 +7,7 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 ## Our Pledge
 
-We as members, contributors, and leaders pledge to make participation in HyperpolymathRegistry a harassment-free experience for everyone, regardless of age, body size, visible or invisible disability, ethnicity, sex characteristics, gender identity and expression, level of experience, education, socio-economic status, nationality, personal appearance, race, caste, colour, religion, or sexual identity and orientation.
+We as members, contributors, and leaders pledge to make participation in JuliaProfessionalRegistry a harassment-free experience for everyone, regardless of age, body size, visible or invisible disability, ethnicity, sex characteristics, gender identity and expression, level of experience, education, socio-economic status, nationality, personal appearance, race, caste, colour, religion, or sexual identity and orientation.
 
 We pledge to act and interact in ways that contribute to an open, welcoming, diverse, inclusive, and healthy community.
 
@@ -295,7 +295,7 @@ We thank these communities for their leadership in creating welcoming spaces.
 
 If you have questions about this Code of Conduct:
 
-- Open a [Discussion](https://github.com/hyperpolymath/HyperpolymathRegistry/discussions) (for general questions)
+- Open a [Discussion](https://github.com/hyperpolymath/julia-professional-registry/discussions) (for general questions)
 - Email j.d.a.jewell@open.ac.uk (for private questions)
 - Contact any maintainer directly
 

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-= HyperpolymathRegistry — Show Me The Receipts
+= JuliaProfessionalRegistry — Show Me The Receipts
 :toc:
 :toclevels: 3
 :icons: font
@@ -15,7 +15,7 @@ directory to its role.
 ____
 Custom Julia package registry for all hyperpolymath Julia packages.
 Add the registry with:
-`Pkg.Registry.add(RegistrySpec(url="https://github.com/hyperpolymath/HyperpolymathRegistry"))`
+`Pkg.Registry.add(RegistrySpec(url="https://github.com/hyperpolymath/julia-professional-registry"))`
 ____
 
 *How it works.* Julia's `Pkg` system discovers packages through local registry
@@ -87,12 +87,12 @@ secret scanning and EditorConfig enforcement.
 | Consumer | How it uses this repo
 
 | `developer-ecosystem` (julia-ecosystem)
-| The Julia ecosystem segment uses HyperpolymathRegistry as the canonical
+| The Julia ecosystem segment uses JuliaProfessionalRegistry as the canonical
   source for all hyperpolymath Julia packages; the Justfile recipes in
   `developer-ecosystem/julia-ecosystem/` include `Pkg.Registry.add` as a
   setup step.
 
-| `HyperpolymathRegistry` consumers (all Julia projects)
+| `JuliaProfessionalRegistry` consumers (all Julia projects)
 | Any hyperpolymath Julia package (Axiom, ProvenCrypto, SMTLib, ViableSystems,
   ZeroProb, etc.) that lists `[compat]` entries relies on this registry for
   resolution. Adding a new version to a package requires a corresponding

@@ -15,8 +15,8 @@ Clone, build, test, contribute.
 
 [source,bash]
 ----
-git clone https://github.com/hyperpolymath/HyperpolymathRegistry
-cd HyperpolymathRegistry
+git clone https://github.com/hyperpolymath/julia-professional-registry
+cd julia-professional-registry
 just doctor    # verify toolchain
 just heal      # auto-install missing tools
 ----

@@ -33,7 +33,7 @@ Key workflows:
 
 [source,bash]
 ----
-podman build -f Containerfile -t HyperpolymathRegistry:latest .
+podman build -f Containerfile -t JuliaProfessionalRegistry:latest .
 ----
 
 == Mirrors

@@ -14,8 +14,8 @@ Get up and running in 60 seconds.
 
 [source,bash]
 ----
-git clone https://github.com/hyperpolymath/HyperpolymathRegistry
-cd HyperpolymathRegistry
+git clone https://github.com/hyperpolymath/julia-professional-registry
+cd julia-professional-registry
 just doctor    # check toolchain
 just heal      # auto-install missing tools
 ----
@@ -32,4 +32,4 @@ just help-me   # see common workflows
 
 * `just help-me` — common workflows
 * `just doctor` — diagnose toolchain issues
-* https://github.com/hyperpolymath/HyperpolymathRegistry/issues — report bugs
+* https://github.com/hyperpolymath/julia-professional-registry/issues — report bugs
@@ -6,7 +6,7 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 ## CRG Grade: C — ACHIEVED 2026-04-04
 
-**Repository:** HyperpolymathRegistry  
+**Repository:** JuliaProfessionalRegistry  
 **Grade:** C  
 **Last Updated:** 2026-04-04
 
@@ -78,7 +78,7 @@ deno test --allow-read tests/validate.test.ts
 ## Registry Structure
 
 ```
-HyperpolymathRegistry/
+JuliaProfessionalRegistry/
 ├── Registry.toml              # Registry manifest
 ├── README.adoc                # User documentation
 ├── A/
@@ -114,7 +114,7 @@ Users can add this registry to their Julia environment:
 
 ```julia
 using Pkg
-Pkg.Registry.add(RegistrySpec(url="https://github.com/hyperpolymath/HyperpolymathRegistry"))
+Pkg.Registry.add(RegistrySpec(url="https://github.com/hyperpolymath/julia-professional-registry"))
 ```
 
 Then install packages:

@@ -2,7 +2,7 @@
 <!-- Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 <!-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> -->
 
-# TOPOLOGY.md — HyperpolymathRegistry
+# TOPOLOGY.md — JuliaProfessionalRegistry
 
 ## Purpose
 
@@ -11,7 +11,7 @@ Custom Julia package registry aggregating all hyperpolymath Julia packages. Prov
 ## Module Map
 
 ```
-HyperpolymathRegistry/
+JuliaProfessionalRegistry/
 ├── Registries.toml            # Registry configuration
 ├── A/
 │   └── ... (packages starting with A)

@@ -1,18 +1,18 @@
 ; SPDX-License-Identifier: MPL-2.0
-;; guix.scm — GNU Guix package definition for HyperpolymathRegistry
+;; guix.scm — GNU Guix package definition for JuliaProfessionalRegistry
 ;; Usage: guix shell -f guix.scm
 
 (use-modules (guix packages)
              (guix build-system gnu)
              (guix licenses))
 
 (package
-  (name "HyperpolymathRegistry")
+  (name "JuliaProfessionalRegistry")
   (version "0.1.0")
   (source #f)
   (build-system gnu-build-system)
-  (synopsis "HyperpolymathRegistry")
-  (description "HyperpolymathRegistry — part of the hyperpolymath ecosystem.")
-  (home-page "https://github.com/hyperpolymath/HyperpolymathRegistry")
+  (synopsis "JuliaProfessionalRegistry")
+  (description "JuliaProfessionalRegistry — part of the hyperpolymath ecosystem.")
+  (home-page "https://github.com/hyperpolymath/julia-professional-registry")
   (license ((@@ (guix licenses) license) "MPL-2.0"
              "https://www.mozilla.org/en-US/MPL/2.0/")))
@@ -2,9 +2,9 @@
 SPDX-License-Identifier: CC-BY-SA-4.0
 Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -->
-# LLM Warmup — HyperpolymathRegistry (Developer)
+# LLM Warmup — JuliaProfessionalRegistry (Developer)
 
-## What is HyperpolymathRegistry?
+## What is JuliaProfessionalRegistry?
 See README.adoc for overview.
 
 ## Key Commands

@@ -2,9 +2,9 @@
 SPDX-License-Identifier: CC-BY-SA-4.0
 Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -->
-# LLM Warmup — HyperpolymathRegistry (User)
+# LLM Warmup — JuliaProfessionalRegistry (User)
 
-## What is HyperpolymathRegistry?
+## What is JuliaProfessionalRegistry?
 See README.adoc for overview.
 
 ## Key Commands

@@ -1,13 +1,13 @@
 # SPDX-License-Identifier: MPL-2.0
-# stapeln.toml — Layer-based container build for HyperpolymathRegistry
+# stapeln.toml — Layer-based container build for JuliaProfessionalRegistry
 #
 # stapeln builds containers as composable layers (German: "to stack").
 # Each layer is independently cacheable, verifiable, and signable.
 
 [metadata]
-name = "HyperpolymathRegistry"
+name = "JuliaProfessionalRegistry"
 version = "0.1.0"
-description = "HyperpolymathRegistry"
+description = "JuliaProfessionalRegistry"
 author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 license = "MPL-2.0"
 registry = "ghcr.io/hyperpolymath"
@@ -32,7 +32,7 @@ packages = ["julia"]
 cache = true
 
 [layers.build]
-description = "HyperpolymathRegistry build"
+description = "JuliaProfessionalRegistry build"
 extends = "toolchain"
 commands = ["julia --project=. -e \"using Pkg; Pkg.instantiate()\""]
 
@@ -43,7 +43,7 @@ packages = ["ca-certificates", "curl"]
 copy-from = [
     { layer = "build", src = "/app/", dst = "/app/" },
 ]
-entrypoint = ["/app/bin/HyperpolymathRegistry"]
+entrypoint = ["/app/bin/JuliaProfessionalRegistry"]
 user = "nonroot"
 
 # ── Security ───────────────────────────────────────────────────