Did you have a look at the intro in the manual? https://antithesishq.github.io/bombadil/1-introduction.html
If that's not clear, please let me know how we can improve it!
A hello-world example of what it looks like, and what running it would validate, would be nice.
It's all very abstractly described in the README and that intro page you linked.
> Bombadil itself decides what is an interesting event and when to capture state.
It would be very nice to have a little more details on how this works. Though I guess we can figure it out via code/trialing it out.
I'll give it a go later today!