Te encuentras con una limitación que, de hecho, está diseñada en Move. Incluso si tu tipo genérico T está restringido a la clave + store, el compilador sigue sin saber nada sobre los campos que contiene T. La habilidad de las claves solo garantiza que T incluya un UID, pero es más bien una regla del sistema de tipos, no una forma de que el compilador deduzca la estructura. Por lo tanto, el hecho de que T tenga un campo de identificación no es algo en lo que puedas confiar en tiempo de compilación.

También es importante: el acceso a los campos en Move está restringido al módulo en el que está definida la estructura. Por lo tanto, aunque T no fuera genérico, si proviene de otro módulo, no podrías acceder a sus campos directamente.

Lo que estás intentando hacer (pasar &mut my_obj.id desde un objeto genérico) no es posible y es intencional. Protege las variables clave de Move, especialmente en lo que respecta a la seguridad de los UID. Permitir el acceso genérico y mutable a campos como el UID infringiría las principales garantías de seguridad del lenguaje.

Si tu objetivo es usar df: :add e intentas adjuntar un campo al UID del objeto, tendrás que reestructurar tu código. Una forma es omitir por completo lo genérico y escribir:

public fun add_df(uid: &mut UID, new_id: ID) {
    df::add(uid, b"aaa".to_string(), new_id);
}

Esto funciona si puedes acceder de forma segura al UID de &mut, pero se trata de una operación delicada: debes evitar exponer referencias mutables al UID a menos que estés absolutamente seguro de las implicaciones.

Si tu app solo usa unos pocos tipos de estructuras conocidas, otra solución práctica es escribir una lógica separada por tipo, sin usar genéricos.

Para profundizar en el funcionamiento de los campos dinámicos y en cómo diseñar teniendo en cuenta el acceso a los UID, te recomiendo encarecidamente este capítulo del Move Book: https://move-book.com/programmability/dynamic-fields.html#dynamic-fields

Hay dos cosas que debes saber:

1. Solo se puede acceder a los campos en el módulo que define la estructura. Por lo tanto, incluso sin genéricos, no podría acceder a los campos de un tipo extranjero.
2. Creo que entiendo de dónde vienes: key force id: campo UID, pero es solo una «regla de verificación» adicional, y no una sugerencia para el compilador. En otras palabras, el compilador no sabe que T tiene ningún campo y se supone que no debe saberlo