# lemma_engine v0.9.7 - Table of Contents

> Lemma rules engine for Elixir

## Pages

- [Lemma](readme.md)

## Modules

- [Lemma](Lemma.md): Lemma rules engine for Elixir.
- [Lemma.EngineError](Lemma.EngineError.md): Structured engine error as returned by NIF error paths (`load`, `show`, `run`,
`format`, …). Keys are atoms (Rustler encoding), not JSON strings.
- [Lemma.Mcp](Lemma.Mcp.md): Pure Lemma MCP tools: engine + arguments in, catalog or text out.

- [Lemma.OpenAPI](Lemma.OpenAPI.md): OpenAPI and temporal API docs helpers (`lemma_openapi` crate). Separate from core [`Lemma`] runtime.

- [Lemma.Response](Lemma.Response.md): Typed projection of the JSON map returned by `Lemma.run/3`: evaluated rule
results and the resolved temporal window of the spec version actually run.
- [Lemma.RuleResult](Lemma.RuleResult.md): One rule result from `Lemma.run/3`, as returned in `Lemma.Response.results`.
- [Lemma.Show](Lemma.Show.md): Typed projection of the JSON map returned by `Lemma.show/4`: spec interface and
resolved temporal window.
- [Lemma.ShowData](Lemma.ShowData.md): One input declared in a spec, as returned in `Lemma.Show.data`.
- [Lemma.ShowVersion](Lemma.ShowVersion.md): Half-open `[effective_from, effective_to)` for one loaded temporal row, as returned
in `Lemma.Show.versions`.