Conditional approximation and verification interfaces

The exact identities above do not imply quantitative continuity. This section supplies conditional, locally proved certificates. They follow the accounting style of the supplied input-stability, residual, and independent-run records CheungEm06B,CheungEn01B,CheungPsy03A,CheungPsy03D, without importing their physical models or constants.