C04.2 · Interpretation

The verified coefficient calculations sharpen what the finite action does and does not select. The Hessian can be represented in a natural trace form while a nonlinear modulus survives. The adopted relations remove that freedom only after a cross-generator normalization has been declared. Positivity is insufficient in the tested interior class, while the tested Casimir alternative selects the wrong coefficient locus.

These are not failures of algebraic exposition. They are the mathematical content of the selector's price: construction, stability, invariance and necessity are separate predicates.