ledger: directory census of wizard-work/ledger (extract lane)

This commit is contained in:
ledger committed 2026-10-30 07:54:22 +00:00
1 parent 137ad0abe8
commit d3a3188c9c
3 files changed
+597

No files matched your search

+9
View File
@@ -0,0 +1,9 @@
#!/usr/bin/env bash
# CHECK -- ledger dir census (forge: extract lane). Exit 0 iff committed
# wizard-work/ledger/2026-10-30-ledger-dir-census.csv matches a fresh
# re-derivation from the live filesystem.
set -u
cd "$(dirname "${BASH_SOURCE[0]}")" || exit 1
REPO_ROOT="$(pwd)"
cd "$REPO_ROOT" || exit 1
exec python3 wizard-work/ledger/verify_ledger_dir_census.py