Escrow is not a boolean
Holding money between two parties looks like a status field. It is a balance, a state machine, and a transaction boundary you have to draw narrowly on purpose.
tail -f ~/notes
Writing
Concepts from the proof, explained in my own words with code from my own systems.