Function prove_report

crates/kernel/src/shard.rs:1765–1781

One-line prove-time report fragment shared by [`shard_esp`] and [`shard_esp_cap`]: total steps across all shards plus the wall-clock estimate at the requested `parallelism` (and the sequential baseline).

(
  profile: &BlockProfile,
  shard_of: &[u32],
  manifest: &ShardManifest,
  parallelism: usize,
)

      let fb: f64 = fr[k]
        .keys()
        .map(|&p| f64::from(profile.block(p).serialized_size))
        .sum();
      owned[k] + STATIC_FRONTIER_PER_BYTE * fb
    })
    .collect()
}

/// Partition a STATIC block profile (reference graph + sizes, no kernel
/// run — see `ix shard graph` / the FFI static-profile builder) into
/// `num_shards` shards: byte-balanced min-cut over the walk-edge nets,
/// then the [`rebalance_static`] post-pass toward equal predicted cost.
/// Writes the same `.ixes` manifest as [`shard_esp`]. This is the
/// `ix shard <env.ixe>` (no `--profile`) strategy; measured against the
/// profiled strategy it cut mean shard FFT ~30% and the max shard
/// 44–51% on the Init(8)/Std(24) harnesses.
pub fn shard_static(
  profile: &BlockProfile,
  num_shards: usize,
  balance: f64,
  out_path: Option<&str>,