57 lines
2.8 KiB
Bash
57 lines
2.8 KiB
Bash
#!/usr/bin/env bash
|
|
# tests/fix-round-4-5b-part-4-red.sh
|
|
# The red proof of fix round 4-5b, part 4 (plan
|
|
# .claude/projects/2026-10-31-fix-round-4-5b-part-4, decision 90), as a
|
|
# wrapper over the shared red script tests/helpers/red-round.sh. Every id of
|
|
# the round has tests whose names start with "[id]"; CSG, SLT, ESC and KI4
|
|
# must each fail on an assertion at the round's start point 591f3c4, and CTB
|
|
# and NVR, whose tests pass there, are proven red under their mutations.
|
|
# This wrapper passes the shared script:
|
|
# --base BASE, --ids IDS (the round's 6 ids), the round's FILES (the
|
|
# three tagged test files; the untagged reader pins stay out);
|
|
# --other-ids: the ids of fix round 4-5a, of 4-5b part 1, of part 2 and of
|
|
# part 3, read with sed from the IDS= lines of tests/fix-round-4-5a-red.sh,
|
|
# tests/fix-round-4-5b-red.sh, tests/fix-round-4-5b-part-2-red.sh and
|
|
# tests/fix-round-4-5b-part-3-red.sh and passed as ONE value, in that
|
|
# order (the shared script keeps only the last --other-ids it is given);
|
|
# a tag on that list is not judged;
|
|
# --mutations tests/fix-round-4-5b-part-4-mutations.mjs (CTB-catch,
|
|
# NVR-title, NVR-e2e).
|
|
# No --require-sha256: the round has no SHA-256 test.
|
|
# Exit 0 all red, 1 a rule broken (the judge names it), 2 a setup failure
|
|
# (also: no ids on one of the four older IDS= lines); never 0 on a setup
|
|
# failure.
|
|
# bash 3.2 compatible, ASCII only, no arrays.
|
|
|
|
set -u
|
|
set -f
|
|
|
|
cd "$(dirname "$0")/.." || { echo "red script: setup failure: cannot cd to the repo root" >&2; exit 2; }
|
|
ROOT="$(pwd -P)"
|
|
|
|
BASE=591f3c4793c751ae3c12fae403b9735341cd7591
|
|
IDS='CSG SLT ESC CTB KI4 NVR'
|
|
FILES='tests/hooks/bash-guard-args-gate.test.mjs tests/hooks/bash-guard-false-stops.test.mjs tests/lib/fix-round-4-5b-part-4-prose.test.mjs'
|
|
|
|
OTHER_A=$(sed -n "s/^IDS='\(.*\)'\$/\1/p" "$ROOT/tests/fix-round-4-5a-red.sh")
|
|
if [ -z "$OTHER_A" ]; then
|
|
echo "red script: setup failure: no ids on the IDS= line of $ROOT/tests/fix-round-4-5a-red.sh" >&2
|
|
exit 2
|
|
fi
|
|
OTHER_B=$(sed -n "s/^IDS='\(.*\)'\$/\1/p" "$ROOT/tests/fix-round-4-5b-red.sh")
|
|
if [ -z "$OTHER_B" ]; then
|
|
echo "red script: setup failure: no ids on the IDS= line of $ROOT/tests/fix-round-4-5b-red.sh" >&2
|
|
exit 2
|
|
fi
|
|
OTHER_C=$(sed -n "s/^IDS='\(.*\)'\$/\1/p" "$ROOT/tests/fix-round-4-5b-part-2-red.sh")
|
|
if [ -z "$OTHER_C" ]; then
|
|
echo "red script: setup failure: no ids on the IDS= line of $ROOT/tests/fix-round-4-5b-part-2-red.sh" >&2
|
|
exit 2
|
|
fi
|
|
OTHER_D=$(sed -n "s/^IDS='\(.*\)'\$/\1/p" "$ROOT/tests/fix-round-4-5b-part-3-red.sh")
|
|
if [ -z "$OTHER_D" ]; then
|
|
echo "red script: setup failure: no ids on the IDS= line of $ROOT/tests/fix-round-4-5b-part-3-red.sh" >&2
|
|
exit 2
|
|
fi
|
|
|
|
exec /bin/bash "$ROOT/tests/helpers/red-round.sh" --base "$BASE" --ids "$IDS" --other-ids "$OTHER_A $OTHER_B $OTHER_C $OTHER_D" --mutations "$ROOT/tests/fix-round-4-5b-part-4-mutations.mjs" $FILES
|