
property of a database system ensuring that a transaction can only bring the database from one valid state to another, maintaining database invariants (constraints, cascades, triggers etc.)
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).