Function rs_kernel_check_ixon

crates/ffi/src/kernel.rs:588–702

(
  env_path: LeanString<LeanBorrowed<'_>>,
  names: LeanArray<LeanBorrowed<'_>>,
  expect_pass: LeanArray<LeanBorrowed<'_>>,
  quiet: LeanBool<LeanBorrowed<'_>>,
  fail_out: LeanString<LeanBorrowed<'

/// observers see entries as they happen), and capped with a `# total
/// failures: N` footer once all checks complete. The format is the same
/// one `Ix.Cli.CheckIxonCmd.readNamesFile` expects (`#`-prefixed comments
/// plus bare-name lines), so the file is round-trippable as a
/// `--consts-file` input on a re-run.
#[unsafe(no_mangle)]
pub extern "C" fn rs_kernel_check_ixon(
  env_path: LeanString<LeanBorrowed<'_>>,
  names: LeanArray<LeanBorrowed<'_>>,
  expect_pass: LeanArray<LeanBorrowed<'_>>,
  quiet: LeanBool<LeanBorrowed<'_>>,
  fail_out: LeanString<LeanBorrowed<'_>>,
) -> LeanIOResult<LeanOwned> {
  let total_start = Instant::now();
  let quiet = quiet.to_bool();
  let path = env_path.to_string();
  let fail_out_path = fail_out.to_string();
  let fail_out_path =
    if fail_out_path.is_empty() { None } else { Some(fail_out_path) };
  let names_vec: Vec<Name> = decode_name_array(&names);
  let expect_pass_vec: Vec<bool> =
    expect_pass.map(|b| b.unbox_usize() == 1).into_iter().collect();

  let t0 = Instant::now();
  let bytes = match std::fs::read(&path) {
    Ok(bytes) => bytes,
    Err(e) => {
      return LeanIOResult::error_string(&format!(
        "rs_kernel_check_ixon: failed to read {path}: {e}"
      ));
    },
  };
  eprintln!(
    "[rs_kernel_check_ixon] read env:   {:>8.1?} ({} bytes)",
    t0.elapsed(),
    bytes.len()
  );

  let t1 = Instant::now();
  let mut slice: &[u8] = &bytes;
  let ixon_env = match IxonEnv::get(&mut slice) {
    Ok(env) => env,
    Err(e) => {
      return LeanIOResult::error_string(&format!(
        "rs_kernel_check_ixon: failed to deserialize {path}: {e}"
      ));
    },
  };
  drop(bytes);
  eprintln!(
    "[rs_kernel_check_ixon] deserialize:{:>8.1?} ({} named)",
    t1.elapsed(),
    ixon_env.named_count()
  );

  // Open the streaming failure log up front so any seed that fails
  // mid-run is persisted before this function returns. We open it before
  // the ingress lookups are built so that even a setup-time crash leaves
  // the user with a header noting the env path and seed count.
  let failure_log: Option<Arc<FailureLog>> = match fail_out_path.as_deref() {