Manuscript X-E-ST@1 · X-E-ST.tex · section · 44614221
A supported equation-ideal separator
The one-tree background identity and its nonzero defect › A supported equation-ideal separator · lines 2029–2035
The free-solution witness is the mechanism used in X-E XE (Nonzero defect witness), localized here so that the detector lies in the retained observation region.