The named family and a late switching witness

This proof is new to the selected action. The layer correction is present in (eq:new-compatibility); it simply cannot cancel the late switch defect. The witness is in the switching region, not an asserted nonzero plateau variation of an observable. The plateau algebra has not been shrunk.