#!/usr/bin/env bash
# Stable operator entry point for the backend full verifier.
set -Eeuo pipefail

TOOLS_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
exec node "$TOOLS_DIR/verify-backend.mjs" "$@"