Function dependency_identifier_from_dependency_path 

pub fn dependency_identifier_from_dependency_path(
    workdir: &Path,
    dependency_path: &Path,
) -> String

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