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 [Medium]
3. Instance coverage, type coverage and merge_instances [Medium]
4. option.at_least per instance with averaged type coverage [Medium]
5. auto_bin_max is ignored once bins are explicit [Medium]
6. option.weight zero removes metric influence [Easy]Work each puzzle before reading the solution: predict the exact output or answer, name the rule that governs it, then check yourself.