PEP 800: mark as final

Author: JelleZijlstra

peps/pep-0800.rst

@@ -2,7 +2,7 @@ PEP: 800
 Title: Disjoint bases in the type system
 Author: Jelle Zijlstra <jelle.zijlstra@gmail.com>
 Discussions-To: https://discuss.python.org/t/99910/
-Status: Accepted
+Status: Final
 Type: Standards Track
 Topic: Typing
 Created: 21-Jul-2025
@@ -11,6 +11,9 @@ Post-History: `18-Jul-2025 <https://discuss.python.org/t/solid-bases-for-detecti
               `23-Jul-2025 <https://discuss.python.org/t/99910>`__,
 Resolution: `15-Apr-2026 <https://discuss.python.org/t/pep-800-solid-bases-in-the-type-system/99910/41>`__
 
+.. canonical-typing-spec:: :ref:`typing:disjoint-base` and
+                           :external+py3.15:func:`@typing.disjoint_base <typing.disjoint_base>`
+
 
 Abstract
 ========