The whole-domain normalization sheet

The normalization is on all off-shell insertion tests, not only on $f,c_1,c_2$, a finite catalogue, or a finite set of classical evaluations. This is the whole-domain uniqueness recorded in X-B-ii XBii (:unique).