These docs are under active development and cover the v0.20 Kobicha security model.
On this page
§1.3

Conventions

This specification uses the same normative keywords (MUST, SHOULD, MAY) as the LCS v0.21 specification, per RFC 2119.

SQL examples use SQLite syntax. Column types use SQLite's type affinity system (INTEGER, TEXT, BLOB, REAL). All SQL is illustrative -- the schema is normative, the exact DDL is guidance.

loregd is specified against SQLite. The specification names SQLite features (WAL mode, ATTACH, SAVEPOINT, PRAGMA) directly. An implementation using a different storage engine would need to provide equivalent semantics but is not the target of this spec.