Extremely well said, and an inspiration to better things in the world of smart contracts. Joseph Campbell would also point out that justice is blind for a reason. Our human perceptions are notoriously inaccurate, and easily swayed by emotion and peer pressure.

"where it's difficult to model intent programmatically, one can still develop a domain specific language to capture it for humans to arbitrate" This captures the right path, I think. We can build in a method to ensure intentions are carried out in a lawful manner, while maintaining a ledger that documents our errors for correction, rather than attempting to erase them and rewrite history.