The root is a separate verification route

The supplied XII-D theorem states a continuous linear compact root map

for fixed observation data and collar, and the root identity

on its stated domain XIID.

The reported existence of this scalar identity is not replaced by the source contraction (eq:source-contraction). Conversely, its polarization should not be rejected merely because the theorem is printed using a single diagonal metric.