@logixjs/core 0.0.1

package/dist/chunk-DFNM3WX2.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/Reflection.ts","../src/internal/reflection/diff.ts","../src/internal/reflection/kernelContract.ts"],"sourcesContent":["import { Context, Effect, Exit, Layer } from 'effect'\nimport type { AnyModuleShape, ModuleImpl } from './internal/module.js'\nimport type { AnyModule } from './Module.js'\nimport type { StaticIr } from './internal/state-trait/ir.js'\nimport type { ExtractManifestOptions, ModuleManifest } from './internal/reflection/manifest.js'\nimport * as Manifest from './internal/reflection/manifest.js'\nimport * as StaticIrExport from './internal/reflection/staticIr.js'\nimport type { DiffManifestOptions, ModuleManifestDiff } from './internal/reflection/diff.js'\nimport * as ManifestDiff from './internal/reflection/diff.js'\nimport type {\n  KernelContractVerificationResult,\n  VerifyKernelContractOptions,\n} from './internal/reflection/kernelContract.js'\nimport { verifyKernelContract as verifyKernelContractInternal } from './internal/reflection/kernelContract.js'\nimport { trialRun } from './internal/observability/trialRun.js'\nimport type { RuntimeServicesOverrides } from './Kernel.js'\nimport * as Kernel from './Kernel.js'\nimport type * as Debug from './internal/runtime/core/DebugSink.js'\n\nexport type {\n  ModuleManifest,\n  ExtractManifestOptions,\n  ModuleManifestDiff,\n  DiffManifestOptions,\n  KernelContractVerificationResult,\n  VerifyKernelContractOptions,\n}\n\ntype AnyModuleLike = { readonly impl: ModuleImpl<any, AnyModuleShape, any> }\ntype RootLike<Sh extends AnyModuleShape> = ModuleImpl<any, Sh, any> | AnyModuleLike\n\nconst resolveRootImpl = <Sh extends AnyModuleShape>(root: RootLike<Sh>): ModuleImpl<any, Sh, any> =>\n  ((root as any)?._tag === 'ModuleImpl'\n    ? (root as ModuleImpl<any, Sh, any>)\n    : ((root as any)?.impl as ModuleImpl<any, Sh, any>)) satisfies ModuleImpl<any, Sh, any>\n\nconst isRecord = (value: unknown): value is Record<string, unknown> =>\n  typeof value === 'object' && value !== null && !Array.isArray(value)\n\nconst stableJson = (value: unknown): string => JSON.stringify(value) ?? ''\n\nconst diffMetaKeys = (before: unknown, after: unknown): ReadonlyArray<string> => {\n  const b = isRecord(before) ? before : {}\n  const a = isRecord(after) ? after : {}\n  const keys = Array.from(new Set([...Object.keys(b), ...Object.keys(a)])).sort((x, y) => x.localeCompare(y))\n  const changed: string[] = []\n  for (const k of keys) {\n    if (stableJson((b as any)[k]) !== stableJson((a as any)[k])) {\n      changed.push(k)\n    }\n  }\n  return changed\n}\n\nexport interface KernelContractAllowedDiff {\n  readonly metaKey: string\n  readonly count: number\n  readonly reason?: string\n}\n\nconst tryAllowlistKernelContractDiff = (args: {\n  readonly result: KernelContractVerificationResult\n  readonly allowlist: ReadonlyArray<Kernel.KernelContractMetaAllowlistItem>\n}): { readonly verdict: 'PASS' | 'FAIL'; readonly allowedDiffs: ReadonlyArray<KernelContractAllowedDiff> } => {\n  if (args.allowlist.length === 0) {\n    return { verdict: args.result.verdict, allowedDiffs: [] }\n  }\n\n  const allow = new Map<string, string | undefined>()\n  for (const item of args.allowlist) {\n    allow.set(item.metaKey, item.reason)\n  }\n\n  const allowedCounts = new Map<string, number>()\n\n  for (const change of args.result.changes) {\n    if (change.code !== 'op.changed') {\n      return { verdict: 'FAIL', allowedDiffs: [] }\n    }\n\n    const before = change.before as any\n    const after = change.after as any\n    if (!isRecord(before) || !isRecord(after)) {\n      return { verdict: 'FAIL', allowedDiffs: [] }\n    }\n\n    const anchorBefore = before.anchor\n    const anchorAfter = after.anchor\n    if (stableJson(anchorBefore) !== stableJson(anchorAfter)) {\n      return { verdict: 'FAIL', allowedDiffs: [] }\n    }\n    if (stableJson(before.moduleId) !== stableJson(after.moduleId)) {\n      return { verdict: 'FAIL', allowedDiffs: [] }\n    }\n    if (stableJson(before.kind) !== stableJson(after.kind)) {\n      return { verdict: 'FAIL', allowedDiffs: [] }\n    }\n    if (stableJson(before.name) !== stableJson(after.name)) {\n      return { verdict: 'FAIL', allowedDiffs: [] }\n    }\n\n    const changed = diffMetaKeys(before.meta, after.meta)\n    for (const metaKey of changed) {\n      if (!allow.has(metaKey)) {\n        return { verdict: 'FAIL', allowedDiffs: [] }\n      }\n      allowedCounts.set(metaKey, (allowedCounts.get(metaKey) ?? 0) + 1)\n    }\n  }\n\n  const allowedDiffs = Array.from(allowedCounts.entries())\n    .map(([metaKey, count]) => ({\n      metaKey,\n      count,\n      ...(allow.get(metaKey) ? { reason: allow.get(metaKey) } : {}),\n    }))\n    .sort((a, b) => a.metaKey.localeCompare(b.metaKey))\n\n  return { verdict: 'PASS', allowedDiffs }\n}\n\nexport interface FullCutoverGateTrialRunOptions<Sh extends AnyModuleShape> {\n  readonly runId?: string\n  readonly layer?: Layer.Layer<any, any, any>\n  readonly runtimeServicesInstanceOverrides?: RuntimeServicesOverrides\n  readonly interaction?: (runtime: any) => Effect.Effect<void, any, any>\n}\n\nexport interface VerifyFullCutoverGateOptions<Sh extends AnyModuleShape> extends VerifyKernelContractOptions<Sh> {\n  readonly mode?: Kernel.FullCutoverGateMode\n  /**\n   * Evidence trimming level for gate evaluation:\n   * - `off`: minimal summary (must still be runnable)\n   * - `light` / `full`: add explainable details\n   */\n  readonly gateDiagnosticsLevel?: Debug.DiagnosticsLevel\n  /**\n   * Contract diff allowlist (disabled by default).\n   * - Only allows specific op meta keys (by metaKey); the SSoT is code (KernelContractMetaAllowlist).\n   */\n  readonly enableContractMetaAllowlist?: boolean\n  /**\n   * After-run options used for gate evaluation; defaults to `options.after`.\n   *\n   * Only used to read runtimeServicesEvidence/kernelRef; does not rely on debug logs.\n   */\n  readonly gateAfter?: FullCutoverGateTrialRunOptions<Sh>\n}\n\nexport interface FullCutoverGateVerificationResult {\n  readonly version: 'v1'\n  readonly verdict: 'PASS' | 'FAIL'\n  readonly gate: Kernel.FullCutoverGateResult\n  readonly contract: KernelContractVerificationResult\n  readonly contractVerdict: 'PASS' | 'FAIL'\n  readonly allowedDiffs?: ReadonlyArray<KernelContractAllowedDiff>\n}\n\n/**\n * Reflection.extractManifest\n *\n * Extracts a platform-consumable Manifest IR (JSON, diffable) from the final module object (`AnyModule` / `ModuleImpl`).\n */\nexport const extractManifest = (\n  module: ModuleImpl<any, AnyModuleShape, any> | AnyModule,\n  options?: ExtractManifestOptions,\n): ModuleManifest => Manifest.extractManifest(module, options)\n\n/**\n * Reflection.diffManifest\n *\n * Diffs two Manifests and produces a stable, machine-readable summary (CI contract guard / UI reuse).\n */\nexport const diffManifest = (\n  before: ModuleManifest,\n  after: ModuleManifest,\n  options?: DiffManifestOptions,\n): ModuleManifestDiff => ManifestDiff.diffManifest(before, after, options)\n\n/**\n * Reflection.exportStaticIr\n *\n * If the module contains a StateTrait program, exports canonical StaticIR (same shape and digest as StateTrait.exportStaticIr).\n */\nexport const exportStaticIr = (module: ModuleImpl<any, AnyModuleShape, any> | AnyModule): StaticIr | undefined =>\n  StaticIrExport.exportStaticIr(module)\n\n/**\n * Reflection.verifyKernelContract\n *\n * Runs two trial-runs (with optional different Layers/overrides) and exports a stable, machine-readable kernel contract diff report.\n */\nexport const verifyKernelContract = <Sh extends AnyModuleShape>(\n  module: ModuleImpl<any, Sh, any> | AnyModule,\n  options?: VerifyKernelContractOptions<Sh>,\n): import('effect').Effect.Effect<KernelContractVerificationResult, never, any> =>\n  verifyKernelContractInternal(module as any, options as any)\n\nexport const verifyFullCutoverGate = <Sh extends AnyModuleShape>(\n  module: ModuleImpl<any, Sh, any> | AnyModule,\n  options?: VerifyFullCutoverGateOptions<Sh>,\n): Effect.Effect<FullCutoverGateVerificationResult, never, any> =>\n  Effect.gen(function* () {\n    const rootImpl = resolveRootImpl(module as any)\n\n    const contractDiagnosticsLevel: Debug.DiagnosticsLevel =\n      (options?.diagnosticsLevel as any) === 'off' ? 'light' : ((options?.diagnosticsLevel as any) ?? 'light')\n\n    const contract = yield* verifyKernelContractInternal(module as any, {\n      ...(options as any),\n      diagnosticsLevel: contractDiagnosticsLevel,\n    })\n\n    const allowlistEnabled = options?.enableContractMetaAllowlist === true\n    const allowlist = allowlistEnabled ? Kernel.KernelContractMetaAllowlist : []\n    const contractAllowed = tryAllowlistKernelContractDiff({ result: contract, allowlist })\n    const contractVerdict: 'PASS' | 'FAIL' = allowlistEnabled ? contractAllowed.verdict : contract.verdict\n\n    const gateRun = (options?.gateAfter ?? options?.after) as FullCutoverGateTrialRunOptions<Sh> | undefined\n\n    const gateProgram = Effect.gen(function* () {\n      const ctx = yield* rootImpl.layer.pipe(Layer.build)\n      const runtime: any = Context.get(ctx, rootImpl.module as any)\n      if (gateRun?.interaction) {\n        yield* gateRun.interaction(runtime)\n      }\n      return {\n        kernelImplementationRef: Kernel.getKernelImplementationRef(runtime),\n        runtimeServicesEvidence: Kernel.getRuntimeServicesEvidence(runtime),\n      } as const\n    })\n\n    const gateResult = yield* trialRun(gateProgram, {\n      runId: gateRun?.runId,\n      diagnosticsLevel: options?.gateDiagnosticsLevel ?? 'off',\n      layer: gateRun?.layer,\n      runtimeServicesInstanceOverrides: gateRun?.runtimeServicesInstanceOverrides,\n    })\n\n    const gateValue = Exit.isSuccess(gateResult.exit)\n      ? gateResult.exit.value\n      : (() => {\n          const msg = Exit.isFailure(gateResult.exit)\n            ? String((gateResult.exit as any).cause ?? 'trial-run failed')\n            : 'trial-run failed'\n          throw new Error(msg)\n        })()\n\n    const gate = Kernel.evaluateFullCutoverGate({\n      mode: options?.mode ?? 'fullCutover',\n      requestedKernelId: gateValue.kernelImplementationRef.kernelId,\n      runtimeServicesEvidence: gateValue.runtimeServicesEvidence,\n      diagnosticsLevel: options?.gateDiagnosticsLevel ?? 'off',\n    })\n\n    const verdict: 'PASS' | 'FAIL' = gate.verdict === 'PASS' && contractVerdict === 'PASS' ? 'PASS' : 'FAIL'\n\n    return {\n      version: 'v1',\n      verdict,\n      gate,\n      contract,\n      contractVerdict,\n      ...(allowlistEnabled ? { allowedDiffs: contractAllowed.allowedDiffs } : {}),\n    }\n  })\n","import { stableStringify } from '../digest.js'\nimport type { JsonValue } from '../observability/jsonValue.js'\nimport type { ModuleManifest, ModuleManifestLogicUnit } from './manifest.js'\n\nexport type ManifestDiffSeverity = 'BREAKING' | 'RISKY' | 'INFO'\nexport type ManifestDiffVerdict = 'PASS' | 'WARN' | 'FAIL'\n\nexport interface ModuleManifestDiffChange {\n  readonly severity: ManifestDiffSeverity\n  readonly code: string\n  readonly message?: string\n  readonly pointer?: string\n  readonly details?: JsonValue\n}\n\nexport interface ModuleManifestDiffSummary {\n  readonly breaking: number\n  readonly risky: number\n  readonly info: number\n}\n\nexport interface ModuleManifestDiff {\n  readonly version: string\n  readonly moduleId: string\n  readonly before: {\n    readonly digest: string\n    readonly manifestVersion?: string\n  }\n  readonly after: {\n    readonly digest: string\n    readonly manifestVersion?: string\n  }\n  readonly verdict: ManifestDiffVerdict\n  readonly changes: ReadonlyArray<ModuleManifestDiffChange>\n  readonly summary: ModuleManifestDiffSummary\n}\n\nexport interface DiffManifestOptions {\n  /**\n   * metaAllowlist：\n   * - When omitted: diff all meta keys (defaults to treating all changes as RISKY).\n   * - When provided: only diff allowlisted keys (others are ignored).\n   */\n  readonly metaAllowlist?: ReadonlyArray<string>\n}\n\nconst SEVERITY_RANK: Record<ManifestDiffSeverity, number> = {\n  BREAKING: 0,\n  RISKY: 1,\n  INFO: 2,\n}\n\nconst uniqSorted = (input: ReadonlyArray<string>): ReadonlyArray<string> => {\n  const out = Array.from(new Set(input.filter((x) => typeof x === 'string' && x.length > 0)))\n  out.sort((a, b) => a.localeCompare(b))\n  return out\n}\n\nconst diffStringKeys = (\n  before: ReadonlyArray<string> | undefined,\n  after: ReadonlyArray<string> | undefined,\n): { readonly removed: ReadonlyArray<string>; readonly added: ReadonlyArray<string> } => {\n  const beforeSet = new Set(uniqSorted(before ?? []))\n  const afterSet = new Set(uniqSorted(after ?? []))\n\n  const removed: string[] = []\n  for (const k of beforeSet) {\n    if (!afterSet.has(k)) removed.push(k)\n  }\n  removed.sort((a, b) => a.localeCompare(b))\n\n  const added: string[] = []\n  for (const k of afterSet) {\n    if (!beforeSet.has(k)) added.push(k)\n  }\n  added.sort((a, b) => a.localeCompare(b))\n\n  return { removed, added }\n}\n\nconst eqJsonValue = (a: unknown, b: unknown): boolean => stableStringify(a) === stableStringify(b)\n\nconst indexLogicUnits = (\n  input: ReadonlyArray<ModuleManifestLogicUnit> | undefined,\n): ReadonlyMap<string, ModuleManifestLogicUnit> => {\n  const map = new Map<string, ModuleManifestLogicUnit>()\n  for (const unit of input ?? []) {\n    if (!unit || typeof unit !== 'object') continue\n    const id = (unit as any).id\n    if (typeof id !== 'string' || id.length === 0) continue\n    map.set(id, unit)\n  }\n  return map\n}\n\nexport const diffManifest = (\n  before: ModuleManifest,\n  after: ModuleManifest,\n  options?: DiffManifestOptions,\n): ModuleManifestDiff => {\n  const changes: ModuleManifestDiffChange[] = []\n\n  // Identity / protocol\n  if (before.moduleId !== after.moduleId) {\n    changes.push({\n      severity: 'BREAKING',\n      code: 'moduleId.changed',\n      message: `moduleId changed (${before.moduleId} -> ${after.moduleId})`,\n      pointer: '/moduleId',\n      details: {\n        before: before.moduleId,\n        after: after.moduleId,\n      },\n    })\n  }\n\n  if (before.manifestVersion !== after.manifestVersion) {\n    changes.push({\n      severity: 'INFO',\n      code: 'manifestVersion.changed',\n      message: `manifestVersion changed (${before.manifestVersion} -> ${after.manifestVersion})`,\n      pointer: '/manifestVersion',\n      details: {\n        before: before.manifestVersion,\n        after: after.manifestVersion,\n      },\n    })\n  }\n\n  // actionKeys\n  {\n    const { removed, added } = diffStringKeys(before.actionKeys, after.actionKeys)\n    if (removed.length > 0 || added.length > 0) {\n      changes.push({\n        severity: removed.length > 0 ? 'BREAKING' : 'INFO',\n        code: 'actionKeys.changed',\n        message:\n          removed.length > 0 ? `actionKeys removed: ${removed.join(', ')}` : `actionKeys added: ${added.join(', ')}`,\n        pointer: '/actionKeys',\n        details: { removed, added },\n      })\n    }\n  }\n\n  // schemaKeys\n  {\n    const { removed, added } = diffStringKeys(before.schemaKeys, after.schemaKeys)\n    if (removed.length > 0 || added.length > 0) {\n      changes.push({\n        severity: removed.length > 0 ? 'BREAKING' : 'INFO',\n        code: 'schemaKeys.changed',\n        message:\n          removed.length > 0 ? `schemaKeys removed: ${removed.join(', ')}` : `schemaKeys added: ${added.join(', ')}`,\n        pointer: '/schemaKeys',\n        details: { removed, added },\n      })\n    }\n  }\n\n  // logicUnits (slots)\n  {\n    const beforeById = indexLogicUnits(before.logicUnits)\n    const afterById = indexLogicUnits(after.logicUnits)\n\n    const removed: string[] = []\n    const added: string[] = []\n    const kindChanged: Array<{ readonly id: string; readonly before: string; readonly after: string }> = []\n    const riskyChanged: Array<{ readonly id: string; readonly fields: ReadonlyArray<string> }> = []\n\n    for (const id of beforeById.keys()) {\n      if (!afterById.has(id)) removed.push(id)\n    }\n    for (const id of afterById.keys()) {\n      if (!beforeById.has(id)) added.push(id)\n    }\n\n    removed.sort((a, b) => a.localeCompare(b))\n    added.sort((a, b) => a.localeCompare(b))\n\n    for (const id of beforeById.keys()) {\n      const b = beforeById.get(id)\n      const a = afterById.get(id)\n      if (!b || !a) continue\n\n      const fields: string[] = []\n      if (b.kind !== a.kind) {\n        kindChanged.push({ id, before: b.kind, after: a.kind })\n        continue\n      }\n      if (b.name !== a.name) fields.push('name')\n      if (b.derived !== a.derived) fields.push('derived')\n      if (fields.length > 0) riskyChanged.push({ id, fields })\n    }\n\n    kindChanged.sort((x, y) => x.id.localeCompare(y.id))\n    riskyChanged.sort((x, y) => x.id.localeCompare(y.id))\n\n    if (removed.length > 0) {\n      changes.push({\n        severity: 'BREAKING',\n        code: 'logicUnits.removed',\n        message: `logicUnits removed: ${removed.join(', ')}`,\n        pointer: '/logicUnits',\n        details: { removed },\n      })\n    }\n\n    if (kindChanged.length > 0) {\n      changes.push({\n        severity: 'BREAKING',\n        code: 'logicUnits.kindChanged',\n        message: `logicUnits kind changed: ${kindChanged.map((x) => x.id).join(', ')}`,\n        pointer: '/logicUnits',\n        details: { kindChanged },\n      })\n    }\n\n    if (added.length > 0) {\n      changes.push({\n        severity: 'INFO',\n        code: 'logicUnits.added',\n        message: `logicUnits added: ${added.join(', ')}`,\n        pointer: '/logicUnits',\n        details: { added },\n      })\n    }\n\n    if (riskyChanged.length > 0) {\n      changes.push({\n        severity: 'RISKY',\n        code: 'logicUnits.changed',\n        message: `logicUnits changed: ${riskyChanged.map((x) => x.id).join(', ')}`,\n        pointer: '/logicUnits',\n        details: { changed: riskyChanged },\n      })\n    }\n  }\n\n  // staticIr.digest\n  {\n    const beforeDigest = before.staticIr?.digest\n    const afterDigest = after.staticIr?.digest\n    if (beforeDigest !== afterDigest) {\n      changes.push({\n        severity: 'RISKY',\n        code: 'staticIr.digestChanged',\n        message: 'staticIr.digest changed',\n        pointer: '/staticIr/digest',\n        details: {\n          before: beforeDigest ?? null,\n          after: afterDigest ?? null,\n        },\n      })\n    }\n  }\n\n  // meta (default: RISKY, allowlist supported)\n  {\n    const metaBefore = before.meta ?? {}\n    const metaAfter = after.meta ?? {}\n\n    const allowlist = options?.metaAllowlist\n    const keys =\n      allowlist != null ? uniqSorted(allowlist) : uniqSorted([...Object.keys(metaBefore), ...Object.keys(metaAfter)])\n\n    const changed: Array<{\n      readonly key: string\n      readonly before: JsonValue | null\n      readonly after: JsonValue | null\n    }> = []\n\n    for (const key of keys) {\n      const b = key in metaBefore ? (metaBefore as any)[key] : undefined\n      const a = key in metaAfter ? (metaAfter as any)[key] : undefined\n      if (!eqJsonValue(b, a)) {\n        changed.push({\n          key,\n          before: (b ?? null) as JsonValue | null,\n          after: (a ?? null) as JsonValue | null,\n        })\n      }\n    }\n\n    if (changed.length > 0) {\n      changes.push({\n        severity: 'RISKY',\n        code: 'meta.changed',\n        message: 'meta changed',\n        pointer: '/meta',\n        details: {\n          keys: changed.map((x) => x.key),\n          changed,\n        },\n      })\n    }\n  }\n\n  // source (default: INFO)\n  {\n    const b = before.source\n    const a = after.source\n    if (!eqJsonValue(b ?? null, a ?? null)) {\n      changes.push({\n        severity: 'INFO',\n        code: 'source.changed',\n        message: 'source changed',\n        pointer: '/source',\n        details: {\n          before: b ?? null,\n          after: a ?? null,\n        },\n      })\n    }\n  }\n\n  changes.sort((a, b) => {\n    const ra = SEVERITY_RANK[a.severity]\n    const rb = SEVERITY_RANK[b.severity]\n    if (ra !== rb) return ra - rb\n    const ca = a.code.localeCompare(b.code)\n    if (ca !== 0) return ca\n    const pa = a.pointer ?? ''\n    const pb = b.pointer ?? ''\n    return pa.localeCompare(pb)\n  })\n\n  const summary: ModuleManifestDiffSummary = {\n    breaking: changes.filter((c) => c.severity === 'BREAKING').length,\n    risky: changes.filter((c) => c.severity === 'RISKY').length,\n    info: changes.filter((c) => c.severity === 'INFO').length,\n  }\n\n  const verdict: ManifestDiffVerdict = summary.breaking > 0 ? 'FAIL' : summary.risky > 0 ? 'WARN' : 'PASS'\n\n  return {\n    version: '025',\n    moduleId: after.moduleId,\n    before: {\n      digest: before.digest,\n      manifestVersion: before.manifestVersion,\n    },\n    after: {\n      digest: after.digest,\n      manifestVersion: after.manifestVersion,\n    },\n    verdict,\n    changes,\n    summary,\n  }\n}\n","import { Context, Effect, Exit, Layer } from 'effect'\nimport type { ModuleImpl, AnyModuleShape } from '../runtime/core/module.js'\nimport type { ModuleRuntime } from '../runtime/core/module.js'\nimport { trialRun } from '../observability/trialRun.js'\nimport type { EvidencePackage } from '../observability/evidence.js'\nimport type { JsonValue } from '../observability/jsonValue.js'\nimport { fnv1a32, stableStringify } from '../digest.js'\nimport type { Middleware } from '../effect-op.js'\nimport * as Debug from '../runtime/core/DebugSink.js'\nimport * as EffectOpCore from '../runtime/core/EffectOpCore.js'\nimport * as KernelRef from '../runtime/core/KernelRef.js'\nimport type * as RuntimeKernel from '../runtime/core/RuntimeKernel.js'\n\ntype AnyModuleLike = { readonly impl: ModuleImpl<any, AnyModuleShape, any> }\n\ntype RootLike<Sh extends AnyModuleShape> = ModuleImpl<any, Sh, any> | AnyModuleLike\n\nconst resolveRootImpl = <Sh extends AnyModuleShape>(root: RootLike<Sh>): ModuleImpl<any, Sh, any> =>\n  ((root as any)?._tag === 'ModuleImpl'\n    ? (root as ModuleImpl<any, Sh, any>)\n    : ((root as any)?.impl as ModuleImpl<any, Sh, any>)) satisfies ModuleImpl<any, Sh, any>\n\nexport type KernelContractVerdict = 'PASS' | 'FAIL'\n\nexport interface KernelContractAnchor {\n  readonly instanceId: string\n  readonly txnSeq: number\n  readonly opSeq: number\n}\n\nexport interface KernelContractTraceOp {\n  readonly anchor: KernelContractAnchor\n  readonly moduleId: string\n  readonly kind: string\n  readonly name: string\n  readonly meta?: JsonValue\n}\n\nexport interface KernelContractRunSummary {\n  readonly ok: boolean\n  readonly kernelImplementationRef: KernelRef.KernelImplementationRef\n  readonly runtimeServicesEvidence?: JsonValue\n  readonly trace: {\n    readonly digest: string\n    readonly opCount: number\n  }\n  readonly error?: {\n    readonly name: string\n    readonly message: string\n  }\n}\n\nexport type KernelContractDiffChangeCode = 'op.added' | 'op.removed' | 'op.changed' | 'run.failure'\n\nexport interface KernelContractDiffChange {\n  readonly code: KernelContractDiffChangeCode\n  readonly anchor?: KernelContractAnchor\n  readonly before?: JsonValue\n  readonly after?: JsonValue\n}\n\nexport interface KernelContractVerificationResult {\n  readonly version: string\n  readonly verdict: KernelContractVerdict\n  readonly before: KernelContractRunSummary\n  readonly after: KernelContractRunSummary\n  readonly changes: ReadonlyArray<KernelContractDiffChange>\n  readonly summary: {\n    readonly added: number\n    readonly removed: number\n    readonly changed: number\n  }\n}\n\nexport interface KernelContractRunOptions<Sh extends AnyModuleShape> {\n  readonly runId?: string\n  readonly layer?: Layer.Layer<any, any, any>\n  readonly runtimeServicesInstanceOverrides?: RuntimeKernel.RuntimeServicesOverrides\n  readonly interaction?: (runtime: ModuleRuntime<any, any>) => Effect.Effect<void, any, any>\n}\n\nexport interface VerifyKernelContractOptions<Sh extends AnyModuleShape> {\n  readonly before?: KernelContractRunOptions<Sh>\n  readonly after?: KernelContractRunOptions<Sh>\n  readonly diagnosticsLevel?: Debug.DiagnosticsLevel\n  readonly maxEvents?: number\n}\n\nconst asNonEmptyString = (value: unknown): string | undefined =>\n  typeof value === 'string' && value.length > 0 ? value : undefined\n\nconst asNonNegInt = (value: unknown, fallback = 0): number => {\n  if (typeof value !== 'number' || !Number.isFinite(value)) return fallback\n  const n = Math.floor(value)\n  return n >= 0 ? n : fallback\n}\n\nconst isRecord = (value: unknown): value is Record<string, unknown> =>\n  typeof value === 'object' && value !== null && !Array.isArray(value)\n\nconst makeTraceEffectOpObserver = (): Middleware => {\n  return <A, E, R>(op: import('../effect-op.js').EffectOp<A, E, R>): Effect.Effect<A, E, R> =>\n    Effect.gen(function* () {\n      // Observation-only capability: can be locally disabled by policy.\n      if ((op.meta as any)?.policy?.disableObservers) {\n        return yield* op.effect\n      }\n\n      const meta: any = op.meta ?? {}\n      const slimOp = {\n        id: op.id,\n        kind: op.kind,\n        name: op.name,\n        payload: op.payload,\n        meta: op.meta,\n      }\n\n      yield* Debug.record({\n        type: 'trace:effectop',\n        moduleId: typeof meta.moduleId === 'string' ? meta.moduleId : undefined,\n        instanceId: typeof meta.instanceId === 'string' ? meta.instanceId : undefined,\n        runtimeLabel: typeof meta.runtimeLabel === 'string' ? meta.runtimeLabel : undefined,\n        txnSeq: typeof meta.txnSeq === 'number' && Number.isFinite(meta.txnSeq) ? Math.floor(meta.txnSeq) : undefined,\n        data: slimOp,\n      } as any)\n\n      return yield* op.effect\n    })\n}\n\nconst extractRuntimeSummary = (\n  evidence: EvidencePackage,\n): {\n  readonly kernelImplementationRef: KernelRef.KernelImplementationRef\n  readonly runtimeServicesEvidence?: JsonValue\n} => {\n  const summary: any = evidence.summary\n  const runtime: any = summary?.runtime\n  const kernelImplementationRefRaw = runtime?.kernelImplementationRef\n  const kernelImplementationRef = KernelRef.normalizeKernelImplementationRef(kernelImplementationRefRaw)\n  const services = runtime?.services as JsonValue | undefined\n  return {\n    kernelImplementationRef,\n    runtimeServicesEvidence: services,\n  }\n}\n\nconst canonicalizeOpMeta = (opMetaRaw: unknown): JsonValue | undefined => {\n  if (!isRecord(opMetaRaw)) return undefined\n\n  const out: Record<string, JsonValue> = {}\n  for (const [k, v] of Object.entries(opMetaRaw)) {\n    // volatile / non-contract anchors\n    if (k === 'instanceId' || k === 'txnId' || k === 'runtimeLabel' || k === 'linkId') continue\n\n    if ((k === 'deps' || k === 'trace' || k === 'tags') && Array.isArray(v) && v.every((x) => typeof x === 'string')) {\n      out[k] = (v as ReadonlyArray<string>).slice().sort((a, b) => a.localeCompare(b)) as unknown as JsonValue\n      continue\n    }\n\n    out[k] = v as JsonValue\n  }\n\n  return out as JsonValue\n}\n\nconst extractKernelContractTraceOps = (evidence: EvidencePackage): ReadonlyArray<KernelContractTraceOp> => {\n  const instanceMap = new Map<string, string>()\n  let nextInstanceIndex = 0\n\n  const mapInstanceId = (raw: string): string => {\n    if (raw === 'unknown') return 'unknown'\n    const existing = instanceMap.get(raw)\n    if (existing) return existing\n    nextInstanceIndex += 1\n    const next = `i${nextInstanceIndex}`\n    instanceMap.set(raw, next)\n    return next\n  }\n\n  const ops: KernelContractTraceOp[] = []\n\n  for (const e of evidence.events) {\n    if (e.type !== 'debug:event') continue\n    const payload: any = e.payload\n    if (!isRecord(payload)) continue\n\n    const meta: any = payload.meta\n    const opMeta: any = meta?.meta\n    const opSeq = asNonNegInt(opMeta?.opSeq, -1)\n    if (opSeq < 0) continue\n\n    const instanceIdRaw = asNonEmptyString(payload.instanceId) ?? 'unknown'\n    const instanceId = mapInstanceId(instanceIdRaw)\n    const txnSeq = asNonNegInt(payload.txnSeq, 0)\n\n    const moduleId = asNonEmptyString(payload.moduleId) ?? 'unknown'\n    const kind = asNonEmptyString(meta?.kind) ?? asNonEmptyString(payload.kind) ?? 'unknown'\n    const name = asNonEmptyString(meta?.name) ?? asNonEmptyString(payload.label) ?? 'effectop'\n\n    ops.push({\n      anchor: { instanceId, txnSeq, opSeq },\n      moduleId,\n      kind,\n      name,\n      meta: canonicalizeOpMeta(opMeta),\n    })\n  }\n\n  ops.sort((a, b) => {\n    if (a.anchor.instanceId !== b.anchor.instanceId) return a.anchor.instanceId.localeCompare(b.anchor.instanceId)\n    if (a.anchor.txnSeq !== b.anchor.txnSeq) return a.anchor.txnSeq - b.anchor.txnSeq\n    return a.anchor.opSeq - b.anchor.opSeq\n  })\n\n  return ops\n}\n\nconst anchorKey = (a: KernelContractAnchor): string => `${a.instanceId}::t${a.txnSeq}::o${a.opSeq}`\n\nconst diffKernelContractTraceOps = (\n  before: ReadonlyArray<KernelContractTraceOp>,\n  after: ReadonlyArray<KernelContractTraceOp>,\n): {\n  readonly changes: ReadonlyArray<KernelContractDiffChange>\n  readonly summary: KernelContractVerificationResult['summary']\n} => {\n  const changes: KernelContractDiffChange[] = []\n\n  const beforeByKey = new Map<string, KernelContractTraceOp>()\n  const afterByKey = new Map<string, KernelContractTraceOp>()\n\n  for (const op of before) {\n    beforeByKey.set(anchorKey(op.anchor), op)\n  }\n  for (const op of after) {\n    afterByKey.set(anchorKey(op.anchor), op)\n  }\n\n  const allKeys = Array.from(new Set([...beforeByKey.keys(), ...afterByKey.keys()])).sort((a, b) => a.localeCompare(b))\n\n  for (const key of allKeys) {\n    const b = beforeByKey.get(key)\n    const a = afterByKey.get(key)\n\n    if (!b && a) {\n      changes.push({\n        code: 'op.added',\n        anchor: a.anchor,\n        after: a as unknown as JsonValue,\n      })\n      continue\n    }\n    if (b && !a) {\n      changes.push({\n        code: 'op.removed',\n        anchor: b.anchor,\n        before: b as unknown as JsonValue,\n      })\n      continue\n    }\n    if (!b || !a) continue\n\n    const bJson = stableStringify(b)\n    const aJson = stableStringify(a)\n    if (bJson !== aJson) {\n      changes.push({\n        code: 'op.changed',\n        anchor: b.anchor,\n        before: b as unknown as JsonValue,\n        after: a as unknown as JsonValue,\n      })\n    }\n  }\n\n  const summary = {\n    added: changes.filter((c) => c.code === 'op.added').length,\n    removed: changes.filter((c) => c.code === 'op.removed').length,\n    changed: changes.filter((c) => c.code === 'op.changed').length,\n  } as const satisfies KernelContractVerificationResult['summary']\n\n  return { changes, summary }\n}\n\nconst VERSION = 'v1'\n\nconst runOnce = <Sh extends AnyModuleShape>(\n  rootImpl: ModuleImpl<any, Sh, any>,\n  run: KernelContractRunOptions<Sh> | undefined,\n  options: Pick<VerifyKernelContractOptions<Sh>, 'diagnosticsLevel' | 'maxEvents'>,\n): Effect.Effect<\n  {\n    readonly summary: KernelContractRunSummary\n    readonly traceOps: ReadonlyArray<KernelContractTraceOp>\n  },\n  never,\n  any\n> =>\n  Effect.gen(function* () {\n    const interaction = run?.interaction\n    const program = Effect.gen(function* () {\n      const ctx = yield* rootImpl.layer.pipe(Layer.build)\n      const runtime = Context.get(ctx, rootImpl.module)\n      if (interaction) {\n        yield* interaction(runtime)\n      }\n      return runtime.instanceId\n    }) as Effect.Effect<string, any, any>\n\n    const traceLayer = Layer.succeed(EffectOpCore.EffectOpMiddlewareTag, {\n      stack: [makeTraceEffectOpObserver()],\n    }) as unknown as Layer.Layer<any, never, never>\n\n    const extraLayer = run?.layer ? (Layer.mergeAll(traceLayer, run.layer) as Layer.Layer<any, any, any>) : traceLayer\n\n    const result = yield* trialRun(program as any, {\n      runId: run?.runId,\n      diagnosticsLevel: options.diagnosticsLevel ?? 'light',\n      maxEvents: options.maxEvents,\n      layer: extraLayer,\n      runtimeServicesInstanceOverrides: run?.runtimeServicesInstanceOverrides,\n    })\n\n    const ok = Exit.isSuccess(result.exit)\n    const error =\n      Exit.isFailure(result.exit) && result.exit.cause != null\n        ? (() => {\n            const failure = Exit.isFailure(result.exit) ? result.exit.cause : undefined\n            const err = (failure as any)?._tag === 'Die' ? (failure as any).defect : (failure as any)\n            if (err instanceof Error) {\n              return { name: err.name, message: err.message }\n            }\n            return { name: 'UnknownError', message: String(err ?? 'unknown') }\n          })()\n        : undefined\n\n    const runtimeSummary = extractRuntimeSummary(result.evidence)\n    const traceOps = extractKernelContractTraceOps(result.evidence)\n    const traceDigest = fnv1a32(stableStringify(traceOps))\n\n    return {\n      summary: {\n        ok,\n        kernelImplementationRef: runtimeSummary.kernelImplementationRef,\n        runtimeServicesEvidence: runtimeSummary.runtimeServicesEvidence,\n        trace: { digest: traceDigest, opCount: traceOps.length },\n        ...(error ? { error } : {}),\n      },\n      traceOps,\n    }\n  })\n\nexport const verifyKernelContract = <Sh extends AnyModuleShape>(\n  root: RootLike<Sh>,\n  options?: VerifyKernelContractOptions<Sh>,\n): Effect.Effect<KernelContractVerificationResult, never, any> =>\n  Effect.gen(function* () {\n    const rootImpl = resolveRootImpl(root)\n\n    const beforeRun = yield* runOnce(rootImpl, options?.before, {\n      diagnosticsLevel: options?.diagnosticsLevel,\n      maxEvents: options?.maxEvents,\n    })\n\n    const afterRun = yield* runOnce(rootImpl, options?.after, {\n      diagnosticsLevel: options?.diagnosticsLevel,\n      maxEvents: options?.maxEvents,\n    })\n\n    const hasRunFailure = !beforeRun.summary.ok || !afterRun.summary.ok\n    const diff = hasRunFailure\n      ? { changes: [{ code: 'run.failure' as const }], summary: { added: 0, removed: 0, changed: 0 } }\n      : diffKernelContractTraceOps(beforeRun.traceOps, afterRun.traceOps)\n\n    const verdict: KernelContractVerdict = hasRunFailure || diff.changes.length > 0 ? 'FAIL' : 'PASS'\n\n    return {\n      version: VERSION,\n      verdict,\n      before: beforeRun.summary,\n      after: afterRun.summary,\n      changes: diff.changes,\n      summary: diff.summary,\n    }\n  })\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA,sBAAAA;AAAA,EAAA,sBAAAC;AAAA,EAAA,uBAAAC;AAAA,EAAA;AAAA,8BAAAC;AAAA;AAAA,SAAS,WAAAC,UAAS,UAAAC,SAAQ,QAAAC,OAAM,SAAAC,cAAa;;;AC8C7C,IAAM,gBAAsD;AAAA,EAC1D,UAAU;AAAA,EACV,OAAO;AAAA,EACP,MAAM;AACR;AAEA,IAAM,aAAa,CAAC,UAAwD;AAC1E,QAAM,MAAM,MAAM,KAAK,IAAI,IAAI,MAAM,OAAO,CAAC,MAAM,OAAO,MAAM,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;AAC1F,MAAI,KAAK,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,CAAC;AACrC,SAAO;AACT;AAEA,IAAM,iBAAiB,CACrB,QACA,UACuF;AACvF,QAAM,YAAY,IAAI,IAAI,WAAW,UAAU,CAAC,CAAC,CAAC;AAClD,QAAM,WAAW,IAAI,IAAI,WAAW,SAAS,CAAC,CAAC,CAAC;AAEhD,QAAM,UAAoB,CAAC;AAC3B,aAAW,KAAK,WAAW;AACzB,QAAI,CAAC,SAAS,IAAI,CAAC,EAAG,SAAQ,KAAK,CAAC;AAAA,EACtC;AACA,UAAQ,KAAK,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,CAAC;AAEzC,QAAM,QAAkB,CAAC;AACzB,aAAW,KAAK,UAAU;AACxB,QAAI,CAAC,UAAU,IAAI,CAAC,EAAG,OAAM,KAAK,CAAC;AAAA,EACrC;AACA,QAAM,KAAK,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,CAAC;AAEvC,SAAO,EAAE,SAAS,MAAM;AAC1B;AAEA,IAAM,cAAc,CAAC,GAAY,MAAwB,gBAAgB,CAAC,MAAM,gBAAgB,CAAC;AAEjG,IAAM,kBAAkB,CACtB,UACiD;AACjD,QAAM,MAAM,oBAAI,IAAqC;AACrD,aAAW,QAAQ,SAAS,CAAC,GAAG;AAC9B,QAAI,CAAC,QAAQ,OAAO,SAAS,SAAU;AACvC,UAAM,KAAM,KAAa;AACzB,QAAI,OAAO,OAAO,YAAY,GAAG,WAAW,EAAG;AAC/C,QAAI,IAAI,IAAI,IAAI;AAAA,EAClB;AACA,SAAO;AACT;AAEO,IAAM,eAAe,CAC1B,QACA,OACA,YACuB;AACvB,QAAM,UAAsC,CAAC;AAG7C,MAAI,OAAO,aAAa,MAAM,UAAU;AACtC,YAAQ,KAAK;AAAA,MACX,UAAU;AAAA,MACV,MAAM;AAAA,MACN,SAAS,qBAAqB,OAAO,QAAQ,OAAO,MAAM,QAAQ;AAAA,MAClE,SAAS;AAAA,MACT,SAAS;AAAA,QACP,QAAQ,OAAO;AAAA,QACf,OAAO,MAAM;AAAA,MACf;AAAA,IACF,CAAC;AAAA,EACH;AAEA,MAAI,OAAO,oBAAoB,MAAM,iBAAiB;AACpD,YAAQ,KAAK;AAAA,MACX,UAAU;AAAA,MACV,MAAM;AAAA,MACN,SAAS,4BAA4B,OAAO,eAAe,OAAO,MAAM,eAAe;AAAA,MACvF,SAAS;AAAA,MACT,SAAS;AAAA,QACP,QAAQ,OAAO;AAAA,QACf,OAAO,MAAM;AAAA,MACf;AAAA,IACF,CAAC;AAAA,EACH;AAGA;AACE,UAAM,EAAE,SAAS,MAAM,IAAI,eAAe,OAAO,YAAY,MAAM,UAAU;AAC7E,QAAI,QAAQ,SAAS,KAAK,MAAM,SAAS,GAAG;AAC1C,cAAQ,KAAK;AAAA,QACX,UAAU,QAAQ,SAAS,IAAI,aAAa;AAAA,QAC5C,MAAM;AAAA,QACN,SACE,QAAQ,SAAS,IAAI,uBAAuB,QAAQ,KAAK,IAAI,CAAC,KAAK,qBAAqB,MAAM,KAAK,IAAI,CAAC;AAAA,QAC1G,SAAS;AAAA,QACT,SAAS,EAAE,SAAS,MAAM;AAAA,MAC5B,CAAC;AAAA,IACH;AAAA,EACF;AAGA;AACE,UAAM,EAAE,SAAS,MAAM,IAAI,eAAe,OAAO,YAAY,MAAM,UAAU;AAC7E,QAAI,QAAQ,SAAS,KAAK,MAAM,SAAS,GAAG;AAC1C,cAAQ,KAAK;AAAA,QACX,UAAU,QAAQ,SAAS,IAAI,aAAa;AAAA,QAC5C,MAAM;AAAA,QACN,SACE,QAAQ,SAAS,IAAI,uBAAuB,QAAQ,KAAK,IAAI,CAAC,KAAK,qBAAqB,MAAM,KAAK,IAAI,CAAC;AAAA,QAC1G,SAAS;AAAA,QACT,SAAS,EAAE,SAAS,MAAM;AAAA,MAC5B,CAAC;AAAA,IACH;AAAA,EACF;AAGA;AACE,UAAM,aAAa,gBAAgB,OAAO,UAAU;AACpD,UAAM,YAAY,gBAAgB,MAAM,UAAU;AAElD,UAAM,UAAoB,CAAC;AAC3B,UAAM,QAAkB,CAAC;AACzB,UAAM,cAA+F,CAAC;AACtG,UAAM,eAAuF,CAAC;AAE9F,eAAW,MAAM,WAAW,KAAK,GAAG;AAClC,UAAI,CAAC,UAAU,IAAI,EAAE,EAAG,SAAQ,KAAK,EAAE;AAAA,IACzC;AACA,eAAW,MAAM,UAAU,KAAK,GAAG;AACjC,UAAI,CAAC,WAAW,IAAI,EAAE,EAAG,OAAM,KAAK,EAAE;AAAA,IACxC;AAEA,YAAQ,KAAK,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,CAAC;AACzC,UAAM,KAAK,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,CAAC;AAEvC,eAAW,MAAM,WAAW,KAAK,GAAG;AAClC,YAAM,IAAI,WAAW,IAAI,EAAE;AAC3B,YAAM,IAAI,UAAU,IAAI,EAAE;AAC1B,UAAI,CAAC,KAAK,CAAC,EAAG;AAEd,YAAM,SAAmB,CAAC;AAC1B,UAAI,EAAE,SAAS,EAAE,MAAM;AACrB,oBAAY,KAAK,EAAE,IAAI,QAAQ,EAAE,MAAM,OAAO,EAAE,KAAK,CAAC;AACtD;AAAA,MACF;AACA,UAAI,EAAE,SAAS,EAAE,KAAM,QAAO,KAAK,MAAM;AACzC,UAAI,EAAE,YAAY,EAAE,QAAS,QAAO,KAAK,SAAS;AAClD,UAAI,OAAO,SAAS,EAAG,cAAa,KAAK,EAAE,IAAI,OAAO,CAAC;AAAA,IACzD;AAEA,gBAAY,KAAK,CAAC,GAAG,MAAM,EAAE,GAAG,cAAc,EAAE,EAAE,CAAC;AACnD,iBAAa,KAAK,CAAC,GAAG,MAAM,EAAE,GAAG,cAAc,EAAE,EAAE,CAAC;AAEpD,QAAI,QAAQ,SAAS,GAAG;AACtB,cAAQ,KAAK;AAAA,QACX,UAAU;AAAA,QACV,MAAM;AAAA,QACN,SAAS,uBAAuB,QAAQ,KAAK,IAAI,CAAC;AAAA,QAClD,SAAS;AAAA,QACT,SAAS,EAAE,QAAQ;AAAA,MACrB,CAAC;AAAA,IACH;AAEA,QAAI,YAAY,SAAS,GAAG;AAC1B,cAAQ,KAAK;AAAA,QACX,UAAU;AAAA,QACV,MAAM;AAAA,QACN,SAAS,4BAA4B,YAAY,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,IAAI,CAAC;AAAA,QAC5E,SAAS;AAAA,QACT,SAAS,EAAE,YAAY;AAAA,MACzB,CAAC;AAAA,IACH;AAEA,QAAI,MAAM,SAAS,GAAG;AACpB,cAAQ,KAAK;AAAA,QACX,UAAU;AAAA,QACV,MAAM;AAAA,QACN,SAAS,qBAAqB,MAAM,KAAK,IAAI,CAAC;AAAA,QAC9C,SAAS;AAAA,QACT,SAAS,EAAE,MAAM;AAAA,MACnB,CAAC;AAAA,IACH;AAEA,QAAI,aAAa,SAAS,GAAG;AAC3B,cAAQ,KAAK;AAAA,QACX,UAAU;AAAA,QACV,MAAM;AAAA,QACN,SAAS,uBAAuB,aAAa,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,IAAI,CAAC;AAAA,QACxE,SAAS;AAAA,QACT,SAAS,EAAE,SAAS,aAAa;AAAA,MACnC,CAAC;AAAA,IACH;AAAA,EACF;AAGA;AACE,UAAM,eAAe,OAAO,UAAU;AACtC,UAAM,cAAc,MAAM,UAAU;AACpC,QAAI,iBAAiB,aAAa;AAChC,cAAQ,KAAK;AAAA,QACX,UAAU;AAAA,QACV,MAAM;AAAA,QACN,SAAS;AAAA,QACT,SAAS;AAAA,QACT,SAAS;AAAA,UACP,QAAQ,gBAAgB;AAAA,UACxB,OAAO,eAAe;AAAA,QACxB;AAAA,MACF,CAAC;AAAA,IACH;AAAA,EACF;AAGA;AACE,UAAM,aAAa,OAAO,QAAQ,CAAC;AACnC,UAAM,YAAY,MAAM,QAAQ,CAAC;AAEjC,UAAM,YAAY,SAAS;AAC3B,UAAM,OACJ,aAAa,OAAO,WAAW,SAAS,IAAI,WAAW,CAAC,GAAG,OAAO,KAAK,UAAU,GAAG,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC;AAEhH,UAAM,UAID,CAAC;AAEN,eAAW,OAAO,MAAM;AACtB,YAAM,IAAI,OAAO,aAAc,WAAmB,GAAG,IAAI;AACzD,YAAM,IAAI,OAAO,YAAa,UAAkB,GAAG,IAAI;AACvD,UAAI,CAAC,YAAY,GAAG,CAAC,GAAG;AACtB,gBAAQ,KAAK;AAAA,UACX;AAAA,UACA,QAAS,KAAK;AAAA,UACd,OAAQ,KAAK;AAAA,QACf,CAAC;AAAA,MACH;AAAA,IACF;AAEA,QAAI,QAAQ,SAAS,GAAG;AACtB,cAAQ,KAAK;AAAA,QACX,UAAU;AAAA,QACV,MAAM;AAAA,QACN,SAAS;AAAA,QACT,SAAS;AAAA,QACT,SAAS;AAAA,UACP,MAAM,QAAQ,IAAI,CAAC,MAAM,EAAE,GAAG;AAAA,UAC9B;AAAA,QACF;AAAA,MACF,CAAC;AAAA,IACH;AAAA,EACF;AAGA;AACE,UAAM,IAAI,OAAO;AACjB,UAAM,IAAI,MAAM;AAChB,QAAI,CAAC,YAAY,KAAK,MAAM,KAAK,IAAI,GAAG;AACtC,cAAQ,KAAK;AAAA,QACX,UAAU;AAAA,QACV,MAAM;AAAA,QACN,SAAS;AAAA,QACT,SAAS;AAAA,QACT,SAAS;AAAA,UACP,QAAQ,KAAK;AAAA,UACb,OAAO,KAAK;AAAA,QACd;AAAA,MACF,CAAC;AAAA,IACH;AAAA,EACF;AAEA,UAAQ,KAAK,CAAC,GAAG,MAAM;AACrB,UAAM,KAAK,cAAc,EAAE,QAAQ;AACnC,UAAM,KAAK,cAAc,EAAE,QAAQ;AACnC,QAAI,OAAO,GAAI,QAAO,KAAK;AAC3B,UAAM,KAAK,EAAE,KAAK,cAAc,EAAE,IAAI;AACtC,QAAI,OAAO,EAAG,QAAO;AACrB,UAAM,KAAK,EAAE,WAAW;AACxB,UAAM,KAAK,EAAE,WAAW;AACxB,WAAO,GAAG,cAAc,EAAE;AAAA,EAC5B,CAAC;AAED,QAAM,UAAqC;AAAA,IACzC,UAAU,QAAQ,OAAO,CAAC,MAAM,EAAE,aAAa,UAAU,EAAE;AAAA,IAC3D,OAAO,QAAQ,OAAO,CAAC,MAAM,EAAE,aAAa,OAAO,EAAE;AAAA,IACrD,MAAM,QAAQ,OAAO,CAAC,MAAM,EAAE,aAAa,MAAM,EAAE;AAAA,EACrD;AAEA,QAAM,UAA+B,QAAQ,WAAW,IAAI,SAAS,QAAQ,QAAQ,IAAI,SAAS;AAElG,SAAO;AAAA,IACL,SAAS;AAAA,IACT,UAAU,MAAM;AAAA,IAChB,QAAQ;AAAA,MACN,QAAQ,OAAO;AAAA,MACf,iBAAiB,OAAO;AAAA,IAC1B;AAAA,IACA,OAAO;AAAA,MACL,QAAQ,MAAM;AAAA,MACd,iBAAiB,MAAM;AAAA,IACzB;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACF;;;AC7VA,SAAS,SAAS,QAAQ,MAAM,aAAa;AAiB7C,IAAM,kBAAkB,CAA4B,SAChD,MAAc,SAAS,eACpB,OACC,MAAc;AAoEtB,IAAM,mBAAmB,CAAC,UACxB,OAAO,UAAU,YAAY,MAAM,SAAS,IAAI,QAAQ;AAE1D,IAAM,cAAc,CAAC,OAAgB,WAAW,MAAc;AAC5D,MAAI,OAAO,UAAU,YAAY,CAAC,OAAO,SAAS,KAAK,EAAG,QAAO;AACjE,QAAM,IAAI,KAAK,MAAM,KAAK;AAC1B,SAAO,KAAK,IAAI,IAAI;AACtB;AAEA,IAAM,WAAW,CAAC,UAChB,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAErE,IAAM,4BAA4B,MAAkB;AAClD,SAAO,CAAU,OACf,OAAO,IAAI,aAAa;AAEtB,QAAK,GAAG,MAAc,QAAQ,kBAAkB;AAC9C,aAAO,OAAO,GAAG;AAAA,IACnB;AAEA,UAAM,OAAY,GAAG,QAAQ,CAAC;AAC9B,UAAM,SAAS;AAAA,MACb,IAAI,GAAG;AAAA,MACP,MAAM,GAAG;AAAA,MACT,MAAM,GAAG;AAAA,MACT,SAAS,GAAG;AAAA,MACZ,MAAM,GAAG;AAAA,IACX;AAEA,WAAa,OAAO;AAAA,MAClB,MAAM;AAAA,MACN,UAAU,OAAO,KAAK,aAAa,WAAW,KAAK,WAAW;AAAA,MAC9D,YAAY,OAAO,KAAK,eAAe,WAAW,KAAK,aAAa;AAAA,MACpE,cAAc,OAAO,KAAK,iBAAiB,WAAW,KAAK,eAAe;AAAA,MAC1E,QAAQ,OAAO,KAAK,WAAW,YAAY,OAAO,SAAS,KAAK,MAAM,IAAI,KAAK,MAAM,KAAK,MAAM,IAAI;AAAA,MACpG,MAAM;AAAA,IACR,CAAQ;AAER,WAAO,OAAO,GAAG;AAAA,EACnB,CAAC;AACL;AAEA,IAAM,wBAAwB,CAC5B,aAIG;AACH,QAAM,UAAe,SAAS;AAC9B,QAAM,UAAe,SAAS;AAC9B,QAAM,6BAA6B,SAAS;AAC5C,QAAM,0BAAoC,iCAAiC,0BAA0B;AACrG,QAAM,WAAW,SAAS;AAC1B,SAAO;AAAA,IACL;AAAA,IACA,yBAAyB;AAAA,EAC3B;AACF;AAEA,IAAM,qBAAqB,CAAC,cAA8C;AACxE,MAAI,CAAC,SAAS,SAAS,EAAG,QAAO;AAEjC,QAAM,MAAiC,CAAC;AACxC,aAAW,CAAC,GAAG,CAAC,KAAK,OAAO,QAAQ,SAAS,GAAG;AAE9C,QAAI,MAAM,gBAAgB,MAAM,WAAW,MAAM,kBAAkB,MAAM,SAAU;AAEnF,SAAK,MAAM,UAAU,MAAM,WAAW,MAAM,WAAW,MAAM,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,OAAO,MAAM,QAAQ,GAAG;AAChH,UAAI,CAAC,IAAK,EAA4B,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,CAAC;AAC/E;AAAA,IACF;AAEA,QAAI,CAAC,IAAI;AAAA,EACX;AAEA,SAAO;AACT;AAEA,IAAM,gCAAgC,CAAC,aAAoE;AACzG,QAAM,cAAc,oBAAI,IAAoB;AAC5C,MAAI,oBAAoB;AAExB,QAAM,gBAAgB,CAAC,QAAwB;AAC7C,QAAI,QAAQ,UAAW,QAAO;AAC9B,UAAM,WAAW,YAAY,IAAI,GAAG;AACpC,QAAI,SAAU,QAAO;AACrB,yBAAqB;AACrB,UAAM,OAAO,IAAI,iBAAiB;AAClC,gBAAY,IAAI,KAAK,IAAI;AACzB,WAAO;AAAA,EACT;AAEA,QAAM,MAA+B,CAAC;AAEtC,aAAW,KAAK,SAAS,QAAQ;AAC/B,QAAI,EAAE,SAAS,cAAe;AAC9B,UAAM,UAAe,EAAE;AACvB,QAAI,CAAC,SAAS,OAAO,EAAG;AAExB,UAAM,OAAY,QAAQ;AAC1B,UAAM,SAAc,MAAM;AAC1B,UAAM,QAAQ,YAAY,QAAQ,OAAO,EAAE;AAC3C,QAAI,QAAQ,EAAG;AAEf,UAAM,gBAAgB,iBAAiB,QAAQ,UAAU,KAAK;AAC9D,UAAM,aAAa,cAAc,aAAa;AAC9C,UAAM,SAAS,YAAY,QAAQ,QAAQ,CAAC;AAE5C,UAAM,WAAW,iBAAiB,QAAQ,QAAQ,KAAK;AACvD,UAAM,OAAO,iBAAiB,MAAM,IAAI,KAAK,iBAAiB,QAAQ,IAAI,KAAK;AAC/E,UAAM,OAAO,iBAAiB,MAAM,IAAI,KAAK,iBAAiB,QAAQ,KAAK,KAAK;AAEhF,QAAI,KAAK;AAAA,MACP,QAAQ,EAAE,YAAY,QAAQ,MAAM;AAAA,MACpC;AAAA,MACA;AAAA,MACA;AAAA,MACA,MAAM,mBAAmB,MAAM;AAAA,IACjC,CAAC;AAAA,EACH;AAEA,MAAI,KAAK,CAAC,GAAG,MAAM;AACjB,QAAI,EAAE,OAAO,eAAe,EAAE,OAAO,WAAY,QAAO,EAAE,OAAO,WAAW,cAAc,EAAE,OAAO,UAAU;AAC7G,QAAI,EAAE,OAAO,WAAW,EAAE,OAAO,OAAQ,QAAO,EAAE,OAAO,SAAS,EAAE,OAAO;AAC3E,WAAO,EAAE,OAAO,QAAQ,EAAE,OAAO;AAAA,EACnC,CAAC;AAED,SAAO;AACT;AAEA,IAAM,YAAY,CAAC,MAAoC,GAAG,EAAE,UAAU,MAAM,EAAE,MAAM,MAAM,EAAE,KAAK;AAEjG,IAAM,6BAA6B,CACjC,QACA,UAIG;AACH,QAAM,UAAsC,CAAC;AAE7C,QAAM,cAAc,oBAAI,IAAmC;AAC3D,QAAM,aAAa,oBAAI,IAAmC;AAE1D,aAAW,MAAM,QAAQ;AACvB,gBAAY,IAAI,UAAU,GAAG,MAAM,GAAG,EAAE;AAAA,EAC1C;AACA,aAAW,MAAM,OAAO;AACtB,eAAW,IAAI,UAAU,GAAG,MAAM,GAAG,EAAE;AAAA,EACzC;AAEA,QAAM,UAAU,MAAM,KAAK,oBAAI,IAAI,CAAC,GAAG,YAAY,KAAK,GAAG,GAAG,WAAW,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,CAAC;AAEpH,aAAW,OAAO,SAAS;AACzB,UAAM,IAAI,YAAY,IAAI,GAAG;AAC7B,UAAM,IAAI,WAAW,IAAI,GAAG;AAE5B,QAAI,CAAC,KAAK,GAAG;AACX,cAAQ,KAAK;AAAA,QACX,MAAM;AAAA,QACN,QAAQ,EAAE;AAAA,QACV,OAAO;AAAA,MACT,CAAC;AACD;AAAA,IACF;AACA,QAAI,KAAK,CAAC,GAAG;AACX,cAAQ,KAAK;AAAA,QACX,MAAM;AAAA,QACN,QAAQ,EAAE;AAAA,QACV,QAAQ;AAAA,MACV,CAAC;AACD;AAAA,IACF;AACA,QAAI,CAAC,KAAK,CAAC,EAAG;AAEd,UAAM,QAAQ,gBAAgB,CAAC;AAC/B,UAAM,QAAQ,gBAAgB,CAAC;AAC/B,QAAI,UAAU,OAAO;AACnB,cAAQ,KAAK;AAAA,QACX,MAAM;AAAA,QACN,QAAQ,EAAE;AAAA,QACV,QAAQ;AAAA,QACR,OAAO;AAAA,MACT,CAAC;AAAA,IACH;AAAA,EACF;AAEA,QAAM,UAAU;AAAA,IACd,OAAO,QAAQ,OAAO,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE;AAAA,IACpD,SAAS,QAAQ,OAAO,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE;AAAA,IACxD,SAAS,QAAQ,OAAO,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE;AAAA,EAC1D;AAEA,SAAO,EAAE,SAAS,QAAQ;AAC5B;AAEA,IAAM,UAAU;AAEhB,IAAM,UAAU,CACd,UACA,KACA,YASA,OAAO,IAAI,aAAa;AACtB,QAAM,cAAc,KAAK;AACzB,QAAM,UAAU,OAAO,IAAI,aAAa;AACtC,UAAM,MAAM,OAAO,SAAS,MAAM,KAAK,MAAM,KAAK;AAClD,UAAM,UAAU,QAAQ,IAAI,KAAK,SAAS,MAAM;AAChD,QAAI,aAAa;AACf,aAAO,YAAY,OAAO;AAAA,IAC5B;AACA,WAAO,QAAQ;AAAA,EACjB,CAAC;AAED,QAAM,aAAa,MAAM,QAAqB,uBAAuB;AAAA,IACnE,OAAO,CAAC,0BAA0B,CAAC;AAAA,EACrC,CAAC;AAED,QAAM,aAAa,KAAK,QAAS,MAAM,SAAS,YAAY,IAAI,KAAK,IAAmC;AAExG,QAAM,SAAS,OAAO,SAAS,SAAgB;AAAA,IAC7C,OAAO,KAAK;AAAA,IACZ,kBAAkB,QAAQ,oBAAoB;AAAA,IAC9C,WAAW,QAAQ;AAAA,IACnB,OAAO;AAAA,IACP,kCAAkC,KAAK;AAAA,EACzC,CAAC;AAED,QAAM,KAAK,KAAK,UAAU,OAAO,IAAI;AACrC,QAAM,QACJ,KAAK,UAAU,OAAO,IAAI,KAAK,OAAO,KAAK,SAAS,QAC/C,MAAM;AACL,UAAM,UAAU,KAAK,UAAU,OAAO,IAAI,IAAI,OAAO,KAAK,QAAQ;AAClE,UAAM,MAAO,SAAiB,SAAS,QAAS,QAAgB,SAAU;AAC1E,QAAI,eAAe,OAAO;AACxB,aAAO,EAAE,MAAM,IAAI,MAAM,SAAS,IAAI,QAAQ;AAAA,IAChD;AACA,WAAO,EAAE,MAAM,gBAAgB,SAAS,OAAO,OAAO,SAAS,EAAE;AAAA,EACnE,GAAG,IACH;AAEN,QAAM,iBAAiB,sBAAsB,OAAO,QAAQ;AAC5D,QAAM,WAAW,8BAA8B,OAAO,QAAQ;AAC9D,QAAM,cAAc,QAAQ,gBAAgB,QAAQ,CAAC;AAErD,SAAO;AAAA,IACL,SAAS;AAAA,MACP;AAAA,MACA,yBAAyB,eAAe;AAAA,MACxC,yBAAyB,eAAe;AAAA,MACxC,OAAO,EAAE,QAAQ,aAAa,SAAS,SAAS,OAAO;AAAA,MACvD,GAAI,QAAQ,EAAE,MAAM,IAAI,CAAC;AAAA,IAC3B;AAAA,IACA;AAAA,EACF;AACF,CAAC;AAEI,IAAM,uBAAuB,CAClC,MACA,YAEA,OAAO,IAAI,aAAa;AACtB,QAAM,WAAW,gBAAgB,IAAI;AAErC,QAAM,YAAY,OAAO,QAAQ,UAAU,SAAS,QAAQ;AAAA,IAC1D,kBAAkB,SAAS;AAAA,IAC3B,WAAW,SAAS;AAAA,EACtB,CAAC;AAED,QAAM,WAAW,OAAO,QAAQ,UAAU,SAAS,OAAO;AAAA,IACxD,kBAAkB,SAAS;AAAA,IAC3B,WAAW,SAAS;AAAA,EACtB,CAAC;AAED,QAAM,gBAAgB,CAAC,UAAU,QAAQ,MAAM,CAAC,SAAS,QAAQ;AACjE,QAAM,OAAO,gBACT,EAAE,SAAS,CAAC,EAAE,MAAM,cAAuB,CAAC,GAAG,SAAS,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS,EAAE,EAAE,IAC7F,2BAA2B,UAAU,UAAU,SAAS,QAAQ;AAEpE,QAAM,UAAiC,iBAAiB,KAAK,QAAQ,SAAS,IAAI,SAAS;AAE3F,SAAO;AAAA,IACL,SAAS;AAAA,IACT;AAAA,IACA,QAAQ,UAAU;AAAA,IAClB,OAAO,SAAS;AAAA,IAChB,SAAS,KAAK;AAAA,IACd,SAAS,KAAK;AAAA,EAChB;AACF,CAAC;;;AFjWH,IAAMC,mBAAkB,CAA4B,SAChD,MAAc,SAAS,eACpB,OACC,MAAc;AAEtB,IAAMC,YAAW,CAAC,UAChB,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAErE,IAAM,aAAa,CAAC,UAA2B,KAAK,UAAU,KAAK,KAAK;AAExE,IAAM,eAAe,CAAC,QAAiB,UAA0C;AAC/E,QAAM,IAAIA,UAAS,MAAM,IAAI,SAAS,CAAC;AACvC,QAAM,IAAIA,UAAS,KAAK,IAAI,QAAQ,CAAC;AACrC,QAAM,OAAO,MAAM,KAAK,oBAAI,IAAI,CAAC,GAAG,OAAO,KAAK,CAAC,GAAG,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,MAAM,EAAE,cAAc,CAAC,CAAC;AAC1G,QAAM,UAAoB,CAAC;AAC3B,aAAW,KAAK,MAAM;AACpB,QAAI,WAAY,EAAU,CAAC,CAAC,MAAM,WAAY,EAAU,CAAC,CAAC,GAAG;AAC3D,cAAQ,KAAK,CAAC;AAAA,IAChB;AAAA,EACF;AACA,SAAO;AACT;AAQA,IAAM,iCAAiC,CAAC,SAGsE;AAC5G,MAAI,KAAK,UAAU,WAAW,GAAG;AAC/B,WAAO,EAAE,SAAS,KAAK,OAAO,SAAS,cAAc,CAAC,EAAE;AAAA,EAC1D;AAEA,QAAM,QAAQ,oBAAI,IAAgC;AAClD,aAAW,QAAQ,KAAK,WAAW;AACjC,UAAM,IAAI,KAAK,SAAS,KAAK,MAAM;AAAA,EACrC;AAEA,QAAM,gBAAgB,oBAAI,IAAoB;AAE9C,aAAW,UAAU,KAAK,OAAO,SAAS;AACxC,QAAI,OAAO,SAAS,cAAc;AAChC,aAAO,EAAE,SAAS,QAAQ,cAAc,CAAC,EAAE;AAAA,IAC7C;AAEA,UAAM,SAAS,OAAO;AACtB,UAAM,QAAQ,OAAO;AACrB,QAAI,CAACA,UAAS,MAAM,KAAK,CAACA,UAAS,KAAK,GAAG;AACzC,aAAO,EAAE,SAAS,QAAQ,cAAc,CAAC,EAAE;AAAA,IAC7C;AAEA,UAAM,eAAe,OAAO;AAC5B,UAAM,cAAc,MAAM;AAC1B,QAAI,WAAW,YAAY,MAAM,WAAW,WAAW,GAAG;AACxD,aAAO,EAAE,SAAS,QAAQ,cAAc,CAAC,EAAE;AAAA,IAC7C;AACA,QAAI,WAAW,OAAO,QAAQ,MAAM,WAAW,MAAM,QAAQ,GAAG;AAC9D,aAAO,EAAE,SAAS,QAAQ,cAAc,CAAC,EAAE;AAAA,IAC7C;AACA,QAAI,WAAW,OAAO,IAAI,MAAM,WAAW,MAAM,IAAI,GAAG;AACtD,aAAO,EAAE,SAAS,QAAQ,cAAc,CAAC,EAAE;AAAA,IAC7C;AACA,QAAI,WAAW,OAAO,IAAI,MAAM,WAAW,MAAM,IAAI,GAAG;AACtD,aAAO,EAAE,SAAS,QAAQ,cAAc,CAAC,EAAE;AAAA,IAC7C;AAEA,UAAM,UAAU,aAAa,OAAO,MAAM,MAAM,IAAI;AACpD,eAAW,WAAW,SAAS;AAC7B,UAAI,CAAC,MAAM,IAAI,OAAO,GAAG;AACvB,eAAO,EAAE,SAAS,QAAQ,cAAc,CAAC,EAAE;AAAA,MAC7C;AACA,oBAAc,IAAI,UAAU,cAAc,IAAI,OAAO,KAAK,KAAK,CAAC;AAAA,IAClE;AAAA,EACF;AAEA,QAAM,eAAe,MAAM,KAAK,cAAc,QAAQ,CAAC,EACpD,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO;AAAA,IAC1B;AAAA,IACA;AAAA,IACA,GAAI,MAAM,IAAI,OAAO,IAAI,EAAE,QAAQ,MAAM,IAAI,OAAO,EAAE,IAAI,CAAC;AAAA,EAC7D,EAAE,EACD,KAAK,CAAC,GAAG,MAAM,EAAE,QAAQ,cAAc,EAAE,OAAO,CAAC;AAEpD,SAAO,EAAE,SAAS,QAAQ,aAAa;AACzC;AA4CO,IAAMC,mBAAkB,CAC7B,QACA,YAC4B,gBAAgB,QAAQ,OAAO;AAOtD,IAAMC,gBAAe,CAC1B,QACA,OACA,YACoC,aAAa,QAAQ,OAAO,OAAO;AAOlE,IAAMC,kBAAiB,CAAC,WACd,eAAe,MAAM;AAO/B,IAAMC,wBAAuB,CAClC,QACA,YAEA,qBAA6B,QAAe,OAAc;AAErD,IAAM,wBAAwB,CACnC,QACA,YAEAC,QAAO,IAAI,aAAa;AACtB,QAAM,WAAWN,iBAAgB,MAAa;AAE9C,QAAM,2BACH,SAAS,qBAA6B,QAAQ,UAAY,SAAS,oBAA4B;AAElG,QAAM,WAAW,OAAO,qBAA6B,QAAe;AAAA,IAClE,GAAI;AAAA,IACJ,kBAAkB;AAAA,EACpB,CAAC;AAED,QAAM,mBAAmB,SAAS,gCAAgC;AAClE,QAAM,YAAY,mBAA0B,8BAA8B,CAAC;AAC3E,QAAM,kBAAkB,+BAA+B,EAAE,QAAQ,UAAU,UAAU,CAAC;AACtF,QAAM,kBAAmC,mBAAmB,gBAAgB,UAAU,SAAS;AAE/F,QAAM,UAAW,SAAS,aAAa,SAAS;AAEhD,QAAM,cAAcM,QAAO,IAAI,aAAa;AAC1C,UAAM,MAAM,OAAO,SAAS,MAAM,KAAKC,OAAM,KAAK;AAClD,UAAM,UAAeC,SAAQ,IAAI,KAAK,SAAS,MAAa;AAC5D,QAAI,SAAS,aAAa;AACxB,aAAO,QAAQ,YAAY,OAAO;AAAA,IACpC;AACA,WAAO;AAAA,MACL,yBAAgC,2BAA2B,OAAO;AAAA,MAClE,yBAAgC,2BAA2B,OAAO;AAAA,IACpE;AAAA,EACF,CAAC;AAED,QAAM,aAAa,OAAO,SAAS,aAAa;AAAA,IAC9C,OAAO,SAAS;AAAA,IAChB,kBAAkB,SAAS,wBAAwB;AAAA,IACnD,OAAO,SAAS;AAAA,IAChB,kCAAkC,SAAS;AAAA,EAC7C,CAAC;AAED,QAAM,YAAYC,MAAK,UAAU,WAAW,IAAI,IAC5C,WAAW,KAAK,SACf,MAAM;AACL,UAAM,MAAMA,MAAK,UAAU,WAAW,IAAI,IACtC,OAAQ,WAAW,KAAa,SAAS,kBAAkB,IAC3D;AACJ,UAAM,IAAI,MAAM,GAAG;AAAA,EACrB,GAAG;AAEP,QAAM,OAAc,wBAAwB;AAAA,IAC1C,MAAM,SAAS,QAAQ;AAAA,IACvB,mBAAmB,UAAU,wBAAwB;AAAA,IACrD,yBAAyB,UAAU;AAAA,IACnC,kBAAkB,SAAS,wBAAwB;AAAA,EACrD,CAAC;AAED,QAAM,UAA2B,KAAK,YAAY,UAAU,oBAAoB,SAAS,SAAS;AAElG,SAAO;AAAA,IACL,SAAS;AAAA,IACT;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,GAAI,mBAAmB,EAAE,cAAc,gBAAgB,aAAa,IAAI,CAAC;AAAA,EAC3E;AACF,CAAC;","names":["diffManifest","exportStaticIr","extractManifest","verifyKernelContract","Context","Effect","Exit","Layer","resolveRootImpl","isRecord","extractManifest","diffManifest","exportStaticIr","verifyKernelContract","Effect","Layer","Context","Exit"]}