pcs-schema-diff.sh

#!/usr/bin/env bash
# Compare provability-fabric config/schemas/pcs to pcs-core (canonical files only; PF extensions allowed).
set -euo pipefail

ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
VENDOR="${1:-${PCS_CORE_PATH:-}}"
CANONICAL="${PCS_CORE_SCHEMAS:-}"

if [[ -z "${CANONICAL}" ]]; then
  if [[ -n "${VENDOR}" && -d "${VENDOR}/schemas" ]]; then
    CANONICAL="${VENDOR}/schemas"
  elif [[ -d "${ROOT}/../pcs-core/schemas" ]]; then
    CANONICAL="${ROOT}/../pcs-core/schemas"
  else
    echo "usage: pcs-schema-diff.sh [pcs-core_repo_root]" >&2
    echo "  or set PCS_CORE_PATH / PCS_CORE_SCHEMAS" >&2
    exit 2
  fi
fi

VENDOR_DIR="${ROOT}/config/schemas/pcs"
if [[ ! -d "${CANONICAL}" ]]; then
  echo "pcs-core schemas not found: ${CANONICAL}" >&2
  exit 1
fi
if [[ ! -d "${VENDOR_DIR}" ]]; then
  echo "vendor schemas not found: ${VENDOR_DIR}" >&2
  exit 1
fi

FAILED=0
for path in "${CANONICAL}"/*.json; do
  [[ -f "${path}" ]] || continue
  name="$(basename "${path}")"
  vendor_path="${VENDOR_DIR}/${name}"
  if [[ ! -f "${vendor_path}" ]]; then
    case "${name}" in
      PcsBenchIngest.v0.schema.json)
        if [[ -f "${VENDOR_DIR}/PCSBenchIngest.v0.schema.json" ]]; then
          vendor_path="${VENDOR_DIR}/PCSBenchIngest.v0.schema.json"
        fi
        ;;
    esac
  fi
  if [[ ! -f "${vendor_path}" ]]; then
    echo "missing vendor schema: ${name}" >&2
    FAILED=1
    continue
  fi
  if ! diff -u "${path}" "${vendor_path}"; then
    FAILED=1
  fi
done

if [[ "${FAILED}" -ne 0 ]]; then
  echo "FAIL: schema drift between pcs-core and provability-fabric (canonical files)" >&2
  exit 1
fi

echo "OK: config/schemas/pcs matches ${CANONICAL} (canonical benchmark/pcs schemas)"
for extra in "${VENDOR_DIR}"/*.json; do
  [[ -f "${extra}" ]] || continue
  name="$(basename "${extra}")"
  if [[ ! -f "${CANONICAL}/${name}" ]]; then
    echo "  PF extension preserved: ${name}"
  fi
done