From 46517d604a8caa23242f209f809f159044d9878b Mon Sep 17 00:00:00 2001 From: YurenHao0426 Date: Wed, 22 Jul 2026 05:36:17 -0500 Subject: baselines: freeze strict C4 audit gate --- experiments/finalize_accept.sh | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100755 experiments/finalize_accept.sh (limited to 'experiments/finalize_accept.sh') 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" -- cgit v1.2.3