Function kernel_check_slow_threshold

crates/ffi/src/kernel.rs:2115–2117

()

  // Resolve displayed names → addresses through the full env's `named`
  // metadata (the anon view discards it). Keys and requests both go
  // through `normalize_displayed_name` (Lean `«»`-escaped ↔ Rust bare).
  let by_name: FxHashMap<String, Address> = full
    .named
    .iter()
    .map(|e| {
      (normalize_displayed_name(&e.key().to_string()), e.value().addr.clone())