What we learned building it, written down.
Daraja's STK push has three distinct failure modes that all surface as the same timeout. Here is how to tell them apart and design around each one.