A 36-year-old female patient presents to your clinic with a 10-day history of neck pain and stiffness. The patient reports that the pain started after painting her house and has progressively worsened. She has trouble turning her head to the right and has noticed muscle tightness on the left side of her neck. Physical examination reveals tenderness over the left cervical paraspinal muscles at the C5 vertebral level. You diagnose the patient with cervical somatic dysfunction and decide to use the High-Velocity Low-Amplitude (HVLA) technique for treatment. During the treatment, the HVLA force was applied to C5 with the patient’s neck extended, rotated left, and sidebent left. The treatment is successful, and the patient experiences a significant reduction in pain and stiffness. Based on the patient’s response to HVLA treatment and the specific treatment technique applied, which of the following was the most likely cervical somatic dysfunction diagnosis that was addressed during the treatment session?