#!/bin/sh
set -eu
: "${PROOF_PROJECT:?path to a synthetic git repository}"
: "${PROOF_MODEL:?available inexpensive model slug}"
node apps/server/src/bin.ts project add "$PROOF_PROJECT" --title 'Color demo' --base-dir .t3
node apps/server/src/bin.ts thread start "$PROOF_PROJECT" 'Use your question tool to ask exactly one single-select question: Which color do you prefer? Header: Color preference. Choices: Red and Blue, with a custom-answer option enabled. Do not ask in plain text. After I answer, report the exact answer you received, and do nothing else.' --title 'Color choices' --provider acpRegistry_opencode_questions --model "$PROOF_MODEL" --base-dir .t3 --json