Function run_formal_ai_task 

pub fn run_formal_ai_task(
    options: &TaskOptions<'_>,
    client: &mut dyn CompletionClient,
    evidence: &mut Value,
) -> Outcome

Run one request to completion. Fills evidence (a JSON object) as it goes, sets evidence.outcome and returns the outcome.