ledger: 2026-11-01 directory census at HEAD

This commit is contained in:
ledger committed 2026-11-01 02:18:23 +00:00
1 parent be4c7e360f
commit 1b71b4939e
7 files changed
+1097 -3

No files matched your search

+6
View File
@@ -0,0 +1,6 @@
# CHECK -- ledger directory census, 2026-11-01 lane (extract lane).
# Exit 0 iff the committed 2026-11-01-ledger-dir-census.csv re-derives from
# wizard-work/ledger at the rev pinned by its manifest; nonzero otherwise.
set -u
cd "$(dirname "$BASH_SOURCE[0]")" || exit 2
exec python3 wizard-work/ledger/verify_ledger_dir_census_2026_11_01.py --check --repo "$(pwd)"