[aaronjmars]

What

test_dev_loop_proof.sh and test_dev_loop_repair.sh piped the dev-loop: block of aeon.yml from sed into grep -Fq. The block is about 4.8 KB, over sed's 4 KB pipe buffer, so sed writes it in two chunks. When grep -q matches on the first chunk it exits, sed's second write hits a broken pipe, and under set -o pipefail the check fails at random.

Seen on #1244 (run 39135349362, lane 6):

sed: couldn't flush stdout: Broken pipe
dev-loop dispatch budget is not five

A rerun of the same commit passed.

Fix

Capture the block into a variable first, then grep a here-string, like the checkout_block / commit_block checks above it already do. Same check, no pipe.

Checked

• Both tests pass locally.
• shellcheck -S warning is clean on both files.
• Not reproducible on macOS in 2000 tries with either BSD sed or GNU sed. The CI log above is the evidence for the race.

---

^{Need help on this PR? Tag @codesmith-bot with what you need.}