Most people misunderstand this critical aspect of fraud proofs in rollups.

The common belief: fraud proofs mathematically prove whether a transaction is correct or fraudulent, with the invalid ones automatically rejected.

The reality: some fraud proof implementations are essentially a bond system. Whoever puts up more money wins. Not who's mathematically correct.