I have a doubt about HTLC on a lightning network payment. I have this scenario:
Alice wants to pay 100 sats to David using a route she found with Bob and Chad, this would be:
Alice -> Bob -> Chad -> David
Alices sends the HTLC to Bob, Bob to Chad and Chad to David, everything goes as expected, David wants to reveal the secret to Chad and they update their channel state, now David have +100 sats on his channel balance and Chad have -100 sats.
Chad do the same with Bob and now Chad have +100 sats on his side of the channel and Bob have -100 sats on his side.
At the moment Bob wants to do the same with Alice his node crash and go offline (for days), Alice can wait for the timeout and get her funds back, Bob would lose the funds.
I read before that an HTLC chain was atomic, all payments are successful or none of them, is this true? in this case David and Chad got their payments updating the channel state but not Alice so this case is not atomic.
What I am missing here?