#!/usr/bin/env bash
set -euo pipefail
# Run from each installed checkout with its isolated dev server already running:
# T3CODE_DEV_SEED=0 vp run dev
# Supply the same locally available Claude provider/model on each side.
: "${T3_PROOF_HOME:?isolated checkout data directory}"
: "${T3_PROOF_WORKSPACE:?synthetic git repository}"
: "${T3_PROOF_PROVIDER:?local Claude provider instance}"
: "${T3_PROOF_MODEL:?local inexpensive Claude model}"
node apps/server/src/bin.ts project add "$T3_PROOF_WORKSPACE" --title 'Printing press' --base-dir "$T3_PROOF_HOME"
node apps/server/src/bin.ts thread start "$T3_PROOF_WORKSPACE" 'Reply with only Ready.' \
  --title 'Printing press history' --provider "$T3_PROOF_PROVIDER" --model "$T3_PROOF_MODEL" \
  --base-dir "$T3_PROOF_HOME" --wait --json