On Tue, 8 Nov 2011, Elliott Hird wrote: > Agora already has transactional semantics; actions occur in a strictly > sequential, predictably-ordered fashion within in a message, and > actions from one message cannot overlap with actions from another.
What it doesn't have is predictable cleanup-on-error; i.e. "if any step in this message/proposal fails, they all do". For some things this is a good default; for some things bad, which is why it might be useful to have the option defined. Remember that except for conditional votes, conditional actions are wholly undefined precedent; so right now adding a failure procedure via an "if" isn't rules-defined.
