Documentation
From one binary to verifiable results.
Learn the operating model, exact query semantics, public contracts, proof system, and recovery workflow without depending on oral context.
Quickstart
Build the binary, write data, query, back up, and inspect recovery evidence.
Read guide →GUIDECore concepts
Understand durable authority, documents, mutation IDs, snapshots, and indexes.
Read guide →GUIDEQuery semantics
Filters, global sort, cursors, aggregations, limits, timeouts, and no partial success.
Read guide →GUIDEResult proofs
Create portable proof files and reexecute them against caller-pinned evidence.
Read guide →GUIDEAPI v1
Use the loopback-first proof-bearing HTTP contract and equivalent clients.
Read guide →GUIDEOperations
Install, recover, diagnose, compact, back up, verify, and restore.
Read guide →Recommended path
Learn in the same order the engine executes.
Start with data and mutations, then query, then proof, then operations and remote contracts.
- 01Run
Build one binary and choose one data directory.
- 02Store
Write structured records with mutation IDs.
- 03Query
Use exact filters, sorting, cursors, and budgets.
- 04Verify
Carry a result proof across the trust boundary.
- 05Operate
Back up, diagnose, compact, and restore.