Raspberry Pi Pico: debounce de botão com IRQ ou consulta por software (GP5 + GP4)

Você pressiona o botão uma vez e o código conta 3-4? Isso é **oscilação dos contatos** — os contatos metálicos oscilam por microssegundos! Compare 2 métodos de contagem lado a lado no Monitor Serial: **consulta sem filtro** (detecta as oscilações e conta a mais) e **IRQ + debounce por software** (contagem correta). Aprenda a física da oscilação dos contatos, debounce por software (`ticks_diff() > 50ms`), registro de interrupção com **Pin.irq()**, disparo **IRQ_FALLING**, rotinas ISR, `global` e…