Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96
Overlap diagnostics
F5–F6: actual maps and the remaining overlap gates › Overlap diagnostics · lines 1265–1272
The last qualification prevents a hidden multi-domain relation from being omitted. The requisite agreement on (eq:newoverlap), (eq:oldoverlap), and the relevant sum intersections remains unresolved.