Writeback

SketchSystems.spec

Writeback
  Idle*
    START_WRITEBACK -> Verify
  Verify
    VerifyPending
      VERIFY_FAIL -> VerifyError
      VERIFY_SUCCEED -> Send
    VerifyError
      VERIFY -> VerifyPending
      VERIFY_CANCEL -> Idle
  Confirm
    CONFIRM_CANCEL -> Idle
    CONFIRM -> Verify
  Send
    SEND_SUCCEED -> Idle
    SEND_FAIL -> Idle

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