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

Esamina Objects/abstract.c alle righe 2641-2644 e le PR collegate gh-144874 e gh-144997. Esegui la riproduzione isinstance fornita su Python 3.13/Linux per confermare i risultati spuri. Il lavoro è completato quando il comportamento segnalato è risolto e il risultato è allineato al problema di documentazione sollevato in #79264.