The hard part of an SLO is deciding what does not count
The query behind an availability SLO is a one-liner. The decisions about what to leave out of it are the design, and the denominator I chose let a dead service drop out of the number instead of hurting it.