I'm very skeptical that an LLM can derive any meaningful spec from a non-trivial codebase.
Specifications describe the behavior of the system, but most of all it defines wanted outcomes and edge cases. This is hard.
I'd like to see the results if anyone can make this work! It would make my job orders of magnitude simpler.
