Constant EMBEDDED_STDLIB_REPOSITORY 

pub const EMBEDDED_STDLIB_REPOSITORY: &str = "lemma";

Repository name reserved for the embedded standard library (repo lemma, spec si). User Engine::load / Engine::load_batch must not target this name.