Compatibility with the even observables

This corollary assumes the entire fixed-background, fixed-extension spectral family in advance. It does not determine an arbitrary state, select the extension, or provide a finite measurement procedure acquiring these continuum expectation values.