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

Examinez Objects/abstract.c aux lignes 2641-2644 ainsi que les PR liés gh-144874 et gh-144997. Exécutez la reproduction isinstance fournie sur Python 3.13/Linux pour confirmer les résultats erronés. C’est terminé lorsque le comportement signalé est corrigé et que le résultat est conforme au problème de documentation soulevé dans #79264.