Use when verifying or repairing a formula, coefficient, invariant, table entry, generating function, spectral sequence page, test oracle, or convention bridge in Vol II. Do not use for purely prose edits with no mathematical payload.
Every load-bearing formula should survive at least three independent attacks.
Use at least three when feasible:
r(z) has pole order one less than the OPE.n coefficient is a_(n)b / n!.kappa is not automatically S_2.eta(q) includes q^(1/24).