#!/usr/bin/env bash
set -euo pipefail
changed=$(git diff --cached --name-only)
# fail if REQs changed but AGENTS.md is older
if echo "$changed" | grep -q '^REQUIREMENTS.md$' && echo "$changed" | grep -q '^AGENTS.md$'; then
  # Both changed — OK
  :
else
  req_time=$(git log -1 --format=%ct -- REQUIREMENTS.md 2>/dev/null || echo 0)
  ag_time=$(git log -1 --format=%ct -- AGENTS.md 2>/dev/null || echo 0)
  if [ "$req_time" -gt "$ag_time" ]; then
    echo "error: REQUIREMENTS.md newer than AGENTS.md — run: redgate agents > AGENTS.md"
    exit 1
  fi
fi
