III.R13 — Six Proof Obligations Ledger

Complete ledger of proof obligations for τ-RH: O1 (operator definition — DONE Ch 23), O2 (self-adjointness — DONE Ch 23), O3 (determinant representation — CONJECTURAL), O4 (normalization C(s) — required for O3), O5 (★-positivity/Weil criterion — HARD, deferred to Part VII), O6 (finite-cutoff consistency — τ-effective, Ch 26).