@manifesto-ai/sdk 3.18.0 → 5.0.0

package/dist/types.d.ts

@@ -1,6 +1,7 @@
-import type { ComputeStatus, DomainSchema, ExprNode, Intent, Patch, Requirement, TraceGraph } from "@manifesto-ai/core";
+import type { ComputeStatus, DomainSchema, ErrorValue, ExprNode, Intent, JsonValue, Patch, Requirement, TraceGraph } from "@manifesto-ai/core";
+export type { JsonValue } from "@manifesto-ai/core";
 import type { SchemaGraph as CompilerSchemaGraph, SchemaGraphEdge, SchemaGraphEdgeRelation, SchemaGraphNode, SchemaGraphNodeId, SchemaGraphNodeKind } from "@manifesto-ai/compiler";
-import type { CanonicalPlatformNamespaces, CanonicalSnapshot, Snapshot } from "./projection/snapshot-projection.js";
+import type { CanonicalNamespaces, CanonicalSnapshot, Snapshot } from "./projection/snapshot-projection.js";
 type ActionFn = {
     bivarianceHack(...args: unknown[]): unknown;
 }["bivarianceHack"];
@@ -8,6 +9,7 @@ export type ManifestoDomainShape = {
     readonly actions: Record<string, ActionFn>;
     readonly state: Record<string, unknown>;
     readonly computed: Record<string, unknown>;
+    readonly context?: ExternalContext;
 };
 export type BaseLaws = {
     readonly __baseLaws: true;
@@ -44,7 +46,7 @@ export type ComputedRef<TValue> = {
     readonly name: string;
     readonly _type?: TValue;
 };
-export type TypedMEL<T extends ManifestoDomainShape> = {
+export type TypedDomainRefs<T extends ManifestoDomainShape> = {
     readonly actions: {
         readonly [K in keyof T["actions"]]: TypedActionRef<T, K>;
     };
@@ -55,11 +57,266 @@ export type TypedMEL<T extends ManifestoDomainShape> = {
         readonly [K in keyof T["computed"]]: ComputedRef<T["computed"][K]>;
     };
 };
+/**
+ * @deprecated Use TypedDomainRefs. This compatibility alias is retained for
+ * older helper/provider code that still names the typed ref surface "MEL".
+ */
+export type TypedMEL<T extends ManifestoDomainShape> = TypedDomainRefs<T>;
 export type ActionArgs<T extends ManifestoDomainShape, K extends keyof T["actions"]> = T["actions"][K] extends (...args: infer P) => unknown ? P : never;
+export type RuntimeMode = "base" | "lineage" | "governance";
+export type ActionName<T extends ManifestoDomainShape> = keyof T["actions"] & string;
+type ActionInputFromArgs<TArgs extends readonly unknown[]> = TArgs extends readonly [] ? undefined : 2 extends TArgs["length"] ? Readonly<TArgs> : TArgs extends readonly [unknown, unknown, ...unknown[]] ? Readonly<TArgs> : TArgs[0];
+export type ActionInput<T extends ManifestoDomainShape, K extends ActionName<T>> = ActionInputFromArgs<ActionArgs<T, K>>;
+export type ProjectedSnapshot<T extends ManifestoDomainShape> = Snapshot<T["state"], T["computed"]>;
+export type ExternalContext = Readonly<Record<string, JsonValue>>;
+export type DomainExternalContext<T extends ManifestoDomainShape> = T extends {
+    readonly context: infer TContext extends ExternalContext;
+} ? Readonly<TContext> : ExternalContext;
+export type ContextUpdater<TContext extends ExternalContext = ExternalContext> = (current: Readonly<TContext>) => TContext;
+export type PreviewDiagnosticsMode = "none" | "summary" | "trace";
+export type SubmitReportMode = "none" | "summary" | "full";
+export type ExecutionView<TContext extends ExternalContext = ExternalContext> = {
+    readonly context?: TContext;
+    readonly diagnostics?: PreviewDiagnosticsMode;
+    readonly report?: SubmitReportMode;
+};
+export type ActionAnnotation = Readonly<Record<string, unknown>>;
+export type CreateManifestoOptions<TContext extends ExternalContext = ExternalContext> = {
+    readonly annotations?: Readonly<Record<string, ActionAnnotation>>;
+    readonly context?: TContext;
+};
+export type ActionParameterInfo = {
+    readonly name: string;
+    readonly required: boolean;
+    readonly type?: string;
+    readonly description?: string;
+};
+export type ActionInfo<Name extends string = string> = {
+    readonly name: Name;
+    readonly title?: string;
+    readonly description?: string;
+    readonly parameters: readonly ActionParameterInfo[];
+    readonly annotations?: ActionAnnotation;
+};
+export type Blocker = {
+    readonly path: ReadonlyArray<string | number>;
+    readonly code: string;
+    readonly message: string;
+    readonly detail?: Readonly<Record<string, unknown>>;
+};
+export type AdmissionOk<Name extends string = string> = {
+    readonly ok: true;
+    readonly action: Name;
+};
+export type AdmissionFailure<Name extends string = string> = {
+    readonly ok: false;
+    readonly action: Name;
+    readonly layer: "availability" | "input" | "dispatchability";
+    readonly code: "ACTION_UNAVAILABLE" | "INVALID_INPUT" | "INTENT_NOT_DISPATCHABLE";
+    readonly message: string;
+    readonly blockers: readonly Blocker[];
+};
+export type Admission<Name extends string = string> = AdmissionOk<Name> | AdmissionFailure<Name>;
+export type PathSegment = string | number;
+export type ChangedPath = {
+    readonly path: readonly PathSegment[];
+    readonly kind: "set" | "unset" | "changed";
+};
+export type PreviewDiagnostics = {
+    readonly trace?: TraceGraph;
+};
+export type PreviewResult<T extends ManifestoDomainShape, K extends ActionName<T>> = {
+    readonly admitted: false;
+    readonly admission: AdmissionFailure<K>;
+} | {
+    readonly admitted: true;
+    readonly status: "complete" | "pending" | "halted" | "error";
+    readonly before: ProjectedSnapshot<T>;
+    readonly after: ProjectedSnapshot<T>;
+    readonly changes: readonly ChangedPath[];
+    readonly requirements: readonly Requirement[];
+    readonly newAvailableActions?: readonly ActionInfo[];
+    readonly diagnostics?: PreviewDiagnostics;
+    readonly error?: ErrorValue | null;
+};
+export type ExecutionDetail = Readonly<Record<string, unknown>>;
+export type ExecutionOutcome = {
+    readonly kind: "ok";
+    readonly detail?: ExecutionDetail;
+} | {
+    readonly kind: "stop";
+    readonly reason: string;
+    readonly detail?: ExecutionDetail;
+} | {
+    readonly kind: "fail";
+    readonly error: ErrorValue;
+    readonly detail?: ExecutionDetail;
+};
+export type BaseWriteReport = {
+    readonly mode: "base";
+    readonly action: string;
+    readonly changes: readonly ChangedPath[];
+    readonly requirements: readonly Requirement[];
+    readonly outcome: ExecutionOutcome;
+    readonly diagnostics?: ExecutionDiagnostics;
+};
+export type WorldRecord = {
+    readonly worldId: string;
+    readonly schemaHash: string;
+    readonly snapshotHash: string;
+    readonly parentWorldId: string | null;
+    readonly terminalStatus: "completed" | "failed";
+};
+export type LineageWriteReport = {
+    readonly mode: "lineage";
+    readonly action: string;
+    readonly worldId: string;
+    readonly branchId: string;
+    readonly headAdvanced: boolean;
+    readonly published: boolean;
+    readonly outcome: ExecutionOutcome;
+    readonly sealedSnapshotHash: string;
+    readonly changes: readonly ChangedPath[];
+    readonly requirements: readonly Requirement[];
+    readonly diagnostics?: ExecutionDiagnostics;
+};
+export type GovernanceSettlementReport = {
+    readonly mode: "governance";
+    readonly status: "settled";
+    readonly action: string;
+    readonly proposal: ProposalRef;
+    readonly baseWorldId: string;
+    readonly worldId: string;
+    readonly sealedSnapshotHash: string;
+    readonly published: boolean;
+    readonly outcome: ExecutionOutcome;
+    readonly changes: readonly ChangedPath[];
+    readonly requirements: readonly Requirement[];
+} | {
+    readonly mode: "governance";
+    readonly status: "rejected" | "superseded" | "expired" | "cancelled";
+    readonly action: string;
+    readonly proposal: ProposalRef;
+    readonly decision?: DecisionRecord;
+} | {
+    readonly mode: "governance";
+    readonly status: "settlement_failed";
+    readonly action: string;
+    readonly proposal?: ProposalRef;
+    readonly stage: "authority" | "runtime" | "settlement" | "persistence" | "observation";
+    readonly error: ErrorValue;
+};
+export type ProposalRef = string;
+export type DecisionRecord = Readonly<Record<string, unknown>>;
+export type BaseSubmissionResult<T extends ManifestoDomainShape, K extends ActionName<T>> = {
+    readonly ok: true;
+    readonly mode: "base";
+    readonly status: "settled";
+    readonly action: K;
+    readonly before: ProjectedSnapshot<T>;
+    readonly after: ProjectedSnapshot<T>;
+    readonly outcome: ExecutionOutcome;
+    readonly report?: BaseWriteReport;
+} | {
+    readonly ok: false;
+    readonly mode: "base";
+    readonly action: K;
+    readonly admission: AdmissionFailure<K>;
+};
+export type LineageSubmissionResult<T extends ManifestoDomainShape, K extends ActionName<T>> = {
+    readonly ok: true;
+    readonly mode: "lineage";
+    readonly status: "settled";
+    readonly action: K;
+    readonly before: ProjectedSnapshot<T>;
+    readonly after: ProjectedSnapshot<T>;
+    readonly world: WorldRecord;
+    readonly outcome: ExecutionOutcome;
+    readonly report?: LineageWriteReport;
+} | {
+    readonly ok: false;
+    readonly mode: "lineage";
+    readonly action: K;
+    readonly admission: AdmissionFailure<K>;
+};
+export type GovernanceSubmissionResult<T extends ManifestoDomainShape, K extends ActionName<T>> = {
+    readonly ok: true;
+    readonly mode: "governance";
+    readonly status: "pending";
+    readonly action: K;
+    readonly proposal: ProposalRef;
+    waitForSettlement(): Promise<GovernanceSettlementResult<T, K>>;
+} | {
+    readonly ok: false;
+    readonly mode: "governance";
+    readonly action: K;
+    readonly admission: AdmissionFailure<K>;
+};
+export type GovernanceSettlementResult<T extends ManifestoDomainShape, K extends ActionName<T>> = {
+    readonly ok: true;
+    readonly mode: "governance";
+    readonly status: "settled";
+    readonly action: K;
+    readonly proposal: ProposalRef;
+    readonly world: WorldRecord;
+    readonly before: ProjectedSnapshot<T>;
+    readonly after: ProjectedSnapshot<T>;
+    readonly outcome: ExecutionOutcome;
+    readonly report?: GovernanceSettlementReport;
+} | {
+    readonly ok: true;
+    readonly mode: "governance";
+    readonly status: "rejected" | "superseded" | "expired" | "cancelled";
+    readonly action: K;
+    readonly proposal: ProposalRef;
+    readonly decision?: DecisionRecord;
+    readonly report?: GovernanceSettlementReport;
+} | {
+    readonly ok: false;
+    readonly mode: "governance";
+    readonly status: "settlement_failed";
+    readonly action: K;
+    readonly proposal: ProposalRef;
+    readonly error: ErrorValue;
+    readonly report?: GovernanceSettlementReport;
+};
+export type SubmissionResult<T extends ManifestoDomainShape, K extends ActionName<T>> = BaseSubmissionResult<T, K> | LineageSubmissionResult<T, K> | GovernanceSubmissionResult<T, K>;
+export type SubmitResultFor<TMode extends RuntimeMode, T extends ManifestoDomainShape, K extends ActionName<T>> = TMode extends "base" ? BaseSubmissionResult<T, K> : TMode extends "lineage" ? LineageSubmissionResult<T, K> : TMode extends "governance" ? GovernanceSubmissionResult<T, K> : SubmissionResult<T, K>;
+export type ActionHandle<T extends ManifestoDomainShape, K extends ActionName<T>, TMode extends RuntimeMode> = {
+    info(): ActionInfo<K>;
+    available(): boolean;
+    check(...args: ActionArgs<T, K>): Admission<K>;
+    preview(...args: ActionArgs<T, K>): PreviewResult<T, K>;
+    submit(...args: ActionArgs<T, K>): Promise<SubmitResultFor<TMode, T, K>>;
+    bind(...args: ActionArgs<T, K>): BoundAction<T, K, TMode>;
+};
+export type BoundAction<T extends ManifestoDomainShape, K extends ActionName<T>, TMode extends RuntimeMode> = {
+    readonly action: K;
+    readonly input: ActionInput<T, K>;
+    check(): Admission<K>;
+    preview(): PreviewResult<T, K>;
+    submit(): Promise<SubmitResultFor<TMode, T, K>>;
+    intent(): Intent | null;
+};
+export type ActionSurface<T extends ManifestoDomainShape, TMode extends RuntimeMode> = {
+    readonly [K in ActionName<T>]: ActionHandle<T, K, TMode>;
+};
 export type ActionObjectBindingArgs<T extends ManifestoDomainShape, K extends keyof T["actions"]> = ActionArgs<T, K> extends [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 Selector<TState, R, TComputed = Record<string, unknown>> = (snapshot: Snapshot<TState, TComputed>) => R;
 export type Unsubscribe = () => void;
+export type ProjectedReadHandle<TValue, TRef> = {
+    readonly name: string;
+    readonly ref: TRef;
+    value(): TValue;
+    observe(listener: (next: TValue, prev: TValue) => void): Unsubscribe;
+};
+export type StateReadSurface<T extends ManifestoDomainShape> = {
+    readonly [K in keyof T["state"]]: ProjectedReadHandle<T["state"][K], FieldRef<T["state"][K]>>;
+};
+export type ComputedReadSurface<T extends ManifestoDomainShape> = {
+    readonly [K in keyof T["computed"]]: ProjectedReadHandle<T["computed"][K], ComputedRef<T["computed"][K]>>;
+};
 declare const MANIFESTO_INTENT_BRAND: unique symbol;
 export type TypedIntent<T extends ManifestoDomainShape, K extends keyof T["actions"] = keyof T["actions"]> = Intent & {
     readonly [MANIFESTO_INTENT_BRAND]: {
@@ -68,7 +325,7 @@ export type TypedIntent<T extends ManifestoDomainShape, K extends keyof T["actio
     };
 };
 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 TypedDispatchAsync<T extends ManifestoDomainShape> = (intent: TypedIntent<T>) => Promise<ProjectedSnapshot<T>>;
 export type TypedCommitAsync<T extends ManifestoDomainShape> = TypedDispatchAsync<T>;
 export type SchemaGraphNodeRef = TypedActionRef<ManifestoDomainShape> | FieldRef<unknown> | ComputedRef<unknown>;
 export type SchemaGraph = CompilerSchemaGraph & {
@@ -78,8 +335,8 @@ export type SchemaGraph = CompilerSchemaGraph & {
     traceDown(nodeId: SchemaGraphNodeId): SchemaGraph;
 };
 export type SimulateResult<T extends ManifestoDomainShape = ManifestoDomainShape> = {
-    readonly snapshot: Snapshot<T["state"]>;
-    readonly changedPaths: readonly string[];
+    readonly snapshot: ProjectedSnapshot<T>;
+    readonly changedPaths: readonly ChangedPath[];
     readonly newAvailableActions: readonly (keyof T["actions"])[];
     readonly requirements: readonly Requirement[];
     readonly status: ComputeStatus;
@@ -116,22 +373,24 @@ export type AvailableActionDelta<T extends ManifestoDomainShape = ManifestoDomai
     readonly unlocked: readonly (keyof T["actions"])[];
     readonly locked: readonly (keyof T["actions"])[];
 };
-export type ProjectedDiff<T extends ManifestoDomainShape = ManifestoDomainShape> = {
-    readonly beforeSnapshot: Snapshot<T["state"]>;
-    readonly afterSnapshot: Snapshot<T["state"]>;
-    readonly changedPaths: readonly string[];
+export type DispatchProjectedDiff<T extends ManifestoDomainShape = ManifestoDomainShape> = {
+    readonly beforeSnapshot: ProjectedSnapshot<T>;
+    readonly afterSnapshot: ProjectedSnapshot<T>;
+    readonly changedPaths: readonly ChangedPath[];
     readonly availability: AvailableActionDelta<T>;
 };
-export type CanonicalOutcome<T extends ManifestoDomainShape = ManifestoDomainShape> = {
+export type DispatchCanonicalOutcome<T extends ManifestoDomainShape = ManifestoDomainShape> = {
     readonly beforeCanonicalSnapshot: CanonicalSnapshot<T["state"]>;
     readonly afterCanonicalSnapshot: CanonicalSnapshot<T["state"]>;
     readonly pendingRequirements: readonly Requirement[];
     readonly status: CanonicalSnapshot<T["state"]>["system"]["status"];
 };
-export type ExecutionOutcome<T extends ManifestoDomainShape = ManifestoDomainShape> = {
-    readonly projected: ProjectedDiff<T>;
-    readonly canonical: CanonicalOutcome<T>;
+export type DispatchExecutionOutcome<T extends ManifestoDomainShape = ManifestoDomainShape> = {
+    readonly projected: DispatchProjectedDiff<T>;
+    readonly canonical: DispatchCanonicalOutcome<T>;
 };
+export type ProjectedDiff<T extends ManifestoDomainShape = ManifestoDomainShape> = DispatchProjectedDiff<T>;
+export type CanonicalOutcome<T extends ManifestoDomainShape = ManifestoDomainShape> = DispatchCanonicalOutcome<T>;
 export type ExecutionFailureInfo = {
     readonly message: string;
     readonly code?: string;
@@ -148,7 +407,7 @@ export type DispatchReport<T extends ManifestoDomainShape = ManifestoDomainShape
         readonly kind: "admitted";
         readonly actionName: keyof T["actions"] & string;
     };
-    readonly outcome: ExecutionOutcome<T>;
+    readonly outcome: DispatchExecutionOutcome<T>;
     readonly diagnostics?: ExecutionDiagnostics;
 } | {
     readonly kind: "rejected";
@@ -156,7 +415,7 @@ export type DispatchReport<T extends ManifestoDomainShape = ManifestoDomainShape
     readonly admission: Extract<IntentAdmission<T>, {
         readonly kind: "blocked";
     }>;
-    readonly beforeSnapshot: Snapshot<T["state"]>;
+    readonly beforeSnapshot: ProjectedSnapshot<T>;
     readonly beforeCanonicalSnapshot: CanonicalSnapshot<T["state"]>;
     readonly rejection: {
         readonly code: "ACTION_UNAVAILABLE" | "INTENT_NOT_DISPATCHABLE" | "INVALID_INPUT";
@@ -169,12 +428,12 @@ export type DispatchReport<T extends ManifestoDomainShape = ManifestoDomainShape
         readonly kind: "admitted";
         readonly actionName: keyof T["actions"] & string;
     };
-    readonly beforeSnapshot: Snapshot<T["state"]>;
+    readonly beforeSnapshot: ProjectedSnapshot<T>;
     readonly beforeCanonicalSnapshot: CanonicalSnapshot<T["state"]>;
     readonly error: ExecutionFailureInfo;
     readonly published: boolean;
     readonly diagnostics?: ExecutionDiagnostics;
-    readonly outcome?: ExecutionOutcome<T>;
+    readonly outcome?: DispatchExecutionOutcome<T>;
 };
 export type IntentExplanation<T extends ManifestoDomainShape = ManifestoDomainShape> = {
     readonly kind: "blocked";
@@ -196,18 +455,22 @@ export type IntentExplanation<T extends ManifestoDomainShape = ManifestoDomainSh
     readonly status: ComputeStatus;
     readonly requirements: readonly Requirement[];
     readonly canonicalSnapshot: CanonicalSnapshot<T["state"]>;
-    readonly snapshot: Snapshot<T["state"]>;
+    readonly snapshot: ProjectedSnapshot<T>;
     readonly newAvailableActions: readonly (keyof T["actions"])[];
-    readonly changedPaths: readonly string[];
+    readonly changedPaths: readonly ChangedPath[];
 };
 export type TypedSimulate<T extends ManifestoDomainShape> = <K extends keyof T["actions"]>(action: TypedActionRef<T, K>, ...args: CreateIntentArgs<T, K>) => SimulateResult<T>;
 export type TypedSimulateIntent<T extends ManifestoDomainShape> = <K extends keyof T["actions"]>(intent: TypedIntent<T, K>) => SimulateResult<T>;
-export type TypedSubscribe<T extends ManifestoDomainShape> = <R>(selector: Selector<T["state"], R>, listener: (value: R) => void) => Unsubscribe;
+export type TypedSubscribe<T extends ManifestoDomainShape> = <R>(selector: Selector<T["state"], R, T["computed"]>, 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 publicArity: number;
+    readonly requiredArity: number;
     readonly input: DomainSchema["actions"][string]["input"];
+    readonly inputType?: DomainSchema["actions"][string]["inputType"];
     readonly description: string | undefined;
+    readonly annotations?: ActionAnnotation;
     readonly hasDispatchableGate: boolean;
 };
 export type TypedGetActionMetadata<T extends ManifestoDomainShape> = {
@@ -222,35 +485,95 @@ export type DispatchBlocker = {
 };
 export type TypedIsIntentDispatchable<T extends ManifestoDomainShape> = <K extends keyof T["actions"]>(action: TypedActionRef<T, K>, ...args: CreateIntentArgs<T, K>) => boolean;
 export type TypedGetIntentBlockers<T extends ManifestoDomainShape> = <K extends keyof T["actions"]>(action: TypedActionRef<T, K>, ...args: CreateIntentArgs<T, K>) => readonly DispatchBlocker[];
-export interface ManifestoEventMap<T extends ManifestoDomainShape> {
-    "dispatch:completed": {
-        readonly intentId: string;
-        readonly intent: TypedIntent<T>;
-        readonly snapshot: Snapshot<T["state"]>;
+export type SubmissionEventBase = {
+    readonly action: string;
+    readonly mode: RuntimeMode;
+    readonly intentId?: string;
+    readonly schemaHash: string;
+    readonly snapshotVersion?: number;
+};
+export type ProposalEventBase = {
+    readonly proposal: ProposalRef;
+    readonly action: string;
+    readonly schemaHash: string;
+};
+export type ManifestoEventPayloadMap = {
+    readonly "submission:admitted": SubmissionEventBase & {
+        readonly admission: AdmissionOk;
     };
-    "dispatch:rejected": {
-        readonly intentId: string;
-        readonly intent: TypedIntent<T>;
-        readonly code: "ACTION_UNAVAILABLE" | "INTENT_NOT_DISPATCHABLE" | "INVALID_INPUT";
-        readonly reason: string;
+    readonly "submission:rejected": SubmissionEventBase & {
+        readonly admission: AdmissionFailure;
     };
-    "dispatch:failed": {
-        readonly intentId: string;
-        readonly intent: TypedIntent<T>;
-        readonly error: Error;
-        readonly snapshot?: Snapshot<T["state"]>;
+    readonly "submission:submitted": SubmissionEventBase;
+    readonly "submission:pending": SubmissionEventBase & {
+        readonly mode: "governance";
+        readonly proposal: ProposalRef;
     };
-}
-export type ManifestoEvent = "dispatch:completed" | "dispatch:rejected" | "dispatch:failed";
-export type ManifestoEventPayload<T extends ManifestoDomainShape> = ManifestoEventMap<T>[ManifestoEvent];
-export type TypedOn<T extends ManifestoDomainShape> = <K extends ManifestoEvent>(event: K, handler: (payload: ManifestoEventMap<T>[K]) => void) => Unsubscribe;
+    readonly "submission:settled": SubmissionEventBase & {
+        readonly mode: "base" | "lineage" | "governance";
+        readonly outcome: ExecutionOutcome;
+        readonly proposal?: ProposalRef;
+        readonly worldId?: string;
+    };
+    readonly "submission:failed": SubmissionEventBase & {
+        readonly stage: "runtime" | "settlement";
+        readonly error: ErrorValue;
+        readonly proposal?: ProposalRef;
+    };
+    readonly "proposal:created": ProposalEventBase;
+    readonly "proposal:decided": ProposalEventBase & {
+        readonly decision: DecisionRecord;
+    };
+    readonly "proposal:superseded": ProposalEventBase & {
+        readonly supersededBy?: ProposalRef;
+    };
+    readonly "proposal:expired": ProposalEventBase & {
+        readonly reason?: string;
+    };
+    readonly "proposal:cancelled": ProposalEventBase & {
+        readonly reason?: string;
+    };
+};
+export type ManifestoEventName = keyof ManifestoEventPayloadMap;
+export type ManifestoEventPayload<Event extends ManifestoEventName> = ManifestoEventPayloadMap[Event];
+export type ManifestoEvent = ManifestoEventName;
+export type TypedOn<T extends ManifestoDomainShape> = <K extends ManifestoEvent>(event: K, handler: (payload: ManifestoEventPayloadMap[K]) => void) => Unsubscribe;
+export type ObserveSurface<T extends ManifestoDomainShape> = {
+    state<S>(selector: (snapshot: ProjectedSnapshot<T>) => S, listener: (next: S, prev: S) => void): Unsubscribe;
+    event<Event extends ManifestoEventName>(event: Event, listener: (payload: ManifestoEventPayload<Event>) => void): Unsubscribe;
+};
+export type InspectSurface<T extends ManifestoDomainShape> = {
+    graph(): SchemaGraph;
+    canonicalSnapshot(): CanonicalSnapshot<T["state"]>;
+    action<Name extends ActionName<T>>(name: Name): ActionInfo<Name>;
+    availableActions(): readonly ActionInfo<ActionName<T>>[];
+    schemaHash(): string;
+};
+export type BaseManifestoApp<T extends ManifestoDomainShape, TMode extends RuntimeMode> = {
+    readonly action: ActionSurface<T, TMode>;
+    readonly state: StateReadSurface<T>;
+    readonly computed: ComputedReadSurface<T>;
+    readonly observe: ObserveSurface<T>;
+    readonly inspect: InspectSurface<T>;
+    snapshot(): ProjectedSnapshot<T>;
+    context(): DomainExternalContext<T>;
+    injectContext(context: DomainExternalContext<T>): void;
+    updateContext(updater: ContextUpdater<DomainExternalContext<T>>): DomainExternalContext<T>;
+    with(view: ExecutionView<DomainExternalContext<T>>): ManifestoApp<T, TMode>;
+    dispose(): void;
+};
+export type GovernanceSettlementSurface<T extends ManifestoDomainShape> = {
+    waitForSettlement(ref: ProposalRef): Promise<GovernanceSettlementResult<T, ActionName<T>>>;
+};
+type EmptySurface = Record<never, never>;
+export type ManifestoApp<T extends ManifestoDomainShape, TMode extends RuntimeMode> = BaseManifestoApp<T, TMode> & ([TMode] extends ["governance"] ? GovernanceSettlementSurface<T> : EmptySurface);
 export type ManifestoBaseInstance<T extends ManifestoDomainShape> = {
     readonly createIntent: TypedCreateIntent<T>;
     readonly dispatchAsync: TypedDispatchAsync<T>;
     readonly dispatchAsyncWithReport: (intent: TypedIntent<T>) => Promise<DispatchReport<T>>;
     readonly subscribe: TypedSubscribe<T>;
     readonly on: TypedOn<T>;
-    readonly getSnapshot: () => Snapshot<T["state"]>;
+    readonly getSnapshot: () => ProjectedSnapshot<T>;
     readonly getCanonicalSnapshot: () => CanonicalSnapshot<T["state"]>;
     readonly getAvailableActions: () => readonly (keyof T["actions"])[];
     readonly isIntentDispatchable: TypedIsIntentDispatchable<T>;
@@ -263,14 +586,16 @@ export type ManifestoBaseInstance<T extends ManifestoDomainShape> = {
     readonly getSchemaGraph: () => SchemaGraph;
     readonly simulate: TypedSimulate<T>;
     readonly simulateIntent: TypedSimulateIntent<T>;
+    readonly refs: TypedDomainRefs<T>;
+    /** @deprecated Use refs. */
     readonly MEL: TypedMEL<T>;
     readonly schema: DomainSchema;
     readonly dispose: () => void;
 };
-export type ManifestoLegalityRuntime<T extends ManifestoDomainShape> = Pick<ManifestoBaseInstance<T>, "createIntent" | "whyNot" | "simulate" | "simulateIntent" | "MEL">;
+export type ManifestoLegalityRuntime<T extends ManifestoDomainShape> = Pick<ManifestoBaseInstance<T>, "createIntent" | "whyNot" | "simulate" | "simulateIntent" | "refs" | "MEL">;
 export type ManifestoDispatchRuntime<T extends ManifestoDomainShape> = Pick<ManifestoBaseInstance<T>, "dispatchAsync" | "dispatchAsyncWithReport">;
 export interface ManifestoRuntimeByLaws<T extends ManifestoDomainShape> {
-    readonly base: ManifestoBaseInstance<T>;
+    readonly base: ManifestoApp<T, "base">;
 }
 export interface ManifestoDecoratedRuntimeByLaws<T extends ManifestoDomainShape> {
 }
@@ -280,7 +605,7 @@ export type ActivatedInstance<T extends ManifestoDomainShape, Laws> = Laws exten
 } ? Runtime : never : Laws extends LineageLaws ? ResolvedManifestoRuntimeByLaws<T> extends {
     readonly lineage: infer Runtime;
 } ? Runtime : never : ManifestoRuntimeByLaws<T>["base"];
-export type { CanonicalPlatformNamespaces, CanonicalSnapshot, Snapshot, SchemaGraphEdge, SchemaGraphEdgeRelation, SchemaGraphNode, SchemaGraphNodeId, SchemaGraphNodeKind, };
+export type { CanonicalNamespaces, CanonicalSnapshot, Snapshot, SchemaGraphEdge, SchemaGraphEdgeRelation, SchemaGraphNode, SchemaGraphNodeId, SchemaGraphNodeKind, };
 export type ComposableManifesto<T extends ManifestoDomainShape, Laws extends BaseLaws = BaseComposableLaws> = {
     readonly _laws: Laws;
     readonly schema: DomainSchema;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@manifesto-ai/sdk",
-  "version": "3.18.0",
+  "version": "5.0.0",
   "description": "Manifesto SDK - Activation-first public API for the base runtime",
   "author": "eggplantiny <eggplantiny@gmail.com>",
   "license": "MIT",
@@ -47,9 +47,9 @@
     "dist"
   ],
   "dependencies": {
-    "@manifesto-ai/compiler": "3.8.0",
-    "@manifesto-ai/core": "2.13.0",
-    "@manifesto-ai/host": "2.9.1"
+    "@manifesto-ai/compiler": "5.0.0",
+    "@manifesto-ai/host": "5.0.0",
+    "@manifesto-ai/core": "5.0.0"
   },
   "devDependencies": {
     "typescript": "^5.9.3",

package/dist/chunk-BDIXNUQ3.js

@@ -1 +0,0 @@
-var n=class extends Error{code;constructor(e,o,d){super(o,d),this.name="ManifestoError",this.code=e}},s=class extends n{effectType;constructor(e){super("RESERVED_EFFECT",`Effect type "${e}" is reserved and cannot be overridden`),this.name="ReservedEffectError",this.effectType=e}},t=class extends n{diagnostics;constructor(e,o){super("COMPILE_ERROR",o),this.name="CompileError",this.diagnostics=e}},a=class extends n{constructor(){super("DISPOSED","Cannot use a disposed Manifesto runtime"),this.name="DisposedError"}},i=class extends n{constructor(){super("ALREADY_ACTIVATED","ComposableManifesto.activate() may only be called once"),this.name="AlreadyActivatedError"}};export{n as a,s as b,t as c,a as d,i as e};

package/dist/chunk-BSGOCNTO.js

@@ -1 +0,0 @@
-import{a as E,e as B}from"./chunk-BDIXNUQ3.js";import{getAvailableActions as Ue,isActionAvailable as qe,isIntentDispatchable as $e}from"@manifesto-ai/core";import{extractSchemaGraph as We}from"@manifesto-ai/compiler";var ge=new Set(["$item","$index","$array"]);function Ye(e){let t=e.computed.fields,n=new Map;function a(r,u){let i=n.get(r);if(i!==void 0)return i;if(u.has(r))return!1;u.add(r);let c=t[r];if(!c)return u.delete(r),n.set(r,!0),!0;for(let s of De(c.expr)){if(Oe(s))return u.delete(r),n.set(r,!1),!1;let l=je(s,t);if(l!==null&&!a(l,u))return u.delete(r),n.set(r,!1),!1}return u.delete(r),n.set(r,!0),!0}return{visibleComputedKeys:Object.keys(t).filter(r=>a(r,new Set))}}function H(e,t){return{data:Ce(e.data),computed:Me(e.computed,t),system:{status:e.system.status,lastError:e.system.lastError},meta:{schemaHash:e.meta.schemaHash}}}function Qe(e,t){return H(e,t)}function x(e){return ee(structuredClone(e))}function Z(e,t){return we(e,t)}function Ce(e){if(e==null)return e;if(Array.isArray(e)||typeof e!="object")return structuredClone(e);let t={};for(let[n,a]of Object.entries(e))n.startsWith("$")||(t[n]=a);return structuredClone(t)}function Me(e,t){let n={};for(let a of t.visibleComputedKeys)Object.prototype.hasOwnProperty.call(e,a)&&(n[a]=e[a]);return structuredClone(n)}function je(e,t){if(Object.prototype.hasOwnProperty.call(t,e))return e;if(!e.startsWith("computed."))return null;let n=e.slice(9);return Object.prototype.hasOwnProperty.call(t,n)?n:null}function ke(e){return e.startsWith("/")?e.slice(1).replace(/\//g,"."):e}function Oe(e){let t=ke(e),n=t.startsWith("data.")?t.slice(5):t,o=/^([^.[\]]+)/.exec(n)?.[1]??"";return o.startsWith("$")?!ge.has(o):!1}function De(e){let t=[],n=new WeakSet,a=o=>{if(o==null)return;if(Array.isArray(o)){o.forEach(a);return}if(typeof o!="object")return;let r=o;if(!n.has(r)&&(n.add(r),r.kind!=="lit")){if(r.kind==="get"&&typeof r.path=="string"){t.push(r.path);return}for(let u of Object.values(r))a(u)}};return a(e),t}function we(e,t){return O(e,t,new WeakMap)}function O(e,t,n){if(Object.is(e,t))return!0;if(typeof e!=typeof t)return!1;if(e===null||t===null)return e===t;if(typeof e!="object"||typeof t!="object")return!1;let a=e,o=t,r=Object.prototype.toString.call(a),u=Object.prototype.toString.call(o);if(r!==u)return!1;let i=n.get(a);if(i?.has(o))return!0;if(i||(i=new WeakSet,n.set(a,i)),i.add(o),Array.isArray(a)&&Array.isArray(o)){if(a.length!==o.length)return!1;for(let l=0;l<a.length;l+=1){let y=Object.prototype.hasOwnProperty.call(a,l),f=Object.prototype.hasOwnProperty.call(o,l);if(y!==f||y&&!O(a[l],o[l],n))return!1}return!0}if(a instanceof Date&&o instanceof Date)return a.getTime()===o.getTime();if(a instanceof RegExp&&o instanceof RegExp)return a.source===o.source&&a.flags===o.flags;if(ArrayBuffer.isView(a)&&ArrayBuffer.isView(o)){if(a.constructor!==o.constructor||a.byteLength!==o.byteLength)return!1;let l=new Uint8Array(a.buffer,a.byteOffset,a.byteLength),y=new Uint8Array(o.buffer,o.byteOffset,o.byteLength);return l.every((f,S)=>f===y[S])}if(a instanceof ArrayBuffer&&o instanceof ArrayBuffer){if(a.byteLength!==o.byteLength)return!1;let l=new Uint8Array(a),y=new Uint8Array(o);return l.every((f,S)=>f===y[S])}if(a instanceof Map&&o instanceof Map){if(a.size!==o.size)return!1;let l=Array.from(a.entries()),y=Array.from(o.entries());return l.every(([f,S],b)=>{let v=y[b];if(!v)return!1;let[A,M]=v;return O(f,A,n)&&O(S,M,n)})}if(a instanceof Set&&o instanceof Set){if(a.size!==o.size)return!1;let l=Array.from(a.values()),y=Array.from(o.values());return l.every((f,S)=>O(f,y[S],n))}let c=Y(a),s=Y(o);if(c.length!==s.length)return!1;for(let l=0;l<c.length;l+=1){let y=c[l],f=s[l];if(y!==f)return!1;let S=a[y],b=o[f];if(!O(S,b,n))return!1}return!0}function Y(e){return Object.keys(e).filter(t=>e[t]!==void 0).sort()}function ee(e,t=new WeakSet){if(e==null||typeof e!="object")return e;if(Q(e))return te(e);let n=e;if(t.has(n)||Object.isFrozen(e))return e;t.add(n);for(let a of Reflect.ownKeys(n)){let o=n[a];if(Q(o)){Ne(n,a,o);continue}ee(o,t)}return Object.freeze(e)}function Q(e){return e instanceof ArrayBuffer||ArrayBuffer.isView(e)}function te(e){return structuredClone(e)}function Ne(e,t,n){let a=Object.getOwnPropertyDescriptor(e,t);!a||!("value"in a)||Object.defineProperty(e,t,{enumerable:a.enumerable??!0,configurable:!1,get(){return te(n)}})}var V=Symbol("manifesto-sdk.action-param-names"),Pe=Symbol("manifesto-sdk.action-single-param-object-value"),_=Symbol("manifesto-sdk.runtime-kernel-factory"),P=Symbol("manifesto-sdk.activation-state"),j=Symbol("manifesto-sdk.extension-kernel");var Ke=/^(state|computed|action):.+$/;function U(e){let t=new Set(e.nodes.map(i=>i.id)),n=new Map,a=new Map,o=(i,c,s)=>{let l=i.get(c);if(l){l.add(s);return}i.set(c,new Set([s]))};for(let i of e.edges)o(n,i.from,i.to),o(a,i.to,i.from);let r=i=>{let c=Object.freeze({nodes:Object.freeze(e.nodes.filter(s=>i.has(s.id))),edges:Object.freeze(e.edges.filter(s=>i.has(s.from)&&i.has(s.to)))});return U(c)},u=(i,c)=>{let s=Le(i,t),l=[s],y=new Set([s]),f=c==="incoming"?a:n;for(;l.length>0;){let S=l.shift();if(S)for(let b of f.get(S)??[])y.has(b)||(y.add(b),l.push(b))}return r(y)};return Object.freeze({nodes:e.nodes,edges:e.edges,traceUp(i){return u(i,"incoming")},traceDown(i){return u(i,"outgoing")}})}function Le(e,t){if(typeof e=="string"){if(!Ke.test(e))throw new E("SCHEMA_ERROR",'SchemaGraph node id must use "state:<name>", "computed:<name>", or "action:<name>"');if(!t.has(e))throw new E("SCHEMA_ERROR",`Unknown SchemaGraph node id "${e}"`);return e}let n;switch(e.__kind){case"ActionRef":n=`action:${String(e.name)}`;break;case"FieldRef":n=`state:${e.name}`;break;case"ComputedRef":n=`computed:${e.name}`;break;default:throw new E("SCHEMA_ERROR","Unsupported SchemaGraph ref lookup target")}if(!t.has(n))throw new E("SCHEMA_ERROR",`SchemaGraph node "${n}" is not part of the projected graph`);return n}import{validateIntentInput as Ge}from"@manifesto-ai/core";function ne(e,t,n){let a={intentId:t.intentId??"",intent:t,code:n.code,reason:n.message};return e("dispatch:rejected",a),a}function ae(e,t,n,a){e("dispatch:failed",{intentId:t.intentId??"",intent:t,error:n,...a!==void 0?{snapshot:a}:{}})}function oe(e,t,n){e("dispatch:completed",{intentId:t.intentId??"",intent:t,snapshot:n})}function se({getAvailableActionsFor:e,projectSnapshotFromCanonical:t}){function n(u,i){let c=e(u),s=e(i),l=Object.freeze(s.filter(f=>!c.includes(f))),y=Object.freeze(c.filter(f=>!s.includes(f)));return Object.freeze({before:c,after:s,unlocked:l,locked:y})}function a(u,i){let c=x(u),s=x(i),l=t(c),y=t(s);return Object.freeze({projected:Object.freeze({beforeSnapshot:l,afterSnapshot:y,changedPaths:K(l,y),availability:n(c,s)}),canonical:Object.freeze({beforeCanonicalSnapshot:c,afterCanonicalSnapshot:s,pendingRequirements:s.system.pendingRequirements,status:s.system.status})})}function o(u,i){let c=Fe(u),s=c;return Object.freeze({message:c.message,...typeof s.code=="string"?{code:s.code}:{},...typeof c.name=="string"?{name:c.name}:{},stage:i})}function r(u){return Object.freeze({hostTraces:x(u.traces)})}return Object.freeze({deriveExecutionOutcome:a,classifyExecutionFailure:o,createExecutionDiagnostics:r})}function K(e,t){let n=new Set,a=new WeakMap,o=(r,u,i)=>{if(Object.is(r,u))return;if(r===null||u===null){n.add(i);return}if(typeof r!="object"||typeof u!="object"){n.add(i);return}let c=r,s=u,l=a.get(c);if(l?.has(s))return;if(l?l.add(s):a.set(c,new WeakSet([s])),Array.isArray(r)||Array.isArray(u)){if(!Array.isArray(r)||!Array.isArray(u)){n.add(i);return}let f=Math.max(r.length,u.length);for(let S=0;S<f;S+=1){let b=Object.prototype.hasOwnProperty.call(r,S),v=Object.prototype.hasOwnProperty.call(u,S),A=`${i}[${S}]`;if(b!==v){n.add(A);continue}!b&&!v||o(r[S],u[S],A)}return}if(!ie(r)||!ie(u)){n.add(i);return}let y=new Set([...Object.keys(r),...Object.keys(u)]);for(let f of[...y].sort()){let S=Object.prototype.hasOwnProperty.call(r,f),b=Object.prototype.hasOwnProperty.call(u,f),v=`${i}.${f}`;if(S!==b){n.add(v);continue}o(r[f],u[f],v)}};return o(e.data,t.data,"data"),o(e.computed,t.computed,"computed"),o(e.system,t.system,"system"),o(e.meta,t.meta,"meta"),Object.freeze([...n].sort())}function ie(e){return Object.prototype.toString.call(e)==="[object Object]"}function Fe(e){return e instanceof Error?e:new Error(String(e))}function re({schema:e,ensureIntentId:t,getAvailableActionsFor:n,isActionAvailableFor:a,isIntentDispatchableFor:o,projectSnapshotFromCanonical:r,getSimulateSync:u,emitEvent:i}){function c(T,h,p){return Object.freeze({layer:T,expression:h,evaluatedResult:!1,...p!==void 0?{description:p}:{}})}function s(T,h){let p=h.type,d=e.actions[p];return d?a(T,p)?o(T,h)?Object.freeze([]):Object.freeze(d.dispatchable?[c("dispatchable",d.dispatchable,d.description)]:[]):Object.freeze(d.available?[c("available",d.available,d.description)]:[]):Object.freeze([])}function l(T){return new E("ACTION_UNAVAILABLE",`Action "${T.type}" is unavailable against the current visible snapshot`)}function y(T){return new E("INTENT_NOT_DISPATCHABLE",`Action "${T.type}" is available, but the bound intent is not dispatchable against the current visible snapshot`)}function f(T){return new E("INVALID_INPUT",T)}function S(T,h){let p=Ge(e,h);return p?f(p):null}function b(T,h){let p=t(h),d=p.type;if(!a(T,d))return{kind:"unavailable",intent:p,actionName:d};let I=S(T,p);if(I)return{kind:"invalid-input",intent:p,actionName:d,error:I};let C=s(T,p);return C.length>0?{kind:"not-dispatchable",intent:p,actionName:d,blockers:C}:{kind:"admitted",intent:p,actionName:d}}function v(T,h){return h.kind==="unavailable"?Object.freeze({kind:"blocked",actionName:h.actionName,failure:{kind:"unavailable",blockers:s(T,h.intent)}}):h.kind==="invalid-input"?Object.freeze({kind:"blocked",actionName:h.actionName,failure:{kind:"invalid_input",error:{code:"INVALID_INPUT",message:h.error.message}}}):h.kind==="not-dispatchable"?Object.freeze({kind:"blocked",actionName:h.actionName,failure:{kind:"not_dispatchable",blockers:h.blockers}}):Object.freeze({kind:"admitted",actionName:h.actionName})}function A(T,h){let p=b(T,h);if(p.kind==="unavailable")return Object.freeze({kind:"blocked",actionName:p.actionName,available:!1,dispatchable:!1,blockers:s(T,p.intent)});if(p.kind==="invalid-input")throw p.error;if(p.kind==="not-dispatchable")return Object.freeze({kind:"blocked",actionName:p.actionName,available:!0,dispatchable:!1,blockers:p.blockers});let d=u()(T,p.intent),I=r(T),C=r(d.snapshot);return Object.freeze({kind:"admitted",actionName:p.actionName,available:!0,dispatchable:!0,status:d.status,requirements:d.requirements,canonicalSnapshot:d.snapshot,snapshot:C,newAvailableActions:n(d.snapshot),changedPaths:K(I,C)})}function M(T,h){throw ne(i,T,h),h}function D(T){return M(T,l(T))}function w(T,h){return M(T,f(h))}function N(T){return M(T,y(T))}return Object.freeze({getIntentBlockersFor:s,validateIntentInputFor:S,evaluateIntentLegalityFor:b,deriveIntentAdmission:v,explainIntentFor:A,createUnavailableError:l,createNotDispatchableError:y,rejectInvalidInput:w,rejectUnavailable:D,rejectNotDispatchable:N})}function ce({setVisibleSnapshot:e,restoreVisibleSnapshot:t,getCanonicalSnapshot:n,emitEvent:a}){function o(i,c){return e(i,c)}function r(i,c){let s=o(c);return oe(a,i,s),Object.freeze({publishedSnapshot:s,publishedCanonicalSnapshot:n()})}function u(i,c,s){let l=o(s);return ae(a,i,c,l),Object.freeze({publishedSnapshot:l,publishedCanonicalSnapshot:n()})}return Object.freeze({replaceVisibleSnapshot:o,restoreVisibleSnapshot:t,publishCompletedHostResult:r,publishFailedHostResult:u})}import{apply as le,applySystemDelta as _e,computeSync as ze}from"@manifesto-ai/core";import{getHostState as Be}from"@manifesto-ai/host";function pe(e,t){return{...e,timestamp:t,children:e.children.map(n=>pe(n,t))}}function He(e){let t={};function n(a){t[a.id]=a,a.children.forEach(n)}return n(e),t}function Ve(e,t){let n=pe(e.root,t);return{...e,duration:0,root:n,nodes:He(n)}}function ue({schema:e,hostContextProvider:t,evaluateIntentLegalityFor:n}){function a(i,c,s){let y=Be(i.data)?.intentSlots??{},f=c.input===void 0?{type:c.type}:{type:c.type,input:c.input};return le(e,i,[{op:"merge",path:[{kind:"prop",name:"$host"}],value:{intentSlots:{...y,[c.intentId]:f}}}],s)}function o(i){return new E("ACTION_UNAVAILABLE",`Action "${i.type}" is unavailable against the provided canonical snapshot`)}function r(i){return new E("INTENT_NOT_DISPATCHABLE",`Action "${i.type}" is available, but the bound intent is not dispatchable against the provided canonical snapshot`)}return Object.freeze({withHostIntentSlot:a,createSimulationUnavailableError:o,createSimulationNotDispatchableError:r,simulateSync:(i,c)=>{let s=n(i,c);if(s.kind==="unavailable")throw o(s.intent);if(s.kind==="invalid-input")throw s.error;if(s.kind==="not-dispatchable")throw r(s.intent);let l=s.intent,y=t.createFrozenContext(l.intentId),f=a(structuredClone(i),l,y),S=ze(e,f,l,y),b=le(e,f,S.patches,y),v=_e(b,S.systemDelta);return Object.freeze({snapshot:x(v),patches:x(S.patches),systemDelta:x(S.systemDelta),status:S.status,requirements:x(S.systemDelta.addRequirements),diagnostics:Object.freeze({trace:x(Ve(S.trace,i.meta.timestamp))})})}})}function de({host:e,initialCanonicalSnapshot:t,projectSnapshotFromCanonical:n}){let a=structuredClone(t),o=n(a),r=x(a),u=Promise.resolve(),i=!1,c=new Set,s=new Map;function l(h,p){if(i)return()=>{};let d,I=!1;try{d=h(o),I=!0}catch{d=void 0,I=!1}let C={selector:h,listener:p,lastValue:d,initialized:I};return c.add(C),()=>{c.delete(C)}}function y(h,p){if(i)return()=>{};let d=s.get(h);return d||(d=new Set,s.set(h,d)),d.add(p),()=>{d?.delete(p)}}function f(){return o}function S(){return r}function b(){return structuredClone(a)}function v(h,p){a=structuredClone(h),e.reset(structuredClone(a)),r=x(a);let d=n(a),I=!Z(d,o);return I&&(o=d),p?.notify!==!1&&I&&T(o),o}function A(){e.reset(structuredClone(a))}function M(h,p){let d=s.get(h);if(d)for(let I of d)try{I(p)}catch{}}function D(h){let p=u.catch(()=>{}).then(h);return u=p.then(()=>{},()=>{}),p}function w(){i||(i=!0,c.clear(),s.clear())}function N(){return i}function T(h){for(let p of c){let d;try{d=p.selector(h)}catch{continue}if(!(p.initialized&&Object.is(p.lastValue,d))){p.lastValue=d,p.initialized=!0;try{p.listener(d)}catch{}}}}return{subscribe:l,on:y,getSnapshot:f,getCanonicalSnapshot:S,getVisibleCoreSnapshot:b,setVisibleSnapshot:v,restoreVisibleSnapshot:A,emitEvent:M,enqueue:D,dispose:w,isDisposed:N}}function fe(){return typeof crypto<"u"&&typeof crypto.randomUUID=="function"?crypto.randomUUID():"xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx".replace(/[xy]/g,e=>{let t=Math.random()*16|0;return(e==="x"?t:t&3|8).toString(16)})}function Xe(e){if(e.params)return e.params;let t=e.input;return!t||t.type!=="object"||!t.fields?[]:Object.keys(t.fields)}function Je({schema:e,projectionPlan:t,host:n,hostContextProvider:a,MEL:o,createIntent:r}){let u=n.getSnapshot();if(!u)throw new E("SCHEMA_ERROR","Host failed to initialize its genesis snapshot");function i(m){return x(H(m,t))}let c=de({host:n,initialCanonicalSnapshot:u,projectSnapshotFromCanonical:i}),{subscribe:s,on:l,getSnapshot:y,getCanonicalSnapshot:f,getVisibleCoreSnapshot:S,setVisibleSnapshot:b,restoreVisibleSnapshot:v,emitEvent:A,enqueue:M,dispose:D,isDisposed:w}=c,N=U(We(e)),T=Object.keys(e.actions),h=Object.freeze(Object.fromEntries(T.map(m=>{let R=e.actions[m],J=o.actions[m]?.[V],Ae=Object.freeze(Array.isArray(J)?[...J]:Xe(R));return[m,Object.freeze({name:m,params:Ae,input:R.input,description:R.description,hasDispatchableGate:R.dispatchable!==void 0})]}))),p=Object.freeze(T.map(m=>h[m]));function d(m){return Object.freeze([...Ue(e,m)])}let I=se({getAvailableActionsFor:d,projectSnapshotFromCanonical:i});function C(){return d(f())}let ye=(m=>m!==void 0?h[String(m)]:p);function L(m,R){return qe(e,m,String(R))}function Te(m){return L(f(),m)}function F(m,R){return $e(e,m,R)}let Se=((m,...R)=>F(f(),r(m,...R)));function q(m){return m.intentId&&m.intentId.length>0?m:{...m,intentId:fe()}}async function be(m,R){return n.dispatch(m,R)}let z=null,g=re({schema:e,ensureIntentId:q,getAvailableActionsFor:d,isActionAvailableFor:L,isIntentDispatchableFor:F,projectSnapshotFromCanonical:i,getSimulateSync:()=>{if(!z)throw new E("SCHEMA_ERROR","Runtime simulation surface is not initialized");return z},emitEvent:A}),G=ue({schema:e,hostContextProvider:a,evaluateIntentLegalityFor:g.evaluateIntentLegalityFor});z=G.simulateSync;let $=ce({setVisibleSnapshot:b,restoreVisibleSnapshot:v,getCanonicalSnapshot:f,emitEvent:A}),W=g.getIntentBlockersFor,Re=((m,...R)=>W(f(),r(m,...R))),Ee=G.simulateSync;function Ie(m){let R=i(m.snapshot);return Object.freeze({snapshot:R,changedPaths:K(y(),R),newAvailableActions:d(m.snapshot),requirements:m.requirements,status:m.status,diagnostics:m.diagnostics})}let X=(m=>Ie(G.simulateSync(f(),m))),ve=((m,...R)=>X(r(m,...R))),xe=Object.freeze({MEL:o,schema:e,createIntent:r,getCanonicalSnapshot:f,projectSnapshot:m=>i(m),simulateSync:(m,R)=>{let k=G.simulateSync(m,R);return Object.freeze({snapshot:k.snapshot,patches:k.patches,requirements:k.requirements,status:k.status,diagnostics:k.diagnostics})},getAvailableActionsFor:d,isActionAvailableFor:L,isIntentDispatchableFor:F,explainIntentFor:g.explainIntentFor});return{schema:e,MEL:o,createIntent:r,subscribe:s,on:l,getSnapshot:y,getAvailableActionsFor:d,getAvailableActions:C,getIntentBlockersFor:W,getActionMetadata:ye,isActionAvailableFor:L,isActionAvailable:Te,isIntentDispatchableFor:F,isIntentDispatchable:Se,getIntentBlockers:Re,getSchemaGraph(){return N},simulateSync:Ee,simulate:ve,simulateIntent:X,dispose:D,isDisposed:w,getCanonicalSnapshot:f,getVisibleCoreSnapshot:S,setVisibleSnapshot:$.replaceVisibleSnapshot,restoreVisibleSnapshot:$.restoreVisibleSnapshot,emitEvent:A,enqueue:M,ensureIntentId:q,executeHost:be,validateIntentInputFor:g.validateIntentInputFor,evaluateIntentLegalityFor:g.evaluateIntentLegalityFor,deriveIntentAdmission:g.deriveIntentAdmission,deriveExecutionOutcome:I.deriveExecutionOutcome,classifyExecutionFailure:I.classifyExecutionFailure,createExecutionDiagnostics:I.createExecutionDiagnostics,createUnavailableError:g.createUnavailableError,createNotDispatchableError:g.createNotDispatchableError,rejectInvalidInput:g.rejectInvalidInput,rejectUnavailable:g.rejectUnavailable,rejectNotDispatchable:g.rejectNotDispatchable,[j]:xe}}function Gt(e,t,n){Object.defineProperty(e,_,{enumerable:!1,configurable:!1,writable:!1,value:t});let a=n??me(e)??{activated:!1};return me(e)||Object.defineProperty(e,P,{enumerable:!1,configurable:!1,writable:!1,value:a}),e}function _t(e){let n=e[_];if(typeof n!="function")throw new E("SCHEMA_ERROR","ComposableManifesto is missing its runtime kernel factory");return n}function zt(e,t){return Object.defineProperty(e,j,{enumerable:!1,configurable:!1,writable:!1,value:t[j]}),e}function Bt(e){let n=e[j];if(!n)throw new E("SCHEMA_ERROR","Activated runtime is missing its extension kernel");return n}function he(e){let n=e[P];if(!n)throw new E("SCHEMA_ERROR","ComposableManifesto is missing its activation state");return n}function Ht(e){if(he(e).activated)throw new B}function Vt(e){let t=he(e);if(t.activated)throw new B;t.activated=!0}function me(e){return e[P]??null}export{V as a,Pe as b,j as c,Ye as d,Qe as e,x as f,ne as g,ae as h,ce as i,fe as j,Je as k,Gt as l,_t as m,zt as n,Bt as o,he as p,Ht as q,Vt as r};

package/dist/chunk-JM42OG2H.js

@@ -1 +0,0 @@
-import{c as y,g as S,h as b,i as E,n as I}from"./chunk-BSGOCNTO.js";import{a as m,d as p}from"./chunk-BDIXNUQ3.js";async function f(t,i,d,h){let s=t.getCanonicalSnapshot(),a=i.projectSnapshot(s),e=t.evaluateIntentLegalityFor(s,h),u=t.deriveIntentAdmission(s,e);if(e.kind!=="admitted"){let r=u,c=j(t,e),l=S(t.emitEvent,e.intent,c);return{kind:"rejected",intent:e.intent,admission:r,beforeSnapshot:a,beforeCanonicalSnapshot:s,rejection:l,rejectionError:c}}let n=u,o;try{o=await t.executeHost(e.intent)}catch(r){let c=g(r);return b(t.emitEvent,e.intent,c),{kind:"failed",intent:e.intent,admission:n,beforeSnapshot:a,beforeCanonicalSnapshot:s,failure:c,errorInfo:t.classifyExecutionFailure(c,"host"),published:!1}}let T=t.createExecutionDiagnostics(o);if(o.status==="error"){let r=o.error??new m("HOST_ERROR","Host dispatch failed"),{publishedSnapshot:c,publishedCanonicalSnapshot:l}=d.publishFailedHostResult(e.intent,r,o.snapshot);return{kind:"failed",intent:e.intent,admission:n,beforeSnapshot:a,beforeCanonicalSnapshot:s,failure:r,errorInfo:t.classifyExecutionFailure(r,"host"),published:!0,diagnostics:T,outcome:t.deriveExecutionOutcome(s,l)}}let{publishedSnapshot:x,publishedCanonicalSnapshot:A}=d.publishCompletedHostResult(e.intent,o.snapshot);return{kind:"completed",intent:e.intent,admission:n,publishedSnapshot:x,outcome:t.deriveExecutionOutcome(s,A),diagnostics:T}}function R(t){if(t.kind==="completed")return t.publishedSnapshot;throw t.kind==="rejected"?t.rejectionError:t.failure}function D(t){return t.kind==="completed"?Object.freeze({kind:"completed",intent:t.intent,admission:t.admission,outcome:t.outcome,diagnostics:t.diagnostics}):t.kind==="rejected"?Object.freeze({kind:"rejected",intent:t.intent,admission:t.admission,beforeSnapshot:t.beforeSnapshot,beforeCanonicalSnapshot:t.beforeCanonicalSnapshot,rejection:t.rejection}):Object.freeze({kind:"failed",intent:t.intent,admission:t.admission,beforeSnapshot:t.beforeSnapshot,beforeCanonicalSnapshot:t.beforeCanonicalSnapshot,error:t.errorInfo,published:t.published,...t.diagnostics!==void 0?{diagnostics:t.diagnostics}:{},...t.outcome!==void 0?{outcome:t.outcome}:{}})}function j(t,i){if(i.kind==="unavailable")return t.createUnavailableError(i.intent);if(i.kind==="invalid-input")return i.error;if(i.kind==="not-dispatchable")return t.createNotDispatchableError(i.intent);throw new m("SDK_REPORT_ERROR","Cannot derive a rejected dispatch error for an admitted intent")}function g(t){return t instanceof Error?t:new Error(String(t))}function F(t){let i=t[y],d=E({setVisibleSnapshot:t.setVisibleSnapshot,restoreVisibleSnapshot:t.restoreVisibleSnapshot,getCanonicalSnapshot:t.getCanonicalSnapshot,emitEvent:t.emitEvent});function h(n){if(t.isDisposed())return Promise.reject(new p);let o=t.ensureIntentId(n);return t.enqueue(async()=>{if(t.isDisposed())throw new p;return R(await f(t,i,d,o))})}function s(n){if(t.isDisposed())return Promise.reject(new p);let o=t.ensureIntentId(n);return t.enqueue(async()=>{if(t.isDisposed())throw new p;return D(await f(t,i,d,o))})}function a(n){return i.explainIntentFor(t.getCanonicalSnapshot(),n)}function e(n){return a(n)}function u(n){let o=a(n);return o.kind==="blocked"?o.blockers:null}return I({createIntent:t.createIntent,dispatchAsync:h,dispatchAsyncWithReport:s,subscribe:t.subscribe,on:t.on,getSnapshot:t.getSnapshot,getCanonicalSnapshot:t.getCanonicalSnapshot,getAvailableActions:t.getAvailableActions,isIntentDispatchable:t.isIntentDispatchable,getIntentBlockers:t.getIntentBlockers,explainIntent:a,why:e,whyNot:u,getActionMetadata:t.getActionMetadata,isActionAvailable:t.isActionAvailable,getSchemaGraph:t.getSchemaGraph,simulate:t.simulate,simulateIntent:t.simulateIntent,MEL:t.MEL,schema:t.schema,dispose:t.dispose},t)}export{F as a};

package/dist/manifest/system-get.d.ts

@@ -1,4 +0,0 @@
-import { type Patch, type Snapshot as CoreSnapshot } from "@manifesto-ai/core";
-export declare function executeSystemGet(params: unknown, snapshot: CoreSnapshot): {
-    patches: Patch[];
-};

package/dist/runtime/events.d.ts

@@ -1,7 +0,0 @@
-import { type ManifestoDomainShape, type ManifestoEventMap, type Snapshot, type TypedIntent } from "../types.js";
-import { ManifestoError } from "../errors.js";
-type RuntimeEmitEvent<T extends ManifestoDomainShape> = <K extends keyof ManifestoEventMap<T>>(event: K, payload: ManifestoEventMap<T>[K]) => void;
-export declare function emitDispatchRejectedEvent<T extends ManifestoDomainShape>(emitEvent: RuntimeEmitEvent<T>, intent: TypedIntent<T>, error: ManifestoError): ManifestoEventMap<T>["dispatch:rejected"];
-export declare function emitDispatchFailedEvent<T extends ManifestoDomainShape>(emitEvent: RuntimeEmitEvent<T>, intent: TypedIntent<T>, error: Error, snapshot?: Snapshot<T["state"]>): void;
-export declare function emitDispatchCompletedEvent<T extends ManifestoDomainShape>(emitEvent: RuntimeEmitEvent<T>, intent: TypedIntent<T>, snapshot: Snapshot<T["state"]>): void;
-export {};