Describir: Tradeoffs in automated financial regulation of decentralized finance due to limits on mutable turing machines