Function written_split 

pub fn written_split(
    spec: &ModelSpec,
    cut: Cut,
    dir: &str,
    tp: usize,
) -> Result<(TpAuthored, Identity), NotYet>

The cut cut of spec’s program split over tp chips with its manifest under dir, and its identity.