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.
Loom — SQLite engine deep-dive
Per-layer architecture of core.database.sqlite.native — VFS through public API, with module-level breakdown, data flow, invariants, and links to spec sections.
core.database.postgres — pure-Verum PostgreSQL driver
Pure-Verum implementation of the PostgreSQL v3 wire protocol — no libpq, no FFI shim. Affine transactions, query cancellation, LISTEN/NOTIFY, COPY streaming, SCRAM-SHA-256 auth, extended protocol with prepared-statement cache.
core.database.mysql — pure-Verum MySQL 8 driver
Pure-Verum implementation of the MySQL 8 binary protocol — no libmysqlclient, no FFI shim. Affine transactions, COM_STMT_PREPARE/EXECUTE prepared statements, caching_sha2_password authentication, REPEATABLE READ default isolation.
Money — currency-aware monetary value
Currency type with ISO 4217 minor units, Money type with currency-correct arithmetic, fair-split, and cross-currency rejection at the type level.