Statement
In a compatible directed system with isometric transports and dense algebraic total source, assume closable total retention, closed total assembly, inclusion of the retained image in the assembly domain, and uniform finite relative coercivity. Then the total algebraic passage satisfies the Joint Reconstruction Certificate and is closable.
Meaning and scope
The total retention and assembly are assumed to have these analytic properties. Finite-stage certificates alone do not establish them.
Source
Paper 3, Theorem 10.3. Frozen manuscript — research note, not peer reviewed.