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])

  quiet: bool,
) -> Result<ProfileStats, String> {
  let load_start = Instant::now();
  let ixon_env = IxonEnv::get_anon_mmap(std::path::Path::new(path))
    .map_err(|e| format!("profile: mmap+deserialize {path}: {e}"))?;
  eprintln!(
    "[rs_kernel_profile] loaded {} consts in {:.1?}",
    ixon_env.const_count(),
    load_start.elapsed()
  );
  let (work, addrs) = build_anon_work(&ixon_env)?;
  let targets = addrs.len();