From 37c24e13bca41f8844e1e29d3741b68ecef35116 Mon Sep 17 00:00:00 2001 From: "shoney.arickathil" Date: Thu, 10 Sep 2026 14:42:57 +0200 Subject: [PATCH] =?UTF-8?q?fix(gate):=20residency-accept=20checks=20the=20?= =?UTF-8?q?example's=20seed=20rc=20=E2=80=94=20read=2020/0=20while=20seed?= =?UTF-8?q?=20SEGV'd?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - scripts/residency-accept.sh:155 ran docs/examples/residency `seed` with its rc unchecked; the inserts commit before the crash, so the restart legs passed on the log a dead seed left behind and the gate read 20/0 while seed died 139 - new check "example: seed exits 0" — its FAIL names the rc (139 = SIGSEGV) and the log to read - failing-first on today's binary: `FAIL example seed -- rc=139`; the SEGV is the pre-existing keys-resident fresh-log defect (wo_wal_fold_row_at, HEAD wal.c:1837), zack's fix in flight — this check stays red until it lands Co-Authored-By: Claude Fable 5.1 (cherry picked from commit e274f4a932688bccf8310581199fa0d26f737eea) --- scripts/residency-accept.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/scripts/residency-accept.sh b/scripts/residency-accept.sh index c8e6d39..47c0a69 100755 --- a/scripts/residency-accept.sh +++ b/scripts/residency-accept.sh @@ -152,9 +152,14 @@ if "$WOC" --emit "$EX/main.wo" -o "$WORK/residency.wob" >>"$LOG" 2>&1; then mkdir -p "$WORK/exdata" { echo "--------------------- run 1: seed ---------------------" - WO_DATA="$WORK/exdata" "$WOVM" "$WORK/residency.wob" seed 2>&1 + WO_DATA="$WORK/exdata" "$WOVM" "$WORK/residency.wob" seed 2>&1; rc=$? echo "--------------------- run 2: restart + order ----------" } >> "$LOG" + # seed's rows commit before anything can crash it, so the restart legs + # below pass on the log a dead seed leaves behind — its rc is its own check + [[ $rc -eq 0 ]] \ + && ok "example: seed exits 0" \ + || bad "example seed" "rc=$rc (139 = SIGSEGV; see $LOG)" ex2="$(WO_DATA="$WORK/exdata" "$WOVM" "$WORK/residency.wob" order 2>&1)" printf '%s\n' "$ex2" >> "$LOG" grep -q 'products=2 carts=0' <<<"$ex2" \