Summary:
Ensure contract state changes follow an allowed sequence (e.g., Pending → Active → Settled).
Acceptance Criteria:
Define state enum stored in instance storage.
Reject transitions that skip or regress.
Add tests for valid/invalid transitions.
Notes:
State machine logic should be clean and explicit.
Summary:
Ensure contract state changes follow an allowed sequence (e.g., Pending → Active → Settled).
Acceptance Criteria:
Define state enum stored in instance storage.
Reject transitions that skip or regress.
Add tests for valid/invalid transitions.
Notes:
State machine logic should be clean and explicit.