Cyan coloured artefacts on HDR photos - iPhone X
Yesterday I noticed that the new photos I have taken with my iPone are showing a circular spot, cyan coloured. The spots are not in fixed place, on each photo in a different location. And they are only visible in the HDR version of the photo. The normal version of the HDR-Normal pair is fine, so it does not look like a problem with the lens.
Here are a few examples:
Is this a known problem?
Restarting the Camera.app and the iPhone did not fix it.
iPhone X, iOS 11.3.1, 256GB, space gray