Actual-relation consistency and analytical obligations

Observation-time ordering alone is insufficient for (req:analytic): the sharp insertion has nonlocal configuration dependence. One cannot silently commute time ordering with differentiation, the Cauchy response, or its sharp adjoint.

The regular-functional time-ordering formula and a renormalized singular extension are different operations FR. Extension principles require proved hypotheses at the actual extension locus BF. Those references are documentary comparisons here, not existence theorems for this sharp sector. No scaling degree or ambiguity class for its unresolved binary extension is evaluated.