The Substrate Migration Principle: How Computing Advances by Enforcing Invariants Below the Application Layer | Synapse