Method min_leaf

crates/kernel/src/shard.rs:291–296

The smallest shard id under this node — its left-to-right position. Used to keep aggregation children in shard order (so the subject merkle-fold stays the left-associative order the agg guest reproduces).

(&self)

  pub fn collect_leaves(&self, out: &mut Vec<u32>) {
    match self {
      AggNode::Leaf(id) => out.push(*id),
      AggNode::Internal(l, r) => {
        l.collect_leaves(out);
        r.collect_leaves(out);
      },
    }
  }

  /// The smallest shard id under this node — its left-to-right position. Used to