A “specification” which is based on just “the desired behavior in a few specific examples” seems to allow undesired behavior without it being clear whether said

A “specification” which is based on just “the desired behavior in a few specific examples” seems to allow undesired behavior without it being clear whether said behavior is allowed by the spec. That to me doesn’t seem like what a “specification” is. Now, maybe having good examples is more important for business use cases than having a specification. But I generally wouldn’t call it one.