@logixjs/core 0.0.1

package/dist/TraitLifecycle.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/TraitLifecycle.ts","../src/internal/trait-lifecycle/index.ts","../src/internal/runtime/core/TaskRunner.ts","../src/internal/runtime/core/DebugSink.ts","../src/internal/observability/jsonValue.ts","../src/internal/runtime/core/errorSummary.ts","../src/internal/runtime/core/EffectOpCore.ts","../src/internal/runtime/core/env.ts","../src/internal/runtime/core/ReplayLog.ts","../src/internal/state-trait/rowid.ts","../src/internal/runtime/core/runtimeInternalsAccessor.ts"],"sourcesContent":["// TraitLifecycle: shared lower-level interface for Form/Query (@logixjs/core/TraitLifecycle, Phase 2 placeholder).\n//\n// - Exposes serializable FieldRef and unified request protocols.\n// - Concrete implementation lives in internal/trait-lifecycle/*; this module provides public API + type exports.\n\nimport type { BoundApi } from './Bound.js'\nimport { Effect } from 'effect'\nimport * as Internal from './internal/trait-lifecycle/index.js'\n\nexport type FieldRef = Internal.FieldRef\nexport type ValidateMode = Internal.ValidateRequest['mode']\nexport type ValidateRequest = Internal.ValidateRequest\nexport type ExecuteRequest = Internal.ExecuteRequest\nexport type CleanupRequest = Internal.CleanupRequest\nexport type SourceWiring = ReturnType<typeof Internal.makeSourceWiring>\n\nexport const Ref = Internal.Ref\n\nexport const scopedValidate = (bound: BoundApi<any, any>, request: ValidateRequest): Effect.Effect<void, never, any> =>\n  Internal.scopedValidate(bound as any, request)\n\nexport const scopedExecute = (bound: BoundApi<any, any>, request: ExecuteRequest): Effect.Effect<void, never, any> =>\n  Internal.scopedExecute(bound as any, request)\n\nexport const cleanup = (bound: BoundApi<any, any>, request: CleanupRequest): Effect.Effect<void, never, any> =>\n  Internal.cleanup(bound as any, request)\n\nexport const makeSourceWiring = (bound: BoundApi<any, any>, module: unknown): SourceWiring =>\n  Internal.makeSourceWiring(bound as any, module)\n\nexport const install = (bound: BoundApi<any, any>): Effect.Effect<void, never, any> => Internal.install(bound as any)\n","import { Effect, FiberRef, Option } from 'effect'\nimport type { BoundApi } from '../runtime/core/module.js'\nimport * as TaskRunner from '../runtime/core/TaskRunner.js'\nimport * as ReplayLog from '../runtime/core/ReplayLog.js'\nimport type { CleanupRequest, ExecuteRequest, FieldRef, ValidateRequest } from './model.js'\nimport type * as StateTraitValidate from '../state-trait/validate.js'\nimport * as RowId from '../state-trait/rowid.js'\nimport { getBoundInternals, getModuleTraitsProgram } from '../runtime/core/runtimeInternalsAccessor.js'\n\nexport type { CleanupRequest, ExecuteRequest, FieldRef, ValidateRequest }\n\n/**\n * Ref: builders for FieldRef (serializable and comparable).\n *\n * Notes:\n * - Phase 2 provides only minimal constructors.\n * - Array optimizations (RowID/trackBy) and richer ref semantics will land in later phases.\n */\nexport const Ref = {\n  field: (path: string): FieldRef => ({ kind: 'field', path }),\n  list: (path: string, listIndexPath?: ReadonlyArray<number>): FieldRef => ({\n    kind: 'list',\n    path,\n    listIndexPath,\n  }),\n  item: (\n    path: string,\n    index: number,\n    options?: { readonly listIndexPath?: ReadonlyArray<number>; readonly field?: string },\n  ): FieldRef => ({\n    kind: 'item',\n    path,\n    index,\n    listIndexPath: options?.listIndexPath,\n    field: options?.field,\n  }),\n  /**\n   * fromValuePath：\n   * - Parse a valuePath (e.g. \"items.0.warehouseId\") into a FieldRef.\n   * - Supports a single index (required) and multi-level indices via listIndexPath (optional but recommended).\n   *\n   * Conventions:\n   * - If numeric segments are present, return an item ref (the last index becomes item.index; preceding indices go into listIndexPath).\n   * - If no numeric segments are present:\n   *   - \"items[]\" (pattern list root) returns a list ref.\n   *   - Otherwise return a field ref (including pattern fields like \"items[].x\").\n   * - \"$root\" / empty string returns the root ref.\n   */\n  fromValuePath: (valuePath: string): FieldRef => {\n    const raw = typeof valuePath === 'string' ? valuePath.trim() : ''\n    if (!raw || raw === '$root') return Ref.root()\n\n    const segments = raw.split('.').filter(Boolean)\n    if (segments.length === 0) return Ref.root()\n\n    const isIndex = (seg: string): boolean => /^[0-9]+$/.test(seg)\n    const stripPattern = (seg: string): string => (seg.endsWith('[]') ? seg.slice(0, -2) : seg)\n\n    const indexPositions: Array<{ readonly pos: number; readonly index: number }> = []\n    for (let i = 0; i < segments.length; i++) {\n      const seg = segments[i]!\n      if (!isIndex(seg)) continue\n      const index = Number(seg)\n      if (!Number.isFinite(index) || index < 0) return Ref.field(raw)\n      indexPositions.push({ pos: i, index })\n    }\n\n    // valuePath with indices => item ref\n    if (indexPositions.length > 0) {\n      const last = indexPositions[indexPositions.length - 1]!\n      const listIndexPath = indexPositions.slice(0, -1).map((p) => p.index)\n\n      const listPath = segments\n        .slice(0, last.pos)\n        .filter((seg) => !isIndex(seg))\n        .map(stripPattern)\n        .join('.')\n\n      if (!listPath) return Ref.field(raw)\n\n      const fieldRest = segments\n        .slice(last.pos + 1)\n        .map(stripPattern)\n        .join('.')\n\n      return Ref.item(listPath, last.index, {\n        listIndexPath: listIndexPath.length > 0 ? listIndexPath : undefined,\n        field: fieldRest ? fieldRest : undefined,\n      })\n    }\n\n    // pattern list root => list ref\n    if (segments.some((s) => s.includes('[]'))) {\n      const last = segments[segments.length - 1]!\n      if (last.endsWith('[]')) {\n        return Ref.list(segments.map(stripPattern).join('.'))\n      }\n    }\n\n    return Ref.field(raw)\n  },\n  root: (): FieldRef => ({ kind: 'root' }),\n} as const\n\n/**\n * scopedValidate (placeholder): in later phases this will compute the minimal set via ReverseClosure and write back into the error tree.\n */\nexport const scopedValidate = (bound: BoundApi<any, any>, request: ValidateRequest): Effect.Effect<void, never, any> =>\n  Effect.gen(function* () {\n    let internals: ReturnType<typeof getBoundInternals> | undefined\n    try {\n      internals = getBoundInternals(bound as any)\n    } catch {\n      return\n    }\n\n    const enqueue = internals.traits.enqueueStateTraitValidateRequest as unknown as\n      | ((r: StateTraitValidate.ScopedValidateRequest) => void)\n      | undefined\n\n    if (!enqueue) return\n\n    const toTarget = (ref: FieldRef): StateTraitValidate.ValidateTarget => {\n      if (ref.kind === 'root') return { kind: 'root' }\n      if (ref.kind === 'field') return { kind: 'field', path: ref.path }\n      if (ref.kind === 'list') {\n        return {\n          kind: 'list',\n          path: ref.path,\n          ...(ref.listIndexPath ? { listIndexPath: ref.listIndexPath } : {}),\n        }\n      }\n      return {\n        kind: 'item',\n        path: ref.path,\n        index: ref.index,\n        ...(ref.listIndexPath ? { listIndexPath: ref.listIndexPath } : {}),\n        field: ref.field,\n      }\n    }\n\n    const internal: StateTraitValidate.ScopedValidateRequest = {\n      mode: request.mode as any,\n      target: toTarget(request.target),\n    }\n\n    const inTxn = yield* FiberRef.get(TaskRunner.inSyncTransactionFiber)\n    if (inTxn) {\n      enqueue(internal)\n      return\n    }\n\n    yield* internals.txn.runWithStateTransaction({ kind: 'trait', name: 'scopedValidate', details: request }, () =>\n      Effect.sync(() => {\n        enqueue(internal)\n      }),\n    )\n  })\n\n/**\n * scopedExecute (placeholder): a unified execution entrypoint for query/resource actions (refresh/invalidate, etc.).\n */\nexport const scopedExecute = (bound: BoundApi<any, any>, request: ExecuteRequest): Effect.Effect<void, never, any> =>\n  Effect.gen(function* () {\n    if (request.kind === 'source:refresh') {\n      const toFieldPath = (ref: FieldRef): string | undefined => {\n        if (ref.kind === 'root') return undefined\n        if (ref.kind === 'field' || ref.kind === 'list') return ref.path\n        const base = `${ref.path}[]`\n        return ref.field ? `${base}.${ref.field}` : base\n      }\n\n      const fieldPath = toFieldPath(request.target)\n      if (!fieldPath) {\n        return\n      }\n\n      yield* bound.traits.source.refresh(fieldPath) as Effect.Effect<void, never, any>\n      return\n    }\n\n    if (request.kind !== 'query:invalidate') {\n      return\n    }\n\n    const replayLogOpt = yield* Effect.serviceOption(ReplayLog.ReplayLog)\n    if (Option.isNone(replayLogOpt)) {\n      return\n    }\n\n    let moduleId: string | undefined\n    let instanceId: string | undefined\n    try {\n      const internals = getBoundInternals(bound as any)\n      moduleId = internals.moduleId\n      instanceId = internals.instanceId\n    } catch {\n      moduleId = undefined\n      instanceId = undefined\n    }\n\n    yield* replayLogOpt.value.record({\n      _tag: 'InvalidateRequest',\n      timestamp: Date.now(),\n      moduleId,\n      instanceId,\n      kind: 'query',\n      target: 'query',\n      meta: request.request,\n    })\n  })\n\n/**\n * cleanup (placeholder): deterministic cleanup under structural changes (errors/ui/resources).\n */\nexport const cleanup = (bound: BoundApi<any, any>, request: CleanupRequest): Effect.Effect<void, never, any> =>\n  Effect.gen(function* () {\n    const apply = () =>\n      bound.state.mutate((draft) => {\n        const clearAt = (root: 'errors' | 'ui', path: string): void => {\n          if (!path) return\n          RowId.unsetAtPathMutating(draft, `${root}.${path}`)\n        }\n\n        if (request.kind === 'field:unregister') {\n          const target = request.target\n          if (target.kind !== 'field') return\n          clearAt('errors', target.path)\n          clearAt('ui', target.path)\n          return\n        }\n\n        if (request.kind === 'list:item:remove') {\n          const target = request.target\n          if (target.kind !== 'item') return\n          const base = `${target.path}.${target.index}`\n          const path = target.field ? `${base}.${target.field}` : base\n          clearAt('errors', path)\n          clearAt('ui', path)\n          return\n        }\n\n        if (request.kind === 'list:reorder') {\n          // Reorder does not change the external index semantics by itself.\n          // Alignment of errors/ui should be handled by domain reducers or higher-level logic; keep it a no-op here.\n          return\n        }\n      })\n\n    const inTxn = yield* FiberRef.get(TaskRunner.inSyncTransactionFiber)\n    if (inTxn) {\n      return yield* apply()\n    }\n\n    let runWithTxn:\n      | ((\n          origin: { readonly kind: string; readonly name?: string; readonly details?: unknown },\n          body: () => Effect.Effect<void, never, any>,\n        ) => Effect.Effect<void, never, any>)\n      | undefined\n\n    try {\n      const internals = getBoundInternals(bound as any)\n      runWithTxn = (origin, body) => internals.txn.runWithStateTransaction(origin as any, body)\n    } catch {\n      runWithTxn = undefined\n    }\n\n    if (!runWithTxn) {\n      return yield* apply()\n    }\n\n    return yield* runWithTxn({ kind: 'trait', name: 'cleanup', details: request }, apply)\n  })\n\ntype SourceWiring = {\n  readonly setup: Effect.Effect<void, never, any>\n  readonly refreshOnKeyChange: (changedPath: string) => Effect.Effect<void, never, any>\n}\n\nconst isAuxRootPath = (path: string): boolean =>\n  path === 'errors' || path === 'ui' || path.startsWith('errors.') || path.startsWith('ui.')\n\nconst toPatternPath = (path: string): string => {\n  if (!path) return path\n  const segments = path.split('.').filter(Boolean)\n  return segments\n    .map((seg) => (/^[0-9]+$/.test(seg) ? '[]' : seg))\n    .join('.')\n    .replace(/\\.\\[\\]/g, '[]')\n}\n\nconst isDepAffectedByChange = (dep: string, changed: string): boolean => {\n  if (!dep || !changed) return false\n  if (dep === changed) return true\n  if (changed.startsWith(`${dep}.`)) return true\n  if (changed.startsWith(`${dep}[]`)) return true\n  // list root structural change (e.g. changed=\"items\") should affect any list-item deps (e.g. dep=\"items[].x\").\n  if (dep.startsWith(`${changed}[]`)) return true\n  return false\n}\n\nexport const makeSourceWiring = (bound: BoundApi<any, any>, module: unknown): SourceWiring => {\n  const program = getModuleTraitsProgram(module as any) as { readonly entries?: ReadonlyArray<any> } | undefined\n\n  const sources = program?.entries?.filter((e) => e && e.kind === 'source') ?? []\n\n  const sourceOnMount = sources.filter((e: any) =>\n    Array.isArray(e?.meta?.triggers) ? e.meta.triggers.includes('onMount') : false,\n  )\n\n  const sourceOnKeyChange = sources.filter((e: any) =>\n    Array.isArray(e?.meta?.triggers) ? e.meta.triggers.includes('onKeyChange') : false,\n  )\n\n  const setup = Effect.sync(() => {\n    if (sourceOnMount.length === 0) return\n    bound.lifecycle.onStart(\n      Effect.forEach(sourceOnMount, (entry: any) => bound.traits.source.refresh(entry.fieldPath), {\n        concurrency: 'unbounded',\n      }).pipe(Effect.asVoid),\n    )\n  })\n\n  const refreshOnKeyChange = (changedPath: string): Effect.Effect<void, never, any> =>\n    Effect.gen(function* () {\n      if (!changedPath || isAuxRootPath(changedPath)) return\n      if (sourceOnKeyChange.length === 0) return\n\n      const changedPattern = toPatternPath(changedPath)\n\n      yield* Effect.forEach(\n        sourceOnKeyChange,\n        (entry: any) => {\n          const deps = (entry?.meta?.deps ?? []) as ReadonlyArray<string>\n          const affected = deps.some((dep) => isDepAffectedByChange(dep, changedPattern))\n          if (!affected) return Effect.void\n          return bound.traits.source.refresh(entry.fieldPath)\n        },\n        { concurrency: 'unbounded' },\n      )\n    }).pipe(Effect.asVoid)\n\n  return { setup, refreshOnKeyChange }\n}\n\n/**\n * install (placeholder): the default wiring entrypoint for TraitLifecycle.\n *\n * Notes:\n * - Phase 2 only provides an entrypoint that feature packages can depend on.\n * - Concrete wiring for \"domain event → request → in-transaction execution\" will be composed by Form/Query default logics in later phases.\n */\nexport const install = (_bound: BoundApi<any, any>): Effect.Effect<void, never, any> => Effect.void\n","import { Cause, Effect, Fiber, FiberRef, Ref, Stream } from 'effect'\nimport * as Debug from './DebugSink.js'\nimport { isDevEnv } from './env.js'\nimport type * as Logic from './LogicMiddleware.js'\nimport type { AnyModuleShape } from './module.js'\nimport type { RuntimeInternalsResolvedConcurrencyPolicy } from './RuntimeInternals.js'\nimport type { StateTxnOrigin } from './StateTransaction.js'\n\n/**\n * Prevents calling run*Task inside a \"synchronous transaction execution fiber\" (it would deadlock the txnQueue).\n *\n * - ModuleRuntime locally marks it as true while executing each transaction (dispatch/source-refresh/devtools/...).\n * - run*Task checks the flag on start: when true, it emits diagnostics only in dev/test and then no-ops.\n */\nexport const inSyncTransactionFiber = FiberRef.unsafeMake(false)\n\n/**\n * Force source.refresh:\n * - Default: when snapshot keyHash is unchanged and a non-idle snapshot already exists, refresh SHOULD be a no-op\n *   (avoid redundant IO/writeback).\n * - Exception: explicit refresh (manual refresh) / invalidation-driven refresh needs to \"re-fetch even with the same keyHash\".\n *\n * Note: use a FiberRef to locally pass \"whether this refresh is forced\", avoiding expanding the source refresh handler signature.\n */\nexport const forceSourceRefresh = FiberRef.unsafeMake(false)\n\n/**\n * Synchronous transaction window (process-level) marker:\n * - Used as a hard guard in \"non-Effect API\" entry points (e.g. Promise/async functions).\n * - FiberRef cannot reliably read the \"current fiber\" in such entry points, so we need a synchronous callstack-level marker.\n *\n * Note: if a transaction body incorrectly crosses async boundaries, this marker will be held longer; that is a severe violation.\n */\nlet inSyncTransactionGlobalDepth = 0\n\nexport const enterSyncTransaction = (): void => {\n  inSyncTransactionGlobalDepth += 1\n}\n\nexport const exitSyncTransaction = (): void => {\n  inSyncTransactionGlobalDepth = Math.max(0, inSyncTransactionGlobalDepth - 1)\n}\n\nexport const isInSyncTransaction = (): boolean => inSyncTransactionGlobalDepth > 0\n\nexport type TaskRunnerMode =\n  | 'task' // sequential\n  | 'parallel'\n  | 'latest'\n  | 'exhaust'\n\nexport type TaskStatus = 'idle' | 'pending' | 'running' | 'success' | 'failure' | 'interrupted'\n\nexport interface TaskExecution {\n  readonly taskId: number\n  readonly status: TaskStatus\n  readonly acceptedAt: number\n  readonly startedAt?: number\n  readonly endedAt?: number\n}\n\nexport interface TaskRunnerOrigins {\n  readonly pending?: StateTxnOrigin\n  readonly success?: StateTxnOrigin\n  readonly failure?: StateTxnOrigin\n}\n\ntype TaskHandler<Payload, Sh extends AnyModuleShape, R> =\n  | Logic.Of<Sh, R, void, never>\n  | ((payload: Payload) => Logic.Of<Sh, R, void, never>)\n\ntype TaskEffect<Payload, Sh extends AnyModuleShape, R, A, E> =\n  | Logic.Of<Sh, R, A, E>\n  | ((payload: Payload) => Logic.Of<Sh, R, A, E>)\n\nexport interface TaskRunnerConfig<Payload, Sh extends AnyModuleShape, R, A = void, E = never> {\n  /**\n   * Optional: trigger source name (e.g. actionTag / fieldPath), used as the default pending origin.name.\n   * - BoundApiRuntime may fill this in for onAction(\"xxx\") / traits.source.refresh(\"field\"), etc.\n   * - Other callers are not required to provide it.\n   */\n  readonly triggerName?: string\n\n  /**\n   * pending: synchronous state writes (loading=true / clearing errors, etc.), always a separate transaction entry.\n   * - Only executed for tasks that are accepted and actually started (ignored triggers in runExhaustTask do not run pending).\n   */\n  readonly pending?: TaskHandler<Payload, Sh, R>\n\n  /**\n   * effect: real IO / async work (must run outside the transaction window).\n   */\n  readonly effect: TaskEffect<Payload, Sh, R, A, E>\n\n  /**\n   * success: success writeback (separate transaction entry).\n   */\n  readonly success?: (result: A, payload: Payload) => Logic.Of<Sh, R, void, never>\n\n  /**\n   * failure: failure writeback (separate transaction entry).\n   *\n   * Note: takes a Cause to preserve defect/interrupt semantics; interrupts do not trigger failure writeback by default.\n   */\n  readonly failure?: (cause: Cause.Cause<E>, payload: Payload) => Logic.Of<Sh, R, void, never>\n\n  /**\n   * origin: optional override for the three transaction origins.\n   * - Default: pending.kind=\"task:pending\"; success/failure.kind=\"service-callback\".\n   */\n  readonly origin?: TaskRunnerOrigins\n\n  /**\n   * priority: reserved for future debugging/sorting; does not change transaction boundaries or concurrency semantics.\n   */\n  readonly priority?: number\n}\n\nexport interface TaskRunnerRuntime {\n  readonly moduleId?: string\n  readonly instanceId?: string\n  readonly runWithStateTransaction: (\n    origin: StateTxnOrigin,\n    body: () => Effect.Effect<void, never, any>,\n  ) => Effect.Effect<void, never, any>\n  readonly resolveConcurrencyPolicy?: () => Effect.Effect<RuntimeInternalsResolvedConcurrencyPolicy, never, any>\n}\n\nconst resolve = <Payload, Sh extends AnyModuleShape, R, A, E>(\n  eff: TaskEffect<Payload, Sh, R, A, E> | TaskHandler<Payload, Sh, R>,\n  payload: Payload,\n): any => (typeof eff === 'function' ? (eff as any)(payload) : eff)\n\nconst defaultOrigins = (triggerName: string | undefined): Required<TaskRunnerOrigins> => ({\n  pending: {\n    kind: 'task:pending',\n    name: triggerName,\n  },\n  success: {\n    kind: 'service-callback',\n    name: 'task:success',\n  },\n  failure: {\n    kind: 'service-callback',\n    name: 'task:failure',\n  },\n})\n\nexport const shouldNoopInSyncTransactionFiber = (options: {\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}): Effect.Effect<boolean> =>\n  Effect.gen(function* () {\n    const inTxn = yield* FiberRef.get(inSyncTransactionFiber)\n    if (!inTxn) {\n      return false\n    }\n    // Always no-op regardless of env (otherwise we may deadlock); diagnostics are emitted only in dev/test.\n    if (isDevEnv()) {\n      yield* Debug.record({\n        type: 'diagnostic',\n        moduleId: options.moduleId,\n        instanceId: options.instanceId,\n        code: options.code,\n        severity: options.severity,\n        message: options.message,\n        hint: options.hint,\n        actionTag: options.actionTag,\n        kind: options.kind,\n      })\n    }\n    return true\n  })\n\nconst resolveConcurrencyLimit = (runtime: TaskRunnerRuntime): Effect.Effect<number | 'unbounded', never, any> =>\n  runtime.resolveConcurrencyPolicy\n    ? runtime.resolveConcurrencyPolicy().pipe(Effect.map((p) => p.concurrencyLimit))\n    : Effect.succeed(16)\n\nconst runTaskLifecycle = <Payload, Sh extends AnyModuleShape, R, A, E>(\n  payload: Payload,\n  runtime: TaskRunnerRuntime,\n  config: TaskRunnerConfig<Payload, Sh, R, A, E>,\n  getCanWriteBack?: Effect.Effect<boolean>,\n): Effect.Effect<void, never, Logic.Env<Sh, R>> =>\n  Effect.gen(function* () {\n    const noop = yield* shouldNoopInSyncTransactionFiber({\n      moduleId: runtime.moduleId,\n      instanceId: runtime.instanceId,\n      code: 'logic::invalid_usage',\n      severity: 'error',\n      message: 'run*Task is not allowed inside a synchronous StateTransaction body (it may deadlock the txnQueue).',\n      hint:\n        'Call run*Task from the run section of a watcher (e.g. $.onAction/$.onState/$.on); ' +\n        'do not call it directly inside a reducer / trait.run / synchronous transaction body. For long-lived flows, use a multi-entry pattern (pending → IO → writeback).',\n      kind: 'run_task_in_transaction',\n    })\n    if (noop) {\n      return\n    }\n\n    const defaults = defaultOrigins(config.triggerName)\n    const origins: Required<TaskRunnerOrigins> = {\n      pending: config.origin?.pending ?? defaults.pending,\n      success: config.origin?.success ?? defaults.success,\n      failure: config.origin?.failure ?? defaults.failure,\n    }\n\n    // 1) pending: separate transaction entry; once started it should not be interrupted by runLatest.\n    const pending = config.pending\n    if (pending) {\n      yield* Effect.uninterruptible(\n        runtime.runWithStateTransaction(origins.pending, () => Effect.asVoid(resolve(pending, payload))),\n      )\n    }\n\n    // 2) IO: runs outside the transaction window.\n    const io = resolve(config.effect, payload) as Effect.Effect<A, E, Logic.Env<Sh, R>>\n    const exit = yield* Effect.exit(io)\n\n    // 3) writeback: use the guard to confirm it's still the current task (runLatestTask).\n    if (getCanWriteBack) {\n      const ok = yield* getCanWriteBack\n      if (!ok) {\n        return\n      }\n    }\n\n    if (exit._tag === 'Success') {\n      const success = config.success\n      if (success) {\n        yield* runtime.runWithStateTransaction(origins.success, () => Effect.asVoid(success(exit.value, payload)))\n      }\n      return\n    }\n\n    // Failure: interruptions do not trigger failure writeback (e.g. runLatestTask cancellation, Scope ending).\n    const cause = exit.cause as Cause.Cause<E>\n    if (Cause.isInterrupted(cause)) {\n      return\n    }\n\n    const failure = config.failure\n    if (failure) {\n      yield* runtime.runWithStateTransaction(origins.failure, () => Effect.asVoid(failure(cause, payload)))\n    }\n  }).pipe(\n    // Watchers must not crash as a whole due to a single task failure: swallow errors, but keep them diagnosable.\n    Effect.catchAllCause((cause) =>\n      Debug.record({\n        type: 'diagnostic',\n        moduleId: runtime.moduleId,\n        instanceId: runtime.instanceId,\n        code: 'task_runner::unhandled_failure',\n        severity: 'error',\n        message: 'TaskRunner encountered an unhandled failure (pending/IO/writeback).',\n        hint: 'Add a failure writeback for this task or handle errors explicitly upstream; avoid fire-and-forget swallowing errors.',\n        actionTag: config.triggerName,\n        kind: 'task_runner_unhandled_failure',\n        trigger: {\n          kind: 'task',\n          name: config.triggerName,\n        },\n      }).pipe(Effect.zipRight(Effect.logError('TaskRunner error', cause))),\n    ),\n  ) as Effect.Effect<void, never, Logic.Env<Sh, R>>\n\n/**\n * makeTaskRunner：\n * - Reuses FlowRuntime concurrency semantics (sequential/parallel/latest/exhaust).\n * - Splits a single trigger into: pending (separate txn) → IO → success/failure (separate txn).\n */\nexport const makeTaskRunner = <Payload, Sh extends AnyModuleShape, R, A = void, E = never>(\n  stream: Stream.Stream<Payload>,\n  mode: TaskRunnerMode,\n  runtime: TaskRunnerRuntime,\n  config: TaskRunnerConfig<Payload, Sh, R, A, E>,\n): Effect.Effect<void, never, Logic.Env<Sh, R>> => {\n  if (mode === 'latest') {\n    return Effect.gen(function* () {\n      const taskIdRef = yield* Ref.make(0)\n      const currentFiberRef = yield* Ref.make<Fiber.RuntimeFiber<void, never> | undefined>(undefined)\n\n      const start = (payload: Payload) =>\n        Effect.gen(function* () {\n          const taskId = yield* Ref.updateAndGet(taskIdRef, (n) => n + 1)\n\n          const prev = yield* Ref.get(currentFiberRef)\n          if (prev) {\n            // Do not wait for the old fiber to fully end (avoid blocking new triggers); writeback is guarded by taskId.\n            yield* Fiber.interruptFork(prev)\n          }\n\n          const canWriteBack = Ref.get(taskIdRef).pipe(Effect.map((current) => current === taskId))\n\n          const fiber = yield* Effect.fork(\n            runTaskLifecycle<Payload, Sh, R, A, E>(payload, runtime, config, canWriteBack),\n          )\n\n          yield* Ref.set(currentFiberRef, fiber)\n        })\n\n      return yield* Stream.runForEach(stream, start)\n    })\n  }\n\n  if (mode === 'exhaust') {\n    return Effect.gen(function* () {\n      const concurrency = yield* resolveConcurrencyLimit(runtime)\n      const busyRef = yield* Ref.make(false)\n\n      const mapper = (payload: Payload) =>\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            // Ignore trigger: no pending transaction is produced.\n            return\n          }\n          try {\n            yield* runTaskLifecycle<Payload, Sh, R, A, E>(payload, runtime, config)\n          } finally {\n            yield* Ref.set(busyRef, false)\n          }\n        })\n\n      return yield* Stream.runDrain(stream.pipe(Stream.mapEffect(mapper, { concurrency })))\n    }) as Effect.Effect<void, never, Logic.Env<Sh, R>>\n  }\n\n  if (mode === 'parallel') {\n    return Effect.gen(function* () {\n      const concurrency = yield* resolveConcurrencyLimit(runtime)\n\n      return yield* Stream.runDrain(\n        stream.pipe(\n          Stream.mapEffect((payload) => runTaskLifecycle<Payload, Sh, R, A, E>(payload, runtime, config), {\n            concurrency,\n          }),\n        ),\n      )\n    }) as Effect.Effect<void, never, Logic.Env<Sh, R>>\n  }\n\n  // mode === \"task\"（sequential）\n  return Stream.runForEach(stream, (payload) =>\n    runTaskLifecycle<Payload, Sh, R, A, E>(payload, runtime, config),\n  ) as Effect.Effect<void, never, Logic.Env<Sh, R>>\n}\n","import { Cause, Effect, FiberRef, Layer, Logger } from 'effect'\nimport {\n  projectJsonValue,\n  type DowngradeReason as JsonDowngradeReason,\n  type JsonValue,\n  type JsonValueProjectionStats,\n} from '../../observability/jsonValue.js'\nimport type * as ReplayLog from './ReplayLog.js'\nimport {\n  toSerializableErrorSummary,\n  type DowngradeReason as ErrorDowngradeReason,\n  type SerializableErrorSummary,\n} from './errorSummary.js'\nimport * as EffectOpCore from './EffectOpCore.js'\nimport type * as ProcessProtocol from './process/protocol.js'\nimport type { ConvergeStaticIrExport } from '../../state-trait/converge-ir.js'\n\nexport interface TriggerRef {\n  readonly kind: string\n  readonly name?: string\n  readonly details?: unknown\n}\n\ntype TraceEventType = `trace:${string}`\ntype GenericTraceEventType = Exclude<\n  TraceEventType,\n  'trace:trait:converge' | 'trace:trait:check' | 'trace:trait:validate'\n>\n\n/**\n * ReplayEventRef：\n * - Replay event structure referenced from Debug events.\n * - Based on ReplayLog.Event, enriched with txn/trigger association fields for Devtools aggregation and explanation.\n */\nexport type ReplayEventRef = ReplayLog.ReplayLogEvent & {\n  readonly txnId?: string\n  readonly trigger?: TriggerRef\n}\n\nexport type Event =\n  | {\n      readonly type: 'module:init'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'module:destroy'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'lifecycle:phase'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly phase: 'init' | 'run' | 'destroy' | 'platform'\n      readonly name: string\n      readonly payload?: unknown\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'action:dispatch'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly action: unknown\n      readonly actionTag?: string\n      readonly unknownAction?: boolean\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'state:update'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly state: unknown\n      readonly txnSeq?: number\n      readonly txnId?: string\n      /**\n       * Optional: Static IR digest aligned with FieldPathId/StepId (for consumer-side reverse-mapping & alignment).\n       * - When missing or mismatched, consumers must not attempt to reverse-map rootIds -> rootPaths (avoid wrong UI).\n       * - Allowed to be omitted on near-zero-cost diagnostics=off paths.\n       */\n      readonly staticIrDigest?: string\n      /**\n       * Optional: the affected scope aggregated by this commit (field-level dirty-set).\n       * - Populated by Runtime at commit time;\n       * - Must stay slim and serializable;\n       * - Devtools can use it to explain \"why converge/validate ran / why it degraded to full\".\n       */\n      readonly dirtySet?: unknown\n      /**\n       * Optional: patch count aggregated by this commit (from StateTransaction).\n       * - Populated by Runtime only on transaction paths.\n       * - Devtools can use it as a lightweight transaction summary metric.\n       */\n      readonly patchCount?: number\n      /**\n       * Optional: whether patch records were truncated (bounded) under full instrumentation.\n       */\n      readonly patchesTruncated?: boolean\n      /**\n       * Optional: truncation reason code (stable enum).\n       */\n      readonly patchesTruncatedReason?: 'max_patches'\n      /**\n       * Optional: commit mode (normal/batched/low-priority, etc).\n       * - Populated by Runtime;\n       * - Default is chosen by the caller (typically \"normal\").\n       */\n      readonly commitMode?: string\n      /**\n       * Optional: external visibility priority (normal/low).\n       * - Populated by Runtime.\n       * - Mainly used by React external subscription scheduling (avoid unnecessary renders).\n       */\n      readonly priority?: string\n      /**\n       * Optional: transaction origin kind (origin.kind) that triggered this state commit:\n       * - e.g. \"action\" / \"source-refresh\" / \"service-callback\" / \"devtools\".\n       * - Populated by Runtime only on StateTransaction-based paths.\n       * - Devtools can distinguish app transactions vs devtools time-travel operations.\n       */\n      readonly originKind?: string\n      /**\n       * Optional: transaction origin name (origin.name) that triggered this state commit:\n       * - e.g. action dispatch / fieldPath / task:success/task:failure, etc.\n       * - Populated by Runtime only on StateTransaction-based paths.\n       */\n      readonly originName?: string\n      /**\n       * Reserved: Trait converge summary (for Devtools window-level stats / TopN costs / degrade reasons, etc.).\n       * - Phase 2: field slot only; structure is not fixed.\n       * - Later phases will align with the Trait/Replay event model into an explainable structure.\n       */\n      readonly traitSummary?: unknown\n      /**\n       * Reserved: replay event associated with this transaction (re-emit source of truth from ReplayLog).\n       * - Phase 2: field slot only.\n       * - Later phases will align with ReplayLog.Event structure.\n       */\n      readonly replayEvent?: ReplayEventRef\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type:\n        | 'process:start'\n        | 'process:stop'\n        | 'process:restart'\n        | 'process:trigger'\n        | 'process:dispatch'\n        | 'process:error'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly identity: ProcessProtocol.ProcessInstanceIdentity\n      readonly severity: 'info' | 'warning' | 'error'\n      readonly eventSeq: number\n      readonly timestampMs: number\n      readonly trigger?: ProcessProtocol.ProcessTrigger\n      readonly dispatch?: {\n        readonly moduleId: string\n        readonly instanceId: string\n        readonly actionId: string\n      }\n      readonly error?: ProcessProtocol.SerializableErrorSummary\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'lifecycle:error'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly cause: unknown\n      readonly phase?: 'init' | 'run' | 'destroy' | 'platform'\n      readonly hook?: 'initRequired' | 'start' | 'destroy' | 'suspend' | 'resume' | 'reset' | 'unknown'\n      readonly taskId?: string\n      readonly opSeq?: number\n      readonly origin?: string\n      readonly txnSeq?: number\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'diagnostic'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly code: string\n      readonly severity: 'error' | 'warning' | 'info'\n      readonly message: string\n      readonly hint?: string\n      readonly actionTag?: string\n      readonly kind?: string\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly trigger?: TriggerRef\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  /**\n   * trace:* events:\n   * - Extension hook for runtime tracing / Playground / Alignment Lab.\n   * - Only the type prefix and moduleId are standardized; payload shape is defined by higher layers (e.g. spanId/attributes in data).\n   */\n  | {\n      readonly type: 'trace:trait:converge'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly data: JsonValue\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'trace:trait:check'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly data: JsonValue\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: 'trace:trait:validate'\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly data: JsonValue\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n  | {\n      readonly type: GenericTraceEventType\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly data?: unknown\n      readonly txnSeq?: number\n      readonly txnId?: string\n      readonly runtimeLabel?: string\n      readonly timestamp?: number\n    }\n\nexport interface Sink {\n  readonly record: (event: Event) => Effect.Effect<void>\n}\nexport const currentDebugSinks = FiberRef.unsafeMake<ReadonlyArray<Sink>>([])\nexport const currentRuntimeLabel = FiberRef.unsafeMake<string | undefined>(undefined)\nexport const currentTxnId = FiberRef.unsafeMake<string | undefined>(undefined)\nexport const currentOpSeq = FiberRef.unsafeMake<number | undefined>(undefined)\nexport type DiagnosticsLevel = 'off' | 'light' | 'sampled' | 'full'\nexport const currentDiagnosticsLevel = FiberRef.unsafeMake<DiagnosticsLevel>('off')\n\nexport const diagnosticsLevel = (level: DiagnosticsLevel): Layer.Layer<any, never, never> =>\n  Layer.fiberRefLocallyScopedWith(currentDiagnosticsLevel as any, () => level) as Layer.Layer<any, never, never>\n\nexport interface TraitConvergeDiagnosticsSamplingConfig {\n  /**\n   * Sample once every N txns (deterministic, based on stable txnSeq).\n   * - 1: sample every txn (timing granularity similar to full, while keeping payload slim)\n   */\n  readonly sampleEveryN: number\n  /**\n   * Max number of TopK hotspots to output (recommended ≤ 3).\n   */\n  readonly topK: number\n}\n\nexport const currentTraitConvergeDiagnosticsSampling = FiberRef.unsafeMake<TraitConvergeDiagnosticsSamplingConfig>({\n  sampleEveryN: 32,\n  topK: 3,\n})\n\nexport const traitConvergeDiagnosticsSampling = (\n  config: TraitConvergeDiagnosticsSamplingConfig,\n): Layer.Layer<any, never, never> =>\n  Layer.fiberRefLocallyScopedWith(currentTraitConvergeDiagnosticsSampling as any, () => config) as Layer.Layer<\n    any,\n    never,\n    never\n  >\n\nexport const appendSinks = (sinks: ReadonlyArray<Sink>): Layer.Layer<any, never, never> =>\n  Layer.fiberRefLocallyScopedWith(currentDebugSinks, (current) => [...current, ...sinks]) as Layer.Layer<\n    any,\n    never,\n    never\n  >\n\nexport type RuntimeDebugEventKind =\n  | 'action'\n  | 'state'\n  | 'service'\n  | 'process'\n  | 'trait-computed'\n  | 'trait-link'\n  | 'trait-source'\n  | 'lifecycle'\n  | 'react-render'\n  | 'devtools'\n  | 'diagnostic'\n  | (string & {})\n\nexport interface RuntimeDebugEventRef {\n  readonly eventId: string\n  readonly eventSeq: number\n  readonly moduleId: string\n  readonly instanceId: string\n  readonly runtimeLabel?: string\n  readonly txnSeq: number\n  readonly txnId?: string\n  /**\n   * linkId：\n   * - Current operation chain id (shared by boundary ops in the same chain).\n   * - Created by Runtime at the boundary root and propagated via FiberRef across nested/cross-module chains.\n   */\n  readonly linkId?: string\n  readonly timestamp: number\n  readonly kind: RuntimeDebugEventKind\n  readonly label: string\n  readonly meta?: JsonValue\n  readonly errorSummary?: SerializableErrorSummary\n  readonly downgrade?: {\n    readonly reason?: 'non_serializable' | 'oversized' | 'unknown'\n  }\n}\n\nexport type TxnLaneEvidenceReason =\n  | 'disabled'\n  | 'forced_off'\n  | 'forced_sync'\n  | 'queued_non_urgent'\n  | 'preempted_by_urgent'\n  | 'budget_yield'\n  | 'coalesced'\n  | 'canceled'\n  | 'max_lag_forced'\n  | 'starvation_protection'\n\nexport type TxnLaneNonUrgentYieldReason = 'none' | 'input_pending' | 'budget_exceeded' | 'forced_frame_yield'\n\nexport type TxnLaneEvidence = {\n  readonly anchor: {\n    readonly moduleId: string\n    readonly instanceId: string\n    readonly txnSeq: number\n    readonly opSeq?: number\n  }\n  readonly lane: 'urgent' | 'nonUrgent'\n  readonly kind: string\n  readonly policy: {\n    readonly enabled: boolean\n    readonly overrideMode?: 'forced_off' | 'forced_sync'\n    readonly configScope: 'provider' | 'runtime_module' | 'runtime_default' | 'builtin'\n    readonly budgetMs: number\n    readonly debounceMs: number\n    readonly maxLagMs: number\n    readonly allowCoalesce: boolean\n    readonly yieldStrategy?: 'baseline' | 'inputPending'\n    readonly queueMode?: 'fifo' | 'lanes'\n  }\n  readonly backlog: {\n    readonly pendingCount: number\n    readonly ageMs?: number\n    readonly coalescedCount?: number\n    readonly canceledCount?: number\n  }\n  readonly budget?: {\n    readonly budgetMs?: number\n    readonly sliceDurationMs?: number\n    readonly yieldCount?: number\n    readonly yielded?: boolean\n    readonly yieldReason?: TxnLaneNonUrgentYieldReason\n  }\n  readonly starvation?: {\n    readonly triggered?: boolean\n    readonly reason?: string\n  }\n  readonly reasons: ReadonlyArray<TxnLaneEvidenceReason>\n}\n\nlet nextGlobalEventSeq = 0\n\nexport const clearRuntimeDebugEventSeq = (): void => {\n  nextGlobalEventSeq = 0\n}\n\nconst nextEventSeq = (): number => {\n  nextGlobalEventSeq += 1\n  return nextGlobalEventSeq\n}\n\nconst makeEventId = (instanceId: string, eventSeq: number): string => `${instanceId}::e${eventSeq}`\n\ntype DowngradeReason = JsonDowngradeReason | ErrorDowngradeReason\n\nconst mergeDowngrade = (\n  current: DowngradeReason | undefined,\n  next: DowngradeReason | undefined,\n): DowngradeReason | undefined => {\n  if (!current) return next\n  if (!next) return current\n  if (current === 'non_serializable' || next === 'non_serializable') return 'non_serializable'\n  if (current === 'oversized' || next === 'oversized') return 'oversized'\n  return 'unknown'\n}\n\n// In browsers, to reduce duplicated noise caused by React StrictMode, etc.,\n// de-duplicate lifecycle:error and diagnostic events: print the same moduleId+payload only once.\nconst browserLifecycleSeen = new Set<string>()\nconst browserDiagnosticSeen = new Set<string>()\n\n// Align trace:react-render events with the most recent state:update txn (UI-only association).\nconst lastTxnByInstance = new Map<string, { readonly txnId: string; readonly txnSeq: number }>()\n\n// trace:react-render / trace:react-selector may enter the sink before state:update (reordering due to concurrency/scheduling).\n// To provide usable txn anchors in Devtools/UI, we allow a one-time backfill for refs missing txn fields.\nconst pendingTxnAlignmentByInstance = new Map<string, Array<RuntimeDebugEventRef>>()\n\nconst enqueuePendingTxnAlignment = (instanceId: string, ref: RuntimeDebugEventRef): void => {\n  const list = pendingTxnAlignmentByInstance.get(instanceId)\n  if (!list) {\n    pendingTxnAlignmentByInstance.set(instanceId, [ref])\n    return\n  }\n  list.push(ref)\n  if (list.length > 64) {\n    list.shift()\n  }\n}\n\nconst backfillPendingTxnAlignment = (\n  instanceId: string,\n  txn: { readonly txnId: string; readonly txnSeq: number },\n): void => {\n  const pending = pendingTxnAlignmentByInstance.get(instanceId)\n  if (!pending || pending.length === 0) {\n    pendingTxnAlignmentByInstance.delete(instanceId)\n    return\n  }\n\n  for (const ref of pending) {\n    const anyRef: any = ref as any\n    if (anyRef.txnId == null) {\n      anyRef.txnId = txn.txnId\n    }\n    if (typeof anyRef.txnSeq !== 'number' || anyRef.txnSeq <= 0) {\n      anyRef.txnSeq = txn.txnSeq\n    }\n  }\n\n  pendingTxnAlignmentByInstance.delete(instanceId)\n}\n\nconst lifecycleErrorLog = (event: Extract<Event, { readonly type: 'lifecycle:error' }>) => {\n  const moduleId = event.moduleId ?? 'unknown'\n  const causePretty = (() => {\n    try {\n      return Cause.pretty(event.cause as Cause.Cause<unknown>, {\n        renderErrorCause: true,\n      })\n    } catch {\n      try {\n        return JSON.stringify(event.cause, null, 2)\n      } catch {\n        return String(event.cause)\n      }\n    }\n  })()\n\n  const message = `[Logix][module=${moduleId}] lifecycle:error\\n${causePretty}`\n\n  return Effect.logError(message).pipe(\n    Effect.annotateLogs({\n      'logix.moduleId': moduleId,\n      'logix.event': 'lifecycle:error',\n      'logix.cause': causePretty,\n    }),\n  )\n}\n\nconst diagnosticLog = (event: Extract<Event, { readonly type: 'diagnostic' }>) => {\n  const moduleId = event.moduleId ?? 'unknown'\n  const header = `[Logix][module=${moduleId}] diagnostic(${event.severity})`\n  const detail = `code=${event.code} message=${event.message}${\n    event.actionTag ? ` action=${event.actionTag}` : ''\n  }${event.hint ? `\\nhint: ${event.hint}` : ''}`\n  const msg = `${header}\\n${detail}`\n\n  const base =\n    event.severity === 'warning'\n      ? Effect.logWarning(msg)\n      : event.severity === 'info'\n        ? Effect.logInfo(msg)\n        : Effect.logError(msg)\n\n  const annotations: Record<string, unknown> = {\n    'logix.moduleId': moduleId,\n    'logix.event': `diagnostic(${event.severity})`,\n    'logix.diagnostic.code': event.code,\n    'logix.diagnostic.message': event.message,\n  }\n  if (event.hint) {\n    annotations['logix.diagnostic.hint'] = event.hint\n  }\n  if (event.actionTag) {\n    annotations['logix.diagnostic.actionTag'] = event.actionTag\n  }\n\n  return base.pipe(Effect.annotateLogs(annotations))\n}\n\n/**\n * Default Layer composition based on FiberRef.currentDebugSinks:\n * - Uses Layer.locallyScoped to inject Debug sinks via FiberRef state.\n * - Avoids misusing FiberRef as a Context.Tag.\n */\nexport const noopLayer = Layer.locallyScoped(currentDebugSinks, [])\n\n/**\n * errorOnlyLayer：\n * - Default DebugSink implementation that only cares about lifecycle:error events.\n * - Suitable as a \"minimum observability\" layer so fatal errors don't silently disappear.\n * - Other events (module:init/destroy, action:dispatch, state:update) are not recorded by default.\n */\nconst errorOnlySink: Sink = {\n  record: (event: Event) =>\n    event.type === 'lifecycle:error'\n      ? lifecycleErrorLog(event)\n      : event.type === 'diagnostic' && event.severity !== 'info'\n        ? diagnosticLog(event)\n        : Effect.void,\n}\n\nexport const errorOnlyLayer = Layer.locallyScoped(currentDebugSinks, [errorOnlySink])\n\nexport const isErrorOnlyOnlySinks = (sinks: ReadonlyArray<Sink>): boolean => sinks.length === 1 && sinks[0] === errorOnlySink\n\n/**\n * consoleLayer：\n * - Full debug layer that logs all Debug events via Effect logs (logfmt / structured).\n * - Suitable as an observability layer for general environments (Node / tests).\n */\nconst consoleSink: Sink = {\n  record: (event: Event) =>\n    event.type === 'lifecycle:error'\n      ? lifecycleErrorLog(event)\n      : event.type === 'diagnostic'\n        ? diagnosticLog(event)\n        : Effect.logDebug({ debugEvent: event }),\n}\n\nexport const consoleLayer = Layer.locallyScoped(currentDebugSinks, [consoleSink])\n\nconst isBrowser = typeof window !== 'undefined' && typeof document !== 'undefined'\n\n// Shared browser console rendering logic used by the default DebugSink and browserConsoleLayer.\nconst renderBrowserConsoleEvent = (event: Event): Effect.Effect<void> => {\n  // trace:* events: shown as separate groups in browsers for Playground / DevTools observation.\n  if (typeof (event as any).type === 'string' && (event as any).type.startsWith('trace:')) {\n    const moduleId = (event as any).moduleId ?? 'unknown'\n    const type = (event as any).type\n\n    return Effect.sync(() => {\n      // eslint-disable-next-line no-console\n      console.groupCollapsed(\n        '%c[Logix]%c trace %c' + moduleId + '%c ' + String(type),\n        'color:#6b7280;font-weight:bold', // tag\n        'color:#3b82f6', // label\n        'color:#9ca3af', // module id\n        'color:#6b7280', // type\n      )\n      // eslint-disable-next-line no-console\n      console.log(event)\n      // eslint-disable-next-line no-console\n      console.groupEnd()\n    })\n  }\n\n  if (event.type === 'lifecycle:error') {\n    const moduleId = event.moduleId ?? 'unknown'\n    const causePretty = (() => {\n      try {\n        return Cause.pretty(event.cause as Cause.Cause<unknown>, { renderErrorCause: true })\n      } catch {\n        try {\n          return JSON.stringify(event.cause, null, 2)\n        } catch {\n          return String(event.cause)\n        }\n      }\n    })()\n\n    const key = `${moduleId}|${causePretty}`\n    if (browserLifecycleSeen.has(key)) {\n      return Effect.void\n    }\n    browserLifecycleSeen.add(key)\n\n    return Effect.sync(() => {\n      // eslint-disable-next-line no-console\n      console.groupCollapsed(\n        '%c[Logix]%c lifecycle:error %c' + moduleId,\n        'color:#ef4444;font-weight:bold', // tag\n        'color:#ef4444', // label\n        'color:#9ca3af', // module id\n      )\n      // eslint-disable-next-line no-console\n      console.error(causePretty)\n      // eslint-disable-next-line no-console\n      console.groupEnd()\n    })\n  }\n\n  if (event.type === 'diagnostic') {\n    const moduleId = event.moduleId ?? 'unknown'\n    const detail = `code=${event.code} message=${event.message}${\n      event.actionTag ? ` action=${event.actionTag}` : ''\n    }${event.hint ? `\\nhint: ${event.hint}` : ''}`\n\n    const color =\n      event.severity === 'warning' ? 'color:#d97706' : event.severity === 'info' ? 'color:#3b82f6' : 'color:#ef4444'\n\n    const label =\n      event.severity === 'warning'\n        ? 'diagnostic(warning)'\n        : event.severity === 'info'\n          ? 'diagnostic(info)'\n          : 'diagnostic(error)'\n\n    const key = `${moduleId}|${event.code}|${event.message}`\n    if (browserDiagnosticSeen.has(key)) {\n      return Effect.void\n    }\n    browserDiagnosticSeen.add(key)\n\n    return Effect.sync(() => {\n      // eslint-disable-next-line no-console\n      console.groupCollapsed(\n        '%c[Logix]%c ' + label + '%c module=' + moduleId,\n        'color:#6b7280;font-weight:bold',\n        color,\n        'color:#9ca3af',\n      )\n      if (event.severity === 'warning') {\n        // eslint-disable-next-line no-console\n        console.warn(detail)\n      } else if (event.severity === 'info') {\n        // eslint-disable-next-line no-console\n        console.info(detail)\n      } else {\n        // eslint-disable-next-line no-console\n        console.error(detail)\n      }\n      // eslint-disable-next-line no-console\n      console.groupEnd()\n    })\n  }\n\n  // Other events are not printed to the browser console by default to avoid being too noisy during development.\n  // For internal debug events, use a custom Debug sink or use consoleLayer in Node.\n  return Effect.void\n}\n\n/**\n * Browser console debug layer:\n * - In browsers, uses console.groupCollapsed + colored labels to simulate pretty logger grouping.\n * - In non-browser environments, falls back to consoleLayer's Effect logging implementation.\n */\nconst browserConsoleSink: Sink = {\n  record: (event: Event) => {\n    if (!isBrowser) {\n      // Non-browser: fall back to consoleLayer behavior (Effect.log*).\n      return event.type === 'lifecycle:error'\n        ? lifecycleErrorLog(event)\n        : event.type === 'diagnostic'\n          ? diagnosticLog(event)\n          : Effect.logDebug({ debugEvent: event })\n    }\n\n    return renderBrowserConsoleEvent(event)\n  },\n}\n\nexport const browserConsoleLayer = Layer.locallyScoped(currentDebugSinks, [browserConsoleSink])\n\n/**\n * Browser diagnostic-only debug layer:\n * - In browsers, prints only lifecycle:error + diagnostic(warning/error) via console.groupCollapsed.\n * - Drops trace:* and other high-frequency events from the browser console (use DevtoolsHub instead).\n * - In non-browser environments, behaves like errorOnlySink (Effect.log*).\n */\nconst browserDiagnosticConsoleSink: Sink = {\n  record: (event: Event) => {\n    if (!isBrowser) {\n      return event.type === 'lifecycle:error'\n        ? lifecycleErrorLog(event)\n        : event.type === 'diagnostic' && event.severity !== 'info'\n          ? diagnosticLog(event)\n          : Effect.void\n    }\n\n    return event.type === 'lifecycle:error' || (event.type === 'diagnostic' && event.severity !== 'info')\n      ? renderBrowserConsoleEvent(event)\n      : Effect.void\n  },\n}\n\nexport const browserDiagnosticConsoleLayer = Layer.locallyScoped(currentDebugSinks, [browserDiagnosticConsoleSink])\n\n/**\n * Browser-friendly Logger layer: replaces the default logger with Effect's pretty logger (browser mode).\n * - Avoids hand-written console styles; reuses Effect's colored/grouped formatting.\n * - Safely degrades to the default logger in server environments.\n */\nexport const browserPrettyLoggerLayer = Logger.replace(\n  Logger.defaultLogger,\n  Logger.prettyLogger({ mode: 'browser', colors: true }),\n)\n\n/**\n * defaultLayer：\n * - Public default layer; currently equivalent to errorOnlyLayer.\n * - Records lifecycle:error only, avoiding a large volume of action/state logs by default.\n */\nexport const defaultLayer = errorOnlyLayer\n\nexport const record = (event: Event) =>\n  Effect.gen(function* () {\n    const sinks = yield* FiberRef.get(currentDebugSinks)\n\n    // Fast path: production default installs errorOnlyLayer (sinks=1).\n    // Avoid paying diagnostics FiberRef + enrichment costs for high-frequency events that are always dropped by errorOnly.\n    if (isErrorOnlyOnlySinks(sinks)) {\n      if (event.type === 'lifecycle:error') {\n        yield* lifecycleErrorLog(event)\n        return\n      }\n      if (event.type === 'diagnostic') {\n        if (event.severity !== 'info') {\n          yield* diagnosticLog(event)\n        } else {\n          yield* Effect.void\n        }\n        return\n      }\n      yield* Effect.void\n      return\n    }\n\n    // Fast path: when no sinks are installed, only a small subset of events are ever surfaced.\n    // Avoid paying per-event FiberRef + enrichment costs for high-frequency events like state:update.\n    if (sinks.length === 0) {\n      if (isBrowser) {\n        if (event.type === 'lifecycle:error' || event.type === 'diagnostic') {\n          yield* renderBrowserConsoleEvent(event)\n          return\n        }\n        yield* Effect.void\n        return\n      }\n\n      if (event.type === 'lifecycle:error') {\n        yield* lifecycleErrorLog(event)\n        return\n      }\n      if (event.type === 'diagnostic') {\n        yield* diagnosticLog(event)\n        return\n      }\n      yield* Effect.void\n      return\n    }\n\n    const enriched = event as Event\n\n    const diagnosticsLevel = yield* FiberRef.get(currentDiagnosticsLevel)\n\n    // Enrich Debug.Event with basic fields (enabled only when diagnosticsLevel!=off):\n    // - timestamp: for Devtools/Timeline/Overview time aggregation; avoids UI-side \"first observed time\" distortion.\n    // - runtimeLabel: from FiberRef for grouping by runtime (injected only when not already provided by the event).\n    let now: number | undefined\n    const getNow = (): number => {\n      if (now === undefined) now = Date.now()\n      return now\n    }\n\n    // diagnostics=off: keep near-zero cost; do not add timestamp for high-frequency events (avoid extra Date.now()).\n    // Low-frequency events (lifecycle:error/diagnostic) may still get timestamp for easier debugging.\n    if (\n      enriched.timestamp === undefined &&\n      (diagnosticsLevel !== 'off' || enriched.type === 'lifecycle:error' || enriched.type === 'diagnostic')\n    ) {\n      ;(enriched as any).timestamp = getNow()\n    }\n    if (diagnosticsLevel !== 'off' && enriched.runtimeLabel === undefined) {\n      const runtimeLabel = yield* FiberRef.get(currentRuntimeLabel)\n      if (runtimeLabel) {\n        ;(enriched as any).runtimeLabel = runtimeLabel\n      }\n    }\n\n    if (enriched.type === 'diagnostic' && (enriched as any).txnId === undefined) {\n      const txnId = yield* FiberRef.get(currentTxnId)\n      if (txnId) {\n        ;(enriched as any).txnId = txnId\n      }\n    }\n    // linkId is meaningful only for EffectOp events: avoid extra FiberRef reads on high-frequency events (state:update, etc.).\n    if (\n      diagnosticsLevel !== 'off' &&\n      (enriched as any).type === 'trace:effectop' &&\n      (enriched as any).linkId === undefined\n    ) {\n      const linkId = yield* FiberRef.get(EffectOpCore.currentLinkId)\n      if (linkId) {\n        ;(enriched as any).linkId = linkId\n      }\n    }\n\n    if (sinks.length === 1) {\n      yield* sinks[0]!.record(enriched)\n      return\n    }\n\n    yield* Effect.forEach(sinks, (sink) => sink.record(enriched), { discard: true })\n  })\n\n/**\n * Normalizes internal Debug.Event into RuntimeDebugEventRef:\n * - Allows Devtools / Runtime to consume Debug events uniformly.\n * - Does not change DebugSink behavior; provides a structured view only.\n */\nexport const toRuntimeDebugEventRef = (\n  event: Event,\n  options?: {\n    readonly diagnosticsLevel?: DiagnosticsLevel\n    readonly eventSeq?: number\n    readonly resolveConvergeStaticIr?: (staticIrDigest: string) => ConvergeStaticIrExport | undefined\n    readonly onMetaProjection?: (projection: {\n      readonly stats: JsonValueProjectionStats\n      readonly downgrade?: JsonDowngradeReason\n    }) => void\n  },\n): RuntimeDebugEventRef | undefined => {\n  const diagnosticsLevel = options?.diagnosticsLevel ?? 'full'\n  if (diagnosticsLevel === 'off') {\n    return undefined\n  }\n\n  const isLightLike = diagnosticsLevel === 'light' || diagnosticsLevel === 'sampled'\n\n  const timestamp =\n    typeof event.timestamp === 'number' && Number.isFinite(event.timestamp) ? event.timestamp : Date.now()\n\n  const moduleIdRaw = (event as any).moduleId\n  const moduleId = typeof moduleIdRaw === 'string' && moduleIdRaw.length > 0 ? moduleIdRaw : 'unknown'\n\n  const instanceIdRaw = (event as any).instanceId\n  const instanceId = typeof instanceIdRaw === 'string' && instanceIdRaw.length > 0 ? instanceIdRaw : 'unknown'\n\n  const runtimeLabelRaw = (event as any).runtimeLabel\n  const runtimeLabel = typeof runtimeLabelRaw === 'string' && runtimeLabelRaw.length > 0 ? runtimeLabelRaw : undefined\n\n  const txnSeqRaw = (event as any).txnSeq\n  const txnSeq =\n    typeof txnSeqRaw === 'number' && Number.isFinite(txnSeqRaw) && txnSeqRaw >= 0 ? Math.floor(txnSeqRaw) : 0\n\n  const txnIdRaw = (event as any).txnId\n  const txnId =\n    typeof txnIdRaw === 'string' && txnIdRaw.length > 0\n      ? txnIdRaw\n      : txnSeq > 0\n        ? `${instanceId}::t${txnSeq}`\n        : undefined\n\n  const linkId = (() => {\n    const linkIdRaw = (event as any).linkId\n    if (typeof linkIdRaw === 'string' && linkIdRaw.length > 0) return linkIdRaw\n\n    // trace:*: allow fallback extraction from data.meta.linkId (avoid UI diving into deep meta).\n    if (typeof (event as any).type !== 'string' || !(event as any).type.startsWith('trace:')) {\n      return undefined\n    }\n\n    const data: any = (event as any).data\n    const meta: any = data?.meta\n    const linkIdFromMeta = meta?.linkId\n    if (typeof linkIdFromMeta === 'string' && linkIdFromMeta.length > 0) return linkIdFromMeta\n\n    return undefined\n  })()\n\n  const eventSeqRaw = options?.eventSeq\n  const eventSeq =\n    typeof eventSeqRaw === 'number' && Number.isFinite(eventSeqRaw) && eventSeqRaw > 0\n      ? Math.floor(eventSeqRaw)\n      : nextEventSeq()\n  const eventId = makeEventId(instanceId, eventSeq)\n\n  const base = {\n    eventId,\n    eventSeq,\n    moduleId,\n    instanceId,\n    runtimeLabel,\n    txnSeq,\n    txnId,\n    linkId,\n    timestamp,\n  } as const\n\n  let downgrade: DowngradeReason | undefined\n\n  const withDowngrade = (ref: Omit<RuntimeDebugEventRef, 'downgrade'>): RuntimeDebugEventRef => {\n    if (!downgrade) return ref\n    return { ...ref, downgrade: { reason: downgrade } }\n  }\n\n  switch (event.type) {\n    case 'module:init':\n      return withDowngrade({\n        ...base,\n        kind: 'lifecycle',\n        label: 'module:init',\n      })\n    case 'module:destroy':\n      return withDowngrade({\n        ...base,\n        kind: 'lifecycle',\n        label: 'module:destroy',\n      })\n    case 'lifecycle:phase': {\n      const e = event as Extract<Event, { readonly type: 'lifecycle:phase' }>\n      const metaInput = isLightLike\n        ? { type: 'lifecycle:phase', phase: e.phase, name: e.name }\n        : { type: 'lifecycle:phase', phase: e.phase, name: e.name, payload: e.payload }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      return withDowngrade({\n        ...base,\n        kind: 'lifecycle',\n        label: e.name,\n        meta: metaProjection.value,\n      })\n    }\n    case 'action:dispatch': {\n      const action: any = (event as any).action\n      const actionTagRaw = (event as any).actionTag\n      const tag = typeof actionTagRaw === 'string' && actionTagRaw.length > 0 ? actionTagRaw : (action?._tag ?? action?.type)\n      const label = String(tag ?? 'action:dispatch')\n      const labelNormalized = label.length > 0 ? label : 'unknown'\n      const unknownAction = (event as any).unknownAction === true ? true : undefined\n      const metaInput = isLightLike\n        ? { actionTag: labelNormalized, ...(unknownAction ? { unknownAction: true } : {}) }\n        : { action, ...(unknownAction ? { unknownAction: true } : {}) }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      if (unknownAction) {\n        downgrade = mergeDowngrade(downgrade, 'unknown')\n      }\n      return withDowngrade({\n        ...base,\n        kind: 'action',\n        label: labelNormalized,\n        meta: metaProjection.value,\n      })\n    }\n    case 'state:update': {\n      const e = event as Extract<Event, { readonly type: 'state:update' }>\n\n      const resolveDirtySetRootPaths = (): ReadonlyArray<JsonValue> | undefined => {\n        const resolve = options?.resolveConvergeStaticIr\n        if (!resolve) return undefined\n\n        const digest = e.staticIrDigest\n        if (typeof digest !== 'string' || digest.length === 0) return undefined\n\n        const dirtySet = e.dirtySet as any\n        if (!dirtySet || typeof dirtySet !== 'object' || Array.isArray(dirtySet)) return undefined\n\n        const rootIds = dirtySet.rootIds\n        if (!Array.isArray(rootIds) || rootIds.length === 0) return undefined\n\n        const ir = resolve(digest) as ConvergeStaticIrExport | undefined\n        const fieldPaths = (ir as any)?.fieldPaths as unknown\n        if (!Array.isArray(fieldPaths) || fieldPaths.length === 0) return undefined\n\n        const out: Array<JsonValue> = []\n        for (const rawId of rootIds) {\n          if (typeof rawId !== 'number' || !Number.isFinite(rawId)) continue\n          const id = Math.floor(rawId)\n          if (id < 0) continue\n          const path = (fieldPaths as any)[id] as unknown\n          if (!Array.isArray(path) || path.length === 0) continue\n          if (!path.every((seg) => typeof seg === 'string' && seg.length > 0)) continue\n          out.push(path as any)\n        }\n\n        return out.length > 0 ? out : undefined\n      }\n\n      const dirtySetWithRootPaths = (() => {\n        const rootPaths = resolveDirtySetRootPaths()\n        if (!rootPaths) return e.dirtySet\n        const dirtySet = e.dirtySet as any\n        if (!dirtySet || typeof dirtySet !== 'object' || Array.isArray(dirtySet)) return e.dirtySet\n        return { ...dirtySet, rootPaths }\n      })()\n\n      const metaInput = isLightLike\n        ? {\n            state: e.state,\n            dirtySet: dirtySetWithRootPaths,\n            patchCount: e.patchCount,\n            patchesTruncated: e.patchesTruncated,\n            patchesTruncatedReason: e.patchesTruncatedReason,\n            staticIrDigest: e.staticIrDigest,\n            commitMode: e.commitMode,\n            priority: e.priority,\n            originKind: e.originKind,\n            originName: e.originName,\n          }\n        : {\n            state: e.state,\n            dirtySet: dirtySetWithRootPaths,\n            patchCount: e.patchCount,\n            patchesTruncated: e.patchesTruncated,\n            patchesTruncatedReason: e.patchesTruncatedReason,\n            staticIrDigest: e.staticIrDigest,\n            commitMode: e.commitMode,\n            priority: e.priority,\n            originKind: e.originKind,\n            originName: e.originName,\n            traitSummary: e.traitSummary,\n            replayEvent: e.replayEvent,\n          }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      if (txnId) {\n        lastTxnByInstance.set(instanceId, { txnId, txnSeq })\n        backfillPendingTxnAlignment(instanceId, { txnId, txnSeq })\n      }\n      return withDowngrade({\n        ...base,\n        kind: 'state',\n        label: 'state:update',\n        meta: metaProjection.value,\n      })\n    }\n    case 'process:start':\n    case 'process:stop':\n    case 'process:restart':\n    case 'process:trigger':\n    case 'process:dispatch':\n    case 'process:error': {\n      const e = event as Extract<\n        Event,\n        {\n          readonly type:\n            | 'process:start'\n            | 'process:stop'\n            | 'process:restart'\n            | 'process:trigger'\n            | 'process:dispatch'\n            | 'process:error'\n        }\n      >\n\n      const ts2 = typeof e.timestampMs === 'number' && Number.isFinite(e.timestampMs) ? e.timestampMs : timestamp\n\n      const metaInput = {\n        identity: e.identity,\n        severity: e.severity,\n        eventSeq: e.eventSeq,\n        timestampMs: e.timestampMs,\n        trigger: e.trigger,\n        dispatch: e.dispatch,\n        error: e.error,\n      }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n      const errorSummary =\n        e.type === 'process:error' || e.type === 'process:restart'\n          ? (e.error as any as SerializableErrorSummary | undefined)\n          : undefined\n\n      return withDowngrade({\n        ...base,\n        timestamp: ts2,\n        kind: 'process',\n        label: e.type,\n        meta: metaProjection.value,\n        errorSummary,\n      })\n    }\n    case 'lifecycle:error': {\n      const e = event as Extract<Event, { readonly type: 'lifecycle:error' }>\n      const summary = toSerializableErrorSummary(e.cause)\n      downgrade = mergeDowngrade(downgrade, summary.downgrade)\n      const metaInput = isLightLike\n        ? { type: 'lifecycle:error', phase: e.phase, name: e.hook }\n        : {\n            type: 'lifecycle:error',\n            phase: e.phase,\n            name: e.hook,\n            hook: e.hook,\n            taskId: e.taskId,\n            origin: e.origin,\n            txnSeq: e.txnSeq,\n            opSeq: e.opSeq,\n          }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      return withDowngrade({\n        ...base,\n        kind: 'lifecycle',\n        label: 'lifecycle:error',\n        meta: metaProjection.value,\n        errorSummary: summary.errorSummary,\n      })\n    }\n    case 'diagnostic': {\n      const e = event as Extract<Event, { readonly type: 'diagnostic' }>\n      const metaInput = {\n        code: e.code,\n        severity: e.severity,\n        message: e.message,\n        hint: e.hint,\n        actionTag: e.actionTag,\n        kind: e.kind,\n        trigger: e.trigger,\n      }\n      const metaProjection = projectJsonValue(metaInput)\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      return withDowngrade({\n        ...base,\n        kind: 'diagnostic',\n        label: e.code,\n        meta: metaProjection.value,\n      })\n    }\n    default: {\n      if (typeof event.type !== 'string' || !event.type.startsWith('trace:')) {\n        return undefined\n      }\n\n      // trace:txn-lane: slim evidence for Txn Lanes (lane/backlog/reasons), used for Devtools summary and offline export.\n      if (event.type === 'trace:txn-lane') {\n        const data: any = (event as any).data\n        const evidence = data?.evidence ?? data\n\n        const metaProjection = projectJsonValue(evidence)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        const label =\n          typeof evidence?.kind === 'string' && evidence.kind.length > 0 ? String(evidence.kind) : 'txn-lane'\n\n        return withDowngrade({\n          ...base,\n          kind: 'txn-lane',\n          label,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:react-render / trace:react-selector: keep slim meta only (field trimming is handled by JsonValue projection).\n      if (event.type === 'trace:react-render' || event.type === 'trace:react-selector') {\n        const data: any = (event as any).data\n        const metaProjection = projectJsonValue(\n          isLightLike\n            ? {\n                componentLabel: data?.componentLabel,\n                selectorKey: data?.selectorKey,\n                fieldPaths: data?.fieldPaths,\n                selectorId: data?.selectorId,\n                lane: data?.lane,\n                producer: data?.producer,\n                fallbackReason: data?.fallbackReason,\n                readsDigest: data?.readsDigest,\n                equalsKind: data?.equalsKind,\n                strictModePhase: data?.strictModePhase,\n              }\n            : {\n                componentLabel: data?.componentLabel,\n                selectorKey: data?.selectorKey,\n                fieldPaths: data?.fieldPaths,\n                selectorId: data?.selectorId,\n                lane: data?.lane,\n                producer: data?.producer,\n                fallbackReason: data?.fallbackReason,\n                readsDigest: data?.readsDigest,\n                equalsKind: data?.equalsKind,\n                strictModePhase: data?.strictModePhase,\n                meta: data?.meta,\n              },\n        )\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n        const label =\n          typeof data?.componentLabel === 'string' && data.componentLabel.length > 0\n            ? data.componentLabel\n            : event.type === 'trace:react-selector'\n              ? 'react-selector'\n              : 'react-render'\n        const last = lastTxnByInstance.get(instanceId)\n        const txnSeqFromMeta =\n          typeof data?.meta?.txnSeq === 'number' && Number.isFinite(data.meta.txnSeq) && data.meta.txnSeq >= 0\n            ? Math.floor(data.meta.txnSeq)\n            : undefined\n        const txnIdFromMeta =\n          typeof data?.meta?.txnId === 'string' && data.meta.txnId.length > 0 ? data.meta.txnId : undefined\n        const txnIdAligned = txnIdFromMeta ?? base.txnId ?? last?.txnId\n        const txnSeqAligned = txnSeqFromMeta ?? (base.txnSeq > 0 ? base.txnSeq : (last?.txnSeq ?? base.txnSeq))\n        const ref = withDowngrade({\n          ...base,\n          txnId: txnIdAligned,\n          txnSeq: txnSeqAligned,\n          kind: event.type === 'trace:react-selector' ? 'react-selector' : 'react-render',\n          label,\n          meta: metaProjection.value,\n        })\n\n        if (instanceId !== 'unknown' && (ref.txnId == null || ref.txnSeq <= 0)) {\n          enqueuePendingTxnAlignment(instanceId, ref)\n        }\n\n        return ref\n      }\n\n      // trace:selector:eval: SelectorGraph evaluation evidence within commit (used for txn→selector→render causal chain).\n      if (event.type === 'trace:selector:eval') {\n        const data: any = (event as any).data\n        const metaInput = {\n          selectorId: data?.selectorId,\n          lane: data?.lane,\n          producer: data?.producer,\n          fallbackReason: data?.fallbackReason,\n          readsDigest: data?.readsDigest,\n          equalsKind: data?.equalsKind,\n          changed: data?.changed,\n          evalMs: data?.evalMs,\n        }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'devtools',\n          label: event.type,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:exec-vm: Exec VM hit/miss evidence (049). In light tier we keep minimal summary fields.\n      if (event.type === 'trace:exec-vm') {\n        const data: any = (event as any).data\n        const metaInput = {\n          version: data?.version,\n          stage: data?.stage,\n          hit: data?.hit,\n          reasonCode: data?.reasonCode ?? data?.reason,\n          reasonDetail: data?.reasonDetail,\n          execIrVersion: data?.execIrVersion,\n          execIrHash: data?.execIrHash,\n          serviceId: data?.serviceId,\n          implId: data?.implId,\n        }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'devtools',\n          label: event.type,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:trait:converge: converge evidence must be exportable (JsonValue hard gate) and trims heavy fields in light tier.\n      if (event.type === 'trace:trait:converge') {\n        const resolveDirtyRootPaths = (args: {\n          readonly staticIrDigest: unknown\n          readonly rootIds: unknown\n        }): ReadonlyArray<JsonValue> | undefined => {\n          const resolve = options?.resolveConvergeStaticIr\n          if (!resolve) return undefined\n          const digest = args.staticIrDigest\n          if (typeof digest !== 'string' || digest.length === 0) return undefined\n\n          const rootIds = args.rootIds\n          if (!Array.isArray(rootIds) || rootIds.length === 0) return undefined\n\n          const ir = resolve(digest) as ConvergeStaticIrExport | undefined\n          const fieldPaths = (ir as any)?.fieldPaths as unknown\n          if (!Array.isArray(fieldPaths) || fieldPaths.length === 0) return undefined\n\n          const out: Array<JsonValue> = []\n          for (const id of rootIds) {\n            if (typeof id !== 'number' || !Number.isFinite(id)) continue\n            const idx = Math.floor(id)\n            if (idx < 0 || idx >= fieldPaths.length) continue\n            const path = fieldPaths[idx]\n            if (Array.isArray(path)) {\n              out.push(path as any)\n            }\n          }\n\n          return out.length > 0 ? out : undefined\n        }\n\n        const enrichDirtyRootPaths = (value: JsonValue): JsonValue => {\n          if (!value || typeof value !== 'object' || Array.isArray(value)) return value\n\n          const anyValue = value as any\n          const dirty = anyValue.dirty\n          if (!dirty || typeof dirty !== 'object' || Array.isArray(dirty)) return value\n\n          const dirtyRootPaths = resolveDirtyRootPaths({\n            staticIrDigest: anyValue.staticIrDigest,\n            rootIds: dirty?.rootIds,\n          })\n          if (!dirtyRootPaths) return value\n\n          return {\n            ...anyValue,\n            dirty: {\n              ...(dirty as any),\n              rootPaths: dirtyRootPaths,\n            },\n          } as JsonValue\n        }\n\n        const stripHeavyLight = (value: JsonValue): JsonValue => {\n          if (!value || typeof value !== 'object' || Array.isArray(value)) return value\n\n          const anyValue = value as any\n          const dirty = anyValue.dirty\n          const dirtyRootPaths = resolveDirtyRootPaths({\n            staticIrDigest: anyValue.staticIrDigest,\n            rootIds: dirty?.rootIds,\n          })\n          const dirtySlim =\n            dirty && typeof dirty === 'object' && !Array.isArray(dirty)\n              ? {\n                  dirtyAll: (dirty as any).dirtyAll,\n                  ...(typeof (dirty as any).reason === 'string' ? { reason: (dirty as any).reason } : null),\n                  ...(Array.isArray((dirty as any).rootIds) ? { rootIds: (dirty as any).rootIds } : null),\n                  ...(typeof (dirty as any).rootIdsTruncated === 'boolean'\n                    ? { rootIdsTruncated: (dirty as any).rootIdsTruncated }\n                    : null),\n                  ...(dirtyRootPaths ? { rootPaths: dirtyRootPaths } : null),\n                }\n              : undefined\n\n          const { top3, dirtyRoots, ...rest } = anyValue\n          return (dirtySlim ? { ...rest, dirty: dirtySlim } : rest) as JsonValue\n        }\n\n        const stripHeavySampled = (value: JsonValue): JsonValue => {\n          if (!value || typeof value !== 'object' || Array.isArray(value)) return value\n\n          const anyValue = value as any\n          const dirty = anyValue.dirty\n          const dirtySlim =\n            dirty && typeof dirty === 'object' && !Array.isArray(dirty)\n              ? {\n                  dirtyAll: (dirty as any).dirtyAll,\n                  ...(typeof (dirty as any).reason === 'string' ? { reason: (dirty as any).reason } : null),\n                }\n              : undefined\n\n          const { dirtyRoots, ...rest } = anyValue\n          return (dirtySlim ? { ...rest, dirty: dirtySlim } : rest) as JsonValue\n        }\n\n        const data = (event as Extract<Event, { readonly type: 'trace:trait:converge' }>).data\n        const metaInput =\n          diagnosticsLevel === 'light'\n            ? stripHeavyLight(data)\n            : diagnosticsLevel === 'sampled'\n              ? stripHeavySampled(data)\n              : enrichDirtyRootPaths(data)\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'trait:converge',\n          label: 'trait:converge',\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:trait:check: validation diagnostics must be exportable and stay slim in light tier (keep key fields).\n      if (event.type === 'trace:trait:check') {\n        const stripHeavy = (value: JsonValue): JsonValue => {\n          if (!value || typeof value !== 'object' || Array.isArray(value)) return value\n          const anyValue = value as any\n          const degraded = anyValue.degraded\n          const degradedSlim =\n            degraded && typeof degraded === 'object' && !Array.isArray(degraded)\n              ? { kind: (degraded as any).kind }\n              : undefined\n\n          const { degraded: _degraded, ...rest } = anyValue\n          return (degradedSlim ? { ...rest, degraded: degradedSlim } : rest) as JsonValue\n        }\n\n        const data = (event as Extract<Event, { readonly type: 'trace:trait:check' }>).data\n        const metaInput = isLightLike ? stripHeavy(data) : data\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'trait:check',\n          label: 'trait:check',\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:trait:validate: validation decision summary must be exportable and slim in light tier (no heavy fields by default).\n      if (event.type === 'trace:trait:validate') {\n        const data = (event as Extract<Event, { readonly type: 'trace:trait:validate' }>).data\n        const metaProjection = projectJsonValue(data)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'trait:validate',\n          label: 'trait:validate',\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:module:traits: final traits snapshot must be exportable and slim in light tier (digest/count).\n      if (event.type === 'trace:module:traits') {\n        const data: any = (event as any).data\n        const metaInput = isLightLike\n          ? {\n              digest: data?.digest,\n              count: data?.count,\n            }\n          : {\n              digest: data?.digest,\n              count: data?.count,\n              traits: data?.traits,\n              provenanceIndex: data?.provenanceIndex,\n            }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'devtools',\n          label: event.type,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:module:traits:conflict: conflict details must be exportable; avoid relying on truncated lifecycle:error messages.\n      if (event.type === 'trace:module:traits:conflict') {\n        const data: any = (event as any).data\n        const metaInput = isLightLike\n          ? {\n              conflictCount: data?.conflictCount,\n              traitIds: data?.traitIds,\n            }\n          : {\n              conflictCount: data?.conflictCount,\n              conflicts: data?.conflicts,\n            }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'devtools',\n          label: event.type,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:module:descriptor: keep key anchors even in light tier (avoid data being fully trimmed).\n      if (event.type === 'trace:module:descriptor') {\n        const data: any = (event as any).data\n        const metaInput = isLightLike\n          ? {\n              id: data?.id,\n              traits: data?.traits,\n              source: data?.source,\n            }\n          : { data }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          kind: 'devtools',\n          label: event.type,\n          meta: metaProjection.value,\n        })\n      }\n\n      // trace:effectop: keep slim op meta and prefer EffectOp.meta.moduleId when present.\n      if (event.type === 'trace:effectop') {\n        const data: any = (event as any).data\n        const opMeta: any = data?.meta\n        const opKind = (data?.kind ?? 'service') as RuntimeDebugEventKind\n        const label = typeof data?.name === 'string' ? data.name : 'effectop'\n        const moduleId2 = typeof opMeta?.moduleId === 'string' ? opMeta.moduleId : moduleId\n        const txnId2 = typeof opMeta?.txnId === 'string' && opMeta.txnId.length > 0 ? opMeta.txnId : base.txnId\n        const txnSeq2 =\n          typeof opMeta?.txnSeq === 'number' && Number.isFinite(opMeta.txnSeq) && opMeta.txnSeq >= 0\n            ? Math.floor(opMeta.txnSeq)\n            : base.txnSeq\n\n        const metaInput = isLightLike\n          ? {\n              id: data?.id,\n              kind: data?.kind,\n              name: data?.name,\n              meta: opMeta,\n            }\n          : {\n              id: data?.id,\n              kind: data?.kind,\n              name: data?.name,\n              payload: data?.payload,\n              meta: opMeta,\n            }\n\n        const metaProjection = projectJsonValue(metaInput)\n        options?.onMetaProjection?.({\n          stats: metaProjection.stats,\n          downgrade: metaProjection.downgrade,\n        })\n        downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n\n        return withDowngrade({\n          ...base,\n          moduleId: moduleId2,\n          txnId: txnId2,\n          txnSeq: txnSeq2,\n          kind: opKind,\n          label,\n          meta: metaProjection.value,\n        })\n      }\n\n      // Other trace:* events: categorize as devtools and trim meta by tier.\n      const metaProjection = projectJsonValue(\n        isLightLike\n          ? {\n              data: undefined,\n            }\n          : {\n              data: (event as any).data,\n            },\n      )\n      options?.onMetaProjection?.({\n        stats: metaProjection.stats,\n        downgrade: metaProjection.downgrade,\n      })\n      downgrade = mergeDowngrade(downgrade, metaProjection.downgrade)\n      return withDowngrade({\n        ...base,\n        kind: 'devtools',\n        label: event.type,\n        meta: metaProjection.value,\n      })\n    }\n  }\n}\n","export type JsonValue =\n  | null\n  | boolean\n  | number\n  | string\n  | ReadonlyArray<JsonValue>\n  | { readonly [key: string]: JsonValue }\n\nexport type DowngradeReason = 'non_serializable' | 'oversized' | 'unknown'\n\nexport const isJsonValue = (input: unknown): input is JsonValue => {\n  const seen = new WeakSet<object>()\n\n  const loop = (value: unknown, depth: number): value is JsonValue => {\n    if (depth > 64) return false\n    if (value === null) return true\n\n    switch (typeof value) {\n      case 'string':\n      case 'boolean':\n        return true\n      case 'number':\n        return Number.isFinite(value)\n      case 'object': {\n        if (Array.isArray(value)) {\n          if (seen.has(value)) return false\n          seen.add(value)\n          for (const item of value) {\n            if (!loop(item, depth + 1)) return false\n          }\n          return true\n        }\n\n        if (!isPlainRecord(value)) return false\n        if (seen.has(value)) return false\n        seen.add(value)\n\n        for (const v of Object.values(value)) {\n          if (!loop(v, depth + 1)) return false\n        }\n\n        return true\n      }\n      default:\n        return false\n    }\n  }\n\n  return loop(input, 0)\n}\n\nexport interface JsonValueProjectionStats {\n  readonly dropped: number\n  readonly oversized: number\n  readonly nonSerializable: number\n}\n\nexport interface JsonValueProjection {\n  readonly value: JsonValue\n  readonly stats: JsonValueProjectionStats\n  readonly downgrade?: DowngradeReason\n}\n\nexport interface JsonValueProjectOptions {\n  readonly maxDepth?: number\n  readonly maxObjectKeys?: number\n  readonly maxArrayLength?: number\n  readonly maxStringLength?: number\n  readonly maxJsonBytes?: number\n  readonly oversizedPreviewBytes?: number\n}\n\nconst defaultOptions: Required<JsonValueProjectOptions> = {\n  maxDepth: 6,\n  maxObjectKeys: 32,\n  maxArrayLength: 32,\n  maxStringLength: 256,\n  maxJsonBytes: 4 * 1024,\n  oversizedPreviewBytes: 256,\n}\n\nconst truncateString = (value: string, maxLen: number, stats: MutableStats): string => {\n  if (value.length <= maxLen) return value\n  stats.oversized += 1\n  return value.slice(0, maxLen)\n}\n\ntype MutableStats = {\n  dropped: number\n  oversized: number\n  nonSerializable: number\n}\n\nconst mergeDowngrade = (current: DowngradeReason | undefined, next: DowngradeReason): DowngradeReason => {\n  if (!current) return next\n  if (current === 'non_serializable' || next === 'non_serializable') return 'non_serializable'\n  if (current === 'oversized' || next === 'oversized') return 'oversized'\n  return 'unknown'\n}\n\nfunction isPlainRecord(value: unknown): value is Record<string, unknown> {\n  if (typeof value !== 'object' || value === null) return false\n  const proto = Object.getPrototypeOf(value)\n  return proto === Object.prototype || proto === null\n}\n\nconst asNumber = (value: number, stats: MutableStats): JsonValue => {\n  if (Number.isFinite(value)) return value\n  stats.nonSerializable += 1\n  return String(value)\n}\n\nconst toJsonValueInternal = (\n  input: unknown,\n  options: Required<JsonValueProjectOptions>,\n  stats: MutableStats,\n  seen: WeakSet<object>,\n  depth: number,\n): JsonValue => {\n  if (input === null) return null\n\n  switch (typeof input) {\n    case 'string':\n      return truncateString(input, options.maxStringLength, stats)\n    case 'number':\n      return asNumber(input, stats)\n    case 'boolean':\n      return input\n    case 'bigint':\n      stats.nonSerializable += 1\n      return truncateString(input.toString(), options.maxStringLength, stats)\n    case 'symbol':\n      stats.nonSerializable += 1\n      return truncateString(input.toString(), options.maxStringLength, stats)\n    case 'function':\n      stats.nonSerializable += 1\n      return '[Function]'\n    case 'undefined':\n      stats.dropped += 1\n      return null\n  }\n\n  // object\n  if (depth >= options.maxDepth) {\n    stats.oversized += 1\n    return '[Truncated]'\n  }\n\n  if (input instanceof Date) {\n    return input.toISOString()\n  }\n\n  if (input instanceof Error) {\n    stats.nonSerializable += 1\n    return {\n      name: truncateString(input.name, options.maxStringLength, stats),\n      message: truncateString(input.message, options.maxStringLength, stats),\n    }\n  }\n\n  if (typeof input === 'object') {\n    if (seen.has(input)) {\n      stats.nonSerializable += 1\n      return '[Circular]'\n    }\n    seen.add(input)\n  }\n\n  if (Array.isArray(input)) {\n    const out: Array<JsonValue> = []\n    const limit = Math.min(input.length, options.maxArrayLength)\n    for (let i = 0; i < limit; i++) {\n      out.push(toJsonValueInternal(input[i], options, stats, seen, depth + 1))\n    }\n    if (input.length > limit) {\n      stats.oversized += 1\n      out.push(`[...${input.length - limit} more]`)\n    }\n    return out\n  }\n\n  if (!isPlainRecord(input)) {\n    stats.nonSerializable += 1\n    return truncateString(String(input), options.maxStringLength, stats)\n  }\n\n  const entries = Object.entries(input)\n  const limit = Math.min(entries.length, options.maxObjectKeys)\n  const out: Record<string, JsonValue> = {}\n\n  for (let i = 0; i < limit; i++) {\n    const [rawKey, rawValue] = entries[i]!\n    const key = truncateString(rawKey, options.maxStringLength, stats)\n    if (rawValue === undefined) {\n      stats.dropped += 1\n      continue\n    }\n    out[key] = toJsonValueInternal(rawValue, options, stats, seen, depth + 1)\n  }\n\n  if (entries.length > limit) {\n    stats.oversized += 1\n    out.__truncatedKeys = entries.length - limit\n  }\n\n  return out\n}\n\nexport const projectJsonValue = (input: unknown, options?: JsonValueProjectOptions): JsonValueProjection => {\n  const resolved: Required<JsonValueProjectOptions> = { ...defaultOptions, ...(options ?? {}) }\n  const stats: MutableStats = { dropped: 0, oversized: 0, nonSerializable: 0 }\n  const seen = new WeakSet<object>()\n\n  let downgrade: DowngradeReason | undefined\n  const value = toJsonValueInternal(input, resolved, stats, seen, 0)\n\n  if (stats.nonSerializable > 0) {\n    downgrade = mergeDowngrade(downgrade, 'non_serializable')\n  }\n  if (stats.oversized > 0) {\n    downgrade = mergeDowngrade(downgrade, 'oversized')\n  }\n\n  // Hard gate: ensure JSON.stringify never throws and respect the max byte budget.\n  try {\n    const json = JSON.stringify(value)\n    if (json.length > resolved.maxJsonBytes) {\n      downgrade = mergeDowngrade(downgrade, 'oversized')\n      const preview = json.slice(0, Math.min(resolved.oversizedPreviewBytes, resolved.maxJsonBytes))\n      return {\n        value: {\n          _tag: 'oversized',\n          bytes: json.length,\n          preview,\n        },\n        stats: {\n          dropped: stats.dropped,\n          oversized: stats.oversized + 1,\n          nonSerializable: stats.nonSerializable,\n        },\n        downgrade,\n      }\n    }\n  } catch {\n    downgrade = mergeDowngrade(downgrade, 'non_serializable')\n    return {\n      value: '[Unserializable]',\n      stats: {\n        dropped: stats.dropped,\n        oversized: stats.oversized,\n        nonSerializable: stats.nonSerializable + 1,\n      },\n      downgrade,\n    }\n  }\n\n  return {\n    value,\n    stats: {\n      dropped: stats.dropped,\n      oversized: stats.oversized,\n      nonSerializable: stats.nonSerializable,\n    },\n    downgrade,\n  }\n}\n","import { Cause } from 'effect'\n\nexport type DowngradeReason = 'non_serializable' | 'oversized' | 'unknown'\n\nexport interface SerializableErrorSummary {\n  readonly message: string\n  readonly name?: string\n  readonly code?: string\n  readonly hint?: string\n}\n\nexport interface ErrorSummaryResult {\n  readonly errorSummary: SerializableErrorSummary\n  readonly downgrade?: DowngradeReason\n}\n\nconst truncate = (value: string, maxLen: number): { readonly value: string; readonly truncated: boolean } => {\n  if (value.length <= maxLen) return { value, truncated: false }\n  return { value: value.slice(0, maxLen), truncated: true }\n}\n\nconst safeStringify = (value: unknown): { readonly ok: true; readonly json: string } | { readonly ok: false } => {\n  try {\n    return { ok: true, json: JSON.stringify(value) }\n  } catch {\n    return { ok: false }\n  }\n}\n\nconst getMessageFromUnknown = (cause: unknown): string => {\n  if (typeof cause === 'string') return cause\n  if (typeof cause === 'number' || typeof cause === 'boolean' || typeof cause === 'bigint') return String(cause)\n  if (cause instanceof Error) return cause.message || cause.name || 'Error'\n  if (cause && typeof cause === 'object' && 'message' in (cause as any) && typeof (cause as any).message === 'string') {\n    return (cause as any).message as string\n  }\n\n  // Try Effect Cause pretty (best-effort). This may include more details than needed,\n  // so callers MUST still treat it as an untrusted/oversized string and truncate.\n  try {\n    const pretty = Cause.pretty(cause as Cause.Cause<unknown>, { renderErrorCause: true })\n    if (typeof pretty === 'string' && pretty.length > 0) return pretty\n  } catch {\n    // ignore\n  }\n\n  return 'Unknown error'\n}\n\nexport const toSerializableErrorSummary = (\n  cause: unknown,\n  options?: {\n    readonly maxMessageLength?: number\n  },\n): ErrorSummaryResult => {\n  const maxMessageLength = options?.maxMessageLength ?? 256\n\n  const messageRaw = getMessageFromUnknown(cause)\n  const { value: message, truncated } = truncate(messageRaw, maxMessageLength)\n\n  const summary: { message: string; name?: string; code?: string; hint?: string } = {\n    message,\n  }\n\n  if (cause instanceof Error) {\n    if (cause.name && cause.name !== 'Error') summary.name = cause.name\n    const anyCause = cause as any\n    if (typeof anyCause.code === 'string' && anyCause.code.length > 0) summary.code = anyCause.code\n    else if (typeof anyCause.code === 'number' && Number.isFinite(anyCause.code)) summary.code = String(anyCause.code)\n    if (typeof anyCause.hint === 'string' && anyCause.hint.length > 0) summary.hint = anyCause.hint\n    return {\n      errorSummary: summary,\n      downgrade: truncated ? 'oversized' : undefined,\n    }\n  }\n\n  if (cause && typeof cause === 'object') {\n    const anyCause = cause as any\n    if (typeof anyCause.name === 'string' && anyCause.name.length > 0) summary.name = anyCause.name\n    if (typeof anyCause.code === 'string' && anyCause.code.length > 0) summary.code = anyCause.code\n    if (typeof anyCause.hint === 'string' && anyCause.hint.length > 0) summary.hint = anyCause.hint\n  }\n\n  // If the original cause isn't JSON-serializable, mark it explicitly.\n  const stringifyResult = safeStringify(cause)\n  if (!stringifyResult.ok) {\n    return {\n      errorSummary: summary,\n      downgrade: 'non_serializable',\n    }\n  }\n\n  if (truncated) {\n    return {\n      errorSummary: summary,\n      downgrade: 'oversized',\n    }\n  }\n\n  if (message === 'Unknown error') {\n    return {\n      errorSummary: summary,\n      downgrade: 'unknown',\n    }\n  }\n\n  return { errorSummary: summary }\n}\n","// EffectOp core model and middleware composition logic.\n// For higher-level Runtime / Devtools integration, see:\n// specs/000-module-traits-runtime/references/effectop-and-middleware.md\n\nimport { Context, Effect, FiberRef } from 'effect'\n\n/**\n * currentLinkId：\n * - Stores the current operation chain id (linkId) in a FiberRef.\n * - Used to correlate multiple boundary ops within the same chain (can be shared across modules via the same FiberRef).\n */\nexport const currentLinkId = FiberRef.unsafeMake<string | undefined>(undefined)\n\n/**\n * OperationPolicy：\n * - Local policy markers (intent only; no rule logic attached).\n *\n * Constraints (enforced by Runtime/middleware together):\n * - Only observation-only capabilities (Observer) may be disabled; global guards must not be disabled.\n */\nexport interface OperationPolicy {\n  readonly disableObservers?: boolean\n}\n\n/**\n * OperationRejected：\n * - Unified failure result when a guard rejects execution.\n * - Semantics: explicit failure with no business side effects (rejection must happen before user code executes).\n */\nexport interface OperationRejected {\n  readonly _tag: 'OperationRejected'\n  readonly message: string\n  readonly kind?: EffectOp['kind']\n  readonly name?: string\n  readonly linkId?: string\n  readonly details?: unknown\n}\n\n/**\n * OperationError：\n * - Any boundary operation executed via EffectOp may be explicitly rejected by Guard middleware.\n * - Therefore, the middleware error channel must allow OperationRejected to be added.\n */\nexport type OperationError<E> = E | OperationRejected\n\nexport const makeOperationRejected = (params: {\n  readonly message: string\n  readonly kind?: EffectOp['kind']\n  readonly name?: string\n  readonly linkId?: string\n  readonly details?: unknown\n}): OperationRejected => ({\n  _tag: 'OperationRejected',\n  message: params.message,\n  kind: params.kind,\n  name: params.name,\n  linkId: params.linkId,\n  details: params.details,\n})\n\n/**\n * EffectOp: a unified representation of an Effect execution at an \"observable boundary\".\n *\n * - Out / Err / Env are the generic parameters of the underlying Effect.\n * - meta carries structured context needed by Devtools / Middleware.\n */\nexport interface EffectOp<Out = unknown, Err = unknown, Env = unknown> {\n  readonly id: string\n  readonly kind:\n    | 'action'\n    | 'flow'\n    | 'state'\n    | 'service'\n    | 'lifecycle'\n    | 'trait-computed'\n    | 'trait-link'\n    | 'trait-source'\n    | 'devtools'\n  readonly name: string\n  readonly payload?: unknown\n  readonly meta?: {\n    /**\n     * linkId：\n     * - Operation chain id: multiple boundary ops in the same chain must share it.\n     * - Runtime ensures this field is populated on all boundary ops.\n     */\n    linkId?: string\n    moduleId?: string\n    instanceId?: string\n    runtimeLabel?: string\n    txnId?: string\n    txnSeq?: number\n    opSeq?: number\n    fieldPath?: string\n    deps?: ReadonlyArray<string>\n    from?: string\n    to?: string\n    traitNodeId?: string\n    stepId?: string\n    resourceId?: string\n    key?: unknown\n    trace?: ReadonlyArray<string>\n    tags?: ReadonlyArray<string>\n    policy?: OperationPolicy\n    // Reserved extension slot for middleware/devtools to attach extra information.\n    readonly [k: string]: unknown\n  }\n  readonly effect: Effect.Effect<Out, Err, Env>\n}\n\n/**\n * Middleware: the general middleware model for observing / wrapping / guarding EffectOps.\n */\nexport type Middleware = <A, E, R>(op: EffectOp<A, E, R>) => Effect.Effect<A, OperationError<E>, R>\n\nexport type MiddlewareStack = ReadonlyArray<Middleware>\n\n/**\n * EffectOpMiddlewareEnv：\n * - A Service in Effect Env that carries the current Runtime's MiddlewareStack.\n * - Injected by Runtime.ts when constructing a ManagedRuntime.\n * - Runtime code (e.g. StateTrait.install) uses this Service to decide which MiddlewareStack to use.\n */\nexport interface EffectOpMiddlewareEnv {\n  readonly stack: MiddlewareStack\n}\n\nexport class EffectOpMiddlewareTag extends Context.Tag('Logix/EffectOpMiddleware')<\n  EffectOpMiddlewareTag,\n  EffectOpMiddlewareEnv\n>() {}\n\n/**\n * composeMiddleware：\n * - Composes Middleware from \"outer to inner\" in declaration order:\n *   - stack = [mw1, mw2] => mw1 -> mw2 -> effect -> mw2 -> mw1\n * - Matches the reduceRight example in the reference docs.\n */\nexport const composeMiddleware = (stack: MiddlewareStack): Middleware => {\n  return <A, E, R>(op: EffectOp<A, E, R>): Effect.Effect<A, OperationError<E>, R> =>\n    stack.reduceRight<Effect.Effect<A, OperationError<E>, R>>(\n      (eff, mw) => mw({ ...op, effect: eff } as any) as any,\n      op.effect as Effect.Effect<A, OperationError<E>, R>,\n    )\n}\n\n/**\n * runWithMiddleware：\n * - Executes a given EffectOp with a MiddlewareStack according to the composition rules.\n * - If the stack is empty, returns op.effect directly.\n */\nexport const runWithMiddleware = <A, E, R>(op: EffectOp<A, E, R>, stack: MiddlewareStack): Effect.Effect<A, E, R> => {\n  return Effect.gen(function* () {\n    const existing = yield* FiberRef.get(currentLinkId)\n    const metaLinkId = (op.meta as any)?.linkId\n    const linkId = typeof metaLinkId === 'string' && metaLinkId.length > 0 ? metaLinkId : (existing ?? op.id)\n\n    const nextOp: EffectOp<A, E, R> = {\n      ...op,\n      meta: {\n        ...(op.meta ?? {}),\n        linkId,\n      },\n    }\n\n    const program = stack.length ? composeMiddleware(stack)(nextOp) : nextOp.effect\n\n    // linkId is created at the boundary root and reused for nested ops (the FiberRef is the global single source of truth).\n    // NOTE: middleware may explicitly reject with OperationRejected.\n    return yield* Effect.locally(currentLinkId, linkId)(program as any)\n  }) as Effect.Effect<A, E, R>\n}\n","import { Context, Layer } from 'effect'\nimport type { TraitConvergeRequestedMode } from '../../state-trait/model.js'\nimport type { ReadQueryStrictGateConfig } from './ReadQuery.js'\n\n// Unified runtime env detection, avoiding bundlers inlining NODE_ENV at build time.\nexport const getNodeEnv = (): string | undefined => {\n  try {\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    const env = (globalThis as any)?.process?.env\n    return typeof env?.NODE_ENV === 'string' ? env.NODE_ENV : undefined\n  } catch {\n    return undefined\n  }\n}\n\nexport const isDevEnv = (): boolean => getNodeEnv() !== 'production'\n\nexport type StateTransactionInstrumentation = 'full' | 'light'\n\n/**\n * getDefaultStateTxnInstrumentation：\n * - Currently chooses default instrumentation by NODE_ENV:\n *   - dev / test: full (keep patches and snapshots for debugging).\n *   - production: light (keep minimal semantics to reduce overhead).\n * - May evolve with finer-grained overrides in Runtime.make / Module.make.\n */\nexport const getDefaultStateTxnInstrumentation = (): StateTransactionInstrumentation => (isDevEnv() ? 'full' : 'light')\n\n/**\n * Runtime-level StateTransaction config Service:\n * - Provided at the app layer by Logix.Runtime.make / AppRuntime.makeApp.\n * - ModuleRuntime.make can read runtime-level defaults from Env.\n *\n * Notes:\n * - instrumentation is only a runtime-level default.\n * - Explicit instrumentation in ModuleImpl / ModuleRuntimeOptions has higher priority.\n */\nexport interface StateTransactionRuntimeConfig {\n  readonly instrumentation?: StateTransactionInstrumentation\n  /**\n   * StateTrait derived converge budget (ms):\n   * - Exceeding the budget triggers a soft degrade (freeze derived fields, preserve base writes and 0/1 commit semantics).\n   * - Default is 200ms (aligned with the 007 spec threshold).\n   */\n  readonly traitConvergeBudgetMs?: number\n  /**\n   * Auto-mode decision budget (ms):\n   * - Only used during the decision phase when requestedMode=\"auto\".\n   * - Exceeding the budget must immediately fall back to full (and record evidence).\n   */\n  readonly traitConvergeDecisionBudgetMs?: number\n  /**\n   * StateTrait converge scheduling strategy:\n   * - full: full topo execution (current default; safest).\n   * - dirty: minimal triggering based on dirtyPaths + deps in the txn window (requires accurate deps).\n   */\n  readonly traitConvergeMode?: TraitConvergeRequestedMode\n  /**\n   * 043: Trait converge time-slicing (explicit opt-in). Disabled by default.\n   */\n  readonly traitConvergeTimeSlicing?: TraitConvergeTimeSlicingPatch\n  /**\n   * 060: Txn Lanes (priority scheduling for transaction follow-up work). Enabled by default since 062.\n   */\n  readonly txnLanes?: TxnLanesPatch\n  /**\n   * Runtime-level per-module overrides (hotfix path):\n   * - Only affects converge behavior for the specified moduleId.\n   * - Lower priority than Provider overrides.\n   */\n  readonly traitConvergeOverridesByModuleId?: Readonly<Record<string, StateTransactionTraitConvergeOverrides>>\n  /**\n   * 060: Txn Lanes runtime_module overrides (hotfix / gradual tuning).\n   * - Only affects the specified moduleId.\n   * - Lower priority than Provider overrides.\n   */\n  readonly txnLanesOverridesByModuleId?: Readonly<Record<string, TxnLanesPatch>>\n}\n\nclass StateTransactionConfigTagImpl extends Context.Tag('@logixjs/core/StateTransactionRuntimeConfig')<\n  StateTransactionConfigTagImpl,\n  StateTransactionRuntimeConfig\n>() {}\n\nexport const StateTransactionConfigTag = StateTransactionConfigTagImpl\n\nexport type ReadQueryStrictGateRuntimeConfig = ReadQueryStrictGateConfig\n\nclass ReadQueryStrictGateConfigTagImpl extends Context.Tag('@logixjs/core/ReadQueryStrictGateRuntimeConfig')<\n  ReadQueryStrictGateConfigTagImpl,\n  ReadQueryStrictGateRuntimeConfig\n>() {}\n\nexport const ReadQueryStrictGateConfigTag = ReadQueryStrictGateConfigTagImpl\n\nexport type ReplayMode = 'live' | 'replay'\n\nexport interface ReplayModeConfig {\n  readonly mode: ReplayMode\n}\n\nclass ReplayModeConfigTagImpl extends Context.Tag('@logixjs/core/ReplayModeConfig')<\n  ReplayModeConfigTagImpl,\n  ReplayModeConfig\n>() {}\n\nexport const ReplayModeConfigTag = ReplayModeConfigTagImpl\n\nexport const replayModeLayer = (mode: ReplayMode): Layer.Layer<ReplayModeConfigTagImpl, never, never> =>\n  Layer.succeed(ReplayModeConfigTag, { mode })\n\nexport interface StateTransactionTraitConvergeOverrides {\n  readonly traitConvergeMode?: TraitConvergeRequestedMode\n  readonly traitConvergeBudgetMs?: number\n  readonly traitConvergeDecisionBudgetMs?: number\n  readonly traitConvergeTimeSlicing?: TraitConvergeTimeSlicingPatch\n}\n\nexport interface TxnLanesPatch {\n  /**\n   * enabled: whether Txn Lanes is enabled (default on since 062).\n   * - undefined: default enabled (when not explicitly configured)\n   * - false: disabled (returns to baseline behavior)\n   * - true: enabled (only affects scheduling of follow-up work outside the transaction; transactions remain synchronous)\n   */\n  readonly enabled?: boolean\n  /**\n   * overrideMode: runtime temporary override (for debugging/rollback/comparison).\n   * - forced_off: forcibly disables Txn Lanes (returns to baseline behavior).\n   * - forced_sync: forces fully synchronous execution (ignores non-urgent deferral and time-slicing; used for comparisons).\n   *\n   * Notes:\n   * - Override precedence follows StateTransactionOverrides: provider > runtime_module > runtime_default > builtin.\n   * - Overrides must be explainable by evidence (see 060 LaneEvidence reasons).\n   */\n  readonly overrideMode?: 'forced_off' | 'forced_sync'\n  /** non-urgent work loop slice budget (ms). */\n  readonly budgetMs?: number\n  /** Non-urgent backlog coalescing window (ms). */\n  readonly debounceMs?: number\n  /** Max lag upper bound (ms): exceeding it triggers an explainable starvation protection (forced catch-up). */\n  readonly maxLagMs?: number\n  /** Whether to allow coalescing/canceling intermediate non-urgent work (must preserve eventual consistency). */\n  readonly allowCoalesce?: boolean\n  /**\n   * Yield strategy for the non-urgent work loop (progressive enhancement).\n   * - baseline: uses only time budget + hard upper bound\n   * - inputPending: when supported by browsers, also consults `navigator.scheduling.isInputPending`\n   */\n  readonly yieldStrategy?: 'baseline' | 'inputPending'\n}\n\nexport interface TraitConvergeTimeSlicingPatch {\n  /**\n   * enabled：\n   * - false/undefined: disabled (default)\n   * - true: enables time-slicing (only affects computed/link explicitly marked as deferred)\n   */\n  readonly enabled?: boolean\n  /**\n   * debounceMs: coalescing interval (ms) for the deferral window; merges high-frequency inputs into one deferred flush.\n   */\n  readonly debounceMs?: number\n  /**\n   * maxLagMs: max lag upper bound (ms); exceeding it triggers an explainable forced flush (starvation protection).\n   */\n  readonly maxLagMs?: number\n}\n\n/**\n * Provider-scoped StateTransactionOverrides (delta overrides):\n * - Used to inject more local overrides into a Provider subtree on top of inherited global runtime config.\n * - Override precedence: provider > runtime_module > runtime_default > builtin.\n */\nexport interface StateTransactionOverrides {\n  readonly traitConvergeMode?: TraitConvergeRequestedMode\n  readonly traitConvergeBudgetMs?: number\n  readonly traitConvergeDecisionBudgetMs?: number\n  readonly traitConvergeTimeSlicing?: TraitConvergeTimeSlicingPatch\n  readonly traitConvergeOverridesByModuleId?: Readonly<Record<string, StateTransactionTraitConvergeOverrides>>\n  /** 060: Txn Lanes provider-level overrides (delta overrides). */\n  readonly txnLanes?: TxnLanesPatch\n  /** 060: Txn Lanes provider_module overrides (by moduleId). */\n  readonly txnLanesOverridesByModuleId?: Readonly<Record<string, TxnLanesPatch>>\n}\n\nclass StateTransactionOverridesTagImpl extends Context.Tag('@logixjs/core/StateTransactionOverrides')<\n  StateTransactionOverridesTagImpl,\n  StateTransactionOverrides\n>() {}\n\nexport const StateTransactionOverridesTag = StateTransactionOverridesTagImpl\n\nexport type ConcurrencyLimit = number | 'unbounded'\n\nexport interface ConcurrencyPolicyPatch {\n  readonly concurrencyLimit?: ConcurrencyLimit\n  readonly losslessBackpressureCapacity?: number\n  readonly allowUnbounded?: boolean\n  readonly pressureWarningThreshold?: {\n    readonly backlogCount?: number\n    readonly backlogDurationMs?: number\n  }\n  readonly warningCooldownMs?: number\n}\n\n/**\n * Runtime-level ConcurrencyPolicy:\n * - Provided at the app layer by Logix.Runtime.make / AppRuntime.makeApp.\n * - ModuleRuntime merges sources via a resolver (builtin/runtime_module/provider, etc.).\n *\n * Notes:\n * - overridesByModuleId is used for runtime_module hot-switching (hotfix / gradual tuning) and is lower priority than provider overrides.\n */\nexport interface ConcurrencyPolicy extends ConcurrencyPolicyPatch {\n  readonly overridesByModuleId?: Readonly<Record<string, ConcurrencyPolicyPatch>>\n}\n\nclass ConcurrencyPolicyTagImpl extends Context.Tag('@logixjs/core/ConcurrencyPolicy')<\n  ConcurrencyPolicyTagImpl,\n  ConcurrencyPolicy\n>() {}\n\nexport const ConcurrencyPolicyTag = ConcurrencyPolicyTagImpl\n\n/**\n * Provider-scoped ConcurrencyPolicyOverrides (delta overrides):\n * - Used to inject more local overrides into a Provider subtree on top of inherited global runtime config.\n * - Override precedence: provider > runtime_module > runtime_default > builtin.\n */\nexport interface ConcurrencyPolicyOverrides extends ConcurrencyPolicyPatch {\n  readonly overridesByModuleId?: Readonly<Record<string, ConcurrencyPolicyPatch>>\n}\n\nclass ConcurrencyPolicyOverridesTagImpl extends Context.Tag('@logixjs/core/ConcurrencyPolicyOverrides')<\n  ConcurrencyPolicyOverridesTagImpl,\n  ConcurrencyPolicyOverrides\n>() {}\n\nexport const ConcurrencyPolicyOverridesTag = ConcurrencyPolicyOverridesTagImpl\n","import { Context, Effect, Layer } from 'effect'\n\nexport type ResourceSnapshotPhase = 'idle' | 'loading' | 'success' | 'error'\n\nexport type ReplayLogEvent =\n  | {\n      readonly _tag: 'ResourceSnapshot'\n      readonly resourceId: string\n      readonly fieldPath: string\n      readonly keyHash?: string\n      /**\n       * Optional: source concurrency policy (e.g. \"switch\" / \"exhaust-trailing\").\n       * - Must remain slim & serializable.\n       * - Used by Devtools/replay to explain why old results are dropped / why trailing happens.\n       */\n      readonly concurrency?: string\n      readonly phase: ResourceSnapshotPhase\n      readonly snapshot: unknown\n      readonly timestamp: number\n      readonly moduleId?: string\n      readonly instanceId?: string\n    }\n  | {\n      readonly _tag: 'InvalidateRequest'\n      readonly timestamp: number\n      readonly moduleId?: string\n      readonly instanceId?: string\n      readonly kind: 'resource' | 'query'\n      readonly target: string\n      readonly meta?: unknown\n    }\n\nexport type ResourceSnapshotEvent = Extract<ReplayLogEvent, { readonly _tag: 'ResourceSnapshot' }>\n\nexport interface ReplayLogService {\n  readonly record: (event: ReplayLogEvent) => Effect.Effect<void>\n  readonly snapshot: Effect.Effect<ReadonlyArray<ReplayLogEvent>>\n  readonly resetCursor: Effect.Effect<void>\n  readonly consumeNext: (predicate: (event: ReplayLogEvent) => boolean) => Effect.Effect<ReplayLogEvent | undefined>\n  readonly consumeNextResourceSnapshot: (params: {\n    readonly resourceId: string\n    readonly fieldPath: string\n    readonly keyHash?: string\n    readonly phase?: ResourceSnapshotPhase\n  }) => Effect.Effect<ResourceSnapshotEvent | undefined>\n}\n\nexport class ReplayLog extends Context.Tag('@logixjs/core/ReplayLog')<ReplayLog, ReplayLogService>() {}\n\nexport const make = (initial?: ReadonlyArray<ReplayLogEvent>): ReplayLogService => {\n  const events: Array<ReplayLogEvent> = initial ? Array.from(initial) : []\n  let cursor = 0\n\n  const consumeNext = (predicate: (event: ReplayLogEvent) => boolean): Effect.Effect<ReplayLogEvent | undefined> =>\n    Effect.sync(() => {\n      for (let i = cursor; i < events.length; i++) {\n        const event = events[i]\n        if (!predicate(event)) continue\n        cursor = i + 1\n        return event\n      }\n      return undefined\n    })\n\n  const consumeNextResourceSnapshot = (params: {\n    readonly resourceId: string\n    readonly fieldPath: string\n    readonly keyHash?: string\n    readonly phase?: ResourceSnapshotPhase\n  }): Effect.Effect<ResourceSnapshotEvent | undefined> =>\n    consumeNext((event): event is ResourceSnapshotEvent => {\n      if (event._tag !== 'ResourceSnapshot') return false\n      if (event.resourceId !== params.resourceId) return false\n      if (event.fieldPath !== params.fieldPath) return false\n      if (params.keyHash !== undefined && event.keyHash !== params.keyHash) {\n        return false\n      }\n      if (params.phase !== undefined && event.phase !== params.phase) {\n        return false\n      }\n      return true\n    }).pipe(Effect.map((event) => event as ResourceSnapshotEvent | undefined))\n\n  return {\n    record: (event) => Effect.sync(() => events.push(event)),\n    snapshot: Effect.sync(() => events.slice()),\n    resetCursor: Effect.sync(() => {\n      cursor = 0\n    }),\n    consumeNext,\n    consumeNextResourceSnapshot,\n  }\n}\n\nexport const layer = (initial?: ReadonlyArray<ReplayLogEvent>): Layer.Layer<ReplayLog, never, never> =>\n  Layer.succeed(ReplayLog, make(initial))\n\nexport const record = (event: ReplayLogEvent): Effect.Effect<void, never, ReplayLog> =>\n  Effect.gen(function* () {\n    const log = yield* ReplayLog\n    yield* log.record(event)\n  })\n\nexport const snapshot: Effect.Effect<ReadonlyArray<ReplayLogEvent>, never, ReplayLog> = Effect.gen(function* () {\n  const log = yield* ReplayLog\n  return yield* log.snapshot\n})\n\nexport const resetCursor: Effect.Effect<void, never, ReplayLog> = Effect.gen(function* () {\n  const log = yield* ReplayLog\n  yield* log.resetCursor\n})\n\nexport const consumeNextResourceSnapshot = (params: {\n  readonly resourceId: string\n  readonly fieldPath: string\n  readonly keyHash?: string\n  readonly phase?: ResourceSnapshotPhase\n}): Effect.Effect<ResourceSnapshotEvent | undefined, never, ReplayLog> =>\n  Effect.gen(function* () {\n    const log = yield* ReplayLog\n    return yield* log.consumeNextResourceSnapshot(params)\n  })\n","export type RowId = string\n\nexport interface ListConfig {\n  readonly path: string\n  readonly trackBy?: string\n}\n\nexport type ListRemovalListener = (rowId: RowId) => void\n\ntype Segment = string | number\n\nconst parseSegments = (path: string): ReadonlyArray<Segment> => {\n  if (!path) return []\n  return path.split('.').map((seg) => (/^[0-9]+$/.test(seg) ? Number(seg) : seg))\n}\n\nexport const getAtPath = (state: any, path: string): any => {\n  if (!path || state == null) return state\n  const segments = parseSegments(path)\n  let current: any = state\n  for (const seg of segments) {\n    if (current == null) return undefined\n    if (typeof seg === 'number') {\n      current = Array.isArray(current) ? current[seg] : current[String(seg)]\n      continue\n    }\n    current = current[seg]\n  }\n  return current\n}\n\nexport const setAtPathMutating = (draft: unknown, path: string, value: unknown): void => {\n  if (!path) return\n  const segments = parseSegments(path)\n  if (segments.length === 0) return\n\n  let current: any = draft\n  for (let i = 0; i < segments.length - 1; i++) {\n    const key = segments[i]!\n    const nextKey = segments[i + 1]!\n\n    const next = current?.[key as any]\n    if (next == null || typeof next !== 'object') {\n      current[key as any] = typeof nextKey === 'number' ? [] : {}\n    }\n    current = current[key as any]\n  }\n\n  const last = segments[segments.length - 1]!\n  current[last as any] = value\n}\n\nexport const unsetAtPathMutating = (draft: unknown, path: string): void => {\n  if (!path) return\n  const segments = parseSegments(path)\n  if (segments.length === 0) return\n\n  let current: any = draft\n  for (let i = 0; i < segments.length - 1; i++) {\n    const key = segments[i]!\n    const next = current?.[key as any]\n    if (next == null || typeof next !== 'object') {\n      return\n    }\n    current = next\n  }\n\n  const last = segments[segments.length - 1]!\n  if (Array.isArray(current) && typeof last === 'number') {\n    current[last] = undefined\n    return\n  }\n\n  if (current && typeof current === 'object') {\n    delete current[last as any]\n  }\n}\n\nexport const joinPath = (prefix: string, suffix: string): string => {\n  if (!prefix) return suffix\n  if (!suffix) return prefix\n  return `${prefix}.${suffix}`\n}\n\nexport interface ListItemFieldPath {\n  readonly listPath: string\n  readonly itemPath: string\n}\n\n/**\n * parseListItemFieldPath：\n * - Recognize a list.item field path like \"items[].profileResource\".\n * - Supports nested arrays: returns listPath/itemPath for the innermost list.\n */\nexport const parseListItemFieldPath = (fieldPath: string): ListItemFieldPath | undefined => {\n  const raw = typeof fieldPath === 'string' ? fieldPath.trim() : ''\n  if (!raw) return undefined\n\n  const segments = raw.split('.').filter(Boolean)\n  let lastListSeg = -1\n  for (let i = 0; i < segments.length; i++) {\n    if (segments[i]!.endsWith('[]')) lastListSeg = i\n  }\n  if (lastListSeg < 0) return undefined\n\n  const strip = (seg: string): string => (seg.endsWith('[]') ? seg.slice(0, -2) : seg)\n\n  const listPath = segments\n    .slice(0, lastListSeg + 1)\n    .map(strip)\n    .join('.')\n\n  const itemPath = segments\n    .slice(lastListSeg + 1)\n    .map(strip)\n    .join('.')\n\n  return { listPath, itemPath }\n}\n\nexport const toListItemValuePath = (listPath: string, index: number, itemPath: string): string =>\n  itemPath ? `${listPath}.${index}.${itemPath}` : `${listPath}.${index}`\n\ntype ListState = {\n  readonly listPath: string\n  readonly parentRowId?: RowId\n  readonly itemsRef: ReadonlyArray<unknown>\n  readonly ids: ReadonlyArray<RowId>\n  readonly indexById: ReadonlyMap<RowId, number>\n  readonly trackBy?: string\n}\n\nconst readTrackBy = (item: unknown, trackBy: string): unknown => {\n  if (!item || typeof item !== 'object') return undefined\n  const segments = trackBy.split('.')\n  let current: any = item\n  for (const seg of segments) {\n    if (current == null) return undefined\n    current = current[seg as any]\n  }\n  return current\n}\n\nconst didReorderByReference = (prevItems: ReadonlyArray<unknown>, nextItems: ReadonlyArray<unknown>): boolean => {\n  const buckets = new Map<unknown, Array<number>>()\n  for (let i = 0; i < prevItems.length; i++) {\n    const item = prevItems[i]\n    const list = buckets.get(item) ?? []\n    list.push(i)\n    buckets.set(item, list)\n  }\n\n  for (let nextIndex = 0; nextIndex < nextItems.length; nextIndex++) {\n    const item = nextItems[nextIndex]\n    const q = buckets.get(item)\n    if (!q || q.length === 0) continue\n    const prevIndex = q.shift()!\n    if (prevIndex !== nextIndex) {\n      return true\n    }\n  }\n\n  return false\n}\n\nconst hasStableTrackByKeys = (items: ReadonlyArray<unknown>, trackBy: string): boolean =>\n  items.every((item) => readTrackBy(item, trackBy) !== undefined)\n\nconst isSameTrackBySequence = (\n  prevItems: ReadonlyArray<unknown>,\n  nextItems: ReadonlyArray<unknown>,\n  trackBy: string,\n): boolean => {\n  if (prevItems.length !== nextItems.length) return false\n  for (let i = 0; i < prevItems.length; i++) {\n    if (!Object.is(readTrackBy(prevItems[i], trackBy), readTrackBy(nextItems[i], trackBy))) {\n      return false\n    }\n  }\n  return true\n}\n\nconst reconcileIds = (\n  prev: ListState | undefined,\n  nextItems: ReadonlyArray<unknown>,\n  trackBy?: string,\n  makeRowId?: () => RowId,\n): { readonly ids: ReadonlyArray<RowId>; readonly removed: ReadonlyArray<RowId> } => {\n  const nextRowId =\n    makeRowId ??\n    (() => {\n      let rowSeq = 0\n      return () => {\n        rowSeq += 1\n        return `r${rowSeq}`\n      }\n    })()\n\n  if (!prev) {\n    return {\n      ids: nextItems.map(() => nextRowId()),\n      removed: [],\n    }\n  }\n\n  if (prev.itemsRef === nextItems) {\n    return {\n      ids: prev.ids,\n      removed: [],\n    }\n  }\n\n  // Important: keep RowId stable under \"non-structural changes\" (field updates / object clones only),\n  // otherwise in-flight state and caches would be invalidated needlessly.\n  const sameLength = prev.itemsRef.length === nextItems.length\n  if (sameLength) {\n    // trackBy case: if the key sequence is identical, we can reuse old ids;\n    // otherwise we must reconcile by key (avoid misclassifying clone+reorder as \"no reorder\").\n    if (trackBy) {\n      const canUseKeys = hasStableTrackByKeys(prev.itemsRef, trackBy) && hasStableTrackByKeys(nextItems, trackBy)\n      if (canUseKeys) {\n        if (isSameTrackBySequence(prev.itemsRef, nextItems, trackBy)) {\n          return {\n            ids: prev.ids,\n            removed: [],\n          }\n        }\n      } else {\n        // If trackBy keys are not available, fall back to reference-level detection (keep stability for \"cloned but not reordered\").\n        if (!didReorderByReference(prev.itemsRef, nextItems)) {\n          return {\n            ids: prev.ids,\n            removed: [],\n          }\n        }\n      }\n    } else if (!didReorderByReference(prev.itemsRef, nextItems)) {\n      return {\n        ids: prev.ids,\n        removed: [],\n      }\n    }\n  }\n\n  const keyOf = (item: unknown): unknown => {\n    if (!trackBy) return item\n    const k = readTrackBy(item, trackBy)\n    return k !== undefined ? k : item\n  }\n\n  const buckets = new Map<unknown, Array<RowId>>()\n  for (let i = 0; i < prev.itemsRef.length; i++) {\n    const key = keyOf(prev.itemsRef[i])\n    const list = buckets.get(key) ?? []\n    list.push(prev.ids[i]!)\n    buckets.set(key, list)\n  }\n\n  const ids: Array<RowId> = []\n  for (let i = 0; i < nextItems.length; i++) {\n    const key = keyOf(nextItems[i])\n    const list = buckets.get(key)\n    if (list && list.length > 0) {\n      ids.push(list.shift()!)\n    } else {\n      ids.push(nextRowId())\n    }\n  }\n\n  const removed: Array<RowId> = []\n  for (const list of buckets.values()) {\n    removed.push(...list)\n  }\n\n  return { ids, removed }\n}\n\nconst buildIndexById = (ids: ReadonlyArray<RowId>): ReadonlyMap<RowId, number> => {\n  const map = new Map<RowId, number>()\n  for (let i = 0; i < ids.length; i++) {\n    map.set(ids[i]!, i)\n  }\n  return map\n}\n\nexport class RowIdStore {\n  private readonly lists = new Map<string, ListState>()\n  private readonly removalListeners = new Map<string, Set<ListRemovalListener>>()\n  private readonly rowIdIndex = new Map<\n    RowId,\n    { readonly key: string; readonly listPath: string; readonly index: number }\n  >()\n  private nextRowSeq = 0\n\n  constructor(private readonly instanceId?: string) {}\n\n  private listKey = (listPath: string, parentRowId?: RowId): string =>\n    parentRowId ? `${listPath}@@${parentRowId}` : listPath\n\n  private makeRowId = (): RowId => {\n    this.nextRowSeq += 1\n    return this.instanceId ? `${this.instanceId}::r${this.nextRowSeq}` : `r${this.nextRowSeq}`\n  }\n\n  private notifyRemoved(listPath: string, rowId: RowId): void {\n    const listeners = this.removalListeners.get(listPath)\n    if (!listeners || listeners.size === 0) return\n    for (const fn of listeners) {\n      try {\n        fn(rowId)\n      } catch {\n        // listener failures should never break runtime behavior\n      }\n    }\n  }\n\n  private removeDescendants(parentRowId: RowId): void {\n    const keys: Array<string> = []\n    for (const [k, st] of this.lists.entries()) {\n      if (st.parentRowId === parentRowId) keys.push(k)\n    }\n\n    for (const key of keys) {\n      const st = this.lists.get(key)\n      if (!st) continue\n      this.lists.delete(key)\n      for (let i = 0; i < st.ids.length; i++) {\n        const rowId = st.ids[i]!\n        this.rowIdIndex.delete(rowId)\n        this.notifyRemoved(st.listPath, rowId)\n        this.removeDescendants(rowId)\n      }\n    }\n  }\n\n  onRemoved(listPath: string, listener: ListRemovalListener): () => void {\n    const set = this.removalListeners.get(listPath) ?? new Set<ListRemovalListener>()\n    set.add(listener)\n    this.removalListeners.set(listPath, set)\n    return () => {\n      const current = this.removalListeners.get(listPath)\n      if (!current) return\n      current.delete(listener)\n      if (current.size === 0) this.removalListeners.delete(listPath)\n    }\n  }\n\n  getRowId(listPath: string, index: number, parentRowId?: RowId): RowId | undefined {\n    const state = this.lists.get(this.listKey(listPath, parentRowId))\n    return state ? state.ids[index] : undefined\n  }\n\n  getIndex(listPath: string, rowId: RowId): number | undefined {\n    const info = this.rowIdIndex.get(rowId)\n    if (!info) return undefined\n    if (info.listPath !== listPath) return undefined\n    return info.index\n  }\n\n  /**\n   * ensureList：\n   * - Align RowID mapping for the given listPath with the current items.\n   * - Returns the latest ids (index -> RowId).\n   */\n  ensureList(\n    listPath: string,\n    items: ReadonlyArray<unknown>,\n    trackBy?: string,\n    parentRowId?: RowId,\n  ): ReadonlyArray<RowId> {\n    const key = this.listKey(listPath, parentRowId)\n    const prev = this.lists.get(key)\n    const { ids, removed } = reconcileIds(prev, items, trackBy ?? prev?.trackBy, this.makeRowId)\n\n    const next: ListState = {\n      listPath,\n      parentRowId,\n      itemsRef: items,\n      ids,\n      indexById: buildIndexById(ids),\n      trackBy: trackBy ?? prev?.trackBy,\n    }\n    this.lists.set(key, next)\n\n    if (removed.length > 0) {\n      for (const rowId of removed) {\n        this.rowIdIndex.delete(rowId)\n        this.notifyRemoved(listPath, rowId)\n        this.removeDescendants(rowId)\n      }\n    }\n\n    // Refresh the reverse rowId -> index mapping (index changes are allowed).\n    for (let i = 0; i < ids.length; i++) {\n      const rowId = ids[i]!\n      this.rowIdIndex.set(rowId, { key, listPath, index: i })\n    }\n\n    return ids\n  }\n\n  /**\n   * updateAll：\n   * - After each commit, align RowID mappings for all known lists.\n   * - configs come from list declarations in StateTraitProgram.spec (may include trackBy).\n   */\n  updateAll(state: unknown, configs: ReadonlyArray<ListConfig>): void {\n    const cfgByPath = new Map<string, ListConfig>()\n    const paths: Array<string> = []\n    for (const cfg of configs) {\n      if (!cfg || typeof cfg.path !== 'string') continue\n      const p = cfg.path.trim()\n      if (!p) continue\n      cfgByPath.set(p, cfg)\n      paths.push(p)\n    }\n\n    const pathSet = new Set(paths)\n\n    const parentOf = (path: string): string | undefined => {\n      const segments = path.split('.').filter(Boolean)\n      let best: string | undefined\n      for (let i = 1; i < segments.length; i++) {\n        const prefix = segments.slice(0, i).join('.')\n        if (pathSet.has(prefix)) best = prefix\n      }\n      return best\n    }\n\n    const parentByPath = new Map<string, string | undefined>()\n    const suffixByPath = new Map<string, string>()\n    const childrenByParent = new Map<string | undefined, Array<string>>()\n\n    for (const path of paths) {\n      const parent = parentOf(path)\n      parentByPath.set(path, parent)\n      const suffix = parent ? path.slice(parent.length + 1) : path\n      suffixByPath.set(path, suffix)\n      const list = childrenByParent.get(parent) ?? []\n      list.push(path)\n      childrenByParent.set(parent, list)\n    }\n\n    // roots first (and deterministic traversal)\n    const roots = (childrenByParent.get(undefined) ?? []).slice().sort((a, b) => a.localeCompare(b))\n\n    const visit = (listPath: string, parentRowId: RowId | undefined, listValue: unknown): void => {\n      const cfg = cfgByPath.get(listPath)\n      const items = Array.isArray(listValue) ? (listValue as ReadonlyArray<unknown>) : []\n      const ids = this.ensureList(listPath, items, cfg?.trackBy, parentRowId)\n\n      const children = (childrenByParent.get(listPath) ?? []).slice().sort((a, b) => a.localeCompare(b))\n      if (children.length === 0) return\n\n      for (let i = 0; i < items.length; i++) {\n        const row = items[i]\n        const rowId = ids[i]\n        if (!rowId) continue\n        for (const childPath of children) {\n          const suffix = suffixByPath.get(childPath) ?? ''\n          const childValue = suffix ? getAtPath(row as any, suffix) : undefined\n          visit(childPath, rowId, childValue)\n        }\n      }\n    }\n\n    for (const root of roots) {\n      const value = getAtPath(state as any, root)\n      visit(root, undefined, value)\n    }\n  }\n}\n\nexport const collectListConfigs = (spec: Record<string, unknown>): ReadonlyArray<ListConfig> => {\n  const configs: Array<ListConfig> = []\n  for (const key in spec) {\n    if (!Object.prototype.hasOwnProperty.call(spec, key)) continue\n    const raw = spec[key]\n    if (!raw || typeof raw !== 'object') continue\n    const tag = (raw as any)._tag\n    if (tag !== 'StateTraitList') continue\n    const trackBy = (raw as any).identityHint?.trackBy\n    configs.push({\n      path: key,\n      trackBy: typeof trackBy === 'string' ? trackBy : undefined,\n    })\n  }\n  return configs\n}\n","import { isDevEnv } from './env.js'\nimport type { RuntimeInternals } from './RuntimeInternals.js'\n\nconst RUNTIME_INTERNALS = Symbol.for('@logixjs/core/runtimeInternals')\nconst BOUND_INTERNALS = Symbol.for('@logixjs/core/boundInternals')\nconst MODULE_TRAITS_PROGRAM = Symbol.for('@logixjs/core/moduleTraitsProgram')\n\nconst defineHidden = (target: object, key: symbol, value: unknown): void => {\n  Object.defineProperty(target, key, {\n    value,\n    enumerable: false,\n    configurable: true,\n    writable: false,\n  })\n}\n\nexport const setRuntimeInternals = (runtime: object, internals: RuntimeInternals): void => {\n  defineHidden(runtime, RUNTIME_INTERNALS, internals)\n}\n\nexport const setBoundInternals = (bound: object, internals: RuntimeInternals): void => {\n  defineHidden(bound, BOUND_INTERNALS, internals)\n}\n\n/**\n * ModuleTraitsProgram（StateTraitProgram）：\n * - Attaches a traits Program to a module definition object (used by TraitLifecycle/Debug).\n * - Uses Symbol + non-enumerable properties to avoid spreading `.__*` magic fields.\n *\n * Note: this is a \"module-definition-side\" internal slot, not RuntimeInternals (instance-level); the semantics differ.\n */\nexport const setModuleTraitsProgram = (module: object, program: unknown): void => {\n  defineHidden(module, MODULE_TRAITS_PROGRAM, program)\n}\n\nexport const getModuleTraitsProgram = (module: unknown): unknown | undefined => {\n  if (!module) return undefined\n  if (typeof module !== 'object' && typeof module !== 'function') return undefined\n  return (module as any)[MODULE_TRAITS_PROGRAM] as unknown | undefined\n}\n\nconst formatScope = (moduleId: unknown, instanceId: unknown): string => {\n  const m = typeof moduleId === 'string' && moduleId.length > 0 ? moduleId : 'unknown'\n  const i = typeof instanceId === 'string' && instanceId.length > 0 ? instanceId : 'unknown'\n  return `moduleId=${m}, instanceId=${i}`\n}\n\nexport const getRuntimeInternals = (runtime: object): RuntimeInternals => {\n  const scope = runtime as { readonly moduleId?: unknown; readonly instanceId?: unknown }\n  const internals = (runtime as any)[RUNTIME_INTERNALS] as RuntimeInternals | undefined\n  if (!internals) {\n    const msg = isDevEnv()\n      ? [\n          '[MissingRuntimeInternals] Runtime internals not installed on ModuleRuntime instance.',\n          `scope: ${formatScope(scope.moduleId, scope.instanceId)}`,\n          'fix:',\n          '- Ensure ModuleRuntime.make calls internalHooks.installInternalHooks (020 foundation).',\n          '- If you created a mock runtime for tests, attach internals or avoid calling internal-only APIs.',\n        ].join('\\n')\n      : 'Runtime internals not installed'\n    throw new Error(msg)\n  }\n\n  const runtimeInstanceId = scope.instanceId\n  if (\n    typeof runtimeInstanceId === 'string' &&\n    runtimeInstanceId.length > 0 &&\n    runtimeInstanceId !== internals.instanceId\n  ) {\n    throw new Error(\n      isDevEnv()\n        ? [\n            '[InconsistentRuntimeInternals] Runtime internals instanceId mismatch.',\n            `runtime: ${formatScope(scope.moduleId, runtimeInstanceId)}`,\n            `internals: ${formatScope(internals.moduleId, internals.instanceId)}`,\n          ].join('\\n')\n        : 'Runtime internals mismatch',\n    )\n  }\n\n  return internals\n}\n\nexport const getBoundInternals = (bound: object): RuntimeInternals => {\n  const internals = (bound as any)[BOUND_INTERNALS] as RuntimeInternals | undefined\n  if (!internals) {\n    const msg = isDevEnv()\n      ? [\n          '[MissingBoundInternals] Bound internals not installed on Bound API instance.',\n          'fix:',\n          '- Ensure BoundApiRuntime attaches internals (020 foundation).',\n          '- If you created a mock bound for tests, attach internals or avoid calling internal-only APIs.',\n        ].join('\\n')\n      : 'Bound internals not installed'\n    throw new Error(msg)\n  }\n\n  return internals\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA,aAAAA;AAAA,EAAA,eAAAC;AAAA,EAAA,eAAAC;AAAA,EAAA,wBAAAC;AAAA,EAAA,qBAAAC;AAAA,EAAA,sBAAAC;AAAA;AAAA;;;ACAA,IAAAC,iBAAyC;;;ACAzC,IAAAC,iBAA4D;;;ACA5D,IAAAC,iBAAuD;;;ACwEvD,IAAM,iBAAoD;AAAA,EACxD,UAAU;AAAA,EACV,eAAe;AAAA,EACf,gBAAgB;AAAA,EAChB,iBAAiB;AAAA,EACjB,cAAc,IAAI;AAAA,EAClB,uBAAuB;AACzB;;;AC/EA,oBAAsB;;;ACItB,IAAAC,iBAA0C;AAOnC,IAAM,gBAAgB,wBAAS,WAA+B,MAAS;AAoHvE,IAAM,wBAAN,cAAoC,uBAAQ,IAAI,0BAA0B,EAG/E,EAAE;AAAC;;;AH6HE,IAAM,oBAAoB,wBAAS,WAAgC,CAAC,CAAC;AACrE,IAAM,sBAAsB,wBAAS,WAA+B,MAAS;AAC7E,IAAM,eAAe,wBAAS,WAA+B,MAAS;AACtE,IAAM,eAAe,wBAAS,WAA+B,MAAS;AAEtE,IAAM,0BAA0B,wBAAS,WAA6B,KAAK;AAiB3E,IAAM,0CAA0C,wBAAS,WAAmD;AAAA,EACjH,cAAc;AAAA,EACd,MAAM;AACR,CAAC;AA0ID,IAAM,uBAAuB,oBAAI,IAAY;AAC7C,IAAM,wBAAwB,oBAAI,IAAY;AA4C9C,IAAM,oBAAoB,CAAC,UAAgE;AACzF,QAAM,WAAW,MAAM,YAAY;AACnC,QAAM,eAAe,MAAM;AACzB,QAAI;AACF,aAAO,qBAAM,OAAO,MAAM,OAA+B;AAAA,QACvD,kBAAkB;AAAA,MACpB,CAAC;AAAA,IACH,QAAQ;AACN,UAAI;AACF,eAAO,KAAK,UAAU,MAAM,OAAO,MAAM,CAAC;AAAA,MAC5C,QAAQ;AACN,eAAO,OAAO,MAAM,KAAK;AAAA,MAC3B;AAAA,IACF;AAAA,EACF,GAAG;AAEH,QAAM,UAAU,kBAAkB,QAAQ;AAAA,EAAsB,WAAW;AAE3E,SAAO,sBAAO,SAAS,OAAO,EAAE;AAAA,IAC9B,sBAAO,aAAa;AAAA,MAClB,kBAAkB;AAAA,MAClB,eAAe;AAAA,MACf,eAAe;AAAA,IACjB,CAAC;AAAA,EACH;AACF;AAEA,IAAM,gBAAgB,CAAC,UAA2D;AAChF,QAAM,WAAW,MAAM,YAAY;AACnC,QAAM,SAAS,kBAAkB,QAAQ,gBAAgB,MAAM,QAAQ;AACvE,QAAM,SAAS,QAAQ,MAAM,IAAI,YAAY,MAAM,OAAO,GACxD,MAAM,YAAY,WAAW,MAAM,SAAS,KAAK,EACnD,GAAG,MAAM,OAAO;AAAA,QAAW,MAAM,IAAI,KAAK,EAAE;AAC5C,QAAM,MAAM,GAAG,MAAM;AAAA,EAAK,MAAM;AAEhC,QAAM,OACJ,MAAM,aAAa,YACf,sBAAO,WAAW,GAAG,IACrB,MAAM,aAAa,SACjB,sBAAO,QAAQ,GAAG,IAClB,sBAAO,SAAS,GAAG;AAE3B,QAAM,cAAuC;AAAA,IAC3C,kBAAkB;AAAA,IAClB,eAAe,cAAc,MAAM,QAAQ;AAAA,IAC3C,yBAAyB,MAAM;AAAA,IAC/B,4BAA4B,MAAM;AAAA,EACpC;AACA,MAAI,MAAM,MAAM;AACd,gBAAY,uBAAuB,IAAI,MAAM;AAAA,EAC/C;AACA,MAAI,MAAM,WAAW;AACnB,gBAAY,4BAA4B,IAAI,MAAM;AAAA,EACpD;AAEA,SAAO,KAAK,KAAK,sBAAO,aAAa,WAAW,CAAC;AACnD;AAOO,IAAM,YAAY,qBAAM,cAAc,mBAAmB,CAAC,CAAC;AAQlE,IAAM,gBAAsB;AAAA,EAC1B,QAAQ,CAAC,UACP,MAAM,SAAS,oBACX,kBAAkB,KAAK,IACvB,MAAM,SAAS,gBAAgB,MAAM,aAAa,SAChD,cAAc,KAAK,IACnB,sBAAO;AACjB;AAEO,IAAM,iBAAiB,qBAAM,cAAc,mBAAmB,CAAC,aAAa,CAAC;AASpF,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;;;AIvtBA,IAAAC,iBAA+B;AAKxB,IAAM,aAAa,MAA0B;AAClD,MAAI;AAEF,UAAM,MAAO,YAAoB,SAAS;AAC1C,WAAO,OAAO,KAAK,aAAa,WAAW,IAAI,WAAW;AAAA,EAC5D,QAAQ;AACN,WAAO;AAAA,EACT;AACF;AAEO,IAAM,WAAW,MAAe,WAAW,MAAM;AAgExD,IAAM,gCAAN,cAA4C,uBAAQ,IAAI,6CAA6C,EAGnG,EAAE;AAAC;AAML,IAAM,mCAAN,cAA+C,uBAAQ,IAAI,gDAAgD,EAGzG,EAAE;AAAC;AAUL,IAAM,0BAAN,cAAsC,uBAAQ,IAAI,gCAAgC,EAGhF,EAAE;AAAC;AAkFL,IAAM,mCAAN,cAA+C,uBAAQ,IAAI,yCAAyC,EAGlG,EAAE;AAAC;AA6BL,IAAM,2BAAN,cAAuC,uBAAQ,IAAI,iCAAiC,EAGlF,EAAE;AAAC;AAaL,IAAM,oCAAN,cAAgD,uBAAQ,IAAI,0CAA0C,EAGpG,EAAE;AAAC;;;AL/NE,IAAM,yBAAyB,wBAAS,WAAW,KAAK;AAUxD,IAAM,qBAAqB,wBAAS,WAAW,KAAK;;;AMxB3D,IAAAC,iBAAuC;AA+ChC,IAAM,YAAN,cAAwB,uBAAQ,IAAI,yBAAyB,EAA+B,EAAE;AAAC;AAwD/F,IAAM,WAA2E,sBAAO,IAAI,aAAa;AAC9G,QAAM,MAAM,OAAO;AACnB,SAAO,OAAO,IAAI;AACpB,CAAC;AAEM,IAAM,cAAqD,sBAAO,IAAI,aAAa;AACxF,QAAM,MAAM,OAAO;AACnB,SAAO,IAAI;AACb,CAAC;;;ACpGD,IAAM,gBAAgB,CAAC,SAAyC;AAC9D,MAAI,CAAC,KAAM,QAAO,CAAC;AACnB,SAAO,KAAK,MAAM,GAAG,EAAE,IAAI,CAAC,QAAS,WAAW,KAAK,GAAG,IAAI,OAAO,GAAG,IAAI,GAAI;AAChF;AAsCO,IAAM,sBAAsB,CAAC,OAAgB,SAAuB;AACzE,MAAI,CAAC,KAAM;AACX,QAAM,WAAW,cAAc,IAAI;AACnC,MAAI,SAAS,WAAW,EAAG;AAE3B,MAAI,UAAe;AACnB,WAAS,IAAI,GAAG,IAAI,SAAS,SAAS,GAAG,KAAK;AAC5C,UAAM,MAAM,SAAS,CAAC;AACtB,UAAM,OAAO,UAAU,GAAU;AACjC,QAAI,QAAQ,QAAQ,OAAO,SAAS,UAAU;AAC5C;AAAA,IACF;AACA,cAAU;AAAA,EACZ;AAEA,QAAM,OAAO,SAAS,SAAS,SAAS,CAAC;AACzC,MAAI,MAAM,QAAQ,OAAO,KAAK,OAAO,SAAS,UAAU;AACtD,YAAQ,IAAI,IAAI;AAChB;AAAA,EACF;AAEA,MAAI,WAAW,OAAO,YAAY,UAAU;AAC1C,WAAO,QAAQ,IAAW;AAAA,EAC5B;AACF;;;ACxEA,IAAM,kBAAkB,uBAAO,IAAI,8BAA8B;AACjE,IAAM,wBAAwB,uBAAO,IAAI,mCAAmC;AA8BrE,IAAM,yBAAyB,CAACC,YAAyC;AAC9E,MAAI,CAACA,QAAQ,QAAO;AACpB,MAAI,OAAOA,YAAW,YAAY,OAAOA,YAAW,WAAY,QAAO;AACvE,SAAQA,QAAe,qBAAqB;AAC9C;AA4CO,IAAM,oBAAoB,CAAC,UAAoC;AACpE,QAAM,YAAa,MAAc,eAAe;AAChD,MAAI,CAAC,WAAW;AACd,UAAM,MAAM,SAAS,IACjB;AAAA,MACE;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF,EAAE,KAAK,IAAI,IACX;AACJ,UAAM,IAAI,MAAM,GAAG;AAAA,EACrB;AAEA,SAAO;AACT;;;AThFO,IAAMC,OAAM;AAAA,EACjB,OAAO,CAAC,UAA4B,EAAE,MAAM,SAAS,KAAK;AAAA,EAC1D,MAAM,CAAC,MAAc,mBAAqD;AAAA,IACxE,MAAM;AAAA,IACN;AAAA,IACA;AAAA,EACF;AAAA,EACA,MAAM,CACJ,MACA,OACA,aACc;AAAA,IACd,MAAM;AAAA,IACN;AAAA,IACA;AAAA,IACA,eAAe,SAAS;AAAA,IACxB,OAAO,SAAS;AAAA,EAClB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAaA,eAAe,CAAC,cAAgC;AAC9C,UAAM,MAAM,OAAO,cAAc,WAAW,UAAU,KAAK,IAAI;AAC/D,QAAI,CAAC,OAAO,QAAQ,QAAS,QAAOA,KAAI,KAAK;AAE7C,UAAM,WAAW,IAAI,MAAM,GAAG,EAAE,OAAO,OAAO;AAC9C,QAAI,SAAS,WAAW,EAAG,QAAOA,KAAI,KAAK;AAE3C,UAAM,UAAU,CAAC,QAAyB,WAAW,KAAK,GAAG;AAC7D,UAAM,eAAe,CAAC,QAAyB,IAAI,SAAS,IAAI,IAAI,IAAI,MAAM,GAAG,EAAE,IAAI;AAEvF,UAAM,iBAA0E,CAAC;AACjF,aAAS,IAAI,GAAG,IAAI,SAAS,QAAQ,KAAK;AACxC,YAAM,MAAM,SAAS,CAAC;AACtB,UAAI,CAAC,QAAQ,GAAG,EAAG;AACnB,YAAM,QAAQ,OAAO,GAAG;AACxB,UAAI,CAAC,OAAO,SAAS,KAAK,KAAK,QAAQ,EAAG,QAAOA,KAAI,MAAM,GAAG;AAC9D,qBAAe,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC;AAAA,IACvC;AAGA,QAAI,eAAe,SAAS,GAAG;AAC7B,YAAM,OAAO,eAAe,eAAe,SAAS,CAAC;AACrD,YAAM,gBAAgB,eAAe,MAAM,GAAG,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK;AAEpE,YAAM,WAAW,SACd,MAAM,GAAG,KAAK,GAAG,EACjB,OAAO,CAAC,QAAQ,CAAC,QAAQ,GAAG,CAAC,EAC7B,IAAI,YAAY,EAChB,KAAK,GAAG;AAEX,UAAI,CAAC,SAAU,QAAOA,KAAI,MAAM,GAAG;AAEnC,YAAM,YAAY,SACf,MAAM,KAAK,MAAM,CAAC,EAClB,IAAI,YAAY,EAChB,KAAK,GAAG;AAEX,aAAOA,KAAI,KAAK,UAAU,KAAK,OAAO;AAAA,QACpC,eAAe,cAAc,SAAS,IAAI,gBAAgB;AAAA,QAC1D,OAAO,YAAY,YAAY;AAAA,MACjC,CAAC;AAAA,IACH;AAGA,QAAI,SAAS,KAAK,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,GAAG;AAC1C,YAAM,OAAO,SAAS,SAAS,SAAS,CAAC;AACzC,UAAI,KAAK,SAAS,IAAI,GAAG;AACvB,eAAOA,KAAI,KAAK,SAAS,IAAI,YAAY,EAAE,KAAK,GAAG,CAAC;AAAA,MACtD;AAAA,IACF;AAEA,WAAOA,KAAI,MAAM,GAAG;AAAA,EACtB;AAAA,EACA,MAAM,OAAiB,EAAE,MAAM,OAAO;AACxC;AAKO,IAAM,iBAAiB,CAAC,OAA2B,YACxD,sBAAO,IAAI,aAAa;AACtB,MAAI;AACJ,MAAI;AACF,gBAAY,kBAAkB,KAAY;AAAA,EAC5C,QAAQ;AACN;AAAA,EACF;AAEA,QAAM,UAAU,UAAU,OAAO;AAIjC,MAAI,CAAC,QAAS;AAEd,QAAM,WAAW,CAAC,QAAqD;AACrE,QAAI,IAAI,SAAS,OAAQ,QAAO,EAAE,MAAM,OAAO;AAC/C,QAAI,IAAI,SAAS,QAAS,QAAO,EAAE,MAAM,SAAS,MAAM,IAAI,KAAK;AACjE,QAAI,IAAI,SAAS,QAAQ;AACvB,aAAO;AAAA,QACL,MAAM;AAAA,QACN,MAAM,IAAI;AAAA,QACV,GAAI,IAAI,gBAAgB,EAAE,eAAe,IAAI,cAAc,IAAI,CAAC;AAAA,MAClE;AAAA,IACF;AACA,WAAO;AAAA,MACL,MAAM;AAAA,MACN,MAAM,IAAI;AAAA,MACV,OAAO,IAAI;AAAA,MACX,GAAI,IAAI,gBAAgB,EAAE,eAAe,IAAI,cAAc,IAAI,CAAC;AAAA,MAChE,OAAO,IAAI;AAAA,IACb;AAAA,EACF;AAEA,QAAM,WAAqD;AAAA,IACzD,MAAM,QAAQ;AAAA,IACd,QAAQ,SAAS,QAAQ,MAAM;AAAA,EACjC;AAEA,QAAM,QAAQ,OAAO,wBAAS,IAAe,sBAAsB;AACnE,MAAI,OAAO;AACT,YAAQ,QAAQ;AAChB;AAAA,EACF;AAEA,SAAO,UAAU,IAAI;AAAA,IAAwB,EAAE,MAAM,SAAS,MAAM,kBAAkB,SAAS,QAAQ;AAAA,IAAG,MACxG,sBAAO,KAAK,MAAM;AAChB,cAAQ,QAAQ;AAAA,IAClB,CAAC;AAAA,EACH;AACF,CAAC;AAKI,IAAM,gBAAgB,CAAC,OAA2B,YACvD,sBAAO,IAAI,aAAa;AACtB,MAAI,QAAQ,SAAS,kBAAkB;AACrC,UAAM,cAAc,CAAC,QAAsC;AACzD,UAAI,IAAI,SAAS,OAAQ,QAAO;AAChC,UAAI,IAAI,SAAS,WAAW,IAAI,SAAS,OAAQ,QAAO,IAAI;AAC5D,YAAM,OAAO,GAAG,IAAI,IAAI;AACxB,aAAO,IAAI,QAAQ,GAAG,IAAI,IAAI,IAAI,KAAK,KAAK;AAAA,IAC9C;AAEA,UAAM,YAAY,YAAY,QAAQ,MAAM;AAC5C,QAAI,CAAC,WAAW;AACd;AAAA,IACF;AAEA,WAAO,MAAM,OAAO,OAAO,QAAQ,SAAS;AAC5C;AAAA,EACF;AAEA,MAAI,QAAQ,SAAS,oBAAoB;AACvC;AAAA,EACF;AAEA,QAAM,eAAe,OAAO,sBAAO,cAAwB,SAAS;AACpE,MAAI,sBAAO,OAAO,YAAY,GAAG;AAC/B;AAAA,EACF;AAEA,MAAI;AACJ,MAAI;AACJ,MAAI;AACF,UAAM,YAAY,kBAAkB,KAAY;AAChD,eAAW,UAAU;AACrB,iBAAa,UAAU;AAAA,EACzB,QAAQ;AACN,eAAW;AACX,iBAAa;AAAA,EACf;AAEA,SAAO,aAAa,MAAM,OAAO;AAAA,IAC/B,MAAM;AAAA,IACN,WAAW,KAAK,IAAI;AAAA,IACpB;AAAA,IACA;AAAA,IACA,MAAM;AAAA,IACN,QAAQ;AAAA,IACR,MAAM,QAAQ;AAAA,EAChB,CAAC;AACH,CAAC;AAKI,IAAM,UAAU,CAAC,OAA2B,YACjD,sBAAO,IAAI,aAAa;AACtB,QAAM,QAAQ,MACZ,MAAM,MAAM,OAAO,CAAC,UAAU;AAC5B,UAAM,UAAU,CAAC,MAAuB,SAAuB;AAC7D,UAAI,CAAC,KAAM;AACX,MAAM,oBAAoB,OAAO,GAAG,IAAI,IAAI,IAAI,EAAE;AAAA,IACpD;AAEA,QAAI,QAAQ,SAAS,oBAAoB;AACvC,YAAM,SAAS,QAAQ;AACvB,UAAI,OAAO,SAAS,QAAS;AAC7B,cAAQ,UAAU,OAAO,IAAI;AAC7B,cAAQ,MAAM,OAAO,IAAI;AACzB;AAAA,IACF;AAEA,QAAI,QAAQ,SAAS,oBAAoB;AACvC,YAAM,SAAS,QAAQ;AACvB,UAAI,OAAO,SAAS,OAAQ;AAC5B,YAAM,OAAO,GAAG,OAAO,IAAI,IAAI,OAAO,KAAK;AAC3C,YAAM,OAAO,OAAO,QAAQ,GAAG,IAAI,IAAI,OAAO,KAAK,KAAK;AACxD,cAAQ,UAAU,IAAI;AACtB,cAAQ,MAAM,IAAI;AAClB;AAAA,IACF;AAEA,QAAI,QAAQ,SAAS,gBAAgB;AAGnC;AAAA,IACF;AAAA,EACF,CAAC;AAEH,QAAM,QAAQ,OAAO,wBAAS,IAAe,sBAAsB;AACnE,MAAI,OAAO;AACT,WAAO,OAAO,MAAM;AAAA,EACtB;AAEA,MAAI;AAOJ,MAAI;AACF,UAAM,YAAY,kBAAkB,KAAY;AAChD,iBAAa,CAAC,QAAQ,SAAS,UAAU,IAAI,wBAAwB,QAAe,IAAI;AAAA,EAC1F,QAAQ;AACN,iBAAa;AAAA,EACf;AAEA,MAAI,CAAC,YAAY;AACf,WAAO,OAAO,MAAM;AAAA,EACtB;AAEA,SAAO,OAAO,WAAW,EAAE,MAAM,SAAS,MAAM,WAAW,SAAS,QAAQ,GAAG,KAAK;AACtF,CAAC;AAOH,IAAM,gBAAgB,CAAC,SACrB,SAAS,YAAY,SAAS,QAAQ,KAAK,WAAW,SAAS,KAAK,KAAK,WAAW,KAAK;AAE3F,IAAM,gBAAgB,CAAC,SAAyB;AAC9C,MAAI,CAAC,KAAM,QAAO;AAClB,QAAM,WAAW,KAAK,MAAM,GAAG,EAAE,OAAO,OAAO;AAC/C,SAAO,SACJ,IAAI,CAAC,QAAS,WAAW,KAAK,GAAG,IAAI,OAAO,GAAI,EAChD,KAAK,GAAG,EACR,QAAQ,WAAW,IAAI;AAC5B;AAEA,IAAM,wBAAwB,CAAC,KAAa,YAA6B;AACvE,MAAI,CAAC,OAAO,CAAC,QAAS,QAAO;AAC7B,MAAI,QAAQ,QAAS,QAAO;AAC5B,MAAI,QAAQ,WAAW,GAAG,GAAG,GAAG,EAAG,QAAO;AAC1C,MAAI,QAAQ,WAAW,GAAG,GAAG,IAAI,EAAG,QAAO;AAE3C,MAAI,IAAI,WAAW,GAAG,OAAO,IAAI,EAAG,QAAO;AAC3C,SAAO;AACT;AAEO,IAAM,mBAAmB,CAAC,OAA2BC,YAAkC;AAC5F,QAAM,UAAU,uBAAuBA,OAAa;AAEpD,QAAM,UAAU,SAAS,SAAS,OAAO,CAAC,MAAM,KAAK,EAAE,SAAS,QAAQ,KAAK,CAAC;AAE9E,QAAM,gBAAgB,QAAQ;AAAA,IAAO,CAAC,MACpC,MAAM,QAAQ,GAAG,MAAM,QAAQ,IAAI,EAAE,KAAK,SAAS,SAAS,SAAS,IAAI;AAAA,EAC3E;AAEA,QAAM,oBAAoB,QAAQ;AAAA,IAAO,CAAC,MACxC,MAAM,QAAQ,GAAG,MAAM,QAAQ,IAAI,EAAE,KAAK,SAAS,SAAS,aAAa,IAAI;AAAA,EAC/E;AAEA,QAAM,QAAQ,sBAAO,KAAK,MAAM;AAC9B,QAAI,cAAc,WAAW,EAAG;AAChC,UAAM,UAAU;AAAA,MACd,sBAAO,QAAQ,eAAe,CAAC,UAAe,MAAM,OAAO,OAAO,QAAQ,MAAM,SAAS,GAAG;AAAA,QAC1F,aAAa;AAAA,MACf,CAAC,EAAE,KAAK,sBAAO,MAAM;AAAA,IACvB;AAAA,EACF,CAAC;AAED,QAAM,qBAAqB,CAAC,gBAC1B,sBAAO,IAAI,aAAa;AACtB,QAAI,CAAC,eAAe,cAAc,WAAW,EAAG;AAChD,QAAI,kBAAkB,WAAW,EAAG;AAEpC,UAAM,iBAAiB,cAAc,WAAW;AAEhD,WAAO,sBAAO;AAAA,MACZ;AAAA,MACA,CAAC,UAAe;AACd,cAAM,OAAQ,OAAO,MAAM,QAAQ,CAAC;AACpC,cAAM,WAAW,KAAK,KAAK,CAAC,QAAQ,sBAAsB,KAAK,cAAc,CAAC;AAC9E,YAAI,CAAC,SAAU,QAAO,sBAAO;AAC7B,eAAO,MAAM,OAAO,OAAO,QAAQ,MAAM,SAAS;AAAA,MACpD;AAAA,MACA,EAAE,aAAa,YAAY;AAAA,IAC7B;AAAA,EACF,CAAC,EAAE,KAAK,sBAAO,MAAM;AAEvB,SAAO,EAAE,OAAO,mBAAmB;AACrC;AASO,IAAM,UAAU,CAAC,WAAgE,sBAAO;;;ADjVxF,IAAMC,OAAeA;AAErB,IAAMC,kBAAiB,CAAC,OAA2B,YAC/C,eAAe,OAAc,OAAO;AAExC,IAAMC,iBAAgB,CAAC,OAA2B,YAC9C,cAAc,OAAc,OAAO;AAEvC,IAAMC,WAAU,CAAC,OAA2B,YACxC,QAAQ,OAAc,OAAO;AAEjC,IAAMC,oBAAmB,CAAC,OAA2BC,YACjD,iBAAiB,OAAcA,OAAM;AAEzC,IAAMC,WAAU,CAAC,UAAwE,QAAQ,KAAY;","names":["Ref","cleanup","install","makeSourceWiring","scopedExecute","scopedValidate","import_effect","import_effect","import_effect","import_effect","import_effect","import_effect","module","Ref","module","Ref","scopedValidate","scopedExecute","cleanup","makeSourceWiring","module","install"]}

package/dist/TraitLifecycle.d.cts

@@ -0,0 +1,8 @@
+import './Bound-BPIfH9SS.cjs';
+import 'effect';
+export { C as CleanupRequest, E as ExecuteRequest, F as FieldRef, R as Ref, S as SourceWiring, V as ValidateMode, a as ValidateRequest, c as cleanup, i as install, m as makeSourceWiring, b as scopedExecute, s as scopedValidate } from './TraitLifecycle-CwV5WPFX.cjs';
+import './module-B8CBqIZ_.cjs';
+import 'mutative';
+import './Platform-C49Pv956.cjs';
+import './action-DiMDD_0v.cjs';
+import './ReadQuery-SinbStGF.cjs';

package/dist/TraitLifecycle.d.ts

@@ -0,0 +1,8 @@
+import './Bound-BN1DQ_lM.js';
+import 'effect';
+export { C as CleanupRequest, E as ExecuteRequest, F as FieldRef, R as Ref, S as SourceWiring, V as ValidateMode, a as ValidateRequest, c as cleanup, i as install, m as makeSourceWiring, b as scopedExecute, s as scopedValidate } from './TraitLifecycle-LdIWmKlg.js';
+import './module-k7m3txak.js';
+import 'mutative';
+import './Platform-C49Pv956.js';
+import './action-DiMDD_0v.js';
+import './ReadQuery-SinbStGF.js';

package/dist/TraitLifecycle.js

@@ -0,0 +1,24 @@
+import {
+  Ref,
+  cleanup,
+  install,
+  makeSourceWiring,
+  scopedExecute,
+  scopedValidate
+} from "./chunk-ANLBCBDC.js";
+import "./chunk-BABLDP24.js";
+import "./chunk-ZFLHVFUC.js";
+import "./chunk-3RMKLXHX.js";
+import "./chunk-3QMIVH35.js";
+import "./chunk-DMBALCE2.js";
+import "./chunk-JWOYLO27.js";
+import "./chunk-PZ5AY32C.js";
+export {
+  Ref,
+  cleanup,
+  install,
+  makeSourceWiring,
+  scopedExecute,
+  scopedValidate
+};
+//# sourceMappingURL=TraitLifecycle.js.map

package/dist/TraitLifecycle.js.map

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

package/dist/action-DiMDD_0v.d.cts

@@ -0,0 +1,35 @@
+import { Schema } from 'effect';
+
+type ActionArgs<P> = [P] extends [void] ? [] | [P] : [P];
+type ActionFn<P, Out> = (...args: ActionArgs<P>) => Out;
+type DevSource = {
+    readonly file: string;
+    readonly line: number;
+    readonly column: number;
+};
+type ActionValue<Tag extends string, Payload> = Payload extends void ? {
+    readonly _tag: Tag;
+    readonly payload?: Payload;
+} : {
+    readonly _tag: Tag;
+    readonly payload: Payload;
+};
+type ActionCreator<Tag extends string, Payload> = ActionFn<Payload, ActionValue<Tag, Payload>>;
+type ActionToken<Tag extends string, Payload, PayloadSchema extends Schema.Schema<any, any, any> = Schema.Schema<any, any, any>> = ActionCreator<Tag, Payload> & {
+    readonly _kind: 'ActionToken';
+    readonly tag: Tag;
+    readonly schema: PayloadSchema;
+    readonly source?: DevSource;
+};
+type AnyActionToken = ActionToken<string, any, Schema.Schema<any, any, any>>;
+declare const makeActions: <M extends Record<string, Schema.Schema<any, any, any>>>(schemas: M, options?: {
+    readonly source?: DevSource;
+    readonly sources?: Partial<Record<Extract<keyof M, string>, DevSource>>;
+}) => { readonly [K in keyof M]: ActionToken<Extract<K, string>, Schema.Schema.Type<M[K]>, M[K]>; };
+type ActionDef = Schema.Schema<any, any, any> | AnyActionToken;
+type ActionDefs = Record<string, ActionDef>;
+type NormalizedActionTokens<M extends ActionDefs> = {
+    readonly [K in keyof M]: M[K] extends Schema.Schema<any, any, any> ? ActionToken<Extract<K, string>, Schema.Schema.Type<M[K]>, M[K]> : M[K] extends ActionToken<any, infer P, infer S> ? ActionToken<Extract<K, string>, P, S> : never;
+};
+
+export { type ActionCreator as A, type NormalizedActionTokens as N, type ActionToken as a, type ActionDefs as b, type AnyActionToken as c, makeActions as m };

package/dist/action-DiMDD_0v.d.ts

@@ -0,0 +1,35 @@
+import { Schema } from 'effect';
+
+type ActionArgs<P> = [P] extends [void] ? [] | [P] : [P];
+type ActionFn<P, Out> = (...args: ActionArgs<P>) => Out;
+type DevSource = {
+    readonly file: string;
+    readonly line: number;
+    readonly column: number;
+};
+type ActionValue<Tag extends string, Payload> = Payload extends void ? {
+    readonly _tag: Tag;
+    readonly payload?: Payload;
+} : {
+    readonly _tag: Tag;
+    readonly payload: Payload;
+};
+type ActionCreator<Tag extends string, Payload> = ActionFn<Payload, ActionValue<Tag, Payload>>;
+type ActionToken<Tag extends string, Payload, PayloadSchema extends Schema.Schema<any, any, any> = Schema.Schema<any, any, any>> = ActionCreator<Tag, Payload> & {
+    readonly _kind: 'ActionToken';
+    readonly tag: Tag;
+    readonly schema: PayloadSchema;
+    readonly source?: DevSource;
+};
+type AnyActionToken = ActionToken<string, any, Schema.Schema<any, any, any>>;
+declare const makeActions: <M extends Record<string, Schema.Schema<any, any, any>>>(schemas: M, options?: {
+    readonly source?: DevSource;
+    readonly sources?: Partial<Record<Extract<keyof M, string>, DevSource>>;
+}) => { readonly [K in keyof M]: ActionToken<Extract<K, string>, Schema.Schema.Type<M[K]>, M[K]>; };
+type ActionDef = Schema.Schema<any, any, any> | AnyActionToken;
+type ActionDefs = Record<string, ActionDef>;
+type NormalizedActionTokens<M extends ActionDefs> = {
+    readonly [K in keyof M]: M[K] extends Schema.Schema<any, any, any> ? ActionToken<Extract<K, string>, Schema.Schema.Type<M[K]>, M[K]> : M[K] extends ActionToken<any, infer P, infer S> ? ActionToken<Extract<K, string>, P, S> : never;
+};
+
+export { type ActionCreator as A, type NormalizedActionTokens as N, type ActionToken as a, type ActionDefs as b, type AnyActionToken as c, makeActions as m };

package/dist/chunk-24VULZ7A.js

@@ -0,0 +1,76 @@
+import {
+  CutoverCoverageMatrix,
+  RuntimeServiceBuiltinsTag,
+  evaluateFullCutoverGate
+} from "./chunk-KP7MUZNX.js";
+import {
+  FullCutoverGateModeTag,
+  KernelImplementationRefTag,
+  RuntimeServicesRegistryTag,
+  RuntimeServicesRuntimeConfigTag,
+  defaultKernelImplementationRef,
+  getKernelImplementationRef,
+  getRuntimeServicesEvidence,
+  isKernelImplementationRef
+} from "./chunk-ZGDVUPTM.js";
+import {
+  __export
+} from "./chunk-PZ5AY32C.js";
+
+// src/Kernel.ts
+var Kernel_exports = {};
+__export(Kernel_exports, {
+  CutoverCoverageMatrix: () => CutoverCoverageMatrix2,
+  KernelContractMetaAllowlist: () => KernelContractMetaAllowlist,
+  RuntimeServiceBuiltinsTag: () => RuntimeServiceBuiltinsTag,
+  defaultKernelImplementationRef: () => defaultKernelImplementationRef2,
+  evaluateFullCutoverGate: () => evaluateFullCutoverGate2,
+  fullCutoverGateModeLayer: () => fullCutoverGateModeLayer,
+  getKernelImplementationRef: () => getKernelImplementationRef2,
+  getRuntimeServicesEvidence: () => getRuntimeServicesEvidence2,
+  isKernelFullyActivated: () => isKernelFullyActivated,
+  isKernelImplementationRef: () => isKernelImplementationRef2,
+  kernelLayer: () => kernelLayer,
+  runtimeDefaultServicesOverridesLayer: () => runtimeDefaultServicesOverridesLayer,
+  runtimeServicesRegistryLayer: () => runtimeServicesRegistryLayer
+});
+import { Layer } from "effect";
+var defaultKernelImplementationRef2 = defaultKernelImplementationRef;
+var isKernelImplementationRef2 = isKernelImplementationRef;
+var CutoverCoverageMatrix2 = CutoverCoverageMatrix;
+var evaluateFullCutoverGate2 = (args) => {
+  return evaluateFullCutoverGate({
+    mode: args.mode,
+    requestedKernelId: args.requestedKernelId,
+    runtimeServicesEvidence: args.runtimeServicesEvidence,
+    coverageMatrix: args.coverageMatrix,
+    diagnosticsLevel: args.diagnosticsLevel
+  });
+};
+var KernelContractMetaAllowlist = [];
+var kernelLayer = (ref) => Layer.succeed(KernelImplementationRefTag, ref);
+var runtimeDefaultServicesOverridesLayer = (services) => Layer.succeed(RuntimeServicesRuntimeConfigTag, {
+  services
+});
+var getRuntimeServicesEvidence2 = getRuntimeServicesEvidence;
+var getKernelImplementationRef2 = getKernelImplementationRef;
+var runtimeServicesRegistryLayer = (registry) => Layer.succeed(RuntimeServicesRegistryTag, registry);
+var fullCutoverGateModeLayer = (mode) => Layer.succeed(FullCutoverGateModeTag, mode);
+var isKernelFullyActivated = (evidence) => !evidence.overridesApplied.some((s) => s.includes("fallback="));
+
+export {
+  defaultKernelImplementationRef2 as defaultKernelImplementationRef,
+  isKernelImplementationRef2 as isKernelImplementationRef,
+  CutoverCoverageMatrix2 as CutoverCoverageMatrix,
+  evaluateFullCutoverGate2 as evaluateFullCutoverGate,
+  KernelContractMetaAllowlist,
+  kernelLayer,
+  runtimeDefaultServicesOverridesLayer,
+  getRuntimeServicesEvidence2 as getRuntimeServicesEvidence,
+  getKernelImplementationRef2 as getKernelImplementationRef,
+  runtimeServicesRegistryLayer,
+  fullCutoverGateModeLayer,
+  isKernelFullyActivated,
+  Kernel_exports
+};
+//# sourceMappingURL=chunk-24VULZ7A.js.map

package/dist/chunk-24VULZ7A.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/Kernel.ts"],"sourcesContent":["import { Layer } from 'effect'\nimport type { Layer as LayerType } from 'effect'\nimport type * as Debug from './Debug.js'\nimport * as FullCutoverGate from './internal/runtime/core/FullCutoverGate.js'\nimport * as RuntimeKernel from './internal/runtime/core/RuntimeKernel.js'\nimport * as KernelRef from './internal/runtime/core/KernelRef.js'\nexport type { RuntimeServiceBuiltins } from './internal/runtime/core/RuntimeServiceBuiltins.js'\nexport { RuntimeServiceBuiltinsTag } from './internal/runtime/core/RuntimeServiceBuiltins.js'\n\nexport type KernelId = KernelRef.KernelId\n\nexport interface KernelImplementationRef extends KernelRef.KernelImplementationRef {}\n\nexport const defaultKernelImplementationRef = KernelRef.defaultKernelImplementationRef\n\nexport const isKernelImplementationRef = KernelRef.isKernelImplementationRef\n\nexport type RuntimeServiceOverride = RuntimeKernel.RuntimeServiceOverride\nexport type RuntimeServicesOverrides = RuntimeKernel.RuntimeServicesOverrides\nexport type RuntimeServiceBinding = RuntimeKernel.RuntimeServiceBinding\nexport type RuntimeServicesEvidence = RuntimeKernel.RuntimeServicesEvidence\n\nexport type RuntimeServiceImpl<Service> = RuntimeKernel.RuntimeServiceImpl<Service>\nexport type RuntimeServicesRegistry = RuntimeKernel.RuntimeServicesRegistry\n\nexport type CutoverCoverageMatrix = FullCutoverGate.CutoverCoverageMatrix\n\nexport const CutoverCoverageMatrix = FullCutoverGate.CutoverCoverageMatrix\n\nexport type FullCutoverGateMode = FullCutoverGate.FullCutoverGateMode\n\nexport type FullCutoverGateAnchor = FullCutoverGate.FullCutoverGateAnchor\n\nexport type FullCutoverGateVerdict = FullCutoverGate.FullCutoverGateVerdict\n\nexport type FullCutoverGateResult = FullCutoverGate.FullCutoverGateResult\n\nexport const evaluateFullCutoverGate = (args: {\n  readonly mode: FullCutoverGateMode\n  readonly requestedKernelId: KernelId\n  readonly runtimeServicesEvidence: RuntimeServicesEvidence\n  readonly coverageMatrix?: CutoverCoverageMatrix\n  readonly diagnosticsLevel?: Debug.DiagnosticsLevel\n}): FullCutoverGateResult => {\n  return FullCutoverGate.evaluateFullCutoverGate({\n    mode: args.mode,\n    requestedKernelId: args.requestedKernelId,\n    runtimeServicesEvidence: args.runtimeServicesEvidence,\n    coverageMatrix: args.coverageMatrix,\n    diagnosticsLevel: args.diagnosticsLevel,\n  })\n}\n\nexport interface KernelContractMetaAllowlistItem {\n  readonly metaKey: string\n  readonly reason?: string\n}\n\nexport const KernelContractMetaAllowlist = [] as const satisfies ReadonlyArray<KernelContractMetaAllowlistItem>\n\n/**\n * kernelLayer:\n * - Declares the requested kernel family in the current runtime tree.\n * - This does not prove full activation; fallback/mix is decided by RuntimeServicesEvidence.\n */\nexport const kernelLayer = (ref: KernelImplementationRef): LayerType.Layer<any, never, never> =>\n  Layer.succeed(KernelRef.KernelImplementationRefTag, ref) as LayerType.Layer<any, never, never>\n\n/**\n * runtimeDefaultServicesOverridesLayer:\n * - Provides `runtime_default` scope `serviceId -> implId` overrides during ManagedRuntime assembly.\n * - Does not set servicesByModuleId by default (do not use moduleId as the default kernel selection granularity).\n */\nexport const runtimeDefaultServicesOverridesLayer = (\n  services: RuntimeServicesOverrides,\n): LayerType.Layer<any, never, never> =>\n  Layer.succeed(RuntimeKernel.RuntimeServicesRuntimeConfigTag, {\n    services,\n  }) as LayerType.Layer<any, never, never>\n\n/**\n * getRuntimeServicesEvidence:\n * - Reads RuntimeServicesEvidence installed on a ModuleRuntime (serviceId -> implId evidence).\n * - Public entry to avoid importing from `src/internal`.\n */\nexport const getRuntimeServicesEvidence = RuntimeKernel.getRuntimeServicesEvidence\n\n/**\n * getKernelImplementationRef:\n * - Reads KernelImplementationRef installed on a ModuleRuntime (requested kernel family).\n */\nexport const getKernelImplementationRef = KernelRef.getKernelImplementationRef\n\n/**\n * runtimeServicesRegistryLayer:\n * - Injects additional `serviceId -> impls` during runtime assembly (e.g. implementations provided by core-ng).\n */\nexport const runtimeServicesRegistryLayer = (registry: RuntimeServicesRegistry): LayerType.Layer<any, never, never> =>\n  Layer.succeed(RuntimeKernel.RuntimeServicesRegistryTag, registry) as LayerType.Layer<any, never, never>\n\n/**\n * fullCutoverGateModeLayer:\n * - Controls cutover gate evaluation mode during runtime assembly (trial/fullCutover).\n * - The default path (048) should explicitly set fullCutover; trial-run/comparison may override to trial.\n */\nexport const fullCutoverGateModeLayer = (mode: FullCutoverGateMode): LayerType.Layer<any, never, never> =>\n  Layer.succeed(RuntimeKernel.FullCutoverGateModeTag, mode) as LayerType.Layer<any, never, never>\n\n/**\n * isKernelFullyActivated:\n * - Minimal verdict for \"full cutover\": no fallbacks are allowed.\n */\nexport const isKernelFullyActivated = (evidence: RuntimeServicesEvidence): boolean =>\n  !evidence.overridesApplied.some((s) => s.includes('fallback='))\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA,+BAAAA;AAAA,EAAA;AAAA;AAAA,wCAAAC;AAAA,EAAA,+BAAAC;AAAA,EAAA;AAAA,oCAAAC;AAAA,EAAA,kCAAAC;AAAA,EAAA;AAAA,mCAAAC;AAAA,EAAA;AAAA;AAAA;AAAA;AAAA,SAAS,aAAa;AAaf,IAAMC,kCAA2C;AAEjD,IAAMC,6BAAsC;AAY5C,IAAMC,yBAAwC;AAU9C,IAAMC,2BAA0B,CAAC,SAMX;AAC3B,SAAuB,wBAAwB;AAAA,IAC7C,MAAM,KAAK;AAAA,IACX,mBAAmB,KAAK;AAAA,IACxB,yBAAyB,KAAK;AAAA,IAC9B,gBAAgB,KAAK;AAAA,IACrB,kBAAkB,KAAK;AAAA,EACzB,CAAC;AACH;AAOO,IAAM,8BAA8B,CAAC;AAOrC,IAAM,cAAc,CAAC,QAC1B,MAAM,QAAkB,4BAA4B,GAAG;AAOlD,IAAM,uCAAuC,CAClD,aAEA,MAAM,QAAsB,iCAAiC;AAAA,EAC3D;AACF,CAAC;AAOI,IAAMC,8BAA2C;AAMjD,IAAMC,8BAAuC;AAM7C,IAAM,+BAA+B,CAAC,aAC3C,MAAM,QAAsB,4BAA4B,QAAQ;AAO3D,IAAM,2BAA2B,CAAC,SACvC,MAAM,QAAsB,wBAAwB,IAAI;AAMnD,IAAM,yBAAyB,CAAC,aACrC,CAAC,SAAS,iBAAiB,KAAK,CAAC,MAAM,EAAE,SAAS,WAAW,CAAC;","names":["CutoverCoverageMatrix","defaultKernelImplementationRef","evaluateFullCutoverGate","getKernelImplementationRef","getRuntimeServicesEvidence","isKernelImplementationRef","defaultKernelImplementationRef","isKernelImplementationRef","CutoverCoverageMatrix","evaluateFullCutoverGate","getRuntimeServicesEvidence","getKernelImplementationRef"]}

package/dist/chunk-3IYZ5IGG.js

@@ -0,0 +1,17 @@
+import {
+  makeActions
+} from "./chunk-YS3AZQ2G.js";
+import {
+  __export
+} from "./chunk-PZ5AY32C.js";
+
+// src/Action.ts
+var Action_exports = {};
+__export(Action_exports, {
+  makeActions: () => makeActions
+});
+
+export {
+  Action_exports
+};
+//# sourceMappingURL=chunk-3IYZ5IGG.js.map

package/dist/chunk-3IYZ5IGG.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/Action.ts"],"sourcesContent":["export type { ActionCreator, ActionToken } from './internal/action.js'\nexport { makeActions } from './internal/action.js'\n\n"],"mappings":";;;;;;;;AAAA;AAAA;AAAA;AAAA;","names":[]}