The observation timestamp is already managed by the core; there is no need for the checker to record it separately.
