@logixjs/core 0.0.1

package/dist/Middleware.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/Middleware.ts","../src/Debug.ts","../src/internal/runtime/core/DebugSink.ts","../src/internal/observability/jsonValue.ts","../src/internal/runtime/core/errorSummary.ts","../src/internal/runtime/core/EffectOpCore.ts","../src/internal/runtime/core/DevtoolsHub.ts","../src/internal/runtime/core/ConvergeStaticIrCollector.ts","../src/internal/runtime/core/env.ts"],"sourcesContent":["// Middleware namespace entry (@logixjs/core/Middleware).\n// - Helpers for EffectOp-based debugging/observation middleware.\n// - Query / DebugObserver capabilities extend from this namespace.\n\nimport { Effect } from 'effect'\nimport * as EffectOp from './EffectOp.js'\nimport * as Debug from './Debug.js'\n\nexport type Middleware = EffectOp.Middleware\nexport type MiddlewareStack = EffectOp.MiddlewareStack\n\nexport interface DebugLoggerConfig {\n  /**\n   * Optional: custom logger function (useful for capturing calls in tests).\n   *\n   * - When omitted, defaults to Effect.logDebug.\n   */\n  readonly logger?: (op: EffectOp.EffectOp<any, any, any>) => void\n}\n\n/**\n * Creates a simple debug logger middleware.\n *\n * - Logs once before executing the Effect.\n * - Does not change success/error semantics.\n */\nexport const makeDebugLogger =\n  (config?: DebugLoggerConfig): Middleware =>\n  <A, E, R>(op: EffectOp.EffectOp<A, E, R>): Effect.Effect<A, E, R> =>\n    Effect.gen(function* () {\n      // Observation-only capability: can be locally disabled by policy.\n      if (op.meta?.policy?.disableObservers) {\n        return yield* op.effect\n      }\n      if (config?.logger) {\n        config.logger(op)\n      } else {\n        yield* Effect.logDebug(`[EffectOp] kind=${op.kind} name=${op.name}`)\n      }\n      return yield* op.effect\n    })\n\n/**\n * applyDebug：\n * - Appends a DebugLogger middleware to the end of an existing MiddlewareStack.\n * - Returns a new stack; does not mutate the input array.\n */\nexport const applyDebug = (stack: MiddlewareStack, config?: DebugLoggerConfig): MiddlewareStack => [\n  ...stack,\n  makeDebugLogger(config),\n]\n\n/**\n * DebugObserverConfig：\n * - Optional filter: select which EffectOps to observe (by module / kind / name, etc.).\n */\nexport interface DebugObserverConfig {\n  readonly filter?: (op: EffectOp.EffectOp<any, any, any>) => boolean\n}\n\n/**\n * makeDebugObserver：\n * - Funnels EffectOp events into DebugSink (EffectOp → Debug.Event).\n * - Uses `trace:*` events to forward a slim view of EffectOp into the Debug stream (must not carry effect closures):\n *   - type: 'trace:effectop'\n *   - moduleId: from op.meta?.moduleId (when present)\n *   - data: { id, kind, name, payload, meta }\n *\n * Notes:\n * - Does not change the underlying Effect behavior; only adds Debug-side observation.\n * - Devtools / Timeline UIs can rebuild an EffectOp timeline from `trace:effectop` events.\n */\nexport const makeDebugObserver =\n  (config?: DebugObserverConfig): Middleware =>\n  <A, E, R>(op: EffectOp.EffectOp<A, E, R>): Effect.Effect<A, E, R> =>\n    Effect.gen(function* () {\n      // Observation-only capability: can be locally disabled by policy.\n      if (op.meta?.policy?.disableObservers) {\n        return yield* op.effect\n      }\n      if (!config?.filter || config.filter(op)) {\n        const meta: any = op.meta ?? {}\n        const slimOp = {\n          id: op.id,\n          kind: op.kind,\n          name: op.name,\n          payload: op.payload,\n          meta: op.meta,\n        }\n        yield* Debug.record({\n          type: 'trace:effectop',\n          moduleId: typeof meta.moduleId === 'string' ? meta.moduleId : undefined,\n          instanceId: typeof meta.instanceId === 'string' ? meta.instanceId : undefined,\n          runtimeLabel: typeof meta.runtimeLabel === 'string' ? meta.runtimeLabel : undefined,\n          txnSeq: typeof meta.txnSeq === 'number' && Number.isFinite(meta.txnSeq) ? Math.floor(meta.txnSeq) : undefined,\n          data: slimOp,\n        })\n      }\n      return yield* op.effect\n    })\n\n/**\n * applyDebugObserver：\n * - Appends a DebugObserver middleware to the end of an existing MiddlewareStack.\n * - Returns a new stack; does not mutate the input array.\n */\nexport const applyDebugObserver = (stack: MiddlewareStack, config?: DebugObserverConfig): MiddlewareStack => [\n  ...stack,\n  makeDebugObserver(config),\n]\n\n/**\n * WithDebugOptions：\n * - High-level composition options for adding Debug capabilities onto an existing MiddlewareStack.\n *\n * Conventions:\n * - logger:\n *   - undefined: enable the default DebugLogger (Effect.logDebug).\n *   - function: use a custom logger(op) instead of the default.\n *   - false: do not add DebugLogger middleware.\n * - observer:\n *   - undefined: enable DebugObserver with default config.\n *   - DebugObserverConfig: enable DebugObserver with the given config.\n *   - false: do not add DebugObserver middleware.\n */\nexport interface WithDebugOptions {\n  readonly logger?: DebugLoggerConfig['logger'] | false\n  readonly observer?: DebugObserverConfig | false\n}\n\n/**\n * withDebug：\n * - Appends DebugLogger + DebugObserver presets onto an existing MiddlewareStack.\n * - Allows enabling/disabling logger/observer and configuring them via options.\n * - Returns a new stack; does not mutate the input array.\n *\n * @example\n *\n *   let stack: MiddlewareStack = [metrics, timing]\n *   stack = Middleware.withDebug(stack, {\n *     logger: (op) => console.log(op.kind, op.name),\n *     observer: { filter: (op) => op.kind !== 'service' },\n *   })\n */\nexport const withDebug = (stack: MiddlewareStack, options?: WithDebugOptions): MiddlewareStack => {\n  let next = stack\n\n  // DebugLogger: enabled by default unless logger === false.\n  if (options?.logger !== false) {\n    const loggerConfig: DebugLoggerConfig | undefined =\n      typeof options?.logger === 'function' ? { logger: options.logger } : undefined\n    next = applyDebug(next, loggerConfig)\n  }\n\n  // DebugObserver: enabled by default unless observer === false.\n  if (options?.observer !== false) {\n    // observer === false has been filtered out; pass through the config object when provided.\n    // undefined means using DebugObserver default behavior.\n    const observerOption = options?.observer\n    const observerConfig: DebugObserverConfig | undefined = observerOption === undefined ? undefined : observerOption\n    next = applyDebugObserver(next, observerConfig)\n  }\n\n  return next\n}\n","import { Effect, Layer, Logger } from 'effect'\nimport type { AnyModuleShape, ModuleLike, ModuleRuntime, ModuleTag } from './internal/module.js'\nimport type { StateTraitProgram, StateTraitGraph, StateTraitPlan } from './StateTrait.js'\nimport * as Internal from './internal/runtime/core/DebugSink.js'\nimport * as DevtoolsHub from './internal/runtime/core/DevtoolsHub.js'\nimport * as ConvergeStaticIrCollector from './internal/runtime/core/ConvergeStaticIrCollector.js'\nimport * as ModuleTraitsRegistry from './internal/debug/ModuleTraitsRegistry.js'\nimport type * as ModuleTraits from './internal/runtime/core/ModuleTraits.js'\nimport { getModuleTraitsProgram, getRuntimeInternals } from './internal/runtime/core/runtimeInternalsAccessor.js'\nimport { getNodeEnv } from './internal/runtime/core/env.js'\nimport type { EvidencePackage, EvidencePackageSource } from './Observability.js'\n\n// Public Debug API: a namespace-shaped facade for debugging capabilities used by apps and platforms.\n// The event model and core Layers live in internal/runtime/core/DebugSink.ts; this module provides ergonomic entry points.\n\nexport type Event = Internal.Event\nexport interface Sink extends Internal.Sink {}\nexport interface RuntimeDebugEventRef extends Internal.RuntimeDebugEventRef {}\nexport type DiagnosticsLevel = Internal.DiagnosticsLevel\nexport type TraitConvergeDiagnosticsSamplingConfig = Internal.TraitConvergeDiagnosticsSamplingConfig\nexport type SnapshotToken = DevtoolsHub.SnapshotToken\n\nexport const toRuntimeDebugEventRef = Internal.toRuntimeDebugEventRef\n\nexport const internal = {\n  currentDebugSinks: Internal.currentDebugSinks,\n  currentRuntimeLabel: Internal.currentRuntimeLabel,\n  currentDiagnosticsLevel: Internal.currentDiagnosticsLevel,\n  currentTraitConvergeDiagnosticsSampling: Internal.currentTraitConvergeDiagnosticsSampling,\n  toRuntimeDebugEventRef: Internal.toRuntimeDebugEventRef,\n}\n\nexport interface DevtoolsSnapshot extends DevtoolsHub.DevtoolsSnapshot {}\nexport interface DevtoolsHubOptions extends DevtoolsHub.DevtoolsHubOptions {\n  readonly diagnosticsLevel?: DiagnosticsLevel\n  readonly traitConvergeDiagnosticsSampling?: TraitConvergeDiagnosticsSamplingConfig\n}\n\nexport const getDevtoolsSnapshot = DevtoolsHub.getDevtoolsSnapshot\nexport const getDevtoolsSnapshotToken = DevtoolsHub.getDevtoolsSnapshotToken\nexport const subscribeDevtoolsSnapshot = DevtoolsHub.subscribeDevtoolsSnapshot\nexport const clearDevtoolsEvents = DevtoolsHub.clearDevtoolsEvents\nexport const getDevtoolsRunId = DevtoolsHub.getDevtoolsRunId\nexport const setDevtoolsRunId = DevtoolsHub.setDevtoolsRunId\nexport const startDevtoolsRun = DevtoolsHub.startDevtoolsRun\nexport const setInstanceLabel = DevtoolsHub.setInstanceLabel\nexport const getInstanceLabel = DevtoolsHub.getInstanceLabel\n\nexport const exportEvidencePackage = (options?: {\n  readonly runId?: string\n  readonly source?: EvidencePackageSource\n  readonly protocolVersion?: string\n}): EvidencePackage => DevtoolsHub.exportDevtoolsEvidencePackage(options)\n\n/**\n * Diagnostics level for exportable events.\n *\n * Controls what DevtoolsHub exports (ring buffer / snapshots), without changing Debug.record's fallback semantics.\n */\nexport const diagnosticsLevel = (level: DiagnosticsLevel): Layer.Layer<any, never, never> =>\n  Layer.fiberRefLocallyScopedWith(Internal.currentDiagnosticsLevel as any, () => level) as Layer.Layer<\n    any,\n    never,\n    never\n  >\n\nexport const traitConvergeDiagnosticsSampling = (\n  config: TraitConvergeDiagnosticsSamplingConfig,\n): Layer.Layer<any, never, never> => Internal.traitConvergeDiagnosticsSampling(config)\n\n/**\n * Whether Devtools is enabled.\n *\n * Used by React/Devtools UI to decide if extra instrumentation should be active; turned on by devtoolsHubLayer.\n */\nexport const isDevtoolsEnabled = DevtoolsHub.isDevtoolsEnabled\n\n/**\n * A lightweight counter of active module runtimes.\n *\n * Derived from module:init / module:destroy events; suitable as a DevTools / Playground data source.\n */\nexport interface ModuleRuntimeCounter {\n  readonly sink: Sink\n  readonly getSnapshot: () => ReadonlyMap<string, number>\n}\n\n/**\n * A simple in-memory ring buffer for Debug events.\n *\n * No filtering/grouping; consumers can post-process snapshots (by moduleId/type/etc.).\n */\nexport interface RingBufferSink {\n  readonly sink: Sink\n  readonly getSnapshot: () => ReadonlyArray<Event>\n  readonly clear: () => void\n}\n\n/**\n * Create a Debug sink that counts active instances per moduleId.\n *\n * Snapshots are exposed via getSnapshot(); bridging to UI (window/postMessage/etc.) is left to consumers.\n */\nexport const makeModuleRuntimeCounterSink = (): ModuleRuntimeCounter => {\n  const counts = new Map<string, number>()\n\n  const sink: Sink = {\n    record: (event: Event) =>\n      Effect.sync(() => {\n        if (event.type === 'module:init') {\n          const moduleId = event.moduleId ?? 'unknown'\n          const runtimeLabel = 'runtimeLabel' in event && event.runtimeLabel ? event.runtimeLabel : 'unknown'\n          const key = `${runtimeLabel}::${moduleId}`\n          const prev = counts.get(key) ?? 0\n          counts.set(key, prev + 1)\n          return\n        }\n        if (event.type === 'module:destroy') {\n          const moduleId = event.moduleId ?? 'unknown'\n          const runtimeLabel = 'runtimeLabel' in event && event.runtimeLabel ? event.runtimeLabel : 'unknown'\n          const key = `${runtimeLabel}::${moduleId}`\n          const prev = counts.get(key) ?? 0\n          const next = prev - 1\n          if (next <= 0) {\n            counts.delete(key)\n          } else {\n            counts.set(key, next)\n          }\n        }\n      }),\n  }\n\n  const getSnapshot = (): ReadonlyMap<string, number> => new Map(counts)\n\n  return { sink, getSnapshot }\n}\n\n/**\n * Create a ring-buffer Debug sink.\n *\n * Records the last N events in chronological order; a good foundation for event timelines.\n */\nexport const makeRingBufferSink = (capacity = 1000): RingBufferSink => {\n  const buffer: Event[] = []\n\n  const sink: Sink = {\n    record: (event: Event) =>\n      Effect.sync(() => {\n        if (capacity <= 0) {\n          return\n        }\n        if (buffer.length >= capacity) {\n          buffer.shift()\n        }\n        buffer.push(event)\n      }),\n  }\n\n  const getSnapshot = (): ReadonlyArray<Event> => buffer.slice()\n  const clear = (): void => {\n    buffer.length = 0\n  }\n\n  return { sink, getSnapshot, clear }\n}\n\n/**\n * Emit a Debug event to sinks attached to the current Fiber.\n *\n * If no sink is provided, the runtime chooses a safe fallback (browser console grouping; node preserves error-class events).\n */\nexport const record = Internal.record\n\n/**\n * A no-op Debug layer.\n *\n * Provides an empty sink set and drops all Debug events; useful for tests or explicitly disabling Debug.\n */\nexport const noopLayer = Internal.noopLayer as unknown as Layer.Layer<any, never, never>\n\n/**\n * Debug mode selector.\n *\n * - `auto`: infer dev/prod from NODE_ENV.\n * - `dev`: verbose diagnostics.\n * - `prod`: keep only high-value diagnostics/errors.\n * - `off`: disable sinks (benchmarks/special tests).\n */\nexport type DebugMode = 'auto' | 'dev' | 'prod' | 'off'\n\nexport interface DebugLayerOptions {\n  readonly mode?: DebugMode\n  /**\n   * In dev mode, choose what to print to the browser console:\n   * - default: diagnostic + lifecycle:error + trace:* (legacy behavior)\n   * - diagnostic: diagnostic(warn/error) + lifecycle:error only (recommended for app dev with Devtools)\n   */\n  readonly devConsole?: 'default' | 'diagnostic'\n  /**\n   * Diagnostics level for exportable debug event refs (used by DevtoolsHub and debug sinks that normalize events).\n   *\n   * Equivalent to composing `Debug.diagnosticsLevel(level)` with `Debug.layer(...)`.\n   */\n  readonly diagnosticsLevel?: DiagnosticsLevel\n  /**\n   * Reserved for future use: enable high-noise action/state logs in dev.\n   */\n  readonly verboseActions?: boolean\n  /**\n   * Reserved for future use: emit key events into metrics in prod.\n   */\n  readonly enableMetrics?: boolean\n}\n\nconst resolveMode = (mode: DebugMode | undefined): DebugMode => {\n  if (mode && mode !== 'auto') {\n    return mode\n  }\n\n  const env = getNodeEnv()\n  return env === 'production' ? 'prod' : 'dev'\n}\n\n/**\n * Public entry: compose a Debug layer based on the environment or an explicit mode.\n *\n * Default mode is `auto`: non-production → `dev`; production → `prod`.\n *\n * @example\n * ```ts\n * const runtime = Runtime.make(AppImpl, {\n *   layer: Layer.mergeAll(Debug.layer(), businessLayer),\n * })\n * ```\n */\nexport const layer = (options?: DebugLayerOptions): Layer.Layer<any, never, never> => {\n  const mode = resolveMode(options?.mode)\n  const diagnostics = options?.diagnosticsLevel\n\n  const sinks = (() => {\n    switch (mode) {\n      case 'off':\n        return Internal.noopLayer as unknown as Layer.Layer<any, never, never>\n      case 'prod':\n        // Production: keep only high-value diagnostics/errors to avoid noisy logs.\n        return Internal.errorOnlyLayer as unknown as Layer.Layer<any, never, never>\n      case 'dev':\n      case 'auto': {\n        // Dev: enable browser-friendly Debug sink output by default.\n        // Logger.pretty is intentionally opt-in by callers to avoid implicitly rewriting the logger.\n        return options?.devConsole === 'diagnostic'\n          ? (Internal.browserDiagnosticConsoleLayer as unknown as Layer.Layer<any, never, never>)\n          : (Internal.browserConsoleLayer as unknown as Layer.Layer<any, never, never>)\n      }\n    }\n  })()\n\n  return diagnostics\n    ? (Layer.mergeAll(sinks, diagnosticsLevel(diagnostics)) as Layer.Layer<any, never, never>)\n    : sinks\n}\n\n/**\n * PrettyLoggerOptions: parameters of Effect.Logger.prettyLogger.\n */\nexport type PrettyLoggerOptions = Parameters<typeof Logger.prettyLogger>[0]\n\n/**\n * Replace the default Effect logger with a pretty logger (as a Layer).\n *\n * Equivalent to `Logger.replace(Logger.defaultLogger, Logger.prettyLogger(options))`.\n */\nexport const withPrettyLogger = (\n  base: Layer.Layer<any, any, any>,\n  options?: PrettyLoggerOptions,\n): Layer.Layer<any, any, any> =>\n  Layer.merge(\n    base,\n    Logger.replace(Logger.defaultLogger, Logger.prettyLogger(options)) as unknown as Layer.Layer<any, any, any>,\n  )\n\n/**\n * Replace Debug sinks with the provided sink set.\n *\n * Advanced: use either `Debug.layer` or `Debug.replace` in a scope, not both.\n */\nexport const replace = (sinks: ReadonlyArray<Sink>): Layer.Layer<any, never, never> =>\n  Layer.locallyScoped(internal.currentDebugSinks, sinks as ReadonlyArray<Internal.Sink>) as Layer.Layer<\n    any,\n    never,\n    never\n  >\n\n/**\n * Append sinks to the current Fiber's sink set (without overriding existing sinks).\n */\nexport const appendSinks = (sinks: ReadonlyArray<Sink>): Layer.Layer<any, never, never> =>\n  Layer.fiberRefLocallyScopedWith(Internal.currentDebugSinks, (current) => [\n    ...current,\n    ...(sinks as ReadonlyArray<Internal.Sink>),\n  ]) as Layer.Layer<any, never, never>\n\n/**\n * Append the DevtoolsHub sink to aggregate Debug events into snapshots.\n *\n * Works by appending sinks; it does not override `Debug.layer` / `Debug.replace` / custom sinks.\n */\nexport function devtoolsHubLayer(options?: DevtoolsHubOptions): Layer.Layer<any, never, never>\nexport function devtoolsHubLayer(\n  base: Layer.Layer<any, any, any>,\n  options?: DevtoolsHubOptions,\n): Layer.Layer<any, never, any>\nexport function devtoolsHubLayer(\n  baseOrOptions?: Layer.Layer<any, any, any> | DevtoolsHubOptions,\n  maybeOptions?: DevtoolsHubOptions,\n): Layer.Layer<any, never, any> {\n  // In effect v3, Layer values are objects tagged with `_op_layer`.\n  const isLayerValue = (value: unknown): value is Layer.Layer<any, any, any> =>\n    typeof value === 'object' && value !== null && '_op_layer' in (value as Record<string, unknown>)\n\n  const hasBase = isLayerValue(baseOrOptions)\n  const base = hasBase\n    ? (baseOrOptions as Layer.Layer<any, any, any>)\n    : (Layer.empty as unknown as Layer.Layer<any, any, any>)\n  const options = hasBase ? maybeOptions : (baseOrOptions as DevtoolsHubOptions | undefined)\n\n  DevtoolsHub.configureDevtoolsHub(options)\n  const append = appendSinks([DevtoolsHub.devtoolsHubSink])\n  const appendConvergeStaticIr = ConvergeStaticIrCollector.appendConvergeStaticIrCollectors([\n    DevtoolsHub.devtoolsHubConvergeStaticIrCollector,\n  ])\n  const enableExportableDiagnostics = diagnosticsLevel(options?.diagnosticsLevel ?? 'light')\n  const convergeSamplingLayer = options?.traitConvergeDiagnosticsSampling\n    ? traitConvergeDiagnosticsSampling(options.traitConvergeDiagnosticsSampling)\n    : (Layer.empty as unknown as Layer.Layer<any, never, never>)\n\n  // FiberRef layers must build base sinks first, then append; provideMerge(append, base)\n  // builds base first and then applies append's FiberRefs patch, avoiding overrides.\n  return Layer.provideMerge(\n    Layer.mergeAll(append, enableExportableDiagnostics, convergeSamplingLayer, appendConvergeStaticIr) as Layer.Layer<\n      any,\n      never,\n      any\n    >,\n    base,\n  ) as Layer.Layer<any, never, any>\n}\n\n/**\n * Attach a logical runtime label to Debug events within the current Fiber scope.\n *\n * DevTools can group events by this label.\n */\nexport const runtimeLabel = (label: string): Layer.Layer<any, never, never> =>\n  Layer.fiberRefLocallyScopedWith(internal.currentRuntimeLabel as any, () => label) as Layer.Layer<any, never, never>\n\n/**\n * StateTrait debug view for Devtools/scripts.\n */\nexport interface ModuleTraitsDebug {\n  readonly program?: StateTraitProgram<any>\n  readonly graph?: StateTraitGraph\n  readonly plan?: StateTraitPlan\n}\n\n/**\n * A minimal enumerable trait item from the finalized snapshot (023).\n */\nexport interface ModuleTraitsFinalItem {\n  readonly traitId: string\n  readonly name: string\n  readonly description?: string\n  readonly provenance: ModuleTraits.TraitProvenance\n}\n\n/**\n * Read the StateTrait program (if any) from a module definition and return a debug view.\n */\nexport const getModuleTraits = (\n  module: ModuleTag<string, AnyModuleShape> | ModuleLike<string, AnyModuleShape, any>,\n): ModuleTraitsDebug => {\n  const moduleTag = (module as any).tag ? (module as any).tag : module\n\n  const program = getModuleTraitsProgram(moduleTag as any) as StateTraitProgram<any> | undefined\n\n  if (!program) {\n    return {}\n  }\n\n  return {\n    program,\n    graph: program.graph,\n    plan: program.plan,\n  }\n}\n\n/**\n * Get a module's StateTrait debug view by moduleId (registered at Module.make time).\n */\nexport const getModuleTraitsById = (moduleId: string): ModuleTraitsDebug | undefined => {\n  const program = ModuleTraitsRegistry.getModuleProgramById(moduleId)\n  if (!program) {\n    return undefined\n  }\n  return {\n    program,\n    graph: program.graph,\n    plan: program.plan,\n  }\n}\n\n/**\n * Read the finalized traits snapshot (023) from a ModuleRuntime; undefined if not finalized.\n */\nexport const getModuleTraitsSnapshot = (\n  runtime: ModuleRuntime<any, any>,\n): ModuleTraits.ModuleTraitsSnapshot | undefined => {\n  try {\n    const internals = getRuntimeInternals(runtime as any)\n    return internals.traits.getModuleTraitsSnapshot()\n  } catch {\n    return undefined\n  }\n}\n\n/**\n * Export a minimal, enumerable trait list from the finalized snapshot (023).\n *\n * Order is deterministic and matches the snapshot.\n */\nexport const getModuleFinalTraits = (runtime: ModuleRuntime<any, any>): ReadonlyArray<ModuleTraitsFinalItem> => {\n  const snapshot = getModuleTraitsSnapshot(runtime)\n  if (!snapshot) return []\n\n  return snapshot.traits.map((t) => ({\n    traitId: t.traitId,\n    name: t.name,\n    description: t.description,\n    provenance: snapshot.provenanceIndex[t.traitId]!,\n  }))\n}\n\n/**\n * Append a trace-only sink (handles `trace:*`) on top of the current Debug sinks.\n *\n * Default behavior logs trace events via logDebug; you can provide a handler to forward into ring buffers / bridges.\n *\n * @example\n * ```ts\n * const layer = Debug.traceLayer(\n *   Debug.layer({ mode: 'dev' }),\n *   (event) => Effect.logInfo({ traceEvent: event }),\n * )\n * ```\n */\nconst isLayer = (value: unknown): value is Layer.Layer<any, any, any> =>\n  typeof value === 'object' && value !== null && '_op_layer' in (value as Record<string, unknown>)\n\nexport function traceLayer(onTrace?: (event: Event) => Effect.Effect<void>): Layer.Layer<any, never, never>\nexport function traceLayer(\n  base: Layer.Layer<any, any, any>,\n  onTrace?: (event: Event) => Effect.Effect<void>,\n): Layer.Layer<any, never, any>\nexport function traceLayer(\n  baseOrHandler?: Layer.Layer<any, any, any> | ((event: Event) => Effect.Effect<void>),\n  maybeOnTrace?: (event: Event) => Effect.Effect<void>,\n): Layer.Layer<any, never, any> {\n  const hasBase = isLayer(baseOrHandler)\n  const base = hasBase\n    ? (baseOrHandler as Layer.Layer<any, any, any>)\n    : (Layer.empty as unknown as Layer.Layer<any, any, any>)\n  const onTrace = hasBase ? maybeOnTrace : (baseOrHandler as ((event: Event) => Effect.Effect<void>) | undefined)\n\n  const traceSink: Sink = {\n    record: (event: Event) =>\n      typeof event.type === 'string' && event.type.startsWith('trace:')\n        ? onTrace\n          ? onTrace(event)\n          : Effect.logDebug({ traceEvent: event })\n        : Effect.void,\n  }\n\n  // Append the trace sink via FiberRef: extend the current Fiber's sink set.\n  // Do not depend on DebugHub/Tag; use FiberRef.currentDebugSinks as the single source of truth.\n  const appendTrace = Layer.fiberRefLocallyScopedWith(Internal.currentDebugSinks, (sinks) => [...sinks, traceSink])\n\n  // Same as devtoolsHubLayer: build base first, then appendTrace updates FiberRef sinks.\n  return Layer.provideMerge(appendTrace, base as Layer.Layer<any, any, any>) as Layer.Layer<any, never, any>\n}\n","import { Cause, Effect, FiberRef, Layer, Logger } from 'effect'\nimport {\n  projectJsonValue,\n  type DowngradeReason as JsonDowngradeReason,\n  type JsonValue,\n  type JsonValueProjectionStats,\n} from '../../observability/jsonValue.js'\nimport type * as ReplayLog from './ReplayLog.js'\nimport {\n  toSerializableErrorSummary,\n  type DowngradeReason as ErrorDowngradeReason,\n  type SerializableErrorSummary,\n} from './errorSummary.js'\nimport * as EffectOpCore from './EffectOpCore.js'\nimport type * as ProcessProtocol from './process/protocol.js'\nimport type { ConvergeStaticIrExport } from '../../state-trait/converge-ir.js'\n\nexport interface TriggerRef {\n  readonly kind: string\n  readonly name?: string\n  readonly details?: unknown\n}\n\ntype TraceEventType = `trace:${string}`\ntype GenericTraceEventType = Exclude<\n  TraceEventType,\n  'trace:trait:converge' | 'trace:trait:check' | 'trace:trait:validate'\n>\n\n/**\n * ReplayEventRef：\n * - Replay event structure referenced from Debug events.\n * - Based on ReplayLog.Event, enriched with txn/trigger association fields for Devtools aggregation and explanation.\n */\nexport type ReplayEventRef = ReplayLog.ReplayLogEvent & {\n  readonly txnId?: string\n  readonly trigger?: TriggerRef\n}\n\nexport type Event =\n  | {\n      readonly type: 'module:init'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'module:destroy'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'lifecycle:phase'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly phase: 'init' | 'run' | 'destroy' | 'platform'\n      readonly name: string\n      readonly payload?: unknown\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'action:dispatch'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly action: unknown\n      readonly actionTag?: string\n      readonly unknownAction?: boolean\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'state:update'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly state: unknown\n      readonly txnSeq?: number\n      readonly txnId?: string\n      /**\n       * Optional: Static IR digest aligned with FieldPathId/StepId (for consumer-side reverse-mapping & alignment).\n       * - When missing or mismatched, consumers must not attempt to reverse-map rootIds -> rootPaths (avoid wrong UI).\n       * - Allowed to be omitted on near-zero-cost diagnostics=off paths.\n       */\n      readonly staticIrDigest?: string\n      /**\n       * Optional: the affected scope aggregated by this commit (field-level dirty-set).\n       * - Populated by Runtime at commit time;\n       * - Must stay slim and serializable;\n       * - Devtools can use it to explain \"why converge/validate ran / why it degraded to full\".\n       */\n      readonly dirtySet?: unknown\n      /**\n       * Optional: patch count aggregated by this commit (from StateTransaction).\n       * - Populated by Runtime only on transaction paths.\n       * - Devtools can use it as a lightweight transaction summary metric.\n       */\n      readonly patchCount?: number\n      /**\n       * Optional: whether patch records were truncated (bounded) under full instrumentation.\n       */\n      readonly patchesTruncated?: boolean\n      /**\n       * Optional: truncation reason code (stable enum).\n       */\n      readonly patchesTruncatedReason?: 'max_patches'\n      /**\n       * Optional: commit mode (normal/batched/low-priority, etc).\n       * - Populated by Runtime;\n       * - Default is chosen by the caller (typically \"normal\").\n       */\n      readonly commitMode?: string\n      /**\n       * Optional: external visibility priority (normal/low).\n       * - Populated by Runtime.\n       * - Mainly used by React external subscription scheduling (avoid unnecessary renders).\n       */\n      readonly priority?: string\n      /**\n       * Optional: transaction origin kind (origin.kind) that triggered this state commit:\n       * - e.g. \"action\" / \"source-refresh\" / \"service-callback\" / \"devtools\".\n       * - Populated by Runtime only on StateTransaction-based paths.\n       * - Devtools can distinguish app transactions vs devtools time-travel operations.\n       */\n      readonly originKind?: string\n      /**\n       * Optional: transaction origin name (origin.name) that triggered this state commit:\n       * - e.g. action dispatch / fieldPath / task:success/task:failure, etc.\n       * - Populated by Runtime only on StateTransaction-based paths.\n       */\n      readonly originName?: string\n      /**\n       * Reserved: Trait converge summary (for Devtools window-level stats / TopN costs / degrade reasons, etc.).\n       * - Phase 2: field slot only; structure is not fixed.\n       * - Later phases will align with the Trait/Replay event model into an explainable structure.\n       */\n      readonly traitSummary?: unknown\n      /**\n       * Reserved: replay event associated with this transaction (re-emit source of truth from ReplayLog).\n       * - Phase 2: field slot only.\n       * - Later phases will align with ReplayLog.Event structure.\n       */\n      readonly replayEvent?: ReplayEventRef\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type:\n        | 'process:start'\n        | 'process:stop'\n        | 'process:restart'\n        | 'process:trigger'\n        | 'process:dispatch'\n        | 'process:error'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly identity: ProcessProtocol.ProcessInstanceIdentity\n      readonly severity: 'info' | 'warning' | 'error'\n      readonly eventSeq: number\n      readonly timestampMs: number\n      readonly trigger?: ProcessProtocol.ProcessTrigger\n      readonly dispatch?: {\n        readonly moduleId: string\n        readonly instanceId: string\n        readonly actionId: string\n      }\n      readonly error?: ProcessProtocol.SerializableErrorSummary\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'lifecycle:error'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly cause: unknown\n      readonly phase?: 'init' | 'run' | 'destroy' | 'platform'\n      readonly hook?: 'initRequired' | 'start' | 'destroy' | 'suspend' | 'resume' | 'reset' | 'unknown'\n      readonly taskId?: string\n      readonly opSeq?: number\n      readonly origin?: string\n      readonly txnSeq?: number\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'diagnostic'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly code: string\n      readonly severity: 'error' | 'warning' | 'info'\n      readonly message: string\n      readonly hint?: string\n      readonly actionTag?: string\n      readonly kind?: string\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly trigger?: TriggerRef\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  /**\n   * trace:* events:\n   * - Extension hook for runtime tracing / Playground / Alignment Lab.\n   * - Only the type prefix and moduleId are standardized; payload shape is defined by higher layers (e.g. spanId/attributes in data).\n   */\n  | {\n      readonly type: 'trace:trait:converge'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly data: JsonValue\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'trace:trait:check'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly data: JsonValue\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'trace:trait:validate'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly data: JsonValue\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: GenericTraceEventType\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly data?: unknown\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n\nexport interface Sink {\n  readonly record: (event: Event) => Effect.Effect<void>\n}\nexport const currentDebugSinks = FiberRef.unsafeMake<ReadonlyArray<Sink>>([])\nexport const currentRuntimeLabel = FiberRef.unsafeMake<string | undefined>(undefined)\nexport const currentTxnId = FiberRef.unsafeMake<string | undefined>(undefined)\nexport const currentOpSeq = FiberRef.unsafeMake<number | undefined>(undefined)\nexport type DiagnosticsLevel = 'off' | 'light' | 'sampled' | 'full'\nexport const currentDiagnosticsLevel = FiberRef.unsafeMake<DiagnosticsLevel>('off')\n\nexport const diagnosticsLevel = (level: DiagnosticsLevel): Layer.Layer<any, never, never> =>\n  Layer.fiberRefLocallyScopedWith(currentDiagnosticsLevel as any, () => level) as Layer.Layer<any, never, never>\n\nexport interface TraitConvergeDiagnosticsSamplingConfig {\n  /**\n   * Sample once every N txns (deterministic, based on stable txnSeq).\n   * - 1: sample every txn (timing granularity similar to full, while keeping payload slim)\n   */\n  readonly sampleEveryN: number\n  /**\n   * Max number of TopK hotspots to output (recommended ≤ 3).\n   */\n  readonly topK: number\n}\n\nexport const currentTraitConvergeDiagnosticsSampling = FiberRef.unsafeMake<TraitConvergeDiagnosticsSamplingConfig>({\n  sampleEveryN: 32,\n  topK: 3,\n})\n\nexport const traitConvergeDiagnosticsSampling = (\n  config: TraitConvergeDiagnosticsSamplingConfig,\n): Layer.Layer<any, never, never> =>\n  Layer.fiberRefLocallyScopedWith(currentTraitConvergeDiagnosticsSampling as any, () => config) as Layer.Layer<\n    any,\n    never,\n    never\n  >\n\nexport const appendSinks = (sinks: ReadonlyArray<Sink>): Layer.Layer<any, never, never> =>\n  Layer.fiberRefLocallyScopedWith(currentDebugSinks, (current) => [...current, ...sinks]) as Layer.Layer<\n    any,\n    never,\n    never\n  >\n\nexport type RuntimeDebugEventKind =\n  | 'action'\n  | 'state'\n  | 'service'\n  | 'process'\n  | 'trait-computed'\n  | 'trait-link'\n  | 'trait-source'\n  | 'lifecycle'\n  | 'react-render'\n  | 'devtools'\n  | 'diagnostic'\n  | (string & {})\n\nexport interface RuntimeDebugEventRef {\n  readonly eventId: string\n  readonly eventSeq: number\n  readonly moduleId: string\n  readonly instanceId: string\n  readonly runtimeLabel?: string\n  readonly txnSeq: number\n  readonly txnId?: string\n  /**\n   * linkId：\n   * - Current operation chain id (shared by boundary ops in the same chain).\n   * - Created by Runtime at the boundary root and propagated via FiberRef across nested/cross-module chains.\n   */\n  readonly linkId?: string\n  readonly timestamp: number\n  readonly kind: RuntimeDebugEventKind\n  readonly label: string\n  readonly meta?: JsonValue\n  readonly errorSummary?: SerializableErrorSummary\n  readonly downgrade?: {\n    readonly reason?: 'non_serializable' | 'oversized' | 'unknown'\n  }\n}\n\nexport type TxnLaneEvidenceReason =\n  | 'disabled'\n  | 'forced_off'\n  | 'forced_sync'\n  | 'queued_non_urgent'\n  | 'preempted_by_urgent'\n  | 'budget_yield'\n  | 'coalesced'\n  | 'canceled'\n  | 'max_lag_forced'\n  | 'starvation_protection'\n\nexport type TxnLaneNonUrgentYieldReason = 'none' | 'input_pending' | 'budget_exceeded' | 'forced_frame_yield'\n\nexport type TxnLaneEvidence = {\n  readonly anchor: {\n    readonly moduleId: string\n    readonly instanceId: string\n    readonly txnSeq: number\n    readonly opSeq?: number\n  }\n  readonly lane: 'urgent' | 'nonUrgent'\n  readonly kind: string\n  readonly policy: {\n    readonly enabled: boolean\n    readonly overrideMode?: 'forced_off' | 'forced_sync'\n    readonly configScope: 'provider' | 'runtime_module' | 'runtime_default' | 'builtin'\n    readonly budgetMs: number\n    readonly debounceMs: number\n    readonly maxLagMs: number\n    readonly allowCoalesce: boolean\n    readonly yieldStrategy?: 'baseline' | 'inputPending'\n    readonly queueMode?: 'fifo' | 'lanes'\n  }\n  readonly backlog: {\n    readonly pendingCount: number\n    readonly ageMs?: number\n    readonly coalescedCount?: number\n    readonly canceledCount?: number\n  }\n  readonly budget?: {\n    readonly budgetMs?: number\n    readonly sliceDurationMs?: number\n    readonly yieldCount?: number\n    readonly yielded?: boolean\n    readonly yieldReason?: TxnLaneNonUrgentYieldReason\n  }\n  readonly starvation?: {\n    readonly triggered?: boolean\n    readonly reason?: string\n  }\n  readonly reasons: ReadonlyArray<TxnLaneEvidenceReason>\n}\n\nlet nextGlobalEventSeq = 0\n\nexport const clearRuntimeDebugEventSeq = (): void => {\n  nextGlobalEventSeq = 0\n}\n\nconst nextEventSeq = (): number => {\n  nextGlobalEventSeq += 1\n  return nextGlobalEventSeq\n}\n\nconst makeEventId = (instanceId: string, eventSeq: number): string => `${instanceId}::e${eventSeq}`\n\ntype DowngradeReason = JsonDowngradeReason | ErrorDowngradeReason\n\nconst mergeDowngrade = (\n  current: DowngradeReason | undefined,\n  next: DowngradeReason | undefined,\n): DowngradeReason | undefined => {\n  if (!current) return next\n  if (!next) return current\n  if (current === 'non_serializable' || next === 'non_serializable') return 'non_serializable'\n  if (current === 'oversized' || next === 'oversized') return 'oversized'\n  return 'unknown'\n}\n\n// In browsers, to reduce duplicated noise caused by React StrictMode, etc.,\n// de-duplicate lifecycle:error and diagnostic events: print the same moduleId+payload only once.\nconst browserLifecycleSeen = new Set<string>()\nconst browserDiagnosticSeen = new Set<string>()\n\n// Align trace:react-render events with the most recent state:update txn (UI-only association).\nconst lastTxnByInstance = new Map<string, { readonly txnId: string; readonly txnSeq: number }>()\n\n// trace:react-render / trace:react-selector may enter the sink before state:update (reordering due to concurrency/scheduling).\n// To provide usable txn anchors in Devtools/UI, we allow a one-time backfill for refs missing txn fields.\nconst pendingTxnAlignmentByInstance = new Map<string, Array<RuntimeDebugEventRef>>()\n\nconst enqueuePendingTxnAlignment = (instanceId: string, ref: RuntimeDebugEventRef): void => {\n  const list = pendingTxnAlignmentByInstance.get(instanceId)\n  if (!list) {\n    pendingTxnAlignmentByInstance.set(instanceId, [ref])\n    return\n  }\n  list.push(ref)\n  if (list.length > 64) {\n    list.shift()\n  }\n}\n\nconst backfillPendingTxnAlignment = (\n  instanceId: string,\n  txn: { readonly txnId: string; readonly txnSeq: number },\n): void => {\n  const pending = pendingTxnAlignmentByInstance.get(instanceId)\n  if (!pending || pending.length === 0) {\n    pendingTxnAlignmentByInstance.delete(instanceId)\n    return\n  }\n\n  for (const ref of pending) {\n    const anyRef: any = ref as any\n    if (anyRef.txnId == null) {\n      anyRef.txnId = txn.txnId\n    }\n    if (typeof anyRef.txnSeq !== 'number' || anyRef.txnSeq <= 0) {\n      anyRef.txnSeq = txn.txnSeq\n    }\n  }\n\n  pendingTxnAlignmentByInstance.delete(instanceId)\n}\n\nconst lifecycleErrorLog = (event: Extract<Event, { readonly type: 'lifecycle:error' }>) => {\n  const moduleId = event.moduleId ?? 'unknown'\n  const causePretty = (() => {\n    try {\n      return Cause.pretty(event.cause as Cause.Cause<unknown>, {\n        renderErrorCause: true,\n      })\n    } catch {\n      try {\n        return JSON.stringify(event.cause, null, 2)\n      } catch {\n        return String(event.cause)\n      }\n    }\n  })()\n\n  const message = `[Logix][module=${moduleId}] lifecycle:error\\n${causePretty}`\n\n  return Effect.logError(message).pipe(\n    Effect.annotateLogs({\n      'logix.moduleId': moduleId,\n      'logix.event': 'lifecycle:error',\n      'logix.cause': causePretty,\n    }),\n  )\n}\n\nconst diagnosticLog = (event: Extract<Event, { readonly type: 'diagnostic' }>) => {\n  const moduleId = event.moduleId ?? 'unknown'\n  const header = `[Logix][module=${moduleId}] diagnostic(${event.severity})`\n  const detail = `code=${event.code} message=${event.message}${\n    event.actionTag ? ` action=${event.actionTag}` : ''\n  }${event.hint ? `\\nhint: ${event.hint}` : ''}`\n  const msg = `${header}\\n${detail}`\n\n  const base =\n    event.severity === 'warning'\n      ? Effect.logWarning(msg)\n      : event.severity === 'info'\n        ? Effect.logInfo(msg)\n        : Effect.logError(msg)\n\n  const annotations: Record<string, unknown> = {\n    'logix.moduleId': moduleId,\n    'logix.event': `diagnostic(${event.severity})`,\n    'logix.diagnostic.code': event.code,\n    'logix.diagnostic.message': event.message,\n  }\n  if (event.hint) {\n    annotations['logix.diagnostic.hint'] = event.hint\n  }\n  if (event.actionTag) {\n    annotations['logix.diagnostic.actionTag'] = event.actionTag\n  }\n\n  return base.pipe(Effect.annotateLogs(annotations))\n}\n\n/**\n * Default Layer composition based on FiberRef.currentDebugSinks:\n * - Uses Layer.locallyScoped to inject Debug sinks via FiberRef state.\n * - Avoids misusing FiberRef as a Context.Tag.\n */\nexport const noopLayer = Layer.locallyScoped(currentDebugSinks, [])\n\n/**\n * errorOnlyLayer：\n * - Default DebugSink implementation that only cares about lifecycle:error events.\n * - Suitable as a \"minimum observability\" layer so fatal errors don't silently disappear.\n * - Other events (module:init/destroy, action:dispatch, state:update) are not recorded by default.\n */\nconst errorOnlySink: Sink = {\n  record: (event: Event) =>\n    event.type === 'lifecycle:error'\n      ? lifecycleErrorLog(event)\n      : event.type === 'diagnostic' && event.severity !== 'info'\n        ? diagnosticLog(event)\n        : Effect.void,\n}\n\nexport const errorOnlyLayer = Layer.locallyScoped(currentDebugSinks, [errorOnlySink])\n\nexport const isErrorOnlyOnlySinks = (sinks: ReadonlyArray<Sink>): boolean => sinks.length === 1 && sinks[0] === errorOnlySink\n\n/**\n * consoleLayer：\n * - Full debug layer that logs all Debug events via Effect logs (logfmt / structured).\n * - Suitable as an observability layer for general environments (Node / tests).\n */\nconst consoleSink: Sink = {\n  record: (event: Event) =>\n    event.type === 'lifecycle:error'\n      ? lifecycleErrorLog(event)\n      : event.type === 'diagnostic'\n        ? diagnosticLog(event)\n        : Effect.logDebug({ debugEvent: event }),\n}\n\nexport const consoleLayer = Layer.locallyScoped(currentDebugSinks, [consoleSink])\n\nconst isBrowser = typeof window !== 'undefined' && typeof document !== 'undefined'\n\n// Shared browser console rendering logic used by the default DebugSink and browserConsoleLayer.\nconst renderBrowserConsoleEvent = (event: Event): Effect.Effect<void> => {\n  // trace:* events: shown as separate groups in browsers for Playground / DevTools observation.\n  if (typeof (event as any).type === 'string' && (event as any).type.startsWith('trace:')) {\n    const moduleId = (event as any).moduleId ?? 'unknown'\n    const type = (event as any).type\n\n    return Effect.sync(() => {\n      // eslint-disable-next-line no-console\n      console.groupCollapsed(\n        '%c[Logix]%c trace %c' + moduleId + '%c ' + String(type),\n        'color:#6b7280;font-weight:bold', // tag\n        'color:#3b82f6', // label\n        'color:#9ca3af', // module id\n        'color:#6b7280', // type\n      )\n      // eslint-disable-next-line no-console\n      console.log(event)\n      // eslint-disable-next-line no-console\n      console.groupEnd()\n    })\n  }\n\n  if (event.type === 'lifecycle:error') {\n    const moduleId = event.moduleId ?? 'unknown'\n    const causePretty = (() => {\n      try {\n        return Cause.pretty(event.cause as Cause.Cause<unknown>, { renderErrorCause: true })\n      } catch {\n        try {\n          return JSON.stringify(event.cause, null, 2)\n        } catch {\n          return String(event.cause)\n        }\n      }\n    })()\n\n    const key = `${moduleId}|${causePretty}`\n    if (browserLifecycleSeen.has(key)) {\n      return Effect.void\n    }\n    browserLifecycleSeen.add(key)\n\n    return Effect.sync(() => {\n      // eslint-disable-next-line no-console\n      console.groupCollapsed(\n        '%c[Logix]%c lifecycle:error %c' + moduleId,\n        'color:#ef4444;font-weight:bold', // tag\n        'color:#ef4444', // label\n        'color:#9ca3af', // module id\n      )\n      // eslint-disable-next-line no-console\n      console.error(causePretty)\n      // eslint-disable-next-line no-console\n      console.groupEnd()\n    })\n  }\n\n  if (event.type === 'diagnostic') {\n    const moduleId = event.moduleId ?? 'unknown'\n    const detail = `code=${event.code} message=${event.message}${\n      event.actionTag ? ` action=${event.actionTag}` : ''\n    }${event.hint ? `\\nhint: ${event.hint}` : ''}`\n\n    const color =\n      event.severity === 'warning' ? 'color:#d97706' : event.severity === 'info' ? 'color:#3b82f6' : 'color:#ef4444'\n\n    const label =\n      event.severity === 'warning'\n        ? 'diagnostic(warning)'\n        : event.severity === 'info'\n          ? 'diagnostic(info)'\n          : 'diagnostic(error)'\n\n    const key = `${moduleId}|${event.code}|${event.message}`\n    if (browserDiagnosticSeen.has(key)) {\n      return Effect.void\n    }\n    browserDiagnosticSeen.add(key)\n\n    return Effect.sync(() => {\n      // eslint-disable-next-line no-console\n      console.groupCollapsed(\n        '%c[Logix]%c ' + label + '%c module=' + moduleId,\n        'color:#6b7280;font-weight:bold',\n        color,\n        'color:#9ca3af',\n      )\n      if (event.severity === 'warning') {\n        // eslint-disable-next-line no-console\n        console.warn(detail)\n      } else if (event.severity === 'info') {\n        // eslint-disable-next-line no-console\n        console.info(detail)\n      } else {\n        // eslint-disable-next-line no-console\n        console.error(detail)\n      }\n      // eslint-disable-next-line no-console\n      console.groupEnd()\n    })\n  }\n\n  // Other events are not printed to the browser console by default to avoid being too noisy during development.\n  // For internal debug events, use a custom Debug sink or use consoleLayer in Node.\n  return Effect.void\n}\n\n/**\n * Browser console debug layer:\n * - In browsers, uses console.groupCollapsed + colored labels to simulate pretty logger grouping.\n * - In non-browser environments, falls back to consoleLayer's Effect logging implementation.\n */\nconst browserConsoleSink: Sink = {\n  record: (event: Event) => {\n    if (!isBrowser) {\n      // Non-browser: fall back to consoleLayer behavior (Effect.log*).\n      return event.type === 'lifecycle:error'\n        ? lifecycleErrorLog(event)\n        : event.type === 'diagnostic'\n          ? diagnosticLog(event)\n          : Effect.logDebug({ debugEvent: event })\n    }\n\n    return renderBrowserConsoleEvent(event)\n  },\n}\n\nexport const browserConsoleLayer = Layer.locallyScoped(currentDebugSinks, [browserConsoleSink])\n\n/**\n * Browser diagnostic-only debug layer:\n * - In browsers, prints only lifecycle:error + diagnostic(warning/error) via console.groupCollapsed.\n * - Drops trace:* and other high-frequency events from the browser console (use DevtoolsHub instead).\n * - In non-browser environments, behaves like errorOnlySink (Effect.log*).\n */\nconst browserDiagnosticConsoleSink: Sink = {\n  record: (event: Event) => {\n    if (!isBrowser) {\n      return event.type === 'lifecycle:error'\n        ? lifecycleErrorLog(event)\n        : event.type === 'diagnostic' && event.severity !== 'info'\n          ? diagnosticLog(event)\n          : Effect.void\n    }\n\n    return event.type === 'lifecycle:error' || (event.type === 'diagnostic' && event.severity !== 'info')\n      ? renderBrowserConsoleEvent(event)\n      : Effect.void\n  },\n}\n\nexport const browserDiagnosticConsoleLayer = Layer.locallyScoped(currentDebugSinks, [browserDiagnosticConsoleSink])\n\n/**\n * Browser-friendly Logger layer: replaces the default logger with Effect's pretty logger (browser mode).\n * - Avoids hand-written console styles; reuses Effect's colored/grouped formatting.\n * - Safely degrades to the default logger in server environments.\n */\nexport const browserPrettyLoggerLayer = Logger.replace(\n  Logger.defaultLogger,\n  Logger.prettyLogger({ mode: 'browser', colors: true }),\n)\n\n/**\n * defaultLayer：\n * - Public default layer; currently equivalent to errorOnlyLayer.\n * - Records lifecycle:error only, avoiding a large volume of action/state logs by default.\n */\nexport const defaultLayer = errorOnlyLayer\n\nexport const record = (event: Event) =>\n  Effect.gen(function* () {\n    const sinks = yield* FiberRef.get(currentDebugSinks)\n\n    // Fast path: production default installs errorOnlyLayer (sinks=1).\n    // Avoid paying diagnostics FiberRef + enrichment costs for high-frequency events that are always dropped by errorOnly.\n    if (isErrorOnlyOnlySinks(sinks)) {\n      if (event.type === 'lifecycle:error') {\n        yield* lifecycleErrorLog(event)\n        return\n      }\n      if (event.type === 'diagnostic') {\n        if (event.severity !== 'info') {\n          yield* diagnosticLog(event)\n        } else {\n          yield* Effect.void\n        }\n        return\n      }\n      yield* Effect.void\n      return\n    }\n\n    // Fast path: when no sinks are installed, only a small subset of events are ever surfaced.\n    // Avoid paying per-event FiberRef + enrichment costs for high-frequency events like state:update.\n    if (sinks.length === 0) {\n      if (isBrowser) {\n        if (event.type === 'lifecycle:error' || event.type === 'diagnostic') {\n          yield* renderBrowserConsoleEvent(event)\n          return\n        }\n        yield* Effect.void\n        return\n      }\n\n      if (event.type === 'lifecycle:error') {\n        yield* lifecycleErrorLog(event)\n        return\n      }\n      if (event.type === 'diagnostic') {\n        yield* diagnosticLog(event)\n        return\n      }\n      yield* Effect.void\n      return\n    }\n\n    const enriched = event as Event\n\n    const diagnosticsLevel = yield* FiberRef.get(currentDiagnosticsLevel)\n\n    // Enrich Debug.Event with basic fields (enabled only when diagnosticsLevel!=off):\n    // - timestamp: for Devtools/Timeline/Overview time aggregation; avoids UI-side \"first observed time\" distortion.\n    // - runtimeLabel: from FiberRef for grouping by runtime (injected only when not already provided by the event).\n    let now: number | undefined\n    const getNow = (): number => {\n      if (now === undefined) now = Date.now()\n      return now\n    }\n\n    // diagnostics=off: keep near-zero cost; do not add timestamp for high-frequency events (avoid extra Date.now()).\n    // Low-frequency events (lifecycle:error/diagnostic) may still get timestamp for easier debugging.\n    if (\n      enriched.timestamp === undefined &&\n      (diagnosticsLevel !== 'off' || enriched.type === 'lifecycle:error' || enriched.type === 'diagnostic')\n    ) {\n      ;(enriched as any).timestamp = getNow()\n    }\n    if (diagnosticsLevel !== 'off' && enriched.runtimeLabel === undefined) {\n      const runtimeLabel = yield* FiberRef.get(currentRuntimeLabel)\n      if (runtimeLabel) {\n        ;(enriched as any).runtimeLabel = runtimeLabel\n      }\n    }\n\n    if (enriched.type === 'diagnostic' && (enriched as any).txnId === undefined) {\n      const txnId = yield* FiberRef.get(currentTxnId)\n      if (txnId) {\n        ;(enriched as any).txnId = txnId\n      }\n    }\n    // linkId is meaningful only for EffectOp events: avoid extra FiberRef reads on high-frequency events (state:update, etc.).\n    if (\n      diagnosticsLevel !== 'off' &&\n      (enriched as any).type === 'trace:effectop' &&\n      (enriched as any).linkId === undefined\n    ) {\n      const linkId = yield* FiberRef.get(EffectOpCore.currentLinkId)\n      if (linkId) {\n        ;(enriched as any).linkId = linkId\n      }\n    }\n\n    if (sinks.length === 1) {\n      yield* sinks[0]!.record(enriched)\n      return\n    }\n\n    yield* Effect.forEach(sinks, (sink) => sink.record(enriched), { discard: true })\n  })\n\n/**\n * Normalizes internal Debug.Event into RuntimeDebugEventRef:\n * - Allows Devtools / Runtime to consume Debug events uniformly.\n * - Does not change DebugSink behavior; provides a structured view only.\n */\nexport const toRuntimeDebugEventRef = (\n  event: Event,\n  options?: {\n    readonly diagnosticsLevel?: DiagnosticsLevel\n    readonly eventSeq?: number\n    readonly resolveConvergeStaticIr?: (staticIrDigest: string) => ConvergeStaticIrExport | undefined\n    readonly onMetaProjection?: (projection: {\n      readonly stats: JsonValueProjectionStats\n      readonly downgrade?: JsonDowngradeReason\n    }) => void\n  },\n): RuntimeDebugEventRef | undefined => {\n  const diagnosticsLevel = options?.diagnosticsLevel ?? 'full'\n  if (diagnosticsLevel === 'off') {\n    return undefined\n  }\n\n  const isLightLike = diagnosticsLevel === 'light' || diagnosticsLevel === 'sampled'\n\n  const timestamp =\n    typeof event.timestamp === 'number' && Number.isFinite(event.timestamp) ? event.timestamp : Date.now()\n\n  const moduleIdRaw = (event as any).moduleId\n  const moduleId = typeof moduleIdRaw === 'string' && moduleIdRaw.length > 0 ? moduleIdRaw : 'unknown'\n\n  const instanceIdRaw = (event as any).instanceId\n  const instanceId = typeof instanceIdRaw === 'string' && instanceIdRaw.length > 0 ? instanceIdRaw : 'unknown'\n\n  const runtimeLabelRaw = (event as any).runtimeLabel\n  const runtimeLabel = typeof runtimeLabelRaw === 'string' && runtimeLabelRaw.length > 0 ? runtimeLabelRaw : undefined\n\n  const txnSeqRaw = (event as any).txnSeq\n  const txnSeq =\n    typeof txnSeqRaw === 'number' && Number.isFinite(txnSeqRaw) && txnSeqRaw >= 0 ? Math.floor(txnSeqRaw) : 0\n\n  const txnIdRaw = (event as any).txnId\n  const txnId =\n    typeof txnIdRaw === 'string' && txnIdRaw.length > 0\n      ? txnIdRaw\n      : txnSeq > 0\n        ? `${instanceId}::t${txnSeq}`\n        : undefined\n\n  const linkId = (() => {\n    const linkIdRaw = (event as any).linkId\n    if (typeof linkIdRaw === 'string' && linkIdRaw.length > 0) return linkIdRaw\n\n    // trace:*: allow fallback extraction from data.meta.linkId (avoid UI diving into deep meta).\n    if (typeof (event as any).type !== 'string' || !(event as any).type.startsWith('trace:')) {\n      return undefined\n    }\n\n    const data: any = (event as any).data\n    const meta: any = data?.meta\n    const linkIdFromMeta = meta?.linkId\n    if (typeof linkIdFromMeta === 'string' && linkIdFromMeta.length > 0) return linkIdFromMeta\n\n    return undefined\n  })()\n\n  const eventSeqRaw = options?.eventSeq\n  const eventSeq =\n    typeof eventSeqRaw === 'number' && Number.isFinite(eventSeqRaw) && eventSeqRaw > 0\n      ? Math.floor(eventSeqRaw)\n      : nextEventSeq()\n  const eventId = makeEventId(instanceId, eventSeq)\n\n  const base = {\n    eventId,\n    eventSeq,\n    moduleId,\n    instanceId,\n    runtimeLabel,\n    txnSeq,\n    txnId,\n    linkId,\n    timestamp,\n  } as const\n\n  let downgrade: DowngradeReason | undefined\n\n  const withDowngrade = (ref: Omit<RuntimeDebugEventRef, 'downgrade'>): RuntimeDebugEventRef => {\n    if (!downgrade) return ref\n    return { ...ref, downgrade: { reason: downgrade } }\n  }\n\n  switch (event.type) {\n    case 'module:init':\n      return withDowngrade({\n        ...base,\n        kind: 'lifecycle',\n        label: 'module:init',\n      })\n    case 'module:destroy':\n      return withDowngrade({\n        ...base,\n        kind: 'lifecycle',\n        label: 'module:destroy',\n      })\n    case 'lifecycle:phase': {\n      const e = event as Extract<Event, { readonly type: 'lifecycle:phase' }>\n      const metaInput = isLightLike\n        ? { type: 'lifecycle:phase', phase: e.phase, name: e.name }\n        : { type: 'lifecycle:phase', phase: e.phase, name: e.name, payload: e.payload }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      return withDowngrade({\n        ...base,\n        kind: 'lifecycle',\n        label: e.name,\n        meta: metaProjection.value,\n      })\n    }\n    case 'action:dispatch': {\n      const action: any = (event as any).action\n      const actionTagRaw = (event as any).actionTag\n      const tag = typeof actionTagRaw === 'string' && actionTagRaw.length > 0 ? actionTagRaw : (action?._tag ?? action?.type)\n      const label = String(tag ?? 'action:dispatch')\n      const labelNormalized = label.length > 0 ? label : 'unknown'\n      const unknownAction = (event as any).unknownAction === true ? true : undefined\n      const metaInput = isLightLike\n        ? { actionTag: labelNormalized, ...(unknownAction ? { unknownAction: true } : {}) }\n        : { action, ...(unknownAction ? { unknownAction: true } : {}) }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      if (unknownAction) {\n        downgrade = mergeDowngrade(downgrade, 'unknown')\n      }\n      return withDowngrade({\n        ...base,\n        kind: 'action',\n        label: labelNormalized,\n        meta: metaProjection.value,\n      })\n    }\n    case 'state:update': {\n      const e = event as Extract<Event, { readonly type: 'state:update' }>\n\n      const resolveDirtySetRootPaths = (): ReadonlyArray<JsonValue> | undefined => {\n        const resolve = options?.resolveConvergeStaticIr\n        if (!resolve) return undefined\n\n        const digest = e.staticIrDigest\n        if (typeof digest !== 'string' || digest.length === 0) return undefined\n\n        const dirtySet = e.dirtySet as any\n        if (!dirtySet || typeof dirtySet !== 'object' || Array.isArray(dirtySet)) return undefined\n\n        const rootIds = dirtySet.rootIds\n        if (!Array.isArray(rootIds) || rootIds.length === 0) return undefined\n\n        const ir = resolve(digest) as ConvergeStaticIrExport | undefined\n        const fieldPaths = (ir as any)?.fieldPaths as unknown\n        if (!Array.isArray(fieldPaths) || fieldPaths.length === 0) return undefined\n\n        const out: Array<JsonValue> = []\n        for (const rawId of rootIds) {\n          if (typeof rawId !== 'number' || !Number.isFinite(rawId)) continue\n          const id = Math.floor(rawId)\n          if (id < 0) continue\n          const path = (fieldPaths as any)[id] as unknown\n          if (!Array.isArray(path) || path.length === 0) continue\n          if (!path.every((seg) => typeof seg === 'string' && seg.length > 0)) continue\n          out.push(path as any)\n        }\n\n        return out.length > 0 ? out : undefined\n      }\n\n      const dirtySetWithRootPaths = (() => {\n        const rootPaths = resolveDirtySetRootPaths()\n        if (!rootPaths) return e.dirtySet\n        const dirtySet = e.dirtySet as any\n        if (!dirtySet || typeof dirtySet !== 'object' || Array.isArray(dirtySet)) return e.dirtySet\n        return { ...dirtySet, rootPaths }\n      })()\n\n      const metaInput = isLightLike\n        ? {\n            state: e.state,\n            dirtySet: dirtySetWithRootPaths,\n            patchCount: e.patchCount,\n            patchesTruncated: e.patchesTruncated,\n            patchesTruncatedReason: e.patchesTruncatedReason,\n            staticIrDigest: e.staticIrDigest,\n            commitMode: e.commitMode,\n            priority: e.priority,\n            originKind: e.originKind,\n            originName: e.originName,\n          }\n        : {\n            state: e.state,\n            dirtySet: dirtySetWithRootPaths,\n            patchCount: e.patchCount,\n            patchesTruncated: e.patchesTruncated,\n            patchesTruncatedReason: e.patchesTruncatedReason,\n            staticIrDigest: e.staticIrDigest,\n            commitMode: e.commitMode,\n            priority: e.priority,\n            originKind: e.originKind,\n            originName: e.originName,\n            traitSummary: e.traitSummary,\n            replayEvent: e.replayEvent,\n          }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      if (txnId) {\n        lastTxnByInstance.set(instanceId, { txnId, txnSeq })\n        backfillPendingTxnAlignment(instanceId, { txnId, txnSeq })\n      }\n      return withDowngrade({\n        ...base,\n        kind: 'state',\n        label: 'state:update',\n        meta: metaProjection.value,\n      })\n    }\n    case 'process:start':\n    case 'process:stop':\n    case 'process:restart':\n    case 'process:trigger':\n    case 'process:dispatch':\n    case 'process:error': {\n      const e = event as Extract<\n        Event,\n        {\n          readonly type:\n            | 'process:start'\n            | 'process:stop'\n            | 'process:restart'\n            | 'process:trigger'\n            | 'process:dispatch'\n            | 'process:error'\n        }\n      >\n\n      const ts2 = typeof e.timestampMs === 'number' && Number.isFinite(e.timestampMs) ? e.timestampMs : timestamp\n\n      const metaInput = {\n        identity: e.identity,\n        severity: e.severity,\n        eventSeq: e.eventSeq,\n        timestampMs: e.timestampMs,\n        trigger: e.trigger,\n        dispatch: e.dispatch,\n        error: e.error,\n      }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n      const errorSummary =\n        e.type === 'process:error' || e.type === 'process:restart'\n          ? (e.error as any as SerializableErrorSummary | undefined)\n          : undefined\n\n      return withDowngrade({\n        ...base,\n        timestamp: ts2,\n        kind: 'process',\n        label: e.type,\n        meta: metaProjection.value,\n        errorSummary,\n      })\n    }\n    case 'lifecycle:error': {\n      const e = event as Extract<Event, { readonly type: 'lifecycle:error' }>\n      const summary = toSerializableErrorSummary(e.cause)\n      downgrade = mergeDowngrade(downgrade, summary.downgrade)\n      const metaInput = isLightLike\n        ? { type: 'lifecycle:error', phase: e.phase, name: e.hook }\n        : {\n            type: 'lifecycle:error',\n            phase: e.phase,\n            name: e.hook,\n            hook: e.hook,\n            taskId: e.taskId,\n            origin: e.origin,\n            txnSeq: e.txnSeq,\n            opSeq: e.opSeq,\n          }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      return withDowngrade({\n        ...base,\n        kind: 'lifecycle',\n        label: 'lifecycle:error',\n        meta: metaProjection.value,\n        errorSummary: summary.errorSummary,\n      })\n    }\n    case 'diagnostic': {\n      const e = event as Extract<Event, { readonly type: 'diagnostic' }>\n      const metaInput = {\n        code: e.code,\n        severity: e.severity,\n        message: e.message,\n        hint: e.hint,\n        actionTag: e.actionTag,\n        kind: e.kind,\n        trigger: e.trigger,\n      }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      return withDowngrade({\n        ...base,\n        kind: 'diagnostic',\n        label: e.code,\n        meta: metaProjection.value,\n      })\n    }\n    default: {\n      if (typeof event.type !== 'string' || !event.type.startsWith('trace:')) {\n        return undefined\n      }\n\n      // trace:txn-lane: slim evidence for Txn Lanes (lane/backlog/reasons), used for Devtools summary and offline export.\n      if (event.type === 'trace:txn-lane') {\n        const data: any = (event as any).data\n        const evidence = data?.evidence ?? data\n\n        const metaProjection = projectJsonValue(evidence)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        const label =\n          typeof evidence?.kind === 'string' && evidence.kind.length > 0 ? String(evidence.kind) : 'txn-lane'\n\n        return withDowngrade({\n          ...base,\n          kind: 'txn-lane',\n          label,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:react-render / trace:react-selector: keep slim meta only (field trimming is handled by JsonValue projection).\n      if (event.type === 'trace:react-render' || event.type === 'trace:react-selector') {\n        const data: any = (event as any).data\n        const metaProjection = projectJsonValue(\n          isLightLike\n            ? {\n                componentLabel: data?.componentLabel,\n                selectorKey: data?.selectorKey,\n                fieldPaths: data?.fieldPaths,\n                selectorId: data?.selectorId,\n                lane: data?.lane,\n                producer: data?.producer,\n                fallbackReason: data?.fallbackReason,\n                readsDigest: data?.readsDigest,\n                equalsKind: data?.equalsKind,\n                strictModePhase: data?.strictModePhase,\n              }\n            : {\n                componentLabel: data?.componentLabel,\n                selectorKey: data?.selectorKey,\n                fieldPaths: data?.fieldPaths,\n                selectorId: data?.selectorId,\n                lane: data?.lane,\n                producer: data?.producer,\n                fallbackReason: data?.fallbackReason,\n                readsDigest: data?.readsDigest,\n                equalsKind: data?.equalsKind,\n                strictModePhase: data?.strictModePhase,\n                meta: data?.meta,\n              },\n        )\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n        const label =\n          typeof data?.componentLabel === 'string' && data.componentLabel.length > 0\n            ? data.componentLabel\n            : event.type === 'trace:react-selector'\n              ? 'react-selector'\n              : 'react-render'\n        const last = lastTxnByInstance.get(instanceId)\n        const txnSeqFromMeta =\n          typeof data?.meta?.txnSeq === 'number' && Number.isFinite(data.meta.txnSeq) && data.meta.txnSeq >= 0\n            ? Math.floor(data.meta.txnSeq)\n            : undefined\n        const txnIdFromMeta =\n          typeof data?.meta?.txnId === 'string' && data.meta.txnId.length > 0 ? data.meta.txnId : undefined\n        const txnIdAligned = txnIdFromMeta ?? base.txnId ?? last?.txnId\n        const txnSeqAligned = txnSeqFromMeta ?? (base.txnSeq > 0 ? base.txnSeq : (last?.txnSeq ?? base.txnSeq))\n        const ref = withDowngrade({\n          ...base,\n          txnId: txnIdAligned,\n          txnSeq: txnSeqAligned,\n          kind: event.type === 'trace:react-selector' ? 'react-selector' : 'react-render',\n          label,\n          meta: metaProjection.value,\n        })\n\n        if (instanceId !== 'unknown' && (ref.txnId == null || ref.txnSeq <= 0)) {\n          enqueuePendingTxnAlignment(instanceId, ref)\n        }\n\n        return ref\n      }\n\n      // trace:selector:eval: SelectorGraph evaluation evidence within commit (used for txn→selector→render causal chain).\n      if (event.type === 'trace:selector:eval') {\n        const data: any = (event as any).data\n        const metaInput = {\n          selectorId: data?.selectorId,\n          lane: data?.lane,\n          producer: data?.producer,\n          fallbackReason: data?.fallbackReason,\n          readsDigest: data?.readsDigest,\n          equalsKind: data?.equalsKind,\n          changed: data?.changed,\n          evalMs: data?.evalMs,\n        }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'devtools',\n          label: event.type,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:exec-vm: Exec VM hit/miss evidence (049). In light tier we keep minimal summary fields.\n      if (event.type === 'trace:exec-vm') {\n        const data: any = (event as any).data\n        const metaInput = {\n          version: data?.version,\n          stage: data?.stage,\n          hit: data?.hit,\n          reasonCode: data?.reasonCode ?? data?.reason,\n          reasonDetail: data?.reasonDetail,\n          execIrVersion: data?.execIrVersion,\n          execIrHash: data?.execIrHash,\n          serviceId: data?.serviceId,\n          implId: data?.implId,\n        }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'devtools',\n          label: event.type,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:trait:converge: converge evidence must be exportable (JsonValue hard gate) and trims heavy fields in light tier.\n      if (event.type === 'trace:trait:converge') {\n        const resolveDirtyRootPaths = (args: {\n          readonly staticIrDigest: unknown\n          readonly rootIds: unknown\n        }): ReadonlyArray<JsonValue> | undefined => {\n          const resolve = options?.resolveConvergeStaticIr\n          if (!resolve) return undefined\n          const digest = args.staticIrDigest\n          if (typeof digest !== 'string' || digest.length === 0) return undefined\n\n          const rootIds = args.rootIds\n          if (!Array.isArray(rootIds) || rootIds.length === 0) return undefined\n\n          const ir = resolve(digest) as ConvergeStaticIrExport | undefined\n          const fieldPaths = (ir as any)?.fieldPaths as unknown\n          if (!Array.isArray(fieldPaths) || fieldPaths.length === 0) return undefined\n\n          const out: Array<JsonValue> = []\n          for (const id of rootIds) {\n            if (typeof id !== 'number' || !Number.isFinite(id)) continue\n            const idx = Math.floor(id)\n            if (idx < 0 || idx >= fieldPaths.length) continue\n            const path = fieldPaths[idx]\n            if (Array.isArray(path)) {\n              out.push(path as any)\n            }\n          }\n\n          return out.length > 0 ? out : undefined\n        }\n\n        const enrichDirtyRootPaths = (value: JsonValue): JsonValue => {\n          if (!value || typeof value !== 'object' || Array.isArray(value)) return value\n\n          const anyValue = value as any\n          const dirty = anyValue.dirty\n          if (!dirty || typeof dirty !== 'object' || Array.isArray(dirty)) return value\n\n          const dirtyRootPaths = resolveDirtyRootPaths({\n            staticIrDigest: anyValue.staticIrDigest,\n            rootIds: dirty?.rootIds,\n          })\n          if (!dirtyRootPaths) return value\n\n          return {\n            ...anyValue,\n            dirty: {\n              ...(dirty as any),\n              rootPaths: dirtyRootPaths,\n            },\n          } as JsonValue\n        }\n\n        const stripHeavyLight = (value: JsonValue): JsonValue => {\n          if (!value || typeof value !== 'object' || Array.isArray(value)) return value\n\n          const anyValue = value as any\n          const dirty = anyValue.dirty\n          const dirtyRootPaths = resolveDirtyRootPaths({\n            staticIrDigest: anyValue.staticIrDigest,\n            rootIds: dirty?.rootIds,\n          })\n          const dirtySlim =\n            dirty && typeof dirty === 'object' && !Array.isArray(dirty)\n              ? {\n                  dirtyAll: (dirty as any).dirtyAll,\n                  ...(typeof (dirty as any).reason === 'string' ? { reason: (dirty as any).reason } : null),\n                  ...(Array.isArray((dirty as any).rootIds) ? { rootIds: (dirty as any).rootIds } : null),\n                  ...(typeof (dirty as any).rootIdsTruncated === 'boolean'\n                    ? { rootIdsTruncated: (dirty as any).rootIdsTruncated }\n                    : null),\n                  ...(dirtyRootPaths ? { rootPaths: dirtyRootPaths } : null),\n                }\n              : undefined\n\n          const { top3, dirtyRoots, ...rest } = anyValue\n          return (dirtySlim ? { ...rest, dirty: dirtySlim } : rest) as JsonValue\n        }\n\n        const stripHeavySampled = (value: JsonValue): JsonValue => {\n          if (!value || typeof value !== 'object' || Array.isArray(value)) return value\n\n          const anyValue = value as any\n          const dirty = anyValue.dirty\n          const dirtySlim =\n            dirty && typeof dirty === 'object' && !Array.isArray(dirty)\n              ? {\n                  dirtyAll: (dirty as any).dirtyAll,\n                  ...(typeof (dirty as any).reason === 'string' ? { reason: (dirty as any).reason } : null),\n                }\n              : undefined\n\n          const { dirtyRoots, ...rest } = anyValue\n          return (dirtySlim ? { ...rest, dirty: dirtySlim } : rest) as JsonValue\n        }\n\n        const data = (event as Extract<Event, { readonly type: 'trace:trait:converge' }>).data\n        const metaInput =\n          diagnosticsLevel === 'light'\n            ? stripHeavyLight(data)\n            : diagnosticsLevel === 'sampled'\n              ? stripHeavySampled(data)\n              : enrichDirtyRootPaths(data)\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'trait:converge',\n          label: 'trait:converge',\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:trait:check: validation diagnostics must be exportable and stay slim in light tier (keep key fields).\n      if (event.type === 'trace:trait:check') {\n        const stripHeavy = (value: JsonValue): JsonValue => {\n          if (!value || typeof value !== 'object' || Array.isArray(value)) return value\n          const anyValue = value as any\n          const degraded = anyValue.degraded\n          const degradedSlim =\n            degraded && typeof degraded === 'object' && !Array.isArray(degraded)\n              ? { kind: (degraded as any).kind }\n              : undefined\n\n          const { degraded: _degraded, ...rest } = anyValue\n          return (degradedSlim ? { ...rest, degraded: degradedSlim } : rest) as JsonValue\n        }\n\n        const data = (event as Extract<Event, { readonly type: 'trace:trait:check' }>).data\n        const metaInput = isLightLike ? stripHeavy(data) : data\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'trait:check',\n          label: 'trait:check',\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:trait:validate: validation decision summary must be exportable and slim in light tier (no heavy fields by default).\n      if (event.type === 'trace:trait:validate') {\n        const data = (event as Extract<Event, { readonly type: 'trace:trait:validate' }>).data\n        const metaProjection = projectJsonValue(data)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'trait:validate',\n          label: 'trait:validate',\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:module:traits: final traits snapshot must be exportable and slim in light tier (digest/count).\n      if (event.type === 'trace:module:traits') {\n        const data: any = (event as any).data\n        const metaInput = isLightLike\n          ? {\n              digest: data?.digest,\n              count: data?.count,\n            }\n          : {\n              digest: data?.digest,\n              count: data?.count,\n              traits: data?.traits,\n              provenanceIndex: data?.provenanceIndex,\n            }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'devtools',\n          label: event.type,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:module:traits:conflict: conflict details must be exportable; avoid relying on truncated lifecycle:error messages.\n      if (event.type === 'trace:module:traits:conflict') {\n        const data: any = (event as any).data\n        const metaInput = isLightLike\n          ? {\n              conflictCount: data?.conflictCount,\n              traitIds: data?.traitIds,\n            }\n          : {\n              conflictCount: data?.conflictCount,\n              conflicts: data?.conflicts,\n            }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'devtools',\n          label: event.type,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:module:descriptor: keep key anchors even in light tier (avoid data being fully trimmed).\n      if (event.type === 'trace:module:descriptor') {\n        const data: any = (event as any).data\n        const metaInput = isLightLike\n          ? {\n              id: data?.id,\n              traits: data?.traits,\n              source: data?.source,\n            }\n          : { data }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'devtools',\n          label: event.type,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:effectop: keep slim op meta and prefer EffectOp.meta.moduleId when present.\n      if (event.type === 'trace:effectop') {\n        const data: any = (event as any).data\n        const opMeta: any = data?.meta\n        const opKind = (data?.kind ?? 'service') as RuntimeDebugEventKind\n        const label = typeof data?.name === 'string' ? data.name : 'effectop'\n        const moduleId2 = typeof opMeta?.moduleId === 'string' ? opMeta.moduleId : moduleId\n        const txnId2 = typeof opMeta?.txnId === 'string' && opMeta.txnId.length > 0 ? opMeta.txnId : base.txnId\n        const txnSeq2 =\n          typeof opMeta?.txnSeq === 'number' && Number.isFinite(opMeta.txnSeq) && opMeta.txnSeq >= 0\n            ? Math.floor(opMeta.txnSeq)\n            : base.txnSeq\n\n        const metaInput = isLightLike\n          ? {\n              id: data?.id,\n              kind: data?.kind,\n              name: data?.name,\n              meta: opMeta,\n            }\n          : {\n              id: data?.id,\n              kind: data?.kind,\n              name: data?.name,\n              payload: data?.payload,\n              meta: opMeta,\n            }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          moduleId: moduleId2,\n          txnId: txnId2,\n          txnSeq: txnSeq2,\n          kind: opKind,\n          label,\n          meta: metaProjection.value,\n        })\n      }\n\n      // Other trace:* events: categorize as devtools and trim meta by tier.\n      const metaProjection = projectJsonValue(\n        isLightLike\n          ? {\n              data: undefined,\n            }\n          : {\n              data: (event as any).data,\n            },\n      )\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      return withDowngrade({\n        ...base,\n        kind: 'devtools',\n        label: event.type,\n        meta: metaProjection.value,\n      })\n    }\n  }\n}\n","export type JsonValue =\n  | null\n  | boolean\n  | number\n  | string\n  | ReadonlyArray<JsonValue>\n  | { readonly [key: string]: JsonValue }\n\nexport type DowngradeReason = 'non_serializable' | 'oversized' | 'unknown'\n\nexport const isJsonValue = (input: unknown): input is JsonValue => {\n  const seen = new WeakSet<object>()\n\n  const loop = (value: unknown, depth: number): value is JsonValue => {\n    if (depth > 64) return false\n    if (value === null) return true\n\n    switch (typeof value) {\n      case 'string':\n      case 'boolean':\n        return true\n      case 'number':\n        return Number.isFinite(value)\n      case 'object': {\n        if (Array.isArray(value)) {\n          if (seen.has(value)) return false\n          seen.add(value)\n          for (const item of value) {\n            if (!loop(item, depth + 1)) return false\n          }\n          return true\n        }\n\n        if (!isPlainRecord(value)) return false\n        if (seen.has(value)) return false\n        seen.add(value)\n\n        for (const v of Object.values(value)) {\n          if (!loop(v, depth + 1)) return false\n        }\n\n        return true\n      }\n      default:\n        return false\n    }\n  }\n\n  return loop(input, 0)\n}\n\nexport interface JsonValueProjectionStats {\n  readonly dropped: number\n  readonly oversized: number\n  readonly nonSerializable: number\n}\n\nexport interface JsonValueProjection {\n  readonly value: JsonValue\n  readonly stats: JsonValueProjectionStats\n  readonly downgrade?: DowngradeReason\n}\n\nexport interface JsonValueProjectOptions {\n  readonly maxDepth?: number\n  readonly maxObjectKeys?: number\n  readonly maxArrayLength?: number\n  readonly maxStringLength?: number\n  readonly maxJsonBytes?: number\n  readonly oversizedPreviewBytes?: number\n}\n\nconst defaultOptions: Required<JsonValueProjectOptions> = {\n  maxDepth: 6,\n  maxObjectKeys: 32,\n  maxArrayLength: 32,\n  maxStringLength: 256,\n  maxJsonBytes: 4 * 1024,\n  oversizedPreviewBytes: 256,\n}\n\nconst truncateString = (value: string, maxLen: number, stats: MutableStats): string => {\n  if (value.length <= maxLen) return value\n  stats.oversized += 1\n  return value.slice(0, maxLen)\n}\n\ntype MutableStats = {\n  dropped: number\n  oversized: number\n  nonSerializable: number\n}\n\nconst mergeDowngrade = (current: DowngradeReason | undefined, next: DowngradeReason): DowngradeReason => {\n  if (!current) return next\n  if (current === 'non_serializable' || next === 'non_serializable') return 'non_serializable'\n  if (current === 'oversized' || next === 'oversized') return 'oversized'\n  return 'unknown'\n}\n\nfunction isPlainRecord(value: unknown): value is Record<string, unknown> {\n  if (typeof value !== 'object' || value === null) return false\n  const proto = Object.getPrototypeOf(value)\n  return proto === Object.prototype || proto === null\n}\n\nconst asNumber = (value: number, stats: MutableStats): JsonValue => {\n  if (Number.isFinite(value)) return value\n  stats.nonSerializable += 1\n  return String(value)\n}\n\nconst toJsonValueInternal = (\n  input: unknown,\n  options: Required<JsonValueProjectOptions>,\n  stats: MutableStats,\n  seen: WeakSet<object>,\n  depth: number,\n): JsonValue => {\n  if (input === null) return null\n\n  switch (typeof input) {\n    case 'string':\n      return truncateString(input, options.maxStringLength, stats)\n    case 'number':\n      return asNumber(input, stats)\n    case 'boolean':\n      return input\n    case 'bigint':\n      stats.nonSerializable += 1\n      return truncateString(input.toString(), options.maxStringLength, stats)\n    case 'symbol':\n      stats.nonSerializable += 1\n      return truncateString(input.toString(), options.maxStringLength, stats)\n    case 'function':\n      stats.nonSerializable += 1\n      return '[Function]'\n    case 'undefined':\n      stats.dropped += 1\n      return null\n  }\n\n  // object\n  if (depth >= options.maxDepth) {\n    stats.oversized += 1\n    return '[Truncated]'\n  }\n\n  if (input instanceof Date) {\n    return input.toISOString()\n  }\n\n  if (input instanceof Error) {\n    stats.nonSerializable += 1\n    return {\n      name: truncateString(input.name, options.maxStringLength, stats),\n      message: truncateString(input.message, options.maxStringLength, stats),\n    }\n  }\n\n  if (typeof input === 'object') {\n    if (seen.has(input)) {\n      stats.nonSerializable += 1\n      return '[Circular]'\n    }\n    seen.add(input)\n  }\n\n  if (Array.isArray(input)) {\n    const out: Array<JsonValue> = []\n    const limit = Math.min(input.length, options.maxArrayLength)\n    for (let i = 0; i < limit; i++) {\n      out.push(toJsonValueInternal(input[i], options, stats, seen, depth + 1))\n    }\n    if (input.length > limit) {\n      stats.oversized += 1\n      out.push(`[...${input.length - limit} more]`)\n    }\n    return out\n  }\n\n  if (!isPlainRecord(input)) {\n    stats.nonSerializable += 1\n    return truncateString(String(input), options.maxStringLength, stats)\n  }\n\n  const entries = Object.entries(input)\n  const limit = Math.min(entries.length, options.maxObjectKeys)\n  const out: Record<string, JsonValue> = {}\n\n  for (let i = 0; i < limit; i++) {\n    const [rawKey, rawValue] = entries[i]!\n    const key = truncateString(rawKey, options.maxStringLength, stats)\n    if (rawValue === undefined) {\n      stats.dropped += 1\n      continue\n    }\n    out[key] = toJsonValueInternal(rawValue, options, stats, seen, depth + 1)\n  }\n\n  if (entries.length > limit) {\n    stats.oversized += 1\n    out.__truncatedKeys = entries.length - limit\n  }\n\n  return out\n}\n\nexport const projectJsonValue = (input: unknown, options?: JsonValueProjectOptions): JsonValueProjection => {\n  const resolved: Required<JsonValueProjectOptions> = { ...defaultOptions, ...(options ?? {}) }\n  const stats: MutableStats = { dropped: 0, oversized: 0, nonSerializable: 0 }\n  const seen = new WeakSet<object>()\n\n  let downgrade: DowngradeReason | undefined\n  const value = toJsonValueInternal(input, resolved, stats, seen, 0)\n\n  if (stats.nonSerializable > 0) {\n    downgrade = mergeDowngrade(downgrade, 'non_serializable')\n  }\n  if (stats.oversized > 0) {\n    downgrade = mergeDowngrade(downgrade, 'oversized')\n  }\n\n  // Hard gate: ensure JSON.stringify never throws and respect the max byte budget.\n  try {\n    const json = JSON.stringify(value)\n    if (json.length > resolved.maxJsonBytes) {\n      downgrade = mergeDowngrade(downgrade, 'oversized')\n      const preview = json.slice(0, Math.min(resolved.oversizedPreviewBytes, resolved.maxJsonBytes))\n      return {\n        value: {\n          _tag: 'oversized',\n          bytes: json.length,\n          preview,\n        },\n        stats: {\n          dropped: stats.dropped,\n          oversized: stats.oversized + 1,\n          nonSerializable: stats.nonSerializable,\n        },\n        downgrade,\n      }\n    }\n  } catch {\n    downgrade = mergeDowngrade(downgrade, 'non_serializable')\n    return {\n      value: '[Unserializable]',\n      stats: {\n        dropped: stats.dropped,\n        oversized: stats.oversized,\n        nonSerializable: stats.nonSerializable + 1,\n      },\n      downgrade,\n    }\n  }\n\n  return {\n    value,\n    stats: {\n      dropped: stats.dropped,\n      oversized: stats.oversized,\n      nonSerializable: stats.nonSerializable,\n    },\n    downgrade,\n  }\n}\n","import { Cause } from 'effect'\n\nexport type DowngradeReason = 'non_serializable' | 'oversized' | 'unknown'\n\nexport interface SerializableErrorSummary {\n  readonly message: string\n  readonly name?: string\n  readonly code?: string\n  readonly hint?: string\n}\n\nexport interface ErrorSummaryResult {\n  readonly errorSummary: SerializableErrorSummary\n  readonly downgrade?: DowngradeReason\n}\n\nconst truncate = (value: string, maxLen: number): { readonly value: string; readonly truncated: boolean } => {\n  if (value.length <= maxLen) return { value, truncated: false }\n  return { value: value.slice(0, maxLen), truncated: true }\n}\n\nconst safeStringify = (value: unknown): { readonly ok: true; readonly json: string } | { readonly ok: false } => {\n  try {\n    return { ok: true, json: JSON.stringify(value) }\n  } catch {\n    return { ok: false }\n  }\n}\n\nconst getMessageFromUnknown = (cause: unknown): string => {\n  if (typeof cause === 'string') return cause\n  if (typeof cause === 'number' || typeof cause === 'boolean' || typeof cause === 'bigint') return String(cause)\n  if (cause instanceof Error) return cause.message || cause.name || 'Error'\n  if (cause && typeof cause === 'object' && 'message' in (cause as any) && typeof (cause as any).message === 'string') {\n    return (cause as any).message as string\n  }\n\n  // Try Effect Cause pretty (best-effort). This may include more details than needed,\n  // so callers MUST still treat it as an untrusted/oversized string and truncate.\n  try {\n    const pretty = Cause.pretty(cause as Cause.Cause<unknown>, { renderErrorCause: true })\n    if (typeof pretty === 'string' && pretty.length > 0) return pretty\n  } catch {\n    // ignore\n  }\n\n  return 'Unknown error'\n}\n\nexport const toSerializableErrorSummary = (\n  cause: unknown,\n  options?: {\n    readonly maxMessageLength?: number\n  },\n): ErrorSummaryResult => {\n  const maxMessageLength = options?.maxMessageLength ?? 256\n\n  const messageRaw = getMessageFromUnknown(cause)\n  const { value: message, truncated } = truncate(messageRaw, maxMessageLength)\n\n  const summary: { message: string; name?: string; code?: string; hint?: string } = {\n    message,\n  }\n\n  if (cause instanceof Error) {\n    if (cause.name && cause.name !== 'Error') summary.name = cause.name\n    const anyCause = cause as any\n    if (typeof anyCause.code === 'string' && anyCause.code.length > 0) summary.code = anyCause.code\n    else if (typeof anyCause.code === 'number' && Number.isFinite(anyCause.code)) summary.code = String(anyCause.code)\n    if (typeof anyCause.hint === 'string' && anyCause.hint.length > 0) summary.hint = anyCause.hint\n    return {\n      errorSummary: summary,\n      downgrade: truncated ? 'oversized' : undefined,\n    }\n  }\n\n  if (cause && typeof cause === 'object') {\n    const anyCause = cause as any\n    if (typeof anyCause.name === 'string' && anyCause.name.length > 0) summary.name = anyCause.name\n    if (typeof anyCause.code === 'string' && anyCause.code.length > 0) summary.code = anyCause.code\n    if (typeof anyCause.hint === 'string' && anyCause.hint.length > 0) summary.hint = anyCause.hint\n  }\n\n  // If the original cause isn't JSON-serializable, mark it explicitly.\n  const stringifyResult = safeStringify(cause)\n  if (!stringifyResult.ok) {\n    return {\n      errorSummary: summary,\n      downgrade: 'non_serializable',\n    }\n  }\n\n  if (truncated) {\n    return {\n      errorSummary: summary,\n      downgrade: 'oversized',\n    }\n  }\n\n  if (message === 'Unknown error') {\n    return {\n      errorSummary: summary,\n      downgrade: 'unknown',\n    }\n  }\n\n  return { errorSummary: summary }\n}\n","// EffectOp core model and middleware composition logic.\n// For higher-level Runtime / Devtools integration, see:\n// specs/000-module-traits-runtime/references/effectop-and-middleware.md\n\nimport { Context, Effect, FiberRef } from 'effect'\n\n/**\n * currentLinkId：\n * - Stores the current operation chain id (linkId) in a FiberRef.\n * - Used to correlate multiple boundary ops within the same chain (can be shared across modules via the same FiberRef).\n */\nexport const currentLinkId = FiberRef.unsafeMake<string | undefined>(undefined)\n\n/**\n * OperationPolicy：\n * - Local policy markers (intent only; no rule logic attached).\n *\n * Constraints (enforced by Runtime/middleware together):\n * - Only observation-only capabilities (Observer) may be disabled; global guards must not be disabled.\n */\nexport interface OperationPolicy {\n  readonly disableObservers?: boolean\n}\n\n/**\n * OperationRejected：\n * - Unified failure result when a guard rejects execution.\n * - Semantics: explicit failure with no business side effects (rejection must happen before user code executes).\n */\nexport interface OperationRejected {\n  readonly _tag: 'OperationRejected'\n  readonly message: string\n  readonly kind?: EffectOp['kind']\n  readonly name?: string\n  readonly linkId?: string\n  readonly details?: unknown\n}\n\n/**\n * OperationError：\n * - Any boundary operation executed via EffectOp may be explicitly rejected by Guard middleware.\n * - Therefore, the middleware error channel must allow OperationRejected to be added.\n */\nexport type OperationError<E> = E | OperationRejected\n\nexport const makeOperationRejected = (params: {\n  readonly message: string\n  readonly kind?: EffectOp['kind']\n  readonly name?: string\n  readonly linkId?: string\n  readonly details?: unknown\n}): OperationRejected => ({\n  _tag: 'OperationRejected',\n  message: params.message,\n  kind: params.kind,\n  name: params.name,\n  linkId: params.linkId,\n  details: params.details,\n})\n\n/**\n * EffectOp: a unified representation of an Effect execution at an \"observable boundary\".\n *\n * - Out / Err / Env are the generic parameters of the underlying Effect.\n * - meta carries structured context needed by Devtools / Middleware.\n */\nexport interface EffectOp<Out = unknown, Err = unknown, Env = unknown> {\n  readonly id: string\n  readonly kind:\n    | 'action'\n    | 'flow'\n    | 'state'\n    | 'service'\n    | 'lifecycle'\n    | 'trait-computed'\n    | 'trait-link'\n    | 'trait-source'\n    | 'devtools'\n  readonly name: string\n  readonly payload?: unknown\n  readonly meta?: {\n    /**\n     * linkId：\n     * - Operation chain id: multiple boundary ops in the same chain must share it.\n     * - Runtime ensures this field is populated on all boundary ops.\n     */\n    linkId?: string\n    moduleId?: string\n    instanceId?: string\n    runtimeLabel?: string\n    txnId?: string\n    txnSeq?: number\n    opSeq?: number\n    fieldPath?: string\n    deps?: ReadonlyArray<string>\n    from?: string\n    to?: string\n    traitNodeId?: string\n    stepId?: string\n    resourceId?: string\n    key?: unknown\n    trace?: ReadonlyArray<string>\n    tags?: ReadonlyArray<string>\n    policy?: OperationPolicy\n    // Reserved extension slot for middleware/devtools to attach extra information.\n    readonly [k: string]: unknown\n  }\n  readonly effect: Effect.Effect<Out, Err, Env>\n}\n\n/**\n * Middleware: the general middleware model for observing / wrapping / guarding EffectOps.\n */\nexport type Middleware = <A, E, R>(op: EffectOp<A, E, R>) => Effect.Effect<A, OperationError<E>, R>\n\nexport type MiddlewareStack = ReadonlyArray<Middleware>\n\n/**\n * EffectOpMiddlewareEnv：\n * - A Service in Effect Env that carries the current Runtime's MiddlewareStack.\n * - Injected by Runtime.ts when constructing a ManagedRuntime.\n * - Runtime code (e.g. StateTrait.install) uses this Service to decide which MiddlewareStack to use.\n */\nexport interface EffectOpMiddlewareEnv {\n  readonly stack: MiddlewareStack\n}\n\nexport class EffectOpMiddlewareTag extends Context.Tag('Logix/EffectOpMiddleware')<\n  EffectOpMiddlewareTag,\n  EffectOpMiddlewareEnv\n>() {}\n\n/**\n * composeMiddleware：\n * - Composes Middleware from \"outer to inner\" in declaration order:\n *   - stack = [mw1, mw2] => mw1 -> mw2 -> effect -> mw2 -> mw1\n * - Matches the reduceRight example in the reference docs.\n */\nexport const composeMiddleware = (stack: MiddlewareStack): Middleware => {\n  return <A, E, R>(op: EffectOp<A, E, R>): Effect.Effect<A, OperationError<E>, R> =>\n    stack.reduceRight<Effect.Effect<A, OperationError<E>, R>>(\n      (eff, mw) => mw({ ...op, effect: eff } as any) as any,\n      op.effect as Effect.Effect<A, OperationError<E>, R>,\n    )\n}\n\n/**\n * runWithMiddleware：\n * - Executes a given EffectOp with a MiddlewareStack according to the composition rules.\n * - If the stack is empty, returns op.effect directly.\n */\nexport const runWithMiddleware = <A, E, R>(op: EffectOp<A, E, R>, stack: MiddlewareStack): Effect.Effect<A, E, R> => {\n  return Effect.gen(function* () {\n    const existing = yield* FiberRef.get(currentLinkId)\n    const metaLinkId = (op.meta as any)?.linkId\n    const linkId = typeof metaLinkId === 'string' && metaLinkId.length > 0 ? metaLinkId : (existing ?? op.id)\n\n    const nextOp: EffectOp<A, E, R> = {\n      ...op,\n      meta: {\n        ...(op.meta ?? {}),\n        linkId,\n      },\n    }\n\n    const program = stack.length ? composeMiddleware(stack)(nextOp) : nextOp.effect\n\n    // linkId is created at the boundary root and reused for nested ops (the FiberRef is the global single source of truth).\n    // NOTE: middleware may explicitly reject with OperationRejected.\n    return yield* Effect.locally(currentLinkId, linkId)(program as any)\n  }) as Effect.Effect<A, E, R>\n}\n","import { Effect, FiberRef } from 'effect'\nimport type { JsonValue } from '../../observability/jsonValue.js'\nimport type { EvidencePackage, EvidencePackageSource } from '../../observability/evidence.js'\nimport { exportEvidencePackage, OBSERVABILITY_PROTOCOL_VERSION } from '../../observability/evidence.js'\nimport type { ConvergeStaticIrExport } from '../../state-trait/converge-ir.js'\nimport type { ConvergeStaticIrCollector } from './ConvergeStaticIrCollector.js'\nimport {\n  currentDiagnosticsLevel,\n  clearRuntimeDebugEventSeq,\n  toRuntimeDebugEventRef,\n  type Event,\n  type RuntimeDebugEventRef,\n  type Sink,\n} from './DebugSink.js'\n\n/**\n * DevtoolsHub：\n * - Process/page-level Debug event aggregator (global singleton).\n *\n * Note: this hub is only appended to Debug sinks when devtoolsHubLayer is explicitly enabled.\n * The Snapshot API is always available (returns empty snapshots when disabled).\n *\n * Performance:\n * - Devtools Debug events can be extremely dense in hot paths (EffectOp / Trait / StateTxn, etc.).\n * - The previous implementation copied ringBuffer and Maps per event to build an \"immutable snapshot\" (O(bufferSize)).\n * - The current implementation lets Snapshot reference internal Map/Array directly (read-only convention) and batches\n *   subscriber notifications in microtasks, avoiding per-event copies and reducing main-thread interference.\n */\n\nexport interface DevtoolsSnapshot {\n  /**\n   * SnapshotToken：\n   * - Monotonic snapshot change token (a subscription-safe source of truth).\n   * - Any externally visible change must advance the token.\n   * - If the token does not change, externally visible snapshot fields must not change (avoid tearing / missed updates).\n   */\n  readonly snapshotToken: SnapshotToken\n  readonly instances: ReadonlyMap<string, number>\n  readonly events: ReadonlyArray<RuntimeDebugEventRef>\n  readonly latestStates: ReadonlyMap<string, JsonValue>\n  readonly latestTraitSummaries: ReadonlyMap<string, JsonValue>\n  /**\n   * exportBudget：\n   * - Tracks \"degrade counts\" caused by export boundaries (JsonValue projection/trimming), for explainability.\n   * - Counts are cumulative (may differ from the ring buffer window); clearDevtoolsEvents resets them.\n   */\n  readonly exportBudget: {\n    readonly dropped: number\n    readonly oversized: number\n  }\n}\n\nexport interface DevtoolsHubOptions {\n  readonly bufferSize?: number\n}\n\nexport type SnapshotToken = number\n\n// ---- Global mutable state (singleton) ----\n\nconst instances = new Map<string, number>()\nconst latestStates = new Map<string, JsonValue>()\nconst latestTraitSummaries = new Map<string, JsonValue>()\nconst instanceLabels = new Map<string, string>()\nconst convergeStaticIrByDigest = new Map<string, ConvergeStaticIrExport>()\nconst liveInstanceKeys = new Set<string>()\n\nconst exportBudget = {\n  dropped: 0,\n  oversized: 0,\n}\n\nlet lastRunTs = 0\nlet lastRunTsSeq = 0\n\nconst nextRunId = (): string => {\n  const ts = Date.now()\n  if (ts === lastRunTs) {\n    lastRunTsSeq += 1\n  } else {\n    lastRunTs = ts\n    lastRunTsSeq = 0\n  }\n\n  return lastRunTsSeq === 0 ? `run-${ts}` : `run-${ts}.${lastRunTsSeq}`\n}\n\nlet currentRunId = nextRunId()\nlet nextSeq = 1\n\nlet bufferSize = 500\nconst ringBuffer: RuntimeDebugEventRef[] = []\nconst ringBufferSeq: number[] = []\n\nlet snapshotToken: SnapshotToken = 0\n\nconst ensureRingBufferSize = (): void => {\n  if (bufferSize <= 0) {\n    ringBuffer.length = 0\n    ringBufferSeq.length = 0\n    return\n  }\n\n  if (ringBuffer.length <= bufferSize) return\n  const excess = ringBuffer.length - bufferSize\n  ringBuffer.splice(0, excess)\n  ringBufferSeq.splice(0, excess)\n}\n\nconst trimRingBufferIfNeeded = (): void => {\n  if (bufferSize <= 0) {\n    ringBuffer.length = 0\n    ringBufferSeq.length = 0\n    return\n  }\n\n  // Small windows keep a strict upper bound to avoid \"size=5 but events.length briefly > 5\" surprises.\n  // Large windows allow short bursts + batch trimming to avoid linear shift() costs under sustained load.\n  if (bufferSize <= 64) {\n    ensureRingBufferSize()\n    return\n  }\n\n  const slack = Math.min(1024, Math.floor(bufferSize / 2))\n  const threshold = bufferSize + Math.max(1, slack)\n  if (ringBuffer.length <= threshold) return\n\n  const excess = ringBuffer.length - bufferSize\n  ringBuffer.splice(0, excess)\n  ringBufferSeq.splice(0, excess)\n}\n\n// Snapshot references internal structures directly (read-only convention) to avoid copy costs in hot paths.\nconst currentSnapshot: DevtoolsSnapshot = {\n  snapshotToken,\n  instances,\n  events: ringBuffer,\n  latestStates,\n  latestTraitSummaries,\n  exportBudget,\n}\n\nconst listeners = new Set<() => void>()\n\nlet notifyScheduled = false\nconst scheduleNotify = () => {\n  if (notifyScheduled) return\n  notifyScheduled = true\n  queueMicrotask(() => {\n    notifyScheduled = false\n    for (const listener of listeners) {\n      listener()\n    }\n  })\n}\n\nlet devtoolsEnabled = false\n\nconst bumpSnapshotToken = (): void => {\n  snapshotToken += 1\n  ;(currentSnapshot as any).snapshotToken = snapshotToken\n}\n\nconst markSnapshotChanged = (): void => {\n  bumpSnapshotToken()\n  scheduleNotify()\n}\n\nexport const configureDevtoolsHub = (options?: DevtoolsHubOptions) => {\n  devtoolsEnabled = true\n  if (typeof options?.bufferSize === 'number' && Number.isFinite(options.bufferSize)) {\n    const next = Math.floor(options.bufferSize)\n    const nextBufferSize = next >= 0 ? next : 0\n    if (nextBufferSize !== bufferSize) {\n      bufferSize = nextBufferSize\n      ensureRingBufferSize()\n      markSnapshotChanged()\n    }\n  }\n}\n\nexport const isDevtoolsEnabled = (): boolean => devtoolsEnabled\n\n// ---- Snapshot public helpers ----\n\nexport const getDevtoolsSnapshot = (): DevtoolsSnapshot => currentSnapshot\nexport const getDevtoolsSnapshotToken = (): SnapshotToken => snapshotToken\n\nexport const subscribeDevtoolsSnapshot = (listener: () => void): (() => void) => {\n  listeners.add(listener)\n  return () => {\n    listeners.delete(listener)\n  }\n}\n\nexport const getDevtoolsRunId = (): string => currentRunId\n\nexport const setDevtoolsRunId = (runId: string): void => {\n  if (typeof runId !== 'string' || runId.length === 0) return\n  if (runId !== currentRunId) {\n    currentRunId = runId\n    markSnapshotChanged()\n  }\n}\n\nexport const startDevtoolsRun = (runId?: string): string => {\n  currentRunId = typeof runId === 'string' && runId.length > 0 ? runId : nextRunId()\n  nextSeq = 1\n  clearRuntimeDebugEventSeq()\n  clearDevtoolsEvents()\n  return currentRunId\n}\n\nexport const clearDevtoolsEvents = (): void => {\n  ringBuffer.length = 0\n  ringBufferSeq.length = 0\n  exportBudget.dropped = 0\n  exportBudget.oversized = 0\n  markSnapshotChanged()\n}\n\nexport const setInstanceLabel = (instanceId: string, label: string): void => {\n  instanceLabels.set(instanceId, label)\n  markSnapshotChanged()\n}\n\nexport const getInstanceLabel = (instanceId: string): string | undefined => instanceLabels.get(instanceId)\n\nconst registerConvergeStaticIr = (ir: ConvergeStaticIrExport): void => {\n  convergeStaticIrByDigest.set(ir.staticIrDigest, ir)\n}\n\nexport const devtoolsHubConvergeStaticIrCollector: ConvergeStaticIrCollector = {\n  register: registerConvergeStaticIr,\n}\n\nexport const exportDevtoolsEvidencePackage = (options?: {\n  readonly runId?: string\n  readonly source?: EvidencePackageSource\n  readonly protocolVersion?: string\n}): EvidencePackage => {\n  const protocolVersion = options?.protocolVersion ?? OBSERVABILITY_PROTOCOL_VERSION\n  const runId = options?.runId ?? currentRunId\n  const source = options?.source ?? { host: 'unknown' }\n\n  const events = ringBuffer.map((payload, i) => ({\n    protocolVersion,\n    runId,\n    seq: ringBufferSeq[i] ?? i + 1,\n    timestamp: payload.timestamp,\n    type: 'debug:event',\n    payload: payload as unknown as JsonValue,\n  }))\n\n  const isRecord = (value: unknown): value is Record<string, unknown> =>\n    typeof value === 'object' && value !== null && !Array.isArray(value)\n\n  // In full diagnostics: de-duplicate by staticIrDigest and export matching ConvergeStaticIR (for offline explanation/replay).\n  const convergeDigests = new Set<string>()\n  let sawFullConverge = false\n\n  for (const ref of ringBuffer) {\n    if (ref.kind !== 'trait:converge') continue\n    const meta = ref.meta\n    if (!isRecord(meta)) continue\n\n    const digest = meta.staticIrDigest\n    if (typeof digest === 'string' && digest.length > 0) {\n      convergeDigests.add(digest)\n    }\n\n    const dirty = meta.dirty\n    if (isRecord(dirty) && typeof dirty.rootCount === 'number') {\n      sawFullConverge = true\n    }\n  }\n\n  let summary: JsonValue | undefined\n  if (sawFullConverge && convergeDigests.size > 0) {\n    const staticIrByDigest: Record<string, JsonValue> = {}\n    for (const digest of convergeDigests) {\n      const ir = convergeStaticIrByDigest.get(digest)\n      if (ir) {\n        staticIrByDigest[digest] = ir as unknown as JsonValue\n      }\n    }\n    if (Object.keys(staticIrByDigest).length > 0) {\n      summary = { converge: { staticIrByDigest } } as unknown as JsonValue\n    }\n  }\n\n  return exportEvidencePackage({\n    protocolVersion,\n    runId,\n    source,\n    events,\n    summary,\n  })\n}\n\n// ---- Hub Sink ----\n\nexport const devtoolsHubSink: Sink = {\n  record: (event: Event) =>\n    Effect.gen(function* () {\n      // NOTE: the hub is a global singleton, but whether events are exportable/written to the buffer is controlled by FiberRef,\n      // enabling different perf baselines/diagnostics tiers across scopes within the same process.\n      const level = yield* FiberRef.get(currentDiagnosticsLevel)\n\n      let changed = false\n\n      // trace:instanceLabel: set a human-readable label for a runtime instance.\n      if (event.type === 'trace:instanceLabel') {\n        const instanceId = (event as any).instanceId as string | undefined\n        const data = (event as any).data\n        const label = data && typeof data === 'object' && 'label' in data ? String((data as any).label) : undefined\n        if (instanceId && label) {\n          instanceLabels.set(instanceId, label)\n          changed = true\n        }\n      }\n\n      // Instance counters: maintain active instance counts by runtimeLabel::moduleId.\n      if (event.type === 'module:init' || event.type === 'module:destroy') {\n        const moduleId = (event as any).moduleId ?? 'unknown'\n        const runtimeLabel = (event as any).runtimeLabel ?? 'unknown'\n        const instanceId = (event as any).instanceId as string | undefined\n        const key = `${runtimeLabel}::${moduleId}`\n        const prev = instances.get(key) ?? 0\n        if (event.type === 'module:init') {\n          instances.set(key, prev + 1)\n          changed = true\n          if (instanceId) {\n            const instanceKey = `${runtimeLabel}::${moduleId}::${instanceId}`\n            liveInstanceKeys.add(instanceKey)\n            // If instanceId is reused, ensure derived caches do not carry leftovers from the previous lifetime.\n            if (latestStates.delete(instanceKey)) changed = true\n            if (latestTraitSummaries.delete(instanceKey)) changed = true\n          }\n        } else {\n          const next = prev - 1\n          if (next <= 0) {\n            if (instances.delete(key)) changed = true\n          } else {\n            instances.set(key, next)\n            changed = true\n          }\n\n          if (instanceId) {\n            const instanceKey = `${runtimeLabel}::${moduleId}::${instanceId}`\n            liveInstanceKeys.delete(instanceKey)\n            if (latestStates.delete(instanceKey)) changed = true\n            if (latestTraitSummaries.delete(instanceKey)) changed = true\n            if (instanceLabels.delete(instanceId)) changed = true\n            changed = true\n          }\n        }\n      }\n\n      let exportBudgetChanged = false\n      const ref = toRuntimeDebugEventRef(event, {\n        diagnosticsLevel: level,\n        resolveConvergeStaticIr: (staticIrDigest) => convergeStaticIrByDigest.get(staticIrDigest),\n        onMetaProjection: ({ stats }) => {\n          if (stats.dropped !== 0 || stats.oversized !== 0) {\n            exportBudgetChanged = true\n          }\n          exportBudget.dropped += stats.dropped\n          exportBudget.oversized += stats.oversized\n        },\n      })\n      if (exportBudgetChanged) {\n        changed = true\n      }\n      if (!ref) {\n        // off tier: do not write ring buffer / latestStates, but keep minimal counters/labels (including module:destroy cleanup).\n        if (changed) {\n          markSnapshotChanged()\n        }\n        return\n      }\n\n      // latestStates / latestTraitSummaries: record latest snapshots by runtimeLabel::moduleId::instanceId.\n      if (ref.kind === 'state' && ref.label === 'state:update') {\n        const runtimeLabel = ref.runtimeLabel ?? 'unknown'\n        const key = `${runtimeLabel}::${ref.moduleId}::${ref.instanceId}`\n\n        // Late/replayed events after module:destroy: allow entering the window for replay, but do not rebuild latest* caches.\n        if (liveInstanceKeys.has(key)) {\n          if (ref.meta && typeof ref.meta === 'object' && !Array.isArray(ref.meta)) {\n            const anyMeta = ref.meta as any\n            if ('state' in anyMeta) {\n              latestStates.set(key, anyMeta.state as JsonValue)\n              changed = true\n            }\n            if ('traitSummary' in anyMeta && anyMeta.traitSummary !== undefined) {\n              latestTraitSummaries.set(key, anyMeta.traitSummary as JsonValue)\n              changed = true\n            }\n          }\n        }\n      }\n\n      // ring buffer: keep the most recent bufferSize RuntimeDebugEventRefs.\n      if (bufferSize > 0) {\n        const seq = nextSeq++\n        ringBuffer.push(ref)\n        ringBufferSeq.push(seq)\n        trimRingBufferIfNeeded()\n        changed = true\n      }\n\n      if (changed) {\n        markSnapshotChanged()\n      }\n    }),\n}\n","import { FiberRef, Layer } from 'effect'\nimport type { ConvergeStaticIrExport } from '../../state-trait/converge-ir.js'\n\n/**\n * ConvergeStaticIrCollector：\n * - Consumer interface for collecting ConvergeStaticIrExport (de-duplicated/indexed by staticIrDigest); an internal injectable capability.\n * - Typical implementations: DevtoolsHub (process-level) / EvidenceCollector (RunSession-level).\n *\n * Notes:\n * - Uses FiberRef<ReadonlyArray<...>> to allow appending multiple collectors within the same scope (similar to Debug sinks).\n * - ModuleRuntime reads the FiberRef value during installation and captures it in a closure, avoiding Env lookup on hot paths.\n */\nexport interface ConvergeStaticIrCollector {\n  readonly register: (ir: ConvergeStaticIrExport) => void\n}\n\nexport const currentConvergeStaticIrCollectors = FiberRef.unsafeMake<ReadonlyArray<ConvergeStaticIrCollector>>([])\n\nexport const appendConvergeStaticIrCollectors = (\n  collectors: ReadonlyArray<ConvergeStaticIrCollector>,\n): Layer.Layer<any, never, never> =>\n  Layer.fiberRefLocallyScopedWith(currentConvergeStaticIrCollectors, (current) => [\n    ...current,\n    ...collectors,\n  ]) as Layer.Layer<any, never, never>\n","import { Context, Layer } from 'effect'\nimport type { TraitConvergeRequestedMode } from '../../state-trait/model.js'\nimport type { ReadQueryStrictGateConfig } from './ReadQuery.js'\n\n// Unified runtime env detection, avoiding bundlers inlining NODE_ENV at build time.\nexport const getNodeEnv = (): string | undefined => {\n  try {\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    const env = (globalThis as any)?.process?.env\n    return typeof env?.NODE_ENV === 'string' ? env.NODE_ENV : undefined\n  } catch {\n    return undefined\n  }\n}\n\nexport const isDevEnv = (): boolean => getNodeEnv() !== 'production'\n\nexport type StateTransactionInstrumentation = 'full' | 'light'\n\n/**\n * getDefaultStateTxnInstrumentation：\n * - Currently chooses default instrumentation by NODE_ENV:\n *   - dev / test: full (keep patches and snapshots for debugging).\n *   - production: light (keep minimal semantics to reduce overhead).\n * - May evolve with finer-grained overrides in Runtime.make / Module.make.\n */\nexport const getDefaultStateTxnInstrumentation = (): StateTransactionInstrumentation => (isDevEnv() ? 'full' : 'light')\n\n/**\n * Runtime-level StateTransaction config Service:\n * - Provided at the app layer by Logix.Runtime.make / AppRuntime.makeApp.\n * - ModuleRuntime.make can read runtime-level defaults from Env.\n *\n * Notes:\n * - instrumentation is only a runtime-level default.\n * - Explicit instrumentation in ModuleImpl / ModuleRuntimeOptions has higher priority.\n */\nexport interface StateTransactionRuntimeConfig {\n  readonly instrumentation?: StateTransactionInstrumentation\n  /**\n   * StateTrait derived converge budget (ms):\n   * - Exceeding the budget triggers a soft degrade (freeze derived fields, preserve base writes and 0/1 commit semantics).\n   * - Default is 200ms (aligned with the 007 spec threshold).\n   */\n  readonly traitConvergeBudgetMs?: number\n  /**\n   * Auto-mode decision budget (ms):\n   * - Only used during the decision phase when requestedMode=\"auto\".\n   * - Exceeding the budget must immediately fall back to full (and record evidence).\n   */\n  readonly traitConvergeDecisionBudgetMs?: number\n  /**\n   * StateTrait converge scheduling strategy:\n   * - full: full topo execution (current default; safest).\n   * - dirty: minimal triggering based on dirtyPaths + deps in the txn window (requires accurate deps).\n   */\n  readonly traitConvergeMode?: TraitConvergeRequestedMode\n  /**\n   * 043: Trait converge time-slicing (explicit opt-in). Disabled by default.\n   */\n  readonly traitConvergeTimeSlicing?: TraitConvergeTimeSlicingPatch\n  /**\n   * 060: Txn Lanes (priority scheduling for transaction follow-up work). Enabled by default since 062.\n   */\n  readonly txnLanes?: TxnLanesPatch\n  /**\n   * Runtime-level per-module overrides (hotfix path):\n   * - Only affects converge behavior for the specified moduleId.\n   * - Lower priority than Provider overrides.\n   */\n  readonly traitConvergeOverridesByModuleId?: Readonly<Record<string, StateTransactionTraitConvergeOverrides>>\n  /**\n   * 060: Txn Lanes runtime_module overrides (hotfix / gradual tuning).\n   * - Only affects the specified moduleId.\n   * - Lower priority than Provider overrides.\n   */\n  readonly txnLanesOverridesByModuleId?: Readonly<Record<string, TxnLanesPatch>>\n}\n\nclass StateTransactionConfigTagImpl extends Context.Tag('@logixjs/core/StateTransactionRuntimeConfig')<\n  StateTransactionConfigTagImpl,\n  StateTransactionRuntimeConfig\n>() {}\n\nexport const StateTransactionConfigTag = StateTransactionConfigTagImpl\n\nexport type ReadQueryStrictGateRuntimeConfig = ReadQueryStrictGateConfig\n\nclass ReadQueryStrictGateConfigTagImpl extends Context.Tag('@logixjs/core/ReadQueryStrictGateRuntimeConfig')<\n  ReadQueryStrictGateConfigTagImpl,\n  ReadQueryStrictGateRuntimeConfig\n>() {}\n\nexport const ReadQueryStrictGateConfigTag = ReadQueryStrictGateConfigTagImpl\n\nexport type ReplayMode = 'live' | 'replay'\n\nexport interface ReplayModeConfig {\n  readonly mode: ReplayMode\n}\n\nclass ReplayModeConfigTagImpl extends Context.Tag('@logixjs/core/ReplayModeConfig')<\n  ReplayModeConfigTagImpl,\n  ReplayModeConfig\n>() {}\n\nexport const ReplayModeConfigTag = ReplayModeConfigTagImpl\n\nexport const replayModeLayer = (mode: ReplayMode): Layer.Layer<ReplayModeConfigTagImpl, never, never> =>\n  Layer.succeed(ReplayModeConfigTag, { mode })\n\nexport interface StateTransactionTraitConvergeOverrides {\n  readonly traitConvergeMode?: TraitConvergeRequestedMode\n  readonly traitConvergeBudgetMs?: number\n  readonly traitConvergeDecisionBudgetMs?: number\n  readonly traitConvergeTimeSlicing?: TraitConvergeTimeSlicingPatch\n}\n\nexport interface TxnLanesPatch {\n  /**\n   * enabled: whether Txn Lanes is enabled (default on since 062).\n   * - undefined: default enabled (when not explicitly configured)\n   * - false: disabled (returns to baseline behavior)\n   * - true: enabled (only affects scheduling of follow-up work outside the transaction; transactions remain synchronous)\n   */\n  readonly enabled?: boolean\n  /**\n   * overrideMode: runtime temporary override (for debugging/rollback/comparison).\n   * - forced_off: forcibly disables Txn Lanes (returns to baseline behavior).\n   * - forced_sync: forces fully synchronous execution (ignores non-urgent deferral and time-slicing; used for comparisons).\n   *\n   * Notes:\n   * - Override precedence follows StateTransactionOverrides: provider > runtime_module > runtime_default > builtin.\n   * - Overrides must be explainable by evidence (see 060 LaneEvidence reasons).\n   */\n  readonly overrideMode?: 'forced_off' | 'forced_sync'\n  /** non-urgent work loop slice budget (ms). */\n  readonly budgetMs?: number\n  /** Non-urgent backlog coalescing window (ms). */\n  readonly debounceMs?: number\n  /** Max lag upper bound (ms): exceeding it triggers an explainable starvation protection (forced catch-up). */\n  readonly maxLagMs?: number\n  /** Whether to allow coalescing/canceling intermediate non-urgent work (must preserve eventual consistency). */\n  readonly allowCoalesce?: boolean\n  /**\n   * Yield strategy for the non-urgent work loop (progressive enhancement).\n   * - baseline: uses only time budget + hard upper bound\n   * - inputPending: when supported by browsers, also consults `navigator.scheduling.isInputPending`\n   */\n  readonly yieldStrategy?: 'baseline' | 'inputPending'\n}\n\nexport interface TraitConvergeTimeSlicingPatch {\n  /**\n   * enabled：\n   * - false/undefined: disabled (default)\n   * - true: enables time-slicing (only affects computed/link explicitly marked as deferred)\n   */\n  readonly enabled?: boolean\n  /**\n   * debounceMs: coalescing interval (ms) for the deferral window; merges high-frequency inputs into one deferred flush.\n   */\n  readonly debounceMs?: number\n  /**\n   * maxLagMs: max lag upper bound (ms); exceeding it triggers an explainable forced flush (starvation protection).\n   */\n  readonly maxLagMs?: number\n}\n\n/**\n * Provider-scoped StateTransactionOverrides (delta overrides):\n * - Used to inject more local overrides into a Provider subtree on top of inherited global runtime config.\n * - Override precedence: provider > runtime_module > runtime_default > builtin.\n */\nexport interface StateTransactionOverrides {\n  readonly traitConvergeMode?: TraitConvergeRequestedMode\n  readonly traitConvergeBudgetMs?: number\n  readonly traitConvergeDecisionBudgetMs?: number\n  readonly traitConvergeTimeSlicing?: TraitConvergeTimeSlicingPatch\n  readonly traitConvergeOverridesByModuleId?: Readonly<Record<string, StateTransactionTraitConvergeOverrides>>\n  /** 060: Txn Lanes provider-level overrides (delta overrides). */\n  readonly txnLanes?: TxnLanesPatch\n  /** 060: Txn Lanes provider_module overrides (by moduleId). */\n  readonly txnLanesOverridesByModuleId?: Readonly<Record<string, TxnLanesPatch>>\n}\n\nclass StateTransactionOverridesTagImpl extends Context.Tag('@logixjs/core/StateTransactionOverrides')<\n  StateTransactionOverridesTagImpl,\n  StateTransactionOverrides\n>() {}\n\nexport const StateTransactionOverridesTag = StateTransactionOverridesTagImpl\n\nexport type ConcurrencyLimit = number | 'unbounded'\n\nexport interface ConcurrencyPolicyPatch {\n  readonly concurrencyLimit?: ConcurrencyLimit\n  readonly losslessBackpressureCapacity?: number\n  readonly allowUnbounded?: boolean\n  readonly pressureWarningThreshold?: {\n    readonly backlogCount?: number\n    readonly backlogDurationMs?: number\n  }\n  readonly warningCooldownMs?: number\n}\n\n/**\n * Runtime-level ConcurrencyPolicy:\n * - Provided at the app layer by Logix.Runtime.make / AppRuntime.makeApp.\n * - ModuleRuntime merges sources via a resolver (builtin/runtime_module/provider, etc.).\n *\n * Notes:\n * - overridesByModuleId is used for runtime_module hot-switching (hotfix / gradual tuning) and is lower priority than provider overrides.\n */\nexport interface ConcurrencyPolicy extends ConcurrencyPolicyPatch {\n  readonly overridesByModuleId?: Readonly<Record<string, ConcurrencyPolicyPatch>>\n}\n\nclass ConcurrencyPolicyTagImpl extends Context.Tag('@logixjs/core/ConcurrencyPolicy')<\n  ConcurrencyPolicyTagImpl,\n  ConcurrencyPolicy\n>() {}\n\nexport const ConcurrencyPolicyTag = ConcurrencyPolicyTagImpl\n\n/**\n * Provider-scoped ConcurrencyPolicyOverrides (delta overrides):\n * - Used to inject more local overrides into a Provider subtree on top of inherited global runtime config.\n * - Override precedence: provider > runtime_module > runtime_default > builtin.\n */\nexport interface ConcurrencyPolicyOverrides extends ConcurrencyPolicyPatch {\n  readonly overridesByModuleId?: Readonly<Record<string, ConcurrencyPolicyPatch>>\n}\n\nclass ConcurrencyPolicyOverridesTagImpl extends Context.Tag('@logixjs/core/ConcurrencyPolicyOverrides')<\n  ConcurrencyPolicyOverridesTagImpl,\n  ConcurrencyPolicyOverrides\n>() {}\n\nexport const ConcurrencyPolicyOverridesTag = ConcurrencyPolicyOverridesTagImpl\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAIA,IAAAA,iBAAuB;;;ACJvB,IAAAC,iBAAsC;;;ACAtC,IAAAC,iBAAuD;;;ACwEvD,IAAM,iBAAoD;AAAA,EACxD,UAAU;AAAA,EACV,eAAe;AAAA,EACf,gBAAgB;AAAA,EAChB,iBAAiB;AAAA,EACjB,cAAc,IAAI;AAAA,EAClB,uBAAuB;AACzB;;;AC/EA,oBAAsB;;;ACItB,IAAAC,iBAA0C;AAOnC,IAAM,gBAAgB,wBAAS,WAA+B,MAAS;AAoHvE,IAAM,wBAAN,cAAoC,uBAAQ,IAAI,0BAA0B,EAG/E,EAAE;AAAC;;;AH6HE,IAAM,oBAAoB,wBAAS,WAAgC,CAAC,CAAC;AACrE,IAAM,sBAAsB,wBAAS,WAA+B,MAAS;AAC7E,IAAM,eAAe,wBAAS,WAA+B,MAAS;AACtE,IAAM,eAAe,wBAAS,WAA+B,MAAS;AAEtE,IAAM,0BAA0B,wBAAS,WAA6B,KAAK;AAiB3E,IAAM,0CAA0C,wBAAS,WAAmD;AAAA,EACjH,cAAc;AAAA,EACd,MAAM;AACR,CAAC;AA0ID,IAAM,uBAAuB,oBAAI,IAAY;AAC7C,IAAM,wBAAwB,oBAAI,IAAY;AA4C9C,IAAM,oBAAoB,CAAC,UAAgE;AACzF,QAAM,WAAW,MAAM,YAAY;AACnC,QAAM,eAAe,MAAM;AACzB,QAAI;AACF,aAAO,qBAAM,OAAO,MAAM,OAA+B;AAAA,QACvD,kBAAkB;AAAA,MACpB,CAAC;AAAA,IACH,QAAQ;AACN,UAAI;AACF,eAAO,KAAK,UAAU,MAAM,OAAO,MAAM,CAAC;AAAA,MAC5C,QAAQ;AACN,eAAO,OAAO,MAAM,KAAK;AAAA,MAC3B;AAAA,IACF;AAAA,EACF,GAAG;AAEH,QAAM,UAAU,kBAAkB,QAAQ;AAAA,EAAsB,WAAW;AAE3E,SAAO,sBAAO,SAAS,OAAO,EAAE;AAAA,IAC9B,sBAAO,aAAa;AAAA,MAClB,kBAAkB;AAAA,MAClB,eAAe;AAAA,MACf,eAAe;AAAA,IACjB,CAAC;AAAA,EACH;AACF;AAEA,IAAM,gBAAgB,CAAC,UAA2D;AAChF,QAAM,WAAW,MAAM,YAAY;AACnC,QAAM,SAAS,kBAAkB,QAAQ,gBAAgB,MAAM,QAAQ;AACvE,QAAM,SAAS,QAAQ,MAAM,IAAI,YAAY,MAAM,OAAO,GACxD,MAAM,YAAY,WAAW,MAAM,SAAS,KAAK,EACnD,GAAG,MAAM,OAAO;AAAA,QAAW,MAAM,IAAI,KAAK,EAAE;AAC5C,QAAM,MAAM,GAAG,MAAM;AAAA,EAAK,MAAM;AAEhC,QAAM,OACJ,MAAM,aAAa,YACf,sBAAO,WAAW,GAAG,IACrB,MAAM,aAAa,SACjB,sBAAO,QAAQ,GAAG,IAClB,sBAAO,SAAS,GAAG;AAE3B,QAAM,cAAuC;AAAA,IAC3C,kBAAkB;AAAA,IAClB,eAAe,cAAc,MAAM,QAAQ;AAAA,IAC3C,yBAAyB,MAAM;AAAA,IAC/B,4BAA4B,MAAM;AAAA,EACpC;AACA,MAAI,MAAM,MAAM;AACd,gBAAY,uBAAuB,IAAI,MAAM;AAAA,EAC/C;AACA,MAAI,MAAM,WAAW;AACnB,gBAAY,4BAA4B,IAAI,MAAM;AAAA,EACpD;AAEA,SAAO,KAAK,KAAK,sBAAO,aAAa,WAAW,CAAC;AACnD;AAOO,IAAM,YAAY,qBAAM,cAAc,mBAAmB,CAAC,CAAC;AAQlE,IAAM,gBAAsB;AAAA,EAC1B,QAAQ,CAAC,UACP,MAAM,SAAS,oBACX,kBAAkB,KAAK,IACvB,MAAM,SAAS,gBAAgB,MAAM,aAAa,SAChD,cAAc,KAAK,IACnB,sBAAO;AACjB;AAEO,IAAM,iBAAiB,qBAAM,cAAc,mBAAmB,CAAC,aAAa,CAAC;AAE7E,IAAM,uBAAuB,CAAC,UAAwC,MAAM,WAAW,KAAK,MAAM,CAAC,MAAM;AAOhH,IAAM,cAAoB;AAAA,EACxB,QAAQ,CAAC,UACP,MAAM,SAAS,oBACX,kBAAkB,KAAK,IACvB,MAAM,SAAS,eACb,cAAc,KAAK,IACnB,sBAAO,SAAS,EAAE,YAAY,MAAM,CAAC;AAC/C;AAEO,IAAM,eAAe,qBAAM,cAAc,mBAAmB,CAAC,WAAW,CAAC;AAEhF,IAAM,YAAY,OAAO,WAAW,eAAe,OAAO,aAAa;AAGvE,IAAM,4BAA4B,CAAC,UAAsC;AAEvE,MAAI,OAAQ,MAAc,SAAS,YAAa,MAAc,KAAK,WAAW,QAAQ,GAAG;AACvF,UAAM,WAAY,MAAc,YAAY;AAC5C,UAAM,OAAQ,MAAc;AAE5B,WAAO,sBAAO,KAAK,MAAM;AAEvB,cAAQ;AAAA,QACN,yBAAyB,WAAW,QAAQ,OAAO,IAAI;AAAA,QACvD;AAAA;AAAA,QACA;AAAA;AAAA,QACA;AAAA;AAAA,QACA;AAAA;AAAA,MACF;AAEA,cAAQ,IAAI,KAAK;AAEjB,cAAQ,SAAS;AAAA,IACnB,CAAC;AAAA,EACH;AAEA,MAAI,MAAM,SAAS,mBAAmB;AACpC,UAAM,WAAW,MAAM,YAAY;AACnC,UAAM,eAAe,MAAM;AACzB,UAAI;AACF,eAAO,qBAAM,OAAO,MAAM,OAA+B,EAAE,kBAAkB,KAAK,CAAC;AAAA,MACrF,QAAQ;AACN,YAAI;AACF,iBAAO,KAAK,UAAU,MAAM,OAAO,MAAM,CAAC;AAAA,QAC5C,QAAQ;AACN,iBAAO,OAAO,MAAM,KAAK;AAAA,QAC3B;AAAA,MACF;AAAA,IACF,GAAG;AAEH,UAAM,MAAM,GAAG,QAAQ,IAAI,WAAW;AACtC,QAAI,qBAAqB,IAAI,GAAG,GAAG;AACjC,aAAO,sBAAO;AAAA,IAChB;AACA,yBAAqB,IAAI,GAAG;AAE5B,WAAO,sBAAO,KAAK,MAAM;AAEvB,cAAQ;AAAA,QACN,mCAAmC;AAAA,QACnC;AAAA;AAAA,QACA;AAAA;AAAA,QACA;AAAA;AAAA,MACF;AAEA,cAAQ,MAAM,WAAW;AAEzB,cAAQ,SAAS;AAAA,IACnB,CAAC;AAAA,EACH;AAEA,MAAI,MAAM,SAAS,cAAc;AAC/B,UAAM,WAAW,MAAM,YAAY;AACnC,UAAM,SAAS,QAAQ,MAAM,IAAI,YAAY,MAAM,OAAO,GACxD,MAAM,YAAY,WAAW,MAAM,SAAS,KAAK,EACnD,GAAG,MAAM,OAAO;AAAA,QAAW,MAAM,IAAI,KAAK,EAAE;AAE5C,UAAM,QACJ,MAAM,aAAa,YAAY,kBAAkB,MAAM,aAAa,SAAS,kBAAkB;AAEjG,UAAM,QACJ,MAAM,aAAa,YACf,wBACA,MAAM,aAAa,SACjB,qBACA;AAER,UAAM,MAAM,GAAG,QAAQ,IAAI,MAAM,IAAI,IAAI,MAAM,OAAO;AACtD,QAAI,sBAAsB,IAAI,GAAG,GAAG;AAClC,aAAO,sBAAO;AAAA,IAChB;AACA,0BAAsB,IAAI,GAAG;AAE7B,WAAO,sBAAO,KAAK,MAAM;AAEvB,cAAQ;AAAA,QACN,iBAAiB,QAAQ,eAAe;AAAA,QACxC;AAAA,QACA;AAAA,QACA;AAAA,MACF;AACA,UAAI,MAAM,aAAa,WAAW;AAEhC,gBAAQ,KAAK,MAAM;AAAA,MACrB,WAAW,MAAM,aAAa,QAAQ;AAEpC,gBAAQ,KAAK,MAAM;AAAA,MACrB,OAAO;AAEL,gBAAQ,MAAM,MAAM;AAAA,MACtB;AAEA,cAAQ,SAAS;AAAA,IACnB,CAAC;AAAA,EACH;AAIA,SAAO,sBAAO;AAChB;AAOA,IAAM,qBAA2B;AAAA,EAC/B,QAAQ,CAAC,UAAiB;AACxB,QAAI,CAAC,WAAW;AAEd,aAAO,MAAM,SAAS,oBAClB,kBAAkB,KAAK,IACvB,MAAM,SAAS,eACb,cAAc,KAAK,IACnB,sBAAO,SAAS,EAAE,YAAY,MAAM,CAAC;AAAA,IAC7C;AAEA,WAAO,0BAA0B,KAAK;AAAA,EACxC;AACF;AAEO,IAAM,sBAAsB,qBAAM,cAAc,mBAAmB,CAAC,kBAAkB,CAAC;AAQ9F,IAAM,+BAAqC;AAAA,EACzC,QAAQ,CAAC,UAAiB;AACxB,QAAI,CAAC,WAAW;AACd,aAAO,MAAM,SAAS,oBAClB,kBAAkB,KAAK,IACvB,MAAM,SAAS,gBAAgB,MAAM,aAAa,SAChD,cAAc,KAAK,IACnB,sBAAO;AAAA,IACf;AAEA,WAAO,MAAM,SAAS,qBAAsB,MAAM,SAAS,gBAAgB,MAAM,aAAa,SAC1F,0BAA0B,KAAK,IAC/B,sBAAO;AAAA,EACb;AACF;AAEO,IAAM,gCAAgC,qBAAM,cAAc,mBAAmB,CAAC,4BAA4B,CAAC;AAO3G,IAAM,2BAA2B,sBAAO;AAAA,EAC7C,sBAAO;AAAA,EACP,sBAAO,aAAa,EAAE,MAAM,WAAW,QAAQ,KAAK,CAAC;AACvD;AASO,IAAM,SAAS,CAAC,UACrB,sBAAO,IAAI,aAAa;AACtB,QAAM,QAAQ,OAAO,wBAAS,IAAI,iBAAiB;AAInD,MAAI,qBAAqB,KAAK,GAAG;AAC/B,QAAI,MAAM,SAAS,mBAAmB;AACpC,aAAO,kBAAkB,KAAK;AAC9B;AAAA,IACF;AACA,QAAI,MAAM,SAAS,cAAc;AAC/B,UAAI,MAAM,aAAa,QAAQ;AAC7B,eAAO,cAAc,KAAK;AAAA,MAC5B,OAAO;AACL,eAAO,sBAAO;AAAA,MAChB;AACA;AAAA,IACF;AACA,WAAO,sBAAO;AACd;AAAA,EACF;AAIA,MAAI,MAAM,WAAW,GAAG;AACtB,QAAI,WAAW;AACb,UAAI,MAAM,SAAS,qBAAqB,MAAM,SAAS,cAAc;AACnE,eAAO,0BAA0B,KAAK;AACtC;AAAA,MACF;AACA,aAAO,sBAAO;AACd;AAAA,IACF;AAEA,QAAI,MAAM,SAAS,mBAAmB;AACpC,aAAO,kBAAkB,KAAK;AAC9B;AAAA,IACF;AACA,QAAI,MAAM,SAAS,cAAc;AAC/B,aAAO,cAAc,KAAK;AAC1B;AAAA,IACF;AACA,WAAO,sBAAO;AACd;AAAA,EACF;AAEA,QAAM,WAAW;AAEjB,QAAM,mBAAmB,OAAO,wBAAS,IAAI,uBAAuB;AAKpE,MAAI;AACJ,QAAM,SAAS,MAAc;AAC3B,QAAI,QAAQ,OAAW,OAAM,KAAK,IAAI;AACtC,WAAO;AAAA,EACT;AAIA,MACE,SAAS,cAAc,WACtB,qBAAqB,SAAS,SAAS,SAAS,qBAAqB,SAAS,SAAS,eACxF;AACA;AAAC,IAAC,SAAiB,YAAY,OAAO;AAAA,EACxC;AACA,MAAI,qBAAqB,SAAS,SAAS,iBAAiB,QAAW;AACrE,UAAM,eAAe,OAAO,wBAAS,IAAI,mBAAmB;AAC5D,QAAI,cAAc;AAChB;AAAC,MAAC,SAAiB,eAAe;AAAA,IACpC;AAAA,EACF;AAEA,MAAI,SAAS,SAAS,gBAAiB,SAAiB,UAAU,QAAW;AAC3E,UAAM,QAAQ,OAAO,wBAAS,IAAI,YAAY;AAC9C,QAAI,OAAO;AACT;AAAC,MAAC,SAAiB,QAAQ;AAAA,IAC7B;AAAA,EACF;AAEA,MACE,qBAAqB,SACpB,SAAiB,SAAS,oBAC1B,SAAiB,WAAW,QAC7B;AACA,UAAM,SAAS,OAAO,wBAAS,IAAiB,aAAa;AAC7D,QAAI,QAAQ;AACV;AAAC,MAAC,SAAiB,SAAS;AAAA,IAC9B;AAAA,EACF;AAEA,MAAI,MAAM,WAAW,GAAG;AACtB,WAAO,MAAM,CAAC,EAAG,OAAO,QAAQ;AAChC;AAAA,EACF;AAEA,SAAO,sBAAO,QAAQ,OAAO,CAAC,SAAS,KAAK,OAAO,QAAQ,GAAG,EAAE,SAAS,KAAK,CAAC;AACjF,CAAC;;;AIn0BH,IAAAC,iBAAiC;AAwEjC,IAAI,YAAY;AAChB,IAAI,eAAe;AAEnB,IAAM,YAAY,MAAc;AAC9B,QAAM,KAAK,KAAK,IAAI;AACpB,MAAI,OAAO,WAAW;AACpB,oBAAgB;AAAA,EAClB,OAAO;AACL,gBAAY;AACZ,mBAAe;AAAA,EACjB;AAEA,SAAO,iBAAiB,IAAI,OAAO,EAAE,KAAK,OAAO,EAAE,IAAI,YAAY;AACrE;AAEA,IAAI,eAAe,UAAU;;;ACvF7B,IAAAC,iBAAgC;AAgBzB,IAAM,oCAAoC,wBAAS,WAAqD,CAAC,CAAC;;;AChBjH,IAAAC,iBAA+B;AA+E/B,IAAM,gCAAN,cAA4C,uBAAQ,IAAI,6CAA6C,EAGnG,EAAE;AAAC;AAML,IAAM,mCAAN,cAA+C,uBAAQ,IAAI,gDAAgD,EAGzG,EAAE;AAAC;AAUL,IAAM,0BAAN,cAAsC,uBAAQ,IAAI,gCAAgC,EAGhF,EAAE;AAAC;AAkFL,IAAM,mCAAN,cAA+C,uBAAQ,IAAI,yCAAyC,EAGlG,EAAE;AAAC;AA6BL,IAAM,2BAAN,cAAuC,uBAAQ,IAAI,iCAAiC,EAGlF,EAAE;AAAC;AAaL,IAAM,oCAAN,cAAgD,uBAAQ,IAAI,0CAA0C,EAGpG,EAAE;AAAC;;;APlEE,IAAMC,UAAkB;;;ADjJxB,IAAM,kBACX,CAAC,WACD,CAAU,OACR,sBAAO,IAAI,aAAa;AAEtB,MAAI,GAAG,MAAM,QAAQ,kBAAkB;AACrC,WAAO,OAAO,GAAG;AAAA,EACnB;AACA,MAAI,QAAQ,QAAQ;AAClB,WAAO,OAAO,EAAE;AAAA,EAClB,OAAO;AACL,WAAO,sBAAO,SAAS,mBAAmB,GAAG,IAAI,SAAS,GAAG,IAAI,EAAE;AAAA,EACrE;AACA,SAAO,OAAO,GAAG;AACnB,CAAC;AAOE,IAAM,aAAa,CAAC,OAAwB,WAAgD;AAAA,EACjG,GAAG;AAAA,EACH,gBAAgB,MAAM;AACxB;AAsBO,IAAM,oBACX,CAAC,WACD,CAAU,OACR,sBAAO,IAAI,aAAa;AAEtB,MAAI,GAAG,MAAM,QAAQ,kBAAkB;AACrC,WAAO,OAAO,GAAG;AAAA,EACnB;AACA,MAAI,CAAC,QAAQ,UAAU,OAAO,OAAO,EAAE,GAAG;AACxC,UAAM,OAAY,GAAG,QAAQ,CAAC;AAC9B,UAAM,SAAS;AAAA,MACb,IAAI,GAAG;AAAA,MACP,MAAM,GAAG;AAAA,MACT,MAAM,GAAG;AAAA,MACT,SAAS,GAAG;AAAA,MACZ,MAAM,GAAG;AAAA,IACX;AACA,WAAaC,QAAO;AAAA,MAClB,MAAM;AAAA,MACN,UAAU,OAAO,KAAK,aAAa,WAAW,KAAK,WAAW;AAAA,MAC9D,YAAY,OAAO,KAAK,eAAe,WAAW,KAAK,aAAa;AAAA,MACpE,cAAc,OAAO,KAAK,iBAAiB,WAAW,KAAK,eAAe;AAAA,MAC1E,QAAQ,OAAO,KAAK,WAAW,YAAY,OAAO,SAAS,KAAK,MAAM,IAAI,KAAK,MAAM,KAAK,MAAM,IAAI;AAAA,MACpG,MAAM;AAAA,IACR,CAAC;AAAA,EACH;AACA,SAAO,OAAO,GAAG;AACnB,CAAC;AAOE,IAAM,qBAAqB,CAAC,OAAwB,WAAkD;AAAA,EAC3G,GAAG;AAAA,EACH,kBAAkB,MAAM;AAC1B;AAmCO,IAAM,YAAY,CAAC,OAAwB,YAAgD;AAChG,MAAI,OAAO;AAGX,MAAI,SAAS,WAAW,OAAO;AAC7B,UAAM,eACJ,OAAO,SAAS,WAAW,aAAa,EAAE,QAAQ,QAAQ,OAAO,IAAI;AACvE,WAAO,WAAW,MAAM,YAAY;AAAA,EACtC;AAGA,MAAI,SAAS,aAAa,OAAO;AAG/B,UAAM,iBAAiB,SAAS;AAChC,UAAM,iBAAkD,mBAAmB,SAAY,SAAY;AACnG,WAAO,mBAAmB,MAAM,cAAc;AAAA,EAChD;AAEA,SAAO;AACT;","names":["import_effect","import_effect","import_effect","import_effect","import_effect","import_effect","import_effect","record","record"]}

package/dist/Middleware.d.cts

@@ -0,0 +1,88 @@
+import { Middleware as Middleware$1, MiddlewareStack as MiddlewareStack$1, EffectOp } from './EffectOp.cjs';
+import 'effect/Effect';
+import 'effect';
+
+type Middleware = Middleware$1;
+type MiddlewareStack = MiddlewareStack$1;
+interface DebugLoggerConfig {
+    /**
+     * Optional: custom logger function (useful for capturing calls in tests).
+     *
+     * - When omitted, defaults to Effect.logDebug.
+     */
+    readonly logger?: (op: EffectOp<any, any, any>) => void;
+}
+/**
+ * Creates a simple debug logger middleware.
+ *
+ * - Logs once before executing the Effect.
+ * - Does not change success/error semantics.
+ */
+declare const makeDebugLogger: (config?: DebugLoggerConfig) => Middleware;
+/**
+ * applyDebug：
+ * - Appends a DebugLogger middleware to the end of an existing MiddlewareStack.
+ * - Returns a new stack; does not mutate the input array.
+ */
+declare const applyDebug: (stack: MiddlewareStack, config?: DebugLoggerConfig) => MiddlewareStack;
+/**
+ * DebugObserverConfig：
+ * - Optional filter: select which EffectOps to observe (by module / kind / name, etc.).
+ */
+interface DebugObserverConfig {
+    readonly filter?: (op: EffectOp<any, any, any>) => boolean;
+}
+/**
+ * makeDebugObserver：
+ * - Funnels EffectOp events into DebugSink (EffectOp → Debug.Event).
+ * - Uses `trace:*` events to forward a slim view of EffectOp into the Debug stream (must not carry effect closures):
+ *   - type: 'trace:effectop'
+ *   - moduleId: from op.meta?.moduleId (when present)
+ *   - data: { id, kind, name, payload, meta }
+ *
+ * Notes:
+ * - Does not change the underlying Effect behavior; only adds Debug-side observation.
+ * - Devtools / Timeline UIs can rebuild an EffectOp timeline from `trace:effectop` events.
+ */
+declare const makeDebugObserver: (config?: DebugObserverConfig) => Middleware;
+/**
+ * applyDebugObserver：
+ * - Appends a DebugObserver middleware to the end of an existing MiddlewareStack.
+ * - Returns a new stack; does not mutate the input array.
+ */
+declare const applyDebugObserver: (stack: MiddlewareStack, config?: DebugObserverConfig) => MiddlewareStack;
+/**
+ * WithDebugOptions：
+ * - High-level composition options for adding Debug capabilities onto an existing MiddlewareStack.
+ *
+ * Conventions:
+ * - logger:
+ *   - undefined: enable the default DebugLogger (Effect.logDebug).
+ *   - function: use a custom logger(op) instead of the default.
+ *   - false: do not add DebugLogger middleware.
+ * - observer:
+ *   - undefined: enable DebugObserver with default config.
+ *   - DebugObserverConfig: enable DebugObserver with the given config.
+ *   - false: do not add DebugObserver middleware.
+ */
+interface WithDebugOptions {
+    readonly logger?: DebugLoggerConfig['logger'] | false;
+    readonly observer?: DebugObserverConfig | false;
+}
+/**
+ * withDebug：
+ * - Appends DebugLogger + DebugObserver presets onto an existing MiddlewareStack.
+ * - Allows enabling/disabling logger/observer and configuring them via options.
+ * - Returns a new stack; does not mutate the input array.
+ *
+ * @example
+ *
+ *   let stack: MiddlewareStack = [metrics, timing]
+ *   stack = Middleware.withDebug(stack, {
+ *     logger: (op) => console.log(op.kind, op.name),
+ *     observer: { filter: (op) => op.kind !== 'service' },
+ *   })
+ */
+declare const withDebug: (stack: MiddlewareStack, options?: WithDebugOptions) => MiddlewareStack;
+
+export { type DebugLoggerConfig, type DebugObserverConfig, type Middleware, type MiddlewareStack, type WithDebugOptions, applyDebug, applyDebugObserver, makeDebugLogger, makeDebugObserver, withDebug };

package/dist/Middleware.d.ts

@@ -0,0 +1,88 @@
+import { Middleware as Middleware$1, MiddlewareStack as MiddlewareStack$1, EffectOp } from './EffectOp.js';
+import 'effect/Effect';
+import 'effect';
+
+type Middleware = Middleware$1;
+type MiddlewareStack = MiddlewareStack$1;
+interface DebugLoggerConfig {
+    /**
+     * Optional: custom logger function (useful for capturing calls in tests).
+     *
+     * - When omitted, defaults to Effect.logDebug.
+     */
+    readonly logger?: (op: EffectOp<any, any, any>) => void;
+}
+/**
+ * Creates a simple debug logger middleware.
+ *
+ * - Logs once before executing the Effect.
+ * - Does not change success/error semantics.
+ */
+declare const makeDebugLogger: (config?: DebugLoggerConfig) => Middleware;
+/**
+ * applyDebug：
+ * - Appends a DebugLogger middleware to the end of an existing MiddlewareStack.
+ * - Returns a new stack; does not mutate the input array.
+ */
+declare const applyDebug: (stack: MiddlewareStack, config?: DebugLoggerConfig) => MiddlewareStack;
+/**
+ * DebugObserverConfig：
+ * - Optional filter: select which EffectOps to observe (by module / kind / name, etc.).
+ */
+interface DebugObserverConfig {
+    readonly filter?: (op: EffectOp<any, any, any>) => boolean;
+}
+/**
+ * makeDebugObserver：
+ * - Funnels EffectOp events into DebugSink (EffectOp → Debug.Event).
+ * - Uses `trace:*` events to forward a slim view of EffectOp into the Debug stream (must not carry effect closures):
+ *   - type: 'trace:effectop'
+ *   - moduleId: from op.meta?.moduleId (when present)
+ *   - data: { id, kind, name, payload, meta }
+ *
+ * Notes:
+ * - Does not change the underlying Effect behavior; only adds Debug-side observation.
+ * - Devtools / Timeline UIs can rebuild an EffectOp timeline from `trace:effectop` events.
+ */
+declare const makeDebugObserver: (config?: DebugObserverConfig) => Middleware;
+/**
+ * applyDebugObserver：
+ * - Appends a DebugObserver middleware to the end of an existing MiddlewareStack.
+ * - Returns a new stack; does not mutate the input array.
+ */
+declare const applyDebugObserver: (stack: MiddlewareStack, config?: DebugObserverConfig) => MiddlewareStack;
+/**
+ * WithDebugOptions：
+ * - High-level composition options for adding Debug capabilities onto an existing MiddlewareStack.
+ *
+ * Conventions:
+ * - logger:
+ *   - undefined: enable the default DebugLogger (Effect.logDebug).
+ *   - function: use a custom logger(op) instead of the default.
+ *   - false: do not add DebugLogger middleware.
+ * - observer:
+ *   - undefined: enable DebugObserver with default config.
+ *   - DebugObserverConfig: enable DebugObserver with the given config.
+ *   - false: do not add DebugObserver middleware.
+ */
+interface WithDebugOptions {
+    readonly logger?: DebugLoggerConfig['logger'] | false;
+    readonly observer?: DebugObserverConfig | false;
+}
+/**
+ * withDebug：
+ * - Appends DebugLogger + DebugObserver presets onto an existing MiddlewareStack.
+ * - Allows enabling/disabling logger/observer and configuring them via options.
+ * - Returns a new stack; does not mutate the input array.
+ *
+ * @example
+ *
+ *   let stack: MiddlewareStack = [metrics, timing]
+ *   stack = Middleware.withDebug(stack, {
+ *     logger: (op) => console.log(op.kind, op.name),
+ *     observer: { filter: (op) => op.kind !== 'service' },
+ *   })
+ */
+declare const withDebug: (stack: MiddlewareStack, options?: WithDebugOptions) => MiddlewareStack;
+
+export { type DebugLoggerConfig, type DebugObserverConfig, type Middleware, type MiddlewareStack, type WithDebugOptions, applyDebug, applyDebugObserver, makeDebugLogger, makeDebugObserver, withDebug };

package/dist/Middleware.js

@@ -0,0 +1,27 @@
+import {
+  applyDebug,
+  applyDebugObserver,
+  makeDebugLogger,
+  makeDebugObserver,
+  withDebug
+} from "./chunk-QMM6O4CD.js";
+import "./chunk-W3TEWHLO.js";
+import "./chunk-66ALHVEX.js";
+import "./chunk-ZFY7U2FR.js";
+import "./chunk-M3BFQ7HK.js";
+import "./chunk-IHVBV5C2.js";
+import "./chunk-3RMKLXHX.js";
+import "./chunk-3QMIVH35.js";
+import "./chunk-DMBALCE2.js";
+import "./chunk-GMPEOUP2.js";
+import "./chunk-M7IYCTJV.js";
+import "./chunk-JWOYLO27.js";
+import "./chunk-PZ5AY32C.js";
+export {
+  applyDebug,
+  applyDebugObserver,
+  makeDebugLogger,
+  makeDebugObserver,
+  withDebug
+};
+//# sourceMappingURL=Middleware.js.map

package/dist/Middleware.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}