# Design-corpus enforcement: source changes carry a binding wiki amendment.
# This is the server-side layer corresponding to .githooks/pre-commit.

when:
  - event: ["push"]
    branch: ["main"]
  - event: ["pull_request"]
    branch: ["main"]
  - event: ["manual"]

engine: "nixery"

clone:
  skip: false
  depth: 2
  submodules: false

dependencies:
  nixpkgs:
    - git
    - bash
    - gnugrep

steps:
  - name: "Design corpus: binding amendment required for source changes"
    command: |
      set -euo pipefail

      changed=$(git diff --name-only --no-renames --diff-filter=ACMRD HEAD~1 HEAD)
      printf '%s\n' "$changed" | bash tools/design_amendment_gate.sh