flowchart TB
  inv["① Record the state, the holds<br/>and set up the witness"]
  sauv["② Back up<br/>/etc/docker and the definitions"]
  lr["③ Add live-restore by merging<br/>jq, validate, then reload"]
  sauv2["④ Back up<br/>/etc/docker again"]
  monte["⑤ Upgrade to the named version<br/>unhold, install, hold"]
  preuves{"⑥ PID, StartedAt, counter<br/>and checksum unchanged?"}:::accent
  garde["⑦ Keep the version<br/>holds set again"]
  retour["Go back to the previous version<br/>unhold, --allow-downgrades, hold"]
  limite["Daemon in start-limit-hit?<br/>reset-failed, then start"]
  inv ==> sauv
  sauv ==> lr
  lr ==> sauv2
  sauv2 ==> monte
  monte ==> preuves
  preuves ==>|yes| garde
  preuves -.->|no| retour
  retour -.-> limite