Modules
Lemma rules engine for Elixir.
Structured engine error as returned by NIF error paths (load, show, run,
format, …). Keys are atoms (Rustler encoding), not JSON strings.
Pure Lemma MCP tools: engine + JSON args in, catalog or tool result text out.
OpenAPI and temporal API docs helpers (lemma_openapi crate). Separate from core [Lemma] runtime.
One uses hop on a Show data or rule path.
Typed projection of the JSON map returned by Lemma.evaluate/3: evaluated rule
results and the resolved temporal window of the spec version actually run.
One rule result from Lemma.evaluate/3, as returned in Lemma.Response.results.
Typed projection of the map returned by Lemma.show/4: a Draft 2020-12 JSON
Schema for the spec's evaluation-data inputs, with Lemma metadata under x-lemma-*.
One evaluation-data input of a spec, as returned in Lemma.Show.data: one properties
entry of the Show JSON Schema document, keyed by its input key.
Row object schema of an instance list, as returned in Lemma.Show.rows: one
$defs entry of the Show document per row spec, referenced from a list property's
items $ref.
One rule in Lemma.Show.rules (x-lemma-rules: this spec's graph, local plus reachable imports).
Default HTTP transport for Lemma.install/3. Uses Req without automatic retries so
registry failures surface promptly to the install step machine.