@shivaedev/effect-react 0.9.0 → 0.10.0

package/CHANGELOG.md

@@ -1,5 +1,15 @@
 # Changelog
 
+## 0.10.0 - 2026-10-19
+
+### Added
+
+- effect-react exports `actionTrace(effect, name?)` from `actionTrace.ts` to group an action's RPC Effects under a fresh trace. Editor saves and create submissions automatically group their save Effects in a `ui.submit` trace. Native HTTP RPC clients send W3C trace context through the host to SQL and job enqueueing; pg-boss worker attempts retain their separate, linked traces.
+
+### Fixed
+
+- Platform appHost preserves incoming W3C `traceparent` context for RPC handling even without an installed tracer or exporter. Request ids stay annotated on the RPC span.
+
 ## 0.9.0 - 2026-10-19
 
 ### Added

package/README.md

@@ -78,6 +78,26 @@ export function App({ session, recheck }: {
 
 A query that fails with a tagged `Unauthorized` asks `recheck` to run and keeps its retained data. An action does the same once per failed result, retaining its last successful `data` and the typed failure in `cause`; rerendering that result does not repeat the recheck. The auth owner can retry the same session or remove it; the hook does not sign the user out. The boundary also handles React StrictMode's effect replay and preserves component state across hiding and revealing an `<Activity>` subtree, supplying a live registry when revealed.
 
+### Trace an action across RPCs
+
+Editor saves and create submissions automatically run their save Effect in a fresh `ui.submit` trace. For custom actions, wrap the Effect that performs the action with `actionTrace` before giving it to a native atom:
+
+```ts
+import { Effect } from "effect";
+import { actionTrace } from "@shivaedev/effect-react/actionTrace.ts";
+
+const save = OrdersClient.runtime.fn((input: OrderInput) =>
+  actionTrace(Effect.gen(function* () {
+    yield* api.validate.run(input);
+    return yield* api.save.run(input);
+  }), "ui.saveOrder"),
+);
+```
+
+`OrdersClient`, `OrderInput` and `api` belong to the application. Dispatch `save` with `useAction(save)`. `actionTrace(effect, name?)` preserves the Effect's result, typed error and service requirements; its default span name is `ui.action`. Each execution starts a fresh trace, and RPCs run inside that Effect share it, including across asynchronous boundaries. Native atoms continue to own execution and cancellation. `useAction` also accepts ordinary native action atoms; wrap composite action Effects to group their RPCs.
+
+Use native `RpcClient.layerProtocolHttp` with `FetchHttpClient.layer` for the browser RPC protocol. Effect sends the trace in the W3C `traceparent` HTTP header. Platform's appHost carries it into the RPC span and its SQL, and annotates the RPC span with `request.id`. Enqueued pg-boss jobs retain that span context; worker attempts start separate traces linked back to the sender.
+
 ### 2. Once per feature: native queries and actions
 
 The hooks accept native atoms directly. This complete component module shows query and action state without RPC setup:

package/dist/actionTrace.d.ts

@@ -0,0 +1,3 @@
+import { Effect } from "effect";
+export declare function actionTrace<A, E, R>(effect: Effect.Effect<A, E, R>, name?: string): Effect.Effect<A, E, R>;
+//# sourceMappingURL=actionTrace.d.ts.map

package/dist/actionTrace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"actionTrace.d.ts","sourceRoot":"","sources":["../src/actionTrace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,SAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAE/G"}

package/dist/actionTrace.js

@@ -0,0 +1,5 @@
+import { Effect } from "effect";
+export function actionTrace(effect, name = "ui.action") {
+    return Effect.withSpan(effect, name, { root: true });
+}
+//# sourceMappingURL=actionTrace.js.map

package/dist/actionTrace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"actionTrace.js","sourceRoot":"","sources":["../src/actionTrace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,UAAU,WAAW,CAAU,MAA8B,EAAE,IAAI,GAAG,WAAW;IACtF,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AACtD,CAAC"}

package/dist/submission.d.ts

@@ -3,17 +3,17 @@ import type * as Atom from "effect/reactivity/Atom";
 import type { PersistedDraftConfig } from "@shivaedev/effect-form/persistence.ts";
 import type { Decoded, Encoded, FieldFailure, Fields, Form, Services } from "@shivaedev/effect-form/shape.ts";
 import { type AtomServices, type RejectField } from "./fieldRejection.ts";
-export interface SubmissionConfig<F extends Fields, A, E, R, ER> {
-    readonly fields: Schema.Struct<F>;
-    readonly initialValues: Encoded<F>;
+export interface SubmissionConfig<TFields extends Fields, A, E, R, TRuntimeError> {
+    readonly fields: Schema.Struct<TFields>;
+    readonly initialValues: Encoded<TFields>;
     readonly persistedDraft?: PersistedDraftConfig | undefined;
-    readonly rejectField: RejectField<F, E> | undefined;
-    readonly runtime: Atom.AtomRuntime<Services<F, R>, ER>;
-    readonly save: (values: Decoded<F>) => Effect.Effect<A, E, AtomServices<R>>;
+    readonly rejectField: RejectField<TFields, E> | undefined;
+    readonly runtime: Atom.AtomRuntime<Services<TFields, R>, TRuntimeError>;
+    readonly save: (values: Decoded<TFields>) => Effect.Effect<A, E, AtomServices<R>>;
 }
-export interface Submission<F extends Fields, A, E, ER> {
-    readonly form: Form<F, A, E | FieldFailure, ER>;
-    readonly submitted: () => Encoded<F> | undefined;
+export interface Submission<TFields extends Fields, A, E, TRuntimeError> {
+    readonly form: Form<TFields, A, E | FieldFailure, TRuntimeError>;
+    readonly submitted: () => Encoded<TFields> | undefined;
 }
-export declare const submission: <F extends Fields, A, E, R, ER>(config: SubmissionConfig<F, A, E, R, ER>) => Submission<F, A, E, ER>;
+export declare function submission<TFields extends Fields, A, E, R, TRuntimeError>(config: SubmissionConfig<TFields, A, E, R, TRuntimeError>): Submission<TFields, A, E, TRuntimeError>;
 //# sourceMappingURL=submission.d.ts.map

package/dist/submission.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"submission.d.ts","sourceRoot":"","sources":["../src/submission.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,KAAK,KAAK,IAAI,MAAM,wBAAwB,CAAC;AAEpD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAC9G,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,WAAW,EAAa,MAAM,qBAAqB,CAAC;AAErF,MAAM,WAAW,gBAAgB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC9D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,cAAc,CAAC,EAAE,oBAAoB,GAAG,SAAS,CAAC;IAC3D,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5E;AAED,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IACrD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,EAAE,CAAC,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;CACjD;AAED,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,UAAU,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAc1H,CAAC"}
+{"version":3,"file":"submission.d.ts","sourceRoot":"","sources":["../src/submission.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,KAAK,KAAK,IAAI,MAAM,wBAAwB,CAAC;AAEpD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAE9G,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,WAAW,EAAa,MAAM,qBAAqB,CAAC;AAErF,MAAM,WAAW,gBAAgB,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,aAAa;IAC/E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,cAAc,CAAC,EAAE,oBAAoB,GAAG,SAAS,CAAC;IAC3D,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC;IAC1D,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;IACxE,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;CAClF;AAED,MAAM,WAAW,UAAU,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,aAAa;IACtE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,aAAa,CAAC,CAAC;IACjE,QAAQ,CAAC,SAAS,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;CACvD;AAED,wBAAgB,UAAU,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,aAAa,EACxE,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,GACvD,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,CAc1C"}

package/dist/submission.js

@@ -1,6 +1,7 @@
 import { make } from "@shivaedev/effect-form/form.ts";
+import { actionTrace } from "#actionTrace.ts";
 import { rejecting } from "./fieldRejection.js";
-export const submission = (config) => {
+export function submission(config) {
     const { fields, initialValues, runtime } = config;
     const save = rejecting(fields, config.save, config.rejectField);
     let submitted;
@@ -8,11 +9,11 @@ export const submission = (config) => {
         initialValues,
         onSubmit: (values, submitter, snapshot) => {
             submitted = snapshot;
-            return save(values, submitter);
+            return actionTrace(save(values, submitter), "ui.submit");
         },
         persistedDraft: config.persistedDraft,
         runtime,
     });
     return { form, submitted: () => submitted };
-};
+}
 //# sourceMappingURL=submission.js.map

package/dist/submission.js.map

@@ -1 +1 @@
-{"version":3,"file":"submission.js","sourceRoot":"","sources":["../src/submission.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,gCAAgC,CAAC;AAGtD,OAAO,EAAuC,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAgBrF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAgC,MAAwC,EAA2B,EAAE;IAC9H,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAClD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAChE,IAAI,SAAiC,CAAC;IACtC,MAAM,IAAI,GAAqC,IAAI,CAAC,MAAM,EAAE;QAC3D,aAAa;QACb,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE;YACzC,SAAS,GAAG,QAAQ,CAAC;YACrB,OAAO,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAChC,CAAC;QACD,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,OAAO;KACP,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AAC7C,CAAC,CAAC"}
+{"version":3,"file":"submission.js","sourceRoot":"","sources":["../src/submission.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,gCAAgC,CAAC;AAGtD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAuC,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAgBrF,MAAM,UAAU,UAAU,CACzB,MAAyD;IAEzD,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAClD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAChE,IAAI,SAAuC,CAAC;IAC5C,MAAM,IAAI,GAAsD,IAAI,CAAC,MAAM,EAAE;QAC5E,aAAa;QACb,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE;YACzC,SAAS,GAAG,QAAQ,CAAC;YACrB,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;QAC1D,CAAC;QACD,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,OAAO;KACP,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AAC7C,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shivaedev/effect-react",
-  "version": "0.9.0",
+  "version": "0.10.0",
   "description": "React query, action, editor and session hooks for native Effect atoms",
   "homepage": "https://github.com/ShivaeDev/platform/tree/main/packages/effect-react#readme",
   "bugs": {
@@ -53,12 +53,12 @@
     "@effect/sql-sqlite-node": "4.0.4",
     "@shivaedev/effect-pg-boss": "0.12.0",
     "@shivaedev/effect-service": "0.4.0",
-    "@shivaedev/effect-sql": "0.7.0",
+    "@shivaedev/effect-sql": "0.8.0",
     "@shivaedev/effect-test": "0.7.1",
-    "@shivaedev/effect-test-sql": "0.7.0",
+    "@shivaedev/effect-test-sql": "0.7.1",
     "@shivaedev/local-postgres": "0.4.2",
-    "@shivaedev/platform": "0.20.0",
-    "@shivaedev/quality": "0.28.1",
+    "@shivaedev/platform": "0.20.1",
+    "@shivaedev/quality": "0.28.2",
     "@shivaedev/test-story": "0.13.0",
     "@tanstack/react-router": "1.170.42",
     "@types/node": "24.19.2",

package/src/actionTrace.ts

@@ -0,0 +1,5 @@
+import { Effect } from "effect";
+
+export function actionTrace<A, E, R>(effect: Effect.Effect<A, E, R>, name = "ui.action"): Effect.Effect<A, E, R> {
+	return Effect.withSpan(effect, name, { root: true });
+}

package/src/submission.ts

@@ -3,34 +3,37 @@ import type * as Atom from "effect/reactivity/Atom";
 import { make } from "@shivaedev/effect-form/form.ts";
 import type { PersistedDraftConfig } from "@shivaedev/effect-form/persistence.ts";
 import type { Decoded, Encoded, FieldFailure, Fields, Form, Services } from "@shivaedev/effect-form/shape.ts";
+import { actionTrace } from "#actionTrace.ts";
 import { type AtomServices, type RejectField, rejecting } from "./fieldRejection.ts";
 
-export interface SubmissionConfig<F extends Fields, A, E, R, ER> {
-	readonly fields: Schema.Struct<F>;
-	readonly initialValues: Encoded<F>;
+export interface SubmissionConfig<TFields extends Fields, A, E, R, TRuntimeError> {
+	readonly fields: Schema.Struct<TFields>;
+	readonly initialValues: Encoded<TFields>;
 	readonly persistedDraft?: PersistedDraftConfig | undefined;
-	readonly rejectField: RejectField<F, E> | undefined;
-	readonly runtime: Atom.AtomRuntime<Services<F, R>, ER>;
-	readonly save: (values: Decoded<F>) => Effect.Effect<A, E, AtomServices<R>>;
+	readonly rejectField: RejectField<TFields, E> | undefined;
+	readonly runtime: Atom.AtomRuntime<Services<TFields, R>, TRuntimeError>;
+	readonly save: (values: Decoded<TFields>) => Effect.Effect<A, E, AtomServices<R>>;
 }
 
-export interface Submission<F extends Fields, A, E, ER> {
-	readonly form: Form<F, A, E | FieldFailure, ER>;
-	readonly submitted: () => Encoded<F> | undefined;
+export interface Submission<TFields extends Fields, A, E, TRuntimeError> {
+	readonly form: Form<TFields, A, E | FieldFailure, TRuntimeError>;
+	readonly submitted: () => Encoded<TFields> | undefined;
 }
 
-export const submission = <F extends Fields, A, E, R, ER>(config: SubmissionConfig<F, A, E, R, ER>): Submission<F, A, E, ER> => {
+export function submission<TFields extends Fields, A, E, R, TRuntimeError>(
+	config: SubmissionConfig<TFields, A, E, R, TRuntimeError>,
+): Submission<TFields, A, E, TRuntimeError> {
 	const { fields, initialValues, runtime } = config;
 	const save = rejecting(fields, config.save, config.rejectField);
-	let submitted: Encoded<F> | undefined;
-	const form: Form<F, A, E | FieldFailure, ER> = make(fields, {
+	let submitted: Encoded<TFields> | undefined;
+	const form: Form<TFields, A, E | FieldFailure, TRuntimeError> = make(fields, {
 		initialValues,
 		onSubmit: (values, submitter, snapshot) => {
 			submitted = snapshot;
-			return save(values, submitter);
+			return actionTrace(save(values, submitter), "ui.submit");
 		},
 		persistedDraft: config.persistedDraft,
 		runtime,
 	});
 	return { form, submitted: () => submitted };
-};
+}