honertia 0.1.42 → 0.1.44

package/README.md

@@ -1605,6 +1605,34 @@ effectRoutes(app)
 - `.middleware()` adds Hono middleware that runs *before* the Effect handler (can redirect/short-circuit)
 - `.provide()` adds Effect layers that run *within* the Effect computation (dependency injection)
 
+### `provide()` Layer Patterns
+
+`provide()` supports two layer styles:
+
+1. **Self-contained layer** (`R = never`)
+   ```typescript
+   effectRoutes(app).provide(Layer.succeed(RequestIdService, { id: 'req-123' }))
+   ```
+2. **Context-aware layer** (consumes route context services like `DatabaseService`, `HonertiaService`, or previously provided services)
+   ```typescript
+   const SharePropsLayer = Layer.effectDiscard(
+     Effect.gen(function* () {
+       const db = yield* DatabaseService
+       const honertia = yield* HonertiaService
+       const organizations = yield* Effect.tryPromise(() =>
+         db.query.organizations.findMany()
+       )
+       honertia.share('organizations', organizations)
+       honertia.share('authUserAvatarSeed', 'seed-123')
+     })
+   )
+
+   effectRoutes(app)
+     .provide(RequireAuthLayer)
+     .provide(SharePropsLayer)
+     .get('/dashboard', showDashboard)
+   ```
+
 | Level | Method | Scope |
 |-------|--------|-------|
 | `app.use('*', ...)` | Global | All routes |
@@ -1677,6 +1705,135 @@ registerErrorHandlers(app, {
 })
 ```
 
+### External Error Reporting
+
+Honertia can report request-time Effect failures to one optional observer service. You define that observer once in `setupHonertia({ effect: { services } })`, and the same observer receives:
+
+- framework-reported unhandled request failures and defects
+- user-reported handled/recovered failures via `reportEffectError(...)`
+
+This is the main integration point for PostHog, Sentry, or any other external reporting system. The observer is best-effort: if it is not installed, nothing happens; if it fails, request behavior does not change.
+
+```typescript
+import { Effect, Layer } from 'effect'
+import { setupHonertia } from 'honertia'
+import {
+  EffectErrorObserverService,
+  type EffectErrorEvent,
+} from 'honertia/effect'
+
+function makeErrorObserver(apiKey?: string) {
+  return Layer.succeed(EffectErrorObserverService, {
+    observe: (event: EffectErrorEvent) => {
+      if (!apiKey) return Effect.void
+
+      return Effect.tryPromise({
+        try: () =>
+          fetch('https://eu.i.posthog.com/capture/', {
+            method: 'POST',
+            headers: { 'Content-Type': 'application/json' },
+            body: JSON.stringify({
+              api_key: apiKey,
+              event:
+                event.source === 'framework'
+                  ? 'honertia_unhandled_error'
+                  : 'honertia_handled_error',
+              properties: {
+                handling: event.handling,
+                kind: event.kind,
+                message:
+                  event.error instanceof Error
+                    ? event.error.message
+                    : String(event.error),
+                honertiaCode: event.structured?.code ?? null,
+                httpStatus: event.structured?.httpStatus ?? null,
+                metadata: event.metadata ?? null,
+              },
+            }),
+          }),
+        catch: () => undefined,
+      }).pipe(Effect.asVoid, Effect.catchAll(() => Effect.void))
+    },
+  })
+}
+
+app.use('*', setupHonertia<Env>({
+  honertia: {
+    version,
+    render,
+    database: (c) => createDb(c.env.DB),
+    auth: (c) => createAuth({
+      db: c.var.db,
+      secret: c.env.BETTER_AUTH_SECRET,
+      baseURL: new URL(c.req.url).origin,
+    }),
+    schema,
+  },
+  effect: {
+    services: (c) => makeErrorObserver(c.env.POSTHOG_API_KEY),
+  },
+}))
+```
+
+Replace the `fetch(...)` block with `Sentry.captureException(...)` or any other telemetry client if you prefer. The important part is that the reporting sink is configured once, at app setup, instead of inside every action.
+
+The observer receives events with this shape:
+
+```typescript
+type EffectErrorEvent = {
+  source: 'framework' | 'user'
+  handling: 'unhandled' | 'handled'
+  kind: 'failure' | 'defect'
+  error: unknown
+  structured?: HonertiaStructuredError
+  metadata?: Record<string, unknown>
+}
+```
+
+Framework-emitted events use `source: 'framework'` and `handling: 'unhandled'`. User-emitted events use `source: 'user'` and `handling: 'handled'`.
+
+### Reporting Recovered Errors from Userland
+
+Unhandled request failures are reported automatically by Honertia. Use `reportEffectError(...)` only when you intentionally recover from an error and still want it forwarded to the same observer.
+
+```typescript
+import { Effect } from 'effect'
+import { action, render, reportEffectError } from 'honertia/effect'
+
+export const showHome = action(
+  Effect.gen(function* () {
+    const hasPendingNotifications = yield* Effect.tryPromise({
+      try: () => hasPendingNotificationsForUser(),
+      catch: (error) => error,
+    }).pipe(
+      Effect.tapError((error) =>
+        reportEffectError(error, {
+          // the metadata object can be anything you want to forward onto your
+          // reporting service - use it to add any extra context that would be helpful
+          metadata: {
+            area: 'home',
+            operation: 'hasPendingNotificationsForUser',
+            fallbackStrategy: 'assume_no_pending_notifications',
+            userImpact: 'notifications_badge_hidden',
+          },
+        })
+      ),
+      Effect.catchAll(() => Effect.succeed(false))
+    )
+
+    return yield* render('Home', { hasPendingNotifications })
+  })
+)
+```
+
+For the common case, the minimal form is enough:
+
+```typescript
+Effect.tapError((error) => reportEffectError(error))
+```
+
+`reportEffectError(error)` always expands to a handled user failure event. `metadata` is optional and only needed when extra context helps with debugging or analytics.
+
 ### Error Page Component
 
 ```tsx

package/dist/effect/bridge.d.ts

@@ -49,6 +49,10 @@ export interface EffectBridgeConfig<E extends Env, CustomServices = never> {
  * Symbol for storing Effect runtime in Hono context.
  */
 declare const EFFECT_RUNTIME: unique symbol;
+/**
+ * Symbol for storing Effect bridge config in Hono context.
+ */
+declare const EFFECT_BRIDGE_CONFIG: unique symbol;
 /**
  * Symbol for storing schema in Hono context.
  */
@@ -60,6 +64,7 @@ export declare function isUnconfiguredService(value: unknown): boolean;
 declare module 'hono' {
     interface ContextVariableMap {
         [EFFECT_RUNTIME]?: ManagedRuntime.ManagedRuntime<DatabaseService | AuthService | AuthUserService | HonertiaService | RequestService | ResponseFactoryService, never>;
+        [EFFECT_BRIDGE_CONFIG]?: EffectBridgeConfig<any, any>;
         [EFFECT_SCHEMA]?: Record<string, unknown>;
     }
 }
@@ -71,6 +76,14 @@ export declare function buildContextLayer<E extends Env, CustomServices = never>
  * Get the Effect runtime from Hono context.
  */
 export declare function getEffectRuntime<E extends Env>(c: HonoContext<E>): ManagedRuntime.ManagedRuntime<any, never> | undefined;
+/**
+ * Store the Effect bridge config on Hono context for downstream handlers.
+ */
+export declare function setEffectBridgeConfig<E extends Env, CustomServices = never>(c: HonoContext<E>, config?: EffectBridgeConfig<E, CustomServices>): void;
+/**
+ * Get the Effect bridge config from Hono context.
+ */
+export declare function getEffectBridgeConfig<E extends Env>(c: HonoContext<E>): EffectBridgeConfig<any, any> | undefined;
 /**
  * Middleware that sets up the Effect runtime for each request.
  */

package/dist/effect/bridge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridge.d.ts","sourceRoot":"","sources":["../../src/effect/bridge.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAU,KAAK,EAAE,cAAc,EAAU,MAAM,QAAQ,CAAA;AAG9D,OAAO,KAAK,EAAE,OAAO,IAAI,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,MAAM,CAAA;AAC1E,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,eAAe,EACf,YAAY,EAEZ,uBAAuB,EAUxB,MAAM,eAAe,CAAA;AAGtB;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK;IACvE;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC3E;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACjC;AAED;;GAEG;AACH,QAAA,MAAM,cAAc,eAA0B,CAAA;AAE9C;;GAEG;AACH,QAAA,MAAM,aAAa,eAAyB,CAAA;AAa5C,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAM7D;AAqCD;;GAEG;AACH,OAAO,QAAQ,MAAM,CAAC;IACpB,UAAU,kBAAkB;QAC1B,CAAC,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC,cAAc,CAC5C,eAAe,GACf,WAAW,GACX,eAAe,GACf,eAAe,GACf,cAAc,GACd,sBAAsB,EACxB,KAAK,CACN,CAAA;QACD,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAC1C;CACF;AA8JD;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EACrE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,KAAK,CAAC,KAAK,CACV,cAAc,GACd,sBAAsB,GACtB,eAAe,GACf,eAAe,GACf,WAAW,GACX,eAAe,GACf,eAAe,GACf,YAAY,GACZ,uBAAuB,GACvB,cAAc,EAChB,KAAK,EACL,KAAK,CACN,CAuGA;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,GAAG,EAC5C,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAChB,cAAc,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,SAAS,CAEvD;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EAChE,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,iBAAiB,CAAC,CAAC,CAAC,CA6CtB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,GAAG,EAC3C,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAChB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAErC"}
+{"version":3,"file":"bridge.d.ts","sourceRoot":"","sources":["../../src/effect/bridge.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAU,KAAK,EAAE,cAAc,EAAU,MAAM,QAAQ,CAAA;AAG9D,OAAO,KAAK,EAAE,OAAO,IAAI,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,MAAM,CAAA;AAC1E,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,eAAe,EACf,YAAY,EAEZ,uBAAuB,EAUxB,MAAM,eAAe,CAAA;AAGtB;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK;IACvE;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC3E;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACjC;AAED;;GAEG;AACH,QAAA,MAAM,cAAc,eAA0B,CAAA;AAE9C;;GAEG;AACH,QAAA,MAAM,oBAAoB,eAA+B,CAAA;AAEzD;;GAEG;AACH,QAAA,MAAM,aAAa,eAAyB,CAAA;AAa5C,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAM7D;AAqCD;;GAEG;AACH,OAAO,QAAQ,MAAM,CAAC;IACpB,UAAU,kBAAkB;QAC1B,CAAC,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC,cAAc,CAC5C,eAAe,GACf,WAAW,GACX,eAAe,GACf,eAAe,GACf,cAAc,GACd,sBAAsB,EACxB,KAAK,CACN,CAAA;QACD,CAAC,oBAAoB,CAAC,CAAC,EAAE,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QACrD,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAC1C;CACF;AA8JD;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EACrE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,KAAK,CAAC,KAAK,CACV,cAAc,GACd,sBAAsB,GACtB,eAAe,GACf,eAAe,GACf,WAAW,GACX,eAAe,GACf,eAAe,GACf,YAAY,GACZ,uBAAuB,GACvB,cAAc,EAChB,KAAK,EACL,KAAK,CACN,CAuGA;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,GAAG,EAC5C,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAChB,cAAc,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,SAAS,CAEvD;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EACzE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,IAAI,CAIN;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,GAAG,EACjD,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAChB,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,SAAS,CAG1C;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EAChE,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,iBAAiB,CAAC,CAAC,CAAC,CA8CtB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,GAAG,EAC3C,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAChB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAErC"}

package/dist/effect/bridge.js

@@ -12,6 +12,10 @@ import { TestCaptureService } from './test-layers.js';
  * Symbol for storing Effect runtime in Hono context.
  */
 const EFFECT_RUNTIME = Symbol('effectRuntime');
+/**
+ * Symbol for storing Effect bridge config in Hono context.
+ */
+const EFFECT_BRIDGE_CONFIG = Symbol('effectBridgeConfig');
 /**
  * Symbol for storing schema in Hono context.
  */
@@ -222,6 +226,22 @@ export function buildContextLayer(c, config) {
 export function getEffectRuntime(c) {
     return c.var?.[EFFECT_RUNTIME];
 }
+/**
+ * Store the Effect bridge config on Hono context for downstream handlers.
+ */
+export function setEffectBridgeConfig(c, config) {
+    if (!config)
+        return;
+    // Hono's context typing does not preserve symbol-keyed variables through c.set/c.var.
+    c.set(EFFECT_BRIDGE_CONFIG, config);
+}
+/**
+ * Get the Effect bridge config from Hono context.
+ */
+export function getEffectBridgeConfig(c) {
+    // Read through `any` for the same symbol-keyed context limitation as setEffectBridgeConfig.
+    return c.var?.[EFFECT_BRIDGE_CONFIG];
+}
 /**
  * Middleware that sets up the Effect runtime for each request.
  */
@@ -229,6 +249,7 @@ export function effectBridge(config) {
     return async (c, next) => {
         const testLayer = c.var?.__testLayer ?? c.env?.__testLayer;
         const hasTestLayer = Layer.isLayer(testLayer);
+        setEffectBridgeConfig(c, config);
         let layer = buildContextLayer(c, config);
         if (hasTestLayer) {
             layer = Layer.merge(layer, testLayer);

package/dist/effect/error-observer.d.ts

@@ -0,0 +1,22 @@
+import { Context, Effect } from 'effect';
+import type { HonertiaStructuredError } from './error-types.js';
+export interface EffectErrorEvent {
+    readonly source: 'framework' | 'user';
+    readonly handling: 'unhandled' | 'handled';
+    readonly kind: 'failure' | 'defect';
+    readonly error: unknown;
+    readonly structured?: HonertiaStructuredError;
+    readonly metadata?: Record<string, unknown>;
+}
+declare const EffectErrorObserverService_base: Context.TagClass<EffectErrorObserverService, "honertia/EffectErrorObserver", {
+    readonly observe: (event: EffectErrorEvent) => Effect.Effect<void, never>;
+}>;
+export declare class EffectErrorObserverService extends EffectErrorObserverService_base {
+}
+export declare function observeEffectErrorEvent(event: EffectErrorEvent): Effect.Effect<void, never>;
+export declare function reportEffectError(error: unknown): Effect.Effect<void, never>;
+export declare function reportEffectError(error: unknown, options: {
+    readonly metadata?: Record<string, unknown>;
+}): Effect.Effect<void, never>;
+export {};
+//# sourceMappingURL=error-observer.d.ts.map

package/dist/effect/error-observer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-observer.d.ts","sourceRoot":"","sources":["../../src/effect/error-observer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAChD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAA;AAE/D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAAA;IACrC,QAAQ,CAAC,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAA;IAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,QAAQ,CAAA;IACnC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAA;IAC7C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC5C;;sBAKmB,CAAC,KAAK,EAAE,gBAAgB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;;AAH3E,qBAAa,0BAA2B,SAAQ,+BAI5C;CAAG;AAEP,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,gBAAgB,GACtB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAO5B;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,OAAO,GACb,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AAC7B,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,OAAO,EACd,OAAO,EAAE;IACP,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC5C,GACA,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA"}

package/dist/effect/error-observer.js

@@ -0,0 +1,20 @@
+import { Context, Effect, Option } from 'effect';
+export class EffectErrorObserverService extends Context.Tag('honertia/EffectErrorObserver')() {
+}
+export function observeEffectErrorEvent(event) {
+    return Effect.gen(function* () {
+        const maybeObserver = yield* Effect.serviceOption(EffectErrorObserverService);
+        if (Option.isNone(maybeObserver))
+            return;
+        yield* maybeObserver.value.observe(event);
+    }).pipe(Effect.catchAllCause(() => Effect.void));
+}
+export function reportEffectError(error, options) {
+    return observeEffectErrorEvent({
+        source: 'user',
+        handling: 'handled',
+        kind: 'failure',
+        error,
+        metadata: options?.metadata,
+    });
+}

package/dist/effect/handler.d.ts

@@ -3,7 +3,7 @@
  *
  * Wraps Effect computations into Hono handlers.
  */
-import { Effect } from 'effect';
+import { Effect, ManagedRuntime } from 'effect';
 import type { Context as HonoContext, MiddlewareHandler, Env } from 'hono';
 import { Redirect, type AppError } from './errors.js';
 import type { HonertiaStructuredError } from './error-types.js';
@@ -15,7 +15,7 @@ import type { HonertiaStructuredError } from './error-types.js';
  * (ValidationError for form re-rendering, UnauthorizedError for redirects)
  * return responses directly.
  */
-export declare function errorToResponse<E extends Env>(error: AppError, c: HonoContext<E>): Promise<Response>;
+export declare function errorToResponse<E extends Env>(error: AppError, c: HonoContext<E>, runtime?: ManagedRuntime.ManagedRuntime<any, never>): Promise<Response>;
 /**
  * Wrap an Effect into a Hono handler.
  */

package/dist/effect/handler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"handler.d.ts","sourceRoot":"","sources":["../../src/effect/handler.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAA+B,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,EAAE,OAAO,IAAI,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,MAAM,CAAA;AAE1E,OAAO,EAML,QAAQ,EAER,KAAK,QAAQ,EACd,MAAM,aAAa,CAAA;AAQpB,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAA;AAiG/D;;;;;;;GAOG;AACH,wBAAsB,eAAe,CAAC,CAAC,SAAS,GAAG,EACjD,KAAK,EAAE,QAAQ,EACf,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAChB,OAAO,CAAC,QAAQ,CAAC,CA6EnB;AAgBD;;GAEG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,EAAE,GAAG,SAAS,QAAQ,EAClE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,GAAG,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GACjD,iBAAiB,CAAC,CAAC,CAAC,CAoBtB;AA6ED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,EAAE,GAAG,SAAS,QAAQ,EAC3D,EAAE,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,GAAG,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GACnD,iBAAiB,CAAC,CAAC,CAAC,CAEtB;AAED;;GAEG;AACH,eAAO,MAAM,MAAM,sBAAgB,CAAA;AAEnC;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,KAAK,GAAG,uBAAuB,GAAG,SAAS,CAEzF"}
+{"version":3,"file":"handler.d.ts","sourceRoot":"","sources":["../../src/effect/handler.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAe,cAAc,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,EAAE,OAAO,IAAI,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,MAAM,CAAA;AAM1E,OAAO,EAML,QAAQ,EAER,KAAK,QAAQ,EACd,MAAM,aAAa,CAAA;AAQpB,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAA;AAmH/D;;;;;;;GAOG;AACH,wBAAsB,eAAe,CAAC,CAAC,SAAS,GAAG,EACjD,KAAK,EAAE,QAAQ,EACf,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EACjB,OAAO,CAAC,EAAE,cAAc,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,GAClD,OAAO,CAAC,QAAQ,CAAC,CAyFnB;AAgBD;;GAEG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,EAAE,GAAG,SAAS,QAAQ,EAClE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,GAAG,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GACjD,iBAAiB,CAAC,CAAC,CAAC,CAoBtB;AAkHD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,EAAE,GAAG,SAAS,QAAQ,EAC3D,EAAE,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,GAAG,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GACnD,iBAAiB,CAAC,CAAC,CAAC,CAEtB;AAED;;GAEG;AACH,eAAO,MAAM,MAAM,sBAAgB,CAAA;AAEnC;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,KAAK,GAAG,uBAAuB,GAAG,SAAS,CAEzF"}

package/dist/effect/handler.js

@@ -4,11 +4,12 @@
  * Wraps Effect computations into Hono handlers.
  */
 import { Effect, Exit, Cause, ManagedRuntime } from 'effect';
-import { getEffectRuntime, buildContextLayer } from './bridge.js';
+import { getEffectBridgeConfig, getEffectRuntime, buildContextLayer, } from './bridge.js';
 import { ValidationError, UnauthorizedError, NotFoundError, HttpError, RouteConfigurationError, Redirect, toStructuredError, } from './errors.js';
 import { createStructuredError, ErrorCodes } from './error-catalog.js';
 import { captureErrorContext } from './error-context.js';
 import { detectOutputFormat, JsonErrorFormatter, TerminalErrorFormatter, } from './error-formatter.js';
+import { observeEffectErrorEvent, } from './error-observer.js';
 /**
  * Memoized formatter instances to avoid recreation on every error.
  */
@@ -94,6 +95,15 @@ function isDevelopment(c) {
         env?.NODE_ENV === 'development' ||
         env?.CF_PAGES_BRANCH !== undefined);
 }
+/**
+ * Observe an Effect error without changing request behavior.
+ */
+async function observeEffectError(c, event, runtime) {
+    const activeRuntime = runtime ?? getEffectRuntime(c);
+    if (!activeRuntime)
+        return;
+    await activeRuntime.runPromise(observeEffectErrorEvent(event));
+}
 /**
  * Convert an Effect error to an HTTP response.
  *
@@ -102,12 +112,19 @@ function isDevelopment(c) {
  * (ValidationError for form re-rendering, UnauthorizedError for redirects)
  * return responses directly.
  */
-export async function errorToResponse(error, c) {
+export async function errorToResponse(error, c, runtime) {
     const context = captureErrorContext(c);
     const isDev = isDevelopment(c);
     const format = detectOutputFormat(createFormatDetectionContext(c), (c.env ?? {}));
     // Convert to structured error
     const structured = toStructuredError(error, context);
+    await observeEffectError(c, {
+        source: 'framework',
+        handling: 'unhandled',
+        kind: 'failure',
+        error,
+        structured,
+    }, runtime);
     // Log in development
     logStructuredError(structured, isDev);
     // ValidationError: re-render form with errors or redirect back
@@ -182,18 +199,18 @@ export function effectHandler(effect) {
         const runtime = getEffectRuntime(c);
         if (!runtime) {
             // No runtime set up, create one for this request
-            const layer = buildContextLayer(c);
+            const layer = buildContextLayer(c, getEffectBridgeConfig(c));
             const tempRuntime = ManagedRuntime.make(layer);
             try {
                 const exit = await tempRuntime.runPromiseExit(effect);
-                return await handleExit(exit, c);
+                return await handleExit(exit, c, tempRuntime);
             }
             finally {
                 await tempRuntime.dispose();
             }
         }
         const exit = await runtime.runPromiseExit(effect);
-        return await handleExit(exit, c);
+        return await handleExit(exit, c, runtime);
     };
 }
 /**
@@ -202,7 +219,7 @@ export function effectHandler(effect) {
  * Failures are converted to responses via errorToResponse.
  * Defects (unexpected errors) are re-thrown for Hono's onError handler.
  */
-async function handleExit(exit, c) {
+async function handleExit(exit, c, runtime) {
     if (Exit.isSuccess(exit)) {
         const value = exit.value;
         if (isRedirect(value)) {
@@ -215,7 +232,7 @@ async function handleExit(exit, c) {
     if (Cause.isFailure(cause)) {
         const error = Cause.failureOption(cause);
         if (error._tag === 'Some') {
-            return await errorToResponse(error.value, c);
+            return await errorToResponse(error.value, c, runtime);
         }
     }
     // Handle defects (unexpected errors) - attach structured error for Hono's onError
@@ -225,9 +242,18 @@ async function handleExit(exit, c) {
         if (defect._tag === 'Some') {
             const err = defect.value;
             // If the defect is already a structured error (like HonertiaConfigurationError),
-            // convert it using its own toStructured method
+            // convert it using its own toStructured method.
+            // This branch always throws after observing, so the generic defect path below
+            // only runs for defects that do not implement toStructured.
             if (err && typeof err === 'object' && 'toStructured' in err && typeof err.toStructured === 'function') {
                 const structured = err.toStructured(context);
+                await observeEffectError(c, {
+                    source: 'framework',
+                    handling: 'unhandled',
+                    kind: 'defect',
+                    error: err,
+                    structured,
+                }, runtime);
                 const wrapped = new Error(err.message ?? String(err));
                 wrapped.__honertiaStructured = structured;
                 wrapped.hint = err.hint;
@@ -235,6 +261,13 @@ async function handleExit(exit, c) {
             }
             // Otherwise create a generic defect error
             const structured = createStructuredError(ErrorCodes.INT_801_EFFECT_DEFECT, { reason: err instanceof Error ? err.message : String(err) }, context);
+            await observeEffectError(c, {
+                source: 'framework',
+                handling: 'unhandled',
+                kind: 'defect',
+                error: err,
+                structured,
+            }, runtime);
             if (err instanceof Error) {
                 ;
                 err.__honertiaStructured = structured;
@@ -247,6 +280,13 @@ async function handleExit(exit, c) {
     }
     // Fallback: throw generic error with structured info
     const structured = createStructuredError(ErrorCodes.INT_800_UNEXPECTED, { reason: 'Unknown effect failure' }, context);
+    await observeEffectError(c, {
+        source: 'framework',
+        handling: 'unhandled',
+        kind: 'defect',
+        error: new Error('Unknown effect failure'),
+        structured,
+    }, runtime);
     const fallbackError = new Error('Unknown effect failure');
     fallbackError.__honertiaStructured = structured;
     throw fallbackError;

package/dist/effect/index.d.ts

@@ -6,6 +6,7 @@
 export { DatabaseService, AuthService, AuthUserService, EmailService, HonertiaService, RequestService, ResponseFactoryService, BindingsService, CacheService, CacheClientError, ExecutionContextService, authorize, type AuthUser, type EmailClient, type HonertiaRenderer, type RequestContext, type ResponseFactory, type CacheClient, type ExecutionContextClient, type HonertiaDatabaseType, type HonertiaAuthType, type HonertiaBindingsType, type HonertiaAuthUserType, type DefaultAuthUser, type DatabaseType, type SchemaType, type AuthType, type BindingsType, } from './services.js';
 export { ValidationError, UnauthorizedError, NotFoundError, ForbiddenError, HttpError, RouteConfigurationError, HonertiaConfigurationError, Redirect, isStructuredError, toStructuredError, type AppError, type StructuredErrorCapable, } from './errors.js';
 export type { ErrorCategory, ErrorContext, SourceLocation, CodeSnippet, RouteContext, HandlerContext, RequestContext as ErrorRequestContext, ServiceContext, FixType, FixPosition, FixOperation, PostAction, FixSuggestion, ErrorDocs, HonertiaStructuredError, FieldError, ValidationErrorData, ConfigurationErrorData, BindingErrorData, ErrorDefinition, FixGenerator, } from './error-types.js';
+export { EffectErrorObserverService, reportEffectError, type EffectErrorEvent, } from './error-observer.js';
 export { ErrorCodes, ErrorCatalog, createStructuredError, getConfigErrorCode, getErrorDefinition, getErrorsByCategory, type ErrorCode, } from './error-catalog.js';
 export { JsonErrorFormatter, TerminalErrorFormatter, InertiaErrorFormatter, detectOutputFormat, createFormatter, type ErrorFormatter, type JsonFormatterOptions, type TerminalFormatterOptions, type InertiaFormatterOptions, type OutputFormat, type FormatDetectionContext, } from './error-formatter.js';
 export { captureErrorContext, captureEnhancedContext, parseStackTrace, findUserFrame, createSourceLocation, createCodeSnippet, withHandlerContext, withServiceContext, mergeContexts, emptyContext, type StackFrame, type EnhancedErrorContext, } from './error-context.js';

package/dist/effect/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/effect/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,EACT,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,YAAY,GAClB,MAAM,eAAe,CAAA;AAGtB,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,cAAc,EACd,SAAS,EACT,uBAAuB,EACvB,0BAA0B,EAC1B,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,KAAK,QAAQ,EACb,KAAK,sBAAsB,GAC5B,MAAM,aAAa,CAAA;AAGpB,YAAY,EACV,aAAa,EACb,YAAY,EACZ,cAAc,EACd,WAAW,EACX,YAAY,EACZ,cAAc,EACd,cAAc,IAAI,mBAAmB,EACrC,cAAc,EACd,OAAO,EACP,WAAW,EACX,YAAY,EACZ,UAAU,EACV,aAAa,EACb,SAAS,EACT,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,sBAAsB,EACtB,gBAAgB,EAChB,eAAe,EACf,YAAY,GACb,MAAM,kBAAkB,CAAA;AAGzB,OAAO,EACL,UAAU,EACV,YAAY,EACZ,qBAAqB,EACrB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,KAAK,SAAS,GACf,MAAM,oBAAoB,CAAA;AAG3B,OAAO,EACL,kBAAkB,EAClB,sBAAsB,EACtB,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,EAC5B,KAAK,YAAY,EACjB,KAAK,sBAAsB,GAC5B,MAAM,sBAAsB,CAAA;AAG7B,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,eAAe,EACf,aAAa,EACb,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,oBAAoB,GAC1B,MAAM,oBAAoB,CAAA;AAG3B,cAAc,aAAa,CAAA;AAG3B,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,6BAA6B,EAC7B,8BAA8B,EAC9B,QAAQ,EACR,eAAe,EACf,eAAe,EACf,WAAW,EACX,SAAS,EACT,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAC5B,KAAK,wBAAwB,EAC7B,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,GAC7B,MAAM,iBAAiB,CAAA;AAGxB,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,aAAa,EACb,cAAc,GACf,MAAM,yBAAyB,CAAA;AAGhC,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,KAAK,kBAAkB,GACxB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,eAAe,EACf,uBAAuB,GACxB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,MAAM,EACN,UAAU,EACV,aAAa,EACb,kBAAkB,EAClB,KAAK,MAAM,EACX,KAAK,aAAa,GACnB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,QAAQ,EACR,MAAM,EACN,gBAAgB,EAChB,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,SAAS,EACT,WAAW,EACX,YAAY,EACZ,KAAK,GACN,MAAM,gBAAgB,CAAA;AAGvB,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,GACtB,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,MAAM,EACX,KAAK,aAAa,GACnB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,SAAS,EACT,kBAAkB,EAClB,KAAK,YAAY,GAClB,MAAM,kBAAkB,CAAA;AAGzB,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,KAAK,EACL,SAAS,EACT,aAAa,EACb,UAAU,EACV,KAAK,aAAa,EAClB,KAAK,UAAU,GAChB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,UAAU,EACV,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,eAAe,EACf,qBAAqB,EACrB,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,sBAAsB,GAC5B,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,WAAW,EACX,WAAW,EACX,YAAY,EACZ,SAAS,EACT,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,EACtB,QAAQ,EACR,KAAK,gBAAgB,EACrB,KAAK,0BAA0B,EAC/B,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,WAAW,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/effect/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,EACT,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,YAAY,GAClB,MAAM,eAAe,CAAA;AAGtB,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,cAAc,EACd,SAAS,EACT,uBAAuB,EACvB,0BAA0B,EAC1B,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,KAAK,QAAQ,EACb,KAAK,sBAAsB,GAC5B,MAAM,aAAa,CAAA;AAGpB,YAAY,EACV,aAAa,EACb,YAAY,EACZ,cAAc,EACd,WAAW,EACX,YAAY,EACZ,cAAc,EACd,cAAc,IAAI,mBAAmB,EACrC,cAAc,EACd,OAAO,EACP,WAAW,EACX,YAAY,EACZ,UAAU,EACV,aAAa,EACb,SAAS,EACT,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,sBAAsB,EACtB,gBAAgB,EAChB,eAAe,EACf,YAAY,GACb,MAAM,kBAAkB,CAAA;AAGzB,OAAO,EACL,0BAA0B,EAC1B,iBAAiB,EACjB,KAAK,gBAAgB,GACtB,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EACL,UAAU,EACV,YAAY,EACZ,qBAAqB,EACrB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,KAAK,SAAS,GACf,MAAM,oBAAoB,CAAA;AAG3B,OAAO,EACL,kBAAkB,EAClB,sBAAsB,EACtB,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,EAC5B,KAAK,YAAY,EACjB,KAAK,sBAAsB,GAC5B,MAAM,sBAAsB,CAAA;AAG7B,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,eAAe,EACf,aAAa,EACb,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,oBAAoB,GAC1B,MAAM,oBAAoB,CAAA;AAG3B,cAAc,aAAa,CAAA;AAG3B,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,6BAA6B,EAC7B,8BAA8B,EAC9B,QAAQ,EACR,eAAe,EACf,eAAe,EACf,WAAW,EACX,SAAS,EACT,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAC5B,KAAK,wBAAwB,EAC7B,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,GAC7B,MAAM,iBAAiB,CAAA;AAGxB,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,aAAa,EACb,cAAc,GACf,MAAM,yBAAyB,CAAA;AAGhC,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,KAAK,kBAAkB,GACxB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,eAAe,EACf,uBAAuB,GACxB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,MAAM,EACN,UAAU,EACV,aAAa,EACb,kBAAkB,EAClB,KAAK,MAAM,EACX,KAAK,aAAa,GACnB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,QAAQ,EACR,MAAM,EACN,gBAAgB,EAChB,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,SAAS,EACT,WAAW,EACX,YAAY,EACZ,KAAK,GACN,MAAM,gBAAgB,CAAA;AAGvB,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,GACtB,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,MAAM,EACX,KAAK,aAAa,GACnB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,SAAS,EACT,kBAAkB,EAClB,KAAK,YAAY,GAClB,MAAM,kBAAkB,CAAA;AAGzB,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,KAAK,EACL,SAAS,EACT,aAAa,EACb,UAAU,EACV,KAAK,aAAa,EAClB,KAAK,UAAU,GAChB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,UAAU,EACV,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,eAAe,EACf,qBAAqB,EACrB,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,sBAAsB,GAC5B,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,WAAW,EACX,WAAW,EACX,YAAY,EACZ,SAAS,EACT,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,EACtB,QAAQ,EACR,KAAK,gBAAgB,EACrB,KAAK,0BAA0B,EAC/B,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,WAAW,CAAA"}

package/dist/effect/index.js

@@ -7,6 +7,8 @@
 export { DatabaseService, AuthService, AuthUserService, EmailService, HonertiaService, RequestService, ResponseFactoryService, BindingsService, CacheService, CacheClientError, ExecutionContextService, authorize, } from './services.js';
 // Errors
 export { ValidationError, UnauthorizedError, NotFoundError, ForbiddenError, HttpError, RouteConfigurationError, HonertiaConfigurationError, Redirect, isStructuredError, toStructuredError, } from './errors.js';
+// Error Observer
+export { EffectErrorObserverService, reportEffectError, } from './error-observer.js';
 // Error Catalog
 export { ErrorCodes, ErrorCatalog, createStructuredError, getConfigErrorCode, getErrorDefinition, getErrorsByCategory, } from './error-catalog.js';
 // Error Formatters

package/dist/effect/routing.d.ts

@@ -90,9 +90,12 @@ export declare class EffectRouteBuilder<E extends Env, ProvidedServices = never,
     constructor(app: Hono<E>, layers?: Layer.Layer<any, never, never>[], pathPrefix?: string, bridgeConfig?: EffectBridgeConfig<E, CustomServices> | undefined, registry?: RouteRegistry, middlewares?: MiddlewareHandler<E>[]);
     /**
      * Add a layer to provide services to all routes in this builder.
+     * The layer may be self-contained (`R = never`) or consume services already
+     * available in this route context (`BaseServices`, previously provided services,
+     * and bridge-level custom services).
      * The layer's error type must be handled by the effect bridge (AppError or subtype).
      */
-    provide<S, LayerErr extends AppError>(layer: Layer.Layer<S, LayerErr, never>): EffectRouteBuilder<E, ProvidedServices | S, CustomServices>;
+    provide<S, LayerErr extends AppError, LayerReq extends BaseServices | ProvidedServices | CustomServices>(layer: Layer.Layer<S, LayerErr, LayerReq>): EffectRouteBuilder<E, ProvidedServices | S, CustomServices>;
     /**
      * Add Hono middleware that runs before the Effect handler.
      * Use this for middleware that needs to redirect or short-circuit requests

package/dist/effect/routing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"routing.d.ts","sourceRoot":"","sources":["../../src/effect/routing.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAQ,KAAK,EAAU,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AACjE,OAAO,KAAK,EAA0B,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,MAAM,CAAA;AAEhF,OAAO,EAKL,KAAK,kBAAkB,EACxB,MAAM,aAAa,CAAA;AACpB,OAAO,EACL,KAAK,QAAQ,EACb,QAAQ,EAET,MAAM,aAAa,CAAA;AACpB,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,eAAe,EAChB,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAA;AAErF,OAAO,EAKL,WAAW,EAGZ,MAAM,cAAc,CAAA;AACrB,OAAO,EACL,aAAa,EAId,MAAM,qBAAqB,CAAA;AAE5B;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,CACjG,QAAQ,GAAG,QAAQ,EACnB,CAAC,EACD,CAAC,CACF,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB,cAAc,GACd,sBAAsB,GACtB,eAAe,GACf,eAAe,GACf,WAAW,GACX,eAAe,GACf,WAAW,GACX,oBAAoB,GACpB,qBAAqB,CAAA;AAEzB;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;IACrB;;;;;;;;;;;OAWG;IACH,IAAI,CAAC,EAAE,MAAM,CAAA;IACb;;;OAGG;IACH,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;IACnB;;;OAGG;IACH,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;IACpB;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;IACvB;;;OAGG;IACH,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAA;CAC3B;AA8BD;;GAEG;AACH,qBAAa,kBAAkB,CAC7B,CAAC,SAAS,GAAG,EACb,gBAAgB,GAAG,KAAK,EACxB,cAAc,GAAG,KAAK;IAGpB,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;IAC9B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,WAAW;gBALX,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EACZ,MAAM,GAAE,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,EAAO,EAC7C,UAAU,GAAE,MAAW,EACvB,YAAY,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,YAAA,EACpD,QAAQ,GAAE,aAAmC,EAC7C,WAAW,GAAE,iBAAiB,CAAC,CAAC,CAAC,EAAO;IAG3D;;;OAGG;IACH,OAAO,CAAC,CAAC,EAAE,QAAQ,SAAS,QAAQ,EAClC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,GACrC,kBAAkB,CAAC,CAAC,EAAE,gBAAgB,GAAG,CAAC,EAAE,cAAc,CAAC;IAW9D;;;;;;;;;;;;;;OAcG;IACH,UAAU,CACR,GAAG,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,GAClC,kBAAkB,CAAC,CAAC,EAAE,gBAAgB,EAAE,cAAc,CAAC;IAW1D;;OAEG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,CAAC,CAAC,EAAE,gBAAgB,EAAE,cAAc,CAAC;IAY7E;;OAEG;IACH,KAAK,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC,EAAE,gBAAgB,EAAE,cAAc,CAAC,KAAK,IAAI,GAAG,IAAI;IAI/F;;OAEG;IACH,OAAO,CAAC,WAAW;IAOnB;;OAEG;YACW,YAAY;IAoB1B;;;OAGG;YACW,eAAe;IAmF7B,OAAO,CAAC,aAAa;IA8GrB;;;OAGG;IACH,OAAO,CAAC,aAAa;IAwCrB,4FAA4F;IAC5F,GAAG,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC5D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP,6FAA6F;IAC7F,IAAI,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC7D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP,4FAA4F;IAC5F,GAAG,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC5D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP,8FAA8F;IAC9F,KAAK,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC9D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP,+FAA+F;IAC/F,MAAM,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC/D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP,6GAA6G;IAC7G,GAAG,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC5D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP;;;OAGG;IACH,WAAW,IAAI,aAAa;CAG7B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,CACvE,SAAQ,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC;IAC7C;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE,aAAa,CAAA;CACzB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EAChE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EACZ,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,CAG9C"}
+{"version":3,"file":"routing.d.ts","sourceRoot":"","sources":["../../src/effect/routing.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAS,MAAM,EAAQ,KAAK,EAAU,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AACxE,OAAO,KAAK,EAA0B,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,MAAM,CAAA;AAEhF,OAAO,EAML,KAAK,kBAAkB,EACxB,MAAM,aAAa,CAAA;AACpB,OAAO,EACL,KAAK,QAAQ,EACb,QAAQ,EAET,MAAM,aAAa,CAAA;AACpB,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,eAAe,EAChB,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAA;AAErF,OAAO,EAKL,WAAW,EAGZ,MAAM,cAAc,CAAA;AACrB,OAAO,EACL,aAAa,EAId,MAAM,qBAAqB,CAAA;AAE5B;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,CACjG,QAAQ,GAAG,QAAQ,EACnB,CAAC,EACD,CAAC,CACF,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB,cAAc,GACd,sBAAsB,GACtB,eAAe,GACf,eAAe,GACf,WAAW,GACX,eAAe,GACf,WAAW,GACX,oBAAoB,GACpB,qBAAqB,CAAA;AAEzB;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;IACrB;;;;;;;;;;;OAWG;IACH,IAAI,CAAC,EAAE,MAAM,CAAA;IACb;;;OAGG;IACH,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;IACnB;;;OAGG;IACH,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;IACpB;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;IACvB;;;OAGG;IACH,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAA;CAC3B;AA8CD;;GAEG;AACH,qBAAa,kBAAkB,CAC7B,CAAC,SAAS,GAAG,EACb,gBAAgB,GAAG,KAAK,EACxB,cAAc,GAAG,KAAK;IAGpB,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;IAC9B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,WAAW;gBALX,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EACZ,MAAM,GAAE,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,EAAO,EAC7C,UAAU,GAAE,MAAW,EACvB,YAAY,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,YAAA,EACpD,QAAQ,GAAE,aAAmC,EAC7C,WAAW,GAAE,iBAAiB,CAAC,CAAC,CAAC,EAAO;IAG3D;;;;;;OAMG;IACH,OAAO,CACL,CAAC,EACD,QAAQ,SAAS,QAAQ,EACzB,QAAQ,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAEjE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,GACxC,kBAAkB,CAAC,CAAC,EAAE,gBAAgB,GAAG,CAAC,EAAE,cAAc,CAAC;IAW9D;;;;;;;;;;;;;;OAcG;IACH,UAAU,CACR,GAAG,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,GAClC,kBAAkB,CAAC,CAAC,EAAE,gBAAgB,EAAE,cAAc,CAAC;IAW1D;;OAEG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,CAAC,CAAC,EAAE,gBAAgB,EAAE,cAAc,CAAC;IAY7E;;OAEG;IACH,KAAK,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC,EAAE,gBAAgB,EAAE,cAAc,CAAC,KAAK,IAAI,GAAG,IAAI;IAI/F;;OAEG;IACH,OAAO,CAAC,WAAW;IAOnB;;OAEG;YACW,YAAY;IAoB1B;;;OAGG;YACW,eAAe;IAmF7B,OAAO,CAAC,aAAa;IAgHrB;;;OAGG;IACH,OAAO,CAAC,aAAa;IAwCrB,4FAA4F;IAC5F,GAAG,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC5D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP,6FAA6F;IAC7F,IAAI,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC7D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP,4FAA4F;IAC5F,GAAG,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC5D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP,8FAA8F;IAC9F,KAAK,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC9D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP,+FAA+F;IAC/F,MAAM,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC/D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP,6GAA6G;IAC7G,GAAG,CAAC,CAAC,SAAS,YAAY,GAAG,gBAAgB,GAAG,cAAc,EAC5D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAC1C,OAAO,CAAC,EAAE,kBAAkB,GAC3B,IAAI;IAIP;;;OAGG;IACH,WAAW,IAAI,aAAa;CAG7B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,CACvE,SAAQ,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC;IAC7C;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE,aAAa,CAAA;CACzB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EAChE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EACZ,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,CAG9C"}

package/dist/effect/routing.js

@@ -3,9 +3,9 @@
  *
  * Laravel-style routing with Effect handlers.
  */
-import { Effect, Exit, Layer, Option, Schema as S } from 'effect';
+import { Cause, Effect, Exit, Layer, Option, Schema as S } from 'effect';
 import { effectHandler, errorToResponse } from './handler.js';
-import { buildContextLayer, getEffectRuntime, getEffectSchema, isUnconfiguredService, } from './bridge.js';
+import { buildContextLayer, getEffectRuntime, getEffectSchema, isUnconfiguredService, setEffectBridgeConfig, } from './bridge.js';
 import { ValidationError, } from './errors.js';
 import { DatabaseService, } from './services.js';
 import { ValidatedBodyService, ValidatedQueryService } from './validated-services.js';
@@ -35,6 +35,17 @@ async function hydrateRequestDb(c) {
         c.set('db', maybeDb.value);
     }
 }
+async function runValidation(effect) {
+    const exit = await Effect.runPromiseExit(effect);
+    if (Exit.isSuccess(exit)) {
+        return exit.value;
+    }
+    const error = Cause.failureOption(exit.cause);
+    if (Option.isSome(error)) {
+        throw error.value;
+    }
+    throw Cause.squash(exit.cause);
+}
 /**
  * Effect Route Builder with layer composition.
  */
@@ -55,6 +66,9 @@ export class EffectRouteBuilder {
     }
     /**
      * Add a layer to provide services to all routes in this builder.
+     * The layer may be self-contained (`R = never`) or consume services already
+     * available in this route context (`BaseServices`, previously provided services,
+     * and bridge-level custom services).
      * The layer's error type must be handled by the effect bridge (AppError or subtype).
      */
     provide(layer) {
@@ -174,6 +188,7 @@ export class EffectRouteBuilder {
         const layers = this.layers;
         const bridgeConfig = this.bridgeConfig;
         return async (c) => {
+            setEffectBridgeConfig(c, bridgeConfig);
             // Get schema from bridgeConfig or from context (set by setupHonertia/effectBridge)
             const schema = bridgeConfig?.schema ?? getEffectSchema(c);
             // Use provided params schema, or infer from database schema if available
@@ -193,12 +208,12 @@ export class EffectRouteBuilder {
             try {
                 if (shouldValidateBody && !BODYLESS_METHODS.has(c.req.method.toUpperCase())) {
                     const body = await parseRequestBody(c);
-                    validatedBody = await Effect.runPromise(validateUnknown(bodySchema, body));
+                    validatedBody = await runValidation(validateUnknown(bodySchema, body));
                     hasValidatedBody = true;
                 }
                 if (querySchema) {
                     const query = c.req.query();
-                    validatedQuery = await Effect.runPromise(validateUnknown(querySchema, query));
+                    validatedQuery = await runValidation(validateUnknown(querySchema, query));
                     hasValidatedQuery = true;
                 }
             }
@@ -243,7 +258,7 @@ export class EffectRouteBuilder {
                 fullLayer = Layer.merge(fullLayer, Layer.succeed(ValidatedQueryService, validatedQuery));
             }
             for (const layer of layers) {
-                fullLayer = Layer.merge(fullLayer, layer);
+                fullLayer = Layer.provideMerge(layer, fullLayer);
             }
             // Run the effect with the combined layer
             const program = effect.pipe(Effect.provide(fullLayer));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "honertia",
-  "version": "0.1.42",
+  "version": "0.1.44",
   "description": "Inertia.js-style server-driven SPA adapter for Hono",
   "type": "module",
   "main": "./dist/index.js",