#!/usr/bin/env bash
# Usage: bash seed.sh CHECKOUT T3_HOME SYNTHETIC_PROJECT THREAD_JSON
# Start the checkout's dev server first with T3CODE_DEV_SEED=0.
# Use a different T3_HOME for each revision, and the same synthetic project path.
set -euo pipefail
checkout=$1
proof_home=$2
proof_project=$3
thread_json=$4
mkdir -p "$proof_project"
printf '# Synthetic math composer fixture\n' > "$proof_project/README.md"
if [ ! -d "$proof_project/.git" ]; then git init --quiet --initial-branch=main "$proof_project"; fi
cd "$checkout"
node apps/server/src/bin.ts project add "$proof_project" --title 'Math proof' --base-dir "$proof_home"
node apps/server/src/bin.ts thread start "$proof_project" Ready --title 'Math proof' --provider devReplay --model multi-turn --wait --json --base-dir "$proof_home" > "$thread_json"