The Covenants Series
// Coins must flow...in a finite state machine
Output scripts control how coins are locked, not how they can be spent. If outputs scripts were extended with that power, it sure seems to simplify a lot of offchain contract patterns.