Protocol
Escrow state machine, signatures, receipts, dispute rules, and timeouts.
States
Create → Funded → Released / Refunded, with explicit Disputed + TimedOut branches.
Receipts & Proof
Every action produces a signed receipt that can be audited and verified by third parties.