They have a document that they sometimes describe using the word "specification", but its README clarifies that it's not actually a specification:

> The FLS is not intended to be used as the normative specification of the Rust language

To be clear, my argument doesn't hinge on whether FLS is a normative specification of Rust or not. The argument is that being "specified" is neither necessary nor sufficient for language maturity or quality.