Result stated and proved in the source manuscript; website restatement (draft)fusion-reconstruction
Statement
Let two closed decoders act on a common retained Hilbert space. Put their domain intersection in the common graph norm and let denote the resulting bounded decoders. If a retained graph lift is closable and on the finite core, then .
Meaning and scope
Equality persists on the domain of the closed retained map. This does not identify arbitrary products of independently closed comparison factors.
Source
Paper 4, Theorem 8.2. Draft manuscript — compile-audit version; not marked frozen.
Bidirectional research graph
Where this object sits in the mathematics
Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.