@manifesto-ai/compiler 3.1.1 → 3.3.0

package/dist/lexer/tokens.d.ts

@@ -6,7 +6,7 @@ import type { SourceLocation } from "./source-location.js";
 /**
  * All token kinds in MEL
  */
-export type TokenKind = "DOMAIN" | "STATE" | "COMPUTED" | "ACTION" | "EFFECT" | "WHEN" | "ONCE" | "PATCH" | "UNSET" | "MERGE" | "TRUE" | "FALSE" | "NULL" | "AS" | "AVAILABLE" | "FAIL" | "STOP" | "WITH" | "TYPE" | "IMPORT" | "FROM" | "EXPORT" | "PLUS" | "MINUS" | "STAR" | "SLASH" | "PERCENT" | "EQ_EQ" | "BANG_EQ" | "LT" | "LT_EQ" | "GT" | "GT_EQ" | "AMP_AMP" | "PIPE_PIPE" | "BANG" | "QUESTION_QUESTION" | "QUESTION" | "COLON" | "EQ" | "LPAREN" | "RPAREN" | "LBRACE" | "RBRACE" | "LBRACKET" | "RBRACKET" | "COMMA" | "SEMICOLON" | "DOT" | "PIPE" | "NUMBER" | "STRING" | "IDENTIFIER" | "SYSTEM_IDENT" | "ITEM" | "EOF" | "ERROR";
+export type TokenKind = "DOMAIN" | "STATE" | "COMPUTED" | "ACTION" | "EFFECT" | "WHEN" | "ONCE" | "PATCH" | "UNSET" | "MERGE" | "TRUE" | "FALSE" | "NULL" | "AS" | "AVAILABLE" | "DISPATCHABLE" | "FAIL" | "STOP" | "WITH" | "TYPE" | "IMPORT" | "FROM" | "EXPORT" | "PLUS" | "MINUS" | "STAR" | "SLASH" | "PERCENT" | "EQ_EQ" | "BANG_EQ" | "LT" | "LT_EQ" | "GT" | "GT_EQ" | "AMP_AMP" | "PIPE_PIPE" | "BANG" | "QUESTION_QUESTION" | "QUESTION" | "COLON" | "EQ" | "LPAREN" | "RPAREN" | "LBRACE" | "RBRACE" | "LBRACKET" | "RBRACKET" | "COMMA" | "SEMICOLON" | "DOT" | "PIPE" | "NUMBER" | "STRING" | "IDENTIFIER" | "SYSTEM_IDENT" | "ITEM" | "EOF" | "ERROR";
 /**
  * A token produced by the lexer
  */

package/dist/lowering/context.d.ts

@@ -85,6 +85,10 @@ export declare const DEFAULT_SCHEMA_CONTEXT: ExprLoweringContext;
  * Default expression lowering context for action mode.
  */
 export declare const DEFAULT_ACTION_CONTEXT: ExprLoweringContext;
+/**
+ * Context for dispatchable expressions (bound-input only).
+ */
+export declare const DEFAULT_DISPATCHABLE_CONTEXT: ExprLoweringContext;
 /**
  * Context for effect.args (allows $item).
  */

package/dist/lowering/index.d.ts

@@ -6,7 +6,7 @@
  * @see SPEC v0.4.0 §17
  */
 export type { AllowedSysPrefix, ExprLoweringContext, PatchLoweringContext, } from "./context.js";
-export { DEFAULT_SCHEMA_CONTEXT, DEFAULT_ACTION_CONTEXT, EFFECT_ARGS_CONTEXT, DEFAULT_PATCH_CONTEXT, } from "./context.js";
+export { DEFAULT_SCHEMA_CONTEXT, DEFAULT_ACTION_CONTEXT, DEFAULT_DISPATCHABLE_CONTEXT, EFFECT_ARGS_CONTEXT, DEFAULT_PATCH_CONTEXT, } from "./context.js";
 export type { LoweringErrorCode } from "./errors.js";
 export { LoweringError, invalidKindForContext, unknownCallFn, invalidSysPath, unsupportedBase, invalidShape, unknownNodeKind, } from "./errors.js";
 export type { MelPrimitive, MelPathSegment, MelPathNode, MelSystemPath, MelObjField, MelExprNode, } from "./lower-expr.js";

package/dist/node-loader.js

@@ -1,47 +1,2 @@
-import {
-  compileMelToModuleCode
-} from "./chunk-LI5HNMZV.js";
-import "./chunk-7TT6Y5ZC.js";
-
-// src/node-loader.ts
-import { readFile } from "fs/promises";
-import { fileURLToPath } from "url";
-function stripSearchAndHash(value) {
-  const [withoutSearch] = value.split("?", 1);
-  const [withoutHash] = withoutSearch.split("#", 1);
-  return withoutHash;
-}
-function isMelReference(value) {
-  return stripSearchAndHash(value).endsWith(".mel");
-}
-function toSourceId(urlOrPath) {
-  try {
-    return fileURLToPath(urlOrPath);
-  } catch {
-    return urlOrPath;
-  }
-}
-var resolve = async (specifier, context, nextResolve) => {
-  if (!isMelReference(specifier)) {
-    return nextResolve(specifier, context);
-  }
-  const resolved = await nextResolve(specifier, context);
-  return { ...resolved, shortCircuit: true };
-};
-var load = async (url, context, nextLoad) => {
-  if (!isMelReference(url)) {
-    return nextLoad(url, context);
-  }
-  const melSource = await readFile(new URL(url), "utf8");
-  const source = compileMelToModuleCode(melSource, toSourceId(url));
-  return {
-    format: "module",
-    source,
-    shortCircuit: true
-  };
-};
-export {
-  load,
-  resolve
-};
+import{b as n}from"./chunk-F7ORNXSB.js";import"./chunk-3KVBHKIL.js";import{readFile as i}from"fs/promises";import{fileURLToPath as c}from"url";function u(o){let[t]=o.split("?",1),[r]=t.split("#",1);return r}function s(o){return u(o).endsWith(".mel")}function a(o){try{return c(o)}catch{return o}}var h=async(o,t,r)=>s(o)?{...await r(o,t),shortCircuit:!0}:r(o,t),p=async(o,t,r)=>{if(!s(o))return r(o,t);let e=await i(new URL(o),"utf8");return{format:"module",source:n(e,a(o)),shortCircuit:!0}};export{p as load,h as resolve};
 //# sourceMappingURL=node-loader.js.map

package/dist/node-loader.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/node-loader.ts"],"sourcesContent":["/**\n * Node ESM Loader Hooks for MEL files.\n *\n * Usage: node --loader @manifesto-ai/compiler/node-loader app.ts\n */\n\nimport { readFile } from \"node:fs/promises\";\nimport type { LoadHook, ResolveHook } from \"node:module\";\nimport { fileURLToPath } from \"node:url\";\nimport { compileMelToModuleCode } from \"./mel-module.js\";\n\nfunction stripSearchAndHash(value: string): string {\n  const [withoutSearch] = value.split(\"?\", 1);\n  const [withoutHash] = withoutSearch.split(\"#\", 1);\n  return withoutHash;\n}\n\nfunction isMelReference(value: string): boolean {\n  return stripSearchAndHash(value).endsWith(\".mel\");\n}\n\nfunction toSourceId(urlOrPath: string): string {\n  try {\n    return fileURLToPath(urlOrPath);\n  } catch {\n    return urlOrPath;\n  }\n}\n\n/**\n * Node loader resolve hook.\n */\nexport const resolve: ResolveHook = async (specifier, context, nextResolve) => {\n  if (!isMelReference(specifier)) {\n    return nextResolve(specifier, context);\n  }\n\n  const resolved = await nextResolve(specifier, context);\n  return { ...resolved, shortCircuit: true };\n};\n\n/**\n * Node loader load hook.\n */\nexport const load: LoadHook = async (url, context, nextLoad) => {\n  if (!isMelReference(url)) {\n    return nextLoad(url, context);\n  }\n\n  const melSource = await readFile(new URL(url), \"utf8\");\n  const source = compileMelToModuleCode(melSource, toSourceId(url));\n\n  return {\n    format: \"module\",\n    source,\n    shortCircuit: true,\n  };\n};\n"],"mappings":";;;;;;AAMA,SAAS,gBAAgB;AAEzB,SAAS,qBAAqB;AAG9B,SAAS,mBAAmB,OAAuB;AACjD,QAAM,CAAC,aAAa,IAAI,MAAM,MAAM,KAAK,CAAC;AAC1C,QAAM,CAAC,WAAW,IAAI,cAAc,MAAM,KAAK,CAAC;AAChD,SAAO;AACT;AAEA,SAAS,eAAe,OAAwB;AAC9C,SAAO,mBAAmB,KAAK,EAAE,SAAS,MAAM;AAClD;AAEA,SAAS,WAAW,WAA2B;AAC7C,MAAI;AACF,WAAO,cAAc,SAAS;AAAA,EAChC,QAAQ;AACN,WAAO;AAAA,EACT;AACF;AAKO,IAAM,UAAuB,OAAO,WAAW,SAAS,gBAAgB;AAC7E,MAAI,CAAC,eAAe,SAAS,GAAG;AAC9B,WAAO,YAAY,WAAW,OAAO;AAAA,EACvC;AAEA,QAAM,WAAW,MAAM,YAAY,WAAW,OAAO;AACrD,SAAO,EAAE,GAAG,UAAU,cAAc,KAAK;AAC3C;AAKO,IAAM,OAAiB,OAAO,KAAK,SAAS,aAAa;AAC9D,MAAI,CAAC,eAAe,GAAG,GAAG;AACxB,WAAO,SAAS,KAAK,OAAO;AAAA,EAC9B;AAEA,QAAM,YAAY,MAAM,SAAS,IAAI,IAAI,GAAG,GAAG,MAAM;AACrD,QAAM,SAAS,uBAAuB,WAAW,WAAW,GAAG,CAAC;AAEhE,SAAO;AAAA,IACL,QAAQ;AAAA,IACR;AAAA,IACA,cAAc;AAAA,EAChB;AACF;","names":[]}
+{"version":3,"sources":["../src/node-loader.ts"],"sourcesContent":["/**\n * Node ESM Loader Hooks for MEL files.\n *\n * Usage: node --loader @manifesto-ai/compiler/node-loader app.ts\n */\n\nimport { readFile } from \"node:fs/promises\";\nimport type { LoadHook, ResolveHook } from \"node:module\";\nimport { fileURLToPath } from \"node:url\";\nimport { compileMelToModuleCode } from \"./mel-module.js\";\n\nfunction stripSearchAndHash(value: string): string {\n  const [withoutSearch] = value.split(\"?\", 1);\n  const [withoutHash] = withoutSearch.split(\"#\", 1);\n  return withoutHash;\n}\n\nfunction isMelReference(value: string): boolean {\n  return stripSearchAndHash(value).endsWith(\".mel\");\n}\n\nfunction toSourceId(urlOrPath: string): string {\n  try {\n    return fileURLToPath(urlOrPath);\n  } catch {\n    return urlOrPath;\n  }\n}\n\n/**\n * Node loader resolve hook.\n */\nexport const resolve: ResolveHook = async (specifier, context, nextResolve) => {\n  if (!isMelReference(specifier)) {\n    return nextResolve(specifier, context);\n  }\n\n  const resolved = await nextResolve(specifier, context);\n  return { ...resolved, shortCircuit: true };\n};\n\n/**\n * Node loader load hook.\n */\nexport const load: LoadHook = async (url, context, nextLoad) => {\n  if (!isMelReference(url)) {\n    return nextLoad(url, context);\n  }\n\n  const melSource = await readFile(new URL(url), \"utf8\");\n  const source = compileMelToModuleCode(melSource, toSourceId(url));\n\n  return {\n    format: \"module\",\n    source,\n    shortCircuit: true,\n  };\n};\n"],"mappings":"oEAMA,OAAS,YAAAA,MAAgB,cAEzB,OAAS,iBAAAC,MAAqB,MAG9B,SAASC,EAAmBC,EAAuB,CACjD,GAAM,CAACC,CAAa,EAAID,EAAM,MAAM,IAAK,CAAC,EACpC,CAACE,CAAW,EAAID,EAAc,MAAM,IAAK,CAAC,EAChD,OAAOC,CACT,CAEA,SAASC,EAAeH,EAAwB,CAC9C,OAAOD,EAAmBC,CAAK,EAAE,SAAS,MAAM,CAClD,CAEA,SAASI,EAAWC,EAA2B,CAC7C,GAAI,CACF,OAAOC,EAAcD,CAAS,CAChC,MAAQ,CACN,OAAOA,CACT,CACF,CAKO,IAAME,EAAuB,MAAOC,EAAWC,EAASC,IACxDP,EAAeK,CAAS,EAKtB,CAAE,GADQ,MAAME,EAAYF,EAAWC,CAAO,EAC/B,aAAc,EAAK,EAJhCC,EAAYF,EAAWC,CAAO,EAU5BE,EAAiB,MAAOC,EAAKH,EAASI,IAAa,CAC9D,GAAI,CAACV,EAAeS,CAAG,EACrB,OAAOC,EAASD,EAAKH,CAAO,EAG9B,IAAMK,EAAY,MAAMC,EAAS,IAAI,IAAIH,CAAG,EAAG,MAAM,EAGrD,MAAO,CACL,OAAQ,SACR,OAJaI,EAAuBF,EAAWV,EAAWQ,CAAG,CAAC,EAK9D,aAAc,EAChB,CACF","names":["readFile","fileURLToPath","stripSearchAndHash","value","withoutSearch","withoutHash","isMelReference","toSourceId","urlOrPath","fileURLToPath","resolve","specifier","context","nextResolve","load","url","nextLoad","melSource","readFile","compileMelToModuleCode"]}

package/dist/parser/ast.d.ts

@@ -81,6 +81,8 @@ export interface ActionNode extends ASTNode {
     params: ParamNode[];
     /** v0.3.2: Optional availability condition */
     available?: ExprNode;
+    /** v0.9.0: Optional dispatchability condition */
+    dispatchable?: ExprNode;
     body: GuardedStmtNode[];
 }
 /**

package/dist/rollup.js

@@ -1,14 +1,2 @@
-import {
-  unpluginMel
-} from "./chunk-INVHMPXW.js";
-import "./chunk-LI5HNMZV.js";
-import "./chunk-7TT6Y5ZC.js";
-
-// src/rollup.ts
-var melPlugin = unpluginMel.rollup;
-var rollup_default = melPlugin;
-export {
-  rollup_default as default,
-  melPlugin
-};
+import{a as e}from"./chunk-PHMJ5ODH.js";import"./chunk-F7ORNXSB.js";import"./chunk-3KVBHKIL.js";var l=e.rollup,t=l;export{t as default,l as melPlugin};
 //# sourceMappingURL=rollup.js.map

package/dist/rollup.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/rollup.ts"],"sourcesContent":["/**\n * Rollup plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type {\n  MelPluginOptions,\n  MelCodegenOptions,\n  MelCodegenEmitter,\n  MelCodegenArtifact,\n} from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.rollup;\nexport default melPlugin;\n"],"mappings":";;;;;;;AAYO,IAAM,YAAY,YAAY;AACrC,IAAO,iBAAQ;","names":[]}
+{"version":3,"sources":["../src/rollup.ts"],"sourcesContent":["/**\n * Rollup plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type {\n  MelPluginOptions,\n  MelCodegenOptions,\n  MelCodegenEmitter,\n  MelCodegenArtifact,\n} from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.rollup;\nexport default melPlugin;\n"],"mappings":"gGAYO,IAAMA,EAAYC,EAAY,OAC9BC,EAAQF","names":["melPlugin","unpluginMel","rollup_default"]}

package/dist/rspack.js

@@ -1,14 +1,2 @@
-import {
-  unpluginMel
-} from "./chunk-INVHMPXW.js";
-import "./chunk-LI5HNMZV.js";
-import "./chunk-7TT6Y5ZC.js";
-
-// src/rspack.ts
-var melPlugin = unpluginMel.rspack;
-var rspack_default = melPlugin;
-export {
-  rspack_default as default,
-  melPlugin
-};
+import{a as e}from"./chunk-PHMJ5ODH.js";import"./chunk-F7ORNXSB.js";import"./chunk-3KVBHKIL.js";var t=e.rspack,o=t;export{o as default,t as melPlugin};
 //# sourceMappingURL=rspack.js.map

package/dist/rspack.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/rspack.ts"],"sourcesContent":["/**\n * Rspack plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type {\n  MelPluginOptions,\n  MelCodegenOptions,\n  MelCodegenEmitter,\n  MelCodegenArtifact,\n} from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.rspack;\nexport default melPlugin;\n"],"mappings":";;;;;;;AAYO,IAAM,YAAY,YAAY;AACrC,IAAO,iBAAQ;","names":[]}
+{"version":3,"sources":["../src/rspack.ts"],"sourcesContent":["/**\n * Rspack plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type {\n  MelPluginOptions,\n  MelCodegenOptions,\n  MelCodegenEmitter,\n  MelCodegenArtifact,\n} from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.rspack;\nexport default melPlugin;\n"],"mappings":"gGAYO,IAAMA,EAAYC,EAAY,OAC9BC,EAAQF","names":["melPlugin","unpluginMel","rspack_default"]}

package/dist/schema-graph.d.ts

@@ -0,0 +1,19 @@
+import type { DomainSchema } from "./generator/ir.js";
+export type SchemaGraphNodeKind = "state" | "computed" | "action";
+export type SchemaGraphNodeId = `state:${string}` | `computed:${string}` | `action:${string}`;
+export type SchemaGraphNode = {
+    readonly id: SchemaGraphNodeId;
+    readonly kind: SchemaGraphNodeKind;
+    readonly name: string;
+};
+export type SchemaGraphEdgeRelation = "feeds" | "mutates" | "unlocks";
+export type SchemaGraphEdge = {
+    readonly from: SchemaGraphNodeId;
+    readonly to: SchemaGraphNodeId;
+    readonly relation: SchemaGraphEdgeRelation;
+};
+export type SchemaGraph = {
+    readonly nodes: readonly SchemaGraphNode[];
+    readonly edges: readonly SchemaGraphEdge[];
+};
+export declare function extractSchemaGraph(schema: DomainSchema): SchemaGraph;

package/dist/vite.js

@@ -1,14 +1,2 @@
-import {
-  unpluginMel
-} from "./chunk-INVHMPXW.js";
-import "./chunk-LI5HNMZV.js";
-import "./chunk-7TT6Y5ZC.js";
-
-// src/vite.ts
-var melPlugin = unpluginMel.vite;
-var vite_default = melPlugin;
-export {
-  vite_default as default,
-  melPlugin
-};
+import{a as e}from"./chunk-PHMJ5ODH.js";import"./chunk-F7ORNXSB.js";import"./chunk-3KVBHKIL.js";var t=e.vite,o=t;export{o as default,t as melPlugin};
 //# sourceMappingURL=vite.js.map

package/dist/vite.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/vite.ts"],"sourcesContent":["/**\n * Vite plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type {\n  MelPluginOptions,\n  MelCodegenOptions,\n  MelCodegenEmitter,\n  MelCodegenArtifact,\n} from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.vite;\nexport default melPlugin;\n"],"mappings":";;;;;;;AAYO,IAAM,YAAY,YAAY;AACrC,IAAO,eAAQ;","names":[]}
+{"version":3,"sources":["../src/vite.ts"],"sourcesContent":["/**\n * Vite plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type {\n  MelPluginOptions,\n  MelCodegenOptions,\n  MelCodegenEmitter,\n  MelCodegenArtifact,\n} from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.vite;\nexport default melPlugin;\n"],"mappings":"gGAYO,IAAMA,EAAYC,EAAY,KAC9BC,EAAQF","names":["melPlugin","unpluginMel","vite_default"]}

package/dist/webpack.js

@@ -1,14 +1,2 @@
-import {
-  unpluginMel
-} from "./chunk-INVHMPXW.js";
-import "./chunk-LI5HNMZV.js";
-import "./chunk-7TT6Y5ZC.js";
-
-// src/webpack.ts
-var melPlugin = unpluginMel.webpack;
-var webpack_default = melPlugin;
-export {
-  webpack_default as default,
-  melPlugin
-};
+import{a as e}from"./chunk-PHMJ5ODH.js";import"./chunk-F7ORNXSB.js";import"./chunk-3KVBHKIL.js";var t=e.webpack,o=t;export{o as default,t as melPlugin};
 //# sourceMappingURL=webpack.js.map

package/dist/webpack.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/webpack.ts"],"sourcesContent":["/**\n * Webpack plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type {\n  MelPluginOptions,\n  MelCodegenOptions,\n  MelCodegenEmitter,\n  MelCodegenArtifact,\n} from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.webpack;\nexport default melPlugin;\n"],"mappings":";;;;;;;AAYO,IAAM,YAAY,YAAY;AACrC,IAAO,kBAAQ;","names":[]}
+{"version":3,"sources":["../src/webpack.ts"],"sourcesContent":["/**\n * Webpack plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type {\n  MelPluginOptions,\n  MelCodegenOptions,\n  MelCodegenEmitter,\n  MelCodegenArtifact,\n} from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.webpack;\nexport default melPlugin;\n"],"mappings":"gGAYO,IAAMA,EAAYC,EAAY,QAC9BC,EAAQF","names":["melPlugin","unpluginMel","webpack_default"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@manifesto-ai/compiler",
-  "version": "3.1.1",
+  "version": "3.3.0",
   "description": "Manifesto Compiler - MEL (Manifesto Expression Language) to DomainSchema compiler",
   "author": "eggplantiny <eggplantiny@gmail.com>",
   "license": "MIT",
@@ -61,7 +61,7 @@
   },
   "peerDependencies": {
     "@anthropic-ai/sdk": "^0.26.0",
-    "@manifesto-ai/core": "^2.9.0",
+    "@manifesto-ai/core": "^2.11.0",
     "openai": "^4.0.0",
     "vite": "^5.0.0 || ^6.0.0 || ^7.0.0 || ^8.0.0",
     "zod": "^4.3.6"
@@ -78,11 +78,6 @@
     }
   },
   "dependencies": {
-    "ink": "^6.8.0",
-    "ink-select-input": "^6.2.0",
-    "ink-spinner": "^5.0.0",
-    "meow": "^14.1.0",
-    "react": "^19.2.4",
     "unplugin": "^3.0.0"
   },
   "devDependencies": {
@@ -90,14 +85,19 @@
     "@types/node": "^25.5.0",
     "@types/react": "^19.2.14",
     "dotenv": "^17.3.1",
+    "ink": "^6.8.0",
+    "ink-select-input": "^6.2.0",
+    "ink-spinner": "^5.0.0",
+    "meow": "^14.1.0",
     "openai": "^6.33.0",
+    "react": "^19.2.4",
     "tsx": "^4.21.0",
     "typescript": "^5.9.3",
     "vite": "^8.0.3",
     "vitest": "^4.1.2",
     "webpack": "^5.105.4",
     "zod": "^4.3.6",
-    "@manifesto-ai/core": "2.9.0"
+    "@manifesto-ai/core": "2.11.0"
   },
   "files": [
     "dist"