Module engine 

Structs

Context

Ordered store of specs keyed by (repository, name) and grouped into LemmaSpecSets.

Engine

Engine for evaluating Lemma rules.

Errors

Load failure: errors plus the source texts we attempted to load.

ResolvedRepository

A loaded repository with all its spec sets.

Functions

collect_lemma_sources

Collect .lemma source texts from filesystem paths (paths and one-level directories). Does not touch an Engine; pair with Engine::load / Engine::load_batch.