machinery v0.1.9

What's Changed

• Harden relational proofs and add rebuild transition contracts by @RamXX in #4
• ci: bump the github-actions group across 1 directory with 10 updates by @dependabot[bot] in #3
• deps: bump github.com/spf13/cobra from 1.8.1 to 1.10.2 in the go-dependencies group by @dependabot[bot] in #2
• deps: bump golang.org/x/crypto from 0.53.0 to 0.54.0 in /examples/go-crm/impl in the go-dependencies group by @dependabot[bot] in #1

New Contributors

• @RamXX made their first contribution in #4
• @dependabot[bot] made their first contribution in #3

Full Changelog: v0.1.7...v0.1.9