Function result_id_in 

pub fn result_id_in(
    schema: &str,
    target_lean: &str,
    files: &BTreeMap<String, String>,
) -> String

The result identity under schema, which is the preimage’s domain: the same files under two contracts have two identities.