One engine for schematic version control within and across any schema language: SQL, Protobuf, GraphQL, JSON Schema, ATProto, and many more. Built on generalized algebraic theories for provably correct migrations.