@manifesto-ai/sdk 3.4.0 → 3.6.0

package/dist/internal.d.ts

@@ -1,14 +1,24 @@
-import { type DomainSchema, type Snapshot as CoreSnapshot } from "@manifesto-ai/core";
-import type { HostResult, ManifestoHost } from "@manifesto-ai/host";
-import type { BaseLaws, CanonicalSnapshot, ComposableManifesto, ManifestoBaseInstance, ManifestoDomainShape, ManifestoEvent, ManifestoEventMap, Snapshot, TypedCreateIntent, TypedGetActionMetadata, TypedIntent, TypedMEL, TypedOn, TypedSubscribe } from "./types.js";
+import { type ComputeStatus, type DomainSchema, type Patch, type Requirement, type Snapshot as CoreSnapshot, type SystemDelta } from "@manifesto-ai/core";
+import type { HostContextProvider, HostResult, ManifestoHost } from "@manifesto-ai/host";
+import { ManifestoError } from "./errors.js";
+import type { BaseLaws, CanonicalSnapshot, ComposableManifesto, ManifestoBaseInstance, ManifestoDomainShape, ManifestoEvent, ManifestoEventMap, SchemaGraph, Snapshot, TypedCreateIntent, TypedGetActionMetadata, TypedIntent, TypedMEL, TypedOn, TypedSimulate, TypedSubscribe } from "./types.js";
 import { type SnapshotProjectionPlan } from "./snapshot-projection.js";
+import type { ExtensionKernel } from "./extensions-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;
+export declare const EXTENSION_KERNEL: unique symbol;
 export type ActivationState = {
     activated: boolean;
 };
 export type HostDispatchOptions = NonNullable<Parameters<ManifestoHost["dispatch"]>[1]>;
+export type SimulateResult<T extends ManifestoDomainShape = ManifestoDomainShape> = {
+    readonly snapshot: CanonicalSnapshot<T["state"]>;
+    readonly patches: readonly Patch[];
+    readonly systemDelta: Readonly<SystemDelta>;
+    readonly status: ComputeStatus;
+    readonly requirements: readonly Requirement[];
+};
 export interface RuntimeKernel<T extends ManifestoDomainShape> {
     readonly schema: DomainSchema;
     readonly MEL: TypedMEL<T>;
@@ -17,9 +27,14 @@ export interface RuntimeKernel<T extends ManifestoDomainShape> {
     readonly on: TypedOn<T>;
     readonly getSnapshot: () => Snapshot<T["state"]>;
     readonly getCanonicalSnapshot: () => CanonicalSnapshot<T["state"]>;
+    readonly getAvailableActionsFor: (snapshot: CanonicalSnapshot<T["state"]>) => readonly (keyof T["actions"])[];
     readonly getAvailableActions: () => readonly (keyof T["actions"])[];
     readonly getActionMetadata: TypedGetActionMetadata<T>;
+    readonly isActionAvailableFor: (snapshot: CanonicalSnapshot<T["state"]>, name: keyof T["actions"]) => boolean;
     readonly isActionAvailable: (name: keyof T["actions"]) => boolean;
+    readonly getSchemaGraph: () => SchemaGraph;
+    readonly simulateSync: (snapshot: CanonicalSnapshot<T["state"]>, intent: TypedIntent<T>) => SimulateResult<T>;
+    readonly simulate: TypedSimulate<T>;
     readonly dispose: () => void;
     readonly isDisposed: () => boolean;
     readonly getVisibleCoreSnapshot: () => CoreSnapshot;
@@ -31,7 +46,9 @@ export interface RuntimeKernel<T extends ManifestoDomainShape> {
     readonly enqueue: <R>(task: () => Promise<R>) => Promise<R>;
     readonly ensureIntentId: (intent: TypedIntent<T>) => TypedIntent<T>;
     readonly executeHost: (intent: TypedIntent<T>, options?: HostDispatchOptions) => Promise<HostResult>;
+    readonly createUnavailableError: (intent: TypedIntent<T>) => ManifestoError;
     readonly rejectUnavailable: (intent: TypedIntent<T>) => never;
+    readonly [EXTENSION_KERNEL]: ExtensionKernel<T>;
 }
 export type RuntimeKernelFactory<T extends ManifestoDomainShape> = () => RuntimeKernel<T>;
 export type InternalComposableManifesto<T extends ManifestoDomainShape, Laws extends BaseLaws> = ComposableManifesto<T, Laws> & {
@@ -42,14 +59,17 @@ type RuntimeKernelOptions<T extends ManifestoDomainShape> = {
     readonly schema: DomainSchema;
     readonly projectionPlan: SnapshotProjectionPlan;
     readonly host: ManifestoHost;
+    readonly hostContextProvider: HostContextProvider;
     readonly MEL: TypedMEL<T>;
     readonly createIntent: TypedCreateIntent<T>;
 };
 export declare function attachRuntimeKernelFactory<T extends ManifestoDomainShape, Laws extends BaseLaws>(manifesto: ComposableManifesto<T, Laws>, factory: RuntimeKernelFactory<T>, activationState?: ActivationState): InternalComposableManifesto<T, Laws>;
 export declare function getRuntimeKernelFactory<T extends ManifestoDomainShape, Laws extends BaseLaws>(manifesto: ComposableManifesto<T, Laws>): RuntimeKernelFactory<T>;
+export declare function attachExtensionKernel<T extends ManifestoDomainShape, TInstance extends object>(runtime: TInstance, kernel: RuntimeKernel<T>): TInstance;
+export declare function getAttachedExtensionKernel<T extends ManifestoDomainShape>(runtime: object): ExtensionKernel<T>;
 export declare function getActivationState<T extends ManifestoDomainShape, Laws extends BaseLaws>(manifesto: ComposableManifesto<T, Laws>): ActivationState;
 export declare function assertComposableNotActivated<T extends ManifestoDomainShape, Laws extends BaseLaws>(manifesto: ComposableManifesto<T, Laws>): void;
 export declare function activateComposable<T extends ManifestoDomainShape, Laws extends BaseLaws>(manifesto: ComposableManifesto<T, Laws>): void;
-export declare function createRuntimeKernel<T extends ManifestoDomainShape>({ schema, projectionPlan, host, MEL, createIntent, }: RuntimeKernelOptions<T>): RuntimeKernel<T>;
+export declare function createRuntimeKernel<T extends ManifestoDomainShape>({ schema, projectionPlan, host, hostContextProvider, MEL, createIntent, }: RuntimeKernelOptions<T>): RuntimeKernel<T>;
 export declare function createBaseRuntimeInstance<T extends ManifestoDomainShape>(kernel: RuntimeKernel<T>): ManifestoBaseInstance<T>;
 export {};

package/dist/provider.d.ts

@@ -3,5 +3,5 @@
  * 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";
+export type { ActivationState, HostDispatchOptions, RuntimeKernel, RuntimeKernelFactory, SimulateResult, } from "./internal.js";
+export { activateComposable, assertComposableNotActivated, attachExtensionKernel, attachRuntimeKernelFactory, createRuntimeKernel, getActivationState, getRuntimeKernelFactory, } from "./internal.js";

package/dist/provider.js

@@ -1,17 +1,2 @@
-import {
-  activateComposable,
-  assertComposableNotActivated,
-  attachRuntimeKernelFactory,
-  createRuntimeKernel,
-  getActivationState,
-  getRuntimeKernelFactory
-} from "./chunk-2YBJP5JT.js";
-export {
-  activateComposable,
-  assertComposableNotActivated,
-  attachRuntimeKernelFactory,
-  createRuntimeKernel,
-  getActivationState,
-  getRuntimeKernelFactory
-};
+import{j as t,k as e,l as a,n,o,p as i,q as r}from"./chunk-NXOXNSXB.js";export{i as activateComposable,o as assertComposableNotActivated,a as attachExtensionKernel,t as attachRuntimeKernelFactory,r as createRuntimeKernel,n as getActivationState,e as getRuntimeKernelFactory};
 //# sourceMappingURL=provider.js.map

package/dist/simulation-session.d.ts

@@ -0,0 +1,3 @@
+import type { SimulationSession } from "./extensions-types.js";
+import type { ActivatedInstance, BaseLaws, ManifestoDomainShape } from "./types.js";
+export declare function createSimulationSession<T extends ManifestoDomainShape, Laws extends BaseLaws>(app: ActivatedInstance<T, Laws>): SimulationSession<T>;

package/dist/types.d.ts

@@ -1,4 +1,5 @@
-import type { DomainSchema, Intent, Patch } from "@manifesto-ai/core";
+import type { ComputeStatus, DomainSchema, Intent, Patch, Requirement } from "@manifesto-ai/core";
+import type { SchemaGraph as CompilerSchemaGraph, SchemaGraphEdge, SchemaGraphEdgeRelation, SchemaGraphNode, SchemaGraphNodeId, SchemaGraphNodeKind } from "@manifesto-ai/compiler";
 import type { CanonicalPlatformNamespaces, CanonicalSnapshot, Snapshot } from "./snapshot-projection.js";
 type ActionFn = {
     bivarianceHack(...args: unknown[]): unknown;
@@ -35,10 +36,12 @@ export type TypedActionRef<T extends ManifestoDomainShape, K extends keyof T["ac
 };
 export type FieldRef<TValue> = {
     readonly __kind: "FieldRef";
+    readonly name: string;
     readonly _type?: TValue;
 };
 export type ComputedRef<TValue> = {
     readonly __kind: "ComputedRef";
+    readonly name: string;
     readonly _type?: TValue;
 };
 export type TypedMEL<T extends ManifestoDomainShape> = {
@@ -67,6 +70,21 @@ 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 TypedCommitAsync<T extends ManifestoDomainShape> = TypedDispatchAsync<T>;
+export type SchemaGraphNodeRef = TypedActionRef<ManifestoDomainShape> | FieldRef<unknown> | ComputedRef<unknown>;
+export type SchemaGraph = CompilerSchemaGraph & {
+    traceUp(ref: SchemaGraphNodeRef): SchemaGraph;
+    traceUp(nodeId: SchemaGraphNodeId): SchemaGraph;
+    traceDown(ref: SchemaGraphNodeRef): SchemaGraph;
+    traceDown(nodeId: SchemaGraphNodeId): SchemaGraph;
+};
+export type SimulateResult<T extends ManifestoDomainShape = ManifestoDomainShape> = {
+    readonly snapshot: Snapshot<T["state"]>;
+    readonly changedPaths: readonly string[];
+    readonly newAvailableActions: readonly (keyof T["actions"])[];
+    readonly requirements: readonly Requirement[];
+    readonly status: ComputeStatus;
+};
+export type TypedSimulate<T extends ManifestoDomainShape> = <K extends keyof T["actions"]>(action: TypedActionRef<T, K>, ...args: CreateIntentArgs<T, K>) => SimulateResult<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;
@@ -109,6 +127,8 @@ export type ManifestoBaseInstance<T extends ManifestoDomainShape> = {
     readonly getAvailableActions: () => readonly (keyof T["actions"])[];
     readonly getActionMetadata: TypedGetActionMetadata<T>;
     readonly isActionAvailable: (name: keyof T["actions"]) => boolean;
+    readonly getSchemaGraph: () => SchemaGraph;
+    readonly simulate: TypedSimulate<T>;
     readonly MEL: TypedMEL<T>;
     readonly schema: DomainSchema;
     readonly dispose: () => void;
@@ -124,7 +144,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, };
+export type { CanonicalPlatformNamespaces, 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.4.0",
+  "version": "3.6.0",
   "description": "Manifesto SDK - Activation-first public API for the base runtime",
   "author": "eggplantiny <eggplantiny@gmail.com>",
   "license": "MIT",
@@ -30,6 +30,10 @@
       "types": "./dist/index.d.ts",
       "import": "./dist/index.js"
     },
+    "./extensions": {
+      "types": "./dist/extensions.d.ts",
+      "import": "./dist/extensions.js"
+    },
     "./provider": {
       "types": "./dist/provider.d.ts",
       "import": "./dist/provider.js"
@@ -39,9 +43,9 @@
     "dist"
   ],
   "dependencies": {
-    "@manifesto-ai/compiler": "3.1.1",
-    "@manifesto-ai/core": "2.9.0",
-    "@manifesto-ai/host": "2.6.0"
+    "@manifesto-ai/compiler": "3.2.0",
+    "@manifesto-ai/core": "2.10.0",
+    "@manifesto-ai/host": "2.7.0"
   },
   "devDependencies": {
     "typescript": "^5.9.3",