Margin Requirement Constraints
Meaning ⎊ Protocol-defined rules ensuring traders maintain sufficient capital to cover potential losses and mitigate systemic risk.
Fairness Constraints
Meaning ⎊ Modeling rules ensuring that enabled events eventually execute, preventing indefinite process starvation or censorship.
Transaction Atomicity Constraints
Meaning ⎊ Rules ensuring that multi-step transactions either fully execute or revert entirely to maintain state consistency.
