Function check_schedule_block_addr

crates/ffi/src/kernel.rs:978–1003

(
  ixon_env: &IxonEnv,
  name: &Name,
  ungrounded: &FxHashMap<Name, String>,
)

/// spawning its `.dedicated` workers so they get `KERNEL_CHECK_STACK_SIZE`-
/// class stacks — deep recursor expansions overflow the default 8 MB
/// `lthread` stack just like they would the Rust workers' (see above).
#[unsafe(no_mangle)]
extern "C" fn rs_lean_set_thread_stack_size(
  size: usize,
) -> LeanIOResult<LeanOwned> {
  unsafe { lean_internal_set_thread_stack_size(size) };
  LeanIOResult::ok(LeanOwned::box_usize(0))
}

#[derive(Clone, Debug)]
struct CheckWorkItem {
  primary: usize,
  aliases: Vec<usize>,
}

fn build_check_work(
  ixon_env: &IxonEnv,
  names: &[Name],
  expect_pass: &[bool],
  ungrounded: &FxHashMap<Name, String>,
) -> Vec<CheckWorkItem> {
  let mut work: Vec<CheckWorkItem> = Vec::with_capacity(names.len());
  let mut by_block: FxHashMap<(Address, bool), usize> = FxHashMap::default();

  for (i, name) in names.iter().enumerate() {
    let should_pass = expect_pass.get(i).copied().unwrap_or(true);
    let block_key = check_schedule_block_addr(ixon_env, name, ungrounded);
    if let Some(block_key) = block_key {
      let key = (block_key, should_pass);