correctness▌

WAL mechanics, checkpointing, concurrency, and recovery in Turso's SQLite implementation. \n \n Turso uses WAL (Write-Ahead Logging) exclusively with in-memory WAL index instead of SQLite's shared memory file, supporting one writer and concurrent readers without blocking \n Checkpointing transfers WAL pages back to the main database in four modes: PASSIVE (non-blocking), FULL (waits for readers), RESTART (resets WAL), and TRUNCATE (truncates WAL file) \n Each connection maintains private page ca

ln-652-transaction-correctness-auditor