Function describe_gap 

pub fn describe_gap(gap: &Value, effects: &EffectDiff) -> String

Capability gap, in words. When tools changed the working directory, the message keeps what start observed: Formal AI’s gap still means the task is not confirmed, whatever start verified on its own (#261).