Function validate_deps_exist 

pub fn validate_deps_exist(
    specs: &[LoadedSpec],
) -> (Vec<SpecError>, Vec<SpecWarning>)

Validate that all internal deps referenced by loaded specs exist in the same spec set.

For M2, deps are always strict: any missing dep is an error.