Module registry 

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

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

The engine calls resolve_spec and resolve_type 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 identifier without the leading @ (for example "user/workspace/somespec" for spec @user/workspace/somespec).

Structs

LemmaBase

The LemmaBase registry fetches Lemma source text from LemmaBase.com.

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 @... references.

Functions

resolve_registry_references

Resolve all external @... references in the given spec set.