Function decode_at 

pub fn decode_at(
    spec: &ModelSpec,
    dir: &str,
    ctx: usize,
    tok: usize,
    pos: usize,
) -> Authored

Cut::Decode at a run’s own inputs: token tok (from 1) at position pos, its manifest under dir.