@namespace("keybase.1")
protocol gregorUI {
  import idl "../gregor1" as gregor1;

  enum PushReason {
    NONE_0,
    RECONNECTED_1,
    NEW_DATA_2
  }

  void pushState(gregor1.State state, PushReason reason) oneway;
  void pushOutOfBandMessages(array<gregor1.OutOfBandMessage> oobm) oneway;
}