Directories
¶
| Path | Synopsis |
|---|---|
|
Package auth holds users, groups, API keys and sessions, and compiles access rules into SQL predicates.
|
Package auth holds users, groups, API keys and sessions, and compiles access rules into SQL predicates. |
|
Package formula holds the formula language: lexer, parser, function catalog, binder, bytecode, the Go virtual machine and the SQL generator with its SQLite and DuckDB dialects.
|
Package formula holds the formula language: lexer, parser, function catalog, binder, bytecode, the Go virtual machine and the SQL generator with its SQLite and DuckDB dialects. |
|
fuzz
Package fuzz generates random, well-typed formulas with inputs and runs each one on the Go VM and on a SQL dialect, reporting any divergence.
|
Package fuzz generates random, well-typed formulas with inputs and runs each one on the Go VM and on a SQL dialect, reporting any divergence. |
|
sqlitefn
Package sqlitefn registers the formula engine's Go functions into the pure-Go SQLite driver, so that the SQLite dialect of the SQL generator agrees with the Go VM by construction (ADR-0019).
|
Package sqlitefn registers the formula engine's Go functions into the pure-Go SQLite driver, so that the SQLite dialect of the SQL generator agrees with the Go VM by construction (ADR-0019). |
|
Package model defines document classes: the class definition as JSON, its validation into a compiled Class, the named schemas and the predefined vocabulary, and the diagnostics a definition earns.
|
Package model defines document classes: the class definition as JSON, its validation into a compiled Class, the named schemas and the predefined vocabulary, and the diagnostics a definition earns. |
|
Package query compiles the JSON filter of the Go API and the command set into SQL over a class's view, and guards the read-only SQL endpoint (docs/architecture.md, "Querying"; ADR-0038).
|
Package query compiles the JSON filter of the Go API and the command set into SQL over a class's view, and guards the read-only SQL endpoint (docs/architecture.md, "Querying"; ADR-0038). |
|
Package rules evaluates event-condition-action rules and runs built-in actions, synchronously inside the transaction or through the outbox.
|
Package rules evaluates event-condition-action rules and runs built-in actions, synchronously inside the transaction or through the outbox. |
|
Package server exposes the JSON command set over HTTP and WebSocket.
|
Package server exposes the JSON command set over HTTP and WebSocket. |
|
Package state is the statechart engine of ADR-0008 and ADR-0040: which named transition a command means, which transitions leave a state, and the chain of eventless transitions a commit follows after its recalculation, with its bound.
|
Package state is the statechart engine of ADR-0008 and ADR-0040: which named transition a command means, which transitions leave a state, and the chain of eventless transitions a commit follows after its recalculation, with its bound. |
|
Package store is the SQLite storage layer and the document engine of Phase 2: one file holds the classes, the schemas, the typed document tables of ADR-0014, the event log of ADR-0006 and ADR-0026, and the database's own metadata.
|
Package store is the SQLite storage layer and the document engine of Phase 2: one file holds the classes, the schemas, the typed document tables of ADR-0014, the event log of ADR-0006 and ADR-0026, and the database's own metadata. |
Click to show internal directories.
Click to hide internal directories.