Diagnose closure stalls by separating true stimulus gaps from unreachable bins and sampling-region mistakes, then read metrics correctly across instances.
1. Sampling region off-by-one on state bins [Medium]
2. Unreachable bin from stimulus constraints [Easy]
3. Sampling on a derived clock sees the updated value [Medium]
4. Reset-time samples filtered by iff [Medium]
5. Unreachable cross tuple from protocol rules [Medium]
6. at_least threshold causes closure plateau [Medium]Work each puzzle before reading the solution: predict the exact output or answer, name the rule that governs it, then check yourself.