@demlik/tea 0.7.0 → 0.9.0

package/dist/samples-DCt6nF8H.d.ts

@@ -0,0 +1,59 @@
+import { M as MsgOf, E as EventName } from './graph-CcjWZVrd.js';
+
+type Narrow<U, K> = Extract<U, {
+    type: K;
+}>;
+/**
+ * Event `E`'s declared payload — its Msg member minus the `type` the chart
+ * already owns.
+ *
+ * Read off `MsgOf<C>` rather than off the `events` section directly, so it is
+ * the SAME derivation the compiled machine consumes: a sample that type-checks
+ * here is a msg the machine accepts, by construction. An event with no `data`
+ * has `DataOf = unknown`, so this is `{}` — no keys, nothing to supply.
+ */
+type SamplePayload<C, E extends string> = Omit<Narrow<MsgOf<C>, E>, "type">;
+/** Does event `E` declare a payload the author must fill in? */
+type NeedsSample<C, E extends string> = [keyof SamplePayload<C, E>] extends [
+    never
+] ? false : true;
+/**
+ * The sample bag: one entry per event that DECLARES a payload, each typed as
+ * exactly that payload.
+ *
+ * The `as` clause drops the payload-free events from the key union entirely —
+ * so `{ START: {} }` for a bare `START: { scope: "edges" }` is an excess
+ * property tsc rejects, rather than a meaningless entry it accepts. "Where an
+ * event has no declared payload, no sample is required" is therefore not a
+ * convention; it is unrepresentable to supply one.
+ *
+ * The `type` tag is absent for the same reason it is absent from an `assign`'s
+ * return: it is the chart's fact, stamped on by {@link sampleMsg}, so the
+ * author cannot write it wrong and cannot write it twice.
+ *
+ * ```ts
+ * const samples: Samples<LaneG> = {
+ *   WIP: { at: 1 },
+ *   FAIL: { at: 2, reason: "flaky" },   // `reason` is REQUIRED — the chart says so
+ *   // BLOCKED: …                        // omit one and tsc names it
+ * };
+ * ```
+ */
+type Samples<C> = {
+    readonly [E in EventName<C> as [NeedsSample<C, E>] extends [true] ? E : never]: SamplePayload<C, E>;
+};
+/** The samples bag as the runtime reads it: event name → payload object. */
+type RtSamples = Readonly<Record<string, object | undefined>>;
+/**
+ * Build the Msg for `event` from the sample bag: the payload, plus the `type`
+ * the chart owns.
+ *
+ * Returns `undefined` exactly when the event needs a payload and none was
+ * supplied — which is the honest "cannot" the guard preview degrades on,
+ * rather than a half-built msg that makes a guard throw for the wrong reason.
+ */
+declare function sampleMsg(event: string, hasPayload: boolean, samples: RtSamples | undefined): {
+    readonly type: string;
+} | undefined;
+
+export { type RtSamples as R, type SamplePayload as S, type Samples as a, sampleMsg as s };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@demlik/tea",
-  "version": "0.7.0",
+  "version": "0.9.0",
   "description": "TEA-faithful state machine substrate — one package, every host adapter. Core + subs + testing, plus React, Durable Object, Chrome extension, Node, in-memory, work-queue, devtools, and property-testing modules as subpaths.",
   "keywords": [
     "tea",
@@ -252,6 +252,32 @@
       "types": "./dist/chart/index.d.ts",
       "import": "./dist/chart/index.js"
     },
+    "./chart/inspect": {
+      "types": "./dist/chart/inspect/index.d.ts",
+      "import": "./dist/chart/inspect/index.js"
+    },
+    "./chart/inspect/react": {
+      "types": "./dist/chart/inspect/react.d.ts",
+      "import": "./dist/chart/inspect/react.js"
+    },
+    "./chart/inspect/styles.css": "./dist/chart/inspect/styles.css",
+    "./chart/report": {
+      "types": "./dist/chart/report/index.d.ts",
+      "import": "./dist/chart/report/index.js"
+    },
+    "./chart/lane": {
+      "types": "./dist/chart/lane/index.d.ts",
+      "import": "./dist/chart/lane/index.js"
+    },
+    "./chart/lane/react": {
+      "types": "./dist/chart/lane/react.d.ts",
+      "import": "./dist/chart/lane/react.js"
+    },
+    "./chart/lane/server": {
+      "types": "./dist/chart/lane/server.d.ts",
+      "import": "./dist/chart/lane/server.js"
+    },
+    "./chart/lane/styles.css": "./dist/chart/lane/styles.css",
     "./package.json": "./package.json"
   },
   "dependencies": {
@@ -291,13 +317,16 @@
     "@types/react": "19.0.8",
     "@types/react-dom": "19.0.3",
     "@types/ws": "8.5.14",
+    "@vitejs/plugin-react": "^6.0.5",
     "fast-check": "^3.23.0",
     "happy-dom": "^20.9.0",
+    "mermaid": "^11.16.1",
     "react": "19.0.0",
     "react-dom": "19.0.0",
     "tsup": "^8.3.5",
     "typedoc": "0.28.20",
     "typescript": "5.7.3",
+    "vite": "^8.2.1",
     "vitest": "~3.0.7",
     "ws": "8.18.1"
   },
@@ -311,10 +340,11 @@
     "node": "23.7.0"
   },
   "scripts": {
-    "build": "NODE_OPTIONS=--max-old-space-size=8192 tsup",
+    "build": "NODE_OPTIONS=--max-old-space-size=8192 tsup && node build-viewer.mjs",
     "lint": "biome check src package.json",
     "test": "vitest run",
     "demo:saga": "vitest run src/workflow/demo.test.ts",
+    "lane:view": "vite --config demo/lane-view/vite.config.ts",
     "typecheck": "tsc --noEmit",
     "typecheck:test": "tsc --noEmit -p tsconfig.test.json",
     "typecheck:examples": "tsc -p examples/tsconfig.json",
@@ -322,6 +352,8 @@
     "docs:reference:check": "pnpm run docs:reference && git diff --exit-code -- docs/reference",
     "verify-exports": "node scripts/verify-exports.mjs",
     "check:chart-probes": "node scripts/check-chart-probes.mjs",
-    "release": "changeset"
+    "check:merge-markers": "node scripts/check-merge-markers.mjs",
+    "release": "changeset",
+    "build:viewer": "node build-viewer.mjs"
   }
 }