Method finish

crates/ffi/src/kernel.rs:2578–2586

(&self, worker_idx: usize, outcome: &CheckOutcome)

  let cap =
    if ram > 0.0 { ix_kernel::shard::cycle_cap_for_ram(ram) } else { mc };
  if cap == 0 {
    return LeanIOResult::error_string(
      "shard cap: RAM budget too small (must clear the ~50 GiB prover base)",
    );
  }
  let out = out_path.to_string();
  let out_opt = if out.is_empty() { None } else { Some(out.as_str()) };
  match ix_kernel::shard::shard_esp_cap(
    &esp_path.to_string(),
    cap,
    balance,
    parallelism,