Version Packages

Author: github-actions[bot]

.changeset/bright-runtimes-verify.md

@@ -1,5 +1,15 @@
 # @typeonce/effect-machine
 
+## 0.5.0
+
+### Minor Changes
+
+- f3e1e78: Add reusable runtime invariants, law-oriented causal command verification, and
+  an explicit planner/runtime agreement check. Causal probe microsteps now retain
+  stable public snapshots even when the optimized runtime reuses internal state.
+- 0dbb538: Add state, step, and trace invariants for checking application semantics over planner traces, including machine-inferred builders, conditional observation requirements, structured reports, and property-test assertions. Add bounded breadth-first exploration with state-dependent event representatives, shortest witnesses, explicit truncation frontiers, and fail-closed reachability assertions. Add testing-only runtime probes with acknowledged event delivery so tests can causally inspect ignored, targetless, changing, and failed live macrosteps without adding a production `sendAndAwait` API.
+- c01c7d2: Add explicitly named causal and enqueue-oriented runtime command runners. Causal command tests now retain an exact probe step for every processed send, support probe-bound asynchronous waits, attribute processing failures to the submitted command, and format replayable causal transcripts. Deprecate the ambiguous `runRuntimeCommands` and `formatRuntimeTranscript` names in favor of their explicit enqueue-oriented replacements.
+
 ## 0.4.0
 
 ### Minor Changes

.changeset/fair-laws-check.md

@@ -1,6 +1,6 @@
 {
   "name": "@typeonce/effect-machine",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "description": "Schema-first state machines and statecharts for Effect",
   "author": "Sandro Maglione",
   "repository": {