Documentation

SQLodin Discussions

Design decisions, alternatives and implementation boundaries. Each SOD states its current status.

• SOD 0001: The SQLodin Discussion Process

  Defines the SOD lifecycle, design-discussion structure, revision rules and Typst workflow.

  Committed
• SOD 0002: SQLodin Architecture: Multi-Master Replicated SQLite Protocol

  Accepted fixed-voter architecture: whole upstream library, durable SQL ordering, explicit read semantics and bounded clients.

  Committed
• SOD 0003: Mathematical Foundations and Safety Proofs for Multi-Master Consensus

  Agreement and host composition arguments, bounded model checks, selected inductive proofs and their explicit assumptions.

  Committed
• SOD 0004: Production SQL and Durable Throughput

  Accepted durable host design and tradeoffs; fixed-voter correctness qualification completed with performance shortfalls disclosed.

  Committed
• SOD 0005: Durable Turns, Fast Learning, Quorum Reads and a Journal-Backed Application

  Measured sync-barrier chains; one barrier per turn, Mencius no-op learning, quorum-frontier reads and a WAL NORMAL application cache, with models and proofs.

  In Discussion