Security Without Noise: A Verified Theory of Rank-Deficit Secrecy and Its Gaussian Determinant