Repeated Four-Phase Projection on a Single Sheet: A Lean-Checked Finite Model and Its Open Prime-Frequency Bridge

A finite Lean-checked model of repeated four-quarter phase projection onto a single sheet. The package proves exact k/8 readings, cycle independence, period four, physical closure at 2*pi*(q+1), projection of that closure to 1/2, equal-amplitude four-phase cancellation, a centered defect criterion, and a conditional localization interface. It does not prove the prime-frequency-to-closure bridge for actual zeta zeros; the Riemann hypothesis remains open.