Ferrocene is a specification but it’s not a formal specification. [Minirust](https://github.com/minirust/minirust) is the closest thing we have to a formal spec but it’s very much a work-in-progress.
I guess this is terminology confusion on behalf of Surac, who probably just wants a specification that is independent of the rustc implementation.