Rental and Purchase Lifecycle v2

SketchSystems.spec

Rental and Purchase Lifecycle v2
  Potential Transaction
    collectorRentalRequest -> Pending Artist Rental Approval
    collectorPurchaseRequest -> Pending Artist Purchase Approval
  Initial Negotiation
    Pending Artist Rental Approval
      artistDecline -> Rental Declined
      artistAccept -> Pending Initial Handoff
      artistChange -> Pending Collector Rental Approval
      collectorCancel -> Cancelled
      requestExpire -> Request Expired
    Pending Collector Rental Approval
      collectorCancel -> Cancelled
      collectorAccept -> Pending Initial Handoff
      collectorChange -> Pending Artist Rental Approval
    Initial Handoff Failed
      artistDecline -> Rental Declined
      collectorCancel -> Cancelled
      artistSuggest -> Pending Collector Rental Approval
      collectorSuggest -> Pending Artist Rental Approval
  Initial Handoff
    Pending Initial Handoff
      artistConfirm -> Only Artist Confirmed Initial Handoff
      collectorConfirm -> Only Collector Confirmed Initial Handoff
      artistDeny -> Only Artist Denied Initial Handoff
      collectorDeny -> Only Collector Denied Initial Handoff
    Only Artist Confirmed Initial Handoff
      collectorConfirm -> Renting but Pending Return Negotiation
      collectorDeny -> Dispute Over Initial Handoff Occurrence
    Only Collector Confirmed Initial Handoff
      artistConfirm -> Renting but Pending Return Negotiation
      artistDeny -> Dispute Over Initial Handoff Occurrence
    Only Artist Denied Initial Handoff
      collectorConfirm -> Dispute Over Initial Handoff Occurrence
      collectorDeny -> Initial Handoff Failed
    Only Collector Denied Initial Handoff
      artistConfirm -> Dispute Over Initial Handoff Occurrence
      artistDeny -> Initial Handoff Failed
    Dispute Over Initial Handoff Occurrence
      adminDecideHandoffOccurred -> Renting but Pending Return Negotiation
      adminDecideHandoffFailed -> Initial Handoff Failed
  Rental Active
    Renting but Pending Return Negotiation
      collectorExtend -> Pending Artist Extension Approval without Return in Place
      collectorPurchase -> Purchased
      collectorSuggestReturn -> Return Pending Artist Approval
      artistSuggestReturn -> Return Pending Collector Approval
    Pending Artist Extension Approval without Return in Place
      artistAccept -> Renting but Pending Return Negotiation
      artistDecline -> Renting but Pending Return Negotiation
    Return Handoff Failed
      collectorExtend -> Pending Artist Extension Approval without Return in Place
      collectorPurchase -> Purchased
      collectorSuggestReturn -> Return Pending Artist Approval
      artistSuggestReturn -> Return Pending Collector Approval
  Return Negotiation
    Return Pending Artist Approval
      artistAccept -> Pending Return Handoff
      artistChange -> Return Pending Collector Approval
    Return Pending Collector Approval
      collectorAccept -> Pending Return Handoff
      collectorChange -> Return Pending Artist Approval
    Pending Artist Extension Approval with Return in Place
      artistAccept -> Renting but Pending Return Negotiation
      artistDecline -> Pending Return Handoff
  Return Handoff
    Pending Return Handoff
      artistConfirm -> Only Artist Confirmed Return Handoff
      collectorConfirm -> Only Collector Confirmed Return Handoff
      artistDeny -> Only Artist Denied Return Handoff
      collectorDeny -> Only Collector Denied Return Handoff
      collectorExtend -> Pending Artist Extension Approval with Return in Place
      collectorPurchase -> Purchased
    Only Artist Confirmed Return Handoff
      collectorConfirm -> Rental Completed
      collectorDeny -> Dispute Over Return Handoff Occurrence
    Only Collector Confirmed Return Handoff
      artistConfirm -> Rental Completed
      artistDeny -> Dispute Over Return Handoff Occurrence
    Only Artist Denied Return Handoff
      collectorConfirm -> Dispute Over Return Handoff Occurrence
      collectorDeny -> Return Handoff Failed
    Only Collector Denied Return Handoff
      artistConfirm -> Dispute Over Return Handoff Occurrence
      artistDeny -> Return Handoff Failed
    Dispute Over Return Handoff Occurrence
      adminDecideHandoffOccurred -> Rental Completed
      adminDecideHandoffFailed -> Return Handoff Failed
  Purchase Negotiation
    Pending Artist Purchase Approval
      artistDecline -> Purchase Declined
      artistAccept -> Purchased but Pending Handoff Negotiation
      requestExpire -> Request Expired
  Purchase Handoff Negotiation
    Purchased but Pending Handoff Negotiation
      collectorSuggestHandoff -> Purchased Pending Artist Handoff Approval
      artistSuggestHandoff -> Purchased Pending Collector Handoff Approval
    Purchased Pending Artist Handoff Approval
      artistAccept -> Pending Purchase Handoff
      artistChange -> Purchased Pending Collector Handoff Approval
    Purchased Pending Collector Handoff Approval
      collectorAccept -> Pending Purchase Handoff
      collectorChange -> Purchased Pending Artist Handoff Approval
    Purchase Handoff Failed
      collectorSuggestHandoff -> Purchased Pending Artist Handoff Approval
      artistSuggestHandoff -> Purchased Pending Collector Handoff Approval
  Purchase Handoff
    Pending Purchase Handoff
      artistConfirm -> Only Artist Confirmed Purchase Handoff
      collectorConfirm -> Only Collector Confirmed Purchase Handoff
      artistDeny -> Only Artist Denied Purchase Handoff
      collectorDeny -> Only Collector Denied Purchase Handoff
    Only Artist Confirmed Purchase Handoff
      collectorConfirm -> Purchased
      collectorDeny -> Dispute Over Purchase Handoff Occurrence
    Only Collector Confirmed Purchase Handoff
      artistConfirm -> Purchased
      artistDeny -> Dispute Over Purchase Handoff Occurrence
    Only Artist Denied Purchase Handoff
      collectorConfirm -> Dispute Over Purchase Handoff Occurrence
      collectorDeny -> Purchase Handoff Failed
    Only Collector Denied Purchase Handoff
      artistConfirm -> Dispute Over Purchase Handoff Occurrence
      artistDeny -> Purchase Handoff Failed
    Dispute Over Purchase Handoff Occurrence
      adminDecideHandoffOccurred -> Purchased
      adminDecideHandoffFailed -> Purchase Handoff Failed  
  Purchased
  Rental Declined
    reset -> Potential Transaction
  Purchase  Declined
    reset -> Potential Transaction
  Cancelled
    reset -> Potential Transaction
  Request Expired
    reset -> Potential Transaction
  Rental Completed
    reset -> Potential Transaction

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