The three principal endpoints

Theorem thm:model1 gives the Model 1 record, including removal of $\epsilon$ and exact equality at $\lambda =0$. Theorem thm:model2 gives the Model 2 fixed-$M$ spectral limit and uniformly calibrated contrast. Theorem thm:model3 gives the Model 3 record at fixed $\Lambda$ and finite $M$, with both interpolation-off and source-off controls.

The classical constructions needed to identify the functionals are included in their stated domains. No result about a larger equation space is imported.