Function multilevel_separates_large_clusters

crates/kernel/src/shard.rs:2339–2365

()

    max_shard_steps,
    largest_block_steps: largest_block,
    infeasible_atomic_floor: infeasible,
  }
}

/// Collect the leaf shard ids of an [`AggNode`] in left-to-right DFS order.
fn dfs_leaf_order(node: &AggNode, out: &mut Vec<u32>) {
  match node {
    AggNode::Leaf(id) => out.push(*id),
    AggNode::Internal(l, r) => {
      dfs_leaf_order(l, out);
      dfs_leaf_order(r, out);
    },
  }
}

/// A balanced binary [`AggNode`] over the contiguous shard-id range `lo..hi`.
fn balanced_agg_tree(lo: u32, hi: u32) -> AggNode {
  debug_assert!(hi > lo);
  if hi - lo <= 1 {
    AggNode::Leaf(lo)
  } else {
    let mid = lo + (hi - lo) / 2;
    AggNode::Internal(
      Box::new(balanced_agg_tree(lo, mid)),
      Box::new(balanced_agg_tree(mid, hi)),
    )
  }
}

#[cfg(test)]