Function build_result_array

crates/ffi/src/kernel.rs:2977–2983

Build an `IO (Array (Option CheckError))` from Rust results. The Lean caller pairs each slot with `names[i]` (the input array) for display, so there's no name in the returned tuple.

(results: &[CheckRes])

  // Terminal width is only needed for ephemeral clearing in quiet mode. In
  // verbose mode we never rewrite, so the value is ignored.
  let mut progress = Progress::new(quiet);
  let mut kenv = KEnv::<M>::new();
  let clear_every = kernel_check_clear_every();
  let mut checks_since_clear = clear_every;

  for (work_idx, item) in work.iter().enumerate() {
    if checks_since_clear >= clear_every {
      kenv.clear_releasing_memory();
      checks_since_clear = 0;
    }