Function is_graded 

pub fn is_graded<C: Chunk>(chunks: &[C]) -> bool

Whether chunks satisfy the Chunk::TARGET grading invariant: every chunk at most TARGET, and every adjacent pair summing to more than TARGET (so no two neighbours could be combined into one legal chunk — a maximal packing).

This is the post-settle shape; useful as a test/debug check.