pub fn contract(spec: &ModelSpec, ctx: usize) -> Result<Contract, HandoffError>Expand description
The carried state of spec’s decode step over ctx positions: every layer’s, in layer order and, within a layer, in
the order its program first touches it.