format for flow documenation in [LLM][llm]-assisted refactoring
This spec is given to the LLM which in turn utilizes it to
produce documentation of [system flows][flow], each showing
[state transitions][state], [steps][step], and [side effects][effect].
These flow documents support: