Earlier quoted context omitted.
Nice. There have been some similar activities on this front. In case you didn't already know of them; Literate Programming in the Age of LLMs - https://news.ycombinator.com/item?id=48691666 Natural Language Outlines for Code: Literate Programming in the LLM Era (inspired by LP) - https://dl.acm.org/doi/10.1145/3696630.3728541 Visual Programming + Literate Programming: A Better Way to Build Business Logic With AI - ht…
This is wonderful, thanks! I was unaware of these!
With AI agents we need some way to specify requirements, trace that they are met through the generated code and verify them against the requirements. All with the ability to generate documentation and facilitating understanding. Changes made to the specification should update code and vice-versa auto-magically. That is the holy grail of "Round-Trip Engineering".