Ele garante que objetos imutáveis como nenhum, verdadeiro, falso etc. sejam realmente imutáveis no tempo de execução e suas contagens de referência não mudam.Sempre que atribuímos esse objeto a uma nova variável ou a passamos para uma função como um parâmetro, a contagem de referência do objeto aumenta em um.Assim, precisamos analisar o núcleo do CPYTHON, onde o código do usuário é executado, ou seja, a máquina virtual de bytecode (VM).Quando criamos um objeto e o atribuímos a uma variável, a variável contém uma referência ao objeto, não ao próprio objeto.Da mesma forma, uma variável contém uma referência a um objeto e várias variáveis podem se referir ao mesmo objeto.
Fonte: https://codeconfessions.substack.com/p/cpython-reference-counting-internals
