Module install 

Shared LemmaBase install for CLI install and MCP install.

Install = download + persist into lemma_deps/.

Structs

LemmaDepsScan

Result of walking lemma_deps/ against a candidate repository source.

ReqwestTransport

Enums

InstallError

Failure installing a LemmaBase repository.

InstallOutcome

Result of a successful single-id registry install.

Functions

atomic_write

Atomic write: write_tmp then rename_tmp.

block_on_registry

Drive an async future on the process-wide install runtime.

install_registry_dependency

Download, conflict-scan, plan-probe, and persist one LemmaBase repository.

persist_registry_dependency

Conflict-scan, plan-probe, and persist one LemmaBase repository source.

rename_tmp

Rename a temp file produced by write_tmp onto path.

scan_lemma_deps

Walk lemma_deps/ for spec-name conflicts. Unparseable or unreadable .lemma files are errors.

write_tmp

Write contents to .{file}.tmp beside path, fsync. Does not rename.