#!/usr/bin/env bash
# Replay starvation experiment (CTL vs JSON-buffer).
set -euo pipefail
ROOT="$(cd "$(dirname "$0")/.." && pwd)"
cd "$ROOT"
make check
echo
echo "Historical note: docs/archive/theory_tool_cst.md (not product docs)."