diff options
| author | YurenHao0426 <Blackhao0426@gmail.com> | 2026-07-27 14:55:25 -0500 |
|---|---|---|
| committer | YurenHao0426 <Blackhao0426@gmail.com> | 2026-07-27 14:55:25 -0500 |
| commit | 8e5473036e9db8d4a863dc707cb73a811bb162b1 (patch) | |
| tree | 12cc6838cfcec463618f92a7568ec153eae18e12 /experiments | |
| parent | 82124884d6dc140b445bc1213987c429956274d1 (diff) | |
paper: report audited standard-depth scaling
Diffstat (limited to 'experiments')
| -rwxr-xr-x | experiments/finalize_accept.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/experiments/finalize_accept.sh b/experiments/finalize_accept.sh index dc4d36e..ea311a0 100755 --- a/experiments/finalize_accept.sh +++ b/experiments/finalize_accept.sh @@ -143,8 +143,8 @@ fi jq -e ' .strict == true and .status == "passed" and - (.audited_numeric_claims | length) == 51 and - (.gates | map(select(.status == "passed")) | length) == 2 and + (.audited_numeric_claims | length) == 61 and + (.gates | map(select(.status == "passed")) | length) == 3 and (.gates | map(select(.status == "failed")) | length) == 1 and (.gates[] | select(.status == "failed") | .false_checks | length) == 7 ' paper/manuscript_audit.json >/dev/null |