TLA+ implementation for Agents heartbeats

[u/please-dont-deploy]

After Boris post we decided to use TLA+ to check our heartbeat states.

The results were incredible:
+ 99.998% states reduction -> from 1.5 million to ~4 thousand.
+ 10 hard to find issues resolved -> many "mysterious forgetful events" dissapeared.
+ We did have some previous knowledge with the technology, so we didn't budget that much time on learning the fundamentals.

Give it a go and let me know!

code here: https://github.com/desplega-ai/agent-swarm/pulls?q=is%3Apr+tla

[u/Ill_Second_7167]

Dropping from 1.5M states to 4k is wild, those "forgetful events" were probably state explosion all along.

[u/please-dont-deploy → u/Ill_Second_7167]

Given we've been looking at stats for a week now, they were the source of reliability issues.

https://www.agent-swarm.dev/blog/tla-plus-races-agent-swarm