Function resolve 

pub fn resolve(
    pack: &Pack,
    included: &[String],
    overrides: &BTreeMap<String, (Option<String>, Option<String>)>,
    vars: &BTreeMap<String, String>,
) -> Result<Vec<ResolvedClause>>

Apply a pack + overrides to produce the final ordered clause list.

included is the contract’s chosen clause order (typically pack defaults modulo –include/–exclude). overrides maps slug -> (heading?, body?) for clauses the user has customised via contract clauses edit.