#!/usr/bin/env bash
# Runs the module's aggregated deterministic dev gate; its exit code is the health verdict.
set -euo pipefail

ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"

exec "$ROOT/check.sh"