Method u128

crates/kernel/src/shard.rs:1500–1502

(&mut self)

    use rustc_hash::FxHashMap;

    // Older/fixed-count planners can leave block-empty shard records when the
    // requested count exceeds the realizable partition. Never persist those
    // leaves: omit them, contract the aggregation tree, and densely renumber
    // the survivors. The Lean consumer additionally prunes zero-*constant*
    // legacy leaves after validating them against the environment.
    let retained: Vec<&ShardInfo> =