QT auth&

is_deleted

yep

SketchSystems.spec

QT auth&
  Auth0
    A0Nil
      HaveLocalCreds -> A0LoggedIn
      HaveUser -> A0LoggedIn
    A0LoggedIn
      Utwig401 -> A0Nil
    # no way to get here?
    A0LoggedOut
      HaveUser -> A0LoggedIn
  Firebase
    FBNil
      Init -> FBPending
      HaveUser -> FBLoggedIn
    FBPending
      NoUser -> FBLoggedOut
      HaveUser -> FBLoggedIn
    FBLoggedIn
      ChangedUser -> FBLoggedIn
      RedundantLogin -> FBLoggedIn
      Logout -> FBNil
      UserMismatch -> FBLoggedOut
    FBLoggedOut
      GotCustomToken -> FBLoggedIn
      HaveUser -> FBLoggedIn

SketchSystems_prototype.js

function render(model){
  let current_state_name = model.active_states[0].name;
  return $("h1",
           {style: {color: "darkBlue"}},
           `The current state is: ${current_state_name}`);
}