@namespace("gregor.1")

// authentication protocol.
// clients of gregord call this, and gregord calls it on authd.
protocol auth {
  record AuthResult {
    UID uid;
    string username;
    SessionID sid;
    boolean isAdmin;
  }
  AuthResult authenticateSessionToken(SessionToken session);
}