Function kernel_check_diag_threshold

crates/ffi/src/kernel.rs:2127–2136

Threshold (max cache len) above which a per-block diagnostic line is emitted, when `IX_KERNEL_CHECK_DIAG=1`. Default 100k entries — empirically well above the typical mathlib block, so only the heavy outliers print. Override with `IX_KERNEL_CHECK_DIAG_THRESHOLD=N`.

()

  for n in &names_vec {
    match by_name.get(&normalize_displayed_name(n)) {
      Some(a) => resolved.push(a.clone()),
      None => missing.push(n),
    }
  }
  if !missing.is_empty() {
    return LeanIOResult::error_string(&format!(
      "rs_env_extract: no constant(s) named [{}] in {path}",
      missing.join(", ")
    ));
  }

  let mut slice: &[u8] = &bytes;
  let anon = match IxonEnv::get_anon(&mut slice) {