Lemmas (full content)

Reusable bookkeeping artifacts: audit checklists, codified universal-NO observations, anchoring protocols. Not proofs of RH.

---

Table of contents

• Lemma 9 — Axiom-6 universal NO across 11 Hilbert-Pólya candidates (full content)
• Lemma 10 — Wall #2 axiom-α universal NO across 4 paper-direct candidates (full content)
• Lemma 1 — Spectral Candidate Circularity Check (full content)
• Lemma 4 — Failed Proof Categories (full content)
• Lemma 7 — Specialist-Δ Anchoring Protocol (full content)
• Lemma 3 — Positivity unification hypothesis (19 paper-direct evidence ladder)