PASS: forward/reverse waveforms, edge bounce cancellation, skipped-state resync, >2ms gap, microsecond wrap, saturation, invalid input; unseen-cycle detection NOT claimed
PASS: reject active LSE before GPIO changes, only PB2/PC15 configured, other RCC/GPIO bits preserved, raw AB count and coherent snapshot, ownership loss disables capture
