Skip to content

Commit bc0489f

Browse files
Version Packages
1 parent 5656f41 commit bc0489f

7 files changed

Lines changed: 19 additions & 30 deletions

.changeset/brave-machines-observe.md

Lines changed: 0 additions & 7 deletions
This file was deleted.

.changeset/calm-histories-resume.md

Lines changed: 0 additions & 5 deletions
This file was deleted.

.changeset/quiet-spiders-inspect.md

Lines changed: 0 additions & 5 deletions
This file was deleted.

.changeset/rich-machines-inspect.md

Lines changed: 0 additions & 5 deletions
This file was deleted.

.changeset/tender-choices-route.md

Lines changed: 0 additions & 7 deletions
This file was deleted.

CHANGELOG.md

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,23 @@
11
# @typeonce/effect-machine
22

3+
## 0.4.0
4+
5+
### Minor Changes
6+
7+
- d02dacb: Add an Effect-native `@typeonce/effect-machine/testing` entrypoint with schema-derived scenarios, replayable planner traces, independent statechart law and finite-model verification for compound, parallel, and history states, trace coverage, observed Effect graphs, and live runtime command models.
8+
9+
Expose retained planner transition evidence and correct reentry boundaries, simultaneous parallel target application, and recorded nested-history restoration through inactive ancestors.
10+
11+
- 6809080: Add public getters for inspecting compiled state nodes, registered transition handlers, declared transition targets, and the active state configuration of a snapshot. Event, eventless, and completion handlers may declare an upper bound of target paths that is checked against inferred and runtime results.
12+
- 2e45e12: Expose a captured full machine snapshot to event, eventless, and completion transition contexts; add serializable state-owned activity inspection for invokes, timers, and child machines; and surface resolved Effect Schema annotations plus descriptive pseudo-state annotations through state-node inspection.
13+
- 1312de1: Add first-class, type-safe choice pseudo-states with Effectful resolvers,
14+
inspectable target bounds, stable-snapshot exclusion, and MachineTest trace,
15+
coverage, verification, generated-model, and reference-model support.
16+
17+
### Patch Changes
18+
19+
- 5656f41: Fix first-use nested history defaults by requiring a complete source-independent configuration containing the history owner and using it to rebuild inactive compound and parallel ancestors.
20+
321
## 0.3.0
422

523
### Minor Changes

package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
"name": "@typeonce/effect-machine",
3-
"version": "0.3.0",
3+
"version": "0.4.0",
44
"description": "Schema-first state machines and statecharts for Effect",
55
"author": "Sandro Maglione",
66
"repository": {

0 commit comments

Comments
 (0)