Reason about how option.at_least, auto_bin_max, option.weight, per_instance, and type_option change both per-bin and aggregate metrics.
1. auto_bin_max and at_least together [Medium]
2. Weighted aggregate coverage math [Hard]
3. per_instance exposure of hidden holes [Medium]
4. type_option.at_least across all instances [Hard]
5. type_option.auto_bin_max bin grouping [Medium]
6. option.weight zero removes metric influence [Medium]Work each puzzle before reading the solution: predict the exact output or answer, name the rule that governs it, then check yourself.