It looks like it should indeed work nicely together. I do have some open questions, but nothing worth asking before I actually explore it deeper.
I’ll keep you posted if I get to explore it.
I was thinking about adding a FinitomataAdapter + a livebook for a system design and analysis library I was working on. Finitomata actually gave me a few ideas!