From ecc9284f78f5fb69d33ca542efe89305b215764f Mon Sep 17 00:00:00 2001
From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Date: Thu, 2 Jul 2026 05:19:05 +0100
Subject: [PATCH] fix(registry): repair invalid/wrong TOML repo keys, dedupe
 verisimdb-data
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Found while double-checking the state of main after #44/#45 merged.
verisim/seed/repos.a2ml was NOT valid TOML — tomllib.load() errored
before this fix. Four bugs, all pre-existing (not introduced by #44/#45):

- [repo..git-private-farm] and [repo..github]: repo names starting with
  a literal dot produce an empty key segment between the two dots
  (repo + "" + git-private-farm) — a hard TOML parse error. Quoted:
  [repo.".git-private-farm"] / [repo.".github"].
- [repo.hyperpolymath.github.io] and [repo.EchoTypes.jl]: these parse
  (dots are valid bare-key separators) but as 3-level nested tables
  (repo.hyperpolymath.github.io, repo.EchoTypes.jl) instead of the
  clearly-intended single table keyed by the literal name — silently
  wrong structure, not a parse error. Every sibling .jl-suffixed entry
  in the file already quotes correctly (e.g. [repo."Axiom.jl"]); these
  two just missed it. Quoted to match.
- [repo.verisimdb-data] was declared TWICE (line 374, hand-curated:
  clade=db, completion=50; line 2650, from the 2026-06-25 heuristic
  backfill: clade=rm, completion=0) — TOML forbids redeclaring a table,
  so this alone made the file unparseable regardless of the key-quoting
  bugs above. Kept the original (line 374); removed the backfill
  duplicate. worker/data/repos.json's single verisimdb-data entry had
  the same problem in miniature (it held the backfill's clade=rm
  values) — reconciled to match the surviving canonical entry.

Verified: `python3 -c "import tomllib; tomllib.load(...)"` now succeeds
(319 repo entries) and worker/data/{repos,index}.json still validate as
JSON (JSON keys are always quoted, so it can't have the same key-parsing
bug, but repos.json's verisimdb-data value was wrong regardless).
---
 verisim/seed/repos.a2ml | 16 ++++------------
 worker/data/repos.json  |  6 +++---
 2 files changed, 7 insertions(+), 15 deletions(-)

diff --git a/verisim/seed/repos.a2ml b/verisim/seed/repos.a2ml
index c5c9cde..5f8f797 100644
--- a/verisim/seed/repos.a2ml
+++ b/verisim/seed/repos.a2ml
@@ -351,7 +351,7 @@ lineage = "standalone"
 parent = ""
 completion = 70
 
-[repo.hyperpolymath.github.io]
+[repo."hyperpolymath.github.io"]
 primary = "gv"
 secondary = ["ap"]
 description = "Public portfolio — will become ReScript/WASM portal"
@@ -1751,7 +1751,7 @@ evolved-from = "gossamer/examples/game-server-admin"
 # uuid = uuid5(URL, "github.com/hyperpolymath/<name>") per the registry scheme.
 # ============================================================================
 
-[repo..git-private-farm]
+[repo.".git-private-farm"]
 primary = "rm"
 secondary = []
 description = "GitHub maintenance hub — hookset sync, farm manifest, dependabot automation"
@@ -1759,7 +1759,7 @@ lineage = "standalone"
 parent = ""
 completion = 0
 
-[repo..github]
+[repo.".github"]
 primary = "rm"
 secondary = []
 description = "Organization-wide community-health defaults for hyperpolymath/*: issue & discussion templates, Code of Conduct, contributing, security policy, and more. Improve"
@@ -1767,7 +1767,7 @@ lineage = "standalone"
 parent = ""
 completion = 0
 
-[repo.EchoTypes.jl]
+[repo."EchoTypes.jl"]
 primary = "fv"
 secondary = []
 description = "Executable finite-domain companion to the Agda library echo-types — a runnable model, not a proof."
@@ -2647,14 +2647,6 @@ lineage = "standalone"
 parent = ""
 completion = 0
 
-[repo.verisimdb-data]
-primary = "rm"
-secondary = []
-description = "Git-backed flat-file data store for VeriSimDB — scan results, dispatch logs, recipes, and patterns"
-lineage = "standalone"
-parent = ""
-completion = 0
-
 [repo.vex-tools]
 primary = "dx"
 secondary = []
diff --git a/worker/data/repos.json b/worker/data/repos.json
index 4040287..b0688c4 100644
--- a/worker/data/repos.json
+++ b/worker/data/repos.json
@@ -3604,12 +3604,12 @@
   {
     "name": "verisimdb-data",
     "uuid": "22772417-fc00-5263-a78a-7567aee04984",
-    "clade": "rm",
+    "clade": "db",
     "secondary": [],
     "lineage": "standalone",
     "parent": "",
-    "description": "Git-backed flat-file data store for VeriSimDB \u2014 scan results, dispatch logs, recipes, and patterns",
-    "prefixed": "rm-verisimdb-data",
+    "description": "VeriSimDB data repository \u2014 scan results, patterns, recipes",
+    "prefixed": "db-verisimdb-data",
     "github": "hyperpolymath/verisimdb-data"
   },
   {