So let’s assume this new pattern is used, and now Bob confidently forwards that added HTLC.
After the next commitment_signed message from Bob to Alice, if Alice withholds the subsequent revoke_and_ack, cannot Alice just take that just-signed commitment transaction to chain and “take back” the committed HTLC Bob has forwarded once it times out?
I get turned around quite a bit in asymmetric channel states, but I feel like this is the same reasoning I wrote about PTLCs like two years ago? PTLCs for LN · GitHub