Manuscript IX-E@1 · IX-E.tex · section · 8f8d5e7f
E0: a fixed comparison domain
E0: a fixed comparison domain · lines 429–455
IX-E@1#eq:fixed-domain, IX-E@1#eq:actual-old
No nonzero old comparison subspace carrying an explicitly supplied old time-ordered map is present in the supplied data. The only old seed space on which a map is determined without additional information is
with its unique zero map. We therefore freeze the minimal full first-stage target
This choice does not claim a nonzero old time-ordered overlap. Any actual old intersection must still be audited:
One must not infer merely from : conjugation saturation needs its own subspace information.
Displayed formulas in this passage
IX-E@1#eq:fixed-domain · line 440
IX-E@1#eq:actual-old · line 448
unlabeled · line 435