Record without moving

Something happened, and the record stays where it is.

app audits "Audits" {}

entity Attempt {
  retry_count: number

  workflow {
    initial Waiting
    states Waiting, Done
    terminal Done

    retry:  Waiting -> Waiting when retry_count < 3
    finish: Waiting -> Done
  }
}

A self-loop with no guard is fsm/unbounded-self-loop, so bound one that can fire on its own.