Barrapunto

Ahora estoy dudando de que sea "invariantes" el concepto del que hablo... Me refiero a los putos value objects, alguno que me ayude con la traducción...

Y el problema no es tener instancias de constantes, sino en hacer un buen análisis para reconocer si determinado objeto va a ser value o no... De entrada no parecía, hasta que encontraron que sí...

Un invariante no es más que una propiedad que se cumple siempre en cierto punto del programa.
Siempre lo he visto explicado en relación a la axiomática de Horn.

Y sí, no tiene mucho que ver con value objects.

Tu de lo que estas hablando es de objetos inmutables...