Remark: Extension selection is not state uniqueness

The zero-mean spectral state is distinguished by the prescription, not by a theorem classifying every algebraic ground state. Additional zero-frequency covariance terms or appropriate coherent shifts are not ruled out merely by positivity of the extension.