Theorem: Ordering stability of the named sector

The transported sector equals the formal coefficientwise completion generated by the unchanged seeds:

Proof. Every ordering correction in Proposition prop:seedcorrections lies in the regular part: constants and compact smooth linear fields. The regular part is transported onto the regular part. Hence each transported seed belongs to the unchanged-seed algebra. Applying the inverse ordering map proves the opposite inclusion. Formal-order preservation gives equality of the completions.