summaryrefslogtreecommitdiff
path: root/experiments/finalize_accept.sh
blob: f8eb80807979dc5fa6885e1bbf43b4a28e677514 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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"