@logixjs/core 0.0.1

package/dist/Kernel.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/Kernel.ts","../src/internal/runtime/core/FullCutoverGate.ts","../src/internal/runtime/core/RuntimeKernel.ts","../src/internal/runtime/core/env.ts","../src/internal/runtime/core/KernelRef.ts","../src/internal/runtime/core/RuntimeServiceBuiltins.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","import type { KernelId } from './KernelRef.js'\nimport type { RuntimeServiceBinding, RuntimeServicesEvidence } from './RuntimeKernel.js'\n\nexport interface CutoverCoverageMatrix {\n  readonly version: 'v1'\n  readonly requiredServiceIds: ReadonlyArray<string>\n}\n\nexport const CutoverCoverageMatrix = {\n  version: 'v1',\n  requiredServiceIds: ['txnQueue', 'operationRunner', 'transaction', 'dispatch'],\n} as const satisfies CutoverCoverageMatrix\n\nexport type FullCutoverGateMode = 'trial' | 'fullCutover'\n\nexport interface FullCutoverGateAnchor {\n  readonly moduleId: string\n  readonly instanceId: string\n  /**\n   * Convention: txnSeq=0 denotes assembly (a wiring-time failure anchor).\n   * Full Cutover Gate is evaluated during assembly by default, so it does not depend on a real txn.\n   */\n  readonly txnSeq: number\n}\n\nexport type FullCutoverGateVerdict = 'PASS' | 'FAIL'\n\nexport interface FullCutoverGateResult {\n  readonly version: 'v1'\n  readonly mode: FullCutoverGateMode\n  readonly requestedKernelId: KernelId\n  readonly verdict: FullCutoverGateVerdict\n  /**\n   * fullyActivated: a stricter \"full cutover\" truth value.\n   * - Requires every serviceId in the coverage matrix to be bound to the expected implId.\n   * - Requires no fallback (any `fallback=` in overridesApplied means not fully activated).\n   *\n   * Note: in trial mode the verdict may be PASS while fullyActivated can still be false.\n   */\n  readonly fullyActivated: boolean\n  readonly missingServiceIds: ReadonlyArray<string>\n  readonly fallbackServiceIds: ReadonlyArray<string>\n  readonly anchor: FullCutoverGateAnchor\n  /**\n   * When diagnostics=off, it must stay slim (avoid permanent overhead).\n   * In light/full, additional explainable info is allowed (still must be serializable).\n   */\n  readonly details?: {\n    readonly expectedImplId: string\n    readonly bindings: ReadonlyArray<RuntimeServiceBinding>\n    readonly overridesApplied: ReadonlyArray<string>\n  }\n}\n\nconst expectedImplIdForKernel = (kernelId: KernelId): string => (kernelId === 'core' ? 'builtin' : kernelId)\n\nconst parseFallbackServiceIds = (overridesApplied: ReadonlyArray<string>): ReadonlyArray<string> => {\n  const out = new Set<string>()\n  for (const entry of overridesApplied) {\n    if (!entry.includes('(fallback=')) continue\n    const colon = entry.indexOf(':')\n    if (colon < 0) continue\n    const eq = entry.indexOf('=', colon + 1)\n    if (eq < 0) continue\n    const serviceId = entry.slice(colon + 1, eq)\n    if (serviceId.length > 0) out.add(serviceId)\n  }\n  return Array.from(out).sort((a, b) => a.localeCompare(b))\n}\n\nconst collectMissingServiceIds = (args: {\n  readonly expectedImplId: string\n  readonly requiredServiceIds: ReadonlyArray<string>\n  readonly bindings: ReadonlyArray<RuntimeServiceBinding>\n}): ReadonlyArray<string> => {\n  const bindingByServiceId = new Map<string, RuntimeServiceBinding>()\n  for (const b of args.bindings) {\n    bindingByServiceId.set(b.serviceId, b)\n  }\n\n  const missing: string[] = []\n  for (const serviceId of args.requiredServiceIds) {\n    const binding = bindingByServiceId.get(serviceId)\n    const implId = binding?.implId\n    if (!implId || implId !== args.expectedImplId) {\n      missing.push(serviceId)\n    }\n  }\n\n  return missing\n}\n\nexport const evaluateFullCutoverGate = (args: {\n  readonly mode: FullCutoverGateMode\n  readonly requestedKernelId: KernelId\n  readonly runtimeServicesEvidence: RuntimeServicesEvidence\n  readonly coverageMatrix?: CutoverCoverageMatrix\n  readonly diagnosticsLevel?: 'off' | 'light' | 'full' | 'sampled'\n}): FullCutoverGateResult => {\n  const expectedImplId = expectedImplIdForKernel(args.requestedKernelId)\n  const matrix = args.coverageMatrix ?? CutoverCoverageMatrix\n\n  const fallbackServiceIds = parseFallbackServiceIds(args.runtimeServicesEvidence.overridesApplied)\n  const missingServiceIds = collectMissingServiceIds({\n    expectedImplId,\n    requiredServiceIds: matrix.requiredServiceIds,\n    bindings: args.runtimeServicesEvidence.bindings,\n  })\n\n  const fullyActivated = missingServiceIds.length === 0 && fallbackServiceIds.length === 0\n\n  const verdict: FullCutoverGateVerdict = args.mode === 'fullCutover' ? (fullyActivated ? 'PASS' : 'FAIL') : 'PASS'\n\n  const moduleIdRaw = args.runtimeServicesEvidence.moduleId\n  const moduleId = typeof moduleIdRaw === 'string' && moduleIdRaw.length > 0 ? moduleIdRaw : 'unknown'\n\n  const anchor: FullCutoverGateAnchor = {\n    moduleId,\n    instanceId: args.runtimeServicesEvidence.instanceId,\n    txnSeq: 0,\n  }\n\n  const level = args.diagnosticsLevel ?? 'off'\n\n  return {\n    version: 'v1',\n    mode: args.mode,\n    requestedKernelId: args.requestedKernelId,\n    verdict,\n    fullyActivated,\n    missingServiceIds,\n    fallbackServiceIds,\n    anchor,\n    ...(level === 'off'\n      ? {}\n      : {\n          details: {\n            expectedImplId,\n            bindings: args.runtimeServicesEvidence.bindings,\n            overridesApplied: args.runtimeServicesEvidence.overridesApplied,\n          },\n        }),\n  }\n}\n","import { Context, Effect, Option } from 'effect'\nimport { isDevEnv } from './env.js'\n\nexport type OverrideScope = 'builtin' | 'runtime_default' | 'runtime_module' | 'provider' | 'instance'\n\nexport type RuntimeServiceOverride = {\n  readonly implId?: string\n  readonly notes?: string\n}\n\n/**\n * RuntimeServicesOverrides: a serializable override for runtime service implementation selection.\n *\n * - The key is a stable serviceId.\n * - The value may only contain serializable fields (no functions/closures) so evidence can be produced and explained.\n */\nexport type RuntimeServicesOverrides = Readonly<Record<string, RuntimeServiceOverride>>\n\nexport interface RuntimeServicesRuntimeConfig {\n  /** Runtime-level default overrides (runtime_default). */\n  readonly services?: RuntimeServicesOverrides\n  /** Per-module delta overrides by moduleId (runtime_module). */\n  readonly servicesByModuleId?: Readonly<Record<string, RuntimeServicesOverrides>>\n}\n\nclass RuntimeServicesRuntimeConfigTagImpl extends Context.Tag('@logixjs/core/RuntimeServicesRuntimeConfig')<\n  RuntimeServicesRuntimeConfigTagImpl,\n  RuntimeServicesRuntimeConfig\n>() {}\n\nexport const RuntimeServicesRuntimeConfigTag = RuntimeServicesRuntimeConfigTagImpl\n\nexport interface RuntimeServicesProviderOverrides {\n  /** Provider-scoped default overrides (provider). */\n  readonly services?: RuntimeServicesOverrides\n  /** Provider-scoped per-module delta overrides by moduleId (provider). */\n  readonly servicesByModuleId?: Readonly<Record<string, RuntimeServicesOverrides>>\n}\n\nclass RuntimeServicesProviderOverridesTagImpl extends Context.Tag('@logixjs/core/RuntimeServicesProviderOverrides')<\n  RuntimeServicesProviderOverridesTagImpl,\n  RuntimeServicesProviderOverrides\n>() {}\n\nexport const RuntimeServicesProviderOverridesTag = RuntimeServicesProviderOverridesTagImpl\n\nclass RuntimeServicesInstanceOverridesTagImpl extends Context.Tag('@logixjs/core/RuntimeServicesInstanceOverrides')<\n  RuntimeServicesInstanceOverridesTagImpl,\n  RuntimeServicesOverrides\n>() {}\n\nexport const RuntimeServicesInstanceOverridesTag = RuntimeServicesInstanceOverridesTagImpl\n\n/**\n * FullCutoverGateMode: controls whether fallbacks are allowed during assembly.\n *\n * - trial: allows fallbacks (for trial-run / comparison / diagnostics).\n * - fullCutover: forbids fallbacks (any fallback or missing binding fails).\n *\n * Default: trial. If you need a strict gate, set it to fullCutover explicitly in the public Runtime defaults.\n */\nexport type FullCutoverGateMode = 'trial' | 'fullCutover'\n\nclass FullCutoverGateModeTagImpl extends Context.Tag('@logixjs/core/FullCutoverGateMode')<\n  FullCutoverGateModeTagImpl,\n  FullCutoverGateMode\n>() {}\n\nexport const FullCutoverGateModeTag = FullCutoverGateModeTagImpl\n\nexport interface RuntimeServiceBinding {\n  readonly serviceId: string\n  readonly implId?: string\n  readonly implVersion?: string\n  readonly scope: OverrideScope\n  readonly overridden: boolean\n  readonly notes?: string\n}\n\nexport interface RuntimeServicesEvidence {\n  readonly moduleId?: string\n  readonly instanceId: string\n  readonly scope: OverrideScope\n  readonly bindings: ReadonlyArray<RuntimeServiceBinding>\n  readonly overridesApplied: ReadonlyArray<string>\n}\n\nconst ORDERED_SCOPES: ReadonlyArray<OverrideScope> = [\n  'builtin',\n  'runtime_default',\n  'runtime_module',\n  'provider',\n  'instance',\n]\n\nconst maxScope = (a: OverrideScope, b: OverrideScope): OverrideScope => {\n  const ai = ORDERED_SCOPES.indexOf(a)\n  const bi = ORDERED_SCOPES.indexOf(b)\n  return (ai >= bi ? a : b) as OverrideScope\n}\n\nconst isPlainRecord = (value: unknown): value is Record<string, unknown> =>\n  typeof value === 'object' && value !== null && !Array.isArray(value)\n\nconst normalizeOverride = (value: unknown): RuntimeServiceOverride | undefined => {\n  if (!isPlainRecord(value)) return undefined\n\n  const implIdRaw = value.implId\n  const notesRaw = value.notes\n\n  return {\n    implId: typeof implIdRaw === 'string' && implIdRaw.length > 0 ? implIdRaw : undefined,\n    notes: typeof notesRaw === 'string' && notesRaw.length > 0 ? notesRaw : undefined,\n  }\n}\n\nexport const resolveRuntimeServicesOverrides = (args: {\n  readonly moduleId: string | undefined\n}): Effect.Effect<\n  {\n    readonly runtimeDefault?: RuntimeServicesOverrides\n    readonly runtimeModule?: RuntimeServicesOverrides\n    readonly provider?: RuntimeServicesOverrides\n    readonly providerModule?: RuntimeServicesOverrides\n    readonly instance?: RuntimeServicesOverrides\n  },\n  never,\n  any\n> =>\n  Effect.gen(function* () {\n    const runtimeConfigOpt = yield* Effect.serviceOption(RuntimeServicesRuntimeConfigTag)\n    const providerOverridesOpt = yield* Effect.serviceOption(RuntimeServicesProviderOverridesTag)\n    const instanceOverridesOpt = yield* Effect.serviceOption(RuntimeServicesInstanceOverridesTag)\n\n    const runtimeConfig = Option.isSome(runtimeConfigOpt) ? runtimeConfigOpt.value : undefined\n    const providerOverrides = Option.isSome(providerOverridesOpt) ? providerOverridesOpt.value : undefined\n    const instanceOverrides = Option.isSome(instanceOverridesOpt) ? instanceOverridesOpt.value : undefined\n\n    const moduleId = args.moduleId\n\n    const runtimeModule =\n      moduleId && runtimeConfig?.servicesByModuleId ? runtimeConfig.servicesByModuleId[moduleId] : undefined\n\n    const providerModule =\n      moduleId && providerOverrides?.servicesByModuleId ? providerOverrides.servicesByModuleId[moduleId] : undefined\n\n    return {\n      runtimeDefault: runtimeConfig?.services,\n      runtimeModule,\n      provider: providerOverrides?.services,\n      providerModule,\n      instance: instanceOverrides,\n    }\n  })\n\nexport interface RuntimeServiceImpl<Service> {\n  readonly implId: string\n  readonly implVersion: string\n  readonly make: Effect.Effect<Service, never, any>\n  readonly notes?: string\n}\n\n/**\n * RuntimeServicesRegistry：\n * - Used to inject additional serviceId → impls (e.g. implementations provided by core-ng).\n * - A non-serializable contract used only during assembly; selection evidence is still carried by\n *   RuntimeServicesOverrides + RuntimeServicesEvidence.\n */\nexport interface RuntimeServicesRegistry {\n  readonly implsByServiceId: Readonly<Record<string, ReadonlyArray<RuntimeServiceImpl<any>>>>\n}\n\nclass RuntimeServicesRegistryTagImpl extends Context.Tag('@logixjs/core/RuntimeServicesRegistry')<\n  RuntimeServicesRegistryTagImpl,\n  RuntimeServicesRegistry\n>() {}\n\nexport const RuntimeServicesRegistryTag = RuntimeServicesRegistryTagImpl\n\nexport interface RuntimeServiceSelection<Service> {\n  readonly binding: RuntimeServiceBinding\n  readonly impl: RuntimeServiceImpl<Service>\n  readonly overridesApplied: ReadonlyArray<string>\n}\n\nexport const selectRuntimeService = <Service>(\n  serviceId: string,\n  impls: ReadonlyArray<RuntimeServiceImpl<Service>>,\n  overrides: {\n    readonly runtimeDefault?: RuntimeServicesOverrides\n    readonly runtimeModule?: RuntimeServicesOverrides\n    readonly provider?: RuntimeServicesOverrides\n    readonly providerModule?: RuntimeServicesOverrides\n    readonly instance?: RuntimeServicesOverrides\n  },\n): RuntimeServiceSelection<Service> => {\n  const builtin = impls[0]\n  if (!builtin) {\n    throw new Error(`[Logix] RuntimeKernel registry missing builtin impl for: ${serviceId}`)\n  }\n\n  let desired: { readonly scope: OverrideScope; readonly override: RuntimeServiceOverride } | undefined\n  const consider = (scope: OverrideScope, patch: RuntimeServicesOverrides | undefined): void => {\n    const next = patch ? normalizeOverride(patch[serviceId]) : undefined\n    if (!next || !next.implId) return\n    desired = { scope, override: next }\n  }\n\n  // priority: builtin < runtime_default < runtime_module < provider < instance\n  consider('runtime_default', overrides.runtimeDefault)\n  consider('runtime_module', overrides.runtimeModule)\n  consider('provider', overrides.provider)\n  consider('provider', overrides.providerModule)\n  consider('instance', overrides.instance)\n\n  if (!desired) {\n    return {\n      impl: builtin,\n      binding: {\n        serviceId,\n        implId: builtin.implId,\n        implVersion: builtin.implVersion,\n        scope: 'builtin',\n        overridden: false,\n        notes: builtin.notes,\n      },\n      overridesApplied: [],\n    }\n  }\n\n  const desiredImplId = desired.override.implId!\n  const selected = impls.find((i) => i.implId === desiredImplId)\n  const impl = selected ?? builtin\n\n  const didFallback = selected == null\n  const fallbackNote = didFallback\n    ? `Unknown implId \"${desiredImplId}\", falling back to builtin \"${builtin.implId}\"`\n    : undefined\n\n  const notes = [desired.override.notes, impl.notes, fallbackNote]\n    .filter((s): s is string => typeof s === 'string' && s.length > 0)\n    .join('; ')\n\n  return {\n    impl,\n    binding: {\n      serviceId,\n      implId: impl.implId,\n      implVersion: impl.implVersion,\n      scope: desired.scope,\n      overridden: true,\n      notes: notes.length > 0 ? notes : undefined,\n    },\n    overridesApplied: [\n      didFallback\n        ? `${desired.scope}:${serviceId}=${desiredImplId} (fallback=${builtin.implId})`\n        : `${desired.scope}:${serviceId}=${desiredImplId}`,\n    ],\n  }\n}\n\nexport const makeRuntimeServicesEvidence = (args: {\n  readonly moduleId: string | undefined\n  readonly instanceId: string\n  readonly bindings: ReadonlyArray<RuntimeServiceBinding>\n  readonly overridesApplied: ReadonlyArray<string>\n}): RuntimeServicesEvidence => {\n  let scope: OverrideScope = 'builtin'\n  for (const b of args.bindings) {\n    scope = maxScope(scope, b.scope)\n  }\n\n  return {\n    moduleId: args.moduleId,\n    instanceId: args.instanceId,\n    scope,\n    bindings: args.bindings,\n    overridesApplied: args.overridesApplied,\n  }\n}\n\nconst RUNTIME_SERVICES_EVIDENCE = Symbol.for('@logixjs/core/runtimeServicesEvidence')\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\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 setRuntimeServicesEvidence = (runtime: object, evidence: RuntimeServicesEvidence): void => {\n  defineHidden(runtime, RUNTIME_SERVICES_EVIDENCE, evidence)\n}\n\nexport const getRuntimeServicesEvidence = (runtime: object): RuntimeServicesEvidence => {\n  const scope = runtime as { readonly moduleId?: unknown; readonly instanceId?: unknown }\n  const evidence = (runtime as any)[RUNTIME_SERVICES_EVIDENCE] as RuntimeServicesEvidence | undefined\n  if (!evidence) {\n    const msg = isDevEnv()\n      ? [\n          '[MissingRuntimeServicesEvidence] Runtime services evidence not installed on ModuleRuntime instance.',\n          `scope: ${formatScope(scope.moduleId, scope.instanceId)}`,\n          'fix:',\n          '- Ensure ModuleRuntime.make assembles RuntimeKernel and attaches evidence (020 US2).',\n          '- If you created a mock runtime for tests, attach evidence or avoid calling evidence-only APIs.',\n        ].join('\\n')\n      : 'Runtime services evidence 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 !== evidence.instanceId\n  ) {\n    throw new Error(\n      isDevEnv()\n        ? [\n            '[InconsistentRuntimeServicesEvidence] Runtime services evidence instanceId mismatch.',\n            `runtime: ${formatScope(scope.moduleId, runtimeInstanceId)}`,\n            `evidence: ${formatScope(evidence.moduleId, evidence.instanceId)}`,\n          ].join('\\n')\n        : 'Runtime services evidence mismatch',\n    )\n  }\n\n  return evidence\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, Option } from 'effect'\nimport { isDevEnv } from './env.js'\n\n/**\n * Stable identifier for a kernel variant (requested kernel family).\n *\n * - Recommended: `[a-z0-9-]+` (lower-kebab).\n * - Recommended reserved names: `core` (builtin semantics), `core-ng` (history/comparison).\n */\nexport type KernelId = 'core' | 'core-ng' | (string & {})\n\nconst isKernelId = (value: unknown): value is KernelId =>\n  typeof value === 'string' && value.length > 0 && /^[a-z0-9-]+$/.test(value)\n\nexport interface KernelImplementationRef {\n  /**\n   * Requested kernel family id (not a version number).\n   * Actual activation / fallback must be interpreted via RuntimeServicesEvidence.\n   */\n  readonly kernelId: KernelId\n  /** The npm package that provides the kernel implementation. */\n  readonly packageName: string\n  /** Optional semver for explainability (not used as a semantic anchor). */\n  readonly packageVersion?: string\n  /** Optional build hash/id for evidence diff explainability. */\n  readonly buildId?: string\n  /** Explainability-only labels; must not become semantic switches. */\n  readonly capabilities?: ReadonlyArray<string>\n}\n\nexport const defaultKernelImplementationRef = {\n  kernelId: 'core',\n  packageName: '@logixjs/core',\n} as const satisfies KernelImplementationRef\n\nexport const isKernelImplementationRef = (value: unknown): value is KernelImplementationRef => {\n  if (typeof value !== 'object' || value === null || Array.isArray(value)) return false\n\n  const keys = Object.keys(value)\n  for (const k of keys) {\n    if (k !== 'kernelId' && k !== 'packageName' && k !== 'packageVersion' && k !== 'buildId' && k !== 'capabilities') {\n      return false\n    }\n  }\n\n  const v: any = value\n  if (!isKernelId(v.kernelId)) return false\n  if (typeof v.packageName !== 'string' || v.packageName.length === 0) return false\n\n  if (v.packageVersion !== undefined && (typeof v.packageVersion !== 'string' || v.packageVersion.length === 0)) {\n    return false\n  }\n  if (v.buildId !== undefined && (typeof v.buildId !== 'string' || v.buildId.length === 0)) {\n    return false\n  }\n  if (v.capabilities !== undefined) {\n    if (!Array.isArray(v.capabilities)) return false\n    if (!v.capabilities.every((c: unknown) => typeof c === 'string')) return false\n  }\n\n  return true\n}\n\nexport const normalizeKernelImplementationRef = (\n  value: unknown,\n  fallback: KernelImplementationRef = defaultKernelImplementationRef,\n): KernelImplementationRef => {\n  if (typeof value !== 'object' || value === null || Array.isArray(value)) return fallback\n\n  const v: any = value\n  if (!isKernelId(v.kernelId)) return fallback\n  if (typeof v.packageName !== 'string' || v.packageName.length === 0) return fallback\n\n  return {\n    kernelId: v.kernelId,\n    packageName: v.packageName,\n    ...(typeof v.packageVersion === 'string' && v.packageVersion.length > 0\n      ? { packageVersion: v.packageVersion }\n      : {}),\n    ...(typeof v.buildId === 'string' && v.buildId.length > 0 ? { buildId: v.buildId } : {}),\n    ...(Array.isArray(v.capabilities) && v.capabilities.every((c: unknown) => typeof c === 'string')\n      ? { capabilities: v.capabilities as ReadonlyArray<string> }\n      : {}),\n  }\n}\n\nclass KernelImplementationRefTagImpl extends Context.Tag('@logixjs/core/KernelImplementationRef')<\n  KernelImplementationRefTagImpl,\n  KernelImplementationRef\n>() {}\n\nexport const KernelImplementationRefTag = KernelImplementationRefTagImpl\n\nexport const resolveKernelImplementationRef = (): Effect.Effect<KernelImplementationRef, never, any> =>\n  Effect.gen(function* () {\n    const opt = yield* Effect.serviceOption(KernelImplementationRefTag)\n    return normalizeKernelImplementationRef(Option.isSome(opt) ? opt.value : undefined)\n  })\n\nconst KERNEL_IMPLEMENTATION_REF = Symbol.for('@logixjs/core/kernelImplementationRef')\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\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 setKernelImplementationRef = (runtime: object, ref: KernelImplementationRef): void => {\n  defineHidden(runtime, KERNEL_IMPLEMENTATION_REF, ref)\n}\n\nexport const getKernelImplementationRef = (runtime: object): KernelImplementationRef => {\n  const scope = runtime as { readonly moduleId?: unknown; readonly instanceId?: unknown }\n  const ref = (runtime as any)[KERNEL_IMPLEMENTATION_REF] as KernelImplementationRef | undefined\n  if (!ref) {\n    const msg = isDevEnv()\n      ? [\n          '[MissingKernelImplementationRef] KernelImplementationRef not installed on ModuleRuntime instance.',\n          `scope: ${formatScope(scope.moduleId, scope.instanceId)}`,\n          'fix:',\n          '- Ensure ModuleRuntime.make installs KernelImplementationRef (045 kernel contract).',\n          '- If you created a mock runtime for tests, attach KernelImplementationRef or avoid calling kernel-only APIs.',\n        ].join('\\n')\n      : 'KernelImplementationRef not installed'\n    throw new Error(msg)\n  }\n  return ref\n}\n","import { Context, Effect } from 'effect'\n\nexport interface RuntimeServiceBuiltins {\n  /**\n   * Returns the make Effect of a builtin implementation (provided by ModuleRuntime during assembly, avoiding external code\n   * capturing internal closures/state).\n   * - For kernel implementors only (e.g. core-ng) to implement behavior-equivalent replacements or thin wrappers.\n   * - Not an app-facing contract; must not be depended on from business Flow/Logic.\n   */\n  readonly getBuiltinMake: (serviceId: string) => Effect.Effect<unknown, never, any>\n}\n\nexport class RuntimeServiceBuiltinsTag extends Context.Tag('@logixjs/core/RuntimeServiceBuiltins')<\n  RuntimeServiceBuiltinsTag,\n  RuntimeServiceBuiltins\n>() {}\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;AAAA,IAAAC,iBAAsB;;;ACQf,IAAM,wBAAwB;AAAA,EACnC,SAAS;AAAA,EACT,oBAAoB,CAAC,YAAY,mBAAmB,eAAe,UAAU;AAC/E;AA2CA,IAAM,0BAA0B,CAAC,aAAgC,aAAa,SAAS,YAAY;AAEnG,IAAM,0BAA0B,CAAC,qBAAmE;AAClG,QAAM,MAAM,oBAAI,IAAY;AAC5B,aAAW,SAAS,kBAAkB;AACpC,QAAI,CAAC,MAAM,SAAS,YAAY,EAAG;AACnC,UAAM,QAAQ,MAAM,QAAQ,GAAG;AAC/B,QAAI,QAAQ,EAAG;AACf,UAAM,KAAK,MAAM,QAAQ,KAAK,QAAQ,CAAC;AACvC,QAAI,KAAK,EAAG;AACZ,UAAM,YAAY,MAAM,MAAM,QAAQ,GAAG,EAAE;AAC3C,QAAI,UAAU,SAAS,EAAG,KAAI,IAAI,SAAS;AAAA,EAC7C;AACA,SAAO,MAAM,KAAK,GAAG,EAAE,KAAK,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,CAAC;AAC1D;AAEA,IAAM,2BAA2B,CAAC,SAIL;AAC3B,QAAM,qBAAqB,oBAAI,IAAmC;AAClE,aAAW,KAAK,KAAK,UAAU;AAC7B,uBAAmB,IAAI,EAAE,WAAW,CAAC;AAAA,EACvC;AAEA,QAAM,UAAoB,CAAC;AAC3B,aAAW,aAAa,KAAK,oBAAoB;AAC/C,UAAM,UAAU,mBAAmB,IAAI,SAAS;AAChD,UAAM,SAAS,SAAS;AACxB,QAAI,CAAC,UAAU,WAAW,KAAK,gBAAgB;AAC7C,cAAQ,KAAK,SAAS;AAAA,IACxB;AAAA,EACF;AAEA,SAAO;AACT;AAEO,IAAM,0BAA0B,CAAC,SAMX;AAC3B,QAAM,iBAAiB,wBAAwB,KAAK,iBAAiB;AACrE,QAAM,SAAS,KAAK,kBAAkB;AAEtC,QAAM,qBAAqB,wBAAwB,KAAK,wBAAwB,gBAAgB;AAChG,QAAM,oBAAoB,yBAAyB;AAAA,IACjD;AAAA,IACA,oBAAoB,OAAO;AAAA,IAC3B,UAAU,KAAK,wBAAwB;AAAA,EACzC,CAAC;AAED,QAAM,iBAAiB,kBAAkB,WAAW,KAAK,mBAAmB,WAAW;AAEvF,QAAM,UAAkC,KAAK,SAAS,gBAAiB,iBAAiB,SAAS,SAAU;AAE3G,QAAM,cAAc,KAAK,wBAAwB;AACjD,QAAM,WAAW,OAAO,gBAAgB,YAAY,YAAY,SAAS,IAAI,cAAc;AAE3F,QAAM,SAAgC;AAAA,IACpC;AAAA,IACA,YAAY,KAAK,wBAAwB;AAAA,IACzC,QAAQ;AAAA,EACV;AAEA,QAAM,QAAQ,KAAK,oBAAoB;AAEvC,SAAO;AAAA,IACL,SAAS;AAAA,IACT,MAAM,KAAK;AAAA,IACX,mBAAmB,KAAK;AAAA,IACxB;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,GAAI,UAAU,QACV,CAAC,IACD;AAAA,MACE,SAAS;AAAA,QACP;AAAA,QACA,UAAU,KAAK,wBAAwB;AAAA,QACvC,kBAAkB,KAAK,wBAAwB;AAAA,MACjD;AAAA,IACF;AAAA,EACN;AACF;;;AC/IA,IAAAC,iBAAwC;;;ACAxC,oBAA+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,sBAAQ,IAAI,6CAA6C,EAGnG,EAAE;AAAC;AAML,IAAM,mCAAN,cAA+C,sBAAQ,IAAI,gDAAgD,EAGzG,EAAE;AAAC;AAUL,IAAM,0BAAN,cAAsC,sBAAQ,IAAI,gCAAgC,EAGhF,EAAE;AAAC;AAkFL,IAAM,mCAAN,cAA+C,sBAAQ,IAAI,yCAAyC,EAGlG,EAAE;AAAC;AA6BL,IAAM,2BAAN,cAAuC,sBAAQ,IAAI,iCAAiC,EAGlF,EAAE;AAAC;AAaL,IAAM,oCAAN,cAAgD,sBAAQ,IAAI,0CAA0C,EAGpG,EAAE;AAAC;;;ADpNL,IAAM,sCAAN,cAAkD,uBAAQ,IAAI,4CAA4C,EAGxG,EAAE;AAAC;AAEE,IAAM,kCAAkC;AAS/C,IAAM,0CAAN,cAAsD,uBAAQ,IAAI,gDAAgD,EAGhH,EAAE;AAAC;AAIL,IAAM,0CAAN,cAAsD,uBAAQ,IAAI,gDAAgD,EAGhH,EAAE;AAAC;AAcL,IAAM,6BAAN,cAAyC,uBAAQ,IAAI,mCAAmC,EAGtF,EAAE;AAAC;AAEE,IAAM,yBAAyB;AAwGtC,IAAM,iCAAN,cAA6C,uBAAQ,IAAI,uCAAuC,EAG9F,EAAE;AAAC;AAEE,IAAM,6BAA6B;AAwG1C,IAAM,4BAA4B,uBAAO,IAAI,uCAAuC;AAWpF,IAAM,cAAc,CAAC,UAAmB,eAAgC;AACtE,QAAM,IAAI,OAAO,aAAa,YAAY,SAAS,SAAS,IAAI,WAAW;AAC3E,QAAM,IAAI,OAAO,eAAe,YAAY,WAAW,SAAS,IAAI,aAAa;AACjF,SAAO,YAAY,CAAC,gBAAgB,CAAC;AACvC;AAMO,IAAM,6BAA6B,CAAC,YAA6C;AACtF,QAAM,QAAQ;AACd,QAAM,WAAY,QAAgB,yBAAyB;AAC3D,MAAI,CAAC,UAAU;AACb,UAAM,MAAM,SAAS,IACjB;AAAA,MACE;AAAA,MACA,UAAU,YAAY,MAAM,UAAU,MAAM,UAAU,CAAC;AAAA,MACvD;AAAA,MACA;AAAA,MACA;AAAA,IACF,EAAE,KAAK,IAAI,IACX;AACJ,UAAM,IAAI,MAAM,GAAG;AAAA,EACrB;AAEA,QAAM,oBAAoB,MAAM;AAChC,MACE,OAAO,sBAAsB,YAC7B,kBAAkB,SAAS,KAC3B,sBAAsB,SAAS,YAC/B;AACA,UAAM,IAAI;AAAA,MACR,SAAS,IACL;AAAA,QACE;AAAA,QACA,YAAY,YAAY,MAAM,UAAU,iBAAiB,CAAC;AAAA,QAC1D,aAAa,YAAY,SAAS,UAAU,SAAS,UAAU,CAAC;AAAA,MAClE,EAAE,KAAK,IAAI,IACX;AAAA,IACN;AAAA,EACF;AAEA,SAAO;AACT;;;AEhVA,IAAAC,iBAAwC;AAWxC,IAAM,aAAa,CAAC,UAClB,OAAO,UAAU,YAAY,MAAM,SAAS,KAAK,eAAe,KAAK,KAAK;AAkBrE,IAAM,iCAAiC;AAAA,EAC5C,UAAU;AAAA,EACV,aAAa;AACf;AAEO,IAAM,4BAA4B,CAAC,UAAqD;AAC7F,MAAI,OAAO,UAAU,YAAY,UAAU,QAAQ,MAAM,QAAQ,KAAK,EAAG,QAAO;AAEhF,QAAM,OAAO,OAAO,KAAK,KAAK;AAC9B,aAAW,KAAK,MAAM;AACpB,QAAI,MAAM,cAAc,MAAM,iBAAiB,MAAM,oBAAoB,MAAM,aAAa,MAAM,gBAAgB;AAChH,aAAO;AAAA,IACT;AAAA,EACF;AAEA,QAAM,IAAS;AACf,MAAI,CAAC,WAAW,EAAE,QAAQ,EAAG,QAAO;AACpC,MAAI,OAAO,EAAE,gBAAgB,YAAY,EAAE,YAAY,WAAW,EAAG,QAAO;AAE5E,MAAI,EAAE,mBAAmB,WAAc,OAAO,EAAE,mBAAmB,YAAY,EAAE,eAAe,WAAW,IAAI;AAC7G,WAAO;AAAA,EACT;AACA,MAAI,EAAE,YAAY,WAAc,OAAO,EAAE,YAAY,YAAY,EAAE,QAAQ,WAAW,IAAI;AACxF,WAAO;AAAA,EACT;AACA,MAAI,EAAE,iBAAiB,QAAW;AAChC,QAAI,CAAC,MAAM,QAAQ,EAAE,YAAY,EAAG,QAAO;AAC3C,QAAI,CAAC,EAAE,aAAa,MAAM,CAAC,MAAe,OAAO,MAAM,QAAQ,EAAG,QAAO;AAAA,EAC3E;AAEA,SAAO;AACT;AAyBA,IAAM,iCAAN,cAA6C,uBAAQ,IAAI,uCAAuC,EAG9F,EAAE;AAAC;AAEE,IAAM,6BAA6B;AAQ1C,IAAM,4BAA4B,uBAAO,IAAI,uCAAuC;AAWpF,IAAMC,eAAc,CAAC,UAAmB,eAAgC;AACtE,QAAM,IAAI,OAAO,aAAa,YAAY,SAAS,SAAS,IAAI,WAAW;AAC3E,QAAM,IAAI,OAAO,eAAe,YAAY,WAAW,SAAS,IAAI,aAAa;AACjF,SAAO,YAAY,CAAC,gBAAgB,CAAC;AACvC;AAMO,IAAM,6BAA6B,CAAC,YAA6C;AACtF,QAAM,QAAQ;AACd,QAAM,MAAO,QAAgB,yBAAyB;AACtD,MAAI,CAAC,KAAK;AACR,UAAM,MAAM,SAAS,IACjB;AAAA,MACE;AAAA,MACA,UAAUC,aAAY,MAAM,UAAU,MAAM,UAAU,CAAC;AAAA,MACvD;AAAA,MACA;AAAA,MACA;AAAA,IACF,EAAE,KAAK,IAAI,IACX;AACJ,UAAM,IAAI,MAAM,GAAG;AAAA,EACrB;AACA,SAAO;AACT;;;ACxIA,IAAAC,iBAAgC;AAYzB,IAAM,4BAAN,cAAwC,uBAAQ,IAAI,sCAAsC,EAG/F,EAAE;AAAC;;;ALFE,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,qBAAM,QAAkB,4BAA4B,GAAG;AAOlD,IAAM,uCAAuC,CAClD,aAEA,qBAAM,QAAsB,iCAAiC;AAAA,EAC3D;AACF,CAAC;AAOI,IAAMC,8BAA2C;AAMjD,IAAMC,8BAAuC;AAM7C,IAAM,+BAA+B,CAAC,aAC3C,qBAAM,QAAsB,4BAA4B,QAAQ;AAO3D,IAAM,2BAA2B,CAAC,SACvC,qBAAM,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","import_effect","import_effect","import_effect","formatScope","formatScope","import_effect","defaultKernelImplementationRef","isKernelImplementationRef","CutoverCoverageMatrix","evaluateFullCutoverGate","getRuntimeServicesEvidence","getKernelImplementationRef"]}

package/dist/Kernel.d.cts

@@ -0,0 +1,14 @@
+import 'effect';
+import './Debug-Bq8Sqjcr.cjs';
+export { C as CutoverCoverageMatrix, k as FullCutoverGateAnchor, F as FullCutoverGateMode, a as FullCutoverGateResult, l as FullCutoverGateVerdict, o as KernelContractMetaAllowlist, n as KernelContractMetaAllowlistItem, b as KernelId, c as KernelImplementationRef, f as RuntimeServiceBinding, w as RuntimeServiceBuiltins, x as RuntimeServiceBuiltinsTag, h as RuntimeServiceImpl, e as RuntimeServiceOverride, g as RuntimeServicesEvidence, R as RuntimeServicesOverrides, j as RuntimeServicesRegistry, d as defaultKernelImplementationRef, m as evaluateFullCutoverGate, u as fullCutoverGateModeLayer, s as getKernelImplementationRef, q as getRuntimeServicesEvidence, v as isKernelFullyActivated, i as isKernelImplementationRef, p as kernelLayer, r as runtimeDefaultServicesOverridesLayer, t as runtimeServicesRegistryLayer } from './Kernel-8kC-jOda.cjs';
+import './Observability-COqEvp2C.cjs';
+import 'effect/FiberRef';
+import './module-B8CBqIZ_.cjs';
+import 'mutative';
+import './Platform-C49Pv956.cjs';
+import './action-DiMDD_0v.cjs';
+import './ReadQuery-SinbStGF.cjs';
+import './StateTrait-OWhbj12c.cjs';
+import './Bound-BPIfH9SS.cjs';
+import './ir-BMP7yxJJ.cjs';
+import './protocol-g_1897M2.cjs';

package/dist/Kernel.d.ts

@@ -0,0 +1,14 @@
+import 'effect';
+import './Debug-B5q5Bkzx.js';
+export { C as CutoverCoverageMatrix, k as FullCutoverGateAnchor, F as FullCutoverGateMode, a as FullCutoverGateResult, l as FullCutoverGateVerdict, o as KernelContractMetaAllowlist, n as KernelContractMetaAllowlistItem, b as KernelId, c as KernelImplementationRef, f as RuntimeServiceBinding, w as RuntimeServiceBuiltins, x as RuntimeServiceBuiltinsTag, h as RuntimeServiceImpl, e as RuntimeServiceOverride, g as RuntimeServicesEvidence, R as RuntimeServicesOverrides, j as RuntimeServicesRegistry, d as defaultKernelImplementationRef, m as evaluateFullCutoverGate, u as fullCutoverGateModeLayer, s as getKernelImplementationRef, q as getRuntimeServicesEvidence, v as isKernelFullyActivated, i as isKernelImplementationRef, p as kernelLayer, r as runtimeDefaultServicesOverridesLayer, t as runtimeServicesRegistryLayer } from './Kernel-CnGE1Fyk.js';
+import './Observability-cY4kLn0S.js';
+import 'effect/FiberRef';
+import './module-k7m3txak.js';
+import 'mutative';
+import './Platform-C49Pv956.js';
+import './action-DiMDD_0v.js';
+import './ReadQuery-SinbStGF.js';
+import './StateTrait-BGsZghTz.js';
+import './Bound-BN1DQ_lM.js';
+import './ir-DUOz6H-5.js';
+import './protocol-g_1897M2.js';

package/dist/Kernel.js

@@ -0,0 +1,36 @@
+import {
+  CutoverCoverageMatrix,
+  KernelContractMetaAllowlist,
+  defaultKernelImplementationRef,
+  evaluateFullCutoverGate,
+  fullCutoverGateModeLayer,
+  getKernelImplementationRef,
+  getRuntimeServicesEvidence,
+  isKernelFullyActivated,
+  isKernelImplementationRef,
+  kernelLayer,
+  runtimeDefaultServicesOverridesLayer,
+  runtimeServicesRegistryLayer
+} from "./chunk-24VULZ7A.js";
+import {
+  RuntimeServiceBuiltinsTag
+} from "./chunk-KP7MUZNX.js";
+import "./chunk-ZGDVUPTM.js";
+import "./chunk-3QMIVH35.js";
+import "./chunk-PZ5AY32C.js";
+export {
+  CutoverCoverageMatrix,
+  KernelContractMetaAllowlist,
+  RuntimeServiceBuiltinsTag,
+  defaultKernelImplementationRef,
+  evaluateFullCutoverGate,
+  fullCutoverGateModeLayer,
+  getKernelImplementationRef,
+  getRuntimeServicesEvidence,
+  isKernelFullyActivated,
+  isKernelImplementationRef,
+  kernelLayer,
+  runtimeDefaultServicesOverridesLayer,
+  runtimeServicesRegistryLayer
+};
+//# sourceMappingURL=Kernel.js.map

package/dist/Kernel.js.map

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

package/dist/Link-Db7975nU.d.ts

@@ -0,0 +1,45 @@
+import { Effect } from 'effect';
+import { h as AnyModuleShape, M as ModuleTag, z as ModuleLike, m as ModuleHandle } from './module-k7m3txak.js';
+
+type LinkModuleToken<Id extends string, Sh extends AnyModuleShape> = ModuleTag<Id, Sh> | ModuleLike<Id, Sh, object>;
+type LinkModuleIdOf<M> = M extends {
+    readonly id: infer Id;
+} ? Id : never;
+type LinkModuleShapeOf<M> = M extends ModuleLike<string, infer Sh, object> ? Sh : M extends ModuleTag<string, infer Sh> ? Sh : never;
+/**
+ * Link.make config:
+ * - modules: modules participating in this Link.
+ *   - Keys come from module ids (e.g. the `"User"` in `Logix.Module.make("User", ...)`).
+ */
+interface LinkConfig<Ms extends readonly LinkModuleToken<string, AnyModuleShape>[]> {
+    /**
+     * Link identifier.
+     * - Optional; defaults to a stable string derived from participating `modules.id`.
+     * - Intended for Universe / DevTools display and navigation.
+     */
+    readonly id?: string;
+    readonly modules: Ms;
+}
+/**
+ * Handle view exposed to Link logic, derived from the module list:
+ * - key: module id.
+ * - value: read-only handle of that module.
+ */
+type LinkHandles<Ms extends readonly LinkModuleToken<string, AnyModuleShape>[]> = {
+    [M in Ms[number] as LinkModuleIdOf<M>]: ModuleHandle<LinkModuleShapeOf<M>>;
+};
+/**
+ * Link.make:
+ * - Creates a Link (cross-module glue logic) from a module list and a logic program.
+ * - Returns a "cold" Effect, typically attached via `ModuleImpl.implement({ processes/links })` and forked by the runtime.
+ */
+declare function make<Ms extends readonly LinkModuleToken<string, AnyModuleShape>[], E = never, R = never>(config: LinkConfig<Ms>, logic: ($: LinkHandles<Ms>) => Effect.Effect<void, E, R>): Effect.Effect<void, E, R>;
+
+type Link_LinkConfig<Ms extends readonly LinkModuleToken<string, AnyModuleShape>[]> = LinkConfig<Ms>;
+type Link_LinkHandles<Ms extends readonly LinkModuleToken<string, AnyModuleShape>[]> = LinkHandles<Ms>;
+declare const Link_make: typeof make;
+declare namespace Link {
+  export { type Link_LinkConfig as LinkConfig, type Link_LinkHandles as LinkHandles, Link_make as make };
+}
+
+export { Link as L, type LinkConfig as a, type LinkHandles as b, make as m };

package/dist/Link-fX8x1eCK.d.cts

@@ -0,0 +1,45 @@
+import { Effect } from 'effect';
+import { h as AnyModuleShape, M as ModuleTag, z as ModuleLike, m as ModuleHandle } from './module-B8CBqIZ_.cjs';
+
+type LinkModuleToken<Id extends string, Sh extends AnyModuleShape> = ModuleTag<Id, Sh> | ModuleLike<Id, Sh, object>;
+type LinkModuleIdOf<M> = M extends {
+    readonly id: infer Id;
+} ? Id : never;
+type LinkModuleShapeOf<M> = M extends ModuleLike<string, infer Sh, object> ? Sh : M extends ModuleTag<string, infer Sh> ? Sh : never;
+/**
+ * Link.make config:
+ * - modules: modules participating in this Link.
+ *   - Keys come from module ids (e.g. the `"User"` in `Logix.Module.make("User", ...)`).
+ */
+interface LinkConfig<Ms extends readonly LinkModuleToken<string, AnyModuleShape>[]> {
+    /**
+     * Link identifier.
+     * - Optional; defaults to a stable string derived from participating `modules.id`.
+     * - Intended for Universe / DevTools display and navigation.
+     */
+    readonly id?: string;
+    readonly modules: Ms;
+}
+/**
+ * Handle view exposed to Link logic, derived from the module list:
+ * - key: module id.
+ * - value: read-only handle of that module.
+ */
+type LinkHandles<Ms extends readonly LinkModuleToken<string, AnyModuleShape>[]> = {
+    [M in Ms[number] as LinkModuleIdOf<M>]: ModuleHandle<LinkModuleShapeOf<M>>;
+};
+/**
+ * Link.make:
+ * - Creates a Link (cross-module glue logic) from a module list and a logic program.
+ * - Returns a "cold" Effect, typically attached via `ModuleImpl.implement({ processes/links })` and forked by the runtime.
+ */
+declare function make<Ms extends readonly LinkModuleToken<string, AnyModuleShape>[], E = never, R = never>(config: LinkConfig<Ms>, logic: ($: LinkHandles<Ms>) => Effect.Effect<void, E, R>): Effect.Effect<void, E, R>;
+
+type Link_LinkConfig<Ms extends readonly LinkModuleToken<string, AnyModuleShape>[]> = LinkConfig<Ms>;
+type Link_LinkHandles<Ms extends readonly LinkModuleToken<string, AnyModuleShape>[]> = LinkHandles<Ms>;
+declare const Link_make: typeof make;
+declare namespace Link {
+  export { type Link_LinkConfig as LinkConfig, type Link_LinkHandles as LinkHandles, Link_make as make };
+}
+
+export { Link as L, type LinkConfig as a, type LinkHandles as b, make as m };