#!/usr/bin/env bash
set -euo pipefail

script_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"
repo_root="$(cd -- "${script_dir}/.." && pwd)"
compiler_dir="${repo_root}/compiler"

# Focused standard-runtime conformance gate. scripts/release-gate.sh remains the full
# release gate and is not replaced by this script.
git -C "${repo_root}" diff --check

cd "${compiler_dir}"
cargo fmt --check
cargo test --test standard_runtime_conformance_alignment
cargo test --test standard_time
cargo test --test promotion_gate promotion_gate_artifacts_are_aligned
