local

SketchSystems.spec

local
  local enter*
    add new block -> local text
  local text
    edit -> local CRDT
    finish edit -> remote text
  local CRDT
    edit -> local CRDT
    no attention -> local text
    update to remote -> remote CRDT
    
remote
  remote enter*
    request -> remote text
  remote text
    request -> local text
  remote CRDT
    subscript -> local CRDT
    finish edit -> remote text
    debouch update -> remote text

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