Candidate manifest 616f953fe09bfc198645886bc4c7228a0fdeafa8c89b1729f2be8a5222689607 on dda7e31b0.
Owner's gate 23:11:36Z-23:15:46Z exit 0; mutants 17 of 17 killed.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
10 lines
444 B
Bash
Executable File
10 lines
444 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# Row 146: apply build.patch to a detached worktree at base.txt and check the candidate manifest.
|
|
# Usage: repro.sh <canonical checkout> <new worktree path>
|
|
set -euo pipefail
|
|
HERE=$(cd "$(dirname "$0")" && pwd)
|
|
REPO=$1 WT=$2
|
|
git -C "$REPO" worktree add -q --detach "$WT" "$(cat "$HERE/base.txt")"
|
|
git -C "$WT" apply "$HERE/build.patch"
|
|
(cd "$WT" && sha256sum -c --quiet "$HERE/candidate-manifest.sha256") && echo DIGESTS_OK
|