Disconnected 0

SketchSystems.spec

Disconnected 0
  request arrives -> Connecting 0
  
Connecting 0
  Connecting-Connecting
    connect fails -> Connecting-Connecting
    connect times out -> Disconnected 0
    connect succeeds -> Connecting-Pinging

  Connecting-Pinging
    connection fails -> Connecting-Disconnecting
    ping fails -> Connecting-Pinging
    ping succeeds -> Connected Healthy 0

  Connecting-Disconnecting
    disconnect ends -> Connecting-Connecting

Connected Healthy 0
  health check connection fails -> Disconnecting-Reconnecting
  health check ping fails -> Connected Unhealthy 0
  idle timeout -> Disconnecting-Disconnecting
  request fails -> Disconnecting-Reconnecting

Connected Unhealthy 0
  health check connection fails -> Disconnecting-Reconnecting
  health check ping fails -> Connected Unhealthy 0
  health check ping succeeds -> Connected Healthy 0
  
Disconnecting 0
  Disconnecting-Reconnecting
    disconnect ends -> Connecting 1

  Disconnecting-Disconnecting
    disconnect ends -> Disconnected 1

Connecting 1
Disconnected 1

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}`);
}