@tynes
Check out this explorer to see the fault proof system in action. Each dispute is a claim about the L2 state and if the defender wins then its a valid claim and withdrawals can be processed based on that claim, if the challenger wins then it is not a valid claim
https://optimism.blockscout.com/dispute-games