Module registry 

Registry trait, types, and resolution logic for external repository references.

A Registry maps repository identifiers to Lemma source text (for resolution) and to human-facing addresses (for editor navigation).

The engine calls resolve_registry_references during the resolution step (after parsing local files, before planning) to fetch external specs. The Language Server calls url_for_id to produce clickable links.

Input to all methods is the full repository name as it appears in source (e.g. "@org/project" including the @ prefix).

Structs

LemmaBase

The LemmaBase registry fetches Lemma source text from LemmaBase.

RegistryBundle

A bundle of Lemma source text returned by the Registry.

RegistryError

An error returned by a Registry implementation.

Enums

RegistryErrorKind

The kind of failure that occurred during a Registry operation.

Traits

Registry

Trait for resolving external repository references.

Functions

resolve_registry_references

Resolve every uses <repository> <spec> or data x: y from <repository> <spec> reference in the loaded specs.