s/Ferrocene Language Specification/FLS/ and update README

This works to replace "Ferrocene Language Specification" with "FLS"
across the document until we come up with our preferred name to
replace the FLS.

This includes removing the Ferrocene logo and replacing it with the
Rust Project logo in the sidebar.

This also updates the README to provide appropriate credit to Ferrous
Systems and provide the history of the FLS when it was the Ferrocene
Language Specification.

Author: JoelMarcey

.gitignore

@@ -13,4 +13,4 @@ __pycache__
 /.linkchecker
 
 # Mac OS ignored files
-.DS_Store
+.DS_Store

CONTRIBUTING.rst

@@ -1,13 +1,13 @@
 .. SPDX-License-Identifier: MIT OR Apache-2.0
    SPDX-FileCopyrightText: The Ferrocene Developers
+   SPDX-FileCopyrightText: The Rust Project Contributors
 
 ====================================================
-Contributing to the Ferrocene Language Specification
+Contributing to the FLS
 ====================================================
 
-We released the Ferrocene Language Specification (FLS) publicly under an open
-source license. That's always been our goal, and since we announced our effort,
-a lot of people and organizations expressed their interest in it!
+The FLS is released publicly under an open source license, specifically MIT and
+Apache 2.0.
 
 The specification is still a work in progress, and while we're open to
 contributions, we want to manage your expectations on how much we'll be able to
@@ -20,19 +20,19 @@ interact with the community in this repository:
 * Our resources are limited when it comes to reviewing PRs, especially large
   ones.
 
-We’ll try our best to review changes proposed by the community, but we might
-not be able to review all of them (or they might be out of date once we get to
-them). If there are changes you’d like to make, we recommend opening an issue
-beforehand, so that we can provide feedback on whether we’ll be able to merge
+We'll try our best to review changes proposed by the community, but we might not
+be able to review all of them (or they might be out of date once we get to
+them). If there are changes you'd like to make, we recommend opening an issue
+beforehand, so that we can provide feedback on whether we'll be able to merge
 the changes.
 
-We've all dealt with those open source projects that feel open in name only,
-and have big patches and history-free source drops appearing from behind the
-walls of some large organization. We don't like that, and we're not going to do
-that. But please bear with us until we have the capacity to accept all external
+We've all dealt with those open source projects that feel open in name only, and
+have big patches and history-free source drops appearing from behind the walls
+of some large organization. We don't like that, and we're not going to do that.
+But please bear with us until we have the capacity to accept all external
 contributions.
 
-   This introduction was inspired by Oxide Computer Company’s `Hubris
+   This introduction was inspired by Oxide Computer Company's `Hubris
    contribution guidelines
    <https://github.com/oxidecomputer/hubris/blob/master/CONTRIBUTING.md>`_.
 
@@ -45,12 +45,11 @@ grammar and structure of the FLS. You'll find everything you need to in `Chapter
 
 There are three kinds of contribution that can be made:
 
-* **Flags:** Here the contributor makes the Ferrocene team aware of changes
-  that were made upstream, but leaves the changes up to the Ferrocene team.
-  This helps Ferrocene with our mission to "keep the moving parts safe" and
-  ensures that we can respond to upstream changes in a timely manner. Please
-  `open an issue <https://github.com/ferrocene/specification/issues>`_ for
-  this.
+* **Flags:** Here the contributor makes the Ferrocene team aware of changes that
+  were made upstream, but leaves the changes up to the Ferrocene team. This
+  helps Ferrocene with our mission to "keep the moving parts safe" and ensures
+  that we can respond to upstream changes in a timely manner. Please `open an
+  issue <https://github.com/ferrocene/specification/issues>`_ for this.
 
 * **Fixes:** These are defined as small errors or suggestions for improvements
   within one or two sentences. The structure of the content still makes sense,
@@ -60,15 +59,14 @@ There are three kinds of contribution that can be made:
 * **Rewrites:** These are bigger changes in which a contributor rewrites an
   entire chapter, section or subsection. Please open an issue to discuss the
   rewrite you want to make, and if we have the capacity to accept and review it
-  we’ll coordinate on how to best do it.
+  we'll coordinate on how to best do it.
 
 PRs and approval
 ================
 
 Whether the changes appear in the FLS will remain the responsibility and
-discretion of the Ferrocene team. Changes may be approved as is or may be
-edited to match the tone, style and format of the FLS.
+discretion of the Ferrocene team. Changes may be approved as is or may be edited
+to match the tone, style and format of the FLS.
 
 Again, we thank you for your patience as we address the suggested changes and,
-last but not least, thank you for your interest and contributions to the
-Ferrocene Language Specification!
+last but not least, thank you for your interest and contributions to the FLS!

LICENSES/LicenseRef-Proprietary.txt

@@ -1,39 +1,67 @@
 .. SPDX-License-Identifier: MIT OR Apache-2.0
    SPDX-FileCopyrightText: The Ferrocene Developers
+   SPDX-FileCopyrightText: The Rust Project Contributors
 
 ================================
-Ferrocene Language Specification
+FLS
 ================================
 
 .. raw:: html
 
-   <p align="center"><a href="https://spec.ferrocene.dev">Read the
-   specification &raquo;</a></p>
+   <p align="center"><a href="https://rust-lang.github.io/fls">Read the document
+   &raquo;</a></p>
 
-The Ferrocene Language Specification (FLS) is a document describing the Rust
-language. It was created as one of the prerequisites for qualifying
-`Ferrocene`_, a Rust toolchain qualified for safety-critical environments. The
-FLS is compiled of existing Rust documentation, but presented with a rigorous
-structure in order to meet the requirements of qualification.
+The FLS is a document describing aspects of the Rust language for Rust toolchain
+qualification purposes.
 
-The FLS is not intended to be used as the normative specification of the Rust
-language, nor is it meant to replace the decision-making processes of the Rust
-project. Any difference between the FLS and the behavior of the Rust compiler
-is considered an error on our part and the FLS will be updated accordingly.
+It was created by Ferrous Systems, in an original joint effort with AdaCore, as
+one of the prerequisites for qualifying `Ferrocene`_, a Rust toolchain qualified
+for safety-critical environments. The FLS is compiled of existing Rust
+documentation, but presented with a rigorous structure in order to meet the
+requirements of qualification.
 
-The Ferrocene Language Specification text is licensed under either the ``MIT``
-or ``Apache-2.0`` licenses, at your option. Individual files might have
-different licensing. Licensing metadata is present in each file, and the full
-licenses text is present in the ``LICENSES/`` directory.
+The FLS is not intended to be used as *the* normative specification of the Rust
+language (see the `Rust Reference`_), nor is it meant to replace the
+decision-making processes of the Rust project. Any difference between the FLS
+and the behavior of the Rust compiler is considered an error on our part and the
+FLS will be updated accordingly.
+
+The FLS text is licensed under either the ``MIT`` or ``Apache-2.0`` licenses, at
+your option. Individual files might have different licensing. Licensing metadata
+is present in each file, and the full licenses text is present in the
+``LICENSES/`` directory.
 
 .. _Ferrocene: https://ferrocene.dev
+.. _Rust Reference: https://doc.rust-lang.org/reference/
+
+Acknowledging Ferrous Systems
+=============================
+
+The Rust Project would like to thank `Ferrous Systems`_ for `donating`_ the FLS
+(formerly the Ferrocene Language Specification) to the Rust Project for its
+continued maintenance and development.
+
+As a brief history, the FLS is a description of the Rust programming language,
+developed by Ferrous Systems and `AdaCore`_ in July 2022 as part of Ferrocene, a
+Rust compiler and toolchain designed for safety-critical and regulated
+industries. The FLS provides a structured and detailed reference for Rust's
+syntax, semantics, and behavior, serving as a foundation for verification,
+compliance, and standardization efforts. The FLS represented a major step toward
+describing Rust in a way that aligns with industry requirements, particularly in
+high-assurance domains. Ferrous Systems had been the sole steward of the FLS
+since July 2023.
+
+.. _Ferrous Systems: https://ferrous-systems.com
+.. _donating: https://rustfoundation.org/media/ferrous-systems-donates-ferrocene-language-specification-to-rust-project/
+.. _AdaCore: https://www.adacore.com
 
 Building the specification
 ==========================
 
-FLS uses `Sphinx`_ to build a rendered version of the specification, and `uv`_ to install and manage
-Python dependencies (including Sphinx itself). To simplify building the rendered version, we created
-a script called ``make.py`` that takes care of invoking Sphinx with the right flags.
+FLS uses `Sphinx`_ to build a rendered version of the specification, and `uv`_
+to install and manage Python dependencies (including Sphinx itself). To simplify
+building the rendered version, we created a script called ``make.py`` that takes
+care of invoking Sphinx with the right flags.
 
 You can build the rendered version by running::
 
@@ -48,8 +76,8 @@ building::
 
 The rendered version will be available in ``build/html/``.
 
-You can also start a local server on port 8000 with automatic rebuild and
-reload whenever you change a file by passing the ``-s`` flag::
+You can also start a local server on port 8000 with automatic rebuild and reload
+whenever you change a file by passing the ``-s`` flag::
 
    ./make.py -s
 
@@ -70,8 +98,9 @@ rendered documentation.
 Updating build dependencies
 ===========================
 
-The FLS uses ``uv`` to manage the Python dependencies used for builds. If you change the list of
-dependencies in ``pyproject.toml`` they will automatically be installed the next time you run
-``make.py``. If you want to update the packages in the lockfile, run::
+The FLS uses ``uv`` to manage the Python dependencies used for builds. If you
+change the list of dependencies in ``pyproject.toml`` they will automatically be
+installed the next time you run ``make.py``. If you want to update the packages
+in the lockfile, run::
 
    uv lock --upgrade

README.rst

@@ -5,10 +5,10 @@
 FLS Sphinx Extension
 ====================
 
-To enhance the Ferrocene Language Specification, and to facilitate its
-authoring, updating, and testing it easier, we developed and use a custom
-Sphinx extension that adds new roles and directives. The source code of the
-extension is in the ``exts/ferrocene_spec`` directory.
+To enhance the FLS, and to facilitate its authoring, updating, and testing it
+easier, we developed and use a custom Sphinx extension that adds new roles and
+directives. The source code of the extension is in the ``exts/ferrocene_spec``
+directory.
 
 .. contents:: In this document:
 

exts/ferrocene_spec/README.rst

@@ -12,9 +12,9 @@
 
 # -- Project information -----------------------------------------------------
 
-project = "Ferrocene Language Specification"
-copyright = "The Ferrocene Developers"
-author = "The Ferrocene Developers"
+project = "FLS"
+copyright = "The Ferrocene Developers and The Rust Project Contributors"
+author = "The Ferrocene Developers and The Rust Project Contributors"
 
 
 # -- General configuration ---------------------------------------------------
@@ -44,15 +44,15 @@
 # a list of builtin themes.
 #
 
-html_theme = "ferrocene"
+html_theme = "fls"
 html_theme_path = ["../themes"]
 
 html_theme_options = {
     "license": "MIT or Apache 2.0",
 }
 
-html_title = "Ferrocene Language Specification"
-html_short_title = "Language Specification"
+html_title = "FLS"
+html_short_title = "FLS"
 
 # -- Options for linting -----------------------------------------------------
 

src/conf.py

@@ -1,5 +1,6 @@
 .. SPDX-License-Identifier: MIT OR Apache-2.0
    SPDX-FileCopyrightText: The Ferrocene Developers
+   SPDX-FileCopyrightText: The Rust Project Contributors
 
 .. default-domain:: spec
 
@@ -5890,8 +5891,7 @@ rustc
 ^^^^^
 
 :dp:`fls_zdgbeixirjfm`
-Rust-c (or :dt:`rustc`) is a compiler that implements the Ferrocene Language
-Specification.
+:dt:`rustc` is a compiler that implements the FLS.
 
 .. _fls_Q4MRIo7cWv5K:
 

src/glossary.rst

@@ -1,8 +1,9 @@
 .. SPDX-License-Identifier: MIT OR Apache-2.0
    SPDX-FileCopyrightText: The Ferrocene Developers
+   SPDX-FileCopyrightText: The Rust Project Contributors
 
-Ferrocene Language Specification
-================================
+FLS
+===
 
 .. toctree::
    :numbered:

src/index.rst

@@ -1,5 +1,6 @@
 .. SPDX-License-Identifier: MIT OR Apache-2.0
    SPDX-FileCopyrightText: The Ferrocene Developers
+   SPDX-FileCopyrightText: The Rust Project Contributors
 
 .. default-domain:: spec
 .. informational-page::
@@ -10,7 +11,6 @@ List of undefined behavior
 ==========================
 
 :dp:`fls_f9mkI99mzPxY`
-The following sections of the Ferrocene Language Specification document
-undefined behavior:
+The following sections of the FLS document undefined behavior:
 
 .. items-with-rubric:: Undefined Behavior