Section 5.1 Modularity: The library is a bean archive if it contains
a beans.xml file, as defined in Bean archives.

It contradicts with the section 12.1

An archive which:

• contains a beans.xml file with the bean-discovery-mode of none, or,
• contains an extension and no beans.xml file
  is not a bean archive.

Therefore, an archive with beans.xml is not a bean archive if the bean-discovery-mode = "none".

I think it is better to be "The library may be a bean archive, as defined in Bean archives."