Currently the definition of "well-defined" just covers "the one-definition rule". However, there are many other cases that a program is ill-formed, no diagnostic required without violation of the ODR (e.g. instantiating a template when its associate constraints are satisfied but the corresponding standard concepts are not modeled).
Should we improve the wording?