Function refine_tof_multibank_with_runtime 

pub fn refine_tof_multibank_with_runtime(
    input: &TofMultiBankInput,
    options: &TofLeBailOptions,
    checkpoint: Option<&TofMultiBankCheckpoint>,
    runtime: &mut RefinementRuntime<TofMultiBankCheckpoint>,
) -> Result<TofMultiBankResult, TofMultiBankError>

Run atomic multi-bank extraction with host runtime and optional continuation.

A model evaluation covers all banks. Candidate state is accepted only after every bank completes the cycle, so cancellation or failure cannot expose a partially advanced bank set.

Errors

Returns TofMultiBankError for contract, calculation, residual, or non-normal runtime failures.