volt
17d0180cef
wizard-work/forge had 39 committed verify_*.py and no CHECK; tools/verify.py
names the lane zero times. verifier_gate.py runs them, keeps one row per file
bound to the git blob the rc was measured against, and grades that ledger in
under a second. First full run at 7b42050: PASS 21 (18 of them PASS* -- they
read an absolute host root), FAIL 18, all named with causes.
Five verifiers in this lane clean up with rmtree(os.path.dirname(tmp)), i.e.
they delete $TMPDIR itself; each file now runs under its own sandbox so the
harness cannot be measured instead of the lane.
21 lines
996 B
Bash
Executable File
21 lines
996 B
Bash
Executable File
#!/bin/bash
|
|
# CHECK-q87: grade the forge lane gate (Q87, 2026-10-31)
|
|
# Seven legs: the gate's own selftest, the shipped CHECK, --strict, and three
|
|
# mutants in a throwaway clone (drift, ungraded, causeless) plus a portability
|
|
# read from another cwd. See q87_verify.py's header for what each leg asserts.
|
|
set -o pipefail
|
|
cd "$(dirname "$(readlink -f "$0")")" || { echo "CHECK-q87: cannot cd to the lane" >&2; exit 2; }
|
|
command -v python3 >/dev/null || { echo "CHECK-q87: python3 not found -- cannot grade" >&2; exit 2; }
|
|
command -v git >/dev/null || { echo "CHECK-q87: git not found -- cannot grade" >&2; exit 2; }
|
|
set +e
|
|
python3 q87_verify.py --repo "$(dirname "$(readlink -f "$0")")/../.."
|
|
rc=$?
|
|
set -e
|
|
case $rc in
|
|
0) ;;
|
|
1) echo "CHECK-q87: a leg failed -- see the FAIL line above." >&2; exit 1 ;;
|
|
2) echo "CHECK-q87: could not grade -- see the message above." >&2; exit 2 ;;
|
|
*) echo "CHECK-q87: q87_verify.py exited $rc -- internal error (a fault)." >&2; exit 1 ;;
|
|
esac
|
|
exit 0
|