jason.woltjeandClaude Opus 5.5
62f354746d
Candidate on 5661bd233: GATED and GATED_ONLY become PRD 1.5's eight hard
waits (data.delete, network.expose and account.create are new), derived
as ACTIONS minus an explicit ROUTED list (REQ-WAIT-3). A gated raise
citing the current spec goes to the domain arbiter unless it is a hard
wait. land-work refuses an arbiter-resolved merge with not-human.
Mutants 5/5 killed; gate green (bus, business and every scripts/test-*.sh).
Row 137 has not landed, so its REQ-LAND-1 refusal and the host-op
arbiter acceptance are left out, as BUILD.md says.
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 139: 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
|