SLIM has is very likely to have achieved its primary goal

[GoodTaste]

Innovative technology
According to Kuninaka, SLIM has is very likely to have achieved its primary goal — to land on the Moon with an unprecedented accuracy of 100 metres, which is a big leap from previous ranges of a few to dozens of kilometres.

Source: Nature Japan’s successful Moon landing was the most precise ever

Here is an odd typo in "SLIM has is very likely to have achieved its primary goal". I am wondering what caused the problem. What I am guessing right now is:
The writer intended initially to write "SLIM has very likely achieved its primary goal", and then he changed his mind, rewriting it as "SLIM is very likely to have achieved its primary goal". His mind settled here, yet he forgot to delete "has" and it slipped through the editor's scrutiny.

I wonder whether you native speakers figure it out this way as well.

 

[jutfrank]

Yes, that's certainly one possible explanation of how the error came to be.

 

[Skrej]

As a native speaker, I don't think about such things. I just see the error, be glad it wasn't my mistake, and carry on reading. No need to rationalize it beyond 'sometimes we make mistakes'.

I make enough mistakes of my own that I to worry about catching rather than be bothered by pondering other's raison d'être.