@manifesto-ai/sdk 3.3.0 → 3.3.2

package/README.md

@@ -4,7 +4,7 @@
 
 `@manifesto-ai/sdk` is the default package for applications that start with `createManifesto()`.
 
-> **Current Contract Note:** The truthful current SDK contract is the ADR-017 activation model documented in [docs/sdk-SPEC-v3.0.0-draft.md](docs/sdk-SPEC-v3.0.0-draft.md). The filename still says `draft`, but the activation-first decorator runtime is the current landed contract.
+> **Current Contract Note:** The current SDK contract is the ADR-017 activation model documented in [docs/sdk-SPEC.md](docs/sdk-SPEC.md).
 
 ## What This Package Owns
 
@@ -20,7 +20,7 @@ Use the SDK when you want:
 
 - the shortest path to a running base world
 - typed intent creation through `MEL.actions.*`
-- `dispatchAsync`, subscriptions, availability queries, and snapshot reads in one package
+- `dispatchAsync`, subscriptions, availability queries, action metadata inspection, and snapshot reads in one package
 - a clear boundary between law composition and runtime execution
 
 ## Activation Lifecycle
@@ -57,6 +57,7 @@ The activated base runtime exposes:
 - `on`
 - `getSnapshot`
 - `getAvailableActions`
+- `getActionMetadata`
 - `isActionAvailable`
 - `MEL`
 - `dispose`
@@ -74,6 +75,5 @@ Those governed runtime contracts land in the owning `@manifesto-ai/lineage` and
 ## Docs
 
 - [SDK Guide](docs/GUIDE.md)
-- [SDK Specification v3](docs/sdk-SPEC-v3.0.0-draft.md)
-- [SDK Specification v2](docs/sdk-SPEC-v2.0.0.md)
+- [SDK Specification](docs/sdk-SPEC.md)
 - [VERSION-INDEX](docs/VERSION-INDEX.md)

package/dist/{chunk-5QHK6EOU.js → chunk-ND4PXKJT.js}

@@ -105,6 +105,12 @@ function getExistingActivationState(manifesto) {
   const internal = manifesto;
   return internal[ACTIVATION_STATE] ?? null;
 }
+function getActionInputFieldNames(input) {
+  if (!input || input.type !== "object" || !input.fields) {
+    return [];
+  }
+  return Object.keys(input.fields);
+}
 function createRuntimeKernel({
   schema,
   host,
@@ -118,6 +124,28 @@ function createRuntimeKernel({
   let visibleSnapshot = initialSnapshot;
   let dispatchQueue = Promise.resolve();
   let disposed = false;
+  const actionNames = Object.keys(schema.actions);
+  const actionMetadataByName = Object.freeze(
+    Object.fromEntries(
+      actionNames.map((name) => {
+        const action = schema.actions[name];
+        const actionRef = MEL.actions[name];
+        const rawParams = actionRef?.[ACTION_PARAM_NAMES];
+        const params = Object.freeze(
+          Array.isArray(rawParams) ? [...rawParams] : getActionInputFieldNames(action.input)
+        );
+        return [name, Object.freeze({
+          name,
+          params,
+          input: action.input,
+          description: action.description
+        })];
+      })
+    )
+  );
+  const actionMetadata = Object.freeze(
+    actionNames.map((name) => actionMetadataByName[name])
+  );
   const subscribers = /* @__PURE__ */ new Set();
   const eventListeners = /* @__PURE__ */ new Map();
   function subscribe(selector, listener) {
@@ -169,6 +197,12 @@ function createRuntimeKernel({
   function getAvailableActions() {
     return queryAvailableActions(schema, visibleSnapshot);
   }
+  const getActionMetadata = ((name) => {
+    if (name !== void 0) {
+      return actionMetadataByName[String(name)];
+    }
+    return actionMetadata;
+  });
   function isActionAvailable(name) {
     return queryActionAvailable(schema, visibleSnapshot, String(name));
   }
@@ -261,6 +295,7 @@ function createRuntimeKernel({
     on,
     getSnapshot,
     getAvailableActions,
+    getActionMetadata,
     isActionAvailable,
     dispose,
     isDisposed: () => disposed,
@@ -327,6 +362,7 @@ function createBaseRuntimeInstance(kernel) {
     on: kernel.on,
     getSnapshot: kernel.getSnapshot,
     getAvailableActions: kernel.getAvailableActions,
+    getActionMetadata: kernel.getActionMetadata,
     isActionAvailable: kernel.isActionAvailable,
     MEL: kernel.MEL,
     schema: kernel.schema,
@@ -368,4 +404,4 @@ export {
   createRuntimeKernel,
   createBaseRuntimeInstance
 };
-//# sourceMappingURL=chunk-5QHK6EOU.js.map
+//# sourceMappingURL=chunk-ND4PXKJT.js.map

package/dist/chunk-ND4PXKJT.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/errors.ts","../src/internal.ts"],"sourcesContent":["export class ManifestoError extends Error {\n  readonly code: string;\n\n  constructor(code: string, message: string, options?: ErrorOptions) {\n    super(message, options);\n    this.name = \"ManifestoError\";\n    this.code = code;\n  }\n}\n\nexport class ReservedEffectError extends ManifestoError {\n  readonly effectType: string;\n\n  constructor(effectType: string) {\n    super(\n      \"RESERVED_EFFECT\",\n      `Effect type \"${effectType}\" is reserved and cannot be overridden`,\n    );\n    this.name = \"ReservedEffectError\";\n    this.effectType = effectType;\n  }\n}\n\nexport interface CompileDiagnostic {\n  readonly severity: \"error\" | \"warning\" | \"info\";\n  readonly code: string;\n  readonly message: string;\n  readonly location: {\n    readonly start: { readonly line: number; readonly column: number; readonly offset: number };\n    readonly end: { readonly line: number; readonly column: number; readonly offset: number };\n  };\n  readonly source?: string;\n  readonly suggestion?: string;\n}\n\nexport class CompileError extends ManifestoError {\n  readonly diagnostics: readonly CompileDiagnostic[];\n\n  constructor(diagnostics: readonly CompileDiagnostic[], formattedMessage: string) {\n    super(\"COMPILE_ERROR\", formattedMessage);\n    this.name = \"CompileError\";\n    this.diagnostics = diagnostics;\n  }\n}\n\nexport class DisposedError extends ManifestoError {\n  constructor() {\n    super(\"DISPOSED\", \"Cannot use a disposed Manifesto runtime\");\n    this.name = \"DisposedError\";\n  }\n}\n\nexport class AlreadyActivatedError extends ManifestoError {\n  constructor() {\n    super(\"ALREADY_ACTIVATED\", \"ComposableManifesto.activate() may only be called once\");\n    this.name = \"AlreadyActivatedError\";\n  }\n}\n","import {\n  getAvailableActions as queryAvailableActions,\n  isActionAvailable as queryActionAvailable,\n  type DomainSchema,\n  type Snapshot as CoreSnapshot,\n} from \"@manifesto-ai/core\";\nimport type { HostResult, ManifestoHost } from \"@manifesto-ai/host\";\n\nimport {\n  AlreadyActivatedError,\n  DisposedError,\n  ManifestoError,\n} from \"./errors.js\";\nimport type {\n  BaseLaws,\n  ComposableManifesto,\n  ManifestoBaseInstance,\n  ManifestoDomainShape,\n  ManifestoEvent,\n  ManifestoEventMap,\n  Selector,\n  Snapshot,\n  TypedActionMetadata,\n  TypedCreateIntent,\n  TypedGetActionMetadata,\n  TypedIntent,\n  TypedMEL,\n  TypedOn,\n  TypedSubscribe,\n  Unsubscribe,\n} from \"./types.js\";\n\nexport const ACTION_PARAM_NAMES = Symbol(\"manifesto-sdk.action-param-names\");\nexport const RUNTIME_KERNEL_FACTORY = Symbol(\"manifesto-sdk.runtime-kernel-factory\");\nexport const ACTIVATION_STATE = Symbol(\"manifesto-sdk.activation-state\");\n\ntype RuntimeActionParamMetadata = readonly string[] | null;\ntype RuntimeActionRef = {\n  readonly name: PropertyKey;\n  readonly [ACTION_PARAM_NAMES]?: RuntimeActionParamMetadata;\n};\n\nexport type ActivationState = {\n  activated: boolean;\n};\n\nexport type HostDispatchOptions = NonNullable<Parameters<ManifestoHost[\"dispatch\"]>[1]>;\n\ninterface Subscriber<TState, R> {\n  readonly selector: Selector<TState, R>;\n  readonly listener: (value: R) => void;\n  lastValue: R | undefined;\n  initialized: boolean;\n}\n\nexport interface RuntimeKernel<T extends ManifestoDomainShape> {\n  readonly schema: DomainSchema;\n  readonly MEL: TypedMEL<T>;\n  readonly createIntent: TypedCreateIntent<T>;\n  readonly subscribe: TypedSubscribe<T>;\n  readonly on: TypedOn<T>;\n  readonly getSnapshot: () => Snapshot<T[\"state\"]>;\n  readonly getAvailableActions: () => readonly (keyof T[\"actions\"])[];\n  readonly getActionMetadata: TypedGetActionMetadata<T>;\n  readonly isActionAvailable: (name: keyof T[\"actions\"]) => boolean;\n  readonly dispose: () => void;\n  readonly isDisposed: () => boolean;\n  readonly getVisibleCoreSnapshot: () => CoreSnapshot;\n  readonly setVisibleSnapshot: (\n    snapshot: CoreSnapshot,\n    options?: { readonly notify?: boolean },\n  ) => Snapshot<T[\"state\"]>;\n  readonly restoreVisibleSnapshot: () => void;\n  readonly emitEvent: <K extends ManifestoEvent>(\n    event: K,\n    payload: ManifestoEventMap<T>[K],\n  ) => void;\n  readonly enqueue: <R>(task: () => Promise<R>) => Promise<R>;\n  readonly ensureIntentId: (intent: TypedIntent<T>) => TypedIntent<T>;\n  readonly executeHost: (\n    intent: TypedIntent<T>,\n    options?: HostDispatchOptions,\n  ) => Promise<HostResult>;\n  readonly rejectUnavailable: (intent: TypedIntent<T>) => never;\n}\n\nexport type RuntimeKernelFactory<T extends ManifestoDomainShape> = () => RuntimeKernel<T>;\n\nexport type InternalComposableManifesto<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n> = ComposableManifesto<T, Laws> & {\n  readonly [RUNTIME_KERNEL_FACTORY]: RuntimeKernelFactory<T>;\n  readonly [ACTIVATION_STATE]: ActivationState;\n};\n\ntype RuntimeKernelOptions<T extends ManifestoDomainShape> = {\n  readonly schema: DomainSchema;\n  readonly host: ManifestoHost;\n  readonly MEL: TypedMEL<T>;\n  readonly createIntent: TypedCreateIntent<T>;\n};\n\nexport function attachRuntimeKernelFactory<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n  factory: RuntimeKernelFactory<T>,\n  activationState?: ActivationState,\n): InternalComposableManifesto<T, Laws> {\n  Object.defineProperty(manifesto, RUNTIME_KERNEL_FACTORY, {\n    enumerable: false,\n    configurable: false,\n    writable: false,\n    value: factory,\n  });\n\n  const state = activationState ?? getExistingActivationState(manifesto) ?? {\n    activated: false,\n  };\n\n  if (!getExistingActivationState(manifesto)) {\n    Object.defineProperty(manifesto, ACTIVATION_STATE, {\n      enumerable: false,\n      configurable: false,\n      writable: false,\n      value: state,\n    });\n  }\n\n  return manifesto as InternalComposableManifesto<T, Laws>;\n}\n\nexport function getRuntimeKernelFactory<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n): RuntimeKernelFactory<T> {\n  const internal = manifesto as Partial<InternalComposableManifesto<T, Laws>>;\n  const factory = internal[RUNTIME_KERNEL_FACTORY];\n\n  if (typeof factory !== \"function\") {\n    throw new ManifestoError(\n      \"SCHEMA_ERROR\",\n      \"ComposableManifesto is missing its runtime kernel factory\",\n    );\n  }\n\n  return factory;\n}\n\nexport function getActivationState<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n): ActivationState {\n  const internal = manifesto as Partial<InternalComposableManifesto<T, Laws>>;\n  const state = internal[ACTIVATION_STATE];\n\n  if (!state) {\n    throw new ManifestoError(\n      \"SCHEMA_ERROR\",\n      \"ComposableManifesto is missing its activation state\",\n    );\n  }\n\n  return state;\n}\n\nexport function assertComposableNotActivated<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n): void {\n  if (getActivationState(manifesto).activated) {\n    throw new AlreadyActivatedError();\n  }\n}\n\nexport function activateComposable<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n): void {\n  const state = getActivationState(manifesto);\n  if (state.activated) {\n    throw new AlreadyActivatedError();\n  }\n  state.activated = true;\n}\n\nfunction getExistingActivationState<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n): ActivationState | null {\n  const internal = manifesto as Partial<InternalComposableManifesto<T, Laws>>;\n  return internal[ACTIVATION_STATE] ?? null;\n}\n\nfunction getActionInputFieldNames(\n  input: DomainSchema[\"actions\"][string][\"input\"],\n): readonly string[] {\n  if (!input || input.type !== \"object\" || !input.fields) {\n    return [];\n  }\n\n  return Object.keys(input.fields);\n}\n\nexport function createRuntimeKernel<T extends ManifestoDomainShape>({\n  schema,\n  host,\n  MEL,\n  createIntent,\n}: RuntimeKernelOptions<T>): RuntimeKernel<T> {\n  const initialSnapshot = host.getSnapshot();\n  if (!initialSnapshot) {\n    throw new ManifestoError(\"SCHEMA_ERROR\", \"Host failed to initialize its genesis snapshot\");\n  }\n\n  let visibleSnapshot: CoreSnapshot = initialSnapshot;\n  let dispatchQueue: Promise<void> = Promise.resolve();\n  let disposed = false;\n  const actionNames = Object.keys(schema.actions) as Array<keyof T[\"actions\"] & string>;\n  const actionMetadataByName = Object.freeze(\n    Object.fromEntries(\n      actionNames.map((name) => {\n        const action = schema.actions[name];\n        const actionRef = MEL.actions[name] as unknown as RuntimeActionRef | undefined;\n        const rawParams = actionRef?.[ACTION_PARAM_NAMES];\n        const params = Object.freeze(\n          Array.isArray(rawParams) ? [...rawParams] : getActionInputFieldNames(action.input),\n        );\n\n        return [name, Object.freeze({\n          name,\n          params,\n          input: action.input,\n          description: action.description,\n        })];\n      }),\n    ),\n  ) as Readonly<Record<keyof T[\"actions\"] & string, TypedActionMetadata<T>>>;\n  const actionMetadata = Object.freeze(\n    actionNames.map((name) => actionMetadataByName[name]),\n  ) as readonly TypedActionMetadata<T>[];\n\n  const subscribers = new Set<Subscriber<T[\"state\"], unknown>>();\n  const eventListeners = new Map<\n    ManifestoEvent,\n    Set<(payload: ManifestoEventMap<T>[ManifestoEvent]) => void>\n  >();\n\n  function subscribe<R>(\n    selector: Selector<T[\"state\"], R>,\n    listener: (value: R) => void,\n  ): Unsubscribe {\n    if (disposed) {\n      return () => {};\n    }\n\n    let lastValue: R | undefined;\n    let initialized = false;\n\n    try {\n      lastValue = selector(snapshotForSelector<T[\"state\"]>(visibleSnapshot));\n      initialized = true;\n    } catch {\n      lastValue = undefined;\n      initialized = false;\n    }\n\n    const subscriber: Subscriber<T[\"state\"], R> = {\n      selector,\n      listener,\n      lastValue,\n      initialized,\n    };\n\n    subscribers.add(subscriber as Subscriber<T[\"state\"], unknown>);\n    return () => {\n      subscribers.delete(subscriber as Subscriber<T[\"state\"], unknown>);\n    };\n  }\n\n  function on<K extends ManifestoEvent>(\n    event: K,\n    handler: (payload: ManifestoEventMap<T>[K]) => void,\n  ): Unsubscribe {\n    if (disposed) {\n      return () => {};\n    }\n\n    let listeners = eventListeners.get(event);\n    if (!listeners) {\n      listeners = new Set();\n      eventListeners.set(\n        event,\n        listeners as Set<(payload: ManifestoEventMap<T>[ManifestoEvent]) => void>,\n      );\n    }\n\n    listeners.add(handler as (payload: ManifestoEventMap<T>[ManifestoEvent]) => void);\n    return () => {\n      listeners?.delete(handler as (payload: ManifestoEventMap<T>[ManifestoEvent]) => void);\n    };\n  }\n\n  function getSnapshot(): Snapshot<T[\"state\"]> {\n    return freezeSnapshot(visibleSnapshot) as Snapshot<T[\"state\"]>;\n  }\n\n  function getAvailableActions(): readonly (keyof T[\"actions\"])[] {\n    return queryAvailableActions(schema, visibleSnapshot) as readonly (keyof T[\"actions\"])[];\n  }\n\n  const getActionMetadata: TypedGetActionMetadata<T> = ((name?: keyof T[\"actions\"]) => {\n    if (name !== undefined) {\n      return actionMetadataByName[String(name) as keyof T[\"actions\"] & string];\n    }\n\n    return actionMetadata;\n  }) as TypedGetActionMetadata<T>;\n\n  function isActionAvailable(name: keyof T[\"actions\"]): boolean {\n    return queryActionAvailable(schema, visibleSnapshot, String(name));\n  }\n\n  function dispose(): void {\n    if (disposed) {\n      return;\n    }\n\n    disposed = true;\n    subscribers.clear();\n    eventListeners.clear();\n  }\n\n  function setVisibleSnapshot(\n    snapshot: CoreSnapshot,\n    options?: { readonly notify?: boolean },\n  ): Snapshot<T[\"state\"]> {\n    visibleSnapshot = structuredClone(snapshot);\n    host.reset(visibleSnapshot);\n\n    const publishedSnapshot = freezeSnapshot(visibleSnapshot) as Snapshot<T[\"state\"]>;\n    if (options?.notify !== false) {\n      notifySubscribers(publishedSnapshot);\n    }\n    return publishedSnapshot;\n  }\n\n  function restoreVisibleSnapshot(): void {\n    host.reset(visibleSnapshot);\n  }\n\n  function emitEvent<K extends ManifestoEvent>(\n    event: K,\n    payload: ManifestoEventMap<T>[K],\n  ): void {\n    const listeners = eventListeners.get(event);\n    if (!listeners) {\n      return;\n    }\n\n    for (const handler of listeners) {\n      try {\n        handler(payload);\n      } catch {\n        // Event handler failures are isolated from runtime semantics.\n      }\n    }\n  }\n\n  function enqueue<R>(task: () => Promise<R>): Promise<R> {\n    const result = dispatchQueue\n      .catch(() => {})\n      .then(task);\n\n    dispatchQueue = result.then(() => undefined, () => undefined);\n    return result;\n  }\n\n  function ensureIntentId(intent: TypedIntent<T>): TypedIntent<T> {\n    if (intent.intentId && intent.intentId.length > 0) {\n      return intent;\n    }\n\n    return {\n      ...intent,\n      intentId: generateUUID(),\n    } as TypedIntent<T>;\n  }\n\n  async function executeHost(\n    intent: TypedIntent<T>,\n    options?: HostDispatchOptions,\n  ): Promise<HostResult> {\n    return host.dispatch(intent, options);\n  }\n\n  function rejectUnavailable(intent: TypedIntent<T>): never {\n    const error = new ManifestoError(\n      \"ACTION_UNAVAILABLE\",\n      `Action \"${intent.type}\" is unavailable against the current visible snapshot`,\n    );\n    emitEvent(\"dispatch:rejected\", {\n      intentId: intent.intentId ?? \"\",\n      intent,\n      reason: error.message,\n    });\n    throw error;\n  }\n\n  function notifySubscribers(snapshot: Snapshot<T[\"state\"]>): void {\n    for (const subscriber of subscribers) {\n      let selected: unknown;\n      try {\n        selected = subscriber.selector(snapshot);\n      } catch {\n        continue;\n      }\n\n      if (subscriber.initialized && Object.is(subscriber.lastValue, selected)) {\n        continue;\n      }\n\n      subscriber.lastValue = selected;\n      subscriber.initialized = true;\n\n      try {\n        subscriber.listener(selected);\n      } catch {\n        // Listener failures are isolated from runtime semantics.\n      }\n    }\n  }\n\n  return {\n    schema,\n    MEL,\n    createIntent,\n    subscribe,\n    on,\n    getSnapshot,\n    getAvailableActions,\n    getActionMetadata,\n    isActionAvailable,\n    dispose,\n    isDisposed: () => disposed,\n    getVisibleCoreSnapshot: () => structuredClone(visibleSnapshot),\n    setVisibleSnapshot,\n    restoreVisibleSnapshot,\n    emitEvent,\n    enqueue,\n    ensureIntentId,\n    executeHost,\n    rejectUnavailable,\n  };\n}\n\nexport function createBaseRuntimeInstance<T extends ManifestoDomainShape>(\n  kernel: RuntimeKernel<T>,\n): ManifestoBaseInstance<T> {\n  async function processIntent(intent: TypedIntent<T>): Promise<Snapshot<T[\"state\"]>> {\n    if (kernel.isDisposed()) {\n      throw new DisposedError();\n    }\n\n    if (!kernel.isActionAvailable(intent.type as keyof T[\"actions\"])) {\n      return kernel.rejectUnavailable(intent);\n    }\n\n    let result: HostResult;\n    try {\n      result = await kernel.executeHost(intent);\n    } catch (error) {\n      const failure = toError(error);\n      kernel.emitEvent(\"dispatch:failed\", {\n        intentId: intent.intentId ?? \"\",\n        intent,\n        error: failure,\n      });\n      throw failure;\n    }\n\n    if (result.status === \"error\") {\n      const publishedSnapshot = kernel.setVisibleSnapshot(result.snapshot);\n      const failure = result.error ?? new ManifestoError(\"HOST_ERROR\", \"Host dispatch failed\");\n      kernel.emitEvent(\"dispatch:failed\", {\n        intentId: intent.intentId ?? \"\",\n        intent,\n        error: failure,\n        snapshot: publishedSnapshot,\n      });\n      throw failure;\n    }\n\n    const publishedSnapshot = kernel.setVisibleSnapshot(result.snapshot);\n    kernel.emitEvent(\"dispatch:completed\", {\n      intentId: intent.intentId ?? \"\",\n      intent,\n      snapshot: publishedSnapshot,\n    });\n    return publishedSnapshot;\n  }\n\n  function dispatchAsync(intent: TypedIntent<T>): Promise<Snapshot<T[\"state\"]>> {\n    if (kernel.isDisposed()) {\n      return Promise.reject(new DisposedError());\n    }\n\n    const enrichedIntent = kernel.ensureIntentId(intent);\n    return kernel.enqueue(() => processIntent(enrichedIntent));\n  }\n\n  return {\n    createIntent: kernel.createIntent,\n    dispatchAsync,\n    subscribe: kernel.subscribe,\n    on: kernel.on,\n    getSnapshot: kernel.getSnapshot,\n    getAvailableActions: kernel.getAvailableActions,\n    getActionMetadata: kernel.getActionMetadata,\n    isActionAvailable: kernel.isActionAvailable,\n    MEL: kernel.MEL,\n    schema: kernel.schema,\n    dispose: kernel.dispose,\n  };\n}\n\nfunction snapshotForSelector<TState>(snapshot: CoreSnapshot): Snapshot<TState> {\n  return freezeSnapshot(snapshot) as Snapshot<TState>;\n}\n\nfunction freezeSnapshot<TData = unknown>(snapshot: CoreSnapshot): Snapshot<TData> {\n  return Object.freeze(structuredClone(snapshot)) as Snapshot<TData>;\n}\n\nfunction toError(error: unknown): Error {\n  return error instanceof Error\n    ? error\n    : new Error(String(error));\n}\n\nfunction generateUUID(): string {\n  if (typeof crypto !== \"undefined\" && typeof crypto.randomUUID === \"function\") {\n    return crypto.randomUUID();\n  }\n\n  return \"xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx\".replace(/[xy]/g, (char) => {\n    const random = (Math.random() * 16) | 0;\n    const value = char === \"x\" ? random : (random & 0x3) | 0x8;\n    return value.toString(16);\n  });\n}\n"],"mappings":";AAAO,IAAM,iBAAN,cAA6B,MAAM;AAAA,EAC/B;AAAA,EAET,YAAY,MAAc,SAAiB,SAAwB;AACjE,UAAM,SAAS,OAAO;AACtB,SAAK,OAAO;AACZ,SAAK,OAAO;AAAA,EACd;AACF;AAEO,IAAM,sBAAN,cAAkC,eAAe;AAAA,EAC7C;AAAA,EAET,YAAY,YAAoB;AAC9B;AAAA,MACE;AAAA,MACA,gBAAgB,UAAU;AAAA,IAC5B;AACA,SAAK,OAAO;AACZ,SAAK,aAAa;AAAA,EACpB;AACF;AAcO,IAAM,eAAN,cAA2B,eAAe;AAAA,EACtC;AAAA,EAET,YAAY,aAA2C,kBAA0B;AAC/E,UAAM,iBAAiB,gBAAgB;AACvC,SAAK,OAAO;AACZ,SAAK,cAAc;AAAA,EACrB;AACF;AAEO,IAAM,gBAAN,cAA4B,eAAe;AAAA,EAChD,cAAc;AACZ,UAAM,YAAY,yCAAyC;AAC3D,SAAK,OAAO;AAAA,EACd;AACF;AAEO,IAAM,wBAAN,cAAoC,eAAe;AAAA,EACxD,cAAc;AACZ,UAAM,qBAAqB,wDAAwD;AACnF,SAAK,OAAO;AAAA,EACd;AACF;;;ACzDA;AAAA,EACE,uBAAuB;AAAA,EACvB,qBAAqB;AAAA,OAGhB;AA2BA,IAAM,qBAAqB,uBAAO,kCAAkC;AACpE,IAAM,yBAAyB,uBAAO,sCAAsC;AAC5E,IAAM,mBAAmB,uBAAO,gCAAgC;AAqEhE,SAAS,2BAId,WACA,SACA,iBACsC;AACtC,SAAO,eAAe,WAAW,wBAAwB;AAAA,IACvD,YAAY;AAAA,IACZ,cAAc;AAAA,IACd,UAAU;AAAA,IACV,OAAO;AAAA,EACT,CAAC;AAED,QAAM,QAAQ,mBAAmB,2BAA2B,SAAS,KAAK;AAAA,IACxE,WAAW;AAAA,EACb;AAEA,MAAI,CAAC,2BAA2B,SAAS,GAAG;AAC1C,WAAO,eAAe,WAAW,kBAAkB;AAAA,MACjD,YAAY;AAAA,MACZ,cAAc;AAAA,MACd,UAAU;AAAA,MACV,OAAO;AAAA,IACT,CAAC;AAAA,EACH;AAEA,SAAO;AACT;AAEO,SAAS,wBAId,WACyB;AACzB,QAAM,WAAW;AACjB,QAAM,UAAU,SAAS,sBAAsB;AAE/C,MAAI,OAAO,YAAY,YAAY;AACjC,UAAM,IAAI;AAAA,MACR;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAEO,SAAS,mBAId,WACiB;AACjB,QAAM,WAAW;AACjB,QAAM,QAAQ,SAAS,gBAAgB;AAEvC,MAAI,CAAC,OAAO;AACV,UAAM,IAAI;AAAA,MACR;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAEO,SAAS,6BAId,WACM;AACN,MAAI,mBAAmB,SAAS,EAAE,WAAW;AAC3C,UAAM,IAAI,sBAAsB;AAAA,EAClC;AACF;AAEO,SAAS,mBAId,WACM;AACN,QAAM,QAAQ,mBAAmB,SAAS;AAC1C,MAAI,MAAM,WAAW;AACnB,UAAM,IAAI,sBAAsB;AAAA,EAClC;AACA,QAAM,YAAY;AACpB;AAEA,SAAS,2BAIP,WACwB;AACxB,QAAM,WAAW;AACjB,SAAO,SAAS,gBAAgB,KAAK;AACvC;AAEA,SAAS,yBACP,OACmB;AACnB,MAAI,CAAC,SAAS,MAAM,SAAS,YAAY,CAAC,MAAM,QAAQ;AACtD,WAAO,CAAC;AAAA,EACV;AAEA,SAAO,OAAO,KAAK,MAAM,MAAM;AACjC;AAEO,SAAS,oBAAoD;AAAA,EAClE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,GAA8C;AAC5C,QAAM,kBAAkB,KAAK,YAAY;AACzC,MAAI,CAAC,iBAAiB;AACpB,UAAM,IAAI,eAAe,gBAAgB,gDAAgD;AAAA,EAC3F;AAEA,MAAI,kBAAgC;AACpC,MAAI,gBAA+B,QAAQ,QAAQ;AACnD,MAAI,WAAW;AACf,QAAM,cAAc,OAAO,KAAK,OAAO,OAAO;AAC9C,QAAM,uBAAuB,OAAO;AAAA,IAClC,OAAO;AAAA,MACL,YAAY,IAAI,CAAC,SAAS;AACxB,cAAM,SAAS,OAAO,QAAQ,IAAI;AAClC,cAAM,YAAY,IAAI,QAAQ,IAAI;AAClC,cAAM,YAAY,YAAY,kBAAkB;AAChD,cAAM,SAAS,OAAO;AAAA,UACpB,MAAM,QAAQ,SAAS,IAAI,CAAC,GAAG,SAAS,IAAI,yBAAyB,OAAO,KAAK;AAAA,QACnF;AAEA,eAAO,CAAC,MAAM,OAAO,OAAO;AAAA,UAC1B;AAAA,UACA;AAAA,UACA,OAAO,OAAO;AAAA,UACd,aAAa,OAAO;AAAA,QACtB,CAAC,CAAC;AAAA,MACJ,CAAC;AAAA,IACH;AAAA,EACF;AACA,QAAM,iBAAiB,OAAO;AAAA,IAC5B,YAAY,IAAI,CAAC,SAAS,qBAAqB,IAAI,CAAC;AAAA,EACtD;AAEA,QAAM,cAAc,oBAAI,IAAqC;AAC7D,QAAM,iBAAiB,oBAAI,IAGzB;AAEF,WAAS,UACP,UACA,UACa;AACb,QAAI,UAAU;AACZ,aAAO,MAAM;AAAA,MAAC;AAAA,IAChB;AAEA,QAAI;AACJ,QAAI,cAAc;AAElB,QAAI;AACF,kBAAY,SAAS,oBAAgC,eAAe,CAAC;AACrE,oBAAc;AAAA,IAChB,QAAQ;AACN,kBAAY;AACZ,oBAAc;AAAA,IAChB;AAEA,UAAM,aAAwC;AAAA,MAC5C;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAEA,gBAAY,IAAI,UAA6C;AAC7D,WAAO,MAAM;AACX,kBAAY,OAAO,UAA6C;AAAA,IAClE;AAAA,EACF;AAEA,WAAS,GACP,OACA,SACa;AACb,QAAI,UAAU;AACZ,aAAO,MAAM;AAAA,MAAC;AAAA,IAChB;AAEA,QAAI,YAAY,eAAe,IAAI,KAAK;AACxC,QAAI,CAAC,WAAW;AACd,kBAAY,oBAAI,IAAI;AACpB,qBAAe;AAAA,QACb;AAAA,QACA;AAAA,MACF;AAAA,IACF;AAEA,cAAU,IAAI,OAAkE;AAChF,WAAO,MAAM;AACX,iBAAW,OAAO,OAAkE;AAAA,IACtF;AAAA,EACF;AAEA,WAAS,cAAoC;AAC3C,WAAO,eAAe,eAAe;AAAA,EACvC;AAEA,WAAS,sBAAuD;AAC9D,WAAO,sBAAsB,QAAQ,eAAe;AAAA,EACtD;AAEA,QAAM,qBAAgD,CAAC,SAA8B;AACnF,QAAI,SAAS,QAAW;AACtB,aAAO,qBAAqB,OAAO,IAAI,CAAgC;AAAA,IACzE;AAEA,WAAO;AAAA,EACT;AAEA,WAAS,kBAAkB,MAAmC;AAC5D,WAAO,qBAAqB,QAAQ,iBAAiB,OAAO,IAAI,CAAC;AAAA,EACnE;AAEA,WAAS,UAAgB;AACvB,QAAI,UAAU;AACZ;AAAA,IACF;AAEA,eAAW;AACX,gBAAY,MAAM;AAClB,mBAAe,MAAM;AAAA,EACvB;AAEA,WAAS,mBACP,UACA,SACsB;AACtB,sBAAkB,gBAAgB,QAAQ;AAC1C,SAAK,MAAM,eAAe;AAE1B,UAAM,oBAAoB,eAAe,eAAe;AACxD,QAAI,SAAS,WAAW,OAAO;AAC7B,wBAAkB,iBAAiB;AAAA,IACrC;AACA,WAAO;AAAA,EACT;AAEA,WAAS,yBAA+B;AACtC,SAAK,MAAM,eAAe;AAAA,EAC5B;AAEA,WAAS,UACP,OACA,SACM;AACN,UAAM,YAAY,eAAe,IAAI,KAAK;AAC1C,QAAI,CAAC,WAAW;AACd;AAAA,IACF;AAEA,eAAW,WAAW,WAAW;AAC/B,UAAI;AACF,gBAAQ,OAAO;AAAA,MACjB,QAAQ;AAAA,MAER;AAAA,IACF;AAAA,EACF;AAEA,WAAS,QAAW,MAAoC;AACtD,UAAM,SAAS,cACZ,MAAM,MAAM;AAAA,IAAC,CAAC,EACd,KAAK,IAAI;AAEZ,oBAAgB,OAAO,KAAK,MAAM,QAAW,MAAM,MAAS;AAC5D,WAAO;AAAA,EACT;AAEA,WAAS,eAAe,QAAwC;AAC9D,QAAI,OAAO,YAAY,OAAO,SAAS,SAAS,GAAG;AACjD,aAAO;AAAA,IACT;AAEA,WAAO;AAAA,MACL,GAAG;AAAA,MACH,UAAU,aAAa;AAAA,IACzB;AAAA,EACF;AAEA,iBAAe,YACb,QACA,SACqB;AACrB,WAAO,KAAK,SAAS,QAAQ,OAAO;AAAA,EACtC;AAEA,WAAS,kBAAkB,QAA+B;AACxD,UAAM,QAAQ,IAAI;AAAA,MAChB;AAAA,MACA,WAAW,OAAO,IAAI;AAAA,IACxB;AACA,cAAU,qBAAqB;AAAA,MAC7B,UAAU,OAAO,YAAY;AAAA,MAC7B;AAAA,MACA,QAAQ,MAAM;AAAA,IAChB,CAAC;AACD,UAAM;AAAA,EACR;AAEA,WAAS,kBAAkB,UAAsC;AAC/D,eAAW,cAAc,aAAa;AACpC,UAAI;AACJ,UAAI;AACF,mBAAW,WAAW,SAAS,QAAQ;AAAA,MACzC,QAAQ;AACN;AAAA,MACF;AAEA,UAAI,WAAW,eAAe,OAAO,GAAG,WAAW,WAAW,QAAQ,GAAG;AACvE;AAAA,MACF;AAEA,iBAAW,YAAY;AACvB,iBAAW,cAAc;AAEzB,UAAI;AACF,mBAAW,SAAS,QAAQ;AAAA,MAC9B,QAAQ;AAAA,MAER;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,YAAY,MAAM;AAAA,IAClB,wBAAwB,MAAM,gBAAgB,eAAe;AAAA,IAC7D;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACF;AAEO,SAAS,0BACd,QAC0B;AAC1B,iBAAe,cAAc,QAAuD;AAClF,QAAI,OAAO,WAAW,GAAG;AACvB,YAAM,IAAI,cAAc;AAAA,IAC1B;AAEA,QAAI,CAAC,OAAO,kBAAkB,OAAO,IAA0B,GAAG;AAChE,aAAO,OAAO,kBAAkB,MAAM;AAAA,IACxC;AAEA,QAAI;AACJ,QAAI;AACF,eAAS,MAAM,OAAO,YAAY,MAAM;AAAA,IAC1C,SAAS,OAAO;AACd,YAAM,UAAU,QAAQ,KAAK;AAC7B,aAAO,UAAU,mBAAmB;AAAA,QAClC,UAAU,OAAO,YAAY;AAAA,QAC7B;AAAA,QACA,OAAO;AAAA,MACT,CAAC;AACD,YAAM;AAAA,IACR;AAEA,QAAI,OAAO,WAAW,SAAS;AAC7B,YAAMA,qBAAoB,OAAO,mBAAmB,OAAO,QAAQ;AACnE,YAAM,UAAU,OAAO,SAAS,IAAI,eAAe,cAAc,sBAAsB;AACvF,aAAO,UAAU,mBAAmB;AAAA,QAClC,UAAU,OAAO,YAAY;AAAA,QAC7B;AAAA,QACA,OAAO;AAAA,QACP,UAAUA;AAAA,MACZ,CAAC;AACD,YAAM;AAAA,IACR;AAEA,UAAM,oBAAoB,OAAO,mBAAmB,OAAO,QAAQ;AACnE,WAAO,UAAU,sBAAsB;AAAA,MACrC,UAAU,OAAO,YAAY;AAAA,MAC7B;AAAA,MACA,UAAU;AAAA,IACZ,CAAC;AACD,WAAO;AAAA,EACT;AAEA,WAAS,cAAc,QAAuD;AAC5E,QAAI,OAAO,WAAW,GAAG;AACvB,aAAO,QAAQ,OAAO,IAAI,cAAc,CAAC;AAAA,IAC3C;AAEA,UAAM,iBAAiB,OAAO,eAAe,MAAM;AACnD,WAAO,OAAO,QAAQ,MAAM,cAAc,cAAc,CAAC;AAAA,EAC3D;AAEA,SAAO;AAAA,IACL,cAAc,OAAO;AAAA,IACrB;AAAA,IACA,WAAW,OAAO;AAAA,IAClB,IAAI,OAAO;AAAA,IACX,aAAa,OAAO;AAAA,IACpB,qBAAqB,OAAO;AAAA,IAC5B,mBAAmB,OAAO;AAAA,IAC1B,mBAAmB,OAAO;AAAA,IAC1B,KAAK,OAAO;AAAA,IACZ,QAAQ,OAAO;AAAA,IACf,SAAS,OAAO;AAAA,EAClB;AACF;AAEA,SAAS,oBAA4B,UAA0C;AAC7E,SAAO,eAAe,QAAQ;AAChC;AAEA,SAAS,eAAgC,UAAyC;AAChF,SAAO,OAAO,OAAO,gBAAgB,QAAQ,CAAC;AAChD;AAEA,SAAS,QAAQ,OAAuB;AACtC,SAAO,iBAAiB,QACpB,QACA,IAAI,MAAM,OAAO,KAAK,CAAC;AAC7B;AAEA,SAAS,eAAuB;AAC9B,MAAI,OAAO,WAAW,eAAe,OAAO,OAAO,eAAe,YAAY;AAC5E,WAAO,OAAO,WAAW;AAAA,EAC3B;AAEA,SAAO,uCAAuC,QAAQ,SAAS,CAAC,SAAS;AACvE,UAAM,SAAU,KAAK,OAAO,IAAI,KAAM;AACtC,UAAM,QAAQ,SAAS,MAAM,SAAU,SAAS,IAAO;AACvD,WAAO,MAAM,SAAS,EAAE;AAAA,EAC1B,CAAC;AACH;","names":["publishedSnapshot"]}

package/dist/index.d.ts

@@ -3,13 +3,13 @@
  *
  * SDK hard cut around the activation boundary.
  *
- * @see sdk-SPEC-v3.0.0-draft.md
+ * @see sdk-SPEC.md
  * @see ADR-017
  * @packageDocumentation
  */
 export type { SdkManifest } from "./manifest.js";
 export { createManifesto } from "./create-manifesto.js";
-export type { ActivatedInstance, ActionArgs, BaseLaws, BaseComposableLaws, ComposableManifesto, ComputedRef, EffectContext, EffectHandler, FieldRef, GovernedComposableLaws, GovernanceLaws, LineageComposableLaws, LineageLaws, ManifestoBaseInstance, ManifestoDecoratedRuntimeByLaws, ManifestoDomainShape, ManifestoEvent, ManifestoEventMap, ManifestoEventPayload, ManifestoRuntimeByLaws, Selector, Snapshot, TypedActionRef, TypedCommitAsync, TypedCreateIntent, TypedDispatchAsync, TypedIntent, TypedMEL, TypedOn, TypedSubscribe, Unsubscribe, } from "./types.js";
+export type { ActivatedInstance, ActionArgs, CreateIntentArgs, ActionObjectBindingArgs, TypedActionMetadata, TypedGetActionMetadata, BaseLaws, BaseComposableLaws, ComposableManifesto, ComputedRef, EffectContext, EffectHandler, FieldRef, GovernedComposableLaws, GovernanceLaws, LineageComposableLaws, LineageLaws, ManifestoBaseInstance, ManifestoDecoratedRuntimeByLaws, ManifestoDomainShape, ManifestoEvent, ManifestoEventMap, ManifestoEventPayload, ManifestoRuntimeByLaws, Selector, Snapshot, TypedActionRef, TypedCommitAsync, TypedCreateIntent, TypedDispatchAsync, TypedIntent, TypedMEL, TypedOn, TypedSubscribe, Unsubscribe, } from "./types.js";
 export { AlreadyActivatedError, CompileError, DisposedError, ManifestoError, ReservedEffectError, } from "./errors.js";
 export type { CompileDiagnostic } from "./errors.js";
 export type { DomainSchema, Intent, Patch, Snapshot as CoreSnapshot, } from "@manifesto-ai/core";

package/dist/index.js

@@ -9,7 +9,7 @@ import {
   attachRuntimeKernelFactory,
   createBaseRuntimeInstance,
   createRuntimeKernel
-} from "./chunk-5QHK6EOU.js";
+} from "./chunk-ND4PXKJT.js";
 
 // src/create-manifesto.ts
 import {

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/create-manifesto.ts","../src/index.ts"],"sourcesContent":["import {\n  type EffectContext as HostEffectContext,\n  type EffectHandler as HostEffectHandler,\n  type ManifestoHost,\n  createHost,\n} from \"@manifesto-ai/host\";\nimport {\n  createIntent as createCoreIntent,\n  extractDefaults,\n  hashSchemaSync,\n  semanticPathToPatchPath,\n  type DomainSchema,\n  type Intent,\n  type Patch,\n} from \"@manifesto-ai/core\";\nimport {\n  compileMelDomain,\n  parse as parseMel,\n  tokenize as tokenizeMel,\n} from \"@manifesto-ai/compiler\";\n\nimport {\n  ACTION_PARAM_NAMES,\n  activateComposable,\n  attachRuntimeKernelFactory,\n  createBaseRuntimeInstance,\n  createRuntimeKernel,\n} from \"./internal.js\";\nimport {\n  type ActionArgs,\n  type BaseComposableLaws,\n  type ComposableManifesto,\n  type EffectHandler,\n  type ManifestoDomainShape,\n  type Snapshot,\n  type TypedActionRef,\n  type TypedCreateIntent,\n  type TypedIntent,\n  type TypedMEL,\n} from \"./types.js\";\nimport {\n  CompileError,\n  ManifestoError,\n  ReservedEffectError,\n} from \"./errors.js\";\n\nconst RESERVED_EFFECT_TYPE = \"system.get\";\nconst RESERVED_NAMESPACE_PREFIX = \"system.\";\nconst BASE_LAWS: BaseComposableLaws = Object.freeze({ __baseLaws: true });\n\ntype RuntimeActionRef = TypedActionRef<ManifestoDomainShape> & {\n  readonly [ACTION_PARAM_NAMES]: readonly string[] | null;\n};\n\ntype ActionParamMetadata = readonly string[] | null;\n\ntype ResolvedSchema = {\n  readonly schema: DomainSchema;\n  readonly actionParamMetadata: Readonly<Record<string, ActionParamMetadata>>;\n};\n\nexport function createManifesto<T extends ManifestoDomainShape>(\n  schemaInput: DomainSchema | string,\n  effects: Record<string, EffectHandler>,\n): ComposableManifesto<T, BaseComposableLaws> {\n  if (RESERVED_EFFECT_TYPE in effects) {\n    throw new ReservedEffectError(RESERVED_EFFECT_TYPE);\n  }\n\n  const resolved = resolveSchema(schemaInput);\n  validateReservedNamespaces(resolved.schema);\n\n  const manifesto = {\n    _laws: BASE_LAWS,\n    schema: resolved.schema,\n    activate() {\n      activateComposable(manifesto);\n      return createBaseRuntimeInstance(\n        createRuntimeKernel<T>({\n          schema: resolved.schema,\n          host: createInternalHost(resolved.schema, effects),\n          MEL: buildTypedMel<T>(resolved.schema, resolved.actionParamMetadata),\n          createIntent: buildCreateIntent<T>(),\n        }),\n      );\n    },\n  };\n\n  return attachRuntimeKernelFactory(manifesto, () =>\n    createRuntimeKernel<T>({\n      schema: resolved.schema,\n      host: createInternalHost(resolved.schema, effects),\n      MEL: buildTypedMel<T>(resolved.schema, resolved.actionParamMetadata),\n      createIntent: buildCreateIntent<T>(),\n    }),\n  );\n}\n\nfunction resolveSchema(schema: DomainSchema | string): ResolvedSchema {\n  const resolved = typeof schema === \"string\"\n    ? compileSchema(schema)\n    : {\n      schema,\n      actionParamMetadata: deriveActionParamMetadata(schema),\n    };\n\n  return {\n    schema: withPlatformNamespaces(resolved.schema),\n    actionParamMetadata: resolved.actionParamMetadata,\n  };\n}\n\nfunction compileSchema(source: string): ResolvedSchema {\n  const result = compileMelDomain(source, { mode: \"domain\" });\n\n  if (result.errors.length > 0) {\n    const formatted = result.errors.map((diagnostic) => {\n      const loc = diagnostic.location;\n      if (!loc || (loc.start.line === 0 && loc.start.column === 0)) {\n        return `[${diagnostic.code}] ${diagnostic.message}`;\n      }\n\n      const header = `[${diagnostic.code}] ${diagnostic.message} (${loc.start.line}:${loc.start.column})`;\n      const line = source.split(\"\\n\")[loc.start.line - 1];\n      if (!line) {\n        return header;\n      }\n\n      const lineNum = String(loc.start.line).padStart(4, \" \");\n      const underlineLen = Math.max(\n        1,\n        loc.end.line === loc.start.line\n          ? Math.min(loc.end.column - loc.start.column, Math.max(1, line.length - loc.start.column + 1))\n          : 1,\n      );\n      const padding = \" \".repeat(lineNum.length + 3 + loc.start.column - 1);\n      return `${header}\\n${lineNum} | ${line}\\n${padding}${\"^\".repeat(underlineLen)}`;\n    }).join(\"\\n\\n\");\n\n    throw new CompileError(result.errors, `MEL compilation failed:\\n${formatted}`);\n  }\n\n  if (!result.schema) {\n    throw new ManifestoError(\"COMPILE_ERROR\", \"MEL compilation produced no schema\");\n  }\n\n  const schema = result.schema as DomainSchema;\n  return {\n    schema,\n    actionParamMetadata: deriveActionParamMetadata(\n      schema,\n      extractActionParamOrderFromMel(source),\n    ),\n  };\n}\n\nfunction withPlatformNamespaces(schema: DomainSchema): DomainSchema {\n  const fields = { ...schema.state.fields };\n  let changed = false;\n\n  if (!fields.$host) {\n    fields.$host = {\n      type: \"object\",\n      required: false,\n      default: {},\n    };\n    changed = true;\n  } else if (fields.$host.type !== \"object\") {\n    throw new ManifestoError(\"SCHEMA_ERROR\", \"Reserved namespace '$host' must be an object field\");\n  } else if (fields.$host.default === undefined) {\n    fields.$host = { ...fields.$host, default: {} };\n    changed = true;\n  }\n\n  if (!fields.$mel) {\n    fields.$mel = {\n      type: \"object\",\n      required: false,\n      default: { guards: { intent: {} } },\n      fields: {\n        guards: {\n          type: \"object\",\n          required: false,\n          default: { intent: {} },\n          fields: {\n            intent: {\n              type: \"object\",\n              required: false,\n              default: {},\n            },\n          },\n        },\n      },\n    };\n    changed = true;\n  } else if (fields.$mel.type !== \"object\") {\n    throw new ManifestoError(\"SCHEMA_ERROR\", \"Reserved namespace '$mel' must be an object field\");\n  } else {\n    let nextMel = fields.$mel;\n    if (nextMel.default === undefined) {\n      nextMel = { ...nextMel, default: { guards: { intent: {} } } };\n      changed = true;\n    }\n\n    const melFields = nextMel.fields ?? {};\n    const guardsField = melFields.guards;\n\n    if (!guardsField) {\n      nextMel = {\n        ...nextMel,\n        fields: {\n          ...melFields,\n          guards: {\n            type: \"object\",\n            required: false,\n            default: { intent: {} },\n            fields: {\n              intent: {\n                type: \"object\",\n                required: false,\n                default: {},\n              },\n            },\n          },\n        },\n      };\n      changed = true;\n    } else if (guardsField.type !== \"object\") {\n      throw new ManifestoError(\"SCHEMA_ERROR\", \"Reserved namespace '$mel.guards' must be an object field\");\n    } else {\n      let nextGuards = guardsField;\n      if (nextGuards.default === undefined) {\n        nextGuards = { ...nextGuards, default: { intent: {} } };\n        changed = true;\n      }\n\n      const guardFields = nextGuards.fields ?? {};\n      const intentField = guardFields.intent;\n\n      if (!intentField) {\n        nextGuards = {\n          ...nextGuards,\n          fields: {\n            ...guardFields,\n            intent: {\n              type: \"object\",\n              required: false,\n              default: {},\n            },\n          },\n        };\n        changed = true;\n      } else if (intentField.type !== \"object\") {\n        throw new ManifestoError(\"SCHEMA_ERROR\", \"Reserved namespace '$mel.guards.intent' must be an object field\");\n      } else if (intentField.default === undefined) {\n        nextGuards = {\n          ...nextGuards,\n          fields: {\n            ...guardFields,\n            intent: { ...intentField, default: {} },\n          },\n        };\n        changed = true;\n      }\n\n      if (nextGuards !== guardsField) {\n        nextMel = {\n          ...nextMel,\n          fields: {\n            ...melFields,\n            guards: nextGuards,\n          },\n        };\n      }\n    }\n\n    if (nextMel !== fields.$mel) {\n      fields.$mel = nextMel;\n    }\n  }\n\n  if (!changed) {\n    return schema;\n  }\n\n  const nextSchema = {\n    ...schema,\n    state: {\n      ...schema.state,\n      fields,\n    },\n  };\n\n  const { hash: _hash, ...schemaWithoutHash } = nextSchema;\n  return {\n    ...nextSchema,\n    hash: hashSchemaSync(schemaWithoutHash),\n  };\n}\n\nfunction validateReservedNamespaces(schema: DomainSchema): void {\n  for (const actionType of Object.keys(schema.actions ?? {})) {\n    if (actionType.startsWith(RESERVED_NAMESPACE_PREFIX)) {\n      throw new ManifestoError(\n        \"RESERVED_NAMESPACE\",\n        `Action type \"${actionType}\" uses reserved namespace prefix \"${RESERVED_NAMESPACE_PREFIX}\"`,\n      );\n    }\n  }\n}\n\nfunction buildTypedMel<T extends ManifestoDomainShape>(\n  schema: DomainSchema,\n  actionParamMetadata: Readonly<Record<string, ActionParamMetadata>>,\n): TypedMEL<T> {\n  const actions = Object.fromEntries(\n    Object.keys(schema.actions).map((name) => {\n      const ref: Record<PropertyKey, unknown> = {\n        __kind: \"ActionRef\",\n        name,\n      };\n      Object.defineProperty(ref, ACTION_PARAM_NAMES, {\n        enumerable: false,\n        configurable: false,\n        writable: false,\n        value: Object.hasOwn(actionParamMetadata, name)\n          ? actionParamMetadata[name]\n          : [],\n      });\n      return [name, Object.freeze(ref)];\n    }),\n  );\n\n  const state = Object.fromEntries(\n    Object.keys(schema.state.fields)\n      .filter((name) => !name.startsWith(\"$\"))\n      .map((name) => [name, Object.freeze({\n        __kind: \"FieldRef\",\n        path: name,\n      })]),\n  );\n\n  const computed = Object.fromEntries(\n    Object.keys(schema.computed.fields)\n      .map((name) => [name, Object.freeze({\n        __kind: \"ComputedRef\",\n        path: name,\n      })]),\n  );\n\n  return Object.freeze({\n    actions: Object.freeze(actions),\n    state: Object.freeze(state),\n    computed: Object.freeze(computed),\n  }) as unknown as TypedMEL<T>;\n}\n\nfunction buildCreateIntent<T extends ManifestoDomainShape>(): TypedCreateIntent<T> {\n  return <K extends keyof T[\"actions\"]>(\n    action: TypedActionRef<T, K>,\n    ...args: ActionArgs<T, K>\n  ): TypedIntent<T, K> => {\n    const actionRef = action as unknown as RuntimeActionRef;\n    const intentId = generateUUID();\n    const input = packIntentInput(actionRef, args);\n    return createCoreIntent(\n      String(action.name),\n      input,\n      intentId,\n    ) as TypedIntent<T, K>;\n  };\n}\n\nfunction getActionParamNames(input: DomainSchema[\"actions\"][string][\"input\"]): readonly string[] {\n  if (!input || input.type !== \"object\" || !input.fields) {\n    return [];\n  }\n\n  return Object.keys(input.fields);\n}\n\nfunction deriveActionParamMetadata(\n  schema: DomainSchema,\n  actionParamOrder?: Readonly<Record<string, readonly string[]>>,\n): Readonly<Record<string, ActionParamMetadata>> {\n  return Object.freeze(Object.fromEntries(\n    Object.entries(schema.actions).map(([name, action]) => {\n      const preferredOrder = actionParamOrder?.[name];\n      if (preferredOrder && preferredOrder.length > 0) {\n        return [name, Object.freeze([...preferredOrder])];\n      }\n\n      if (!action.input || action.input.type !== \"object\" || !action.input.fields) {\n        return [name, []];\n      }\n\n      const fieldNames = getActionParamNames(action.input);\n      return [name, fieldNames.length <= 1 ? fieldNames : null];\n    }),\n  ));\n}\n\nfunction extractActionParamOrderFromMel(\n  source: string,\n): Readonly<Record<string, readonly string[]>> | undefined {\n  const lexed = tokenizeMel(source);\n  if (lexed.diagnostics.some((diagnostic) => diagnostic.severity === \"error\")) {\n    return undefined;\n  }\n\n  const parsed = parseMel(lexed.tokens);\n  if (!parsed.program) {\n    return undefined;\n  }\n\n  return Object.freeze(Object.fromEntries(\n    parsed.program.domain.members\n      .filter((member) => member.kind === \"action\")\n      .map((action) => [action.name, Object.freeze(action.params.map((param) => param.name))]),\n  ));\n}\n\nfunction packIntentInput(action: RuntimeActionRef, args: readonly unknown[]): unknown {\n  const paramNames = Object.hasOwn(action, ACTION_PARAM_NAMES)\n    ? action[ACTION_PARAM_NAMES]\n    : [];\n  if (args.length === 0) {\n    return undefined;\n  }\n\n  if (paramNames === null) {\n    if (args.length === 1 && isPlainObject(args[0])) {\n      return args[0];\n    }\n\n    throw new ManifestoError(\n      \"INVALID_INTENT_ARGS\",\n      `Action \"${String(action.name)}\" requires a single object argument because positional parameter metadata is unavailable`,\n    );\n  }\n\n  if (paramNames.length === 0) {\n    if (args.length === 1) {\n      return args[0];\n    }\n\n    throw new ManifestoError(\n      \"INVALID_INTENT_ARGS\",\n      `Action \"${String(action.name)}\" does not accept multiple positional arguments`,\n    );\n  }\n\n  if (args.length === 1 && isPlainObject(args[0]) && paramNames.length > 1) {\n    return args[0];\n  }\n\n  return Object.fromEntries(args.map((value, index) => [\n    paramNames[index] ?? `arg${index}`,\n    value,\n  ]));\n}\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction createInternalHost(\n  schema: DomainSchema,\n  effects: Record<string, EffectHandler>,\n): ManifestoHost {\n  const host = createHost(schema, {\n    initialData: extractDefaults(schema.state),\n  });\n\n  host.registerEffect(RESERVED_EFFECT_TYPE, async (\n    _type: string,\n    params: Record<string, unknown>,\n    ctx: HostEffectContext,\n  ): Promise<Patch[]> => {\n    const { patches } = executeSystemGet(params, ctx.snapshot as Snapshot);\n    return patches;\n  });\n\n  for (const [effectType, appHandler] of Object.entries(effects)) {\n    const hostHandler: HostEffectHandler = async (\n      _type: string,\n      params: Record<string, unknown>,\n      ctx: HostEffectContext,\n    ): Promise<Patch[]> => {\n      const patches = await appHandler(params, { snapshot: freezeSnapshot(ctx.snapshot) });\n      return patches as Patch[];\n    };\n\n    host.registerEffect(effectType, hostHandler);\n  }\n\n  return host;\n}\n\ninterface SystemGetReadParams {\n  path: string;\n  target?: string;\n}\n\ninterface SystemGetGenerateParams {\n  key: string;\n  into: string;\n}\n\nfunction isGenerateParams(params: unknown): params is SystemGetGenerateParams {\n  return (\n    typeof params === \"object\" &&\n    params !== null &&\n    \"key\" in params &&\n    \"into\" in params\n  );\n}\n\nfunction executeSystemGet(\n  params: unknown,\n  snapshot: Snapshot,\n): { patches: Patch[] } {\n  if (isGenerateParams(params)) {\n    return {\n      patches: [{\n        op: \"set\",\n        path: normalizeTargetPath(params.into),\n        value: generateSystemValue(params.key),\n      }],\n    };\n  }\n\n  const { path, target } = params as SystemGetReadParams;\n  const result = resolvePathValue(path, snapshot);\n  if (!target) {\n    return { patches: [] };\n  }\n\n  return {\n    patches: [{\n      op: \"set\",\n      path: normalizeTargetPath(target),\n      value: result.value,\n    }],\n  };\n}\n\nfunction generateSystemValue(key: string): unknown {\n  switch (key) {\n    case \"uuid\":\n      return generateUUID();\n    case \"timestamp\":\n    case \"time.now\":\n      return Date.now();\n    case \"isoTimestamp\":\n      return new Date().toISOString();\n    default:\n      return null;\n  }\n}\n\nfunction normalizeTargetPath(path: string): Patch[\"path\"] {\n  const normalized = normalizePath(path);\n  const withoutDataRoot = normalized.startsWith(\"data.\")\n    ? normalized.slice(\"data.\".length)\n    : normalized;\n  return semanticPathToPatchPath(withoutDataRoot);\n}\n\nfunction normalizePath(path: string): string {\n  if (path.startsWith(\"/\")) {\n    return path.slice(1).replace(/\\//g, \".\");\n  }\n  return path;\n}\n\nfunction resolvePathValue(\n  path: string,\n  snapshot: Snapshot,\n): { value: unknown; found: boolean } {\n  const normalized = normalizePath(path);\n  const parts = normalized.split(\".\");\n  if (parts.length === 0) {\n    return { value: undefined, found: false };\n  }\n\n  const [root, ...rest] = parts;\n  let current: unknown;\n\n  switch (root) {\n    case \"data\":\n      current = snapshot.data;\n      break;\n    case \"computed\":\n      current = snapshot.computed;\n      break;\n    case \"system\":\n      current = snapshot.system;\n      break;\n    case \"meta\":\n      current = snapshot.meta;\n      break;\n    default:\n      current = snapshot.data;\n      rest.unshift(root);\n      break;\n  }\n\n  for (const part of rest) {\n    if (current === null || current === undefined || typeof current !== \"object\") {\n      return { value: undefined, found: false };\n    }\n    current = (current as Record<string, unknown>)[part];\n  }\n\n  return { value: current, found: current !== undefined };\n}\n\nfunction freezeSnapshot<TData = unknown>(snapshot: Snapshot<TData>): Snapshot<TData> {\n  return Object.freeze(structuredClone(snapshot)) as Snapshot<TData>;\n}\n\nfunction generateUUID(): string {\n  if (typeof crypto !== \"undefined\" && typeof crypto.randomUUID === \"function\") {\n    return crypto.randomUUID();\n  }\n\n  return \"xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx\".replace(/[xy]/g, (char) => {\n    const random = (Math.random() * 16) | 0;\n    const value = char === \"x\" ? random : (random & 0x3) | 0x8;\n    return value.toString(16);\n  });\n}\n","/**\n * @manifesto-ai/sdk v3.0.0\n *\n * SDK hard cut around the activation boundary.\n *\n * @see sdk-SPEC-v3.0.0-draft.md\n * @see ADR-017\n * @packageDocumentation\n */\n\nexport type { SdkManifest } from \"./manifest.js\";\n\nexport { createManifesto } from \"./create-manifesto.js\";\n\nexport type {\n  ActivatedInstance,\n  ActionArgs,\n  BaseLaws,\n  BaseComposableLaws,\n  ComposableManifesto,\n  ComputedRef,\n  EffectContext,\n  EffectHandler,\n  FieldRef,\n  GovernedComposableLaws,\n  GovernanceLaws,\n  LineageComposableLaws,\n  LineageLaws,\n  ManifestoBaseInstance,\n  ManifestoDecoratedRuntimeByLaws,\n  ManifestoDomainShape,\n  ManifestoEvent,\n  ManifestoEventMap,\n  ManifestoEventPayload,\n  ManifestoRuntimeByLaws,\n  Selector,\n  Snapshot,\n  TypedActionRef,\n  TypedCommitAsync,\n  TypedCreateIntent,\n  TypedDispatchAsync,\n  TypedIntent,\n  TypedMEL,\n  TypedOn,\n  TypedSubscribe,\n  Unsubscribe,\n} from \"./types.js\";\n\nexport {\n  AlreadyActivatedError,\n  CompileError,\n  DisposedError,\n  ManifestoError,\n  ReservedEffectError,\n} from \"./errors.js\";\n\nexport type { CompileDiagnostic } from \"./errors.js\";\n\nexport type {\n  DomainSchema,\n  Intent,\n  Patch,\n  Snapshot as CoreSnapshot,\n} from \"@manifesto-ai/core\";\n\nexport { createSnapshot } from \"@manifesto-ai/core\";\n"],"mappings":";;;;;;;;;;;;;;AAAA;AAAA,EAIE;AAAA,OACK;AACP;AAAA,EACE,gBAAgB;AAAA,EAChB;AAAA,EACA;AAAA,EACA;AAAA,OAIK;AACP;AAAA,EACE;AAAA,EACA,SAAS;AAAA,EACT,YAAY;AAAA,OACP;AA2BP,IAAM,uBAAuB;AAC7B,IAAM,4BAA4B;AAClC,IAAM,YAAgC,OAAO,OAAO,EAAE,YAAY,KAAK,CAAC;AAajE,SAAS,gBACd,aACA,SAC4C;AAC5C,MAAI,wBAAwB,SAAS;AACnC,UAAM,IAAI,oBAAoB,oBAAoB;AAAA,EACpD;AAEA,QAAM,WAAW,cAAc,WAAW;AAC1C,6BAA2B,SAAS,MAAM;AAE1C,QAAM,YAAY;AAAA,IAChB,OAAO;AAAA,IACP,QAAQ,SAAS;AAAA,IACjB,WAAW;AACT,yBAAmB,SAAS;AAC5B,aAAO;AAAA,QACL,oBAAuB;AAAA,UACrB,QAAQ,SAAS;AAAA,UACjB,MAAM,mBAAmB,SAAS,QAAQ,OAAO;AAAA,UACjD,KAAK,cAAiB,SAAS,QAAQ,SAAS,mBAAmB;AAAA,UACnE,cAAc,kBAAqB;AAAA,QACrC,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AAAA,IAA2B;AAAA,IAAW,MAC3C,oBAAuB;AAAA,MACrB,QAAQ,SAAS;AAAA,MACjB,MAAM,mBAAmB,SAAS,QAAQ,OAAO;AAAA,MACjD,KAAK,cAAiB,SAAS,QAAQ,SAAS,mBAAmB;AAAA,MACnE,cAAc,kBAAqB;AAAA,IACrC,CAAC;AAAA,EACH;AACF;AAEA,SAAS,cAAc,QAA+C;AACpE,QAAM,WAAW,OAAO,WAAW,WAC/B,cAAc,MAAM,IACpB;AAAA,IACA;AAAA,IACA,qBAAqB,0BAA0B,MAAM;AAAA,EACvD;AAEF,SAAO;AAAA,IACL,QAAQ,uBAAuB,SAAS,MAAM;AAAA,IAC9C,qBAAqB,SAAS;AAAA,EAChC;AACF;AAEA,SAAS,cAAc,QAAgC;AACrD,QAAM,SAAS,iBAAiB,QAAQ,EAAE,MAAM,SAAS,CAAC;AAE1D,MAAI,OAAO,OAAO,SAAS,GAAG;AAC5B,UAAM,YAAY,OAAO,OAAO,IAAI,CAAC,eAAe;AAClD,YAAM,MAAM,WAAW;AACvB,UAAI,CAAC,OAAQ,IAAI,MAAM,SAAS,KAAK,IAAI,MAAM,WAAW,GAAI;AAC5D,eAAO,IAAI,WAAW,IAAI,KAAK,WAAW,OAAO;AAAA,MACnD;AAEA,YAAM,SAAS,IAAI,WAAW,IAAI,KAAK,WAAW,OAAO,KAAK,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,MAAM;AAChG,YAAM,OAAO,OAAO,MAAM,IAAI,EAAE,IAAI,MAAM,OAAO,CAAC;AAClD,UAAI,CAAC,MAAM;AACT,eAAO;AAAA,MACT;AAEA,YAAM,UAAU,OAAO,IAAI,MAAM,IAAI,EAAE,SAAS,GAAG,GAAG;AACtD,YAAM,eAAe,KAAK;AAAA,QACxB;AAAA,QACA,IAAI,IAAI,SAAS,IAAI,MAAM,OACvB,KAAK,IAAI,IAAI,IAAI,SAAS,IAAI,MAAM,QAAQ,KAAK,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,SAAS,CAAC,CAAC,IAC3F;AAAA,MACN;AACA,YAAM,UAAU,IAAI,OAAO,QAAQ,SAAS,IAAI,IAAI,MAAM,SAAS,CAAC;AACpE,aAAO,GAAG,MAAM;AAAA,EAAK,OAAO,MAAM,IAAI;AAAA,EAAK,OAAO,GAAG,IAAI,OAAO,YAAY,CAAC;AAAA,IAC/E,CAAC,EAAE,KAAK,MAAM;AAEd,UAAM,IAAI,aAAa,OAAO,QAAQ;AAAA,EAA4B,SAAS,EAAE;AAAA,EAC/E;AAEA,MAAI,CAAC,OAAO,QAAQ;AAClB,UAAM,IAAI,eAAe,iBAAiB,oCAAoC;AAAA,EAChF;AAEA,QAAM,SAAS,OAAO;AACtB,SAAO;AAAA,IACL;AAAA,IACA,qBAAqB;AAAA,MACnB;AAAA,MACA,+BAA+B,MAAM;AAAA,IACvC;AAAA,EACF;AACF;AAEA,SAAS,uBAAuB,QAAoC;AAClE,QAAM,SAAS,EAAE,GAAG,OAAO,MAAM,OAAO;AACxC,MAAI,UAAU;AAEd,MAAI,CAAC,OAAO,OAAO;AACjB,WAAO,QAAQ;AAAA,MACb,MAAM;AAAA,MACN,UAAU;AAAA,MACV,SAAS,CAAC;AAAA,IACZ;AACA,cAAU;AAAA,EACZ,WAAW,OAAO,MAAM,SAAS,UAAU;AACzC,UAAM,IAAI,eAAe,gBAAgB,oDAAoD;AAAA,EAC/F,WAAW,OAAO,MAAM,YAAY,QAAW;AAC7C,WAAO,QAAQ,EAAE,GAAG,OAAO,OAAO,SAAS,CAAC,EAAE;AAC9C,cAAU;AAAA,EACZ;AAEA,MAAI,CAAC,OAAO,MAAM;AAChB,WAAO,OAAO;AAAA,MACZ,MAAM;AAAA,MACN,UAAU;AAAA,MACV,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE;AAAA,MAClC,QAAQ;AAAA,QACN,QAAQ;AAAA,UACN,MAAM;AAAA,UACN,UAAU;AAAA,UACV,SAAS,EAAE,QAAQ,CAAC,EAAE;AAAA,UACtB,QAAQ;AAAA,YACN,QAAQ;AAAA,cACN,MAAM;AAAA,cACN,UAAU;AAAA,cACV,SAAS,CAAC;AAAA,YACZ;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,cAAU;AAAA,EACZ,WAAW,OAAO,KAAK,SAAS,UAAU;AACxC,UAAM,IAAI,eAAe,gBAAgB,mDAAmD;AAAA,EAC9F,OAAO;AACL,QAAI,UAAU,OAAO;AACrB,QAAI,QAAQ,YAAY,QAAW;AACjC,gBAAU,EAAE,GAAG,SAAS,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE;AAC5D,gBAAU;AAAA,IACZ;AAEA,UAAM,YAAY,QAAQ,UAAU,CAAC;AACrC,UAAM,cAAc,UAAU;AAE9B,QAAI,CAAC,aAAa;AAChB,gBAAU;AAAA,QACR,GAAG;AAAA,QACH,QAAQ;AAAA,UACN,GAAG;AAAA,UACH,QAAQ;AAAA,YACN,MAAM;AAAA,YACN,UAAU;AAAA,YACV,SAAS,EAAE,QAAQ,CAAC,EAAE;AAAA,YACtB,QAAQ;AAAA,cACN,QAAQ;AAAA,gBACN,MAAM;AAAA,gBACN,UAAU;AAAA,gBACV,SAAS,CAAC;AAAA,cACZ;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAAA,MACF;AACA,gBAAU;AAAA,IACZ,WAAW,YAAY,SAAS,UAAU;AACxC,YAAM,IAAI,eAAe,gBAAgB,0DAA0D;AAAA,IACrG,OAAO;AACL,UAAI,aAAa;AACjB,UAAI,WAAW,YAAY,QAAW;AACpC,qBAAa,EAAE,GAAG,YAAY,SAAS,EAAE,QAAQ,CAAC,EAAE,EAAE;AACtD,kBAAU;AAAA,MACZ;AAEA,YAAM,cAAc,WAAW,UAAU,CAAC;AAC1C,YAAM,cAAc,YAAY;AAEhC,UAAI,CAAC,aAAa;AAChB,qBAAa;AAAA,UACX,GAAG;AAAA,UACH,QAAQ;AAAA,YACN,GAAG;AAAA,YACH,QAAQ;AAAA,cACN,MAAM;AAAA,cACN,UAAU;AAAA,cACV,SAAS,CAAC;AAAA,YACZ;AAAA,UACF;AAAA,QACF;AACA,kBAAU;AAAA,MACZ,WAAW,YAAY,SAAS,UAAU;AACxC,cAAM,IAAI,eAAe,gBAAgB,iEAAiE;AAAA,MAC5G,WAAW,YAAY,YAAY,QAAW;AAC5C,qBAAa;AAAA,UACX,GAAG;AAAA,UACH,QAAQ;AAAA,YACN,GAAG;AAAA,YACH,QAAQ,EAAE,GAAG,aAAa,SAAS,CAAC,EAAE;AAAA,UACxC;AAAA,QACF;AACA,kBAAU;AAAA,MACZ;AAEA,UAAI,eAAe,aAAa;AAC9B,kBAAU;AAAA,UACR,GAAG;AAAA,UACH,QAAQ;AAAA,YACN,GAAG;AAAA,YACH,QAAQ;AAAA,UACV;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAEA,QAAI,YAAY,OAAO,MAAM;AAC3B,aAAO,OAAO;AAAA,IAChB;AAAA,EACF;AAEA,MAAI,CAAC,SAAS;AACZ,WAAO;AAAA,EACT;AAEA,QAAM,aAAa;AAAA,IACjB,GAAG;AAAA,IACH,OAAO;AAAA,MACL,GAAG,OAAO;AAAA,MACV;AAAA,IACF;AAAA,EACF;AAEA,QAAM,EAAE,MAAM,OAAO,GAAG,kBAAkB,IAAI;AAC9C,SAAO;AAAA,IACL,GAAG;AAAA,IACH,MAAM,eAAe,iBAAiB;AAAA,EACxC;AACF;AAEA,SAAS,2BAA2B,QAA4B;AAC9D,aAAW,cAAc,OAAO,KAAK,OAAO,WAAW,CAAC,CAAC,GAAG;AAC1D,QAAI,WAAW,WAAW,yBAAyB,GAAG;AACpD,YAAM,IAAI;AAAA,QACR;AAAA,QACA,gBAAgB,UAAU,qCAAqC,yBAAyB;AAAA,MAC1F;AAAA,IACF;AAAA,EACF;AACF;AAEA,SAAS,cACP,QACA,qBACa;AACb,QAAM,UAAU,OAAO;AAAA,IACrB,OAAO,KAAK,OAAO,OAAO,EAAE,IAAI,CAAC,SAAS;AACxC,YAAM,MAAoC;AAAA,QACxC,QAAQ;AAAA,QACR;AAAA,MACF;AACA,aAAO,eAAe,KAAK,oBAAoB;AAAA,QAC7C,YAAY;AAAA,QACZ,cAAc;AAAA,QACd,UAAU;AAAA,QACV,OAAO,OAAO,OAAO,qBAAqB,IAAI,IAC1C,oBAAoB,IAAI,IACxB,CAAC;AAAA,MACP,CAAC;AACD,aAAO,CAAC,MAAM,OAAO,OAAO,GAAG,CAAC;AAAA,IAClC,CAAC;AAAA,EACH;AAEA,QAAM,QAAQ,OAAO;AAAA,IACnB,OAAO,KAAK,OAAO,MAAM,MAAM,EAC5B,OAAO,CAAC,SAAS,CAAC,KAAK,WAAW,GAAG,CAAC,EACtC,IAAI,CAAC,SAAS,CAAC,MAAM,OAAO,OAAO;AAAA,MAClC,QAAQ;AAAA,MACR,MAAM;AAAA,IACR,CAAC,CAAC,CAAC;AAAA,EACP;AAEA,QAAM,WAAW,OAAO;AAAA,IACtB,OAAO,KAAK,OAAO,SAAS,MAAM,EAC/B,IAAI,CAAC,SAAS,CAAC,MAAM,OAAO,OAAO;AAAA,MAClC,QAAQ;AAAA,MACR,MAAM;AAAA,IACR,CAAC,CAAC,CAAC;AAAA,EACP;AAEA,SAAO,OAAO,OAAO;AAAA,IACnB,SAAS,OAAO,OAAO,OAAO;AAAA,IAC9B,OAAO,OAAO,OAAO,KAAK;AAAA,IAC1B,UAAU,OAAO,OAAO,QAAQ;AAAA,EAClC,CAAC;AACH;AAEA,SAAS,oBAA0E;AACjF,SAAO,CACL,WACG,SACmB;AACtB,UAAM,YAAY;AAClB,UAAM,WAAW,aAAa;AAC9B,UAAM,QAAQ,gBAAgB,WAAW,IAAI;AAC7C,WAAO;AAAA,MACL,OAAO,OAAO,IAAI;AAAA,MAClB;AAAA,MACA;AAAA,IACF;AAAA,EACF;AACF;AAEA,SAAS,oBAAoB,OAAoE;AAC/F,MAAI,CAAC,SAAS,MAAM,SAAS,YAAY,CAAC,MAAM,QAAQ;AACtD,WAAO,CAAC;AAAA,EACV;AAEA,SAAO,OAAO,KAAK,MAAM,MAAM;AACjC;AAEA,SAAS,0BACP,QACA,kBAC+C;AAC/C,SAAO,OAAO,OAAO,OAAO;AAAA,IAC1B,OAAO,QAAQ,OAAO,OAAO,EAAE,IAAI,CAAC,CAAC,MAAM,MAAM,MAAM;AACrD,YAAM,iBAAiB,mBAAmB,IAAI;AAC9C,UAAI,kBAAkB,eAAe,SAAS,GAAG;AAC/C,eAAO,CAAC,MAAM,OAAO,OAAO,CAAC,GAAG,cAAc,CAAC,CAAC;AAAA,MAClD;AAEA,UAAI,CAAC,OAAO,SAAS,OAAO,MAAM,SAAS,YAAY,CAAC,OAAO,MAAM,QAAQ;AAC3E,eAAO,CAAC,MAAM,CAAC,CAAC;AAAA,MAClB;AAEA,YAAM,aAAa,oBAAoB,OAAO,KAAK;AACnD,aAAO,CAAC,MAAM,WAAW,UAAU,IAAI,aAAa,IAAI;AAAA,IAC1D,CAAC;AAAA,EACH,CAAC;AACH;AAEA,SAAS,+BACP,QACyD;AACzD,QAAM,QAAQ,YAAY,MAAM;AAChC,MAAI,MAAM,YAAY,KAAK,CAAC,eAAe,WAAW,aAAa,OAAO,GAAG;AAC3E,WAAO;AAAA,EACT;AAEA,QAAM,SAAS,SAAS,MAAM,MAAM;AACpC,MAAI,CAAC,OAAO,SAAS;AACnB,WAAO;AAAA,EACT;AAEA,SAAO,OAAO,OAAO,OAAO;AAAA,IAC1B,OAAO,QAAQ,OAAO,QACnB,OAAO,CAAC,WAAW,OAAO,SAAS,QAAQ,EAC3C,IAAI,CAAC,WAAW,CAAC,OAAO,MAAM,OAAO,OAAO,OAAO,OAAO,IAAI,CAAC,UAAU,MAAM,IAAI,CAAC,CAAC,CAAC;AAAA,EAC3F,CAAC;AACH;AAEA,SAAS,gBAAgB,QAA0B,MAAmC;AACpF,QAAM,aAAa,OAAO,OAAO,QAAQ,kBAAkB,IACvD,OAAO,kBAAkB,IACzB,CAAC;AACL,MAAI,KAAK,WAAW,GAAG;AACrB,WAAO;AAAA,EACT;AAEA,MAAI,eAAe,MAAM;AACvB,QAAI,KAAK,WAAW,KAAK,cAAc,KAAK,CAAC,CAAC,GAAG;AAC/C,aAAO,KAAK,CAAC;AAAA,IACf;AAEA,UAAM,IAAI;AAAA,MACR;AAAA,MACA,WAAW,OAAO,OAAO,IAAI,CAAC;AAAA,IAChC;AAAA,EACF;AAEA,MAAI,WAAW,WAAW,GAAG;AAC3B,QAAI,KAAK,WAAW,GAAG;AACrB,aAAO,KAAK,CAAC;AAAA,IACf;AAEA,UAAM,IAAI;AAAA,MACR;AAAA,MACA,WAAW,OAAO,OAAO,IAAI,CAAC;AAAA,IAChC;AAAA,EACF;AAEA,MAAI,KAAK,WAAW,KAAK,cAAc,KAAK,CAAC,CAAC,KAAK,WAAW,SAAS,GAAG;AACxE,WAAO,KAAK,CAAC;AAAA,EACf;AAEA,SAAO,OAAO,YAAY,KAAK,IAAI,CAAC,OAAO,UAAU;AAAA,IACnD,WAAW,KAAK,KAAK,MAAM,KAAK;AAAA,IAChC;AAAA,EACF,CAAC,CAAC;AACJ;AAEA,SAAS,cAAc,OAAkD;AACvE,SAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAC5E;AAEA,SAAS,mBACP,QACA,SACe;AACf,QAAM,OAAO,WAAW,QAAQ;AAAA,IAC9B,aAAa,gBAAgB,OAAO,KAAK;AAAA,EAC3C,CAAC;AAED,OAAK,eAAe,sBAAsB,OACxC,OACA,QACA,QACqB;AACrB,UAAM,EAAE,QAAQ,IAAI,iBAAiB,QAAQ,IAAI,QAAoB;AACrE,WAAO;AAAA,EACT,CAAC;AAED,aAAW,CAAC,YAAY,UAAU,KAAK,OAAO,QAAQ,OAAO,GAAG;AAC9D,UAAM,cAAiC,OACrC,OACA,QACA,QACqB;AACrB,YAAM,UAAU,MAAM,WAAW,QAAQ,EAAE,UAAU,eAAe,IAAI,QAAQ,EAAE,CAAC;AACnF,aAAO;AAAA,IACT;AAEA,SAAK,eAAe,YAAY,WAAW;AAAA,EAC7C;AAEA,SAAO;AACT;AAYA,SAAS,iBAAiB,QAAoD;AAC5E,SACE,OAAO,WAAW,YAClB,WAAW,QACX,SAAS,UACT,UAAU;AAEd;AAEA,SAAS,iBACP,QACA,UACsB;AACtB,MAAI,iBAAiB,MAAM,GAAG;AAC5B,WAAO;AAAA,MACL,SAAS,CAAC;AAAA,QACR,IAAI;AAAA,QACJ,MAAM,oBAAoB,OAAO,IAAI;AAAA,QACrC,OAAO,oBAAoB,OAAO,GAAG;AAAA,MACvC,CAAC;AAAA,IACH;AAAA,EACF;AAEA,QAAM,EAAE,MAAM,OAAO,IAAI;AACzB,QAAM,SAAS,iBAAiB,MAAM,QAAQ;AAC9C,MAAI,CAAC,QAAQ;AACX,WAAO,EAAE,SAAS,CAAC,EAAE;AAAA,EACvB;AAEA,SAAO;AAAA,IACL,SAAS,CAAC;AAAA,MACR,IAAI;AAAA,MACJ,MAAM,oBAAoB,MAAM;AAAA,MAChC,OAAO,OAAO;AAAA,IAChB,CAAC;AAAA,EACH;AACF;AAEA,SAAS,oBAAoB,KAAsB;AACjD,UAAQ,KAAK;AAAA,IACX,KAAK;AACH,aAAO,aAAa;AAAA,IACtB,KAAK;AAAA,IACL,KAAK;AACH,aAAO,KAAK,IAAI;AAAA,IAClB,KAAK;AACH,cAAO,oBAAI,KAAK,GAAE,YAAY;AAAA,IAChC;AACE,aAAO;AAAA,EACX;AACF;AAEA,SAAS,oBAAoB,MAA6B;AACxD,QAAM,aAAa,cAAc,IAAI;AACrC,QAAM,kBAAkB,WAAW,WAAW,OAAO,IACjD,WAAW,MAAM,QAAQ,MAAM,IAC/B;AACJ,SAAO,wBAAwB,eAAe;AAChD;AAEA,SAAS,cAAc,MAAsB;AAC3C,MAAI,KAAK,WAAW,GAAG,GAAG;AACxB,WAAO,KAAK,MAAM,CAAC,EAAE,QAAQ,OAAO,GAAG;AAAA,EACzC;AACA,SAAO;AACT;AAEA,SAAS,iBACP,MACA,UACoC;AACpC,QAAM,aAAa,cAAc,IAAI;AACrC,QAAM,QAAQ,WAAW,MAAM,GAAG;AAClC,MAAI,MAAM,WAAW,GAAG;AACtB,WAAO,EAAE,OAAO,QAAW,OAAO,MAAM;AAAA,EAC1C;AAEA,QAAM,CAAC,MAAM,GAAG,IAAI,IAAI;AACxB,MAAI;AAEJ,UAAQ,MAAM;AAAA,IACZ,KAAK;AACH,gBAAU,SAAS;AACnB;AAAA,IACF,KAAK;AACH,gBAAU,SAAS;AACnB;AAAA,IACF,KAAK;AACH,gBAAU,SAAS;AACnB;AAAA,IACF,KAAK;AACH,gBAAU,SAAS;AACnB;AAAA,IACF;AACE,gBAAU,SAAS;AACnB,WAAK,QAAQ,IAAI;AACjB;AAAA,EACJ;AAEA,aAAW,QAAQ,MAAM;AACvB,QAAI,YAAY,QAAQ,YAAY,UAAa,OAAO,YAAY,UAAU;AAC5E,aAAO,EAAE,OAAO,QAAW,OAAO,MAAM;AAAA,IAC1C;AACA,cAAW,QAAoC,IAAI;AAAA,EACrD;AAEA,SAAO,EAAE,OAAO,SAAS,OAAO,YAAY,OAAU;AACxD;AAEA,SAAS,eAAgC,UAA4C;AACnF,SAAO,OAAO,OAAO,gBAAgB,QAAQ,CAAC;AAChD;AAEA,SAAS,eAAuB;AAC9B,MAAI,OAAO,WAAW,eAAe,OAAO,OAAO,eAAe,YAAY;AAC5E,WAAO,OAAO,WAAW;AAAA,EAC3B;AAEA,SAAO,uCAAuC,QAAQ,SAAS,CAAC,SAAS;AACvE,UAAM,SAAU,KAAK,OAAO,IAAI,KAAM;AACtC,UAAM,QAAQ,SAAS,MAAM,SAAU,SAAS,IAAO;AACvD,WAAO,MAAM,SAAS,EAAE;AAAA,EAC1B,CAAC;AACH;;;ACvjBA,SAAS,sBAAsB;","names":[]}
+{"version":3,"sources":["../src/create-manifesto.ts","../src/index.ts"],"sourcesContent":["import {\n  type EffectContext as HostEffectContext,\n  type EffectHandler as HostEffectHandler,\n  type ManifestoHost,\n  createHost,\n} from \"@manifesto-ai/host\";\nimport {\n  createIntent as createCoreIntent,\n  extractDefaults,\n  hashSchemaSync,\n  semanticPathToPatchPath,\n  type DomainSchema,\n  type Intent,\n  type Patch,\n} from \"@manifesto-ai/core\";\nimport {\n  compileMelDomain,\n  parse as parseMel,\n  tokenize as tokenizeMel,\n} from \"@manifesto-ai/compiler\";\n\nimport {\n  ACTION_PARAM_NAMES,\n  activateComposable,\n  attachRuntimeKernelFactory,\n  createBaseRuntimeInstance,\n  createRuntimeKernel,\n} from \"./internal.js\";\nimport {\n  type CreateIntentArgs,\n  type BaseComposableLaws,\n  type ComposableManifesto,\n  type EffectHandler,\n  type ManifestoDomainShape,\n  type Snapshot,\n  type TypedActionRef,\n  type TypedCreateIntent,\n  type TypedIntent,\n  type TypedMEL,\n} from \"./types.js\";\nimport {\n  CompileError,\n  ManifestoError,\n  ReservedEffectError,\n} from \"./errors.js\";\n\nconst RESERVED_EFFECT_TYPE = \"system.get\";\nconst RESERVED_NAMESPACE_PREFIX = \"system.\";\nconst BASE_LAWS: BaseComposableLaws = Object.freeze({ __baseLaws: true });\n\ntype RuntimeActionRef = TypedActionRef<ManifestoDomainShape> & {\n  readonly [ACTION_PARAM_NAMES]: readonly string[] | null;\n};\n\ntype ActionParamMetadata = readonly string[] | null;\n\ntype ResolvedSchema = {\n  readonly schema: DomainSchema;\n  readonly actionParamMetadata: Readonly<Record<string, ActionParamMetadata>>;\n};\n\nexport function createManifesto<T extends ManifestoDomainShape>(\n  schemaInput: DomainSchema | string,\n  effects: Record<string, EffectHandler>,\n): ComposableManifesto<T, BaseComposableLaws> {\n  if (RESERVED_EFFECT_TYPE in effects) {\n    throw new ReservedEffectError(RESERVED_EFFECT_TYPE);\n  }\n\n  const resolved = resolveSchema(schemaInput);\n  validateReservedNamespaces(resolved.schema);\n\n  const manifesto = {\n    _laws: BASE_LAWS,\n    schema: resolved.schema,\n    activate() {\n      activateComposable(manifesto);\n      return createBaseRuntimeInstance(\n        createRuntimeKernel<T>({\n          schema: resolved.schema,\n          host: createInternalHost(resolved.schema, effects),\n          MEL: buildTypedMel<T>(resolved.schema, resolved.actionParamMetadata),\n          createIntent: buildCreateIntent<T>(),\n        }),\n      );\n    },\n  };\n\n  return attachRuntimeKernelFactory(manifesto, () =>\n    createRuntimeKernel<T>({\n      schema: resolved.schema,\n      host: createInternalHost(resolved.schema, effects),\n      MEL: buildTypedMel<T>(resolved.schema, resolved.actionParamMetadata),\n      createIntent: buildCreateIntent<T>(),\n    }),\n  );\n}\n\nfunction resolveSchema(schema: DomainSchema | string): ResolvedSchema {\n  const resolved = typeof schema === \"string\"\n    ? compileSchema(schema)\n    : {\n      schema,\n      actionParamMetadata: deriveActionParamMetadata(schema),\n    };\n\n  return {\n    schema: withPlatformNamespaces(resolved.schema),\n    actionParamMetadata: resolved.actionParamMetadata,\n  };\n}\n\nfunction compileSchema(source: string): ResolvedSchema {\n  const result = compileMelDomain(source, { mode: \"domain\" });\n\n  if (result.errors.length > 0) {\n    const formatted = result.errors.map((diagnostic) => {\n      const loc = diagnostic.location;\n      if (!loc || (loc.start.line === 0 && loc.start.column === 0)) {\n        return `[${diagnostic.code}] ${diagnostic.message}`;\n      }\n\n      const header = `[${diagnostic.code}] ${diagnostic.message} (${loc.start.line}:${loc.start.column})`;\n      const line = source.split(\"\\n\")[loc.start.line - 1];\n      if (!line) {\n        return header;\n      }\n\n      const lineNum = String(loc.start.line).padStart(4, \" \");\n      const underlineLen = Math.max(\n        1,\n        loc.end.line === loc.start.line\n          ? Math.min(loc.end.column - loc.start.column, Math.max(1, line.length - loc.start.column + 1))\n          : 1,\n      );\n      const padding = \" \".repeat(lineNum.length + 3 + loc.start.column - 1);\n      return `${header}\\n${lineNum} | ${line}\\n${padding}${\"^\".repeat(underlineLen)}`;\n    }).join(\"\\n\\n\");\n\n    throw new CompileError(result.errors, `MEL compilation failed:\\n${formatted}`);\n  }\n\n  if (!result.schema) {\n    throw new ManifestoError(\"COMPILE_ERROR\", \"MEL compilation produced no schema\");\n  }\n\n  const schema = result.schema as DomainSchema;\n  return {\n    schema,\n    actionParamMetadata: deriveActionParamMetadata(\n      schema,\n      extractActionParamOrderFromMel(source),\n    ),\n  };\n}\n\nfunction withPlatformNamespaces(schema: DomainSchema): DomainSchema {\n  const fields = { ...schema.state.fields };\n  let changed = false;\n\n  if (!fields.$host) {\n    fields.$host = {\n      type: \"object\",\n      required: false,\n      default: {},\n    };\n    changed = true;\n  } else if (fields.$host.type !== \"object\") {\n    throw new ManifestoError(\"SCHEMA_ERROR\", \"Reserved namespace '$host' must be an object field\");\n  } else if (fields.$host.default === undefined) {\n    fields.$host = { ...fields.$host, default: {} };\n    changed = true;\n  }\n\n  if (!fields.$mel) {\n    fields.$mel = {\n      type: \"object\",\n      required: false,\n      default: { guards: { intent: {} } },\n      fields: {\n        guards: {\n          type: \"object\",\n          required: false,\n          default: { intent: {} },\n          fields: {\n            intent: {\n              type: \"object\",\n              required: false,\n              default: {},\n            },\n          },\n        },\n      },\n    };\n    changed = true;\n  } else if (fields.$mel.type !== \"object\") {\n    throw new ManifestoError(\"SCHEMA_ERROR\", \"Reserved namespace '$mel' must be an object field\");\n  } else {\n    let nextMel = fields.$mel;\n    if (nextMel.default === undefined) {\n      nextMel = { ...nextMel, default: { guards: { intent: {} } } };\n      changed = true;\n    }\n\n    const melFields = nextMel.fields ?? {};\n    const guardsField = melFields.guards;\n\n    if (!guardsField) {\n      nextMel = {\n        ...nextMel,\n        fields: {\n          ...melFields,\n          guards: {\n            type: \"object\",\n            required: false,\n            default: { intent: {} },\n            fields: {\n              intent: {\n                type: \"object\",\n                required: false,\n                default: {},\n              },\n            },\n          },\n        },\n      };\n      changed = true;\n    } else if (guardsField.type !== \"object\") {\n      throw new ManifestoError(\"SCHEMA_ERROR\", \"Reserved namespace '$mel.guards' must be an object field\");\n    } else {\n      let nextGuards = guardsField;\n      if (nextGuards.default === undefined) {\n        nextGuards = { ...nextGuards, default: { intent: {} } };\n        changed = true;\n      }\n\n      const guardFields = nextGuards.fields ?? {};\n      const intentField = guardFields.intent;\n\n      if (!intentField) {\n        nextGuards = {\n          ...nextGuards,\n          fields: {\n            ...guardFields,\n            intent: {\n              type: \"object\",\n              required: false,\n              default: {},\n            },\n          },\n        };\n        changed = true;\n      } else if (intentField.type !== \"object\") {\n        throw new ManifestoError(\"SCHEMA_ERROR\", \"Reserved namespace '$mel.guards.intent' must be an object field\");\n      } else if (intentField.default === undefined) {\n        nextGuards = {\n          ...nextGuards,\n          fields: {\n            ...guardFields,\n            intent: { ...intentField, default: {} },\n          },\n        };\n        changed = true;\n      }\n\n      if (nextGuards !== guardsField) {\n        nextMel = {\n          ...nextMel,\n          fields: {\n            ...melFields,\n            guards: nextGuards,\n          },\n        };\n      }\n    }\n\n    if (nextMel !== fields.$mel) {\n      fields.$mel = nextMel;\n    }\n  }\n\n  if (!changed) {\n    return schema;\n  }\n\n  const nextSchema = {\n    ...schema,\n    state: {\n      ...schema.state,\n      fields,\n    },\n  };\n\n  const { hash: _hash, ...schemaWithoutHash } = nextSchema;\n  return {\n    ...nextSchema,\n    hash: hashSchemaSync(schemaWithoutHash),\n  };\n}\n\nfunction validateReservedNamespaces(schema: DomainSchema): void {\n  for (const actionType of Object.keys(schema.actions ?? {})) {\n    if (actionType.startsWith(RESERVED_NAMESPACE_PREFIX)) {\n      throw new ManifestoError(\n        \"RESERVED_NAMESPACE\",\n        `Action type \"${actionType}\" uses reserved namespace prefix \"${RESERVED_NAMESPACE_PREFIX}\"`,\n      );\n    }\n  }\n}\n\nfunction buildTypedMel<T extends ManifestoDomainShape>(\n  schema: DomainSchema,\n  actionParamMetadata: Readonly<Record<string, ActionParamMetadata>>,\n): TypedMEL<T> {\n  const actions = Object.fromEntries(\n    Object.keys(schema.actions).map((name) => {\n      const ref: Record<PropertyKey, unknown> = {\n        __kind: \"ActionRef\",\n        name,\n      };\n      Object.defineProperty(ref, ACTION_PARAM_NAMES, {\n        enumerable: false,\n        configurable: false,\n        writable: false,\n        value: Object.hasOwn(actionParamMetadata, name)\n          ? actionParamMetadata[name]\n          : [],\n      });\n      return [name, Object.freeze(ref)];\n    }),\n  );\n\n  const state = Object.fromEntries(\n    Object.keys(schema.state.fields)\n      .filter((name) => !name.startsWith(\"$\"))\n      .map((name) => [name, Object.freeze({\n        __kind: \"FieldRef\",\n        path: name,\n      })]),\n  );\n\n  const computed = Object.fromEntries(\n    Object.keys(schema.computed.fields)\n      .map((name) => [name, Object.freeze({\n        __kind: \"ComputedRef\",\n        path: name,\n      })]),\n  );\n\n  return Object.freeze({\n    actions: Object.freeze(actions),\n    state: Object.freeze(state),\n    computed: Object.freeze(computed),\n  }) as unknown as TypedMEL<T>;\n}\n\nfunction buildCreateIntent<T extends ManifestoDomainShape>(): TypedCreateIntent<T> {\n  return <K extends keyof T[\"actions\"]>(\n    action: TypedActionRef<T, K>,\n    ...args: CreateIntentArgs<T, K>\n  ): TypedIntent<T, K> => {\n    const actionRef = action as unknown as RuntimeActionRef;\n    const intentId = generateUUID();\n    const input = packIntentInput(actionRef, args);\n    return createCoreIntent(\n      String(action.name),\n      input,\n      intentId,\n    ) as TypedIntent<T, K>;\n  };\n}\n\nfunction getActionParamNames(input: DomainSchema[\"actions\"][string][\"input\"]): readonly string[] {\n  if (!input || input.type !== \"object\" || !input.fields) {\n    return [];\n  }\n\n  return Object.keys(input.fields);\n}\n\nfunction deriveActionParamMetadata(\n  schema: DomainSchema,\n  actionParamOrder?: Readonly<Record<string, readonly string[]>>,\n): Readonly<Record<string, ActionParamMetadata>> {\n  return Object.freeze(Object.fromEntries(\n    Object.entries(schema.actions).map(([name, action]) => {\n      const preferredOrder = actionParamOrder?.[name];\n      if (preferredOrder && preferredOrder.length > 0) {\n        return [name, Object.freeze([...preferredOrder])];\n      }\n\n      if (!action.input || action.input.type !== \"object\" || !action.input.fields) {\n        return [name, []];\n      }\n\n      const fieldNames = getActionParamNames(action.input);\n      return [name, fieldNames.length <= 1 ? fieldNames : null];\n    }),\n  ));\n}\n\nfunction extractActionParamOrderFromMel(\n  source: string,\n): Readonly<Record<string, readonly string[]>> | undefined {\n  const lexed = tokenizeMel(source);\n  if (lexed.diagnostics.some((diagnostic) => diagnostic.severity === \"error\")) {\n    return undefined;\n  }\n\n  const parsed = parseMel(lexed.tokens);\n  if (!parsed.program) {\n    return undefined;\n  }\n\n  return Object.freeze(Object.fromEntries(\n    parsed.program.domain.members\n      .filter((member) => member.kind === \"action\")\n      .map((action) => [action.name, Object.freeze(action.params.map((param) => param.name))]),\n  ));\n}\n\nfunction packIntentInput(action: RuntimeActionRef, args: readonly unknown[]): unknown {\n  const paramNames = Object.hasOwn(action, ACTION_PARAM_NAMES)\n    ? action[ACTION_PARAM_NAMES]\n    : [];\n  if (args.length === 0) {\n    return undefined;\n  }\n\n  if (paramNames === null) {\n    if (args.length === 1 && isPlainObject(args[0])) {\n      return args[0];\n    }\n\n    throw new ManifestoError(\n      \"INVALID_INTENT_ARGS\",\n      `Action \"${String(action.name)}\" requires a single object argument because positional parameter metadata is unavailable`,\n    );\n  }\n\n  if (paramNames.length === 0) {\n    if (args.length === 1) {\n      return args[0];\n    }\n\n    throw new ManifestoError(\n      \"INVALID_INTENT_ARGS\",\n      `Action \"${String(action.name)}\" does not accept multiple positional arguments`,\n    );\n  }\n\n  if (args.length === 1 && isPlainObject(args[0]) && paramNames.length > 1) {\n    return args[0];\n  }\n\n  return Object.fromEntries(args.map((value, index) => [\n    paramNames[index] ?? `arg${index}`,\n    value,\n  ]));\n}\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction createInternalHost(\n  schema: DomainSchema,\n  effects: Record<string, EffectHandler>,\n): ManifestoHost {\n  const host = createHost(schema, {\n    initialData: extractDefaults(schema.state),\n  });\n\n  host.registerEffect(RESERVED_EFFECT_TYPE, async (\n    _type: string,\n    params: Record<string, unknown>,\n    ctx: HostEffectContext,\n  ): Promise<Patch[]> => {\n    const { patches } = executeSystemGet(params, ctx.snapshot as Snapshot);\n    return patches;\n  });\n\n  for (const [effectType, appHandler] of Object.entries(effects)) {\n    const hostHandler: HostEffectHandler = async (\n      _type: string,\n      params: Record<string, unknown>,\n      ctx: HostEffectContext,\n    ): Promise<Patch[]> => {\n      const patches = await appHandler(params, { snapshot: freezeSnapshot(ctx.snapshot) });\n      return patches as Patch[];\n    };\n\n    host.registerEffect(effectType, hostHandler);\n  }\n\n  return host;\n}\n\ninterface SystemGetReadParams {\n  path: string;\n  target?: string;\n}\n\ninterface SystemGetGenerateParams {\n  key: string;\n  into: string;\n}\n\nfunction isGenerateParams(params: unknown): params is SystemGetGenerateParams {\n  return (\n    typeof params === \"object\" &&\n    params !== null &&\n    \"key\" in params &&\n    \"into\" in params\n  );\n}\n\nfunction executeSystemGet(\n  params: unknown,\n  snapshot: Snapshot,\n): { patches: Patch[] } {\n  if (isGenerateParams(params)) {\n    return {\n      patches: [{\n        op: \"set\",\n        path: normalizeTargetPath(params.into),\n        value: generateSystemValue(params.key),\n      }],\n    };\n  }\n\n  const { path, target } = params as SystemGetReadParams;\n  const result = resolvePathValue(path, snapshot);\n  if (!target) {\n    return { patches: [] };\n  }\n\n  return {\n    patches: [{\n      op: \"set\",\n      path: normalizeTargetPath(target),\n      value: result.value,\n    }],\n  };\n}\n\nfunction generateSystemValue(key: string): unknown {\n  switch (key) {\n    case \"uuid\":\n      return generateUUID();\n    case \"timestamp\":\n    case \"time.now\":\n      return Date.now();\n    case \"isoTimestamp\":\n      return new Date().toISOString();\n    default:\n      return null;\n  }\n}\n\nfunction normalizeTargetPath(path: string): Patch[\"path\"] {\n  const normalized = normalizePath(path);\n  const withoutDataRoot = normalized.startsWith(\"data.\")\n    ? normalized.slice(\"data.\".length)\n    : normalized;\n  return semanticPathToPatchPath(withoutDataRoot);\n}\n\nfunction normalizePath(path: string): string {\n  if (path.startsWith(\"/\")) {\n    return path.slice(1).replace(/\\//g, \".\");\n  }\n  return path;\n}\n\nfunction resolvePathValue(\n  path: string,\n  snapshot: Snapshot,\n): { value: unknown; found: boolean } {\n  const normalized = normalizePath(path);\n  const parts = normalized.split(\".\");\n  if (parts.length === 0) {\n    return { value: undefined, found: false };\n  }\n\n  const [root, ...rest] = parts;\n  let current: unknown;\n\n  switch (root) {\n    case \"data\":\n      current = snapshot.data;\n      break;\n    case \"computed\":\n      current = snapshot.computed;\n      break;\n    case \"system\":\n      current = snapshot.system;\n      break;\n    case \"meta\":\n      current = snapshot.meta;\n      break;\n    default:\n      current = snapshot.data;\n      rest.unshift(root);\n      break;\n  }\n\n  for (const part of rest) {\n    if (current === null || current === undefined || typeof current !== \"object\") {\n      return { value: undefined, found: false };\n    }\n    current = (current as Record<string, unknown>)[part];\n  }\n\n  return { value: current, found: current !== undefined };\n}\n\nfunction freezeSnapshot<TData = unknown>(snapshot: Snapshot<TData>): Snapshot<TData> {\n  return Object.freeze(structuredClone(snapshot)) as Snapshot<TData>;\n}\n\nfunction generateUUID(): string {\n  if (typeof crypto !== \"undefined\" && typeof crypto.randomUUID === \"function\") {\n    return crypto.randomUUID();\n  }\n\n  return \"xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx\".replace(/[xy]/g, (char) => {\n    const random = (Math.random() * 16) | 0;\n    const value = char === \"x\" ? random : (random & 0x3) | 0x8;\n    return value.toString(16);\n  });\n}\n","/**\n * @manifesto-ai/sdk v3.0.0\n *\n * SDK hard cut around the activation boundary.\n *\n * @see sdk-SPEC.md\n * @see ADR-017\n * @packageDocumentation\n */\n\nexport type { SdkManifest } from \"./manifest.js\";\n\nexport { createManifesto } from \"./create-manifesto.js\";\n\nexport type {\n  ActivatedInstance,\n  ActionArgs,\n  CreateIntentArgs,\n  ActionObjectBindingArgs,\n  TypedActionMetadata,\n  TypedGetActionMetadata,\n  BaseLaws,\n  BaseComposableLaws,\n  ComposableManifesto,\n  ComputedRef,\n  EffectContext,\n  EffectHandler,\n  FieldRef,\n  GovernedComposableLaws,\n  GovernanceLaws,\n  LineageComposableLaws,\n  LineageLaws,\n  ManifestoBaseInstance,\n  ManifestoDecoratedRuntimeByLaws,\n  ManifestoDomainShape,\n  ManifestoEvent,\n  ManifestoEventMap,\n  ManifestoEventPayload,\n  ManifestoRuntimeByLaws,\n  Selector,\n  Snapshot,\n  TypedActionRef,\n  TypedCommitAsync,\n  TypedCreateIntent,\n  TypedDispatchAsync,\n  TypedIntent,\n  TypedMEL,\n  TypedOn,\n  TypedSubscribe,\n  Unsubscribe,\n} from \"./types.js\";\n\nexport {\n  AlreadyActivatedError,\n  CompileError,\n  DisposedError,\n  ManifestoError,\n  ReservedEffectError,\n} from \"./errors.js\";\n\nexport type { CompileDiagnostic } from \"./errors.js\";\n\nexport type {\n  DomainSchema,\n  Intent,\n  Patch,\n  Snapshot as CoreSnapshot,\n} from \"@manifesto-ai/core\";\n\nexport { createSnapshot } from \"@manifesto-ai/core\";\n"],"mappings":";;;;;;;;;;;;;;AAAA;AAAA,EAIE;AAAA,OACK;AACP;AAAA,EACE,gBAAgB;AAAA,EAChB;AAAA,EACA;AAAA,EACA;AAAA,OAIK;AACP;AAAA,EACE;AAAA,EACA,SAAS;AAAA,EACT,YAAY;AAAA,OACP;AA2BP,IAAM,uBAAuB;AAC7B,IAAM,4BAA4B;AAClC,IAAM,YAAgC,OAAO,OAAO,EAAE,YAAY,KAAK,CAAC;AAajE,SAAS,gBACd,aACA,SAC4C;AAC5C,MAAI,wBAAwB,SAAS;AACnC,UAAM,IAAI,oBAAoB,oBAAoB;AAAA,EACpD;AAEA,QAAM,WAAW,cAAc,WAAW;AAC1C,6BAA2B,SAAS,MAAM;AAE1C,QAAM,YAAY;AAAA,IAChB,OAAO;AAAA,IACP,QAAQ,SAAS;AAAA,IACjB,WAAW;AACT,yBAAmB,SAAS;AAC5B,aAAO;AAAA,QACL,oBAAuB;AAAA,UACrB,QAAQ,SAAS;AAAA,UACjB,MAAM,mBAAmB,SAAS,QAAQ,OAAO;AAAA,UACjD,KAAK,cAAiB,SAAS,QAAQ,SAAS,mBAAmB;AAAA,UACnE,cAAc,kBAAqB;AAAA,QACrC,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AAAA,IAA2B;AAAA,IAAW,MAC3C,oBAAuB;AAAA,MACrB,QAAQ,SAAS;AAAA,MACjB,MAAM,mBAAmB,SAAS,QAAQ,OAAO;AAAA,MACjD,KAAK,cAAiB,SAAS,QAAQ,SAAS,mBAAmB;AAAA,MACnE,cAAc,kBAAqB;AAAA,IACrC,CAAC;AAAA,EACH;AACF;AAEA,SAAS,cAAc,QAA+C;AACpE,QAAM,WAAW,OAAO,WAAW,WAC/B,cAAc,MAAM,IACpB;AAAA,IACA;AAAA,IACA,qBAAqB,0BAA0B,MAAM;AAAA,EACvD;AAEF,SAAO;AAAA,IACL,QAAQ,uBAAuB,SAAS,MAAM;AAAA,IAC9C,qBAAqB,SAAS;AAAA,EAChC;AACF;AAEA,SAAS,cAAc,QAAgC;AACrD,QAAM,SAAS,iBAAiB,QAAQ,EAAE,MAAM,SAAS,CAAC;AAE1D,MAAI,OAAO,OAAO,SAAS,GAAG;AAC5B,UAAM,YAAY,OAAO,OAAO,IAAI,CAAC,eAAe;AAClD,YAAM,MAAM,WAAW;AACvB,UAAI,CAAC,OAAQ,IAAI,MAAM,SAAS,KAAK,IAAI,MAAM,WAAW,GAAI;AAC5D,eAAO,IAAI,WAAW,IAAI,KAAK,WAAW,OAAO;AAAA,MACnD;AAEA,YAAM,SAAS,IAAI,WAAW,IAAI,KAAK,WAAW,OAAO,KAAK,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,MAAM;AAChG,YAAM,OAAO,OAAO,MAAM,IAAI,EAAE,IAAI,MAAM,OAAO,CAAC;AAClD,UAAI,CAAC,MAAM;AACT,eAAO;AAAA,MACT;AAEA,YAAM,UAAU,OAAO,IAAI,MAAM,IAAI,EAAE,SAAS,GAAG,GAAG;AACtD,YAAM,eAAe,KAAK;AAAA,QACxB;AAAA,QACA,IAAI,IAAI,SAAS,IAAI,MAAM,OACvB,KAAK,IAAI,IAAI,IAAI,SAAS,IAAI,MAAM,QAAQ,KAAK,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,SAAS,CAAC,CAAC,IAC3F;AAAA,MACN;AACA,YAAM,UAAU,IAAI,OAAO,QAAQ,SAAS,IAAI,IAAI,MAAM,SAAS,CAAC;AACpE,aAAO,GAAG,MAAM;AAAA,EAAK,OAAO,MAAM,IAAI;AAAA,EAAK,OAAO,GAAG,IAAI,OAAO,YAAY,CAAC;AAAA,IAC/E,CAAC,EAAE,KAAK,MAAM;AAEd,UAAM,IAAI,aAAa,OAAO,QAAQ;AAAA,EAA4B,SAAS,EAAE;AAAA,EAC/E;AAEA,MAAI,CAAC,OAAO,QAAQ;AAClB,UAAM,IAAI,eAAe,iBAAiB,oCAAoC;AAAA,EAChF;AAEA,QAAM,SAAS,OAAO;AACtB,SAAO;AAAA,IACL;AAAA,IACA,qBAAqB;AAAA,MACnB;AAAA,MACA,+BAA+B,MAAM;AAAA,IACvC;AAAA,EACF;AACF;AAEA,SAAS,uBAAuB,QAAoC;AAClE,QAAM,SAAS,EAAE,GAAG,OAAO,MAAM,OAAO;AACxC,MAAI,UAAU;AAEd,MAAI,CAAC,OAAO,OAAO;AACjB,WAAO,QAAQ;AAAA,MACb,MAAM;AAAA,MACN,UAAU;AAAA,MACV,SAAS,CAAC;AAAA,IACZ;AACA,cAAU;AAAA,EACZ,WAAW,OAAO,MAAM,SAAS,UAAU;AACzC,UAAM,IAAI,eAAe,gBAAgB,oDAAoD;AAAA,EAC/F,WAAW,OAAO,MAAM,YAAY,QAAW;AAC7C,WAAO,QAAQ,EAAE,GAAG,OAAO,OAAO,SAAS,CAAC,EAAE;AAC9C,cAAU;AAAA,EACZ;AAEA,MAAI,CAAC,OAAO,MAAM;AAChB,WAAO,OAAO;AAAA,MACZ,MAAM;AAAA,MACN,UAAU;AAAA,MACV,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE;AAAA,MAClC,QAAQ;AAAA,QACN,QAAQ;AAAA,UACN,MAAM;AAAA,UACN,UAAU;AAAA,UACV,SAAS,EAAE,QAAQ,CAAC,EAAE;AAAA,UACtB,QAAQ;AAAA,YACN,QAAQ;AAAA,cACN,MAAM;AAAA,cACN,UAAU;AAAA,cACV,SAAS,CAAC;AAAA,YACZ;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,cAAU;AAAA,EACZ,WAAW,OAAO,KAAK,SAAS,UAAU;AACxC,UAAM,IAAI,eAAe,gBAAgB,mDAAmD;AAAA,EAC9F,OAAO;AACL,QAAI,UAAU,OAAO;AACrB,QAAI,QAAQ,YAAY,QAAW;AACjC,gBAAU,EAAE,GAAG,SAAS,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE;AAC5D,gBAAU;AAAA,IACZ;AAEA,UAAM,YAAY,QAAQ,UAAU,CAAC;AACrC,UAAM,cAAc,UAAU;AAE9B,QAAI,CAAC,aAAa;AAChB,gBAAU;AAAA,QACR,GAAG;AAAA,QACH,QAAQ;AAAA,UACN,GAAG;AAAA,UACH,QAAQ;AAAA,YACN,MAAM;AAAA,YACN,UAAU;AAAA,YACV,SAAS,EAAE,QAAQ,CAAC,EAAE;AAAA,YACtB,QAAQ;AAAA,cACN,QAAQ;AAAA,gBACN,MAAM;AAAA,gBACN,UAAU;AAAA,gBACV,SAAS,CAAC;AAAA,cACZ;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAAA,MACF;AACA,gBAAU;AAAA,IACZ,WAAW,YAAY,SAAS,UAAU;AACxC,YAAM,IAAI,eAAe,gBAAgB,0DAA0D;AAAA,IACrG,OAAO;AACL,UAAI,aAAa;AACjB,UAAI,WAAW,YAAY,QAAW;AACpC,qBAAa,EAAE,GAAG,YAAY,SAAS,EAAE,QAAQ,CAAC,EAAE,EAAE;AACtD,kBAAU;AAAA,MACZ;AAEA,YAAM,cAAc,WAAW,UAAU,CAAC;AAC1C,YAAM,cAAc,YAAY;AAEhC,UAAI,CAAC,aAAa;AAChB,qBAAa;AAAA,UACX,GAAG;AAAA,UACH,QAAQ;AAAA,YACN,GAAG;AAAA,YACH,QAAQ;AAAA,cACN,MAAM;AAAA,cACN,UAAU;AAAA,cACV,SAAS,CAAC;AAAA,YACZ;AAAA,UACF;AAAA,QACF;AACA,kBAAU;AAAA,MACZ,WAAW,YAAY,SAAS,UAAU;AACxC,cAAM,IAAI,eAAe,gBAAgB,iEAAiE;AAAA,MAC5G,WAAW,YAAY,YAAY,QAAW;AAC5C,qBAAa;AAAA,UACX,GAAG;AAAA,UACH,QAAQ;AAAA,YACN,GAAG;AAAA,YACH,QAAQ,EAAE,GAAG,aAAa,SAAS,CAAC,EAAE;AAAA,UACxC;AAAA,QACF;AACA,kBAAU;AAAA,MACZ;AAEA,UAAI,eAAe,aAAa;AAC9B,kBAAU;AAAA,UACR,GAAG;AAAA,UACH,QAAQ;AAAA,YACN,GAAG;AAAA,YACH,QAAQ;AAAA,UACV;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAEA,QAAI,YAAY,OAAO,MAAM;AAC3B,aAAO,OAAO;AAAA,IAChB;AAAA,EACF;AAEA,MAAI,CAAC,SAAS;AACZ,WAAO;AAAA,EACT;AAEA,QAAM,aAAa;AAAA,IACjB,GAAG;AAAA,IACH,OAAO;AAAA,MACL,GAAG,OAAO;AAAA,MACV;AAAA,IACF;AAAA,EACF;AAEA,QAAM,EAAE,MAAM,OAAO,GAAG,kBAAkB,IAAI;AAC9C,SAAO;AAAA,IACL,GAAG;AAAA,IACH,MAAM,eAAe,iBAAiB;AAAA,EACxC;AACF;AAEA,SAAS,2BAA2B,QAA4B;AAC9D,aAAW,cAAc,OAAO,KAAK,OAAO,WAAW,CAAC,CAAC,GAAG;AAC1D,QAAI,WAAW,WAAW,yBAAyB,GAAG;AACpD,YAAM,IAAI;AAAA,QACR;AAAA,QACA,gBAAgB,UAAU,qCAAqC,yBAAyB;AAAA,MAC1F;AAAA,IACF;AAAA,EACF;AACF;AAEA,SAAS,cACP,QACA,qBACa;AACb,QAAM,UAAU,OAAO;AAAA,IACrB,OAAO,KAAK,OAAO,OAAO,EAAE,IAAI,CAAC,SAAS;AACxC,YAAM,MAAoC;AAAA,QACxC,QAAQ;AAAA,QACR;AAAA,MACF;AACA,aAAO,eAAe,KAAK,oBAAoB;AAAA,QAC7C,YAAY;AAAA,QACZ,cAAc;AAAA,QACd,UAAU;AAAA,QACV,OAAO,OAAO,OAAO,qBAAqB,IAAI,IAC1C,oBAAoB,IAAI,IACxB,CAAC;AAAA,MACP,CAAC;AACD,aAAO,CAAC,MAAM,OAAO,OAAO,GAAG,CAAC;AAAA,IAClC,CAAC;AAAA,EACH;AAEA,QAAM,QAAQ,OAAO;AAAA,IACnB,OAAO,KAAK,OAAO,MAAM,MAAM,EAC5B,OAAO,CAAC,SAAS,CAAC,KAAK,WAAW,GAAG,CAAC,EACtC,IAAI,CAAC,SAAS,CAAC,MAAM,OAAO,OAAO;AAAA,MAClC,QAAQ;AAAA,MACR,MAAM;AAAA,IACR,CAAC,CAAC,CAAC;AAAA,EACP;AAEA,QAAM,WAAW,OAAO;AAAA,IACtB,OAAO,KAAK,OAAO,SAAS,MAAM,EAC/B,IAAI,CAAC,SAAS,CAAC,MAAM,OAAO,OAAO;AAAA,MAClC,QAAQ;AAAA,MACR,MAAM;AAAA,IACR,CAAC,CAAC,CAAC;AAAA,EACP;AAEA,SAAO,OAAO,OAAO;AAAA,IACnB,SAAS,OAAO,OAAO,OAAO;AAAA,IAC9B,OAAO,OAAO,OAAO,KAAK;AAAA,IAC1B,UAAU,OAAO,OAAO,QAAQ;AAAA,EAClC,CAAC;AACH;AAEA,SAAS,oBAA0E;AACjF,SAAO,CACL,WACG,SACmB;AACtB,UAAM,YAAY;AAClB,UAAM,WAAW,aAAa;AAC9B,UAAM,QAAQ,gBAAgB,WAAW,IAAI;AAC7C,WAAO;AAAA,MACL,OAAO,OAAO,IAAI;AAAA,MAClB;AAAA,MACA;AAAA,IACF;AAAA,EACF;AACF;AAEA,SAAS,oBAAoB,OAAoE;AAC/F,MAAI,CAAC,SAAS,MAAM,SAAS,YAAY,CAAC,MAAM,QAAQ;AACtD,WAAO,CAAC;AAAA,EACV;AAEA,SAAO,OAAO,KAAK,MAAM,MAAM;AACjC;AAEA,SAAS,0BACP,QACA,kBAC+C;AAC/C,SAAO,OAAO,OAAO,OAAO;AAAA,IAC1B,OAAO,QAAQ,OAAO,OAAO,EAAE,IAAI,CAAC,CAAC,MAAM,MAAM,MAAM;AACrD,YAAM,iBAAiB,mBAAmB,IAAI;AAC9C,UAAI,kBAAkB,eAAe,SAAS,GAAG;AAC/C,eAAO,CAAC,MAAM,OAAO,OAAO,CAAC,GAAG,cAAc,CAAC,CAAC;AAAA,MAClD;AAEA,UAAI,CAAC,OAAO,SAAS,OAAO,MAAM,SAAS,YAAY,CAAC,OAAO,MAAM,QAAQ;AAC3E,eAAO,CAAC,MAAM,CAAC,CAAC;AAAA,MAClB;AAEA,YAAM,aAAa,oBAAoB,OAAO,KAAK;AACnD,aAAO,CAAC,MAAM,WAAW,UAAU,IAAI,aAAa,IAAI;AAAA,IAC1D,CAAC;AAAA,EACH,CAAC;AACH;AAEA,SAAS,+BACP,QACyD;AACzD,QAAM,QAAQ,YAAY,MAAM;AAChC,MAAI,MAAM,YAAY,KAAK,CAAC,eAAe,WAAW,aAAa,OAAO,GAAG;AAC3E,WAAO;AAAA,EACT;AAEA,QAAM,SAAS,SAAS,MAAM,MAAM;AACpC,MAAI,CAAC,OAAO,SAAS;AACnB,WAAO;AAAA,EACT;AAEA,SAAO,OAAO,OAAO,OAAO;AAAA,IAC1B,OAAO,QAAQ,OAAO,QACnB,OAAO,CAAC,WAAW,OAAO,SAAS,QAAQ,EAC3C,IAAI,CAAC,WAAW,CAAC,OAAO,MAAM,OAAO,OAAO,OAAO,OAAO,IAAI,CAAC,UAAU,MAAM,IAAI,CAAC,CAAC,CAAC;AAAA,EAC3F,CAAC;AACH;AAEA,SAAS,gBAAgB,QAA0B,MAAmC;AACpF,QAAM,aAAa,OAAO,OAAO,QAAQ,kBAAkB,IACvD,OAAO,kBAAkB,IACzB,CAAC;AACL,MAAI,KAAK,WAAW,GAAG;AACrB,WAAO;AAAA,EACT;AAEA,MAAI,eAAe,MAAM;AACvB,QAAI,KAAK,WAAW,KAAK,cAAc,KAAK,CAAC,CAAC,GAAG;AAC/C,aAAO,KAAK,CAAC;AAAA,IACf;AAEA,UAAM,IAAI;AAAA,MACR;AAAA,MACA,WAAW,OAAO,OAAO,IAAI,CAAC;AAAA,IAChC;AAAA,EACF;AAEA,MAAI,WAAW,WAAW,GAAG;AAC3B,QAAI,KAAK,WAAW,GAAG;AACrB,aAAO,KAAK,CAAC;AAAA,IACf;AAEA,UAAM,IAAI;AAAA,MACR;AAAA,MACA,WAAW,OAAO,OAAO,IAAI,CAAC;AAAA,IAChC;AAAA,EACF;AAEA,MAAI,KAAK,WAAW,KAAK,cAAc,KAAK,CAAC,CAAC,KAAK,WAAW,SAAS,GAAG;AACxE,WAAO,KAAK,CAAC;AAAA,EACf;AAEA,SAAO,OAAO,YAAY,KAAK,IAAI,CAAC,OAAO,UAAU;AAAA,IACnD,WAAW,KAAK,KAAK,MAAM,KAAK;AAAA,IAChC;AAAA,EACF,CAAC,CAAC;AACJ;AAEA,SAAS,cAAc,OAAkD;AACvE,SAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAC5E;AAEA,SAAS,mBACP,QACA,SACe;AACf,QAAM,OAAO,WAAW,QAAQ;AAAA,IAC9B,aAAa,gBAAgB,OAAO,KAAK;AAAA,EAC3C,CAAC;AAED,OAAK,eAAe,sBAAsB,OACxC,OACA,QACA,QACqB;AACrB,UAAM,EAAE,QAAQ,IAAI,iBAAiB,QAAQ,IAAI,QAAoB;AACrE,WAAO;AAAA,EACT,CAAC;AAED,aAAW,CAAC,YAAY,UAAU,KAAK,OAAO,QAAQ,OAAO,GAAG;AAC9D,UAAM,cAAiC,OACrC,OACA,QACA,QACqB;AACrB,YAAM,UAAU,MAAM,WAAW,QAAQ,EAAE,UAAU,eAAe,IAAI,QAAQ,EAAE,CAAC;AACnF,aAAO;AAAA,IACT;AAEA,SAAK,eAAe,YAAY,WAAW;AAAA,EAC7C;AAEA,SAAO;AACT;AAYA,SAAS,iBAAiB,QAAoD;AAC5E,SACE,OAAO,WAAW,YAClB,WAAW,QACX,SAAS,UACT,UAAU;AAEd;AAEA,SAAS,iBACP,QACA,UACsB;AACtB,MAAI,iBAAiB,MAAM,GAAG;AAC5B,WAAO;AAAA,MACL,SAAS,CAAC;AAAA,QACR,IAAI;AAAA,QACJ,MAAM,oBAAoB,OAAO,IAAI;AAAA,QACrC,OAAO,oBAAoB,OAAO,GAAG;AAAA,MACvC,CAAC;AAAA,IACH;AAAA,EACF;AAEA,QAAM,EAAE,MAAM,OAAO,IAAI;AACzB,QAAM,SAAS,iBAAiB,MAAM,QAAQ;AAC9C,MAAI,CAAC,QAAQ;AACX,WAAO,EAAE,SAAS,CAAC,EAAE;AAAA,EACvB;AAEA,SAAO;AAAA,IACL,SAAS,CAAC;AAAA,MACR,IAAI;AAAA,MACJ,MAAM,oBAAoB,MAAM;AAAA,MAChC,OAAO,OAAO;AAAA,IAChB,CAAC;AAAA,EACH;AACF;AAEA,SAAS,oBAAoB,KAAsB;AACjD,UAAQ,KAAK;AAAA,IACX,KAAK;AACH,aAAO,aAAa;AAAA,IACtB,KAAK;AAAA,IACL,KAAK;AACH,aAAO,KAAK,IAAI;AAAA,IAClB,KAAK;AACH,cAAO,oBAAI,KAAK,GAAE,YAAY;AAAA,IAChC;AACE,aAAO;AAAA,EACX;AACF;AAEA,SAAS,oBAAoB,MAA6B;AACxD,QAAM,aAAa,cAAc,IAAI;AACrC,QAAM,kBAAkB,WAAW,WAAW,OAAO,IACjD,WAAW,MAAM,QAAQ,MAAM,IAC/B;AACJ,SAAO,wBAAwB,eAAe;AAChD;AAEA,SAAS,cAAc,MAAsB;AAC3C,MAAI,KAAK,WAAW,GAAG,GAAG;AACxB,WAAO,KAAK,MAAM,CAAC,EAAE,QAAQ,OAAO,GAAG;AAAA,EACzC;AACA,SAAO;AACT;AAEA,SAAS,iBACP,MACA,UACoC;AACpC,QAAM,aAAa,cAAc,IAAI;AACrC,QAAM,QAAQ,WAAW,MAAM,GAAG;AAClC,MAAI,MAAM,WAAW,GAAG;AACtB,WAAO,EAAE,OAAO,QAAW,OAAO,MAAM;AAAA,EAC1C;AAEA,QAAM,CAAC,MAAM,GAAG,IAAI,IAAI;AACxB,MAAI;AAEJ,UAAQ,MAAM;AAAA,IACZ,KAAK;AACH,gBAAU,SAAS;AACnB;AAAA,IACF,KAAK;AACH,gBAAU,SAAS;AACnB;AAAA,IACF,KAAK;AACH,gBAAU,SAAS;AACnB;AAAA,IACF,KAAK;AACH,gBAAU,SAAS;AACnB;AAAA,IACF;AACE,gBAAU,SAAS;AACnB,WAAK,QAAQ,IAAI;AACjB;AAAA,EACJ;AAEA,aAAW,QAAQ,MAAM;AACvB,QAAI,YAAY,QAAQ,YAAY,UAAa,OAAO,YAAY,UAAU;AAC5E,aAAO,EAAE,OAAO,QAAW,OAAO,MAAM;AAAA,IAC1C;AACA,cAAW,QAAoC,IAAI;AAAA,EACrD;AAEA,SAAO,EAAE,OAAO,SAAS,OAAO,YAAY,OAAU;AACxD;AAEA,SAAS,eAAgC,UAA4C;AACnF,SAAO,OAAO,OAAO,gBAAgB,QAAQ,CAAC;AAChD;AAEA,SAAS,eAAuB;AAC9B,MAAI,OAAO,WAAW,eAAe,OAAO,OAAO,eAAe,YAAY;AAC5E,WAAO,OAAO,WAAW;AAAA,EAC3B;AAEA,SAAO,uCAAuC,QAAQ,SAAS,CAAC,SAAS;AACvE,UAAM,SAAU,KAAK,OAAO,IAAI,KAAM;AACtC,UAAM,QAAQ,SAAS,MAAM,SAAU,SAAS,IAAO;AACvD,WAAO,MAAM,SAAS,EAAE;AAAA,EAC1B,CAAC;AACH;;;ACnjBA,SAAS,sBAAsB;","names":[]}

package/dist/internal.d.ts

@@ -1,6 +1,6 @@
 import { type DomainSchema, type Snapshot as CoreSnapshot } from "@manifesto-ai/core";
 import type { HostResult, ManifestoHost } from "@manifesto-ai/host";
-import type { BaseLaws, ComposableManifesto, ManifestoBaseInstance, ManifestoDomainShape, ManifestoEvent, ManifestoEventMap, Snapshot, TypedCreateIntent, TypedIntent, TypedMEL, TypedOn, TypedSubscribe } from "./types.js";
+import type { BaseLaws, ComposableManifesto, ManifestoBaseInstance, ManifestoDomainShape, ManifestoEvent, ManifestoEventMap, Snapshot, TypedCreateIntent, TypedGetActionMetadata, TypedIntent, TypedMEL, TypedOn, TypedSubscribe } from "./types.js";
 export declare const ACTION_PARAM_NAMES: unique symbol;
 export declare const RUNTIME_KERNEL_FACTORY: unique symbol;
 export declare const ACTIVATION_STATE: unique symbol;
@@ -16,6 +16,7 @@ export interface RuntimeKernel<T extends ManifestoDomainShape> {
     readonly on: TypedOn<T>;
     readonly getSnapshot: () => Snapshot<T["state"]>;
     readonly getAvailableActions: () => readonly (keyof T["actions"])[];
+    readonly getActionMetadata: TypedGetActionMetadata<T>;
     readonly isActionAvailable: (name: keyof T["actions"]) => boolean;
     readonly dispose: () => void;
     readonly isDisposed: () => boolean;

package/dist/provider.d.ts

@@ -1,2 +1,7 @@
+/**
+ * Public decorator/provider authoring seam for activation-first runtime composition.
+ * App code should prefer the main sdk entry point; decorator and provider authors
+ * can rely on this subpath when composing or promoting runtime verbs.
+ */
 export type { ActivationState, HostDispatchOptions, RuntimeKernel, RuntimeKernelFactory, } from "./internal.js";
 export { activateComposable, assertComposableNotActivated, attachRuntimeKernelFactory, createRuntimeKernel, getActivationState, getRuntimeKernelFactory, } from "./internal.js";

package/dist/provider.js

@@ -5,7 +5,7 @@ import {
   createRuntimeKernel,
   getActivationState,
   getRuntimeKernelFactory
-} from "./chunk-5QHK6EOU.js";
+} from "./chunk-ND4PXKJT.js";
 export {
   activateComposable,
   assertComposableNotActivated,

package/dist/types.d.ts

@@ -55,6 +55,8 @@ export type TypedMEL<T extends ManifestoDomainShape> = {
     };
 };
 export type ActionArgs<T extends ManifestoDomainShape, K extends keyof T["actions"]> = T["actions"][K] extends (...args: infer P) => unknown ? P : never;
+export type ActionObjectBindingArgs<T extends ManifestoDomainShape, K extends keyof T["actions"]> = ActionArgs<T, K> extends [unknown, unknown, ...unknown[]] ? [params: Record<string, unknown>] : never;
+export type CreateIntentArgs<T extends ManifestoDomainShape, K extends keyof T["actions"]> = ActionArgs<T, K> | ActionObjectBindingArgs<T, K>;
 export type Selector<T, R> = (snapshot: Snapshot<T>) => R;
 export type Unsubscribe = () => void;
 declare const MANIFESTO_INTENT_BRAND: unique symbol;
@@ -64,10 +66,20 @@ export type TypedIntent<T extends ManifestoDomainShape, K extends keyof T["actio
         readonly action: K;
     };
 };
-export type TypedCreateIntent<T extends ManifestoDomainShape> = <K extends keyof T["actions"]>(action: TypedActionRef<T, K>, ...args: ActionArgs<T, K>) => TypedIntent<T, K>;
+export type TypedCreateIntent<T extends ManifestoDomainShape> = <K extends keyof T["actions"]>(action: TypedActionRef<T, K>, ...args: CreateIntentArgs<T, K>) => TypedIntent<T, K>;
 export type TypedDispatchAsync<T extends ManifestoDomainShape> = (intent: TypedIntent<T>) => Promise<Snapshot<T["state"]>>;
 export type TypedCommitAsync<T extends ManifestoDomainShape> = TypedDispatchAsync<T>;
 export type TypedSubscribe<T extends ManifestoDomainShape> = <R>(selector: Selector<T["state"], R>, listener: (value: R) => void) => Unsubscribe;
+export type TypedActionMetadata<T extends ManifestoDomainShape, K extends keyof T["actions"] = keyof T["actions"]> = {
+    readonly name: K;
+    readonly params: readonly string[];
+    readonly input: DomainSchema["actions"][string]["input"];
+    readonly description: string | undefined;
+};
+export type TypedGetActionMetadata<T extends ManifestoDomainShape> = {
+    (): readonly TypedActionMetadata<T>[];
+    <K extends keyof T["actions"]>(name: K): TypedActionMetadata<T, K>;
+};
 export interface ManifestoEventMap<T extends ManifestoDomainShape> {
     "dispatch:completed": {
         readonly intentId: string;
@@ -96,6 +108,7 @@ export type ManifestoBaseInstance<T extends ManifestoDomainShape> = {
     readonly on: TypedOn<T>;
     readonly getSnapshot: () => Snapshot<T["state"]>;
     readonly getAvailableActions: () => readonly (keyof T["actions"])[];
+    readonly getActionMetadata: TypedGetActionMetadata<T>;
     readonly isActionAvailable: (name: keyof T["actions"]) => boolean;
     readonly MEL: TypedMEL<T>;
     readonly schema: DomainSchema;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@manifesto-ai/sdk",
-  "version": "3.3.0",
+  "version": "3.3.2",
   "description": "Manifesto SDK - Activation-first public API for the base runtime",
   "author": "eggplantiny <eggplantiny@gmail.com>",
   "license": "MIT",
@@ -39,9 +39,9 @@
     "dist"
   ],
   "dependencies": {
-    "@manifesto-ai/compiler": "3.0.0",
-    "@manifesto-ai/core": "2.8.0",
-    "@manifesto-ai/host": "2.5.0"
+    "@manifesto-ai/compiler": "3.1.0",
+    "@manifesto-ai/host": "2.5.0",
+    "@manifesto-ai/core": "2.8.0"
   },
   "devDependencies": {
     "typescript": "^5.9.3",

package/dist/chunk-5QHK6EOU.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/errors.ts","../src/internal.ts"],"sourcesContent":["export class ManifestoError extends Error {\n  readonly code: string;\n\n  constructor(code: string, message: string, options?: ErrorOptions) {\n    super(message, options);\n    this.name = \"ManifestoError\";\n    this.code = code;\n  }\n}\n\nexport class ReservedEffectError extends ManifestoError {\n  readonly effectType: string;\n\n  constructor(effectType: string) {\n    super(\n      \"RESERVED_EFFECT\",\n      `Effect type \"${effectType}\" is reserved and cannot be overridden`,\n    );\n    this.name = \"ReservedEffectError\";\n    this.effectType = effectType;\n  }\n}\n\nexport interface CompileDiagnostic {\n  readonly severity: \"error\" | \"warning\" | \"info\";\n  readonly code: string;\n  readonly message: string;\n  readonly location: {\n    readonly start: { readonly line: number; readonly column: number; readonly offset: number };\n    readonly end: { readonly line: number; readonly column: number; readonly offset: number };\n  };\n  readonly source?: string;\n  readonly suggestion?: string;\n}\n\nexport class CompileError extends ManifestoError {\n  readonly diagnostics: readonly CompileDiagnostic[];\n\n  constructor(diagnostics: readonly CompileDiagnostic[], formattedMessage: string) {\n    super(\"COMPILE_ERROR\", formattedMessage);\n    this.name = \"CompileError\";\n    this.diagnostics = diagnostics;\n  }\n}\n\nexport class DisposedError extends ManifestoError {\n  constructor() {\n    super(\"DISPOSED\", \"Cannot use a disposed Manifesto runtime\");\n    this.name = \"DisposedError\";\n  }\n}\n\nexport class AlreadyActivatedError extends ManifestoError {\n  constructor() {\n    super(\"ALREADY_ACTIVATED\", \"ComposableManifesto.activate() may only be called once\");\n    this.name = \"AlreadyActivatedError\";\n  }\n}\n","import {\n  getAvailableActions as queryAvailableActions,\n  isActionAvailable as queryActionAvailable,\n  type DomainSchema,\n  type Snapshot as CoreSnapshot,\n} from \"@manifesto-ai/core\";\nimport type { HostResult, ManifestoHost } from \"@manifesto-ai/host\";\n\nimport {\n  AlreadyActivatedError,\n  DisposedError,\n  ManifestoError,\n} from \"./errors.js\";\nimport type {\n  BaseLaws,\n  ComposableManifesto,\n  ManifestoBaseInstance,\n  ManifestoDomainShape,\n  ManifestoEvent,\n  ManifestoEventMap,\n  Selector,\n  Snapshot,\n  TypedCreateIntent,\n  TypedIntent,\n  TypedMEL,\n  TypedOn,\n  TypedSubscribe,\n  Unsubscribe,\n} from \"./types.js\";\n\nexport const ACTION_PARAM_NAMES = Symbol(\"manifesto-sdk.action-param-names\");\nexport const RUNTIME_KERNEL_FACTORY = Symbol(\"manifesto-sdk.runtime-kernel-factory\");\nexport const ACTIVATION_STATE = Symbol(\"manifesto-sdk.activation-state\");\n\nexport type ActivationState = {\n  activated: boolean;\n};\n\nexport type HostDispatchOptions = NonNullable<Parameters<ManifestoHost[\"dispatch\"]>[1]>;\n\ninterface Subscriber<TState, R> {\n  readonly selector: Selector<TState, R>;\n  readonly listener: (value: R) => void;\n  lastValue: R | undefined;\n  initialized: boolean;\n}\n\nexport interface RuntimeKernel<T extends ManifestoDomainShape> {\n  readonly schema: DomainSchema;\n  readonly MEL: TypedMEL<T>;\n  readonly createIntent: TypedCreateIntent<T>;\n  readonly subscribe: TypedSubscribe<T>;\n  readonly on: TypedOn<T>;\n  readonly getSnapshot: () => Snapshot<T[\"state\"]>;\n  readonly getAvailableActions: () => readonly (keyof T[\"actions\"])[];\n  readonly isActionAvailable: (name: keyof T[\"actions\"]) => boolean;\n  readonly dispose: () => void;\n  readonly isDisposed: () => boolean;\n  readonly getVisibleCoreSnapshot: () => CoreSnapshot;\n  readonly setVisibleSnapshot: (\n    snapshot: CoreSnapshot,\n    options?: { readonly notify?: boolean },\n  ) => Snapshot<T[\"state\"]>;\n  readonly restoreVisibleSnapshot: () => void;\n  readonly emitEvent: <K extends ManifestoEvent>(\n    event: K,\n    payload: ManifestoEventMap<T>[K],\n  ) => void;\n  readonly enqueue: <R>(task: () => Promise<R>) => Promise<R>;\n  readonly ensureIntentId: (intent: TypedIntent<T>) => TypedIntent<T>;\n  readonly executeHost: (\n    intent: TypedIntent<T>,\n    options?: HostDispatchOptions,\n  ) => Promise<HostResult>;\n  readonly rejectUnavailable: (intent: TypedIntent<T>) => never;\n}\n\nexport type RuntimeKernelFactory<T extends ManifestoDomainShape> = () => RuntimeKernel<T>;\n\nexport type InternalComposableManifesto<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n> = ComposableManifesto<T, Laws> & {\n  readonly [RUNTIME_KERNEL_FACTORY]: RuntimeKernelFactory<T>;\n  readonly [ACTIVATION_STATE]: ActivationState;\n};\n\ntype RuntimeKernelOptions<T extends ManifestoDomainShape> = {\n  readonly schema: DomainSchema;\n  readonly host: ManifestoHost;\n  readonly MEL: TypedMEL<T>;\n  readonly createIntent: TypedCreateIntent<T>;\n};\n\nexport function attachRuntimeKernelFactory<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n  factory: RuntimeKernelFactory<T>,\n  activationState?: ActivationState,\n): InternalComposableManifesto<T, Laws> {\n  Object.defineProperty(manifesto, RUNTIME_KERNEL_FACTORY, {\n    enumerable: false,\n    configurable: false,\n    writable: false,\n    value: factory,\n  });\n\n  const state = activationState ?? getExistingActivationState(manifesto) ?? {\n    activated: false,\n  };\n\n  if (!getExistingActivationState(manifesto)) {\n    Object.defineProperty(manifesto, ACTIVATION_STATE, {\n      enumerable: false,\n      configurable: false,\n      writable: false,\n      value: state,\n    });\n  }\n\n  return manifesto as InternalComposableManifesto<T, Laws>;\n}\n\nexport function getRuntimeKernelFactory<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n): RuntimeKernelFactory<T> {\n  const internal = manifesto as Partial<InternalComposableManifesto<T, Laws>>;\n  const factory = internal[RUNTIME_KERNEL_FACTORY];\n\n  if (typeof factory !== \"function\") {\n    throw new ManifestoError(\n      \"SCHEMA_ERROR\",\n      \"ComposableManifesto is missing its runtime kernel factory\",\n    );\n  }\n\n  return factory;\n}\n\nexport function getActivationState<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n): ActivationState {\n  const internal = manifesto as Partial<InternalComposableManifesto<T, Laws>>;\n  const state = internal[ACTIVATION_STATE];\n\n  if (!state) {\n    throw new ManifestoError(\n      \"SCHEMA_ERROR\",\n      \"ComposableManifesto is missing its activation state\",\n    );\n  }\n\n  return state;\n}\n\nexport function assertComposableNotActivated<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n): void {\n  if (getActivationState(manifesto).activated) {\n    throw new AlreadyActivatedError();\n  }\n}\n\nexport function activateComposable<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n): void {\n  const state = getActivationState(manifesto);\n  if (state.activated) {\n    throw new AlreadyActivatedError();\n  }\n  state.activated = true;\n}\n\nfunction getExistingActivationState<\n  T extends ManifestoDomainShape,\n  Laws extends BaseLaws,\n>(\n  manifesto: ComposableManifesto<T, Laws>,\n): ActivationState | null {\n  const internal = manifesto as Partial<InternalComposableManifesto<T, Laws>>;\n  return internal[ACTIVATION_STATE] ?? null;\n}\n\nexport function createRuntimeKernel<T extends ManifestoDomainShape>({\n  schema,\n  host,\n  MEL,\n  createIntent,\n}: RuntimeKernelOptions<T>): RuntimeKernel<T> {\n  const initialSnapshot = host.getSnapshot();\n  if (!initialSnapshot) {\n    throw new ManifestoError(\"SCHEMA_ERROR\", \"Host failed to initialize its genesis snapshot\");\n  }\n\n  let visibleSnapshot: CoreSnapshot = initialSnapshot;\n  let dispatchQueue: Promise<void> = Promise.resolve();\n  let disposed = false;\n\n  const subscribers = new Set<Subscriber<T[\"state\"], unknown>>();\n  const eventListeners = new Map<\n    ManifestoEvent,\n    Set<(payload: ManifestoEventMap<T>[ManifestoEvent]) => void>\n  >();\n\n  function subscribe<R>(\n    selector: Selector<T[\"state\"], R>,\n    listener: (value: R) => void,\n  ): Unsubscribe {\n    if (disposed) {\n      return () => {};\n    }\n\n    let lastValue: R | undefined;\n    let initialized = false;\n\n    try {\n      lastValue = selector(snapshotForSelector<T[\"state\"]>(visibleSnapshot));\n      initialized = true;\n    } catch {\n      lastValue = undefined;\n      initialized = false;\n    }\n\n    const subscriber: Subscriber<T[\"state\"], R> = {\n      selector,\n      listener,\n      lastValue,\n      initialized,\n    };\n\n    subscribers.add(subscriber as Subscriber<T[\"state\"], unknown>);\n    return () => {\n      subscribers.delete(subscriber as Subscriber<T[\"state\"], unknown>);\n    };\n  }\n\n  function on<K extends ManifestoEvent>(\n    event: K,\n    handler: (payload: ManifestoEventMap<T>[K]) => void,\n  ): Unsubscribe {\n    if (disposed) {\n      return () => {};\n    }\n\n    let listeners = eventListeners.get(event);\n    if (!listeners) {\n      listeners = new Set();\n      eventListeners.set(\n        event,\n        listeners as Set<(payload: ManifestoEventMap<T>[ManifestoEvent]) => void>,\n      );\n    }\n\n    listeners.add(handler as (payload: ManifestoEventMap<T>[ManifestoEvent]) => void);\n    return () => {\n      listeners?.delete(handler as (payload: ManifestoEventMap<T>[ManifestoEvent]) => void);\n    };\n  }\n\n  function getSnapshot(): Snapshot<T[\"state\"]> {\n    return freezeSnapshot(visibleSnapshot) as Snapshot<T[\"state\"]>;\n  }\n\n  function getAvailableActions(): readonly (keyof T[\"actions\"])[] {\n    return queryAvailableActions(schema, visibleSnapshot) as readonly (keyof T[\"actions\"])[];\n  }\n\n  function isActionAvailable(name: keyof T[\"actions\"]): boolean {\n    return queryActionAvailable(schema, visibleSnapshot, String(name));\n  }\n\n  function dispose(): void {\n    if (disposed) {\n      return;\n    }\n\n    disposed = true;\n    subscribers.clear();\n    eventListeners.clear();\n  }\n\n  function setVisibleSnapshot(\n    snapshot: CoreSnapshot,\n    options?: { readonly notify?: boolean },\n  ): Snapshot<T[\"state\"]> {\n    visibleSnapshot = structuredClone(snapshot);\n    host.reset(visibleSnapshot);\n\n    const publishedSnapshot = freezeSnapshot(visibleSnapshot) as Snapshot<T[\"state\"]>;\n    if (options?.notify !== false) {\n      notifySubscribers(publishedSnapshot);\n    }\n    return publishedSnapshot;\n  }\n\n  function restoreVisibleSnapshot(): void {\n    host.reset(visibleSnapshot);\n  }\n\n  function emitEvent<K extends ManifestoEvent>(\n    event: K,\n    payload: ManifestoEventMap<T>[K],\n  ): void {\n    const listeners = eventListeners.get(event);\n    if (!listeners) {\n      return;\n    }\n\n    for (const handler of listeners) {\n      try {\n        handler(payload);\n      } catch {\n        // Event handler failures are isolated from runtime semantics.\n      }\n    }\n  }\n\n  function enqueue<R>(task: () => Promise<R>): Promise<R> {\n    const result = dispatchQueue\n      .catch(() => {})\n      .then(task);\n\n    dispatchQueue = result.then(() => undefined, () => undefined);\n    return result;\n  }\n\n  function ensureIntentId(intent: TypedIntent<T>): TypedIntent<T> {\n    if (intent.intentId && intent.intentId.length > 0) {\n      return intent;\n    }\n\n    return {\n      ...intent,\n      intentId: generateUUID(),\n    } as TypedIntent<T>;\n  }\n\n  async function executeHost(\n    intent: TypedIntent<T>,\n    options?: HostDispatchOptions,\n  ): Promise<HostResult> {\n    return host.dispatch(intent, options);\n  }\n\n  function rejectUnavailable(intent: TypedIntent<T>): never {\n    const error = new ManifestoError(\n      \"ACTION_UNAVAILABLE\",\n      `Action \"${intent.type}\" is unavailable against the current visible snapshot`,\n    );\n    emitEvent(\"dispatch:rejected\", {\n      intentId: intent.intentId ?? \"\",\n      intent,\n      reason: error.message,\n    });\n    throw error;\n  }\n\n  function notifySubscribers(snapshot: Snapshot<T[\"state\"]>): void {\n    for (const subscriber of subscribers) {\n      let selected: unknown;\n      try {\n        selected = subscriber.selector(snapshot);\n      } catch {\n        continue;\n      }\n\n      if (subscriber.initialized && Object.is(subscriber.lastValue, selected)) {\n        continue;\n      }\n\n      subscriber.lastValue = selected;\n      subscriber.initialized = true;\n\n      try {\n        subscriber.listener(selected);\n      } catch {\n        // Listener failures are isolated from runtime semantics.\n      }\n    }\n  }\n\n  return {\n    schema,\n    MEL,\n    createIntent,\n    subscribe,\n    on,\n    getSnapshot,\n    getAvailableActions,\n    isActionAvailable,\n    dispose,\n    isDisposed: () => disposed,\n    getVisibleCoreSnapshot: () => structuredClone(visibleSnapshot),\n    setVisibleSnapshot,\n    restoreVisibleSnapshot,\n    emitEvent,\n    enqueue,\n    ensureIntentId,\n    executeHost,\n    rejectUnavailable,\n  };\n}\n\nexport function createBaseRuntimeInstance<T extends ManifestoDomainShape>(\n  kernel: RuntimeKernel<T>,\n): ManifestoBaseInstance<T> {\n  async function processIntent(intent: TypedIntent<T>): Promise<Snapshot<T[\"state\"]>> {\n    if (kernel.isDisposed()) {\n      throw new DisposedError();\n    }\n\n    if (!kernel.isActionAvailable(intent.type as keyof T[\"actions\"])) {\n      return kernel.rejectUnavailable(intent);\n    }\n\n    let result: HostResult;\n    try {\n      result = await kernel.executeHost(intent);\n    } catch (error) {\n      const failure = toError(error);\n      kernel.emitEvent(\"dispatch:failed\", {\n        intentId: intent.intentId ?? \"\",\n        intent,\n        error: failure,\n      });\n      throw failure;\n    }\n\n    if (result.status === \"error\") {\n      const publishedSnapshot = kernel.setVisibleSnapshot(result.snapshot);\n      const failure = result.error ?? new ManifestoError(\"HOST_ERROR\", \"Host dispatch failed\");\n      kernel.emitEvent(\"dispatch:failed\", {\n        intentId: intent.intentId ?? \"\",\n        intent,\n        error: failure,\n        snapshot: publishedSnapshot,\n      });\n      throw failure;\n    }\n\n    const publishedSnapshot = kernel.setVisibleSnapshot(result.snapshot);\n    kernel.emitEvent(\"dispatch:completed\", {\n      intentId: intent.intentId ?? \"\",\n      intent,\n      snapshot: publishedSnapshot,\n    });\n    return publishedSnapshot;\n  }\n\n  function dispatchAsync(intent: TypedIntent<T>): Promise<Snapshot<T[\"state\"]>> {\n    if (kernel.isDisposed()) {\n      return Promise.reject(new DisposedError());\n    }\n\n    const enrichedIntent = kernel.ensureIntentId(intent);\n    return kernel.enqueue(() => processIntent(enrichedIntent));\n  }\n\n  return {\n    createIntent: kernel.createIntent,\n    dispatchAsync,\n    subscribe: kernel.subscribe,\n    on: kernel.on,\n    getSnapshot: kernel.getSnapshot,\n    getAvailableActions: kernel.getAvailableActions,\n    isActionAvailable: kernel.isActionAvailable,\n    MEL: kernel.MEL,\n    schema: kernel.schema,\n    dispose: kernel.dispose,\n  };\n}\n\nfunction snapshotForSelector<TState>(snapshot: CoreSnapshot): Snapshot<TState> {\n  return freezeSnapshot(snapshot) as Snapshot<TState>;\n}\n\nfunction freezeSnapshot<TData = unknown>(snapshot: CoreSnapshot): Snapshot<TData> {\n  return Object.freeze(structuredClone(snapshot)) as Snapshot<TData>;\n}\n\nfunction toError(error: unknown): Error {\n  return error instanceof Error\n    ? error\n    : new Error(String(error));\n}\n\nfunction generateUUID(): string {\n  if (typeof crypto !== \"undefined\" && typeof crypto.randomUUID === \"function\") {\n    return crypto.randomUUID();\n  }\n\n  return \"xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx\".replace(/[xy]/g, (char) => {\n    const random = (Math.random() * 16) | 0;\n    const value = char === \"x\" ? random : (random & 0x3) | 0x8;\n    return value.toString(16);\n  });\n}\n"],"mappings":";AAAO,IAAM,iBAAN,cAA6B,MAAM;AAAA,EAC/B;AAAA,EAET,YAAY,MAAc,SAAiB,SAAwB;AACjE,UAAM,SAAS,OAAO;AACtB,SAAK,OAAO;AACZ,SAAK,OAAO;AAAA,EACd;AACF;AAEO,IAAM,sBAAN,cAAkC,eAAe;AAAA,EAC7C;AAAA,EAET,YAAY,YAAoB;AAC9B;AAAA,MACE;AAAA,MACA,gBAAgB,UAAU;AAAA,IAC5B;AACA,SAAK,OAAO;AACZ,SAAK,aAAa;AAAA,EACpB;AACF;AAcO,IAAM,eAAN,cAA2B,eAAe;AAAA,EACtC;AAAA,EAET,YAAY,aAA2C,kBAA0B;AAC/E,UAAM,iBAAiB,gBAAgB;AACvC,SAAK,OAAO;AACZ,SAAK,cAAc;AAAA,EACrB;AACF;AAEO,IAAM,gBAAN,cAA4B,eAAe;AAAA,EAChD,cAAc;AACZ,UAAM,YAAY,yCAAyC;AAC3D,SAAK,OAAO;AAAA,EACd;AACF;AAEO,IAAM,wBAAN,cAAoC,eAAe;AAAA,EACxD,cAAc;AACZ,UAAM,qBAAqB,wDAAwD;AACnF,SAAK,OAAO;AAAA,EACd;AACF;;;ACzDA;AAAA,EACE,uBAAuB;AAAA,EACvB,qBAAqB;AAAA,OAGhB;AAyBA,IAAM,qBAAqB,uBAAO,kCAAkC;AACpE,IAAM,yBAAyB,uBAAO,sCAAsC;AAC5E,IAAM,mBAAmB,uBAAO,gCAAgC;AA8DhE,SAAS,2BAId,WACA,SACA,iBACsC;AACtC,SAAO,eAAe,WAAW,wBAAwB;AAAA,IACvD,YAAY;AAAA,IACZ,cAAc;AAAA,IACd,UAAU;AAAA,IACV,OAAO;AAAA,EACT,CAAC;AAED,QAAM,QAAQ,mBAAmB,2BAA2B,SAAS,KAAK;AAAA,IACxE,WAAW;AAAA,EACb;AAEA,MAAI,CAAC,2BAA2B,SAAS,GAAG;AAC1C,WAAO,eAAe,WAAW,kBAAkB;AAAA,MACjD,YAAY;AAAA,MACZ,cAAc;AAAA,MACd,UAAU;AAAA,MACV,OAAO;AAAA,IACT,CAAC;AAAA,EACH;AAEA,SAAO;AACT;AAEO,SAAS,wBAId,WACyB;AACzB,QAAM,WAAW;AACjB,QAAM,UAAU,SAAS,sBAAsB;AAE/C,MAAI,OAAO,YAAY,YAAY;AACjC,UAAM,IAAI;AAAA,MACR;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAEO,SAAS,mBAId,WACiB;AACjB,QAAM,WAAW;AACjB,QAAM,QAAQ,SAAS,gBAAgB;AAEvC,MAAI,CAAC,OAAO;AACV,UAAM,IAAI;AAAA,MACR;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAEO,SAAS,6BAId,WACM;AACN,MAAI,mBAAmB,SAAS,EAAE,WAAW;AAC3C,UAAM,IAAI,sBAAsB;AAAA,EAClC;AACF;AAEO,SAAS,mBAId,WACM;AACN,QAAM,QAAQ,mBAAmB,SAAS;AAC1C,MAAI,MAAM,WAAW;AACnB,UAAM,IAAI,sBAAsB;AAAA,EAClC;AACA,QAAM,YAAY;AACpB;AAEA,SAAS,2BAIP,WACwB;AACxB,QAAM,WAAW;AACjB,SAAO,SAAS,gBAAgB,KAAK;AACvC;AAEO,SAAS,oBAAoD;AAAA,EAClE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,GAA8C;AAC5C,QAAM,kBAAkB,KAAK,YAAY;AACzC,MAAI,CAAC,iBAAiB;AACpB,UAAM,IAAI,eAAe,gBAAgB,gDAAgD;AAAA,EAC3F;AAEA,MAAI,kBAAgC;AACpC,MAAI,gBAA+B,QAAQ,QAAQ;AACnD,MAAI,WAAW;AAEf,QAAM,cAAc,oBAAI,IAAqC;AAC7D,QAAM,iBAAiB,oBAAI,IAGzB;AAEF,WAAS,UACP,UACA,UACa;AACb,QAAI,UAAU;AACZ,aAAO,MAAM;AAAA,MAAC;AAAA,IAChB;AAEA,QAAI;AACJ,QAAI,cAAc;AAElB,QAAI;AACF,kBAAY,SAAS,oBAAgC,eAAe,CAAC;AACrE,oBAAc;AAAA,IAChB,QAAQ;AACN,kBAAY;AACZ,oBAAc;AAAA,IAChB;AAEA,UAAM,aAAwC;AAAA,MAC5C;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAEA,gBAAY,IAAI,UAA6C;AAC7D,WAAO,MAAM;AACX,kBAAY,OAAO,UAA6C;AAAA,IAClE;AAAA,EACF;AAEA,WAAS,GACP,OACA,SACa;AACb,QAAI,UAAU;AACZ,aAAO,MAAM;AAAA,MAAC;AAAA,IAChB;AAEA,QAAI,YAAY,eAAe,IAAI,KAAK;AACxC,QAAI,CAAC,WAAW;AACd,kBAAY,oBAAI,IAAI;AACpB,qBAAe;AAAA,QACb;AAAA,QACA;AAAA,MACF;AAAA,IACF;AAEA,cAAU,IAAI,OAAkE;AAChF,WAAO,MAAM;AACX,iBAAW,OAAO,OAAkE;AAAA,IACtF;AAAA,EACF;AAEA,WAAS,cAAoC;AAC3C,WAAO,eAAe,eAAe;AAAA,EACvC;AAEA,WAAS,sBAAuD;AAC9D,WAAO,sBAAsB,QAAQ,eAAe;AAAA,EACtD;AAEA,WAAS,kBAAkB,MAAmC;AAC5D,WAAO,qBAAqB,QAAQ,iBAAiB,OAAO,IAAI,CAAC;AAAA,EACnE;AAEA,WAAS,UAAgB;AACvB,QAAI,UAAU;AACZ;AAAA,IACF;AAEA,eAAW;AACX,gBAAY,MAAM;AAClB,mBAAe,MAAM;AAAA,EACvB;AAEA,WAAS,mBACP,UACA,SACsB;AACtB,sBAAkB,gBAAgB,QAAQ;AAC1C,SAAK,MAAM,eAAe;AAE1B,UAAM,oBAAoB,eAAe,eAAe;AACxD,QAAI,SAAS,WAAW,OAAO;AAC7B,wBAAkB,iBAAiB;AAAA,IACrC;AACA,WAAO;AAAA,EACT;AAEA,WAAS,yBAA+B;AACtC,SAAK,MAAM,eAAe;AAAA,EAC5B;AAEA,WAAS,UACP,OACA,SACM;AACN,UAAM,YAAY,eAAe,IAAI,KAAK;AAC1C,QAAI,CAAC,WAAW;AACd;AAAA,IACF;AAEA,eAAW,WAAW,WAAW;AAC/B,UAAI;AACF,gBAAQ,OAAO;AAAA,MACjB,QAAQ;AAAA,MAER;AAAA,IACF;AAAA,EACF;AAEA,WAAS,QAAW,MAAoC;AACtD,UAAM,SAAS,cACZ,MAAM,MAAM;AAAA,IAAC,CAAC,EACd,KAAK,IAAI;AAEZ,oBAAgB,OAAO,KAAK,MAAM,QAAW,MAAM,MAAS;AAC5D,WAAO;AAAA,EACT;AAEA,WAAS,eAAe,QAAwC;AAC9D,QAAI,OAAO,YAAY,OAAO,SAAS,SAAS,GAAG;AACjD,aAAO;AAAA,IACT;AAEA,WAAO;AAAA,MACL,GAAG;AAAA,MACH,UAAU,aAAa;AAAA,IACzB;AAAA,EACF;AAEA,iBAAe,YACb,QACA,SACqB;AACrB,WAAO,KAAK,SAAS,QAAQ,OAAO;AAAA,EACtC;AAEA,WAAS,kBAAkB,QAA+B;AACxD,UAAM,QAAQ,IAAI;AAAA,MAChB;AAAA,MACA,WAAW,OAAO,IAAI;AAAA,IACxB;AACA,cAAU,qBAAqB;AAAA,MAC7B,UAAU,OAAO,YAAY;AAAA,MAC7B;AAAA,MACA,QAAQ,MAAM;AAAA,IAChB,CAAC;AACD,UAAM;AAAA,EACR;AAEA,WAAS,kBAAkB,UAAsC;AAC/D,eAAW,cAAc,aAAa;AACpC,UAAI;AACJ,UAAI;AACF,mBAAW,WAAW,SAAS,QAAQ;AAAA,MACzC,QAAQ;AACN;AAAA,MACF;AAEA,UAAI,WAAW,eAAe,OAAO,GAAG,WAAW,WAAW,QAAQ,GAAG;AACvE;AAAA,MACF;AAEA,iBAAW,YAAY;AACvB,iBAAW,cAAc;AAEzB,UAAI;AACF,mBAAW,SAAS,QAAQ;AAAA,MAC9B,QAAQ;AAAA,MAER;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,YAAY,MAAM;AAAA,IAClB,wBAAwB,MAAM,gBAAgB,eAAe;AAAA,IAC7D;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACF;AAEO,SAAS,0BACd,QAC0B;AAC1B,iBAAe,cAAc,QAAuD;AAClF,QAAI,OAAO,WAAW,GAAG;AACvB,YAAM,IAAI,cAAc;AAAA,IAC1B;AAEA,QAAI,CAAC,OAAO,kBAAkB,OAAO,IAA0B,GAAG;AAChE,aAAO,OAAO,kBAAkB,MAAM;AAAA,IACxC;AAEA,QAAI;AACJ,QAAI;AACF,eAAS,MAAM,OAAO,YAAY,MAAM;AAAA,IAC1C,SAAS,OAAO;AACd,YAAM,UAAU,QAAQ,KAAK;AAC7B,aAAO,UAAU,mBAAmB;AAAA,QAClC,UAAU,OAAO,YAAY;AAAA,QAC7B;AAAA,QACA,OAAO;AAAA,MACT,CAAC;AACD,YAAM;AAAA,IACR;AAEA,QAAI,OAAO,WAAW,SAAS;AAC7B,YAAMA,qBAAoB,OAAO,mBAAmB,OAAO,QAAQ;AACnE,YAAM,UAAU,OAAO,SAAS,IAAI,eAAe,cAAc,sBAAsB;AACvF,aAAO,UAAU,mBAAmB;AAAA,QAClC,UAAU,OAAO,YAAY;AAAA,QAC7B;AAAA,QACA,OAAO;AAAA,QACP,UAAUA;AAAA,MACZ,CAAC;AACD,YAAM;AAAA,IACR;AAEA,UAAM,oBAAoB,OAAO,mBAAmB,OAAO,QAAQ;AACnE,WAAO,UAAU,sBAAsB;AAAA,MACrC,UAAU,OAAO,YAAY;AAAA,MAC7B;AAAA,MACA,UAAU;AAAA,IACZ,CAAC;AACD,WAAO;AAAA,EACT;AAEA,WAAS,cAAc,QAAuD;AAC5E,QAAI,OAAO,WAAW,GAAG;AACvB,aAAO,QAAQ,OAAO,IAAI,cAAc,CAAC;AAAA,IAC3C;AAEA,UAAM,iBAAiB,OAAO,eAAe,MAAM;AACnD,WAAO,OAAO,QAAQ,MAAM,cAAc,cAAc,CAAC;AAAA,EAC3D;AAEA,SAAO;AAAA,IACL,cAAc,OAAO;AAAA,IACrB;AAAA,IACA,WAAW,OAAO;AAAA,IAClB,IAAI,OAAO;AAAA,IACX,aAAa,OAAO;AAAA,IACpB,qBAAqB,OAAO;AAAA,IAC5B,mBAAmB,OAAO;AAAA,IAC1B,KAAK,OAAO;AAAA,IACZ,QAAQ,OAAO;AAAA,IACf,SAAS,OAAO;AAAA,EAClB;AACF;AAEA,SAAS,oBAA4B,UAA0C;AAC7E,SAAO,eAAe,QAAQ;AAChC;AAEA,SAAS,eAAgC,UAAyC;AAChF,SAAO,OAAO,OAAO,gBAAgB,QAAQ,CAAC;AAChD;AAEA,SAAS,QAAQ,OAAuB;AACtC,SAAO,iBAAiB,QACpB,QACA,IAAI,MAAM,OAAO,KAAK,CAAC;AAC7B;AAEA,SAAS,eAAuB;AAC9B,MAAI,OAAO,WAAW,eAAe,OAAO,OAAO,eAAe,YAAY;AAC5E,WAAO,OAAO,WAAW;AAAA,EAC3B;AAEA,SAAO,uCAAuC,QAAQ,SAAS,CAAC,SAAS;AACvE,UAAM,SAAU,KAAK,OAAO,IAAI,KAAM;AACtC,UAAM,QAAQ,SAAS,MAAM,SAAU,SAAS,IAAO;AACvD,WAAO,MAAM,SAAS,EAAE;AAAA,EAC1B,CAAC;AACH;","names":["publishedSnapshot"]}