Diagonal response and completion

This input is the direct-completion interface. A compact-source inversion theorem alone would not establish its entire domain. Conversely, the specific witness calculation in XVI-G does not retract this separately stated diagonal interface XVID,XVIErev,XVIFrev.