Registry · Proposition III.P44 established formalized

III.P44 — Goldbach Gap Characterization

Goldbach gap = parity barrier. CRT guarantees local conditions always satisfiable. Gap is exponential_quantification (K4) — no sieve lifts local to global.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (2)

III.P43 III.D69

Depended on by (1)

III.D112

Lean Formalization

Module: TauLib.BookIII.Bridge.ConjectureGaps

Symbol: goldbach_gap_parity