core.database — native SQLite (codename "loom")
Pure-Verum reimplementation of SQLite 3.x — an 8-layer storage stack (L0 VFS through L7 API) with actor-based pager, CBGR arena page cache, WAL + rollback journal, and SMT-verified B-tree and WAL invariants.