📖Smart-Contract Safeguards

• Race conditions are prevented by on-chain guardrails.

• Double-spend is structurally blocked: wagers are locked at submission.

• Atomic payouts: when a user wins, transfer happens in the same resolution transaction, reducing surface for settlement risk.