Seeing this gave me the idea that we should add flowchart-style visualization of executable specifications written in our system-level specification & query lan

Seeing this gave me the idea that we should add flowchart-style visualization of executable specifications written in our system-level specification & query language, SpeQTr (https://docs.auxon.io/speqtr/ https://docs.auxon.io/speqtr/). We already do some things to extract flowchart/state-diagram like topology information from collected system traces, but given how much of our customer workflows center around requirements & specifications, I think going the direction of communicating the underlying detailed specification more abstractly would be a big win.