Optional ReadonlyvalidateWhether the op must exist, its params must be legal, and its
inputs count must match the op's arity — default true.
Pass false to name a spec that would not compile. See
specId for why identity is separable from validity.
Options for specId.