New script: demo/postgres-survive-kill9/ci-smoke.sh (bash, marked executable). It brings the stack up, waits for readiness, records the pgbench count, sends SIGKILL, runs docker compose up -d postgres to bring it back, re-checks the count, greps diffkeeper_recovery_total, and tears down the stack.

Updated demo/postgres-survive-kill9/README.md to document the new ./ci-smoke.sh.

Author: Shane Wall

demo/postgres-survive-kill9/README.md

@@ -26,6 +26,14 @@ chaos.bat   # restarts the container after each kill
 
 ```bash
 ./verify.sh
+
+## CI smoke test (one-shot)
+
+For the scripted check that kills Postgres once and asserts the counter never drops:
+
+```bash
+./ci-smoke.sh
+```
 ```
 
 You should see the transaction count increase continuously, even while the container is being killed.

demo/postgres-survive-kill9/ci-smoke.sh

@@ -0,0 +1,56 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+cd "$(dirname "$0")"
+
+cleanup() {
+  docker compose down -v >/dev/null 2>&1 || true
+}
+trap cleanup EXIT
+
+docker compose up -d
+
+echo "Waiting for Postgres to be ready..."
+ready=0
+for i in {1..30}; do
+  if docker compose exec -T postgres pg_isready -U postgres >/dev/null 2>&1; then
+    ready=1
+    break
+  fi
+  sleep 2
+done
+if [[ "${ready}" != "1" ]]; then
+  echo "Postgres did not become ready in time" >&2
+  exit 1
+fi
+
+baseline=$(docker compose exec -T postgres psql -U postgres -d bench -t -A -c "SELECT count(*) FROM pgbench_history;" 2>/dev/null || echo "0")
+echo "Baseline transactions: ${baseline}"
+
+docker kill -s KILL "$(docker compose ps -q postgres)"
+
+echo "Waiting for Postgres to restart..."
+docker compose up -d postgres >/dev/null 2>&1
+ready=0
+for i in {1..30}; do
+  sleep 2
+  if docker compose exec -T postgres pg_isready -U postgres >/dev/null 2>&1; then
+    ready=1
+    break
+  fi
+done
+if [[ "${ready}" != "1" ]]; then
+  echo "Postgres did not restart" >&2
+  exit 1
+fi
+
+after=$(docker compose exec -T postgres psql -U postgres -d bench -t -A -c "SELECT count(*) FROM pgbench_history;" 2>/dev/null || echo "0")
+echo "Post-restart transactions: ${after}"
+if (( after < baseline )); then
+  echo "Transaction count decreased after kill -9" >&2
+  exit 1
+fi
+
+curl -sf http://localhost:9911/metrics | grep diffkeeper_recovery_total
+echo "CI smoke test: PASS"