Manuscript XII-D@1 · XII-D.tex · section · 308a2080
D4: descent and ordering on the enlarged named sector
D4: descent and ordering on the enlarged named sector · lines 1028–1035
Continuity of the inherited ordering and quotient maps is used only at XII-A's released level. No completeness or global product hypocontinuity claim is added. No interacting differential is inferred from this sector construction.