I do not know exactly what "cradle" or "crucifix" mean to you, but will try to explain how I have seen these terms used and how your examples relate.
Judo rule change
My understanding of the rule change you have illustrated is:
- The left position was a pin before, and is a pin now (ushiro kesa gatame).
- The right position was not a pin before, but is a pin now (ura gatame). The objection seems to have been that the right position is not a kesa or shiho like position because tori's back was to uke. I always thought this point was silly and I am glad this was changed; tori has no substantial improvement in position simply by turning their hips to the side.
When I hear the term cradle, I think of wrestling, not the ura gatame shown in the IJF rule changes. In the wrestling, Tori pushes uke's head and knee together and tori clasps hands to hold these together to control uke for back exposure.
The cradle can be done on either the near or far side. The near side cradle would probably be considered a kuzure yoko shiho gatame. The far side cradle is not a judo pin because tori's back is to the mat.
This is not a position I have studied formally, but when I have previously heard about this, it refers to an attacking position similar to blue's position in your right image. From this position, white's arms are tied up, and blue can strike with the free hand. This is not a judo pinning position for blue, but for white.
In the jigoku jime position, the choker definitely does not have
a pin (osaekomi) because they are underneath. The person being choked may have osaekomi depending on the situation. In your picture #0, the person being choked is not in control and would not have a pin. It's possible, however, to have a ura gatame pin and be choked by the opponent in the pin, as in #2 right. The situation of one player having a pin and the other choking is also possible in kesa gatame, for example.
Mifune video called ura gatame
Upon reconsideration, I think this is not a pin. From Article 17 - Osaekomi-waza of the IJF SOR:
The contestant applying osaekomi must have his body on and over opponent’s body in covering it to holds opponent down underneath his body, with applying pressure onto opponent’s front upper body with his front upper body in either the kesa, the shiho or ura position.
Uke is not underneath tori.