#!/usr/bin/env bash
set -euo pipefail
cd "$(dirname "$0")/.."
mkdir -p evidence/current
lake build > evidence/current/build.log 2>&1
lake env lean Omega/AxiomAudit.lean > evidence/current/axioms.log 2>&1
python3 scripts/check_axioms.py evidence/current/axioms.log