Unified Phase Projection File for the Riemann Hypothesis and Interlinked Closure Problems

This record presents a Lean-checked finite four-orbit phase-projection core and explicit conditional interfaces for related closure problems. PROVED (source-scoped): exact repeated quarter-phase projection on one sheet; the map Pi_q(2*pi*q + k*pi/2) = k/8 for k = 1, 2, 3, 4; scoped closure at 1/2; and finite structural lemmas checked by Lean 4 under --trust=0 with no sorryAx. COMPUTED: finite prime-phase diagnostics and numerical scans supplied as evidence, not universal theorems. OPEN: no identification of the finite projection with all nontrivial zeros of the Riemann zeta function; no proof that Re(rho) = 1/2 for every nontrivial zero; and no globalizer for P versus NP, the Hodge conjecture, or the physical Yang-Mills mass gap. Publication does not modify the governing research status.