A Release Contract for SQLite Schema Migrations Oct 6, 2026 Design sequential, transactional, and verifiable SQLite migrations, then prove upgrade and recovery behavior against realistic old databases.