Thanks for your reply.
A comment about your main point here:
Your ChkRobustAccept is probabilistic. Thus the accepted set is never 100% final, only (hopefully but there are exceptions if your chain is not the dominant one in the world) asymptotic.
Thus the mining nodes can’t…
Bitcoin has its own obscure terminology and inside jokes — nearly impenetrable to outsiders. The short story below is just the result of playing around with the terminology (probably due to some stories by Etgar Keret lingering on my mind). Whatever you do, don’t take it too seriously.