Module deps 

Constants

LEMMA_DEPS_DIR_NAME

Workspace-relative directory name holding fetched registry bundles. Committed to version control: there is no lock file, so the on-disk source is authoritative.

Functions

dependency_cache_file

Absolute path where lemma fetch writes the bundle for this registry qualifier.

dependency_identifier_from_dependency_path

Derive registry dependency id from a lemma_deps/ .lemma file path (same string CLI load_batch passes as dependency_id).

lemma_deps_dir

relative_dependency_cache_path

Relative path under lemma_deps/ for a fetched registry bundle (GET /@id.lemma identity includes @).