16 lines
689 B
Bash
Executable File
16 lines
689 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# CHECK -- sol: sol-lane triage manifest (forge: verify lane).
|
|
# Exit 0 iff the committed classification verifies: the manifest re-derives
|
|
# from the frozen seed by the rubric, and every frozen path still exists as a
|
|
# real, non-ignored file in the repo.
|
|
set -u
|
|
|
|
# Resolves the repo root from THIS script's own location, so the gate works
|
|
# no matter what the caller's working directory is (the previous version did
|
|
# `cd "$(dirname ...)")` which silently ran python3 from the wrong cwd).
|
|
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
|
REPO_ROOT="$(cd "$SCRIPT_DIR" && pwd)"
|
|
cd "$REPO_ROOT" || exit 2
|
|
|
|
exec python3 wizard-work/sol/verify_sol_lane_triage.py
|