Manuscript XIV-J@1 · XIV-J.tex · remark · 1c0e72ca
Remark: What is, and is not, required universally
J2d: a conditional extension interface, not an extension map › The coefficient-extension equivalence · lines 1554–1566
A supported, normal-order-preserving realization of this sector would face exactly the coefficient interface above.
A generalized joint map in the full class might organize terms differently, or prove cancellations only after the entire six-branch sum is assembled. Theorem thm:conditionalextension does not claim to classify all such maps and is not a universal obstruction.
No coefficient extension is chosen. The prescription alternative remains unentered.