Is the "Peruvian Necktie" legal in Judo?

Question

"Peruvian Necktie" refers to an arm triangle choke from the sprawl position, with one leg over uke's head and the other over their back:¹

The IJF rules ban arm-triangles which "block the opponent's body with the legs", and alhough the example picture² for this rule shows a do-jime/closed guard position (as opposed to the Peruvian necktie 'side-on' position), the wording is a big vague.

Is the Peruvian necktie competition legal?

Here it is being performed to success in the World Judo Championships 2021, which would seem to say "yes".

---

1. This term is also sometimes used to refer to the "Gerbi" choke, a similar choke applied with tori's gi-skirt.

2. 

   Kata-sankaku grip situation in ne-waza: it is prohibited to block the opponent's body with the legs and mate must be announced (picture 2).

Answer 1

The kata-sankaku prohibition is about danger to the neck joints in my understanding. In the guillotine position (your footnote #2 with the yellow background), you threaten the neck joints, while you can apply the Peruvian necktie variant without threatening the neck joints even while blocking with the legs. As long as you do not crank the neck down, I expect this is legal.

The Peruvian necktie may refer to variants that straddle the judo rules; some may be legal while others are not. The Gerbi choke runs afoul of the rule against using the jacket skirt or belt as a garrote (rule is not in those exact words).