Function profile_anon_ixe

crates/ffi/src/kernel.rs:1851–1895

Profile a `.ixe` out of circuit and write the `.ixprof` sidecar. Pure-Rust entry point (used by the FFI wrapper and Rust tests).

(
  path: &str,
  out: &str,
  isolate: bool,
  quiet: bool,
)

      KItem::Block { block_addr, .. } => closure.contains(block_addr),
    })
    .cloned()
    .collect()
}

/// FFI: anon-mode type-check of named constants with (by default) their full
/// dependency closures — the same mode and scope as the zkVM hosts' `--consts`
/// execute path, so an out-of-circuit run is directly comparable to the
/// in-circuit one. `skip_deps` restricts the check to each name's own work
/// item (subject-only; deps trusted), mirroring `zisk-host --skip-deps`.
///
/// Names resolve through the env's `named` metadata by displayed form (the
/// same string match the zkVM hosts use), then the metadata is dropped and
/// the check runs on the anon view — the kernel never sees names. A member
/// of a mutual block selects the whole block's work item (blocks check
/// atomically). Multiple names union their closures into one check set.
///
/// `json_path` (empty = off) additionally emits per-name benchmark results
/// rows. With it set, each name is checked as its own closure run — the
/// per-constant scope the zkVM hosts measure — instead of one union set:
/// the env still loads once, and each row's `check-time`/`peak-rss` window
/// wraps only that name's closure selection + check. Rows are flushed per
/// name, so a killed run keeps completed rows; a rejected name gets
/// `status: rejected` and the loop continues.
///
/// Returns `(hex_address, Option CheckError)` pairs, one per checked target,
/// exactly like `rs_kernel_check_anon` (concatenated across names when
/// per-name rows are on — shared deps then appear once per name that
/// re-checked them).
#[unsafe(no_mangle)]
pub extern "C" fn rs_kernel_check_anon_consts(
  env_path: LeanString<LeanBorrowed<'_>>,
  names: LeanArray<LeanBorrowed<'_>>,
  skip_deps: LeanBool<LeanBorrowed<'_>>,
  quiet: LeanBool<LeanBorrowed<'_>>,
  fail_out: LeanString<LeanBorrowed<'_>>,
  json_path: LeanString<LeanBorrowed<'_>>,
) -> LeanIOResult<LeanOwned> {
  let total_start = Instant::now();
  let quiet = quiet.to_bool();
  let skip_deps = skip_deps.to_bool();
  let path = env_path.to_string();
  let fail_out_path = fail_out.to_string();
  let fail_out_path =
    if fail_out_path.is_empty() { None } else { Some(fail_out_path) };
  let json_path = json_path.to_string();
  let names_vec: Vec<String> = names.map(|obj| obj.as_string().to_string());
  if names_vec.is_empty() {
    return LeanIOResult::error_string(