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.
storage
Abstract object-store subsystem — ObjectStore protocol + concrete adapters (S3-compatible today; GCS / Azure Blob / local-filesystem future).
cache
Abstract cache subsystem — CacheBackend protocol + concrete adapters (Redis, future LRU/Memcached).
search
Abstract search subsystem — SearchIndex protocol + concrete adapters (MeiliSearch today; Elasticsearch / Typesense / SQLite FTS5 / in-memory future).
redis
Multi-purpose Redis subsystem — RESP3 client + commands + pub/sub + streams + transactions + scripting.
archive
Archive entry types, the Archive protocol, and the declared tar adapter API.
configuration
Universal configuration subsystem — parse / serialise / validate / convert / merge / interpolate across formats (TOML / YAML / JSON / INI / env).