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 dialect; the DuckDB dialect follows as Phase 1 continues.
|
Package formula holds the formula language: lexer, parser, function catalog, binder, bytecode, the Go virtual machine and the SQL generator with its SQLite dialect; the DuckDB dialect follows as Phase 1 continues. |
|
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: typed named values, formulas, states, transitions, rules and access rules, with validation and versioning.
|
Package model defines document classes: typed named values, formulas, states, transitions, rules and access rules, with validation and versioning. |
|
Package query implements the JSON filter DSL and the read-only SQL endpoint with predicate injection.
|
Package query implements the JSON filter DSL and the read-only SQL endpoint with predicate injection. |
|
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: guards, entry and exit effects, eventless transitions and snapshots.
|
Package state is the statechart engine: guards, entry and exit effects, eventless transitions and snapshots. |
|
Package store is the SQLite storage layer: one table per document class, the append-only event log, the action outbox and schema migrations.
|
Package store is the SQLite storage layer: one table per document class, the append-only event log, the action outbox and schema migrations. |
Click to show internal directories.
Click to hide internal directories.