Manuscript XXII-E@1 · XXII-E.tex · definition · 51c99d2f
Definition: Admissible mismatch witness
Scale, covariance, and matching verdicts › What a class-internal countermodel must certify · lines 1078–1094
XXII-E@1#def:countermodel
For a claimed operational dynamics package, a class-internal mismatch witness consists of:
a specified datum satisfying every claimed class restriction and additional hypothesis;
the package's actual successful extraction and compatible transport realization for that datum;
its independently specified geometric and source outputs;
a nonzero residual, or an infeasibility certificate for its exact claimed comparison domain;
a proof that the witness is invariant under the permitted identifications or remains nonzero in the declared gauge quotient.