diff options
| author | YurenHao0426 <Blackhao0426@gmail.com> | 2026-07-22 05:36:17 -0500 |
|---|---|---|
| committer | YurenHao0426 <Blackhao0426@gmail.com> | 2026-07-22 05:36:17 -0500 |
| commit | 46517d604a8caa23242f209f809f159044d9878b (patch) | |
| tree | e6f76e2b042490bf6e72544eb6776db415eb48ba /experiments/finalize_accept.sh | |
| parent | b329856d15b91a6f31fb75f010f0a550cddd0ee8 (diff) | |
baselines: freeze strict C4 audit gate
Diffstat (limited to 'experiments/finalize_accept.sh')
| -rwxr-xr-x | experiments/finalize_accept.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/experiments/finalize_accept.sh b/experiments/finalize_accept.sh new file mode 100755 index 0000000..f8eb808 --- /dev/null +++ b/experiments/finalize_accept.sh @@ -0,0 +1,15 @@ +#!/usr/bin/env bash +# Strict accept-bar finalizer. It intentionally fails until the two frozen +# native author-code runs are complete, imported, and independently audited. +set -eu + +cd "$(dirname "$0")/.." + +experiments/finalize_claims.sh +/home/yurenh2/miniconda3/envs/ep_pascal/bin/python3 \ + experiments/audit_native_baselines.py \ + --results results/native \ + --output results/native_baseline_audit.md + +git diff --check +echo "accept-bar mechanical audits passed" |
