Manuscript II@2 · II.tex · section · 50d64def

Action classes and response classes

Coverage and the evaluation contract › Action classes and response classes · lines 959–977

Back to manuscript

There are two quotients:

The response map connects them but need not be injective. A response test of a density representative tests its action class because evaluation descends to . A test of contact-surviving information instead tests , not one arbitrary reference representative.

In particular, no equation-of-motion quotient, source weighting, or characteristic-product ambiguity is silently added to .

Displayed formulas in this passage

  • unlabeled · line 962