@typeonce/effect-machine 0.20.0 → 0.22.0

package/dist/testing/MachineTest.js.map

@@ -1 +1 @@
-{"version":3,"file":"MachineTest.js","sourceRoot":"","sources":["../../src/testing/MachineTest.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH,OAAO,KAAK,QAAQ,MAAM,6CAA6C,CAAA;AAIvE,OAAO,EACL,cAAc,EAGd,2BAA2B,EAU3B,iBAAiB,EAQjB,sBAAsB,EACtB,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAKlB,qBAAqB,EAIrB,eAAe,EAMf,uBAAuB,EACvB,sBAAsB,EAEtB,WAAW,EACX,WAAW,EACX,oBAAoB,EACrB,MAAM,6CAA6C,CAAA;AAQpD,OAAO,EACL,YAAY,EAcZ,YAAY,EAKb,MAAM,6CAA6C,CAAA;AAEpD,OAAO,EACL,sBAAsB,EAavB,MAAM,6CAA6C,CAAA;AAEpD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GACzB,QAAQ,CAAC,cAAc,CAAA;AAkGzB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,QAAQ,CAAC,SAAS,CAAA;AAmNpB;;;;;;GAMG;AACH,OAAO,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAA;AAEnF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,MAAM,KAAK,GAQ4D,QAAQ,CAAC,KAAK,CAAA;AA8O5F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC5B,QAAQ,CAAC,iBAAiB,CAAA;AAoD5B;;;;;GAKG;AACH,OAAO,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAA;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAI6C,QAAQ,CAAC,sBAAsB,CAAA;AAE/G;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAI0B,QAAQ,CAAC,uBAAuB,CAAA;AAwB9F;;;;;GAKG;AACH,OAAO,EAAE,4BAA4B,EAAE,MAAM,6CAA6C,CAAA;AAE1F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAIxC,QAAQ,CAAC,6BAA6B,CAAA;AAiLxC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAgBlB,QAAQ,CAAC,SAAS,CAAA;AAEtB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,MAAM,UAAU,GAA8D,QAAQ,CAAC,UAAU,CAAA;AAgExG;;;;;;GAMG;AACH,OAAO,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAA;AAE5E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,eAAe,GAIsC,QAAQ,CAAC,eAAe,CAAA;AAE1F;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAI0B,QAAQ,CAAC,gBAAgB,CAAA;AAgMhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AACH,MAAM,CAAC,MAAM,OAAO,GAOhB,QAAQ,CAAC,OAAO,CAAA;AAoBpB;;;;;GAKG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAGkB,QAAQ,CAAC,YAAY,CAAA;AAEhE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAIsD,QAAQ,CAAC,eAAe,CAAA;AAE1G;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAIiC,QAAQ,CAAC,iBAAiB,CAAA;AAEzF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,WAAW,GAG0C,QAAQ,CAAC,WAAW,CAAA;AA0DtF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,CAAC,MAAM,GAAG,GAG2D,QAAQ,CAAC,GAAG,CAAA;AA0OvF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,CAAC,MAAM,QAAQ,GAGF,QAAQ,CAAC,QAAQ,CAAA;AAoFpC;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,aAAa,GAOtB,QAAQ,CAAC,aAAa,CAAA;AAoE1B;;;;;GAKG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AAY/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,CAAC,MAAM,MAAM,GAI2B,QAAQ,CAAC,MAAM,CAAA;AAE7D;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,WAAW,GACtB,QAAQ,CAAC,WAAW,CAAA"}
+{"version":3,"file":"MachineTest.js","sourceRoot":"","sources":["../../src/testing/MachineTest.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH,OAAO,KAAK,QAAQ,MAAM,6CAA6C,CAAA;AAIvE,OAAO,EACL,cAAc,EAGd,2BAA2B,EAU3B,iBAAiB,EAQjB,sBAAsB,EACtB,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAKlB,qBAAqB,EAIrB,eAAe,EAMf,uBAAuB,EACvB,sBAAsB,EAEtB,WAAW,EACX,WAAW,EACX,oBAAoB,EACrB,MAAM,6CAA6C,CAAA;AAQpD,OAAO,EACL,YAAY,EAcZ,YAAY,EAKb,MAAM,6CAA6C,CAAA;AAEpD,OAAO,EACL,sBAAsB,EAavB,MAAM,6CAA6C,CAAA;AAEpD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GACzB,QAAQ,CAAC,cAAc,CAAA;AAkGzB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,QAAQ,CAAC,SAAS,CAAA;AAmNpB;;;;;;GAMG;AACH,OAAO,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAA;AAEnF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,MAAM,KAAK,GAQ4D,QAAQ,CAAC,KAAK,CAAA;AA8O5F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC5B,QAAQ,CAAC,iBAAiB,CAAA;AAoD5B;;;;;GAKG;AACH,OAAO,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAA;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAI6C,QAAQ,CAAC,sBAAsB,CAAA;AAE/G;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAI0B,QAAQ,CAAC,uBAAuB,CAAA;AAwB9F;;;;;GAKG;AACH,OAAO,EAAE,4BAA4B,EAAE,MAAM,6CAA6C,CAAA;AAE1F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAIxC,QAAQ,CAAC,6BAA6B,CAAA;AAiLxC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAgBlB,QAAQ,CAAC,SAAS,CAAA;AAEtB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,MAAM,UAAU,GAA8D,QAAQ,CAAC,UAAU,CAAA;AAgExG;;;;;;GAMG;AACH,OAAO,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAA;AAE5E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,eAAe,GAIsC,QAAQ,CAAC,eAAe,CAAA;AAE1F;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAI0B,QAAQ,CAAC,gBAAgB,CAAA;AAgMhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AACH,MAAM,CAAC,MAAM,OAAO,GAOhB,QAAQ,CAAC,OAAO,CAAA;AAoBpB;;;;;GAKG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAGkB,QAAQ,CAAC,YAAY,CAAA;AAEhE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAIsD,QAAQ,CAAC,eAAe,CAAA;AAE1G;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAIiC,QAAQ,CAAC,iBAAiB,CAAA;AAEzF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,WAAW,GAG0C,QAAQ,CAAC,WAAW,CAAA;AA0DtF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,CAAC,MAAM,GAAG,GAG2D,QAAQ,CAAC,GAAG,CAAA;AA4OvF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,CAAC,MAAM,QAAQ,GAGF,QAAQ,CAAC,QAAQ,CAAA;AAoFpC;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,aAAa,GAOtB,QAAQ,CAAC,aAAa,CAAA;AAoE1B;;;;;GAKG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AAY/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,CAAC,MAAM,MAAM,GAI2B,QAAQ,CAAC,MAAM,CAAA;AAE7D;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,WAAW,GACtB,QAAQ,CAAC,WAAW,CAAA"}

package/dist/unstable/reactivity/AtomMachine.d.ts

@@ -258,7 +258,7 @@ type ChildState<Child extends Machine.ChildMachine.Any> = RefState<Machine.Child
  *   events: Machine.events(),
  *   initial: {
  *     target: (to) => to.Count(),
- *     resolve: ({ target }) => target(new Count({ value: 0 }))
+ *     resolve: ({ target }) => target.decoded(new Count({ value: 0 }))
  *   }
  * }).handle({ Count: {} })
  * const machineAtom = AtomMachine.make(machine)

package/dist/unstable/reactivity/AtomMachine.js

@@ -68,7 +68,7 @@ export const childEmissions = internal.childEmissions;
  *   events: Machine.events(),
  *   initial: {
  *     target: (to) => to.Count(),
- *     resolve: ({ target }) => target(new Count({ value: 0 }))
+ *     resolve: ({ target }) => target.decoded(new Count({ value: 0 }))
  *   }
  * }).handle({ Count: {} })
  * const machineAtom = AtomMachine.make(machine)

package/docs/agent-guide.md

@@ -67,9 +67,12 @@ Each step has one job:
 Chain `.handle` from `Machine.make`. Do not store the intermediate definition
 when the module exports one machine implementation.
 
-State builders construct the next snapshot. Use `.from(...)` when a state owns
-data. The machine validates that input through the state schema while it plans
-the transition.
+State builders construct the next snapshot. Use `.from(...)` for schema make
+input; defaults, transformations, and refinements run while the machine plans
+the transition. Use `.decoded(...)` only for an existing `Schema.Type`. It is
+validated against the type side without rerunning encoded transformations.
+Valued state builders are not callable, so the construction mode is always
+visible. Schema-less state construction uses `.from()`.
 
 The examples below show one modeling decision at a time. They omit unchanged
 state and event declarations already shown above.
@@ -388,6 +391,51 @@ Do not read the clock, generate randomness, call a service, or await work while
 choosing a transition. Receive such values in an event or produce them through
 state-owned work first.
 
+When only an active compound or parallel state's value changes, use its static
+update selection instead of reconstructing its active descendants:
+
+```ts
+Changed: (to) =>
+  to.local.update(({ current, owner }) =>
+    owner.from({ revision: current.revision + 1 })
+  )
+```
+
+`to.local.update` addresses the nearest valued compound scope.
+`to.branch.<path>.update` addresses a valued compound or parallel ancestor of
+the handler source. Both preserve the complete active descendant
+configuration. Neither runs lifecycle actions or restarts state-owned work by
+default. Use an event handled inside a parallel sibling when that sibling owns
+the value that must change.
+
+When topology changes and one valued ancestor remains active but needs a new
+value, declare the owner on the destination:
+
+```ts
+CreatePlan: (to) =>
+  to.local.SavingPlan()
+    .updating(to.branch.Ready)
+    .resolve(({ current, event, owner, target }) =>
+      target.from({ request: event.input }).update(
+        owner.decoded(new Ready({ ...current, notice: null }))
+      )
+    )
+```
+
+`.updating(...)` accepts the retained state selector itself. It makes the
+owner replacement mandatory at compile time: the resolver must finish a
+destination construction with `.update(...)`. `current` is the owner's
+decoded pre-transition value. `target` constructs the destination and `owner`
+constructs the complete replacement value.
+
+Both instructions are validated and applied atomically. The retained owner is
+not reentered, destination entry sees its new value, and eventless
+stabilization runs afterward. Only local and branch targets that retain the
+owner expose `.updating`; full targets do not. Combined targets support one
+owner. Keep separate domain changes explicit by constructing the complete
+owner value instead of relying on a partial merge helper. Combined updates use
+a direct resolver; named branches support value-only updates.
+
 ## Test paths and invariants
 
 Test the statechart as a graph. Send domain events, inspect reached states, and

package/package.json

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