A good commit message will survive longer than this proposal is the point. What the author is proposing has a long history of similar ideas: Literate Programmi

A good commit message will survive longer than this proposal is the point. What the author is proposing has a long history of similar ideas: Literate Programming, UML modeling, DSL crazes, and now to LLM-generated abstractions. AI isn't special. They always fail in the same ways as basic "commenting your code". One can even argue that unit tests are a close cousin to this same problem. Taken one step further how is Huzzah better than just using property tests?