Arguably a mining approach that would require that miners return the transactions that can't complete to their previous individual could provide formal proof th

Arguably a mining approach that would require that miners return the transactions that can't complete to their previous individual could provide formal proof that it will not "halt" ever. It seems to me that the obvious issue is sending invalid transactions. If these are not handled and the bitcoins are lost that means that bitcoin itself must eventually disappear because some percentage of transactions will be bad and over time, the sum of all of these will lead to enough losses to ensure that there is no practical value to the remaining bitcoins. It seems to me that programs can be guaranteed not to halt a lot more than they can be guaranteed to halt.