From ae19fb0496cc3755e5198e91ef48b9fe73018a9c Mon Sep 17 00:00:00 2001
From: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Date: Sun, 31 May 2026 06:28:38 -0700
Subject: [PATCH] PEP 800: mark as final

---
 peps/pep-0800.rst | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/peps/pep-0800.rst b/peps/pep-0800.rst
index 58731e6be61..3b9254d494d 100644
--- a/peps/pep-0800.rst
+++ b/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
 ========