Remove the extracted verisimdb tree

.github/workflows/placement-guard.yml

@@ -69,14 +69,15 @@ jobs:
 
           # Legacy per-database dirs (grandfathered: warn, do not fail — being extracted).
           #
-          # `lithoglyph` was removed from this list on 2026-07-27. Its extraction is
-          # complete (hyperpolymath/lithoglyph#4) and its 819 files are gone from this
-          # repo, so a new file under lithoglyph/ is no longer "legacy content not yet
-          # moved" — it is fresh duplication of a repo that already exists. Warning
-          # would let exactly the defect the extraction fixed grow back. It now fails.
+          # `lithoglyph` was removed from this list on 2026-07-27, `verisimdb` on
+          # 2026-08-03. Both extractions are complete and their files are gone from
+          # this repo, so a new file under either is no longer "legacy content not
+          # yet moved" — it is fresh duplication of a repo that already exists.
+          # Warning would let exactly the defect each extraction fixed grow back.
+          # Both now fail.
           #
           # Move a directory out of this list as each extraction completes.
-          GRANDFATHER='^(verisimdb|quandledb|nqc|typeql-experimental|verisim-core|verisim-modular-experiment)/'
+          GRANDFATHER='^(quandledb|nqc|typeql-experimental|verisim-core|verisim-modular-experiment)/'
 
           FAIL=0
           while IFS= read -r f; do

CLAUDE.md

@@ -40,12 +40,18 @@ See **`REGISTRY.adoc`** for the authoritative map. Examples: VeriSimDB →
 
 ### Transitional note
 
-`lithoglyph/` is **done**: extraction completed 2026-07-27 and its 819 files were
-removed, leaving a pointer README. Everything it held is preserved at its original
-path in the `split-history/lithoglyph` tag on `origin` — never prune that tag or the
-`_split_lithoglyph` branch.
-
-The directories `verisimdb/`, `quandledb/`, `nqc/`,
+`lithoglyph/` and `verisimdb/` are **done**: extractions completed 2026-07-27 and
+2026-08-03, their 819 and 713 files removed, each leaving a pointer README.
+Everything they held is preserved at its original path in the
+`split-history/{lithoglyph,verisimdb}` tags on `origin` — never prune those tags or
+the `_split_*` branches.
+
+verisimdb was a FORK, not a duplicate (108 files unique here, 331 substantive
+diffs), so seven files with no upstream counterpart were ported first —
+hyperpolymath/verisimdb#219. Do not assume the next extraction is a clean subset;
+check before deleting.
+
+The directories `quandledb/`, `nqc/`,
 `typeql-experimental/`, `verisim-core/`, and `verisim-modular-experiment/` are **legacy
 content being extracted** to their own repos — see
 `docs/migration/RESITE-DATABASES-TO-OWN-REPOS.adoc`. **Do not grow them.** A CI guard

REGISTRY.adoc

@@ -20,8 +20,8 @@ Resite: decisions finalised; execution per
 |===
 | Database | Repository | Status | Query language (repo)
 | VeriSimDB (cross-modal consistency) | hyperpolymath/verisimdb | exists (canonical) | VCL — nested in verisimdb
-| Lithoglyph (narrative-first) | hyperpolymath/lithoglyph | to create | GNPL (narration/projection, over GQLdt) — hyperpolymath/gnpl (exists)
-| Glyphbase (Lithoglyph web UI) | hyperpolymath/glyphbase | to create | —
+| Lithoglyph (narrative-first) | hyperpolymath/lithoglyph | exists (canonical) | GNPL (narration/projection, over GQLdt) — hyperpolymath/gnpl (exists)
+| Glyphbase (Airtable-mode delivery) | hyperpolymath/glyphbase | exists (canonical) | —
 | QuandleDB (knot-theory) | hyperpolymath/quandledb | exists (canonical) | KRL — hyperpolymath/krl
 |===
 
@@ -84,9 +84,8 @@ make a stale sentence true — a submodule would have to be fetched with
 `submodules: recursive` in every workflow that touches the tree, which is real cost for
 a coordination repo that only needs to *point* at its members.
 
-`lithoglyph/` now holds a pointer README only; its 819 files were removed once the
-extraction completed (2026-07-27). `verisimdb/` is still 714 tracked files awaiting the
-same treatment.
+`lithoglyph/` and `verisimdb/` now hold pointer READMEs only; their 819 and 713 files
+were removed once each extraction completed (2026-07-27 and 2026-08-03).
 
 == What belongs in *this* (coordination) repo
 
@@ -99,6 +98,14 @@ same treatment.
 
 [NOTE]
 ====
-The per-database directories currently in this repo are *legacy* and are being extracted
-— see `docs/migration/RESITE-DATABASES-TO-OWN-REPOS.adoc`. Do not add new content to them.
+The per-database directories still in this repo are *legacy* and are being extracted —
+see `docs/migration/RESITE-DATABASES-TO-OWN-REPOS.adoc`. Do not add new content to them.
+
+`lithoglyph/` and `verisimdb/` are already done and now fail the placement guard rather
+than warning. `quandledb/`, `nqc/`, `typeql-experimental/`, `verisim-core/` and
+`verisim-modular-experiment/` remain grandfathered.
+
+**verisimdb was a fork, not a duplicate.** Do not assume the next extraction is a clean
+subset of its own repo — verify byte-identity per file first, and port whatever is
+unique before deleting.
 ====