#!/usr/bin/env bash
# Section 8 from commandes.md: Academic document generation

set -e

SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
PROJECT_ROOT="$(cd "$SCRIPT_DIR/.." && pwd)"
OUT="${OUT:-$PROJECT_ROOT/out}"

cd "$PROJECT_ROOT/collatz_k_scripts"
mkdir -p "$OUT/rapports" "$OUT/preuves"

NSTAR=$(grep "N\* =" "$OUT/certificats/seuil_global_Nstar.md" 2>/dev/null | awk '{print $3}' || echo "0")
CERT="$OUT/certificats/certificat_complet_depth21.json"
BASE="$OUT/preuves/validation_base.md"

python3 collatz_generate_audit_report.py --audits-dir "$OUT/audits" --output "$OUT/rapports/rapport_audit_final.md"
python3 collatz_generate_coverage_proof.py --certificat "$CERT" --output "$OUT/preuves/preuve_couverture.md"
python3 collatz_generate_threshold_audit.py --certificat "$CERT" --output "$OUT/preuves/audit_seuils.md"
if [[ -n "$NSTAR" && "$NSTAR" != "0" ]]; then
    python3 collatz_generate_base_validation.py --Nstar "$NSTAR" --output "$BASE"
fi
[[ -f "$BASE" ]] || echo "# Validation de base (N* non disponible)" > "$BASE"
python3 collatz_generate_full_proof.py \
    --coverage "$OUT/preuves/preuve_couverture.md" \
    --threshold "$OUT/preuves/audit_seuils.md" \
    --base "$BASE" \
    --certificat "$CERT" \
    --output "$OUT/demonstration_collatz_complete.md"