Just like datum feature C in my example that allows to limit the height of the inclined face in relation to datum feature B, a flat face at the end of a cone referenced as a datum feature and the location tolerance of the opposing flat face relative to it may limit the size of a cone at its extremes. This is why a profile control applied on the surface without referencing datum features as in chez311's example (11 Jan 20 15:30) doesn't control that size.
We are in agreement here. Though the preceding statement seems to me more like location than size (location to the flat face) one could say it limits the size of the circular elements derived from the cone, so I won't gripe about that too much. I think we are mostly aligned here.
It looks like the mathematical definition (Y14.5.1M-1994) doesn't go much further than "contact or simply touching" either:
The definition for AME in Y14.5.1-1994 is almost an exact repetition of the definition in Y14.5-1994. As such I would not consider this a "mathematical definition" but simply a restatement of the relevant and compliant standard at the time of release - it adds literally nothing to the definition from a mathematical/geometric standpoint. I can't speak to why thy chose not to include "at the highest points" - other than that they are identical.
Y14.5.1-1994 section 1.4.13 Envelope said:
(a) For an External Feature. A similar perfect feature counterpart of smallest size which can be circumscribed about the feature so that it just contacts the surface.
Y14.5-1994 section 1.3.11 Envelope said:
(a) For an External Feature. A similar perfect feature counterpart of smallest size that can be circumscribed about the feature so that it just contacts the surface at the highest points.
As such, the Y14.5-2009 definition should be utilized for all 2009 compliant drawings - the fact that the Y14.5.1-1994 definition differs is not a conscious decision by the math standard committee but a fact that it lags behind the newer standard by over a decade (and the latest release Y14.5-2018 by over two decades).
The Y14.5-2009 is notable in that it specifically refers to "contraction/expansion" instead of "circumscribed" and trades "just contacts" for simply "coincides". I think the elimination of the word "just" is a notable change for as you pointed out "just" could imply simply touching the surface and place less emphasis on the minimization/maximization of the envelope.
Y14.5-2009 section 1.3.25 Envelope said:
envelope, actual mating: this envelope is outside the material. A similar perfect feature(s) counterpart of smallest size that can be contracted about an external feature(s) or largest size that can be expanded within an internal feature(s) so that it coincides with the surface(s) at the highest points.
The new draft of Y14.5.1-20xx which will be Y14.5-2009 compliant does not provide a separate definition for AME and simply states "See: ASME Y14.5-2009".
I can see how the main pivot point for you would probably be "largest size" (for internal features) and "smallest size" (for external surface), but what defines how this size should be determined for envelopes of irregular features of size (consider for example the pocket from fig. 8-19)?
This was discussed at length - see the multitude of posts above about pylfrm's definition of "maximum offset".
As you don't ascribe to this definition, I'll provide an alternate explanation:
IFOSb does not have a single actual value for size, however the concept of "size" is still applicable ie: as discussed previously, a profile control applied to Y14.5-2009 fig 8-19 controls both form AND size). A uniformly expanded envelope would have a larger "size" and therefore an envelope expanded to its maximum extent would be of maximum size, the inverse would be true with uniform contraction. There is no need (or ability) to determine a single actual value for size of this envelope - one can certainly determine what is therefore the envelope of maximum/minimum size.
The definition brought by Kedu involved normals to the surface, nothing about 2D cutting planes. The surface is in 3D space. How can 2D elements isolated from the 3D space have opposed points?
Cutting planes are the method by which 2D elements are derived from a 3D shape in Y14.5.1
Y14.5.1-1994 said:
1.4.8 Cutting plane. A plane used to establish a planar curve in a feature. The curve is the intersection of the cutting plane with the feature.
The answer is contained in your question. How can 2D elements isolated from the 3D space have opposed points? Exactly that - they are isolated in 2D and the normal vectors under consideration would be 2D vectors existing on said cutting plane. Same with the tolerance zones which are applied to a 2D element - they are a subset of the cutting plane which is used to extract the 2D elements. For example, regarding straightness of line elements:
Y14.5.1-1994 said:
6.4.1.2 Straightness of Surface Line Elements
(a) Definition. A straightness tolerance for the line elements of a feature specifies that each line element must lie in a zone bounded by two parallel lines which are separated by the specified tolerance and which are in the cutting plane defining the line element.
I also don't think I saw any real attempt at reconciling the below put forward by pylfrm. The constrained L2 and envelope of minimum/maximum size for an actual produced feature (ie: real world variation) will almost never be the same.
pylfrm said:
The procedure I described is based on minimizing the separation between the envelope and feature
... which for regular external features of size always equivalent to minimizing the size of the envelope, and for irregular features of size equivalent to scaling down the envelope.
Assuming we're still talking about minimizing the sum (theoretically the surface integral) of the squared separations, that is not true for a nominally cylindrical or nominally square hole. I'm pretty sure it's just generally not true.
For a counterexample, imagine a nominally cylindrical hole that's actually produced more like a short slot with two flat sides connected by tangent cylindrical ends. If the flat sides are slightly non-parallel, one of the ends will have a slightly larger radius and will end up coincident with the maximum inscribed cylinder UAME. On the other hand, the least-squares cylinder will be smaller, contacting the flat surfaces roughly in the middle and equalizing the separation with the two ends.