[bettercallcaleb]

Problem

The model list treats a split GGUF as loadable as soon as shard 1 exists, even if later shards are missing. It also sums shards with the same stem but different -of-N counts. This can show a model that cannot load, with an incorrect size.

Change

Require every numbered shard from 1 through the declared total, matching that exact total. Incomplete groups are omitted from the model list; regular single-file models remain unchanged.

Verification

• New regression test failed before the fix and passed afterward, covering incomplete sets and matching stems with different shard totals.
• cargo test --locked -- --skip spirv_is_fresh: passed.
• git diff --check: passed.
• The unfiltered local suite has a separate spirv_is_fresh failure because the installed GLSL compiler rejects an existing shader; neither shaders nor SPIR-V were modified.

[Vasyl-Trefilov]

Thanks for contribute, this is right. A model with a missing shard should not be offered, and summing shards across different -of-N totals was a real bug. The total <= files.len() bound is a good touch too.