Local

SketchSystems.spec

Local
  Open recent -> Recent DBs from Local
  error? -> Empty

  Opened Local*
  
  Recent DBs from Local
    Open recent local db -> Try Local Db from Local?
    Open recent remote db -> Try Remote Db from Local?
    Dismiss -> Local
    
  Try Local Db from Local?
    succeed? -> Local
    fail? -> Local

  Try Remote Db from Local?
    succeed? -> Remote
    fail? -> Local
  
Remote
  error? -> Empty

  Opened Remote*
    timeout? -> Retrying
    disconnect? -> Read Only
    Open recent -> Recent DBs from Remote
  
  Retrying
    fail? -> Read Only
    succeed? -> Opened Remote
    Cancel -> Empty
  
  Read Only
    autoreconnect? -> Opened Remote
    Exit -> Empty
  
  Recent DBs from Remote
    Open recent local db -> Try Local Db from Remote?
    Open recent remote db -> Try Remote Db from Remote?
    Dismiss -> Remote
    
  Try Local Db from Remote?
    succeed? -> Local
    fail? -> Remote

  Try Remote Db from Remote?
    succeed? -> Remote
    fail? -> Remote

Empty*
  
  Open DB*
    no dbs? -> Add DB
    Open remote db -> Try Remote Db from Empty?
    Open local db -> Try Local Db from Empty?
  
  Add DB

    Prompt*
      Create db -> Create DB
      Join db -> Join DB
      Back -> Empty
  
    Create DB
      Confirm? -> Local
      Dismiss? -> Add DB
  
    Join DB
      Success? -> Try Remote Db from Empty?
      Dismiss? -> Empty
    
  Try Local Db from Empty?
    succeed? -> Local
    fail? -> Empty

  Try Remote Db from Empty?
    succeed? -> Remote
    fail? -> Empty

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