> That is, if there are two competing chains, A and B, then if a validator creates a block on B, they get a reward of +R on B, but the block header can be included into A

What if it can't (we do ETH 2.342 variant (which doesnt cost us anything contrary to PoW forks) with modified header and later it wins)?