Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
64 changes: 0 additions & 64 deletions .github/workflows/instant-sync.yml

This file was deleted.

10 changes: 9 additions & 1 deletion .github/workflows/placement-guard.yml
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,15 @@ jobs:
ALLOW="$ALLOW"'|^(flake\.nix|guix\.scm|Justfile|contractile\.just|stapeln\.toml|opsm\.toml|setup\.sh|\.gitignore|\.gitattributes|\.editorconfig|\.gitlab-ci\.yml|\.nojekyll)$'

# Legacy per-database dirs (grandfathered: warn, do not fail — being extracted).
GRANDFATHER='^(verisimdb|lithoglyph|quandledb|nqc|typeql-experimental|verisim-core|verisim-modular-experiment)/'
#
# `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.
#
# Move a directory out of this list as each extraction completes.
GRANDFATHER='^(verisimdb|quandledb|nqc|typeql-experimental|verisim-core|verisim-modular-experiment)/'

FAIL=0
while IFS= read -r f; do
Expand Down
7 changes: 6 additions & 1 deletion CLAUDE.md
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,12 @@ See **`REGISTRY.adoc`** for the authoritative map. Examples: VeriSimDB →

### Transitional note

The directories `verisimdb/`, `lithoglyph/`, `quandledb/`, `nqc/`,
`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/`,
`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
Expand Down
15 changes: 13 additions & 2 deletions REGISTRY.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -74,8 +74,19 @@ case) and `docs/LITHOGLYPH.adoc` (what it gives Lithoglyph specifically).

== Reference strategy (after extraction)

Hybrid: `verisimdb` and `lithoglyph` are git submodules of this coordination repo; every other
repo is referenced by link from this registry.
Every repo is referenced by link from this registry. There are no git submodules.

This previously read "`verisimdb` and `lithoglyph` are git submodules of this
coordination repo". That was never true of either: `git ls-files --stage` showed both as
ordinary tracked files, not gitlinks, and no `.gitmodules` has ever existed here.
Corrected in favour of what the repo does rather than adding submodule machinery to
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.

== What belongs in *this* (coordination) repo

Expand Down
1 change: 0 additions & 1 deletion lithoglyph/.bot_directives

This file was deleted.

173 changes: 0 additions & 173 deletions lithoglyph/.claude/CLAUDE.md

This file was deleted.

68 changes: 0 additions & 68 deletions lithoglyph/.editorconfig

This file was deleted.

Loading
Loading