#!/bin/sh
# pre-commit — HARD. Lean proof of the QPU.
set -e
cd "$(git rev-parse --show-toplevel)"
src="src/quantum/processing/unit/index.lean"
echo "pre-commit: HARD — lean $src"
command -v lean >/dev/null || { echo "pre-commit: RED — lean missing. Commit BLOCKED."; exit 1; }
lean "$src"
