The original /24 subnet falls in the first 256 IPs of the /23. Device 1 has static IP settings and is not really controlled by IT, so the mask didn't get updated in the conversion to a /23.

Learn how to change the Subnet Mask in Windows 11/10 using Settings, Control Panel, PowerShell and your browser. Subnet Mask divides IP address into two segments.