#!/usr/bin/env bash
#
# check-spec-refs-selftest.sh — check-spec-refs.py can fail.
#
# A check that cannot fail is decoration. This builds scratch standards under a
# temporary root and asserts that the check
#   1. passes when every cited section is a heading;
#   2. fails when a cited section is not a heading (the case it exists for);
#   3. accepts both heading spellings, `## 4.` and `## §4`;
#   4. does NOT synthesise parents: a `## 4.10` heading alone must not satisfy a
#      `SPEC §4` citation, which is how a standard citing a section it never
#      wrote would otherwise pass;
#   5. resolves a citation against the SPEC.md of the standard the file sits in,
#      so one standard's section cannot excuse another's citation;
#   6. ignores `*.rs` under a `target/` directory, which is build output.
# Nothing here reads the real tree, and nothing needs a network.
set -uo pipefail

here=$(cd "$(dirname "$0")" && pwd)
check=$here/check-spec-refs.py
tmp=$(mktemp -d)
trap 'rm -rf "$tmp"' EXIT
fails=0

# mk <root> <standard> <spec-headings> <rs-relative-path> <rs-body>
mk() {
  mkdir -p "$1/$2/$(dirname "$4")"
  printf '%s\n' "$3" > "$1/$2/SPEC.md"
  printf '%s\n' "$5" > "$1/$2/$4"
}

want() { # want <expect-status> <root> <label>
  python3 "$check" "$2" > "$tmp/out" 2>&1
  got=$?
  if [ "$got" != "$1" ]; then
    echo "FAIL: $3 — expected exit $1, got $got"
    sed 's/^/    /' "$tmp/out"
    fails=$((fails + 1))
  else
    echo "ok: $3"
  fi
}

r=$tmp/a; mk "$r" alpha '## 4. Flow
### 4.1 Detail' src/lib.rs '/// Enforces SPEC §4.1 and SPEC §4.'
want 0 "$r" "passes when every citation resolves"

r=$tmp/b; mk "$r" alpha '## 4. Flow' src/lib.rs '/// Enforces SPEC §4.10.'
want 1 "$r" "fails on a citation with no heading"

r=$tmp/c; mk "$r" alpha '## §4. Flow
### §4.1 Detail' src/lib.rs '/// Enforces SPEC §4.1.'
want 0 "$r" "accepts the section-sign heading spelling"

r=$tmp/d; mk "$r" alpha '### 4.10 Child only' src/lib.rs '/// Enforces SPEC §4.'
want 1 "$r" "does not let a child heading satisfy its parent"

r=$tmp/e
mk "$r" alpha '## 7. Only in alpha' src/lib.rs '/// nothing cited here'
mk "$r" beta  '## 1. Only in beta'  src/lib.rs '/// Enforces SPEC §7.'
want 1 "$r" "does not resolve beta's citation against alpha's SPEC"

r=$tmp/f; mk "$r" alpha '## 4. Flow' target/debug/build.rs '/// Enforces SPEC §9.'
want 0 "$r" "ignores .rs under target/"

if [ "$fails" != 0 ]; then
  echo "check-spec-refs-selftest: $fails case(s) failed."
  exit 1
fi
echo "check-spec-refs-selftest: all cases pass."