Module deps 

Dependency cache layout under <workdir>/.deps/, shared by CLI fetch and LSP.

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 .deps/ .lemma file path (same string CLI load_batch passes as dependency_id).

lemma_deps_dir

relative_dependency_cache_path

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