I see that https://ntrs.nasa.gov/citations/20230012154 classifies the Mars Pathfinder disaster as a coding/logic problem.