Correct - as per the CS website (https://www.sleeper.scot/coronavirus-covid-19/) seats are out of action until 31 August and logically the day services provided by the Inverness train (and Fort William train in due course) cannot be provided.
For avid followers of the sleeper on RTT, this is why 1S25 has arrived in the region of 50 minutes early some days recently, or been able to make up significant time en route to Inverness when its been delayed further south.
Why was the day time Northbound pickups into Inverness only dropped from 8th of June?