Overzealous Optimization For `isinstance`

Bug report

Bug description:

The custom __instancecheck__ dunder method allows full customization (described in the Data model).

However, it produces a spurious result:

class CustomIsInstanceMeta(type):
    def __instancecheck__(cls, instance: object) -> bool:
        return type(instance) is int

class CustomIsInstance(metaclass=CustomIsInstanceMeta):
    ...

class CustomIsInstanceSubclass(CustomIsInstance):
    ...


print(isinstance(5, CustomIsInstance)) # True
print(isinstance(CustomIsInstance(), CustomIsInstance)) # True (should be False)
print(isinstance(CustomIsInstanceSubclass(), CustomIsInstance)) # False

This is caused by:
https://github.com/python/cpython/blob/23c488d6197191d355be6733699a295c20806932/Objects/abstract.c#L2641-L2644
which is invalid in this case.

This is a reframing of #79264 (request to fix documentation)

CPython versions tested on:

3.13

Operating systems tested on:

Linux

Linked PRs

• gh-144874
• gh-144997

Überprüfe Objects/abstract.c in den Zeilen 2641–2644 und die verknüpften PRs gh-144874 und gh-144997. Führe die bereitgestellte isinstance-Reproduktion unter Python 3.13/Linux aus, um die irreführenden Ergebnisse zu bestätigen. Erledigt bedeutet, dass das gemeldete Verhalten behoben ist und das Ergebnis mit dem in #79264 angesprochenen Dokumentationsproblem übereinstimmt.