CODE / LOGIC / ASSUMPTIONS
State the rule.
Examine the edge.
A property-led approach to smart contract review, connecting protocol intent with implementation behavior.
Explore the approach ↓Reason about guarantees
Identify the invariants, their preconditions, and the implementation paths that should preserve them.
Scope → Review → Findings → Follow-up