The Collapse Completeness Theorem: A Formal Algebra of Collapse-Based Computation | Synapse