Function written_in 

pub fn written_in(spec: &ModelSpec, cut: Cut, dir: &str) -> (Authored, Identity)

The cut cut of spec’s program with its weight manifest under dir, and its identity.