How many Katago v LeelaZero v Elf etc . . . Games have been played with group tax and a forced cross opening?

KataGo is the only one of those bots that supports group tax, so this likely wouldn't be interesting, because the other two bots not only are weaker to begin with, but would also be always evaluating the board as if it were non-group tax, so they would frequently be losing points just because of not knowing the rules, which is a pretty uninteresting way to be losing.

Actually, well, although it wouldn't be competitively interesting, a few games of it might be scientifically interesting, just to see what happens when a bot is given the wrong rules in such a way and how persistent of a group count bias happens as a result as the rules-aware side takes advantage! But if you're going to study that, rather than use two different bots, it would be vastly preferable to just use the same bot versus itself but each side configured with different rules, so that the two sides are otherwise equal strength and you can isolate just the effect of the rules difference alone.

Or even, with the same AI, one knowing of the rule, the other not, how long it would take for the one not knowing about this extra/covert rule to learn it.

lightvector,
which bots support group tax? Do zenith, crazy stone and silver star have support? how do I find out? maybe for some test position?