Function build_block_profile

crates/ffi/src/kernel.rs:1723–1747

Aggregate per-constant records into a block-level [`BlockProfile`]: map each consumer/producer constant to its home block, attach serialized sizes, and accumulate heartbeats + delta edges.

(env: &IxonEnv, merged: &ProfileSink)

  build_anon_result_array(&addrs_for_return, &results)
}

/// Shared anon-mode seed context: the anon-view env, its whole-env work
/// items, and each requested name resolved to its covering work item
/// (standalone → itself; a mutual-block member → the whole block, checked
/// atomically).
struct AnonSeedContext {
  env: Arc<IxonEnv>,
  kernel_work: Vec<ix_kernel::anon_work::AnonWorkItem>,
  /// One `(displayed name, work-item index)` per requested name, in request
  /// order. Two names may share a work item (same mutual block).
  seeds: Vec<(String, usize)>,
}

/// Load `path` once and resolve `names` for anon-mode seeded checking:
/// displayed names → addresses via the full view's `named` metadata (dropped
/// right after), then the anon view + whole-env work items. `label` prefixes
/// diagnostics and error messages.
fn load_anon_seed_context(
  label: &str,
  path: &str,
  names: &[String],
) -> Result<AnonSeedContext, String> {
  use ix_kernel::anon_work::{block_of_addr, work_block_addr};

  let t0 = Instant::now();
  let bytes = std::fs::read(path)
    .map_err(|e| format!("{label}: failed to read {path}: {e}"))?;