Result stated and proved in the source manuscript; website restatementfusion-reconstruction
Statement
There exists a downward-closed reconstruction system that is finitely rectangularly admissible, sourcewise totalizable, and demandwise totalizable, but not jointly totalizable.
Meaning and scope
The proof uses coordinate demands on and finite-dimensional permitted carriers. The required finite dimension is ; the doubly totalized context would require an injective map from an infinite-dimensional space into a finite-dimensional one.