bide v0.12.0

Federations checked for event order.

v0.12.0 moves bide's governance tier to gsm v0.13.0.

• Event order across registries is checked. Federation.Build now rejects a federation where the order of events across registries could change the outcome (the C1 and C2 checks), on trees, acyclic networks and monotone cycles. The federated convergence statement is machine-checked in this corrected form in normalization-confluence.
• Certificates record delivery obligations. govern.ConfluenceCertificate carries what gsm reports a deployment must provide: pairs that need causal delivery, events that need deduplication, and writes clamped into a variable's range. bide's shared event log and ApplyOnce already provide the first two.

API changes:

• bide requires gsm v0.13.0.
• govern.ConfluenceCertificate gains PairsUndeclared, CausalOrderRequired, NotIdempotent and Saturations (types govern.EventPair, govern.Saturation); verify its certificates with bide-audit v0.12.0.
• From gsm: Machine.Apply normalizes an invalid input before applying the event, and Embed no longer copies AllowMonotoneCycles.

The CHANGELOG has the details.

Install:

go get github.com/bide-ai/bide/agent@v0.12.0

Library modules, at the same version:

go get github.com/bide-ai/bide/store/sqlite@v0.12.0
go get github.com/bide-ai/bide/store/postgres@v0.12.0
go get github.com/bide-ai/bide/mcptools@v0.12.0
go get github.com/bide-ai/bide/trace@v0.12.0
go get github.com/bide-ai/bide/codec/gcf@v0.12.0
go get github.com/bide-ai/bide/govern@v0.12.0
go get github.com/bide-ai/bide/govern/sqlitelog@v0.12.0
go get github.com/bide-ai/bide/govern/redislog@v0.12.0
go get github.com/bide-ai/bide/govern/postgreslog@v0.12.0

Docs: https://bide-ai.com. Formal models: spec/tla and the formal verification overview.