pmarc - interesting thought, but there isn't anything that fixes the orientation of the short-dimension, so it's free to rotate; nothing forces the observer to align with it. It is free to rotate in relation to the slot, leaving the internal feature maximum encroaching surface as a cylinder of diameter 10.8.
In contrast, the orientation in the Figure 4-16(c) example is fixed between the datum features B and D; with that constraint the minimum surface is not a cylinder. If it wasn't fixed, then the proper evaluation of D would be a ring, but that would not be an external feature minimum encroaching surface.
(I don't see the images I put in as IMG links in the text in the preview. I will try to get them in; they look like they uploaded OK)
Image 1:
Image 2:
Image 3:
Image 4:
Image 5:
I've worked out a simulator for this that works as expected. It does two things. It first generates allowable position and perpendicularity variations that can be seen to be restrained within the position tolerance. Then it rotates each of these to align the center of the MMC feature axis to the X-axis. The result generally conforms to what I said. It clearly shows the width restriction for reasonable ratios of positional tolerance and perpendicularity. As expected, at perpendicularity of diameter 0 at MMC it is compressed to a straight line.
What's interesting is when the simulation allows the perpendicularity tolerance to near equaling or exceeding the position tolerance. Because of the way the perpendicularity variation is computed, it doesn't allow the axis to tilt more than the position tolerance limit or what remains as the position approaches the position limit. In these cases, when the transform aligns to the center of the axis, the ends of the axis can exceed the original boundary, but it never exceeds the expected limits that an encompassing rectangle would make.
The key to the images is that random colors are used for the each axis simulation to show them individually. The nominal position limit is a white filled circle with black edge.
Image 1:
is the way that datum Feature D is defined relative to [A|B(M)|C(M)]
Image 2:
is the transformation of a 2:1 position to perpendicularity ratio case to the [A|B(M)]D(M)] frame of reference. Two things are clear from the picture. One is that the perpendicularity limits the top and bottom of the range. The other is there appears to be leakage to the right and left.
The leakage comes from this - by way of example, if perpendicularity ends up with one end on the original boundary, at a point aligned (or nearly aligned) on the line between the centers of B and D, but the position tolerance center is not on that line, then when the center of the position is moved to the mutual line, the end of the perpendicularity tolerance is also moved, to a place outside the original boundary. Recall, all axes meet the original feature requirements. Choosing a different frame of reference results in a different boundary.
For example, had the datum reference for the hole been [A|D(M)] the result would be a virtual condition of the MMC diameter plus the perpendicularity tolerance alone - the position tolerance would not be included. Likewise in [A|B(M)|C(M)] the virtual condition would be the MMC diameter plus the position tolerance alone - the perpendicularity tolerance would have no effect.
One limit case is when the perpendicularity tolerance is zero: Image 3:
which is just the thin green line made up of points that indicate the location of the perfectly perpendicular position axis. This is the transformation of Image 4:
which doesn't have the lines of the previous ABC image that represented the radius of each perpendicularity axis as projected to A.
The other limit is when the perpendicularity tolerance equals or exceed the position tolerance. This maximizes the leakage. The software prevents any case where the axis of the feature exceeds the position constraint, so it acts the same as if there is no perpendicularity tolerance at all. In this case the maximum leakage is when one end of the feature axis is on the mutual line and the other is not. When the center is aligned it moves up or down out of the diameter. Again, notice that neither the vertical nor horizontal limits are exceeded and the virtual condition is a truncated American football shape: Image 5:
This particular result is from 5 million iterations.
I'll post the source code separately.
For certain, as long as a perpendicularity refinement is used, the simulator for the D(M) in the [A|B(M)|D(M)] datum reference frame is not a diameter; and if the perpendicularity refinement isn't used, it still isn't a diameter, though it's sort of close.