Function run_checks_serial_on_large_stack

crates/ffi/src/kernel.rs:1060–1090

(
  ixon_env: Arc<IxonEnv>,
  lookups: Arc<IxonIngressLookups>,
  names: Vec<Name>,
  expect_pass: Vec<bool>,
  ungrounded: FxHashMap<Name, String>,
  work: Vec<CheckWorkItem>,
  quiet: bool,
  failur

    eprintln!("[rs_kernel_check] checking 0 constants...");
    return Ok(Vec::new());
  }

  let work = build_check_work(&ixon_env, &names, &expect_pass, &ungrounded);
  if work.len() == names.len() {
    eprintln!("[rs_kernel_check] checking {} constants...", names.len());
  } else {
    eprintln!(
      "[rs_kernel_check] checking {} block work item(s) for {} constants...",
      work.len(),
      names.len()
    );
  }

  let worker_count = resolve_kernel_check_workers(work.len(), quiet);
  if worker_count == 1 {
    return run_checks_serial_on_large_stack::<M>(
      ixon_env,
      lookups,
      names,
      expect_pass,
      ungrounded,
      work,
      quiet,
      failure_log,
    );
  }

  run_checks_parallel_on_large_stacks::<M>(
    ixon_env,
    lookups,
    names,
    expect_pass,
    ungrounded,
    work,