lorqrz
Yes your assumption is correct, even in case of a supersaver ticket (= only ticket type where a specific train with a specific departure time would be mentioned at all). A ticket inspector in the train should be able to look up the delay on his mobile control device.
With all other ticket types (not mentioning a specific train), this is also fine anyway.