The idea LIVE AGENT RUNTIME Stable contracts Proof Methodology