flowchart LR
  START((( )))
	TRIAL[Trial]
  ACTIVE[Active]
  STOPPED[Stopped]
  RENEW_FAILURE[Renewal failure]
  DEACTIVATED[Deactivated]
  UNPAID[Unpaid]
  INCOMPLETE[Incomplete]
  INCOMPLETE_EXPIRED[Incomplete and expired]

  START --> TRIAL
  START -- No trial --> ACTIVE
  START -- Missing payment details --> INCOMPLETE

  TRIAL == Trial over ==> ACTIVE
  TRIAL -- Cancelled --> STOPPED
  ACTIVE == Resubscribe ==> ACTIVE
  ACTIVE == Cancelled subscription ==> STOPPED

  ACTIVE -- Payment failed / in Dunning --> RENEW_FAILURE
	TRIAL -- Payment failed / in Dunning --> RENEW_FAILURE
  RENEW_FAILURE -- Payment succeeded --> ACTIVE
  RENEW_FAILURE -- Retry period expired --> UNPAID
  ACTIVE -- Manual immediate stop or migration --> DEACTIVATED
  INCOMPLETE -- Confirmation --> ACTIVE
  INCOMPLETE -- Expired --> INCOMPLETE_EXPIRED
  INCOMPLETE -- XXX --> DEACTIVATED

  subgraph Has access
		TRIAL
	  ACTIVE
    RENEW_FAILURE
    INCOMPLETE
  end

	subgraph Terminal states
		STOPPED
    INCOMPLETE_EXPIRED
	  DEACTIVATED
		UNPAID
  end

Notes

• In the “stopped” state, the user will still have access until the expiry date. Stopped indicates that the subscription will not renew.
• Terminal states will never change again.

States