The tweet you link didn’t indicate that. It said that an engine failure likely caused the overrun, running for 127 seconds instead of the planned 84. Why would something have a 2^7 int size check?
Edit:
Quoted
The head of Roscosmos Yuri Borisov said that the main cause of the #Luna25 crash was an engine failure. Instead of the planned 84 seconds, he worked 127 seconds.
The tweet you link didn’t indicate that. It said that an engine failure likely caused the overrun, running for 127 seconds instead of the planned 84. Why would something have a 2^7 int size check?
Edit: Quoted
Am I missing something?
There’s further discussion of possible explanations in the replies
Ah I think it’s Twitter’s new thing where you can’t see replies of your not logged in.
Nitter link. This shows replies.