Function demands 

pub fn demands(
    spec: &ModelSpec,
    h: &GgufHeader,
    program: &Program,
    step: &Step,
) -> Result<Vec<Demand>, TwinRefusal>

The work of every command of program over step on the checkpoint h describes.