@logixjs/core 0.0.1

package/dist/Flow.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/Flow.ts","../src/internal/runtime/core/FlowRuntime.ts","../src/internal/effect-op.ts","../src/internal/runtime/core/EffectOpCore.ts","../src/internal/observability/runSession.ts","../src/internal/observability/jsonValue.ts","../src/internal/runtime/core/DebugSink.ts","../src/internal/runtime/core/errorSummary.ts","../src/internal/runtime/core/ReadQuery.ts"],"sourcesContent":["import type { AnyModuleShape, ModuleShape } from './internal/module.js'\nimport type * as Logic from './Logic.js'\nimport * as FlowRuntime from './internal/runtime/FlowRuntime.js'\n\n// Flow: public API for business flow orchestration (wraps internal/runtime/FlowRuntime kernel).\n\nexport type Env<Sh extends AnyModuleShape, R = unknown> = Logic.Env<Sh, R>\n\nexport type Api<Sh extends ModuleShape<any, any>, R = never> = FlowRuntime.Api<Sh, R>\n\nexport const make = FlowRuntime.make\n","import { Effect, Stream, Ref, Option } from 'effect'\nimport type { AnyModuleShape, ModuleRuntime, StateOf, ActionOf, ModuleShape } from './module.js'\nimport type * as Logic from './LogicMiddleware.js'\nimport * as EffectOp from '../../effect-op.js'\nimport * as EffectOpCore from './EffectOpCore.js'\nimport { RunSessionTag } from '../../observability/runSession.js'\nimport type { RuntimeInternals } from './RuntimeInternals.js'\nimport * as Debug from './DebugSink.js'\nimport * as ReadQuery from './ReadQuery.js'\n\nconst getMiddlewareStack = (): Effect.Effect<EffectOp.MiddlewareStack, never, any> =>\n  Effect.serviceOption(EffectOpCore.EffectOpMiddlewareTag).pipe(\n    Effect.map((maybe) => (Option.isSome(maybe) ? maybe.value.stack : [])),\n  )\n\nconst getRuntimeScope = (runtime: unknown): { readonly moduleId?: string; readonly instanceId?: string } => {\n  if (!runtime) return {}\n  if (typeof runtime !== 'object' && typeof runtime !== 'function') return {}\n  const scope = runtime as { readonly moduleId?: unknown; readonly instanceId?: unknown }\n  return {\n    moduleId: typeof scope.moduleId === 'string' ? scope.moduleId : undefined,\n    instanceId: typeof scope.instanceId === 'string' ? scope.instanceId : undefined,\n  }\n}\n\nexport interface Api<Sh extends ModuleShape<any, any>, R = never> {\n  readonly fromAction: <T extends ActionOf<Sh>>(predicate: (a: ActionOf<Sh>) => a is T) => Stream.Stream<T>\n\n  readonly fromState: {\n    <V>(selector: (s: StateOf<Sh>) => V): Stream.Stream<V>\n    <V>(query: ReadQuery.ReadQuery<StateOf<Sh>, V>): Stream.Stream<V>\n  }\n\n  readonly debounce: <V>(ms: number) => (stream: Stream.Stream<V>) => Stream.Stream<V>\n\n  readonly throttle: <V>(ms: number) => (stream: Stream.Stream<V>) => Stream.Stream<V>\n\n  readonly filter: <V>(predicate: (value: V) => boolean) => (stream: Stream.Stream<V>) => Stream.Stream<V>\n\n  readonly run: <V, A = void, E = never, R2 = unknown>(\n    eff: Logic.Of<Sh, R & R2, A, E> | ((payload: V) => Logic.Of<Sh, R & R2, A, E>),\n    options?: Logic.OperationOptions,\n  ) => (stream: Stream.Stream<V>) => Effect.Effect<void, E, Logic.Env<Sh, R & R2>>\n\n  readonly runParallel: <V, A = void, E = never, R2 = unknown>(\n    eff: Logic.Of<Sh, R & R2, A, E> | ((payload: V) => Logic.Of<Sh, R & R2, A, E>),\n    options?: Logic.OperationOptions,\n  ) => (stream: Stream.Stream<V>) => Effect.Effect<void, E, Logic.Env<Sh, R & R2>>\n\n  readonly runLatest: <V, A = void, E = never, R2 = unknown>(\n    eff: Logic.Of<Sh, R & R2, A, E> | ((payload: V) => Logic.Of<Sh, R & R2, A, E>),\n    options?: Logic.OperationOptions,\n  ) => (stream: Stream.Stream<V>) => Effect.Effect<void, E, Logic.Env<Sh, R & R2>>\n\n  readonly runExhaust: <V, A = void, E = never, R2 = unknown>(\n    eff: Logic.Of<Sh, R & R2, A, E> | ((payload: V) => Logic.Of<Sh, R & R2, A, E>),\n    options?: Logic.OperationOptions,\n  ) => (stream: Stream.Stream<V>) => Effect.Effect<void, E, Logic.Env<Sh, R & R2>>\n}\n\nconst resolveEffect = <T, Sh extends AnyModuleShape, R, A, E>(\n  eff: Logic.Of<Sh, R, A, E> | ((payload: T) => Logic.Of<Sh, R, A, E>),\n  payload: T,\n): Logic.Of<Sh, R, A, E> => (typeof eff === 'function' ? (eff as (p: T) => Logic.Of<Sh, R, A, E>)(payload) : eff)\n\nexport const make = <Sh extends AnyModuleShape, R = never>(\n  runtime: ModuleRuntime<StateOf<Sh>, ActionOf<Sh>>,\n  runtimeInternals?: RuntimeInternals,\n): Api<Sh, R> => {\n  const scope = getRuntimeScope(runtime)\n  const resolveConcurrencyLimit = (): Effect.Effect<number | 'unbounded', never, any> =>\n    runtimeInternals\n      ? runtimeInternals.concurrency.resolveConcurrencyPolicy().pipe(Effect.map((p) => p.concurrencyLimit))\n      : Effect.succeed(16)\n\n  const runAsFlowOp = <A, E, R2, V>(\n    name: string,\n    payload: V,\n    eff: Effect.Effect<A, E, Logic.Env<Sh, R & R2>>,\n    options?: Logic.OperationOptions,\n  ): Effect.Effect<A, E, Logic.Env<Sh, R & R2>> =>\n    Effect.gen(function* () {\n      const stack = yield* getMiddlewareStack()\n      const meta: any = {\n        ...(options?.meta ?? {}),\n        policy: options?.policy,\n        tags: options?.tags,\n        trace: options?.trace,\n        moduleId: scope.moduleId,\n        instanceId: scope.instanceId,\n      }\n\n      if (!(typeof meta.opSeq === 'number' && Number.isFinite(meta.opSeq))) {\n        const sessionOpt = yield* Effect.serviceOption(RunSessionTag)\n        if (Option.isSome(sessionOpt)) {\n          const key = meta.instanceId ?? 'global'\n          meta.opSeq = sessionOpt.value.local.nextSeq('opSeq', key)\n        }\n      }\n\n      const op = EffectOp.make<A, E, any>({\n        kind: 'flow',\n        name,\n        payload,\n        effect: eff as any,\n        meta,\n      })\n      return yield* EffectOp.run(op, stack)\n    }) as any\n\n  const runEffect =\n    <T, A, E, R2>(eff: Logic.Of<Sh, R & R2, A, E> | ((payload: T) => Logic.Of<Sh, R & R2, A, E>)) =>\n    (payload: T) =>\n      resolveEffect<T, Sh, R & R2, A, E>(eff, payload)\n\n  const runStreamSequential =\n    <T, A, E, R2>(\n      eff: Logic.Of<Sh, R & R2, A, E> | ((payload: T) => Logic.Of<Sh, R & R2, A, E>),\n      options?: Logic.OperationOptions,\n    ) =>\n    (stream: Stream.Stream<T>): Effect.Effect<void, E, Logic.Env<Sh, R & R2>> =>\n      Stream.runForEach(stream, (payload) =>\n        runAsFlowOp<A, E, R2, T>('flow.run', payload, runEffect<T, A, E, R2>(eff)(payload), options),\n      )\n\n  const runStreamParallel =\n    <T, A, E, R2>(\n      eff: Logic.Of<Sh, R & R2, A, E> | ((payload: T) => Logic.Of<Sh, R & R2, A, E>),\n      options?: Logic.OperationOptions,\n    ) =>\n    (stream: Stream.Stream<T>): Effect.Effect<void, E, Logic.Env<Sh, R & R2>> =>\n      Effect.gen(function* () {\n        const concurrency = yield* resolveConcurrencyLimit()\n\n        return yield* Stream.runDrain(\n          stream.pipe(\n            Stream.mapEffect(\n              (payload) =>\n                runAsFlowOp<A, E, R2, T>('flow.runParallel', payload, runEffect<T, A, E, R2>(eff)(payload), options),\n              { concurrency },\n            ),\n          ),\n        ).pipe(\n          Effect.catchAllCause((cause) =>\n            Debug.record({\n              type: 'diagnostic',\n              moduleId: scope.moduleId,\n              instanceId: scope.instanceId,\n              code: 'flow::unhandled_failure',\n              severity: 'error',\n              message: 'Flow watcher (runParallel) failed with an unhandled error.',\n              hint: 'Handle errors explicitly inside the watcher (catch/catchAll) or write back via TaskRunner failure; avoid silent failures.',\n              kind: 'flow_unhandled_failure',\n              trigger: {\n                kind: 'flow',\n                name: 'runParallel',\n              },\n            }).pipe(Effect.zipRight(Effect.failCause(cause))),\n          ),\n        )\n      }) as any\n\n  return {\n    fromAction: <T extends ActionOf<Sh>>(predicate: (a: ActionOf<Sh>) => a is T) =>\n      runtime.actions$.pipe(Stream.filter(predicate)),\n\n    fromState: <V>(selectorOrQuery: ((s: StateOf<Sh>) => V) | ReadQuery.ReadQuery<StateOf<Sh>, V>) =>\n      runtime.changes(ReadQuery.isReadQuery(selectorOrQuery) ? selectorOrQuery.select : selectorOrQuery),\n\n    debounce: (ms: number) => (stream) => Stream.debounce(stream, ms),\n\n    throttle: (ms: number) => (stream) =>\n      Stream.throttle(stream, {\n        cost: () => 1,\n        units: 1,\n        duration: ms,\n        strategy: 'enforce',\n      }),\n\n    filter: (predicate: (value: any) => boolean) => (stream) => Stream.filter(stream, predicate),\n\n    run: (eff, options) => (stream) => runStreamSequential<any, any, any, any>(eff, options)(stream),\n\n    runParallel: (eff, options) => (stream) => runStreamParallel<any, any, any, any>(eff, options)(stream),\n\n    runLatest: (eff, options) => (stream) =>\n      Stream.runDrain(\n        Stream.map(stream, (payload) =>\n          runAsFlowOp<any, any, any, any>(\n            'flow.runLatest',\n            payload,\n            runEffect<any, any, any, any>(eff)(payload),\n            options,\n          ),\n        ).pipe(\n          Stream.flatMap((effect) => Stream.fromEffect(effect), {\n            switch: true,\n          }),\n        ),\n      ),\n\n    runExhaust: (eff, options) => (stream) =>\n      Effect.gen(function* () {\n        const concurrency = yield* resolveConcurrencyLimit()\n        const busyRef = yield* Ref.make(false)\n        const mapper = (payload: any) =>\n          Effect.gen(function* () {\n            const acquired = yield* Ref.modify(busyRef, (busy) =>\n              busy ? ([false, busy] as const) : ([true, true] as const),\n            )\n            if (!acquired) {\n              return\n            }\n            try {\n              yield* runAsFlowOp<any, any, any, any>(\n                'flow.runExhaust',\n                payload,\n                runEffect<any, any, any, any>(eff)(payload),\n                options,\n              )\n            } finally {\n              yield* Ref.set(busyRef, false)\n            }\n          })\n\n        return yield* Stream.runDrain(stream.pipe(Stream.mapEffect(mapper, { concurrency })))\n      }),\n  }\n}\n","// Internal EffectOp API (for internal implementation code).\n//\n// Goal:\n// - Internal modules must never import root public submodules (e.g. `../EffectOp`).\n// - This file hosts the shared implementation; public `src/EffectOp.ts` delegates to it.\n\nimport { Effect, Option } from 'effect'\nimport * as Core from './runtime/core/EffectOpCore.js'\nimport { RunSessionTag } from './observability/runSession.js'\n\nexport type EffectOp<Out = unknown, Err = unknown, Env = unknown> = Core.EffectOp<Out, Err, Env>\n\nexport type OperationPolicy = Core.OperationPolicy\n\nexport type OperationRejected = Core.OperationRejected\n\nexport type OperationError<E> = Core.OperationError<E>\n\nexport type Middleware = Core.Middleware\n\nexport type MiddlewareStack = Core.MiddlewareStack\n\nexport const composeMiddleware = Core.composeMiddleware\n\nexport const makeOperationRejected = Core.makeOperationRejected\n\n/**\n * Generate a stable id for identifying an EffectOp.\n * - Uses a monotonic sequence by default to avoid non-replayability from randomness/time.\n * - If meta.instanceId is available, prefer deriving `${instanceId}::o${opSeq}`.\n */\nlet nextGlobalOpSeq = 0\n\nconst nextOpSeq = (): number => {\n  nextGlobalOpSeq += 1\n  return nextGlobalOpSeq\n}\n\nconst makeId = (instanceId: string | undefined, opSeq: number): string =>\n  instanceId ? `${instanceId}::o${opSeq}` : `o${opSeq}`\n\n/**\n * EffectOp.make：\n * - Create an EffectOp with basic meta.\n * - Generates a stable id by default (based on `instanceId` + monotonic `opSeq`); callers may override externally.\n */\nexport const make = <A, E, R>(params: {\n  readonly kind: EffectOp['kind']\n  readonly name: string\n  readonly effect: Effect.Effect<A, E, R>\n  readonly payload?: unknown\n  readonly meta?: EffectOp['meta']\n  readonly id?: string\n}): EffectOp<A, E, R> => ({\n  ...(params.id\n    ? { id: params.id, meta: params.meta }\n    : (() => {\n        const meta: any = params.meta ?? {}\n        const instanceId: string | undefined = meta.instanceId\n        const opSeq: number =\n          typeof meta.opSeq === 'number' && Number.isFinite(meta.opSeq) ? Math.floor(meta.opSeq) : nextOpSeq()\n        return {\n          id: makeId(instanceId, opSeq),\n          meta: meta.opSeq === opSeq ? meta : { ...meta, opSeq },\n        }\n      })()),\n  kind: params.kind,\n  name: params.name,\n  payload: params.payload,\n  effect: params.effect,\n})\n\n/**\n * EffectOp.makeInRunSession：\n * - Allocate a stable `opSeq` within a RunSession scope (per-session + per-instance).\n * - If RunSession is missing from Env, fall back to a process-wide monotonic sequence (no process-wide Map).\n */\nexport const makeInRunSession = <A, E, R>(params: {\n  readonly kind: EffectOp['kind']\n  readonly name: string\n  readonly effect: Effect.Effect<A, E, R>\n  readonly payload?: unknown\n  readonly meta?: EffectOp['meta']\n  readonly id?: string\n}): Effect.Effect<EffectOp<A, E, R>, never, any> =>\n  Effect.gen(function* () {\n    if (params.id) {\n      return {\n        id: params.id,\n        kind: params.kind,\n        name: params.name,\n        payload: params.payload,\n        meta: params.meta,\n        effect: params.effect,\n      } satisfies EffectOp<A, E, R>\n    }\n\n    const meta: any = params.meta ?? {}\n    const instanceId: string | undefined = meta.instanceId\n\n    let opSeq: number\n    if (typeof meta.opSeq === 'number' && Number.isFinite(meta.opSeq)) {\n      opSeq = Math.floor(meta.opSeq)\n    } else {\n      const sessionOpt = yield* Effect.serviceOption(RunSessionTag)\n      if (Option.isSome(sessionOpt)) {\n        const key = instanceId ?? 'global'\n        opSeq = sessionOpt.value.local.nextSeq('opSeq', key)\n      } else {\n        opSeq = nextOpSeq()\n      }\n    }\n\n    return {\n      id: makeId(instanceId, opSeq),\n      kind: params.kind,\n      name: params.name,\n      payload: params.payload,\n      meta: meta.opSeq === opSeq ? meta : { ...meta, opSeq },\n      effect: params.effect,\n    } satisfies EffectOp<A, E, R>\n  })\n\n/**\n * EffectOp.withMeta：\n * - Append or override meta fields on an existing EffectOp.\n * - Does not change the effect itself.\n */\nexport const withMeta = <A, E, R>(\n  op: EffectOp<A, E, R>,\n  meta: Partial<NonNullable<EffectOp['meta']>>,\n): EffectOp<A, E, R> => ({\n  ...op,\n  meta: { ...(op.meta ?? {}), ...meta },\n})\n\n/**\n * EffectOp.run：\n * - Execute an EffectOp using the given MiddlewareStack.\n * - If the stack is empty, return op.effect directly.\n */\nexport const run = <A, E, R>(op: EffectOp<A, E, R>, stack: MiddlewareStack): Effect.Effect<A, E, R> =>\n  Core.runWithMiddleware(op, stack)\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 { Context, Layer } from 'effect'\nimport type { JsonValue } from './jsonValue.js'\nimport type { EvidencePackage, EvidencePackageSource, ObservationEnvelope } from './evidence.js'\nimport { exportEvidencePackage, OBSERVABILITY_PROTOCOL_VERSION } from './evidence.js'\n\nexport type RunId = string\n\nexport interface RunSessionLocalState {\n  /**\n   * once: a de-dup key set for \"emit only once\" behavior (must be isolated per session to avoid cross-session pollution).\n   * Returns true if it's the first occurrence, false if the key has been seen before.\n   */\n  readonly once: (key: string) => boolean\n\n  /**\n   * seq: allocate monotonic sequences by key (e.g. opSeq/eventSeq), must be isolated per session.\n   */\n  readonly nextSeq: (namespace: string, key: string) => number\n\n  /** Tests/reset only: clear this session's local state. */\n  readonly clear: () => void\n}\n\nexport interface RunSession {\n  readonly runId: RunId\n  readonly source: EvidencePackageSource\n  readonly startedAt: number\n  readonly local: RunSessionLocalState\n}\n\nclass RunSessionTagImpl extends Context.Tag('@logixjs/core/RunSession')<RunSessionTagImpl, RunSession>() {}\n\nexport const RunSessionTag = RunSessionTagImpl\n\nexport interface EvidenceSink {\n  readonly record: (type: string, payload: JsonValue, options?: { readonly timestamp?: number }) => void\n  readonly export: (options?: {\n    readonly protocolVersion?: string\n    readonly createdAt?: number\n    readonly summary?: JsonValue\n    readonly maxEvents?: number\n  }) => EvidencePackage\n  readonly clear: () => void\n}\n\nconst NEXT_RUN_SEQ_KEY = Symbol.for('@logixjs/core/runSession/nextRunSeq')\nlet fallbackNextRunSeq = 0\n\nconst nextRunSeq = (): number => {\n  try {\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    const g: any = globalThis as any\n    const prev = typeof g[NEXT_RUN_SEQ_KEY] === 'number' ? (g[NEXT_RUN_SEQ_KEY] as number) : 0\n    const next = prev + 1\n    g[NEXT_RUN_SEQ_KEY] = next\n    return next\n  } catch {\n    fallbackNextRunSeq += 1\n    return fallbackNextRunSeq\n  }\n}\n\nconst makeRunId = (startedAt: number): RunId => `run-${startedAt}.${nextRunSeq()}`\n\nexport const makeRunSessionLocalState = (): RunSessionLocalState => {\n  const onceKeys = new Set<string>()\n  const seqByNamespace = new Map<string, Map<string, number>>()\n\n  return {\n    once: (key) => {\n      if (onceKeys.has(key)) return false\n      onceKeys.add(key)\n      return true\n    },\n    nextSeq: (namespace, key) => {\n      const byKey = seqByNamespace.get(namespace) ?? new Map<string, number>()\n      if (!seqByNamespace.has(namespace)) seqByNamespace.set(namespace, byKey)\n      const prev = byKey.get(key) ?? 0\n      const next = prev + 1\n      byKey.set(key, next)\n      return next\n    },\n    clear: () => {\n      onceKeys.clear()\n      seqByNamespace.clear()\n    },\n  }\n}\n\nexport const makeRunSession = (options?: {\n  readonly runId?: RunId\n  readonly source?: EvidencePackageSource\n  readonly startedAt?: number\n  readonly local?: RunSessionLocalState\n}): RunSession => {\n  const startedAt = options?.startedAt ?? Date.now()\n  return {\n    runId: options?.runId ?? makeRunId(startedAt),\n    source: options?.source ?? { host: 'unknown' },\n    startedAt,\n    local: options?.local ?? makeRunSessionLocalState(),\n  }\n}\n\nexport const makeEvidenceSink = (session: RunSession): EvidenceSink => {\n  const events: ObservationEnvelope[] = []\n  let nextSeq = 1\n\n  return {\n    record: (type, payload, options) => {\n      events.push({\n        protocolVersion: OBSERVABILITY_PROTOCOL_VERSION,\n        runId: session.runId,\n        seq: nextSeq++,\n        timestamp: options?.timestamp ?? Date.now(),\n        type,\n        payload,\n      })\n    },\n    export: (options) => {\n      const protocolVersion = options?.protocolVersion ?? OBSERVABILITY_PROTOCOL_VERSION\n      const maxEvents = options?.maxEvents\n\n      const selected =\n        typeof maxEvents === 'number' && Number.isFinite(maxEvents) && maxEvents > 0\n          ? events.slice(Math.max(0, events.length - Math.floor(maxEvents)))\n          : events.slice()\n\n      return exportEvidencePackage({\n        protocolVersion,\n        runId: session.runId,\n        source: session.source,\n        createdAt: options?.createdAt,\n        events: selected,\n        summary: options?.summary,\n      })\n    },\n    clear: () => {\n      events.length = 0\n      nextSeq = 1\n    },\n  }\n}\n\nexport const runSessionLayer = (session?: RunSession): Layer.Layer<RunSessionTagImpl, never, never> =>\n  Layer.succeed(RunSessionTag, session ?? makeRunSession()) as Layer.Layer<RunSessionTagImpl, never, never>\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, 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","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","import { fnv1a32, stableStringify } from '../../digest.js'\nimport type * as DebugSink from './DebugSink.js'\n\nexport type ReadLane = 'static' | 'dynamic'\n\nexport type ReadProducer = 'aot' | 'jit' | 'manual' | 'dynamic'\n\nexport type ReadQueryFallbackReason = 'missingDeps' | 'unsupportedSyntax' | 'unstableSelectorId'\n\nexport type EqualsKind = 'objectIs' | 'shallowStruct' | 'custom'\n\nexport interface ReadsDigest {\n  readonly count: number\n  readonly hash: number\n}\n\nexport interface ReadQueryStaticIr {\n  readonly selectorId: string\n  readonly debugKey?: string\n  readonly lane: ReadLane\n  readonly producer: ReadProducer\n  readonly reads?: ReadonlyArray<string | number>\n  readonly readsDigest?: ReadsDigest\n  readonly fallbackReason?: ReadQueryFallbackReason\n  readonly equalsKind: EqualsKind\n}\n\nexport interface ReadQuery<S, V> {\n  readonly selectorId: string\n  readonly debugKey?: string\n  readonly reads: ReadonlyArray<string | number>\n  readonly select: (state: S) => V\n  readonly equalsKind: EqualsKind\n  readonly equals?: (previous: V, next: V) => boolean\n}\n\nexport interface ReadQueryCompiled<S, V> extends ReadQuery<S, V> {\n  readonly lane: ReadLane\n  readonly producer: ReadProducer\n  readonly readsDigest?: ReadsDigest\n  readonly fallbackReason?: ReadQueryFallbackReason\n  readonly staticIr: ReadQueryStaticIr\n}\n\nexport type ReadQueryInput<S, V> = ((state: S) => V) | ReadQuery<S, V>\n\nexport function isReadQuery<S, V>(input: ReadQueryInput<S, V>): input is ReadQuery<S, V>\nexport function isReadQuery(input: unknown): input is ReadQuery<any, any>\nexport function isReadQuery(input: unknown): input is ReadQuery<any, any> {\n  if (!input || (typeof input !== 'object' && typeof input !== 'function')) return false\n  const maybe = input as any\n  return typeof maybe.selectorId === 'string' && typeof maybe.select === 'function' && Array.isArray(maybe.reads)\n}\n\nconst normalizeReads = (reads: ReadonlyArray<string | number>): ReadonlyArray<string | number> => {\n  const unique: Array<string | number> = []\n  const seen = new Set<string>()\n  for (const r of reads) {\n    const key = typeof r === 'number' ? `n:${r}` : `s:${r}`\n    if (seen.has(key)) continue\n    seen.add(key)\n    unique.push(r)\n  }\n  return unique.slice().sort((a, b) => String(a).localeCompare(String(b)))\n}\n\nconst toHash32Number = (hex: string): number => Number.parseInt(hex, 16)\n\nconst makeReadsDigest = (reads: ReadonlyArray<string | number>): ReadsDigest => {\n  const normalized = normalizeReads(reads)\n  return {\n    count: normalized.length,\n    hash: toHash32Number(fnv1a32(stableStringify(normalized))),\n  }\n}\n\nconst computeSelectorId = (value: unknown): string => `rq_${fnv1a32(stableStringify(value))}`\n\nlet nextUnstableSelectorSeq = 0\nconst unstableSelectorIdByFn = new WeakMap<Function, string>()\n\nconst computeUnstableSelectorId = (selector: Function): string => {\n  const existing = unstableSelectorIdByFn.get(selector)\n  if (existing) return existing\n  nextUnstableSelectorSeq += 1\n  const selectorId = `rq_u${nextUnstableSelectorSeq}`\n  unstableSelectorIdByFn.set(selector, selectorId)\n  return selectorId\n}\n\nconst unwrapParens = (input: string): string => {\n  const trimmed = input.trim()\n  if (trimmed.startsWith('(') && trimmed.endsWith(')')) {\n    const inner = trimmed.slice(1, -1).trim()\n    // Only unwrap the outermost pair of parentheses to avoid accidentally breaking syntax.\n    if (!inner.startsWith('(') || !inner.endsWith(')')) {\n      return inner\n    }\n  }\n  return trimmed\n}\n\nconst extractArrow = (source: string): { readonly param: string; readonly body: string } | undefined => {\n  const idx = source.indexOf('=>')\n  if (idx < 0) return undefined\n  const left = source.slice(0, idx).trim()\n  const right = source.slice(idx + 2).trim()\n\n  const paramRaw = unwrapParens(left)\n  if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(paramRaw)) return undefined\n\n  // block body: { return expr }\n  if (right.startsWith('{')) {\n    const m = right.match(/^\\{\\s*return\\s+(.+?);?\\s*\\}\\s*$/s)\n    if (!m) return undefined\n    return { param: paramRaw, body: m[1]?.trim() ?? '' }\n  }\n\n  return { param: paramRaw, body: right }\n}\n\nconst extractFunctionReturn = (source: string): { readonly param: string; readonly body: string } | undefined => {\n  const trimmed = source.trim()\n  const m = trimmed.match(\n    /^function\\s*(?:[A-Za-z_$][A-Za-z0-9_$]*\\s*)?\\(\\s*([A-Za-z_$][A-Za-z0-9_$]*)\\s*\\)\\s*\\{\\s*return\\s+(.+?);?\\s*\\}\\s*$/s,\n  )\n  if (!m) return undefined\n\n  const param = m[1]?.trim() ?? ''\n  if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(param)) return undefined\n\n  const body = m[2]?.trim() ?? ''\n  if (body.length === 0) return undefined\n\n  return { param, body }\n}\n\ntype ParsedSelector =\n  | { readonly kind: 'path'; readonly path: string }\n  | { readonly kind: 'struct'; readonly entries: ReadonlyArray<readonly [string, string]> }\n\nconst tryParseSelectorSource = (source: string): ParsedSelector | undefined => {\n  const arrowOrFn = extractArrow(source) ?? extractFunctionReturn(source)\n  if (!arrowOrFn) return undefined\n\n  const expr = unwrapParens(arrowOrFn.body).trim().replace(/;$/, '').trim()\n\n  // path: s.a.b\n  {\n    const re = new RegExp(`^${arrowOrFn.param}\\\\.([A-Za-z0-9_$]+(?:\\\\.[A-Za-z0-9_$]+)*)$`)\n    const m = expr.match(re)\n    if (m) {\n      return { kind: 'path', path: m[1] }\n    }\n  }\n\n  // struct: ({ a: s.a, b: s.b })\n  if (expr.startsWith('{') && expr.endsWith('}')) {\n    const inner = expr.slice(1, -1).trim()\n    if (inner.length === 0) return { kind: 'struct', entries: [] }\n\n    const parts = inner\n      .split(',')\n      .map((p) => p.trim())\n      .filter((p) => p.length > 0)\n\n    const entries: Array<readonly [string, string]> = []\n\n    for (const part of parts) {\n      const idx = part.indexOf(':')\n      if (idx < 0) return undefined\n      const key = part.slice(0, idx).trim()\n      const value = part.slice(idx + 1).trim()\n\n      if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(key)) return undefined\n\n      const re = new RegExp(`^${arrowOrFn.param}\\\\.([A-Za-z0-9_$]+(?:\\\\.[A-Za-z0-9_$]+)*)$`)\n      const m = value.match(re)\n      if (!m) return undefined\n      entries.push([key, m[1]] as const)\n    }\n\n    // Sort entries to ensure a stable selectorId.\n    entries.sort((a, b) => a[0].localeCompare(b[0]))\n    return { kind: 'struct', entries }\n  }\n\n  return undefined\n}\n\ntype ReadQueryStaticTemplate = {\n  readonly selectorId: string\n  readonly reads: ReadonlyArray<string | number>\n  readonly readsDigest: ReadsDigest\n  readonly equalsKind: EqualsKind\n}\n\nconst READ_QUERY_TEMPLATE_CACHE_MAX = 2048\nconst readQueryTemplateByFn = new WeakMap<Function, ReadQueryStaticTemplate>()\nconst readQueryTemplateBySource = new Map<string, ReadQueryStaticTemplate>()\n\nconst lruGet = <K, V>(map: Map<K, V>, key: K): V | undefined => {\n  const value = map.get(key)\n  if (value === undefined) return undefined\n  map.delete(key)\n  map.set(key, value)\n  return value\n}\n\nconst lruSet = <K, V>(map: Map<K, V>, key: K, value: V, maxSize: number) => {\n  if (map.has(key)) map.delete(key)\n  map.set(key, value)\n  if (map.size <= maxSize) return\n  const oldestKey = map.keys().next().value as K | undefined\n  if (oldestKey !== undefined) {\n    map.delete(oldestKey)\n  }\n}\n\nconst safeToString = (fn: Function): string => {\n  try {\n    return fn.toString()\n  } catch {\n    return ''\n  }\n}\n\nexport const make = <S, V>(spec: ReadQuery<S, V>): ReadQuery<S, V> => spec\n\nexport const compile = <S, V>(input: ReadQueryInput<S, V>): ReadQueryCompiled<S, V> => {\n  if (isReadQuery(input)) {\n    const reads = normalizeReads(input.reads)\n    const readsDigest = reads.length > 0 ? makeReadsDigest(reads) : undefined\n\n    const equalsKind = input.equalsKind\n    const staticIr: ReadQueryStaticIr = {\n      selectorId: input.selectorId,\n      debugKey: input.debugKey,\n      lane: 'static',\n      producer: 'manual',\n      reads,\n      readsDigest,\n      equalsKind,\n    }\n\n    return {\n      ...input,\n      reads,\n      lane: 'static',\n      producer: 'manual',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  const selector = input\n  const debugKey =\n    (typeof (selector as any)?.debugKey === 'string' && (selector as any).debugKey.length > 0\n      ? (selector as any).debugKey\n      : undefined) ??\n    (typeof (selector as any).name === 'string' && (selector as any).name.length > 0\n      ? (selector as any).name\n      : undefined)\n\n  const declaredReads: ReadonlyArray<string> | undefined = Array.isArray((selector as any)?.fieldPaths)\n    ? ((selector as any).fieldPaths as ReadonlyArray<unknown>).filter((x): x is string => typeof x === 'string')\n    : undefined\n\n  if (declaredReads && declaredReads.length > 0) {\n    const reads = normalizeReads(declaredReads)\n    const readsDigest = makeReadsDigest(reads)\n    const selectorId = computeSelectorId({ kind: 'reads', reads })\n\n    const staticIr: ReadQueryStaticIr = {\n      selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads,\n      readsDigest,\n      equalsKind: 'objectIs',\n    }\n\n    return {\n      selectorId,\n      debugKey,\n      reads,\n      select: selector as any,\n      equalsKind: 'objectIs',\n      lane: 'static',\n      producer: 'jit',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  const cachedByFn = readQueryTemplateByFn.get(selector as unknown as Function)\n  if (cachedByFn) {\n    const staticIr: ReadQueryStaticIr = {\n      selectorId: cachedByFn.selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads: cachedByFn.reads,\n      readsDigest: cachedByFn.readsDigest,\n      equalsKind: cachedByFn.equalsKind,\n    }\n\n    return {\n      selectorId: cachedByFn.selectorId,\n      debugKey,\n      reads: cachedByFn.reads,\n      select: selector as any,\n      equalsKind: cachedByFn.equalsKind,\n      lane: 'static',\n      producer: 'jit',\n      readsDigest: cachedByFn.readsDigest,\n      staticIr,\n    }\n  }\n\n  const srcTrimmed = safeToString(selector as unknown as Function).trim()\n  const cachedBySource = srcTrimmed.length > 0 ? lruGet(readQueryTemplateBySource, srcTrimmed) : undefined\n  if (cachedBySource) {\n    readQueryTemplateByFn.set(selector as unknown as Function, cachedBySource)\n    const staticIr: ReadQueryStaticIr = {\n      selectorId: cachedBySource.selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads: cachedBySource.reads,\n      readsDigest: cachedBySource.readsDigest,\n      equalsKind: cachedBySource.equalsKind,\n    }\n\n    return {\n      selectorId: cachedBySource.selectorId,\n      debugKey,\n      reads: cachedBySource.reads,\n      select: selector as any,\n      equalsKind: cachedBySource.equalsKind,\n      lane: 'static',\n      producer: 'jit',\n      readsDigest: cachedBySource.readsDigest,\n      staticIr,\n    }\n  }\n\n  const parsed = srcTrimmed.length > 0 ? tryParseSelectorSource(srcTrimmed) : undefined\n\n  if (parsed?.kind === 'path') {\n    const reads = [parsed.path]\n    const readsDigest = makeReadsDigest(reads)\n    const selectorId = computeSelectorId({ kind: 'path', path: parsed.path })\n    const template: ReadQueryStaticTemplate = { selectorId, reads, readsDigest, equalsKind: 'objectIs' }\n    readQueryTemplateByFn.set(selector as unknown as Function, template)\n    lruSet(readQueryTemplateBySource, srcTrimmed, template, READ_QUERY_TEMPLATE_CACHE_MAX)\n\n    const staticIr: ReadQueryStaticIr = {\n      selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads,\n      readsDigest,\n      equalsKind: 'objectIs',\n    }\n\n    return {\n      selectorId,\n      debugKey,\n      reads,\n      select: selector as any,\n      equalsKind: 'objectIs',\n      lane: 'static',\n      producer: 'jit',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  if (parsed?.kind === 'struct') {\n    const reads = normalizeReads(parsed.entries.map(([, path]) => path))\n    const readsDigest = makeReadsDigest(reads)\n    const selectorId = computeSelectorId({ kind: 'struct', entries: parsed.entries })\n    const template: ReadQueryStaticTemplate = { selectorId, reads, readsDigest, equalsKind: 'shallowStruct' }\n    readQueryTemplateByFn.set(selector as unknown as Function, template)\n    lruSet(readQueryTemplateBySource, srcTrimmed, template, READ_QUERY_TEMPLATE_CACHE_MAX)\n\n    const staticIr: ReadQueryStaticIr = {\n      selectorId,\n      debugKey,\n      lane: 'static',\n      producer: 'jit',\n      reads,\n      readsDigest,\n      equalsKind: 'shallowStruct',\n    }\n\n    return {\n      selectorId,\n      debugKey,\n      reads,\n      select: selector as any,\n      equalsKind: 'shallowStruct',\n      lane: 'static',\n      producer: 'jit',\n      readsDigest,\n      staticIr,\n    }\n  }\n\n  // Dynamic lane fallback (no stable reads / unsupported subset)\n  const baseFallbackReason: ReadQueryFallbackReason =\n    srcTrimmed.includes('=>') || srcTrimmed.startsWith('function') ? 'unsupportedSyntax' : 'missingDeps'\n\n  const lowDiscriminabilitySource = srcTrimmed.length === 0 || srcTrimmed.includes('[native code]')\n  const fallbackReason: ReadQueryFallbackReason =\n    !debugKey || lowDiscriminabilitySource ? 'unstableSelectorId' : baseFallbackReason\n\n  const selectorId =\n    fallbackReason === 'unstableSelectorId'\n      ? computeUnstableSelectorId(selector as unknown as Function)\n      : computeSelectorId({ kind: 'dynamic', debugKey, src: srcTrimmed })\n  const staticIr: ReadQueryStaticIr = {\n    selectorId,\n    debugKey,\n    lane: 'dynamic',\n    producer: 'dynamic',\n    fallbackReason,\n    equalsKind: 'objectIs',\n  }\n\n  return {\n    selectorId,\n    debugKey,\n    reads: [],\n    select: selector as any,\n    equalsKind: 'objectIs',\n    lane: 'dynamic',\n    producer: 'dynamic',\n    fallbackReason,\n    staticIr,\n  }\n}\n\nexport interface ReadQueryStrictGateConfig {\n  readonly mode: 'off' | 'warn' | 'error'\n  readonly requireStatic?: {\n    readonly selectorIds?: ReadonlyArray<string>\n    readonly modules?: ReadonlyArray<string>\n  }\n  readonly denyFallbackReasons?: ReadonlyArray<ReadQueryFallbackReason>\n}\n\nexport interface ReadQueryStrictGateViolationDetails {\n  readonly moduleId: string\n  readonly instanceId: string\n  readonly txnSeq: number\n  readonly selectorId: string\n  readonly debugKey?: string\n  readonly fallbackReason: ReadQueryFallbackReason\n  readonly rule: 'denyFallbackReason' | 'requireStatic:global' | 'requireStatic:selectorId' | 'requireStatic:module'\n}\n\nexport interface ReadQueryStrictGateError extends Error {\n  readonly _tag: 'ReadQueryStrictGateError'\n  readonly details: ReadQueryStrictGateViolationDetails\n}\n\nexport type ReadQueryStrictGateDiagnosticEvent = Extract<DebugSink.Event, { readonly type: 'diagnostic' }>\n\nexport type ReadQueryStrictGateDecision =\n  | { readonly verdict: 'PASS' }\n  | {\n      readonly verdict: 'WARN'\n      readonly diagnostic: ReadQueryStrictGateDiagnosticEvent\n      readonly details: ReadQueryStrictGateViolationDetails\n    }\n  | {\n      readonly verdict: 'FAIL'\n      readonly diagnostic: ReadQueryStrictGateDiagnosticEvent\n      readonly error: ReadQueryStrictGateError\n      readonly details: ReadQueryStrictGateViolationDetails\n    }\n\nconst filterNonEmpty = (values: ReadonlyArray<string> | undefined): ReadonlyArray<string> | undefined => {\n  if (!values || values.length === 0) return undefined\n  const next = values.map((v) => v.trim()).filter((v) => v.length > 0)\n  return next.length > 0 ? next : undefined\n}\n\nconst makeStrictGateDiagnostic = (args: {\n  readonly config: ReadQueryStrictGateConfig\n  readonly details: ReadQueryStrictGateViolationDetails\n}): ReadQueryStrictGateDiagnosticEvent => {\n  const severity = args.config.mode === 'warn' ? ('warning' as const) : ('error' as const)\n\n  return {\n    type: 'diagnostic',\n    moduleId: args.details.moduleId,\n    instanceId: args.details.instanceId,\n    txnSeq: args.details.txnSeq,\n    code: 'read_query::strict_gate',\n    severity,\n    message: `ReadQuery strict gate violated: selector entered dynamic lane (selectorId=${args.details.selectorId}, reason=${args.details.fallbackReason}).`,\n    hint:\n      'Fix: make the selector statically compilable (AOT/JIT) or pass an explicit ReadQuery; ' +\n      'or disable/narrow the gate via RuntimeOptions.readQuery.strictGate.requireStatic / denyFallbackReasons.',\n    kind: 'read_query:strict_gate',\n    trigger: {\n      kind: 'read_query',\n      name: 'strict_gate',\n      details: args.details,\n    },\n  }\n}\n\nconst makeStrictGateError = (args: {\n  readonly details: ReadQueryStrictGateViolationDetails\n}): ReadQueryStrictGateError =>\n  Object.assign(\n    new Error(\n      `[ReadQueryStrictGateError] selector entered dynamic lane (selectorId=${args.details.selectorId}, reason=${args.details.fallbackReason}).`,\n    ),\n    {\n      _tag: 'ReadQueryStrictGateError' as const,\n      details: args.details,\n    },\n  ) as ReadQueryStrictGateError\n\nexport const evaluateStrictGate = (args: {\n  readonly config: ReadQueryStrictGateConfig\n  readonly moduleId: string\n  readonly instanceId: string\n  readonly txnSeq: number\n  readonly compiled: ReadQueryCompiled<any, any>\n}): ReadQueryStrictGateDecision => {\n  if (args.config.mode === 'off') {\n    return { verdict: 'PASS' }\n  }\n\n  if (args.compiled.lane !== 'dynamic') {\n    return { verdict: 'PASS' }\n  }\n\n  const fallbackReason = (args.compiled.fallbackReason ?? 'missingDeps') as ReadQueryFallbackReason\n\n  const denyFallbackReasons = args.config.denyFallbackReasons\n  const denied = !!denyFallbackReasons?.includes(fallbackReason)\n\n  const selectorIds = filterNonEmpty(args.config.requireStatic?.selectorIds)\n  const modules = filterNonEmpty(args.config.requireStatic?.modules)\n  const hasCoverageFilter = !!selectorIds || !!modules\n\n  const matchedSelectorId = !!selectorIds?.includes(args.compiled.selectorId)\n  const matchedModule = !!modules?.includes(args.moduleId)\n  const coveredByRequireStatic = !hasCoverageFilter || matchedSelectorId || matchedModule\n\n  if (!denied && !coveredByRequireStatic) {\n    return { verdict: 'PASS' }\n  }\n\n  const rule: ReadQueryStrictGateViolationDetails['rule'] = denied\n    ? 'denyFallbackReason'\n    : !hasCoverageFilter\n      ? 'requireStatic:global'\n      : matchedSelectorId\n        ? 'requireStatic:selectorId'\n        : 'requireStatic:module'\n\n  const details: ReadQueryStrictGateViolationDetails = {\n    moduleId: args.moduleId,\n    instanceId: args.instanceId,\n    txnSeq: args.txnSeq,\n    selectorId: args.compiled.selectorId,\n    debugKey: args.compiled.debugKey,\n    fallbackReason,\n    rule,\n  }\n\n  const diagnostic = makeStrictGateDiagnostic({ config: args.config, details })\n\n  if (args.config.mode === 'warn') {\n    return { verdict: 'WARN', diagnostic, details }\n  }\n\n  const error = makeStrictGateError({ details })\n  return { verdict: 'FAIL', diagnostic, error, details }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA,cAAAA;AAAA;AAAA;;;ACAA,IAAAC,iBAA4C;;;ACM5C,IAAAC,iBAA+B;;;ACF/B,oBAA0C;AAOnC,IAAM,gBAAgB,uBAAS,WAA+B,MAAS;AAoHvE,IAAM,wBAAN,cAAoC,sBAAQ,IAAI,0BAA0B,EAG/E,EAAE;AAAC;AAQE,IAAM,oBAAoB,CAAC,UAAuC;AACvE,SAAO,CAAU,OACf,MAAM;AAAA,IACJ,CAAC,KAAK,OAAO,GAAG,EAAE,GAAG,IAAI,QAAQ,IAAI,CAAQ;AAAA,IAC7C,GAAG;AAAA,EACL;AACJ;AAOO,IAAM,oBAAoB,CAAU,IAAuB,UAAmD;AACnH,SAAO,qBAAO,IAAI,aAAa;AAC7B,UAAM,WAAW,OAAO,uBAAS,IAAI,aAAa;AAClD,UAAM,aAAc,GAAG,MAAc;AACrC,UAAM,SAAS,OAAO,eAAe,YAAY,WAAW,SAAS,IAAI,aAAc,YAAY,GAAG;AAEtG,UAAM,SAA4B;AAAA,MAChC,GAAG;AAAA,MACH,MAAM;AAAA,QACJ,GAAI,GAAG,QAAQ,CAAC;AAAA,QAChB;AAAA,MACF;AAAA,IACF;AAEA,UAAM,UAAU,MAAM,SAAS,kBAAkB,KAAK,EAAE,MAAM,IAAI,OAAO;AAIzE,WAAO,OAAO,qBAAO,QAAQ,eAAe,MAAM,EAAE,OAAc;AAAA,EACpE,CAAC;AACH;;;AC3KA,IAAAC,iBAA+B;;;ACwE/B,IAAM,iBAAoD;AAAA,EACxD,UAAU;AAAA,EACV,eAAe;AAAA,EACf,gBAAgB;AAAA,EAChB,iBAAiB;AAAA,EACjB,cAAc,IAAI;AAAA,EAClB,uBAAuB;AACzB;;;ADjDA,IAAM,oBAAN,cAAgC,uBAAQ,IAAI,0BAA0B,EAAiC,EAAE;AAAC;AAEnG,IAAM,gBAAgB;;;AFD7B,IAAI,kBAAkB;AAEtB,IAAM,YAAY,MAAc;AAC9B,qBAAmB;AACnB,SAAO;AACT;AAEA,IAAM,SAAS,CAAC,YAAgC,UAC9C,aAAa,GAAG,UAAU,MAAM,KAAK,KAAK,IAAI,KAAK;AAO9C,IAAM,OAAO,CAAU,YAOJ;AAAA,EACxB,GAAI,OAAO,KACP,EAAE,IAAI,OAAO,IAAI,MAAM,OAAO,KAAK,KAClC,MAAM;AACL,UAAM,OAAY,OAAO,QAAQ,CAAC;AAClC,UAAM,aAAiC,KAAK;AAC5C,UAAM,QACJ,OAAO,KAAK,UAAU,YAAY,OAAO,SAAS,KAAK,KAAK,IAAI,KAAK,MAAM,KAAK,KAAK,IAAI,UAAU;AACrG,WAAO;AAAA,MACL,IAAI,OAAO,YAAY,KAAK;AAAA,MAC5B,MAAM,KAAK,UAAU,QAAQ,OAAO,EAAE,GAAG,MAAM,MAAM;AAAA,IACvD;AAAA,EACF,GAAG;AAAA,EACP,MAAM,OAAO;AAAA,EACb,MAAM,OAAO;AAAA,EACb,SAAS,OAAO;AAAA,EAChB,QAAQ,OAAO;AACjB;AAuEO,IAAM,MAAM,CAAU,IAAuB,UAC7C,kBAAkB,IAAI,KAAK;;;AI9IlC,IAAAC,iBAAuD;;;ACAvD,IAAAC,iBAAsB;;;AD+Pf,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;;;AEnxBI,SAAS,YAAY,OAA8C;AACxE,MAAI,CAAC,SAAU,OAAO,UAAU,YAAY,OAAO,UAAU,WAAa,QAAO;AACjF,QAAM,QAAQ;AACd,SAAO,OAAO,MAAM,eAAe,YAAY,OAAO,MAAM,WAAW,cAAc,MAAM,QAAQ,MAAM,KAAK;AAChH;;;AP1CA,IAAM,qBAAqB,MACzB,sBAAO,cAA2B,qBAAqB,EAAE;AAAA,EACvD,sBAAO,IAAI,CAAC,UAAW,sBAAO,OAAO,KAAK,IAAI,MAAM,MAAM,QAAQ,CAAC,CAAE;AACvE;AAEF,IAAM,kBAAkB,CAAC,YAAmF;AAC1G,MAAI,CAAC,QAAS,QAAO,CAAC;AACtB,MAAI,OAAO,YAAY,YAAY,OAAO,YAAY,WAAY,QAAO,CAAC;AAC1E,QAAM,QAAQ;AACd,SAAO;AAAA,IACL,UAAU,OAAO,MAAM,aAAa,WAAW,MAAM,WAAW;AAAA,IAChE,YAAY,OAAO,MAAM,eAAe,WAAW,MAAM,aAAa;AAAA,EACxE;AACF;AAqCA,IAAM,gBAAgB,CACpB,KACA,YAC2B,OAAO,QAAQ,aAAc,IAAwC,OAAO,IAAI;AAEtG,IAAMC,QAAO,CAClB,SACA,qBACe;AACf,QAAM,QAAQ,gBAAgB,OAAO;AACrC,QAAM,0BAA0B,MAC9B,mBACI,iBAAiB,YAAY,yBAAyB,EAAE,KAAK,sBAAO,IAAI,CAAC,MAAM,EAAE,gBAAgB,CAAC,IAClG,sBAAO,QAAQ,EAAE;AAEvB,QAAM,cAAc,CAClB,MACA,SACA,KACA,YAEA,sBAAO,IAAI,aAAa;AACtB,UAAM,QAAQ,OAAO,mBAAmB;AACxC,UAAM,OAAY;AAAA,MAChB,GAAI,SAAS,QAAQ,CAAC;AAAA,MACtB,QAAQ,SAAS;AAAA,MACjB,MAAM,SAAS;AAAA,MACf,OAAO,SAAS;AAAA,MAChB,UAAU,MAAM;AAAA,MAChB,YAAY,MAAM;AAAA,IACpB;AAEA,QAAI,EAAE,OAAO,KAAK,UAAU,YAAY,OAAO,SAAS,KAAK,KAAK,IAAI;AACpE,YAAM,aAAa,OAAO,sBAAO,cAAc,aAAa;AAC5D,UAAI,sBAAO,OAAO,UAAU,GAAG;AAC7B,cAAM,MAAM,KAAK,cAAc;AAC/B,aAAK,QAAQ,WAAW,MAAM,MAAM,QAAQ,SAAS,GAAG;AAAA,MAC1D;AAAA,IACF;AAEA,UAAM,KAAc,KAAgB;AAAA,MAClC,MAAM;AAAA,MACN;AAAA,MACA;AAAA,MACA,QAAQ;AAAA,MACR;AAAA,IACF,CAAC;AACD,WAAO,OAAgB,IAAI,IAAI,KAAK;AAAA,EACtC,CAAC;AAEH,QAAM,YACJ,CAAc,QACd,CAAC,YACC,cAAmC,KAAK,OAAO;AAEnD,QAAM,sBACJ,CACE,KACA,YAEF,CAAC,WACC,sBAAO;AAAA,IAAW;AAAA,IAAQ,CAAC,YACzB,YAAyB,YAAY,SAAS,UAAuB,GAAG,EAAE,OAAO,GAAG,OAAO;AAAA,EAC7F;AAEJ,QAAM,oBACJ,CACE,KACA,YAEF,CAAC,WACC,sBAAO,IAAI,aAAa;AACtB,UAAM,cAAc,OAAO,wBAAwB;AAEnD,WAAO,OAAO,sBAAO;AAAA,MACnB,OAAO;AAAA,QACL,sBAAO;AAAA,UACL,CAAC,YACC,YAAyB,oBAAoB,SAAS,UAAuB,GAAG,EAAE,OAAO,GAAG,OAAO;AAAA,UACrG,EAAE,YAAY;AAAA,QAChB;AAAA,MACF;AAAA,IACF,EAAE;AAAA,MACA,sBAAO;AAAA,QAAc,CAAC,UACd,OAAO;AAAA,UACX,MAAM;AAAA,UACN,UAAU,MAAM;AAAA,UAChB,YAAY,MAAM;AAAA,UAClB,MAAM;AAAA,UACN,UAAU;AAAA,UACV,SAAS;AAAA,UACT,MAAM;AAAA,UACN,MAAM;AAAA,UACN,SAAS;AAAA,YACP,MAAM;AAAA,YACN,MAAM;AAAA,UACR;AAAA,QACF,CAAC,EAAE,KAAK,sBAAO,SAAS,sBAAO,UAAU,KAAK,CAAC,CAAC;AAAA,MAClD;AAAA,IACF;AAAA,EACF,CAAC;AAEL,SAAO;AAAA,IACL,YAAY,CAAyB,cACnC,QAAQ,SAAS,KAAK,sBAAO,OAAO,SAAS,CAAC;AAAA,IAEhD,WAAW,CAAI,oBACb,QAAQ,QAAkB,YAAY,eAAe,IAAI,gBAAgB,SAAS,eAAe;AAAA,IAEnG,UAAU,CAAC,OAAe,CAAC,WAAW,sBAAO,SAAS,QAAQ,EAAE;AAAA,IAEhE,UAAU,CAAC,OAAe,CAAC,WACzB,sBAAO,SAAS,QAAQ;AAAA,MACtB,MAAM,MAAM;AAAA,MACZ,OAAO;AAAA,MACP,UAAU;AAAA,MACV,UAAU;AAAA,IACZ,CAAC;AAAA,IAEH,QAAQ,CAAC,cAAuC,CAAC,WAAW,sBAAO,OAAO,QAAQ,SAAS;AAAA,IAE3F,KAAK,CAAC,KAAK,YAAY,CAAC,WAAW,oBAAwC,KAAK,OAAO,EAAE,MAAM;AAAA,IAE/F,aAAa,CAAC,KAAK,YAAY,CAAC,WAAW,kBAAsC,KAAK,OAAO,EAAE,MAAM;AAAA,IAErG,WAAW,CAAC,KAAK,YAAY,CAAC,WAC5B,sBAAO;AAAA,MACL,sBAAO;AAAA,QAAI;AAAA,QAAQ,CAAC,YAClB;AAAA,UACE;AAAA,UACA;AAAA,UACA,UAA8B,GAAG,EAAE,OAAO;AAAA,UAC1C;AAAA,QACF;AAAA,MACF,EAAE;AAAA,QACA,sBAAO,QAAQ,CAAC,WAAW,sBAAO,WAAW,MAAM,GAAG;AAAA,UACpD,QAAQ;AAAA,QACV,CAAC;AAAA,MACH;AAAA,IACF;AAAA,IAEF,YAAY,CAAC,KAAK,YAAY,CAAC,WAC7B,sBAAO,IAAI,aAAa;AACtB,YAAM,cAAc,OAAO,wBAAwB;AACnD,YAAM,UAAU,OAAO,mBAAI,KAAK,KAAK;AACrC,YAAM,SAAS,CAAC,YACd,sBAAO,IAAI,aAAa;AACtB,cAAM,WAAW,OAAO,mBAAI;AAAA,UAAO;AAAA,UAAS,CAAC,SAC3C,OAAQ,CAAC,OAAO,IAAI,IAAe,CAAC,MAAM,IAAI;AAAA,QAChD;AACA,YAAI,CAAC,UAAU;AACb;AAAA,QACF;AACA,YAAI;AACF,iBAAO;AAAA,YACL;AAAA,YACA;AAAA,YACA,UAA8B,GAAG,EAAE,OAAO;AAAA,YAC1C;AAAA,UACF;AAAA,QACF,UAAE;AACA,iBAAO,mBAAI,IAAI,SAAS,KAAK;AAAA,QAC/B;AAAA,MACF,CAAC;AAEH,aAAO,OAAO,sBAAO,SAAS,OAAO,KAAK,sBAAO,UAAU,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;AAAA,IACtF,CAAC;AAAA,EACL;AACF;;;AD1NO,IAAMC,QAAmBA;","names":["make","import_effect","import_effect","import_effect","import_effect","import_effect","make","make"]}

package/dist/Flow.d.cts

@@ -0,0 +1,8 @@
+export { A as Api, E as Env, m as make } from './Flow-1fZT8MpX.cjs';
+import './module-B8CBqIZ_.cjs';
+import './Logic-DRh4sDZj.cjs';
+import 'effect';
+import 'mutative';
+import './Platform-C49Pv956.cjs';
+import './action-DiMDD_0v.cjs';
+import './ReadQuery-SinbStGF.cjs';

package/dist/Flow.d.ts

@@ -0,0 +1,8 @@
+export { A as Api, E as Env, m as make } from './Flow-BhpjE22E.js';
+import './module-k7m3txak.js';
+import './Logic-BRjEMr-W.js';
+import 'effect';
+import 'mutative';
+import './Platform-C49Pv956.js';
+import './action-DiMDD_0v.js';
+import './ReadQuery-SinbStGF.js';

package/dist/Flow.js

@@ -0,0 +1,15 @@
+import {
+  make
+} from "./chunk-EY4NZKDR.js";
+import "./chunk-NQZ2OSGR.js";
+import "./chunk-CW6T36TN.js";
+import "./chunk-DMBALCE2.js";
+import "./chunk-GMPEOUP2.js";
+import "./chunk-OFADUJWJ.js";
+import "./chunk-M7IYCTJV.js";
+import "./chunk-JWOYLO27.js";
+import "./chunk-PZ5AY32C.js";
+export {
+  make
+};
+//# sourceMappingURL=Flow.js.map

package/dist/Flow.js.map

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

package/dist/Handle-D8D1zPb_.d.cts

@@ -0,0 +1,30 @@
+import { m as ModuleHandle, h as AnyModuleShape } from './module-B8CBqIZ_.cjs';
+
+/**
+ * Handle（消费面）: 在 `.logic()` 内消费依赖的“可用视图”。
+ *
+ * - `ModuleHandle`: `yield* $.use(SomeModule)` 返回的只读句柄（read/changes/dispatch/actions）。
+ * - `ServiceHandle`: `yield* $.use(ServiceTag)` 返回的 Service 实例（推荐同样提供 `.controller` 作为命令面）。
+ *
+ * 设计目标：
+ * - 为“做成自定义 Module” vs “做成可注入 Service（Tag + Layer）”提供统一语言与判断依据；
+ * - 让业务逻辑消费方式趋同：拿到 handle → read/observe → 通过 controller 发命令（若存在）。
+ */
+interface WithController<C extends object = object> {
+    readonly controller: C;
+}
+type ControllerOf<T> = T extends WithController<infer C> ? C : never;
+type ServiceHandle<Svc extends object> = Svc;
+declare const isModuleHandle: (value: unknown) => value is ModuleHandle<AnyModuleShape>;
+declare const hasController: (value: unknown) => value is WithController;
+
+type Handle_ControllerOf<T> = ControllerOf<T>;
+type Handle_ServiceHandle<Svc extends object> = ServiceHandle<Svc>;
+type Handle_WithController<C extends object = object> = WithController<C>;
+declare const Handle_hasController: typeof hasController;
+declare const Handle_isModuleHandle: typeof isModuleHandle;
+declare namespace Handle {
+  export { type Handle_ControllerOf as ControllerOf, type Handle_ServiceHandle as ServiceHandle, type Handle_WithController as WithController, Handle_hasController as hasController, Handle_isModuleHandle as isModuleHandle };
+}
+
+export { type ControllerOf as C, Handle as H, type ServiceHandle as S, type WithController as W, hasController as h, isModuleHandle as i };

package/dist/Handle-D_cLW1Z3.d.ts

@@ -0,0 +1,30 @@
+import { m as ModuleHandle, h as AnyModuleShape } from './module-k7m3txak.js';
+
+/**
+ * Handle（消费面）: 在 `.logic()` 内消费依赖的“可用视图”。
+ *
+ * - `ModuleHandle`: `yield* $.use(SomeModule)` 返回的只读句柄（read/changes/dispatch/actions）。
+ * - `ServiceHandle`: `yield* $.use(ServiceTag)` 返回的 Service 实例（推荐同样提供 `.controller` 作为命令面）。
+ *
+ * 设计目标：
+ * - 为“做成自定义 Module” vs “做成可注入 Service（Tag + Layer）”提供统一语言与判断依据；
+ * - 让业务逻辑消费方式趋同：拿到 handle → read/observe → 通过 controller 发命令（若存在）。
+ */
+interface WithController<C extends object = object> {
+    readonly controller: C;
+}
+type ControllerOf<T> = T extends WithController<infer C> ? C : never;
+type ServiceHandle<Svc extends object> = Svc;
+declare const isModuleHandle: (value: unknown) => value is ModuleHandle<AnyModuleShape>;
+declare const hasController: (value: unknown) => value is WithController;
+
+type Handle_ControllerOf<T> = ControllerOf<T>;
+type Handle_ServiceHandle<Svc extends object> = ServiceHandle<Svc>;
+type Handle_WithController<C extends object = object> = WithController<C>;
+declare const Handle_hasController: typeof hasController;
+declare const Handle_isModuleHandle: typeof isModuleHandle;
+declare namespace Handle {
+  export { type Handle_ControllerOf as ControllerOf, type Handle_ServiceHandle as ServiceHandle, type Handle_WithController as WithController, Handle_hasController as hasController, Handle_isModuleHandle as isModuleHandle };
+}
+
+export { type ControllerOf as C, Handle as H, type ServiceHandle as S, type WithController as W, hasController as h, isModuleHandle as i };

package/dist/Handle.cjs

@@ -0,0 +1,42 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+
+// src/Handle.ts
+var Handle_exports = {};
+__export(Handle_exports, {
+  hasController: () => hasController,
+  isModuleHandle: () => isModuleHandle
+});
+module.exports = __toCommonJS(Handle_exports);
+var isModuleHandle = (value) => {
+  if (typeof value !== "object" || value === null) return false;
+  const v = value;
+  return typeof v.read === "function" && typeof v.changes === "function" && typeof v.dispatch === "function" && typeof v.actions === "object" && v.actions !== null && typeof v.actions$ === "object" && v.actions$ !== null;
+};
+var hasController = (value) => {
+  if (typeof value !== "object" || value === null) return false;
+  const v = value;
+  return typeof v.controller === "object" && v.controller !== null;
+};
+// Annotate the CommonJS export names for ESM import in node:
+0 && (module.exports = {
+  hasController,
+  isModuleHandle
+});
+//# sourceMappingURL=Handle.cjs.map

package/dist/Handle.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/Handle.ts"],"sourcesContent":["import type { AnyModuleShape, ModuleHandle } from './internal/module.js'\n\n/**\n * Handle（消费面）: 在 `.logic()` 内消费依赖的“可用视图”。\n *\n * - `ModuleHandle`: `yield* $.use(SomeModule)` 返回的只读句柄（read/changes/dispatch/actions）。\n * - `ServiceHandle`: `yield* $.use(ServiceTag)` 返回的 Service 实例（推荐同样提供 `.controller` 作为命令面）。\n *\n * 设计目标：\n * - 为“做成自定义 Module” vs “做成可注入 Service（Tag + Layer）”提供统一语言与判断依据；\n * - 让业务逻辑消费方式趋同：拿到 handle → read/observe → 通过 controller 发命令（若存在）。\n */\n\nexport interface WithController<C extends object = object> {\n  readonly controller: C\n}\n\nexport type ControllerOf<T> = T extends WithController<infer C> ? C : never\n\nexport type ServiceHandle<Svc extends object> = Svc\n\nexport const isModuleHandle = (value: unknown): value is ModuleHandle<AnyModuleShape> => {\n  if (typeof value !== 'object' || value === null) return false\n  const v = value as any\n  return (\n    typeof v.read === 'function' &&\n    typeof v.changes === 'function' &&\n    typeof v.dispatch === 'function' &&\n    typeof v.actions === 'object' &&\n    v.actions !== null &&\n    typeof v.actions$ === 'object' &&\n    v.actions$ !== null\n  )\n}\n\nexport const hasController = (value: unknown): value is WithController => {\n  if (typeof value !== 'object' || value === null) return false\n  const v = value as any\n  return typeof v.controller === 'object' && v.controller !== null\n}\n\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAqBO,IAAM,iBAAiB,CAAC,UAA0D;AACvF,MAAI,OAAO,UAAU,YAAY,UAAU,KAAM,QAAO;AACxD,QAAM,IAAI;AACV,SACE,OAAO,EAAE,SAAS,cAClB,OAAO,EAAE,YAAY,cACrB,OAAO,EAAE,aAAa,cACtB,OAAO,EAAE,YAAY,YACrB,EAAE,YAAY,QACd,OAAO,EAAE,aAAa,YACtB,EAAE,aAAa;AAEnB;AAEO,IAAM,gBAAgB,CAAC,UAA4C;AACxE,MAAI,OAAO,UAAU,YAAY,UAAU,KAAM,QAAO;AACxD,QAAM,IAAI;AACV,SAAO,OAAO,EAAE,eAAe,YAAY,EAAE,eAAe;AAC9D;","names":[]}

package/dist/Handle.d.cts

@@ -0,0 +1,7 @@
+import './module-B8CBqIZ_.cjs';
+export { C as ControllerOf, S as ServiceHandle, W as WithController, h as hasController, i as isModuleHandle } from './Handle-D8D1zPb_.cjs';
+import 'effect';
+import 'mutative';
+import './Platform-C49Pv956.cjs';
+import './action-DiMDD_0v.cjs';
+import './ReadQuery-SinbStGF.cjs';

package/dist/Handle.d.ts

@@ -0,0 +1,7 @@
+import './module-k7m3txak.js';
+export { C as ControllerOf, S as ServiceHandle, W as WithController, h as hasController, i as isModuleHandle } from './Handle-D_cLW1Z3.js';
+import 'effect';
+import 'mutative';
+import './Platform-C49Pv956.js';
+import './action-DiMDD_0v.js';
+import './ReadQuery-SinbStGF.js';

package/dist/Handle.js

@@ -0,0 +1,10 @@
+import {
+  hasController,
+  isModuleHandle
+} from "./chunk-3VG5TWQR.js";
+import "./chunk-PZ5AY32C.js";
+export {
+  hasController,
+  isModuleHandle
+};
+//# sourceMappingURL=Handle.js.map

package/dist/Handle.js.map

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