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
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