Yes, generally law doesn’t work as code and allows for retroactive human interpretation rewriting of transactions.

But the DAO contract specifically said, “we are bound by the results of this state machine, and it takes precedence over any human description of it”, and then wanted take-backsies as soon ask they didn’t like the result.