<?xml version="1.0" encoding="UTF-8"?>
<!-- Retention &amp; Reactivation: one journey of the model at https://umi-graph.com/journeys/retention-and-reactivation/, as State Chart XML at https://umi-graph.com/journeys/retention-and-reactivation/scxml.xml.
     Each state realizes one condition on the lifecycle ladder; each transition is a legal move the
     model asserts, named by the observed events that trigger it. The initial state is the position
     the journey declares it begins at. -->
<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" datamodel="null" initial="jst-001">
  <state id="jst-001"> <!-- Established: realizes Account Holder, on the Retention rung -->
    <transition event="fulfilment-outcome" target="jst-002"/> <!-- Established to At risk -->
    <transition event="propensity-score" target="jst-003"/> <!-- Established to Likely to lapse -->
    <transition event="conversion" target="jst-001"/> <!-- Established to Established -->
  </state>
  <state id="jst-002"> <!-- At risk: realizes At Risk, on the Retention rung -->
    <transition event="conversion" target="jst-001"/> <!-- At risk to Established -->
    <transition event="window-elapsed" target="jst-004"/> <!-- At risk to Lapsed -->
  </state>
  <state id="jst-003"> <!-- Likely to lapse: realizes Likely to Lapse, on the Retention rung -->
    <transition event="window-elapsed" target="jst-004"/> <!-- Likely to lapse to Lapsed -->
    <transition event="conversion" target="jst-001"/> <!-- Likely to lapse to Established -->
  </state>
  <state id="jst-004"> <!-- Lapsed: realizes Lapsed, on the Retention rung -->
    <transition event="conversion" target="jst-005"/> <!-- Lapsed to Reactivated -->
  </state>
  <state id="jst-005"> <!-- Reactivated: realizes Reactivated, on the Retention rung -->
    <transition event="conversion" target="jst-001"/> <!-- Reactivated to Established -->
  </state>
</scxml>
