Come stabilisce la compatiblita' comportamentale python?

Nonostante il Sub altisonante la domanda e' semplice...
Alla base della tipizzazione dinamica ci sta la capacita' di pyhon di
instanziare una forma di compatibilita' comportamentale tra tipi
differenti, a me interesserebbe capire come cio' viene realizzato.
A livello di implementazione della "macchina python" cio' e' possibile
in quanto i riferimenti agli oggetti non sono altro che puntatori C
(giusto?) percui e' possibile assegnarvi un oggetto di qualunque tipo,
ma run-time non mi e' chiara come venga appunto stabilita la compatibilita'.
Ho pensato che forse vengono utlizzati i cosidetti metodi "under the
hood", oppure quella magnifica invenzione che e' il metodo dir proprio
dell'interprete, ma volevo sapere se qualcuno ha informazioni piu'
dettagliate, anche perche' sono sicuro che il tutto sia piu' raffinato
di come ho esposto io.

grazie mille
jacopo