The halting problem is for the general case. If you design the application to facilitate it you can demonstrate forward progress in a pretty robust way. Is it

The halting problem is for the general case. If you design the application to facilitate it you can demonstrate forward progress in a pretty robust way. Is it perfect? No. But you can do much, much better than “is the kernel up.”