Function import_audited_retaining 

pub fn import_audited_retaining(
    input: &str,
    names: &[String],
) -> Result<(ImportedContext, ImportReport), Verdict>

Import with the declaration audit, retaining the checked type and body of every named declaration that has one — a target and its dependency closure (intake::Intake::closure). Nothing outside names is copied: retention costs the closure, never the whole environment.