Manuscript IX-E@1 · IX-E.tex · section · 8f8d5e7f
E0: a fixed comparison domain
E0: a fixed comparison domain · lines 485–508
| Domain item | Decision |
|---|---|
| First-stage pairs | All retained |
| Flips and conjugates | All retained |
| Old seed | Zero; no nonzero supplied old map |
| Actual old intersection | ; not evaluated by the excerpt |
| Intermediate products | No closure asserted |
| Second-stage binary pairs | Not added unless already in the span |
The interface is classical multiplication, symmetry, coefficient and descendant admission, actual-presentation independence, exact specified old overlaps, causal factorization, anti-time-ordering involution, and one named fixed-support continuity statement. A nonzero old seed may be added only by a separately declared change of target, accompanied by its actual old map.