ergon-release · Oct 30, 2026
diff --git a/.changeset/body-cleanups-6f3d.md b/.changeset/body-cleanups-6f3d.md
diff --git a/.changeset/case-cancels-before-cleanups-4e8b.md b/.changeset/case-cancels-before-cleanups-4e8b.md
diff --git a/.changeset/case-ends-with-a-fault-3e8f.md b/.changeset/case-ends-with-a-fault-3e8f.md
diff --git a/.changeset/collector-cleanups-2b7e.md b/.changeset/collector-cleanups-2b7e.md
diff --git a/.changeset/implement-definition-12-0-0-2d9e.md b/.changeset/implement-definition-12-0-0-2d9e.md
diff --git a/.changeset/implement-definition-12-1-0-6e4a.md b/.changeset/implement-definition-12-1-0-6e4a.md
diff --git a/.changeset/implement-definition-12-2-0-8a3d.md b/.changeset/implement-definition-12-2-0-8a3d.md
diff --git a/.changeset/implement-definition-13-0-0-6b2e.md b/.changeset/implement-definition-13-0-0-6b2e.md
diff --git a/.changeset/implement-definition-13-1-0-9c2f.md b/.changeset/implement-definition-13-1-0-9c2f.md
diff --git a/.changeset/implement-definition-13-2-0-3b8f.md b/.changeset/implement-definition-13-2-0-3b8f.md
diff --git a/.changeset/implement-definition-13-3-0-2d6e.md b/.changeset/implement-definition-13-3-0-2d6e.md
diff --git a/.changeset/implement-definition-13-4-0-5c1a.md b/.changeset/implement-definition-13-4-0-5c1a.md
diff --git a/.changeset/implement-definition-13-5-0-7a3c.md b/.changeset/implement-definition-13-5-0-7a3c.md
diff --git a/.changeset/implement-definition-13-6-0-4b9e.md b/.changeset/implement-definition-13-6-0-4b9e.md
diff --git a/.changeset/max-live-bytes-2e7a.md b/.changeset/max-live-bytes-2e7a.md
diff --git a/.changeset/observe-call-4d1b.md b/.changeset/observe-call-4d1b.md
diff --git a/.changeset/prop-on-result-2d7a.md b/.changeset/prop-on-result-2d7a.md
diff --git a/.changeset/prop-run-seed-9b4f.md b/.changeset/prop-run-seed-9b4f.md
diff --git a/.changeset/recorder-drop-cleanups-8a4c.md b/.changeset/recorder-drop-cleanups-8a4c.md
diff --git a/.changeset/recorder-run-cleanups-3d9f.md b/.changeset/recorder-run-cleanups-3d9f.md
diff --git a/.changeset/recursive-of-its-own-type-7b4c.md b/.changeset/recursive-of-its-own-type-7b4c.md
diff --git a/.changeset/register-histories-8f1c.md b/.changeset/register-histories-8f1c.md
diff --git a/.changeset/rejects-skip-1f7d.md b/.changeset/rejects-skip-1f7d.md
diff --git a/.changeset/seat-cleanup-7e2b.md b/.changeset/seat-cleanup-7e2b.md
diff --git a/.changeset/seat-skip-3c8f.md b/.changeset/seat-skip-3c8f.md
diff --git a/.changeset/skip-reason-in-the-call-record-5b20.md b/.changeset/skip-reason-in-the-call-record-5b20.md
diff --git a/.changeset/upgrade-ergon-to-v0-17-1c8e.md b/.changeset/upgrade-ergon-to-v0-17-1c8e.md
diff --git a/.changeset/write-record-6e2d.md b/.changeset/write-record-6e2d.md
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -11,7 +11,7 @@ members = [
 resolver = "3"
 
 [workspace.package]
-version = "0.2.0"
+version = "0.3.0"
 edition = "2024"
 rust-version = "1.85"
 license = "MIT"
@@ -21,9 +21,9 @@ categories = ["development-tools::testing"]
 keywords = ["assertions", "testing", "property-testing", "conformance"]
 
 [workspace.dependencies]
-dokimi-assert = { path = "crates/dokimi-assert", version = "0.2.0" }
-dokimi-assert-derive = { path = "crates/dokimi-assert-derive", version = "0.2.0" }
-dokimi-assert-tokio = { path = "crates/dokimi-assert-tokio", version = "0.2.0" }
+dokimi-assert = { path = "crates/dokimi-assert", version = "0.3.0" }
+dokimi-assert-derive = { path = "crates/dokimi-assert-derive", version = "0.3.0" }
+dokimi-assert-tokio = { path = "crates/dokimi-assert-tokio", version = "0.3.0" }
 chrono = { version = "0.4.45", default-features = false, features = ["std"] }
 jiff = "0.2.38"
 proc-macro2 = "1.0.107"

diff --git a/crates/dokimi-assert-derive/CHANGELOG.md b/crates/dokimi-assert-derive/CHANGELOG.md
@@ -1,5 +1,9 @@
 # dokimi-assert-derive
 
+## 0.3.0
+
+No changes in this release.
+
 ## 0.2.0
 
 No changes in this release.
diff --git a/crates/dokimi-assert-tokio/CHANGELOG.md b/crates/dokimi-assert-tokio/CHANGELOG.md
@@ -1,5 +1,12 @@
 # dokimi-assert-tokio
 
+## 0.3.0
+
+### Patch Changes
+
+- Updated dependencies [06313eb, 9ebaa1a, d281075, 3b7713e, a011ff6, 34bc092, acb3f71, e48816f, 43169a7, 128d4ec]
+  - dokimi-assert@0.3.0
+
 ## 0.2.0
 
 ### Patch Changes

diff --git a/crates/dokimi-assert/CHANGELOG.md b/crates/dokimi-assert/CHANGELOG.md
@@ -1,5 +1,40 @@
 # dokimi-assert
 
+## 0.3.0
+
+### Minor Changes
+
+- 06313eb: Run the cleanups of the check of `check::rejects` and of each attempt of `eventually` when the body ends.
+- 9ebaa1a: **Breaking:** End the call of a property with the fault that ends a call in one of its cases.
+- 06313eb: Run the cleanups of a `Collector` when it drops, also while its test panics.
+- d281075: Implement definition 12.0.0 and write its version into every call record.
+- 3b7713e: Implement definition 12.1.0 and write its version into every call record.
+- a011ff6: Implement definition 12.2.0 and write its version into every call record.
+- 9ebaa1a: Implement definition 13.0.0 and write its version into every call record.
+- 34bc092: Implement definition 13.1.0 and write its version into every call record.
+- acb3f71: Implement definition 13.2.0 and write its version into every call record.
+- e48816f: Implement definition 13.3.0 and write its version into every call record.
+- 06313eb: Implement definition 13.4.0 and write its version into every call record.
+- 43169a7: Implement definition 13.5.0 and write its version into every call record.
+- 128d4ec: Implement definition 13.6.0 and write its version into every call record.
+- acb3f71: Add `max_live_bytes` to `check` and `soft`, a ceiling on the bytes that a call keeps allocated at each call of a probe.
+- 34bc092: Add `Call` and `Seat::observe_call`, so a seat observes every assertion call, a passing one included.
+- 128d4ec: Add `prop::on_result` and `prop::RunResult` to hand a function the result of each run of a property.
+- 43169a7: Add `prop::run_seed` to return the seed that a run takes without `prop::seed`.
+- 06313eb: Run the cleanups that a `Recorder` still keeps when it drops.
+- 06313eb: Add `Recorder::run_cleanups` to run the cleanups that a recorder keeps.
+- d281075: **Breaking:** Decode each value of a type with the position generator inside the extension of a stated `prop::recursive` generator of the type.
+- e48816f: Check histories of read-write register transactions with `history::is_serializable` and `history::has_snapshot_isolation`.
+- 3b7713e: End the call of `check::rejects` as skipped when the check skips before it fails.
+- 06313eb: Add `Seat::cleanup`, whose default ends the call with a fault.
+- 3b7713e: Add `Seat::skip`, whose default writes the reason to the standard error, and pass the skip of a property to its seat through it.
+- 3b7713e: Write the reason of every skip into the field `reason` of its call record.
+- 43169a7: Add `write_record` to write a record of another kind to the artifact of its kind beside the test binary.
+
+### Patch Changes
+
+- 06313eb: Fix `prop::Case` to stop its cancellation handle before its first cleanup runs.
+
 ## 0.2.0
 
 ### Minor Changes