I would be very grateful if someone could spell out how an implementation of this may look in a more concrete sense. I don't parse the math very well myself. M

I would be very grateful if someone could spell out how an implementation of this may look in a more concrete sense. I don't parse the math very well myself. My gut-feel has been that a 'message trace' of some sort would be useful in debugging a distributed system. For example, every message contains the ID of the message which cause it to be sent, if any (or a list of message IDs giving the full causality chain). This is something I'm considering implementing in Lightbus [1] using Python's contexts. Is the proposed wat-provenance system here somehow different? To quote the abstract: > Given an arbitrary state machine, wat-provenance describes why the state machine produces a particular output when given a particular input. So is this more akin to static analysis rather than runtime debugging? [1]: https://lightbus.org https://lightbus.org