[carlbarrdahl]

Would be interesting to see how good LLMs are at generating code for this.

As I see it, state machines are a json serializable representation of logic.

We also have json schema for representations of valid inputs. GraphQL or similar as representations for fetching data. And of course jsx for rendering views.

Put all these as a Venn diagram, what are the overlaps?

Can we use these constraints as a way to generate robust and consistent apps?