¿Qué nos falta para hacer la programación automática y cómo podemos superarla?

El problema es insoluble.

Ni siquiera la gente puede hacerlo …

El problema son las “reglas formales”: no hay reglas formales que puedan ser completas y precisas, ya que las “políticas y reglas comerciales y las mejores prácticas de TI, las pautas de la GUI y el conocimiento común” no son nada de eso. Las políticas comerciales contienen contratos. Las mejores prácticas de TI son opiniones. Las pautas de la GUI también son opiniones. Y el “sentido común” no es común.

Es por eso que las leyes tienen contradicciones, y los jueces / abogados deben decidir cómo se deben interpretar las leyes … y los resultados cambian dependiendo de quién o cuándo se solicita la interpretación.

La respuesta básica será “nunca”.

Al menos no todos al mismo tiempo. Algunos de ellos, claro, eso se puede hacer. Pero no todos, y nunca todos al mismo tiempo.