Platypus attack exploited incorrect ordering of code, auditor claimsThe misordered lines caused a solvency check to be performed before the user’s amount, factor, and rewardDebt had been set to zero