What a class-internal countermodel must certify

Appending an arbitrary conformal factor, source label, or energy observable to a predecessor example does not satisfy this definition. Such completions can prove underdetermination of a smaller interface, but not failure of an unspecified future package.

No witness satisfying Definition def:countermodel for a complete XXII-A–D admissible domain is supplied here. The flatness, conformal, energy, and conservation results are proved with their narrower scopes.