#!/usr/bin/env sh
# scripts/check_dev_docs.sh
#
# Verifies that the developer-experience documentation files added in
# the P401-P415 batch all exist on disk. Exits 0 if all 5 files are
# present and non-empty; exits 1 with a clear error otherwise.
#
# Run with:
#   bash scripts/check_dev_docs.sh
#
# The 5 files checked:
#   - tests/README.md
#   - scripts/README.md
#   - docs/development/local_dev_setup.md
#   - docs/development/ci_debugging.md
#   - docs/development/whatsnew.md

set -eu

missing=0
checked=0

check_file() {
    f="$1"
    checked=$((checked + 1))
    if [ ! -f "$f" ]; then
        echo "  [MISSING] $f" >&2
        missing=$((missing + 1))
    elif [ ! -s "$f" ]; then
        echo "  [EMPTY]   $f" >&2
        missing=$((missing + 1))
    else
        lines=$(wc -l < "$f" | tr -d ' ')
        echo "  [OK]      $f ($lines lines)"
    fi
}

echo "checking developer-experience documentation files (P401-P415 batch)..."
check_file "tests/README.md"
check_file "scripts/README.md"
check_file "docs/development/local_dev_setup.md"
check_file "docs/development/ci_debugging.md"
check_file "docs/development/whatsnew.md"

echo
echo "checked: $checked   missing/empty: $missing"
if [ "$missing" -ne 0 ]; then
    echo "FAIL: $missing developer doc file(s) are missing or empty" >&2
    exit 1
fi
echo "OK: all developer doc files present and non-empty"