How Coval is Building Dependable AI Agents