@kronos-ts/modelling 0.1.0

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+export { type StateModule, type StateLifecycle, type IdSchema, type InferIdFromSchema, state, } from "./state.js";
+export { type SourcingInfo, type LoadResult, type StateRepository, type StateManager, createStateManager, } from "./state-manager.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,QAAQ,EACb,KAAK,iBAAiB,EACtB,KAAK,GACN,MAAM,YAAY,CAAA;AAEnB,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,kBAAkB,GACnB,MAAM,oBAAoB,CAAA"}

package/dist/index.js

@@ -0,0 +1,3 @@
+export { state, } from "./state.js";
+export { createStateManager, } from "./state-manager.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,GACN,MAAM,YAAY,CAAA;AAEnB,OAAO,EAKL,kBAAkB,GACnB,MAAM,oBAAoB,CAAA"}

package/dist/state-manager.d.ts

@@ -0,0 +1,41 @@
+import type { EventCriteria } from "@kronos-ts/messaging";
+import type { StateModule } from "./state.js";
+/**
+ * Metadata about what was sourced when loading state.
+ * Used by the framework to build append conditions.
+ */
+export interface SourcingInfo {
+    readonly criteria: EventCriteria;
+    readonly markerPosition: bigint;
+}
+/**
+ * Result of loading state — the state plus sourcing metadata.
+ */
+export interface LoadResult<S = unknown> {
+    readonly state: S;
+    readonly sourcingInfo: SourcingInfo;
+}
+/**
+ * A repository that knows how to load state of a specific state module
+ * by sourcing events from the event store and folding them through evolvers.
+ */
+export interface StateRepository<Id = unknown, S = unknown> {
+    readonly stateName: string;
+    load(id: Id): Promise<LoadResult<S>>;
+    /**
+     * Load state, creating the initial state if no events exist.
+     * Unlike `load()`, this never fails for a new state — it returns
+     * the `create()` state with empty sourcing info.
+     */
+    loadOrCreate(id: Id): Promise<LoadResult<S>>;
+}
+/**
+ * Manages state repositories and provides the `load()` capability
+ * to command and event handlers.
+ */
+export interface StateManager {
+    register<Id, S>(state: StateModule<Id, S>, repository: StateRepository<Id, S>): void;
+    load<Id, S>(state: StateModule<Id, S>, id: Id): Promise<LoadResult<S>>;
+}
+export declare function createStateManager(): StateManager;
+//# sourceMappingURL=state-manager.d.ts.map

package/dist/state-manager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-manager.d.ts","sourceRoot":"","sources":["../src/state-manager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAE7C;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAA;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,OAAO;IACrC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAA;CACpC;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,GAAG,OAAO;IACxD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IACpC;;;;OAIG;IACH,YAAY,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;CAC7C;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,CAAC,EACZ,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,EACzB,UAAU,EAAE,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC,GACjC,IAAI,CAAA;IAEP,IAAI,CAAC,EAAE,EAAE,CAAC,EACR,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,EACzB,EAAE,EAAE,EAAE,GACL,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;CAC1B;AAED,wBAAgB,kBAAkB,IAAI,YAAY,CAyBjD"}

package/dist/state-manager.js

@@ -0,0 +1,17 @@
+export function createStateManager() {
+    const repositories = new Map();
+    return {
+        register(state, repository) {
+            repositories.set(state.name, repository);
+        },
+        async load(state, id) {
+            const repo = repositories.get(state.name);
+            if (!repo) {
+                throw new Error(`No repository registered for state "${state.name}". ` +
+                    `Make sure it is included in the states array.`);
+            }
+            return repo.load(id);
+        },
+    };
+}
+//# sourceMappingURL=state-manager.js.map

package/dist/state-manager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-manager.js","sourceRoot":"","sources":["../src/state-manager.ts"],"names":[],"mappings":"AAmDA,MAAM,UAAU,kBAAkB;IAChC,MAAM,YAAY,GAAG,IAAI,GAAG,EAA2B,CAAA;IAEvD,OAAO;QACL,QAAQ,CACN,KAAyB,EACzB,UAAkC;YAElC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,UAA6B,CAAC,CAAA;QAC7D,CAAC;QAED,KAAK,CAAC,IAAI,CACR,KAAyB,EACzB,EAAM;YAEN,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YACzC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CACb,uCAAuC,KAAK,CAAC,IAAI,KAAK;oBACtD,+CAA+C,CAChD,CAAA;YACH,CAAC;YACD,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAA2B,CAAA;QAChD,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/state.d.ts

@@ -0,0 +1,87 @@
+import type { z } from "zod";
+import type { EventCriteria, EventMessage } from "@kronos-ts/messaging";
+import type { EvolverRegistration } from "@kronos-ts/messaging";
+/**
+ * A named record mapping field names to Zod schemas.
+ * Used to define state IDs with explicit field names.
+ *
+ * ```typescript
+ * // Simple ID
+ * { courseId: z.string() }
+ *
+ * // Composite ID
+ * { courseId: z.string(), studentId: z.string() }
+ * ```
+ */
+export type IdSchema = Record<string, z.ZodType>;
+/**
+ * Infers the runtime type from an ID schema record.
+ *
+ * `{ courseId: z.string() }` → `{ courseId: string }`
+ * `{ courseId: z.string(), studentId: z.string() }` → `{ courseId: string, studentId: string }`
+ */
+export type InferIdFromSchema<T extends IdSchema> = {
+    [K in keyof T]: z.infer<T[K]>;
+};
+/**
+ * Lifecycle hooks for state transitions.
+ */
+export interface StateLifecycle<Id = unknown, S = unknown> {
+    /** Called when the first event transitions from initial state. */
+    onCreate?: (state: S, id: Id) => void | Promise<void>;
+    /** Called when the state transitions to a deleted state. */
+    onDelete?: (state: S, id: Id) => void | Promise<void>;
+    /** Called after each evolver application when state changes. */
+    onStateChange?: (from: S, to: S, event: EventMessage, id: Id) => void | Promise<void>;
+    /** Predicate that detects deleted state. */
+    isDeleted?: (state: S) => boolean;
+}
+/**
+ * A state module — a self-contained definition of state sourced from events.
+ *
+ * The `Id` type is always a named record (e.g., `{ courseId: string }`),
+ * enforced at compile time by requiring an {@link IdSchema} definition.
+ * This ensures field names are always available for criteria, evolvers,
+ * and the initial function.
+ */
+export interface StateModule<Id = unknown, S = unknown> {
+    readonly kind: "state-module";
+    readonly name: string;
+    /** The ID schema — maps field names to Zod types. */
+    readonly idSchema: IdSchema;
+    readonly create: (id: Id) => S;
+    readonly criteria: (id: Id) => EventCriteria;
+    readonly evolvers: ReadonlyArray<EvolverRegistration<S, any>>;
+    readonly lifecycle?: StateLifecycle<Id, S>;
+}
+/**
+ * Defines a state module — state sourced from events, scoped by an ID.
+ *
+ * The `id` parameter must be a named record mapping field names to Zod types.
+ * A bare Zod type (e.g., `z.string()`) will not compile — you must name
+ * the field (e.g., `{ courseId: z.string() }`).
+ *
+ * The state type is inferred from the `initial` function's return type —
+ * no separate type definition needed.
+ *
+ * ```typescript
+ * const Course = state({
+ *   name: "Course",
+ *   id: { courseId: z.string() },
+ *   initial: () => ({ created: false, name: "", capacity: 0 }),
+ *   criteria: (id) => EventCriteria.havingTags({ courseId: id.courseId }),
+ *   evolve: [
+ *     on(CourseCreated, (s, event) => ({ ...s, created: true })),
+ *   ],
+ * })
+ * ```
+ */
+export declare function state<IS extends IdSchema, S>(def: {
+    name: string;
+    id: IS;
+    initial: (id: InferIdFromSchema<IS>) => S;
+    criteria: (id: InferIdFromSchema<IS>) => EventCriteria;
+    evolve: Array<EvolverRegistration<S, any>>;
+    lifecycle?: StateLifecycle<InferIdFromSchema<IS>, S>;
+}): StateModule<InferIdFromSchema<IS>, S>;
+//# sourceMappingURL=state.d.ts.map

package/dist/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../src/state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAC5B,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AACvE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAE/D;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,QAAQ,IAAI;KACjD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC9B,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,cAAc,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,GAAG,OAAO;IACvD,kEAAkE;IAClE,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACrD,4DAA4D;IAC5D,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACrD,gEAAgE;IAChE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,EAAE,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACrF,4CAA4C;IAC5C,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;CAClC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,WAAW,CAC1B,EAAE,GAAG,OAAO,EACZ,CAAC,GAAG,OAAO;IAEX,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,qDAAqD;IACrD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;IAC9B,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,aAAa,CAAA;IAC5C,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;CAC3C;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,KAAK,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE;IACjD,IAAI,EAAE,MAAM,CAAA;IACZ,EAAE,EAAE,EAAE,CAAA;IACN,OAAO,EAAE,CAAC,EAAE,EAAE,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;IACzC,QAAQ,EAAE,CAAC,EAAE,EAAE,iBAAiB,CAAC,EAAE,CAAC,KAAK,aAAa,CAAA;IACtD,MAAM,EAAE,KAAK,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IAC1C,SAAS,CAAC,EAAE,cAAc,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACrD,GAAG,WAAW,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/dist/state.js

@@ -0,0 +1,12 @@
+export function state(def) {
+    return {
+        kind: "state-module",
+        name: def.name,
+        idSchema: def.id,
+        create: def.initial,
+        criteria: def.criteria,
+        evolvers: def.evolve,
+        lifecycle: def.lifecycle,
+    };
+}
+//# sourceMappingURL=state.js.map

package/dist/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../src/state.ts"],"names":[],"mappings":"AA+FA,MAAM,UAAU,KAAK,CAAyB,GAO7C;IACC,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,QAAQ,EAAE,GAAG,CAAC,EAAE;QAChB,MAAM,EAAE,GAAG,CAAC,OAAO;QACnB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,QAAQ,EAAE,GAAG,CAAC,MAAM;QACpB,SAAS,EAAE,GAAG,CAAC,SAAS;KACzB,CAAA;AACH,CAAC"}

package/package.json

@@ -0,0 +1,54 @@
+{
+  "name": "@kronos-ts/modelling",
+  "version": "0.1.0",
+  "description": "State modelling for Kronos — event-sourced state definitions and evolution.",
+  "license": "Apache-2.0",
+  "type": "module",
+  "author": "Theo Emanuelsson",
+  "homepage": "https://github.com/KronosDB/kronos-ts/tree/main/packages/modelling#readme",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/KronosDB/kronos-ts.git",
+    "directory": "packages/modelling"
+  },
+  "bugs": {
+    "url": "https://github.com/KronosDB/kronos-ts/issues"
+  },
+  "keywords": [
+    "kronos",
+    "event-sourcing",
+    "cqrs",
+    "dcb",
+    "typescript"
+  ],
+  "sideEffects": false,
+  "main": "src/index.ts",
+  "types": "src/index.ts",
+  "files": [
+    "dist",
+    "src",
+    "!src/**/__tests__",
+    "!src/**/*.test.ts",
+    "!src/**/*.bench.ts"
+  ],
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "clean": "rm -rf dist *.tsbuildinfo"
+  },
+  "publishConfig": {
+    "access": "public",
+    "main": "./dist/index.js",
+    "types": "./dist/index.d.ts",
+    "exports": {
+      ".": {
+        "types": "./dist/index.d.ts",
+        "default": "./dist/index.js"
+      }
+    }
+  },
+  "dependencies": {
+    "@kronos-ts/common": "workspace:*",
+    "@kronos-ts/messaging": "workspace:*",
+    "zod": "^4.3.6"
+  }
+}

package/src/index.ts

@@ -0,0 +1,15 @@
+export {
+  type StateModule,
+  type StateLifecycle,
+  type IdSchema,
+  type InferIdFromSchema,
+  state,
+} from "./state.js"
+
+export {
+  type SourcingInfo,
+  type LoadResult,
+  type StateRepository,
+  type StateManager,
+  createStateManager,
+} from "./state-manager.js"

package/src/state-manager.ts

@@ -0,0 +1,77 @@
+import type { EventCriteria } from "@kronos-ts/messaging"
+import type { StateModule } from "./state.js"
+
+/**
+ * Metadata about what was sourced when loading state.
+ * Used by the framework to build append conditions.
+ */
+export interface SourcingInfo {
+  readonly criteria: EventCriteria
+  readonly markerPosition: bigint
+}
+
+/**
+ * Result of loading state — the state plus sourcing metadata.
+ */
+export interface LoadResult<S = unknown> {
+  readonly state: S
+  readonly sourcingInfo: SourcingInfo
+}
+
+/**
+ * A repository that knows how to load state of a specific state module
+ * by sourcing events from the event store and folding them through evolvers.
+ */
+export interface StateRepository<Id = unknown, S = unknown> {
+  readonly stateName: string
+  load(id: Id): Promise<LoadResult<S>>
+  /**
+   * Load state, creating the initial state if no events exist.
+   * Unlike `load()`, this never fails for a new state — it returns
+   * the `create()` state with empty sourcing info.
+   */
+  loadOrCreate(id: Id): Promise<LoadResult<S>>
+}
+
+/**
+ * Manages state repositories and provides the `load()` capability
+ * to command and event handlers.
+ */
+export interface StateManager {
+  register<Id, S>(
+    state: StateModule<Id, S>,
+    repository: StateRepository<Id, S>,
+  ): void
+
+  load<Id, S>(
+    state: StateModule<Id, S>,
+    id: Id,
+  ): Promise<LoadResult<S>>
+}
+
+export function createStateManager(): StateManager {
+  const repositories = new Map<string, StateRepository>()
+
+  return {
+    register<Id, S>(
+      state: StateModule<Id, S>,
+      repository: StateRepository<Id, S>,
+    ): void {
+      repositories.set(state.name, repository as StateRepository)
+    },
+
+    async load<Id, S>(
+      state: StateModule<Id, S>,
+      id: Id,
+    ): Promise<LoadResult<S>> {
+      const repo = repositories.get(state.name)
+      if (!repo) {
+        throw new Error(
+          `No repository registered for state "${state.name}". ` +
+          `Make sure it is included in the states array.`,
+        )
+      }
+      return repo.load(id) as Promise<LoadResult<S>>
+    },
+  }
+}

package/src/state.ts

@@ -0,0 +1,113 @@
+import type { z } from "zod"
+import type { EventCriteria, EventMessage } from "@kronos-ts/messaging"
+import type { EvolverRegistration } from "@kronos-ts/messaging"
+
+/**
+ * A named record mapping field names to Zod schemas.
+ * Used to define state IDs with explicit field names.
+ *
+ * ```typescript
+ * // Simple ID
+ * { courseId: z.string() }
+ *
+ * // Composite ID
+ * { courseId: z.string(), studentId: z.string() }
+ * ```
+ */
+export type IdSchema = Record<string, z.ZodType>
+
+/**
+ * Infers the runtime type from an ID schema record.
+ *
+ * `{ courseId: z.string() }` → `{ courseId: string }`
+ * `{ courseId: z.string(), studentId: z.string() }` → `{ courseId: string, studentId: string }`
+ */
+export type InferIdFromSchema<T extends IdSchema> = {
+  [K in keyof T]: z.infer<T[K]>
+}
+
+/**
+ * Lifecycle hooks for state transitions.
+ */
+export interface StateLifecycle<Id = unknown, S = unknown> {
+  /** Called when the first event transitions from initial state. */
+  onCreate?: (state: S, id: Id) => void | Promise<void>
+  /** Called when the state transitions to a deleted state. */
+  onDelete?: (state: S, id: Id) => void | Promise<void>
+  /** Called after each evolver application when state changes. */
+  onStateChange?: (from: S, to: S, event: EventMessage, id: Id) => void | Promise<void>
+  /** Predicate that detects deleted state. */
+  isDeleted?: (state: S) => boolean
+}
+
+/**
+ * A state module — a self-contained definition of state sourced from events.
+ *
+ * The `Id` type is always a named record (e.g., `{ courseId: string }`),
+ * enforced at compile time by requiring an {@link IdSchema} definition.
+ * This ensures field names are always available for criteria, evolvers,
+ * and the initial function.
+ */
+export interface StateModule<
+  Id = unknown,
+  S = unknown,
+> {
+  readonly kind: "state-module"
+  readonly name: string
+  /** The ID schema — maps field names to Zod types. */
+  readonly idSchema: IdSchema
+  readonly create: (id: Id) => S
+  readonly criteria: (id: Id) => EventCriteria
+  readonly evolvers: ReadonlyArray<EvolverRegistration<S, any>>
+  readonly lifecycle?: StateLifecycle<Id, S>
+}
+
+/**
+ * Defines a state module — state sourced from events, scoped by an ID.
+ *
+ * The `id` parameter must be a named record mapping field names to Zod types.
+ * A bare Zod type (e.g., `z.string()`) will not compile — you must name
+ * the field (e.g., `{ courseId: z.string() }`).
+ *
+ * The state type is inferred from the `initial` function's return type —
+ * no separate type definition needed.
+ *
+ * ```typescript
+ * const Course = state({
+ *   name: "Course",
+ *   id: { courseId: z.string() },
+ *   initial: () => ({ created: false, name: "", capacity: 0 }),
+ *   criteria: (id) => EventCriteria.havingTags({ courseId: id.courseId }),
+ *   evolve: [
+ *     on(CourseCreated, (s, event) => ({ ...s, created: true })),
+ *   ],
+ * })
+ * ```
+ */
+export function state<IS extends IdSchema, S>(def: {
+  name: string
+  id: IS
+  initial: (id: InferIdFromSchema<IS>) => S
+  criteria: (id: InferIdFromSchema<IS>) => EventCriteria
+  evolve: Array<EvolverRegistration<S, any>>
+  lifecycle?: StateLifecycle<InferIdFromSchema<IS>, S>
+}): StateModule<InferIdFromSchema<IS>, S>
+
+export function state<IS extends IdSchema, S>(def: {
+  name: string
+  id: IS
+  initial: (id: InferIdFromSchema<IS>) => S
+  criteria: (id: InferIdFromSchema<IS>) => EventCriteria
+  evolve: Array<EvolverRegistration<S, any>>
+  lifecycle?: StateLifecycle<InferIdFromSchema<IS>, S>
+}): StateModule<InferIdFromSchema<IS>, S> {
+  return {
+    kind: "state-module",
+    name: def.name,
+    idSchema: def.id,
+    create: def.initial,
+    criteria: def.criteria,
+    evolvers: def.evolve,
+    lifecycle: def.lifecycle,
+  }
+}