#!/bin/sh
# Supply independent synthetic state and the unmodified Hermes v0.22.5 source per run.
: "${PROOF_HERMES_HOME:?Set an isolated Hermes home}"
: "${PROOF_HERMES_SOURCE:?Set the Hermes v0.22.5 source directory}"
: "${PROOF_PYTHON:?Set the Python interpreter with Hermes ACP dependencies}"
unset XAI_API_KEY
export HERMES_HOME="$PROOF_HERMES_HOME"
export PYTHONPATH="$PROOF_HERMES_SOURCE"
exec "$PROOF_PYTHON" -m acp_adapter "$@"