Manuscript Em01-C@3 · Em01-C-v3.tex · section · f0953702

Evaluated and unevaluated entries

Localization, agreement, and the remaining physical calculation › Evaluated and unevaluated entries · lines 1813–1851

Task	Exact status
Source conventions and $q$	Explicit tensor conversion and finite coefficient rule supplied; complete contracted characteristic coefficient unevaluated.
Source-ramp contribution on the retained patch	Exactly absent by Proposition prop:plateau; no smoothing exponent follows from that fact.
Unreduced coordinate response	Printed and reduced distributionally; its physical branch interpretation is inherited.
Complete translation sum	Defined exactly with all seven rows and three vertex types.
Physical leading origin coefficient	Not evaluated.
Physical characteristic remainder	No summable or scale-uniform estimate proved.
Scalar coefficients and remainder	Explicit $c_{0}, c_{1}, T_{sc}$ , with quantitative rates for the stated scalar regularization.

The next calculation must instantiate the designated crossed boundary values and the physical constant map $D$ , collect the complete branch–vertex sum in the characteristic coordinates, and bound its remainder on arbitrary fixed compact joint tests.

A leading algebraic zero is insufficient without that remainder estimate. A nonzero branch coefficient is insufficient without proving that it survives the complete sum.