#!/bin/sh
# DF-0893 run script. Runs the deterministic race harness (primary proof).
# The live trigger (hammer_race_live) requires root-side HAMMER v1 setup
# (see setup_live.sh) and is not run here by default.
set -e
cd "$(dirname "$0")"

echo "=== running race_harness (deterministic proof) ==="
timeout 90 ./race_harness