@shivaedev/effect-trpc 0.7.1 → 0.7.2

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # Changelog
 
+## 0.7.2 - 2026-10-18
+
+### Fixed
+
+- The tRPC test helpers accept test Layers that provide nothing, such as `Layer.empty`.
+
 ## 0.7.1 - 2026-10-17
 
 ### Fixed

package/README.md

@@ -272,6 +272,8 @@ The mapper receives the procedure path and an `origin` of `failure` or `defect`.
 
 `instrument(effect, procedure)` wraps resolver work and can read request services. `instrumentStream(stream, procedure)` wraps subscription streams. Both receive the procedure path and kind; an Effect-instrumentation defect is redacted.
 
+Each query, mutation and subscription creates one procedure span named after its full procedure path, such as `orders.read`. Its attributes are `rpc.method` set to that path, `rpc.system: "trpc"` and `trpc.type` set to `"query"`, `"mutation"` or `"subscription"`. A span opened by the resolver is a child of that procedure span. Subscriptions also provide the caller's exact `AbortSignal` through `RequestSignal`; the resolver can observe its aborted state. The [procedure evidence tests](src/server/procedureEvidence.spec.ts) record these spans and observe signal identity and abort through `router.createCaller` in process.
+
 ### Once per test suite: the real router caller
 
 Create the test helper in the application's test support. These definitions continue the first complete example:
@@ -354,13 +356,13 @@ Import each name from its defining `@shivaedev/effect-trpc/<module>.ts`; there i
 ### Install, runtime ownership and limits
 
 ```sh
-pnpm add @shivaedev/effect-trpc @trpc/server@11.18.0 effect@4.0.4
+pnpm add @shivaedev/effect-trpc @trpc/server@11.19.0 effect@4.0.4
 ```
 
 Use the exact peer versions in this package's `package.json`. Node.js 24 or later is required. The rejection example also uses `superjson`; configure the same transformer on the tRPC client.
 
 ```sh
-pnpm add @trpc/client@11.18.0 superjson@2.2.6
+pnpm add @trpc/client@11.19.0 superjson@2.2.6
 pnpm add --save-dev @effect/vitest@4.0.4 vitest@5.0.3
 ```
 

package/dist/server/internal/runtime.d.ts

@@ -1,6 +1,6 @@
 import { Effect, Stream } from "effect";
 import type { EffectTRPCRuntime } from "#adapter.ts";
-import type { EffectTRPCErrorMapper, EffectTRPCInstrument, ProcedureInfo } from "#types.ts";
+import type { EffectTRPCErrorMapper, EffectTRPCInstrument, EffectTRPCStreamInstrument, ProcedureInfo } from "#types.ts";
 import type { ContextBridge } from "./contextBridge.ts";
 interface RunEffectOptions {
     readonly procedure: ProcedureInfo;
@@ -13,7 +13,7 @@ export interface RuntimeBridge<TRequirements> {
 }
 export declare function makeRuntimeBridge<TRequirements, TRuntimeError>(runtime: EffectTRPCRuntime<TRequirements, TRuntimeError>, contextBridge: ContextBridge, options: {
     readonly instrument?: EffectTRPCInstrument;
-    readonly instrumentStream?: import("#types.ts").EffectTRPCStreamInstrument;
+    readonly instrumentStream?: EffectTRPCStreamInstrument;
     readonly mapError?: EffectTRPCErrorMapper;
 }): RuntimeBridge<TRequirements>;
 export {};

package/dist/server/internal/runtime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../../src/server/internal/runtime.ts"],"names":[],"mappings":"AACA,OAAO,EAAkB,MAAM,EAAwB,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,KAAK,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC5F,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD,UAAU,gBAAgB;IACzB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;CAC9B;AACD,MAAM,WAAW,aAAa,CAAC,aAAa;IAC3C,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,OAAO,EAAE,gBAAgB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAClI,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,OAAO,EAAE,gBAAgB,KAAK,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;CACjJ;AAwDD,wBAAgB,iBAAiB,CAAC,aAAa,EAAE,aAAa,EAC7D,OAAO,EAAE,iBAAiB,CAAC,aAAa,EAAE,aAAa,CAAC,EACxD,aAAa,EAAE,aAAa,EAC5B,OAAO,EAAE;IACR,QAAQ,CAAC,UAAU,CAAC,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,WAAW,EAAE,0BAA0B,CAAC;IAC3E,QAAQ,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAC;CAC1C,GACC,aAAa,CAAC,aAAa,CAAC,CAoD9B"}
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../../src/server/internal/runtime.ts"],"names":[],"mappings":"AACA,OAAO,EAAkB,MAAM,EAAwB,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,KAAK,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,0BAA0B,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AACxH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD,UAAU,gBAAgB;IACzB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;CAC9B;AACD,MAAM,WAAW,aAAa,CAAC,aAAa;IAC3C,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,OAAO,EAAE,gBAAgB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAClI,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,OAAO,EAAE,gBAAgB,KAAK,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;CACjJ;AAwDD,wBAAgB,iBAAiB,CAAC,aAAa,EAAE,aAAa,EAC7D,OAAO,EAAE,iBAAiB,CAAC,aAAa,EAAE,aAAa,CAAC,EACxD,aAAa,EAAE,aAAa,EAC5B,OAAO,EAAE;IACR,QAAQ,CAAC,UAAU,CAAC,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,0BAA0B,CAAC;IACvD,QAAQ,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAC;CAC1C,GACC,aAAa,CAAC,aAAa,CAAC,CAoD9B"}

package/dist/server/testing/AnyTestLayer.d.ts

@@ -1,3 +1,3 @@
 import type { Layer } from "effect";
-export type AnyTestLayer = Layer.Layer<any, any, never>;
+export type AnyTestLayer = Layer.Layer<any, any, never> | Layer.Layer<never, any, never>;
 //# sourceMappingURL=AnyTestLayer.d.ts.map

package/dist/server/testing/AnyTestLayer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AnyTestLayer.d.ts","sourceRoot":"","sources":["../../../src/server/testing/AnyTestLayer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACpC,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC"}
+{"version":3,"file":"AnyTestLayer.d.ts","sourceRoot":"","sources":["../../../src/server/testing/AnyTestLayer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACpC,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC"}

package/dist/server/testing/types.d.ts

@@ -1,8 +1,8 @@
 import type { TestContext, Vitest } from "@effect/vitest";
 import type { Effect, Layer, Scope } from "effect";
+import type { AnyTestLayer } from "@shivaedev/effect-test/any-test-layer.ts";
 import type { EffectClock, EffectTestOptions } from "@shivaedev/effect-test/types.ts";
 import type { EffectTRPCAdapter } from "#adapter.ts";
-import type { AnyTestLayer } from "./AnyTestLayer.ts";
 import type { EffectCallerFactory } from "./caller.ts";
 export type TrpcHarnessTest<THarness, TProvided> = <A, TEff extends Effect.Effect<unknown, unknown, TProvided>>(name: string, body: (harness: THarness, context: TestContext) => Generator<TEff, A, never>, options?: number | EffectTestOptions) => void;
 export interface TrpcHarnessTester<THarness, TProvided> extends TrpcHarnessTest<THarness, TProvided> {

package/dist/server/testing/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/server/testing/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACtF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACvD,MAAM,MAAM,eAAe,CAAC,QAAQ,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,EAC7G,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,EAC5E,OAAO,CAAC,EAAE,MAAM,GAAG,iBAAiB,KAChC,IAAI,CAAC;AACV,MAAM,WAAW,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAE,SAAQ,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC;IACnG,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EACpB,KAAK,EAAE,SAAS,KAAK,EAAE,KACnB,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,EAC/D,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,EACzF,OAAO,CAAC,EAAE,MAAM,GAAG,iBAAiB,KAChC,IAAI,CAAC;IACV,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;CAC9E;AACD,MAAM,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,IAAI,eAAe,CAAC,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;AACxH,MAAM,MAAM,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,IAAI,iBAAiB,CAAC,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;AAC5H,MAAM,MAAM,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,IAAI,MAAM,CAAC,OAAO,GAAG;IACnE,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;CAChE,CAAC;AACF,MAAM,MAAM,aAAa,CAAC,QAAQ,EAAE,SAAS,IAAI,MAAM,CAAC,OAAO,GAAG;IACjE,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;CAC9D,CAAC;AACF,MAAM,WAAW,iBAAiB,CAAC,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,UAAU,SAAS,YAAY;IAC3H,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAChE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC3B;AACD,MAAM,WAAW,wBAAwB,CAAC,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,UAAU,SAAS,YAAY,EAAE,QAAQ,CAC5I,SAAQ,iBAAiB,CAAC,aAAa,EAAE,UAAU,CAAC;IACpD,QAAQ,CAAC,WAAW,EAAE,CACrB,IAAI,EAAE,mBAAmB,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,CAAC,EACpF,OAAO,EAAE,WAAW,KAChB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;CACjE;AACD,MAAM,MAAM,aAAa,CAAC,aAAa,IAAI,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,KAAK,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AACrI,MAAM,MAAM,YAAY,CAAC,aAAa,IAAI,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,MAAM,WAAW,KAAK,MAAM,OAAO,GAChH,OAAO,SAAS,MAAM,GACrB,OAAO,GACP,KAAK,GACN,KAAK,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/server/testing/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0CAA0C,CAAC;AAC7E,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACtF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACvD,MAAM,MAAM,eAAe,CAAC,QAAQ,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,EAC7G,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,EAC5E,OAAO,CAAC,EAAE,MAAM,GAAG,iBAAiB,KAChC,IAAI,CAAC;AACV,MAAM,WAAW,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAE,SAAQ,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC;IACnG,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EACpB,KAAK,EAAE,SAAS,KAAK,EAAE,KACnB,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,EAC/D,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,EACzF,OAAO,CAAC,EAAE,MAAM,GAAG,iBAAiB,KAChC,IAAI,CAAC;IACV,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;CAC9E;AACD,MAAM,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,IAAI,eAAe,CAAC,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;AACxH,MAAM,MAAM,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,IAAI,iBAAiB,CAAC,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;AAC5H,MAAM,MAAM,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,IAAI,MAAM,CAAC,OAAO,GAAG;IACnE,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;CAChE,CAAC;AACF,MAAM,MAAM,aAAa,CAAC,QAAQ,EAAE,SAAS,IAAI,MAAM,CAAC,OAAO,GAAG;IACjE,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;CAC9D,CAAC;AACF,MAAM,WAAW,iBAAiB,CAAC,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,UAAU,SAAS,YAAY;IAC3H,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAChE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC3B;AACD,MAAM,WAAW,wBAAwB,CAAC,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,UAAU,SAAS,YAAY,EAAE,QAAQ,CAC5I,SAAQ,iBAAiB,CAAC,aAAa,EAAE,UAAU,CAAC;IACpD,QAAQ,CAAC,WAAW,EAAE,CACrB,IAAI,EAAE,mBAAmB,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,CAAC,EACpF,OAAO,EAAE,WAAW,KAChB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;CACjE;AACD,MAAM,MAAM,aAAa,CAAC,aAAa,IAAI,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,KAAK,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AACrI,MAAM,MAAM,YAAY,CAAC,aAAa,IAAI,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,MAAM,WAAW,KAAK,MAAM,OAAO,GAChH,OAAO,SAAS,MAAM,GACrB,OAAO,GACP,KAAK,GACN,KAAK,CAAC"}

package/dist/server/testing/vitest.d.ts

@@ -1,5 +1,5 @@
 import { type Layer } from "effect";
-import type { AnyTestLayer } from "./AnyTestLayer.ts";
+import type { AnyTestLayer } from "@shivaedev/effect-test/any-test-layer.ts";
 import type { CallerOptions, CallerResult, MakeTrpcHarnessItOptions, MakeTrpcItOptions, TrpcHarnessIt, TrpcIt } from "./types.ts";
 export declare function makeTrpcHarnessIt<TCreateCaller extends (...arguments_: never[]) => object, TTestLayer extends AnyTestLayer, THarness>(options: MakeTrpcHarnessItOptions<TCreateCaller, TTestLayer, THarness>): TrpcHarnessIt<THarness, Layer.Success<TTestLayer>>;
 export declare function makeTrpcIt<TCreateCaller extends (...arguments_: never[]) => object, TTestLayer extends AnyTestLayer>(options: MakeTrpcItOptions<TCreateCaller, TTestLayer>): TrpcIt<CallerOptions<TCreateCaller>, CallerResult<TCreateCaller>, Layer.Success<TTestLayer>>;

package/dist/server/testing/vitest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vitest.d.ts","sourceRoot":"","sources":["../../../src/server/testing/vitest.ts"],"names":[],"mappings":"AACA,OAAO,EAAU,KAAK,KAAK,EAAE,MAAM,QAAQ,CAAC;AAE5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEtD,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAelI,wBAAgB,iBAAiB,CAAC,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,UAAU,SAAS,YAAY,EAAE,QAAQ,EACpI,OAAO,EAAE,wBAAwB,CAAC,aAAa,EAAE,UAAU,EAAE,QAAQ,CAAC,GACpE,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;AAiBtD,wBAAgB,UAAU,CAAC,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,UAAU,SAAS,YAAY,EACnH,OAAO,EAAE,iBAAiB,CAAC,aAAa,EAAE,UAAU,CAAC,GACnD,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAK9F"}
+{"version":3,"file":"vitest.d.ts","sourceRoot":"","sources":["../../../src/server/testing/vitest.ts"],"names":[],"mappings":"AACA,OAAO,EAAU,KAAK,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0CAA0C,CAAC;AAG7E,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAelI,wBAAgB,iBAAiB,CAAC,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,UAAU,SAAS,YAAY,EAAE,QAAQ,EACpI,OAAO,EAAE,wBAAwB,CAAC,aAAa,EAAE,UAAU,EAAE,QAAQ,CAAC,GACpE,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;AAiBtD,wBAAgB,UAAU,CAAC,aAAa,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,UAAU,SAAS,YAAY,EACnH,OAAO,EAAE,iBAAiB,CAAC,aAAa,EAAE,UAAU,CAAC,GACnD,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAK9F"}

package/dist/server/testing/vitest.js.map

@@ -1 +1 @@
-{"version":3,"file":"vitest.js","sourceRoot":"","sources":["../../../src/server/testing/vitest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,IAAI,QAAQ,EAAe,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAc,MAAM,QAAQ,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAMtD,SAAS,cAAc,CAAC,MAAe;IACtC,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE;QAC1B,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ;YAC7B,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;gBAC/B,OAAO,MAAM,CAAC;YACf,CAAC;YACD,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAChD,CAAC;KACD,CAAC,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,iBAAiB,CAChC,OAAsF;IAEtF,MAAM,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,WAAW,EAAE,CAAC,OAAO,EAAE,EAAE,CACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACnB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAA6B,CAAC;YACpE,MAAM,IAAI,GAAG,uBAAuB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YACtF,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAClD,CAAC,CAAC;KACH,CAAC,CAAC;IACH,OAAO,cAAc,CAAC,SAAS,CAAC,CAAC;AAClC,CAAC;AACD,MAAM,UAAU,UAAU,CACzB,OAAqD;IAErD,OAAO,iBAAiB,CAAC;QACxB,GAAG,OAAO;QACV,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;KAC3C,CAAC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"vitest.js","sourceRoot":"","sources":["../../../src/server/testing/vitest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,IAAI,QAAQ,EAAe,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAc,MAAM,QAAQ,CAAC;AAE5C,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAMtD,SAAS,cAAc,CAAC,MAAe;IACtC,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE;QAC1B,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ;YAC7B,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;gBAC/B,OAAO,MAAM,CAAC;YACf,CAAC;YACD,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAChD,CAAC;KACD,CAAC,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,iBAAiB,CAChC,OAAsF;IAEtF,MAAM,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,WAAW,EAAE,CAAC,OAAO,EAAE,EAAE,CACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACnB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAA6B,CAAC;YACpE,MAAM,IAAI,GAAG,uBAAuB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YACtF,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAClD,CAAC,CAAC;KACH,CAAC,CAAC;IACH,OAAO,cAAc,CAAC,SAAS,CAAC,CAAC;AAClC,CAAC;AACD,MAAM,UAAU,UAAU,CACzB,OAAqD;IAErD,OAAO,iBAAiB,CAAC;QACxB,GAAG,OAAO;QACV,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;KAC3C,CAAC,CAAC;AACJ,CAAC"}

package/docs/roadmap.md

@@ -7,6 +7,7 @@ This file owns `effect-trpc` implementation status and local next work. The [fra
 - Generator queries and mutations over an application runtime and request services, including context supplied by tRPC middleware and request-Layer extensions that consume base services. `src/server/adapter.test.ts` covers runtime execution; `src/server/EffectProcedureBuilder.typecheck.test.ts` rejects missing services.
 - Effect Schema input and output decoding with encoded/decoded caller and resolver types. Adapter runtime tests and procedure type tests cover the distinction, including subscription output decoding.
 - Stream subscriptions with request services, scoped finalizers and interruption when a caller signal aborts. `src/server/adapter.test.ts` observes values, stream instrumentation and finalization; `src/server/internal/runtime.test.ts` covers pure interruption's transport error.
+- Procedure spans named after the full path with `rpc.method`, `rpc.system: "trpc"` and `trpc.type`, including resolver-child parenting for queries, mutations and subscriptions. The [procedure evidence tests](../src/server/procedureEvidence.spec.ts) use a recording Tracer and also observe the exact caller signal through `RequestSignal`, its aborted state and subscription finalization. The [adapter tests](../src/server/adapter.test.ts) observe Effect instrumentation with request services and stream instrumentation with procedure path and kind.
 - Explicit tRPC errors, application error mapping and redaction of unmapped failures and defects. Adapter/runtime tests cover resolver, request-Layer, mapper and Effect-instrumentation defects; `src/server/httpRejections.spec.ts` checks opaque serialized failures.
 - Tagged declared rejection encoding, taxonomy code mapping, custom code selection and formatter composition. `src/server/rejection.test.ts` and `src/server/httpRejections.spec.ts` cover fields, messages, encodings, HTTP statuses and mixed batches.
 - Input-validation field paths and the reserved `invalidInput` mark. `src/server/inputRejections.spec.ts` covers dotted paths, array indexes, whole-input issues and stripping forged marks; `src/server/rejection.typecheck.test.ts` rejects reserved fields.
@@ -16,9 +17,8 @@ This file owns `effect-trpc` implementation status and local next work. The [fra
 
 ## Next
 
-1. Add direct observations for the declared instrumentation boundary: span naming, stream instrumentation with request services, and the supplied `RequestSignal` value. The source exposes these pieces; existing tests do not establish all of those observations.
-2. Add a representative real-host transport cancellation fixture when a consumer selects that transport. Observe query and subscription interruption and resource release; keep proxy/deployment acceptance with the consuming application.
-3. Exercise test-harness setup inside the `around` wrapper and Layer acquisition lifetime through this adapter if consumers rely on that composition. The shared runner owns the implementation; adapter tests should observe the composition they promise.
+1. Add a representative real-host transport cancellation fixture when a consumer selects that transport. Observe query and subscription interruption and resource release; keep proxy/deployment acceptance with the consuming application.
+2. Exercise test-harness setup inside the `around` wrapper and Layer acquisition lifetime through this adapter if consumers rely on that composition. The shared runner owns the implementation; adapter tests should observe the composition they promise.
 
 These are draft priorities, subject to the maintainer's investment decision below.
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shivaedev/effect-trpc",
-  "version": "0.7.1",
+  "version": "0.7.2",
   "description": "Effect-native procedures and testing for tRPC",
   "homepage": "https://github.com/ShivaeDev/platform/tree/main/packages/effect-trpc#readme",
   "bugs": {
@@ -220,10 +220,11 @@
   "devDependencies": {
     "@effect/vitest": "4.0.4",
     "@shivaedev/effect-contract": "0.5.1",
-    "@shivaedev/quality": "0.22.0",
+    "@shivaedev/quality": "0.24.0",
+    "@shivaedev/test-story": "0.7.0",
     "@trpc/client": "11.19.0",
     "@trpc/server": "11.19.0",
-    "@types/node": "24.19.1",
+    "@types/node": "24.19.2",
     "@typescript/native": "npm:typescript@7.0.2",
     "effect": "4.0.4",
     "superjson": "2.2.6",

package/src/server/internal/runtime.ts

@@ -1,7 +1,7 @@
 import { TRPCError } from "@trpc/server";
 import { Cause, Context, Effect, Exit, Option, Result, Stream } from "effect";
 import type { EffectTRPCRuntime } from "#adapter.ts";
-import type { EffectTRPCErrorMapper, EffectTRPCInstrument, ProcedureInfo } from "#types.ts";
+import type { EffectTRPCErrorMapper, EffectTRPCInstrument, EffectTRPCStreamInstrument, ProcedureInfo } from "#types.ts";
 import type { ContextBridge } from "./contextBridge.ts";
 
 interface RunEffectOptions {
@@ -73,7 +73,7 @@ export function makeRuntimeBridge<TRequirements, TRuntimeError>(
 	contextBridge: ContextBridge,
 	options: {
 		readonly instrument?: EffectTRPCInstrument;
-		readonly instrumentStream?: import("#types.ts").EffectTRPCStreamInstrument;
+		readonly instrumentStream?: EffectTRPCStreamInstrument;
 		readonly mapError?: EffectTRPCErrorMapper;
 	},
 ): RuntimeBridge<TRequirements> {

package/src/server/testing/AnyTestLayer.ts

@@ -1,2 +1,2 @@
 import type { Layer } from "effect";
-export type AnyTestLayer = Layer.Layer<any, any, never>;
+export type AnyTestLayer = Layer.Layer<any, any, never> | Layer.Layer<never, any, never>;

package/src/server/testing/types.ts

@@ -1,8 +1,8 @@
 import type { TestContext, Vitest } from "@effect/vitest";
 import type { Effect, Layer, Scope } from "effect";
+import type { AnyTestLayer } from "@shivaedev/effect-test/any-test-layer.ts";
 import type { EffectClock, EffectTestOptions } from "@shivaedev/effect-test/types.ts";
 import type { EffectTRPCAdapter } from "#adapter.ts";
-import type { AnyTestLayer } from "./AnyTestLayer.ts";
 import type { EffectCallerFactory } from "./caller.ts";
 export type TrpcHarnessTest<THarness, TProvided> = <A, TEff extends Effect.Effect<unknown, unknown, TProvided>>(
 	name: string,

package/src/server/testing/vitest.ts

@@ -1,7 +1,7 @@
 import { it as effectIt, type Vitest } from "@effect/vitest";
 import { Effect, type Layer } from "effect";
+import type { AnyTestLayer } from "@shivaedev/effect-test/any-test-layer.ts";
 import { makeEffectIt } from "@shivaedev/effect-test/vitest.ts";
-import type { AnyTestLayer } from "./AnyTestLayer.ts";
 import { makeEffectCallerFactory } from "./caller.ts";
 import type { CallerOptions, CallerResult, MakeTrpcHarnessItOptions, MakeTrpcItOptions, TrpcHarnessIt, TrpcIt } from "./types.ts";