Function run_checks_on_large_stack

crates/ffi/src/kernel.rs:1005–1058

(
  ixon_env: Arc<IxonEnv>,
  lookups: Arc<IxonIngressLookups>,
  names: Vec<Name>,
  expect_pass: Vec<bool>,
  ungrounded: FxHashMap<Name, String>,
  quiet: bool,
  failure_log: Option<Arc<FailureLog

      let key = (block_key, should_pass);
      if let Some(work_idx) = by_block.get(&key).copied() {
        work[work_idx].aliases.push(i);
        continue;
      }
      let work_idx = work.len();
      by_block.insert(key, work_idx);
    }

    work.push(CheckWorkItem { primary: i, aliases: vec![i] });
  }

  work
}

fn check_schedule_block_addr(
  ixon_env: &IxonEnv,
  name: &Name,
  ungrounded: &FxHashMap<Name, String>,
) -> Option<Address> {
  if ungrounded.contains_key(name) {
    return None;
  }
  let named = ixon_env.lookup_name(name)?;
  if matches!(named.meta().info, ConstantMetaInfo::Muts { .. }) {
    return None;
  }
  let constant = ixon_env.get_const(&named.addr)?;
  // Only collapse work by actual serialized kernel blocks. Projection
  // constants carry the SCC block address directly; ordinary constants are
  // singleton blocks. Do not use declaration-family `all` metadata here: it
  // can include names that are not checked by the same kernel block.
  match &constant.info {
    IxonCI::IPrj(p) => Some(p.block.clone()),
    IxonCI::CPrj(p) => Some(p.block.clone()),
    IxonCI::RPrj(p) => Some(p.block.clone()),
    IxonCI::DPrj(p) => Some(p.block.clone()),
    IxonCI::Muts(_) => None,
    _ => Some(named.addr),
  }
}

fn run_checks_on_large_stack<M: KernelMode>(
  ixon_env: Arc<IxonEnv>,
  lookups: Arc<IxonIngressLookups>,
  names: Vec<Name>,
  expect_pass: Vec<bool>,
  ungrounded: FxHashMap<Name, String>,
  quiet: bool,
  failure_log: Option<Arc<FailureLog>>,
) -> Result<Vec<CheckRes>, String>
where
  M::MField<Vec<Name>>: CheckDupLevelParams,
{
  if names.is_empty() {
    eprintln!("[rs_kernel_check] checking 0 constants...");
    return Ok(Vec::new());
  }