Eric WagonerandClaude Fable 5.1
33ac0ec808
From the hnefatafl repo's pass of the same day, everything that touched a kit-shared file. The visitors digest and the nightly rollup share deploy/traffic.py, installed to /usr/local/lib/<slug>; the rollup writes the finished-games count it computed behind "and False". pull-reports.sh and the reports skill both use deploy/report-digest.ts. The seat line requires its token hash and the start line its rules revision; the migration for ledgers written before hashing goes with them. The route table in server/src/index.ts lists every route; Report, ReportLine and Tally are declared once in view.ts for both sides; exports nobody imported are exports no more. In the client: .small, the × that dismisses, and the frame of the reading pages are in app.css once; the preferences panel shares the report slip's modal shape; the room store gains seatEmpty and seatUnheld, and the lobby and the join page read those instead of three spellings of their own. The room's moved and awaiting fields stay: the demo board reads them, and simultaneous rounds are the contract. The deploy README no longer describes a browser-only game; the visitors skill no longer names a /play route; the reports skill's replay call carries the room's options. The Slack channel id is passed in the environment rather than filled in as a placeholder. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GwFKMuQnPAEHJ5yA1q4orh
15 lines
731 B
Bash
Executable File
15 lines
731 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# The determinism gate: fetch every production ledger and replay it with the
|
|
# LOCAL engine, comparing each room with what the server shows. A ledger the
|
|
# new engine replays differently would rewrite a game in progress when the
|
|
# server restarts, so this runs before every deploy.
|
|
# deploy/verify-ledgers.sh <droplet-ip-or-host> [https://site]
|
|
set -euo pipefail
|
|
HOST="${1:?usage: verify-ledgers.sh <droplet-ip-or-host> [https://site]}"
|
|
# SITE overrides the public name: the sslip.io address, or a name not yet in DNS.
|
|
SITE="${2:-${SITE:-https://__DOMAIN__}}"
|
|
DIR="$(mktemp -d)"
|
|
trap 'rm -rf "$DIR"' EXIT
|
|
rsync -az "root@$HOST:/var/lib/__SLUG__/rooms/" "$DIR/"
|
|
npx tsx deploy/replay-ledgers.ts "$DIR" "$SITE"
|