@demlik/tea 0.7.0 → 0.8.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.8.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,28 @@
       "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/styles.css": "./dist/chart/lane/styles.css",
     "./package.json": "./package.json"
   },
   "dependencies": {
@@ -322,6 +344,7 @@
     "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",
+    "check:merge-markers": "node scripts/check-merge-markers.mjs",
     "release": "changeset"
   }
 }