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/") 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" }, {