Function kernel_check_mem_suffix

crates/ffi/src/kernel.rs:2198–2210

(peak_rss_mib: Option<&AtomicU64>)

  LeanIOResult::ok(LeanOwned::box_usize(0))
}

// ===========================================================================
// Sharding profiler: run the anon kernel out of circuit over a `.ixe`,
// recording per-block heartbeats + the delta-unfold graph into a `.ixprof`.
// See `plans/sharding.md`.
// ===========================================================================

/// Summary returned by [`profile_anon_ixe`].
pub struct ProfileStats {
  pub targets: usize,
  pub passed: usize,
  pub failed: usize,
  pub blocks: usize,
  pub edges: usize,
  pub bytes: usize,
}