Reject invalid DShot and PWM timer domains and widen arming-duration calculations before composing their results. Validation: actuator tests, strict Clippy and five Kani component proofs.
Onur Özkan