feat(phd): defense pack (Popper + Coq map + page audit) for 2026-06-15

[gHashTag]

Closes #789

PhD Defense Pack — 2026-06-15

Three critical artifacts added for the PhD defense:

1. Falsification Appendix (Popper R7)

docs/phd/appendix/popper_falsification.tex
Enumerates 7 falsification criteria (F1–F7) for the central hypothesis φ²+φ⁻²=3, mapped to CI tests.

2. Coq Citation Map

docs/phd/artifacts/coq_citation_map.json
6 theorem mappings (THM-25-3, INV-4, SCH-1, CASSINI-1, L-S26, L-S31) linking Coq proofs ↔ Rust guards ↔ Verilog assertions. All 6 are Qed, 0 admitted.

3. Page Count Audit

docs/phd/artifacts/page_count_audit.md

• Total LaTeX LoC: 40,957
• Estimated pages: 1,365 (target ≥250 ✓)
• 71 chapter files, 14 appendix files
• Gap analysis: 68/71 chapters < 1,000 lines; flos_40–flos_70 are skeletal outlines needing expansion

DOI anchor: 10.5281/zenodo.19227877