From 8bfb51a252926531e2f9119058d4377097d47965 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 3 Aug 2026 19:55:43 +0100 Subject: [PATCH] chore: adopt haec's real gv-clade-index UUID MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The registry already holds a deterministic-v5 entry for haec (90db7939-1d8d-5fec-9dbf-f2674b7818f5, currently clade rm). Replaces the leftover rsr-template UUID. Reclassification rm → fv (Formal Verification & Proofs, secondary nl) proposed in gv-clade-index#58; the UUID is name-derived and unaffected by that outcome. Co-Authored-By: Claude Fable 5 --- .machine_readable/6a2/CLADE.a2ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.machine_readable/6a2/CLADE.a2ml b/.machine_readable/6a2/CLADE.a2ml index e686908..c020db8 100644 --- a/.machine_readable/6a2/CLADE.a2ml +++ b/.machine_readable/6a2/CLADE.a2ml @@ -3,9 +3,10 @@ # See: https://github.com/hyperpolymath/gv-clade-index [identity] -# TODO(owner): this uuid is the rsr-template's; a real haec entry must be -# assigned from gv-clade-index — do not invent one here. -uuid = "a5ea1382-a34c-5334-8a46-a2ebe904c810" +# From the gv-clade-index registry (deterministic v5 of +# github.com/hyperpolymath/haec). Reclassification rm → fv proposed in +# gv-clade-index#58; clade fields follow the registry's current ruling. +uuid = "90db7939-1d8d-5fec-9dbf-f2674b7818f5" primary-forge = "github" primary-owner = "hyperpolymath" canonical-name = "haec"