summaryrefslogtreecommitdiff
path: root/experiments/finalize_accept.sh
diff options
context:
space:
mode:
authorYurenHao0426 <Blackhao0426@gmail.com>2026-07-22 05:36:17 -0500
committerYurenHao0426 <Blackhao0426@gmail.com>2026-07-22 05:36:17 -0500
commit46517d604a8caa23242f209f809f159044d9878b (patch)
treee6f76e2b042490bf6e72544eb6776db415eb48ba /experiments/finalize_accept.sh
parentb329856d15b91a6f31fb75f010f0a550cddd0ee8 (diff)
baselines: freeze strict C4 audit gate
Diffstat (limited to 'experiments/finalize_accept.sh')
-rwxr-xr-xexperiments/finalize_accept.sh15
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"