Function check_consts_loop

crates/ffi/src/kernel.rs:2382–2492

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

              TypeChecker::<Anon>::new_with_lazy_anon(&mut kenv, &env);
            let r = tc.check_const(&kid);
            // The TypeChecker is recreated per work item, so the final
            // constant's record would never be flushed by a trailing reset —
            // flush it explicitly.
            tc.finish_constant_accounting();
            r
          };
          if res.is_ok() {
            passed.fetch_add(1, Ordering::Relaxed);
          } else {
            failed.fetch_add(1, Ordering::Relaxed);
          }
          checks_since_clear += 1;
        }
        if let Some(sink) = kenv.profile_sink.take() {
          sinks.lock().unwrap().push(sink);
        }
      })
      .map_err(|e| format!("spawn profile worker: {e}"))?;
    handles.push(handle);
  }

  let mut panicked = false;
  for h in handles {
    if h.join().is_err() {
      panicked = true;
    }
  }
  if panicked {
    return Err("profile worker panicked".to_string());
  }

  let mut merged = ProfileSink::new(isolate);
  let collected = Arc::try_unwrap(sinks)
    .map_err(|_| "profile sinks still shared".to_string())?
    .into_inner()
    .map_err(|_| "profile sinks mutex poisoned".to_string())?;
  for s in collected {
    merged.merge(s);
  }
  Ok((passed.load(Ordering::Relaxed), failed.load(Ordering::Relaxed), merged))
}

/// Profile a `.ixe` out of circuit and write the `.ixprof` sidecar. Pure-Rust
/// entry point (used by the FFI wrapper and Rust tests).
pub fn profile_anon_ixe(
  path: &str,
  out: &str,
  isolate: bool,
  quiet: bool,
) -> Result<ProfileStats, String> {
  let load_start = Instant::now();
  let ixon_env = IxonEnv::get_anon_mmap(std::path::Path::new(path))
    .map_err(|e| format!("profile: mmap+deserialize {path}: {e}"))?;
  eprintln!(
    "[rs_kernel_profile] loaded {} consts in {:.1?}",
    ixon_env.const_count(),
    load_start.elapsed()
  );