@btravstack/temporal-worker 0.10.0 → 0.11.0

package/README.md

@@ -23,14 +23,32 @@ All nine are peer dependencies — install them. Node `>=22`.
 <!-- doctest: prelude
 import { defineActivity, defineContract, defineWorkflow } from "@temporal-contract/contract";
 import { workflowsPathFromURL } from "@temporal-contract/worker/worker";
-import { Module } from "@btravstack/di";
-import { PlaceOrder, OrderRepository, Outbox, OrderApplicationModule } from "@btravstack/example-order-application";
-import { OrderPersistenceModule } from "@btravstack/example-order-infrastructure";
-import { TenantId } from "@btravstack/example-order-domain";
+import { Module, Port, type AnyModule } from "@btravstack/di";
+import { TaggedError, type AsyncResult } from "unthrown";
 import { observability } from "@btravstack/observability";
 import { otel } from "@btravstack/observability/otel";
 import { z } from "zod";
 
+// The application's own layers, declared here so this sample stands on the
+// published packages alone: the use case, its errors and its tenant id are
+// yours, not this package's.
+class DuplicateOrder extends TaggedError("DuplicateOrder")<{ readonly id: string }> {}
+class InvalidOrderId extends TaggedError("InvalidOrderId")<{ readonly id: string }> {}
+class InvalidQuantity extends TaggedError("InvalidQuantity")<{ readonly id: string }> {}
+declare const TenantId: (value: string) => string;
+class PlaceOrder extends Port("PlaceOrder")<{
+  readonly execute: (
+    tenantId: string,
+    id: string,
+    quantity: number,
+  ) => AsyncResult<
+    { readonly id: string },
+    DuplicateOrder | InvalidOrderId | InvalidQuantity
+  >;
+}> {}
+declare const OrderApplicationModule: Module<PlaceOrder, never, never>;
+declare const OrderPersistenceModule: AnyModule;
+
 // The contract this README's worker serves — one workflow, one activity, one
 // modeled contract error.
 const contract = defineContract({
@@ -58,7 +76,7 @@ const contract = defineContract({
 
 const AppModule = Module("App")({
   imports: [OrderApplicationModule, OrderPersistenceModule, observability(), otel()],
-  exports: [PlaceOrder, OrderRepository, Outbox, Logger],
+  exports: [PlaceOrder, Logger],
 });
 -->
 
@@ -128,9 +146,12 @@ typed by the key alone, and `TemporalActivities(contract)([...])` composes an
 array of them into the same activities provider `TemporalModule` takes — the
 array must cover every key the contract declares, and each piece's own port
 must still be discharged (`provides`), since the composed provider's deps are
-the pieces' ports, not what they close over. Two slices claiming one key are
-di's duplicate-provider defect at build, which is the point: a workflow's
-activities belong to exactly one slice.
+the pieces' ports, not what they close over. A workflow's activities belong to exactly
+one slice, and the compiler holds only half of that: coverage is checked,
+injectivity is not, so two slices claiming one key type-check together. It is
+di's duplicate-provider defect at build once **both** pieces are discharged as
+providers in one graph — wire in only one and the other's implementation is
+silently never registered.
 
 Its own test suite needs a **Docker daemon**: the specs run against the shared
 `temporalio/auto-setup` container `internal/test-infra` starts once per machine and every

package/dist/index.d.cts

@@ -200,6 +200,19 @@ type KeyOfPiece<P> = P extends {
 } ? K : never;
 /** The record's top-level keys no piece in `T` covers. */
 type Uncovered<C extends ContractDefinition, T extends readonly PieceOf<C>[]> = Exclude<ActivitiesKeyOf<C>, KeyOfPiece<T[number]>>;
+/**
+ * A refused array: as long as the array the caller wrote, its head the caller's
+ * own elements — which match — and its LAST element the marker paired with what
+ * is wrong.
+ *
+ * TypeScript compares two equal-length tuples element by element, so the extra
+ * diagnostic it reports lands on the trailing element and carries both the
+ * sentence and the missing key. A fixed two-element tuple named the key only
+ * when the array happened to be two elements long; every other arity was a
+ * length mismatch, and the developer diffed the contract against the array by
+ * hand.
+ */
+type Refuse<T extends readonly unknown[], Marker extends string, Detail> = T extends readonly [...infer Head, unknown] ? readonly [...Head, readonly [Marker, Detail]] : readonly [readonly [Marker, Detail]];
 /**
  * The composing arm. Declared LAST in the intersection below on purpose:
  * TypeScript reports the last overload's failure, so a non-covering array is
@@ -209,7 +222,7 @@ type Uncovered<C extends ContractDefinition, T extends readonly PieceOf<C>[]> =
  * The marker is a sentence rather than a bare label because it prints last,
  * after the caller's own several-hundred-character piece type.
  */
-type Compose<C extends ContractDefinition> = <const T extends readonly PieceOf<C>[]>(pieces: [Uncovered<C, T>] extends [never] ? T : readonly ["UNCOVERED ACTIVITIES — the contract declares a workflow this array does not cover", Uncovered<C, T>]) => Provider<ActivitiesInstanceOf<C>, never, InstanceType<T[number]["port"]>> & {
+type Compose<C extends ContractDefinition> = <const T extends readonly PieceOf<C>[]>(pieces: [Uncovered<C, T>] extends [never] ? T : Refuse<T, "UNCOVERED ACTIVITIES — the contract declares a workflow this array does not cover", Uncovered<C, T>>) => Provider<ActivitiesInstanceOf<C>, never, InstanceType<T[number]["port"]>> & {
   readonly port: ActivitiesPortOf<C>;
 };
 /**

package/dist/index.d.mts

@@ -200,6 +200,19 @@ type KeyOfPiece<P> = P extends {
 } ? K : never;
 /** The record's top-level keys no piece in `T` covers. */
 type Uncovered<C extends ContractDefinition, T extends readonly PieceOf<C>[]> = Exclude<ActivitiesKeyOf<C>, KeyOfPiece<T[number]>>;
+/**
+ * A refused array: as long as the array the caller wrote, its head the caller's
+ * own elements — which match — and its LAST element the marker paired with what
+ * is wrong.
+ *
+ * TypeScript compares two equal-length tuples element by element, so the extra
+ * diagnostic it reports lands on the trailing element and carries both the
+ * sentence and the missing key. A fixed two-element tuple named the key only
+ * when the array happened to be two elements long; every other arity was a
+ * length mismatch, and the developer diffed the contract against the array by
+ * hand.
+ */
+type Refuse<T extends readonly unknown[], Marker extends string, Detail> = T extends readonly [...infer Head, unknown] ? readonly [...Head, readonly [Marker, Detail]] : readonly [readonly [Marker, Detail]];
 /**
  * The composing arm. Declared LAST in the intersection below on purpose:
  * TypeScript reports the last overload's failure, so a non-covering array is
@@ -209,7 +222,7 @@ type Uncovered<C extends ContractDefinition, T extends readonly PieceOf<C>[]> =
  * The marker is a sentence rather than a bare label because it prints last,
  * after the caller's own several-hundred-character piece type.
  */
-type Compose<C extends ContractDefinition> = <const T extends readonly PieceOf<C>[]>(pieces: [Uncovered<C, T>] extends [never] ? T : readonly ["UNCOVERED ACTIVITIES — the contract declares a workflow this array does not cover", Uncovered<C, T>]) => Provider<ActivitiesInstanceOf<C>, never, InstanceType<T[number]["port"]>> & {
+type Compose<C extends ContractDefinition> = <const T extends readonly PieceOf<C>[]>(pieces: [Uncovered<C, T>] extends [never] ? T : Refuse<T, "UNCOVERED ACTIVITIES — the contract declares a workflow this array does not cover", Uncovered<C, T>>) => Provider<ActivitiesInstanceOf<C>, never, InstanceType<T[number]["port"]>> & {
   readonly port: ActivitiesPortOf<C>;
 };
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@btravstack/temporal-worker",
-  "version": "0.10.0",
+  "version": "0.11.0",
   "description": "The Temporal worker runtime for @btravstack/core: one unit per activity attempt, and a drain that honours the kernel's deadline",
   "keywords": [
     "graceful-shutdown",
@@ -71,11 +71,11 @@
     "unthrown": "5.7.0",
     "vitest": "4.1.11",
     "zod": "4.5.3",
-    "@btravstack/config": "0.10.0",
-    "@btravstack/core": "0.10.0",
-    "@btravstack/di": "0.10.0",
+    "@btravstack/config": "0.11.0",
+    "@btravstack/core": "0.11.0",
+    "@btravstack/di": "0.11.0",
     "@btravstack/internal-test-infra": "0.0.0",
-    "@btravstack/testing": "0.10.0"
+    "@btravstack/testing": "0.11.0"
   },
   "peerDependencies": {
     "@temporal-contract/client": "^8.0.0-beta.7",
@@ -85,9 +85,9 @@
     "@temporalio/common": "^1.22.0",
     "@temporalio/worker": "^1.22.0",
     "unthrown": "^5.0.0",
-    "@btravstack/config": "^0.10.0",
-    "@btravstack/core": "^0.10.0",
-    "@btravstack/di": "^0.10.0"
+    "@btravstack/config": "^0.11.0",
+    "@btravstack/core": "^0.11.0",
+    "@btravstack/di": "^0.11.0"
   },
   "peerDependenciesMeta": {
     "@temporal-contract/client": {