Manuscript IX-E-2@1 · IX-E-2.tex · section · e70d9077
The fixed-domain obstruction
Actual support coverage and the unfinished bridge › The fixed-domain obstruction · lines 1189–1194
This is IX-E's fixed-domain obstruction criterion, now equipped with the evaluated kernel IXE (Theorem 4.6). Its missing premise is still certification of a nonzero two-way pair.