#!/bin/bash
# Validate paper/main.pdf: exists, non-empty, searchable text, no undefined refs/cites, page count, render spot-check pages to PNG.
set -e
cd "$(dirname "$0")/../paper"
test -s main.pdf || { echo "main.pdf missing/empty"; exit 1; }
pages=$(pdfinfo main.pdf | awk '/^Pages/ {print $2}'); echo "pages: $pages"
pdftotext -l 2 main.pdf - | grep -q "Working Paper No. 28" && echo "title page OK (Working Paper No. 28)" || { echo "title page check FAILED"; exit 1; }
pdftotext main.pdf - | grep -c "Theorem" | xargs -I{} echo "occurrences of 'Theorem' in text: {}"
und=$(grep -c "undefined" main.log || true); echo "undefined references/citations warnings in main.log: $und"
ovf=$(grep -c "Overfull" main.log || true); echo "overfull boxes: $ovf"
mkdir -p ../results/figures/pdf_check
for pg in 1 2 10 $((pages/2)) $pages; do pdftoppm -f $pg -l $pg -r 60 -png main.pdf ../results/figures/pdf_check/page_$pg >/dev/null 2>&1 || true; done
echo "spot-check PNGs in results/figures/pdf_check/"
[ "$und" = "0" ] || { echo "WARNING: unresolved references remain"; }