packages feed

keiro 0.6.0.0 → 0.7.0.0

raw patch · 2 files changed

+24/−5 lines, 2 filesdep ~keikidep ~keiki-codec-jsondep ~keiro-corePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: keiki, keiki-codec-json, keiro-core

API changes (from Hackage documentation)

Files

CHANGELOG.md view
@@ -6,6 +6,24 @@  ## [Unreleased] +## 0.7.0.0 — 2026-08-01++### Breaking Changes++- Requires the conservative-projection Keiki releases (`keiki >=0.7 && <0.8`,+  `keiki-codec-json >=0.7 && <0.8`), replacing the previous `>=0.6 && <0.7`+  bounds. Keiki 0.7 treats a predicate that crosses a one-way generated+  projection as opaque to symbolic proof, so verification may return+  `UnverifiedOpaque` where an earlier release reported a `Verified*` result.+  Command execution and replay behavior are unchanged.+- Requires `keiro-core ^>=0.7.0.0`.++### New Features++- Re-exports `Keiro.Codec.IdDomain` from `keiro-core`, so generated version-3+  identifier bindings and harnesses keep a single direct `keiro` dependency+  alongside the existing structural and nominal binding re-exports.+ ## 0.6.0.0 — 2026-07-31  ### Breaking Changes
keiro.cabal view
@@ -1,6 +1,6 @@ cabal-version:   3.0 name:            keiro-version:         0.6.0.0+version:         0.7.0.0 synopsis:        Event sourcing framework and workflow engine description:   A library that composes kiroku, keiki, and shibuya into an@@ -89,6 +89,7 @@   other-modules:      Keiro.ReplayDigest   reexported-modules:     keiro-core:Keiro.Codec,+    keiro-core:Keiro.Codec.IdDomain,     keiro-core:Keiro.Codec.Structural,     keiro-core:Keiro.Codec.Structural.Generic,     keiro-core:Keiro.Codec.Nominal,@@ -119,9 +120,9 @@     , hs-opentelemetry-api                   >=1.0      && <1.1     , hs-opentelemetry-propagator-w3c        >=1.0      && <1.1     , hs-opentelemetry-semantic-conventions  >=1.40     && <2-    , keiki                                  >=0.6      && <0.7-    , keiki-codec-json                       >=0.6      && <0.7-    , keiro-core                             ^>=0.6.0.0+    , keiki                                  >=0.7      && <0.8+    , keiki-codec-json                       >=0.7      && <0.8+    , keiro-core                             ^>=0.7.0.0     , kiroku-store                           >=0.3      && <0.4     , lens                                   >=5.2      && <5.4     , mmzk-typeid                            >=0.7      && <0.8@@ -189,7 +190,7 @@     , hs-opentelemetry-api  >=1.0      && <1.1     , hs-opentelemetry-sdk  >=1.0      && <1.1     , keiro-    , keiro-core            ^>=0.6.0.0+    , keiro-core            ^>=0.7.0.0     , keiro-test-support     , kiroku-store          >=0.3      && <0.4     , tasty-bench           >=0.4