chore: finalize package release workflow

Author: SandroMaglione

.github/workflows/ci.yml

@@ -35,6 +35,10 @@ jobs:
         with:
           node-version: 24
           cache: pnpm
-          cache-dependency-path: examples/pokemon/pnpm-lock.yaml
+          cache-dependency-path: |
+            pnpm-lock.yaml
+            examples/pokemon/pnpm-lock.yaml
+      - run: pnpm --dir ../.. install --frozen-lockfile
+      - run: pnpm --dir ../.. build
       - run: pnpm install --frozen-lockfile
       - run: pnpm check

NOTICE

@@ -1,5 +1,3 @@
-This package incubates the Machine work proposed in Effect PR #6429.
-
 Portions are adapted from the Effect project, which is distributed under the
 MIT License. See https://github.com/Effect-TS/effect and the source history for
 authorship and provenance.

README.md

@@ -2,12 +2,6 @@
 
 Schema-first state machines and statecharts for Effect.
 
-This package is the external home for the Machine API proposed in
-[Effect PR #6429](https://github.com/Effect-TS/effect/pull/6429). During
-incubation this repository is the canonical implementation; the synchronization
-tool keeps the Effect PR mechanically aligned without maintaining a second
-implementation.
-
 > Early-release software: APIs may change, and releases are coupled to an exact
 > Effect beta.
 
@@ -395,49 +389,18 @@ pnpm check
 ```
 
 Individual commands are available for `build`, `test`, `test:types`,
-`typecheck`, `format:check`, `test:consumer`, `test:sync`, `sync:check`, and
-`pack:check`. Runtime tests use `@effect/vitest`; type tests use TSTyche and
-TypeScript 6.0.3. The consumer check packs the package, imports all public
-entrypoints, and compiles a strict TypeScript consumer with
-`skipLibCheck: false`.
-
-## Synchronizing Effect PR #6429
-
-Make logic changes here first and run `pnpm check`. Then generate the mapped
-production files, runtime tests, and type tests into a writable Effect checkout:
-
-```sh
-pnpm sync:effect -- /path/to/effect
-```
-
-The explicit mapping covers only the eight production files and six test files.
-It rewrites package imports to Effect repository-relative `.ts` imports and
-restores Effect's private `PipeInspectableProto` boundary. It never copies
-package metadata, documentation, release files, or changesets.
-
-Check an existing checkout without writing:
-
-```sh
-pnpm sync:effect -- --check /path/to/effect
-```
-
-Check mode exits non-zero on any drift. `pnpm test:sync` exercises generation,
-a clean check, and drift detection in a disposable temporary directory. Never
-generate into a checkout with work you have not reviewed. After generation,
-inspect the Effect diff and run its targeted machine, reactivity, cluster, and
-type-test validations followed by `pnpm check`.
-
-The current source reference is branch `sandro/state-charts` in the Effect
-repository. Exact dependency pins and the sync check are the proof boundary;
-vendoring the rest of Effect is intentionally unnecessary.
+`typecheck`, `format:check`, `test:consumer`, and `pack:check`. Runtime tests use
+`@effect/vitest`; type tests use TSTyche and TypeScript 6.0.3. The consumer check
+packs the package, imports all public entrypoints, and compiles a strict
+TypeScript consumer with `skipLibCheck: false`.
 
 ## Examples
 
 The [Pokémon statechart example](./examples/pokemon) is a standalone React and
 Vite project demonstrating compound and parallel states, state-scoped invokes,
-invoked child statecharts, typed emissions, and Atom reactivity. It installs the
-published package from npm, so its dependency graph, lockfile, build, and CI job
-are isolated from this library package.
+invoked child statecharts, typed emissions, and Atom reactivity. It uses a local
+`file:` dependency on this package while retaining an isolated dependency graph,
+lockfile, build, and CI job.
 
 ## Releases
 

examples/pokemon/README.md

@@ -3,8 +3,9 @@
 A standalone React and Vite application demonstrating parent, child, parallel,
 and invoked Effect machines with a live PokéAPI integration.
 
-This project intentionally installs `@typeonce/effect-machine@0.1.0` from npm.
-It does not use the repository's local source or a workspace dependency.
+This project installs `@typeonce/effect-machine` from the repository root
+through a local `file:` dependency. It keeps an independent lockfile and
+dependency graph while validating the current library build.
 
 ```sh
 pnpm install --frozen-lockfile

examples/pokemon/package.json

@@ -2,7 +2,7 @@
   "name": "@typeonce/effect-machine-example-pokemon",
   "version": "0.0.0",
   "private": true,
-  "description": "Pokémon statechart example using the published @typeonce/effect-machine package",
+  "description": "Pokémon statechart example using the local @typeonce/effect-machine package",
   "type": "module",
   "scripts": {
     "dev": "vite",
@@ -13,7 +13,7 @@
   "dependencies": {
     "@effect/atom-react": "4.0.0-beta.102",
     "@tanstack/react-router": "1.170.18",
-    "@typeonce/effect-machine": "0.1.0",
+    "@typeonce/effect-machine": "file:../..",
     "effect": "4.0.0-beta.102",
     "react": "19.2.7",
     "react-dom": "19.2.7",

examples/pokemon/pnpm-lock.yaml

@@ -4,12 +4,10 @@ packages:
 overrides:
   effect: 4.0.0-beta.102
   "@effect/atom-react": 4.0.0-beta.102
-  "@typeonce/effect-machine": 0.1.0
 
 minimumReleaseAge: 1440
 minimumReleaseAgeExclude:
   - effect@4.0.0-beta.102
   - "@effect/atom-react@4.0.0-beta.102"
-  - "@typeonce/effect-machine"
   - vite@8.1.5
   - "@vitejs/plugin-react@6.0.4"

examples/pokemon/pnpm-workspace.yaml

@@ -4,7 +4,7 @@ import { Atom } from "effect/unstable/reactivity"
 import { AtomMachine } from "@typeonce/effect-machine/reactivity"
 import { ReplaceMachine } from "./machines/replace.ts"
 import { SelectionMachine } from "./machines/selection.ts"
-import { Pokemon, PokemonService } from "./pokemon.ts"
+import { Pokemon, PokemonService, ReplaceInTeam } from "./pokemon.ts"
 
 class ActiveTeam extends Schema.TaggedClass<ActiveTeam>("ActiveTeam")("ActiveTeam", {
   team: Schema.Array(Pokemon)
@@ -17,7 +17,7 @@ export const ReplaceChild = Machine.child("replace", ReplaceMachine)
 
 const machine = Machine.make({
   states: States.states,
-  events: [...SelectionMachine.emits, ...ReplaceMachine.emits],
+  events: [ReplaceInTeam],
   initial: Effect.fn(function* () {
     const pk = yield* PokemonService
     const team = yield* pk.getRandomTeam()

examples/pokemon/src/machine.ts

@@ -1,6 +1,6 @@
 import { Effect, Schema } from "effect"
 import { Machine } from "@typeonce/effect-machine"
-import { Pokemon, PokemonService } from "../pokemon.ts"
+import { Pokemon, PokemonService, ReplaceInTeam } from "../pokemon.ts"
 
 class Idle extends Schema.TaggedClass<Idle>("Idle")("Idle", {}) {}
 
@@ -18,13 +18,6 @@ class Replaced extends Schema.TaggedClass<Replaced>("Replaced")("Replaced", {
   pokemon: Pokemon
 }) {}
 
-/** Emits */
-
-class ReplaceInTeam extends Schema.TaggedClass<ReplaceInTeam>("ReplaceInTeam")("ReplaceInTeam", {
-  id: Pokemon.fields.id,
-  pokemon: Pokemon
-}) {}
-
 const ReplaceWithRandomMachine = Machine.invoke({
   id: "replaceWithRandom",
   src: () =>

examples/pokemon/src/machines/replace.ts

@@ -1,6 +1,6 @@
 import { Effect, Option, Schema } from "effect"
 import { Machine } from "@typeonce/effect-machine"
-import { Pokemon, PokemonService } from "../pokemon.ts"
+import { Pokemon, PokemonService, ReplaceInTeam } from "../pokemon.ts"
 
 class Form extends Schema.TaggedClass<Form>("Form")("Form", {}) {}
 
@@ -42,13 +42,6 @@ class ReplacePokemon extends Schema.TaggedClass<ReplacePokemon>("ReplacePokemon"
   id: Pokemon.fields.id
 }) {}
 
-/** Emits */
-
-class ReplaceInTeam extends Schema.TaggedClass<ReplaceInTeam>("ReplaceInTeam")("ReplaceInTeam", {
-  id: Pokemon.fields.id,
-  pokemon: Pokemon
-}) {}
-
 const SearchMachine = ({ searchText }: { searchText: string }) =>
   Machine.invoke({
     id: "search",