¿Por qué un argumento por defecto mutable se considera un bug esperando a pasar?

Los argumentos por defecto se evalúan una sola vez, cuando se define la función, no en cada llamada. Una lista o un diccionario por defecto son, por tanto, un único objeto compartido que persiste entre todas las llamadas, así que las mutaciones se acumulan y se filtran entre quienes la llaman. La solución es poner None por defecto y crear un contenedor nuevo dentro del cuerpo cuando el argumento es None.

Porque el objeto por defecto se crea una sola vez, cuando Python ejecuta la sentencia def, y a partir de ahí toda llamada que omita el argumento recibe ese mismo objeto. Si es una lista y la función le hace append, la tercera llamada ve lo que dejaron la primera y la segunda. Me pasó con un helper de caché que recibía un diccionario de opciones vacío por defecto. Con un worker de vida larga, el diccionario creció durante días y al final una petición heredó ajustes de un tenant que no tenía nada que ver, un bug que no es divertido de explicar. La solución es aburrida: poner None por defecto, y dentro del cuerpo comprobar explícitamente si es None y construir un diccionario nuevo, para que un diccionario vacío pasado a propósito se siga respetando. Los valores por defecto inmutables, como enteros, cadenas o None, no dan problema porque nada puede mutarlos. Ruff lo marca como B006 sin configurar nada, así que es de esos bugs que nunca deberían llegar a revisión en un proyecto con linting en CI.