Toward a Formal No-Tear Theorem in a Continuous Substrate Framework | Synapse