sol: add sol-lane triage classify artifact, seed, verifier, CHECK
This commit is contained in:
1 parent
c470766858
commit
90059c0cef
5 files changed
+3574
No files matched your search
Executable
+7
@@ -0,0 +1,7 @@
|
||||
#!/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.
|
||||
cd "$(dirname "${BASH_SOURCE[0]}")/.." || exit 1
|
||||
exec python3 wizard-work/sol/verify_sol_lane_triage.py
|
||||
Reference in new issue
Block a user