Result stated and proved in the source manuscript; website restatementfusion-reconstruction
Statement
Let and share a dense Hilbert-space domain. If is closable, is -graph controlled, and for a bounded decoder , then is closable and .
Meaning and scope
All three conditions are part of the certificate. With unconstrained witness choice, an already closable operator admits the tautological choice , ; see the accompanying correction to Remark 6.4.
The paper page includes the reader corrections accompanying this edition.