10 lines
524 B
Bash
Executable File
10 lines
524 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# CHECK -- ledger dir census (extract lane). Exit 0 iff the committed
|
|
# wizard-work/ledger/2026-10-31-ledger-dir-census.csv is the re-derivation of
|
|
# the TRACKED population at the rev its manifest pins -- read from git, never
|
|
# from the working tree, so a clean clone and the host that wrote it agree.
|
|
# 0 pass, 1 fault, 2 could not grade (the checker prints which).
|
|
set -u
|
|
cd "$(dirname "${BASH_SOURCE[0]}")" || exit 2
|
|
exec python3 wizard-work/ledger/verify_ledger_dir_census.py --check --repo "$(pwd)"
|