@manifesto-ai/compiler 1.9.0 → 3.0.0

package/dist/{chunk-AYZTDA3J.js → chunk-LI5HNMZV.js}

@@ -1,6 +1,6 @@
 import {
   compileMelDomain
-} from "./chunk-4JJQCFJH.js";
+} from "./chunk-7TT6Y5ZC.js";
 
 // src/mel-module.ts
 function formatDiagnostic(diagnostic) {
@@ -30,4 +30,4 @@ export {
   formatDiagnostic,
   compileMelToModuleCode
 };
-//# sourceMappingURL=chunk-AYZTDA3J.js.map
+//# sourceMappingURL=chunk-LI5HNMZV.js.map

package/dist/chunk-VAFXIS7J.js

@@ -0,0 +1,101 @@
+import {
+  formatDiagnostic
+} from "./chunk-LI5HNMZV.js";
+import {
+  compileMelDomain
+} from "./chunk-7TT6Y5ZC.js";
+
+// src/unplugin.ts
+import { createHash } from "crypto";
+import * as nodePath from "path";
+import { createUnplugin } from "unplugin";
+function normalizeId(id) {
+  return id.split("?", 1)[0];
+}
+function testRegex(regex, value) {
+  regex.lastIndex = 0;
+  return regex.test(value);
+}
+function normalizeArtifactSourceId(sourceId) {
+  const normalized = normalizeId(sourceId).replace(/\\/g, "/");
+  if (!normalized) {
+    return "domain.mel";
+  }
+  if (!nodePath.isAbsolute(sourceId)) {
+    return normalized.replace(/^\.\//, "");
+  }
+  const relative2 = nodePath.relative(process.cwd(), sourceId);
+  if (!relative2 || relative2.startsWith("..") || nodePath.isAbsolute(relative2)) {
+    return createExternalArtifactSourceId(normalized);
+  }
+  return relative2.split(nodePath.sep).join("/");
+}
+function createExternalArtifactSourceId(sourceId) {
+  const basename = nodePath.posix.basename(sourceId) || "domain.mel";
+  const extension = nodePath.posix.extname(basename);
+  const stem = basename.slice(0, basename.length - extension.length) || "domain";
+  const hash = createHash("sha256").update(sourceId).digest("hex").slice(0, 12);
+  const safeStem = sanitizePathSegment(stem);
+  return `external/${safeStem}--${hash}${extension}`;
+}
+function sanitizePathSegment(value) {
+  const normalized = value.replace(/[^a-zA-Z0-9._-]+/g, "-").replace(/^-+|-+$/g, "");
+  return normalized || "domain";
+}
+function resolveCodegenEmitter(codegen) {
+  if (!codegen) {
+    return null;
+  }
+  if (typeof codegen === "function") {
+    return codegen;
+  }
+  if (typeof codegen === "object" && typeof codegen.emit === "function") {
+    return codegen.emit;
+  }
+  throw new TypeError(
+    "manifesto:mel codegen must be a function or an object with a callable emit field"
+  );
+}
+var unpluginMel = createUnplugin((options = {}) => {
+  const include = options.include ?? /\.mel$/;
+  const compiledSchemas = /* @__PURE__ */ new Map();
+  const codegenEmitter = resolveCodegenEmitter(options.codegen);
+  return {
+    name: "manifesto:mel",
+    enforce: "pre",
+    transformInclude(id) {
+      return testRegex(include, normalizeId(id));
+    },
+    transform(source, id) {
+      const sourceId = normalizeId(id);
+      const result = compileMelDomain(source, { mode: "domain" });
+      if (result.errors.length > 0) {
+        const details = result.errors.map(formatDiagnostic).join("\n");
+        throw new Error(`MEL compilation failed for ${sourceId}
+${details}`);
+      }
+      if (!result.schema) {
+        throw new Error(`MEL compilation produced no schema for ${sourceId}`);
+      }
+      if (codegenEmitter) {
+        compiledSchemas.set(normalizeArtifactSourceId(sourceId), result.schema);
+      }
+      const serializedSchema = JSON.stringify(result.schema, null, 2);
+      return `export default ${serializedSchema};
+`;
+    },
+    async buildEnd() {
+      if (!codegenEmitter || compiledSchemas.size === 0) {
+        return;
+      }
+      for (const [sourceId, schema] of compiledSchemas) {
+        await codegenEmitter({ schema, sourceId });
+      }
+    }
+  };
+});
+
+export {
+  unpluginMel
+};
+//# sourceMappingURL=chunk-VAFXIS7J.js.map

package/dist/chunk-VAFXIS7J.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/unplugin.ts"],"sourcesContent":["/**\n * Unified MEL plugin via unplugin.\n *\n * Single implementation that targets Vite, Webpack, Rollup, esbuild, and Rspack.\n */\n\nimport { createHash } from \"node:crypto\";\nimport * as nodePath from \"node:path\";\nimport { createUnplugin } from \"unplugin\";\nimport type { DomainSchema } from \"@manifesto-ai/core\";\nimport { compileMelDomain } from \"./api/index.js\";\nimport { formatDiagnostic } from \"./mel-module.js\";\n\nexport type MelCodegenArtifact = {\n  readonly schema: DomainSchema;\n  readonly sourceId: string;\n};\n\nexport type MelCodegenEmitter = (\n  artifact: MelCodegenArtifact\n) => unknown | Promise<unknown>;\n\nexport type MelCodegenOptions = {\n  readonly emit: MelCodegenEmitter;\n};\n\nexport type MelPluginOptions = {\n  readonly include?: RegExp;\n  readonly codegen?: MelCodegenEmitter | MelCodegenOptions | false;\n};\n\nfunction normalizeId(id: string): string {\n  return id.split(\"?\", 1)[0];\n}\n\nfunction testRegex(regex: RegExp, value: string): boolean {\n  regex.lastIndex = 0;\n  return regex.test(value);\n}\n\nfunction normalizeArtifactSourceId(sourceId: string): string {\n  const normalized = normalizeId(sourceId).replace(/\\\\/g, \"/\");\n  if (!normalized) {\n    return \"domain.mel\";\n  }\n\n  if (!nodePath.isAbsolute(sourceId)) {\n    return normalized.replace(/^\\.\\//, \"\");\n  }\n\n  const relative = nodePath.relative(process.cwd(), sourceId);\n  if (!relative || relative.startsWith(\"..\") || nodePath.isAbsolute(relative)) {\n    return createExternalArtifactSourceId(normalized);\n  }\n\n  return relative.split(nodePath.sep).join(\"/\");\n}\n\nfunction createExternalArtifactSourceId(sourceId: string): string {\n  const basename = nodePath.posix.basename(sourceId) || \"domain.mel\";\n  const extension = nodePath.posix.extname(basename);\n  const stem = basename.slice(0, basename.length - extension.length) || \"domain\";\n  const hash = createHash(\"sha256\").update(sourceId).digest(\"hex\").slice(0, 12);\n  const safeStem = sanitizePathSegment(stem);\n  return `external/${safeStem}--${hash}${extension}`;\n}\n\nfunction sanitizePathSegment(value: string): string {\n  const normalized = value.replace(/[^a-zA-Z0-9._-]+/g, \"-\").replace(/^-+|-+$/g, \"\");\n  return normalized || \"domain\";\n}\n\nfunction resolveCodegenEmitter(\n  codegen: MelPluginOptions[\"codegen\"]\n): MelCodegenEmitter | null {\n  if (!codegen) {\n    return null;\n  }\n\n  if (typeof codegen === \"function\") {\n    return codegen;\n  }\n\n  if (typeof codegen === \"object\" && typeof codegen.emit === \"function\") {\n    return codegen.emit;\n  }\n\n  throw new TypeError(\n    \"manifesto:mel codegen must be a function or an object with a callable emit field\"\n  );\n}\n\nexport const unpluginMel = createUnplugin((options: MelPluginOptions = {}) => {\n  const include = options.include ?? /\\.mel$/;\n  const compiledSchemas = new Map<string, DomainSchema>();\n  const codegenEmitter = resolveCodegenEmitter(options.codegen);\n\n  return {\n    name: \"manifesto:mel\",\n    enforce: \"pre\" as const,\n\n    transformInclude(id: string) {\n      return testRegex(include, normalizeId(id));\n    },\n\n    transform(source: string, id: string) {\n      const sourceId = normalizeId(id);\n      const result = compileMelDomain(source, { mode: \"domain\" });\n\n      if (result.errors.length > 0) {\n        const details = result.errors.map(formatDiagnostic).join(\"\\n\");\n        throw new Error(`MEL compilation failed for ${sourceId}\\n${details}`);\n      }\n\n      if (!result.schema) {\n        throw new Error(`MEL compilation produced no schema for ${sourceId}`);\n      }\n\n      if (codegenEmitter) {\n        compiledSchemas.set(normalizeArtifactSourceId(sourceId), result.schema);\n      }\n\n      const serializedSchema = JSON.stringify(result.schema, null, 2);\n      return `export default ${serializedSchema};\\n`;\n    },\n\n    async buildEnd() {\n      if (!codegenEmitter || compiledSchemas.size === 0) {\n        return;\n      }\n\n      for (const [sourceId, schema] of compiledSchemas) {\n        await codegenEmitter({ schema, sourceId });\n      }\n    },\n  };\n});\n"],"mappings":";;;;;;;;AAMA,SAAS,kBAAkB;AAC3B,YAAY,cAAc;AAC1B,SAAS,sBAAsB;AAuB/B,SAAS,YAAY,IAAoB;AACvC,SAAO,GAAG,MAAM,KAAK,CAAC,EAAE,CAAC;AAC3B;AAEA,SAAS,UAAU,OAAe,OAAwB;AACxD,QAAM,YAAY;AAClB,SAAO,MAAM,KAAK,KAAK;AACzB;AAEA,SAAS,0BAA0B,UAA0B;AAC3D,QAAM,aAAa,YAAY,QAAQ,EAAE,QAAQ,OAAO,GAAG;AAC3D,MAAI,CAAC,YAAY;AACf,WAAO;AAAA,EACT;AAEA,MAAI,CAAU,oBAAW,QAAQ,GAAG;AAClC,WAAO,WAAW,QAAQ,SAAS,EAAE;AAAA,EACvC;AAEA,QAAMA,YAAoB,kBAAS,QAAQ,IAAI,GAAG,QAAQ;AAC1D,MAAI,CAACA,aAAYA,UAAS,WAAW,IAAI,KAAc,oBAAWA,SAAQ,GAAG;AAC3E,WAAO,+BAA+B,UAAU;AAAA,EAClD;AAEA,SAAOA,UAAS,MAAe,YAAG,EAAE,KAAK,GAAG;AAC9C;AAEA,SAAS,+BAA+B,UAA0B;AAChE,QAAM,WAAoB,eAAM,SAAS,QAAQ,KAAK;AACtD,QAAM,YAAqB,eAAM,QAAQ,QAAQ;AACjD,QAAM,OAAO,SAAS,MAAM,GAAG,SAAS,SAAS,UAAU,MAAM,KAAK;AACtE,QAAM,OAAO,WAAW,QAAQ,EAAE,OAAO,QAAQ,EAAE,OAAO,KAAK,EAAE,MAAM,GAAG,EAAE;AAC5E,QAAM,WAAW,oBAAoB,IAAI;AACzC,SAAO,YAAY,QAAQ,KAAK,IAAI,GAAG,SAAS;AAClD;AAEA,SAAS,oBAAoB,OAAuB;AAClD,QAAM,aAAa,MAAM,QAAQ,qBAAqB,GAAG,EAAE,QAAQ,YAAY,EAAE;AACjF,SAAO,cAAc;AACvB;AAEA,SAAS,sBACP,SAC0B;AAC1B,MAAI,CAAC,SAAS;AACZ,WAAO;AAAA,EACT;AAEA,MAAI,OAAO,YAAY,YAAY;AACjC,WAAO;AAAA,EACT;AAEA,MAAI,OAAO,YAAY,YAAY,OAAO,QAAQ,SAAS,YAAY;AACrE,WAAO,QAAQ;AAAA,EACjB;AAEA,QAAM,IAAI;AAAA,IACR;AAAA,EACF;AACF;AAEO,IAAM,cAAc,eAAe,CAAC,UAA4B,CAAC,MAAM;AAC5E,QAAM,UAAU,QAAQ,WAAW;AACnC,QAAM,kBAAkB,oBAAI,IAA0B;AACtD,QAAM,iBAAiB,sBAAsB,QAAQ,OAAO;AAE5D,SAAO;AAAA,IACL,MAAM;AAAA,IACN,SAAS;AAAA,IAET,iBAAiB,IAAY;AAC3B,aAAO,UAAU,SAAS,YAAY,EAAE,CAAC;AAAA,IAC3C;AAAA,IAEA,UAAU,QAAgB,IAAY;AACpC,YAAM,WAAW,YAAY,EAAE;AAC/B,YAAM,SAAS,iBAAiB,QAAQ,EAAE,MAAM,SAAS,CAAC;AAE1D,UAAI,OAAO,OAAO,SAAS,GAAG;AAC5B,cAAM,UAAU,OAAO,OAAO,IAAI,gBAAgB,EAAE,KAAK,IAAI;AAC7D,cAAM,IAAI,MAAM,8BAA8B,QAAQ;AAAA,EAAK,OAAO,EAAE;AAAA,MACtE;AAEA,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,IAAI,MAAM,0CAA0C,QAAQ,EAAE;AAAA,MACtE;AAEA,UAAI,gBAAgB;AAClB,wBAAgB,IAAI,0BAA0B,QAAQ,GAAG,OAAO,MAAM;AAAA,MACxE;AAEA,YAAM,mBAAmB,KAAK,UAAU,OAAO,QAAQ,MAAM,CAAC;AAC9D,aAAO,kBAAkB,gBAAgB;AAAA;AAAA,IAC3C;AAAA,IAEA,MAAM,WAAW;AACf,UAAI,CAAC,kBAAkB,gBAAgB,SAAS,GAAG;AACjD;AAAA,MACF;AAEA,iBAAW,CAAC,UAAU,MAAM,KAAK,iBAAiB;AAChD,cAAM,eAAe,EAAE,QAAQ,SAAS,CAAC;AAAA,MAC3C;AAAA,IACF;AAAA,EACF;AACF,CAAC;","names":["relative"]}

package/dist/diagnostics/codes.d.ts

@@ -0,0 +1,24 @@
+/**
+ * MEL Compiler Diagnostic Codes
+ * Based on MEL SPEC v0.3.3 Appendix A
+ */
+/**
+ * Diagnostic code information
+ */
+export interface DiagnosticCode {
+    code: string;
+    message: string;
+    category: "syntax" | "semantic" | "type" | "system";
+}
+/**
+ * All diagnostic codes
+ */
+export declare const DIAGNOSTIC_CODES: Record<string, DiagnosticCode>;
+/**
+ * Get diagnostic code information
+ */
+export declare function getDiagnosticInfo(code: string): DiagnosticCode | undefined;
+/**
+ * Format a diagnostic code for display
+ */
+export declare function formatDiagnosticCode(code: string): string;

package/dist/diagnostics/format.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Plain-text Diagnostic Formatter
+ *
+ * Browser-safe (no ANSI colors). Produces human-readable error messages
+ * with optional source context and caret indicators.
+ *
+ * @module
+ */
+import type { Diagnostic } from "./types.js";
+/**
+ * Format a single diagnostic as plain text.
+ *
+ * Without source: `[MEL_PARSER] Expected '{' (3:15)`
+ * With source:
+ * ```
+ * [MEL_PARSER] Expected '{' (3:15)
+ *    3 | domain Bad bad syntax here }
+ *                ^^^
+ * ```
+ */
+export declare function formatDiagnostic(diagnostic: Diagnostic, source?: string): string;
+/**
+ * Format multiple diagnostics, separated by blank lines.
+ */
+export declare function formatDiagnostics(diagnostics: Diagnostic[], source?: string): string;

package/dist/diagnostics/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Diagnostics Module - Error and warning reporting
+ */
+export * from "./types.js";
+export * from "./codes.js";
+export { formatDiagnostic, formatDiagnostics } from "./format.js";

package/dist/diagnostics/types.d.ts

@@ -0,0 +1,66 @@
+/**
+ * Diagnostic Types for MEL Compiler
+ * Error and warning reporting structures
+ */
+import type { SourceLocation } from "../lexer/source-location.js";
+/**
+ * Severity level of a diagnostic
+ */
+export type DiagnosticSeverity = "error" | "warning" | "info";
+/**
+ * A diagnostic message (error, warning, or info)
+ */
+export interface Diagnostic {
+    /** Severity level */
+    severity: DiagnosticSeverity;
+    /** Error code (e.g., "MEL001", "MEL_LEXER") */
+    code: string;
+    /** Human-readable message */
+    message: string;
+    /** Location in source */
+    location: SourceLocation;
+    /** The source line containing the error */
+    source?: string;
+    /** Suggested fix */
+    suggestion?: string;
+    /** Related diagnostics */
+    related?: RelatedDiagnostic[];
+}
+/**
+ * A related diagnostic (for multi-location errors)
+ */
+export interface RelatedDiagnostic {
+    message: string;
+    location: SourceLocation;
+}
+/**
+ * Create an error diagnostic
+ */
+export declare function createError(code: string, message: string, location: SourceLocation, options?: {
+    source?: string;
+    suggestion?: string;
+    related?: RelatedDiagnostic[];
+}): Diagnostic;
+/**
+ * Create a warning diagnostic
+ */
+export declare function createWarning(code: string, message: string, location: SourceLocation, options?: {
+    source?: string;
+    suggestion?: string;
+}): Diagnostic;
+/**
+ * Create an info diagnostic
+ */
+export declare function createInfo(code: string, message: string, location: SourceLocation): Diagnostic;
+/**
+ * Check if a diagnostic is an error
+ */
+export declare function isError(diagnostic: Diagnostic): boolean;
+/**
+ * Check if any diagnostics contain errors
+ */
+export declare function hasErrors(diagnostics: Diagnostic[]): boolean;
+/**
+ * Filter diagnostics by severity
+ */
+export declare function filterBySeverity(diagnostics: Diagnostic[], severity: DiagnosticSeverity): Diagnostic[];

package/dist/esbuild.d.ts

@@ -1,8 +1,6 @@
-import * as unplugin from 'unplugin';
-import { M as MelPluginOptions } from './unplugin-6wnvFiEo.js';
-export { a as MelCodegenOptions } from './unplugin-6wnvFiEo.js';
-import '@manifesto-ai/codegen';
-
-declare const melPlugin: (options: MelPluginOptions) => unplugin.EsbuildPlugin;
-
-export { MelPluginOptions, melPlugin as default, melPlugin };
+/**
+ * esbuild plugin for MEL files.
+ */
+export type { MelPluginOptions, MelCodegenOptions, MelCodegenEmitter, MelCodegenArtifact, } from "./unplugin.js";
+export declare const melPlugin: (options: import("./unplugin.js").MelPluginOptions) => import("unplugin").EsbuildPlugin;
+export default melPlugin;

package/dist/esbuild.js

@@ -1,8 +1,8 @@
 import {
   unpluginMel
-} from "./chunk-K4IKHGOP.js";
-import "./chunk-AYZTDA3J.js";
-import "./chunk-4JJQCFJH.js";
+} from "./chunk-VAFXIS7J.js";
+import "./chunk-LI5HNMZV.js";
+import "./chunk-7TT6Y5ZC.js";
 
 // src/esbuild.ts
 var melPlugin = unpluginMel.esbuild;

package/dist/esbuild.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/esbuild.ts"],"sourcesContent":["/**\n * esbuild plugin for MEL files.\n */\n\nimport { unpluginMel } from \"./unplugin.js\";\n\nexport type { MelPluginOptions, MelCodegenOptions } from \"./unplugin.js\";\nexport const melPlugin = unpluginMel.esbuild;\nexport default melPlugin;\n"],"mappings":";;;;;;;AAOO,IAAM,YAAY,YAAY;AACrC,IAAO,kBAAQ;","names":[]}
+{"version":3,"sources":["../src/esbuild.ts"],"sourcesContent":["/**\n * esbuild 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.esbuild;\nexport default melPlugin;\n"],"mappings":";;;;;;;AAYO,IAAM,YAAY,YAAY;AACrC,IAAO,kBAAQ;","names":[]}

package/dist/evaluation/context.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Evaluation Context Types
+ *
+ * Defines context for expression evaluation.
+ *
+ * @see SPEC v0.4.0 §18.3
+ */
+/**
+ * Minimal snapshot shape for evaluation.
+ *
+ * @see SPEC v0.4.0 §18.7
+ */
+export interface EvaluationSnapshot {
+    /**
+     * Domain data (matches StateSpec).
+     * Path resolution default target.
+     */
+    data: unknown;
+    /**
+     * Computed values (matches ComputedSpec).
+     * Accessed via bare key paths (e.g., "total", not "computed.total").
+     */
+    computed: Record<string, unknown>;
+}
+/**
+ * Intent metadata for evaluation.
+ *
+ * @see SPEC v0.4.0 §18.3
+ */
+export interface EvaluationMeta {
+    /**
+     * Intent identifier.
+     */
+    intentId: string;
+    /**
+     * Actor reference (optional).
+     */
+    actor?: {
+        type: string;
+        id: string;
+    };
+    /**
+     * Timestamp (optional).
+     */
+    timestamp?: number;
+}
+/**
+ * Evaluation context.
+ *
+ * @see SPEC v0.4.0 §18.3
+ */
+export interface EvaluationContext {
+    /**
+     * Current snapshot for state lookups.
+     * Paths resolve to snapshot.data.* by default.
+     */
+    snapshot: EvaluationSnapshot;
+    /**
+     * Intent metadata.
+     * Paths starting with "meta.*" resolve here.
+     */
+    meta: EvaluationMeta;
+    /**
+     * Intent input.
+     * Paths starting with "input.*" resolve here.
+     */
+    input: Record<string, unknown>;
+    /**
+     * Current $item value (for effect.args evaluation).
+     * Paths starting with "$item.*" resolve here.
+     */
+    item?: unknown;
+}
+/**
+ * Create a minimal evaluation context.
+ *
+ * @param options - Context options
+ * @returns Evaluation context
+ */
+export declare function createEvaluationContext(options: Partial<EvaluationContext> & {
+    meta: EvaluationMeta;
+}): EvaluationContext;
+/**
+ * Create a working snapshot by cloning and applying a patch.
+ *
+ * Used for sequential evaluation semantics.
+ *
+ * @see FDR-MEL-070
+ */
+export declare function applyPatchToWorkingSnapshot(snapshot: EvaluationSnapshot, path: string, value: unknown): EvaluationSnapshot;

package/dist/evaluation/evaluate-expr.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Expression Evaluation
+ *
+ * Evaluates Core IR expressions against evaluation context.
+ *
+ * AXIOM A35: Expression evaluation is total; invalid operations return null, never throw.
+ *
+ * @see SPEC v0.4.0 §18
+ */
+import type { ExprNode } from "@manifesto-ai/core";
+import type { EvaluationContext } from "./context.js";
+/**
+ * Evaluate a Core IR expression.
+ *
+ * Total function: returns null on any error, never throws.
+ *
+ * @param expr - Core IR expression
+ * @param ctx - Evaluation context
+ * @returns Evaluated value or null on error
+ *
+ * @see SPEC v0.4.0 §18.4, A35
+ */
+export declare function evaluateExpr(expr: ExprNode, ctx: EvaluationContext): unknown;

package/dist/evaluation/evaluate-patch.d.ts

@@ -0,0 +1,122 @@
+/**
+ * Patch Evaluation
+ *
+ * Evaluates ConditionalPatchOp[] to produce concrete schema operations.
+ *
+ * @see SPEC v0.4.0 §18.5, §18.6
+ */
+import type { ExprNode as CoreExprNode } from "@manifesto-ai/core";
+import type { ConditionalPatchOp, LoweredPatchOp } from "../lowering/lower-patch.js";
+import type { EvaluationContext, EvaluationSnapshot } from "./context.js";
+/**
+ * Evaluated schema patch operation.
+ *
+ * All conditions have been evaluated and values resolved where appropriate.
+ * Expressions in addComputed, addConstraint, addActionAvailable are preserved
+ * for runtime evaluation by Core.
+ */
+export type EvaluatedPatchOp = LoweredPatchOp;
+/**
+ * Result of evaluating a conditional patch.
+ */
+export interface EvaluatedPatch {
+    /**
+     * Fragment identifier (for tracing).
+     */
+    fragmentId: string;
+    /**
+     * The evaluated operation.
+     */
+    op: EvaluatedPatchOp;
+    /**
+     * Confidence (preserved from fragment).
+     */
+    confidence: number;
+    /**
+     * Whether condition was evaluated (true) or there was no condition.
+     */
+    conditionEvaluated: boolean;
+}
+/**
+ * Result of patch evaluation.
+ */
+export interface PatchEvaluationResult {
+    /**
+     * Patches that passed their conditions.
+     */
+    patches: EvaluatedPatch[];
+    /**
+     * Patches that were skipped due to false/null conditions.
+     */
+    skipped: Array<{
+        fragmentId: string;
+        reason: "false" | "null" | "non-boolean";
+    }>;
+    /**
+     * Final working snapshot after all evaluations.
+     */
+    finalSnapshot: EvaluationSnapshot;
+}
+/**
+ * Evaluate conditional patch operations.
+ *
+ * Implements sequential evaluation semantics: later patches see effects
+ * of earlier patches via working snapshot.
+ *
+ * Conditions are boolean-only: true applies, false/null/non-boolean skips.
+ *
+ * @param ops - Conditional patch operations from lowering phase
+ * @param ctx - Initial evaluation context
+ * @returns Evaluation result with applied and skipped patches
+ *
+ * @see SPEC v0.4.0 §18.5, FDR-MEL-070, FDR-MEL-073
+ */
+export declare function evaluateConditionalPatchOps(ops: ConditionalPatchOp[], ctx: EvaluationContext): PatchEvaluationResult;
+/**
+ * Simple evaluation: returns patches that pass conditions.
+ *
+ * Does not track skipped patches or maintain sequential semantics.
+ * Use this for stateless condition evaluation.
+ *
+ * @param ops - Conditional patch operations
+ * @param ctx - Evaluation context
+ * @returns Patches that passed their conditions
+ */
+export declare function evaluatePatches(ops: ConditionalPatchOp[], ctx: EvaluationContext): EvaluatedPatch[];
+/**
+ * Evaluate expressions in a patch operation to concrete values.
+ *
+ * Use this when you need fully concrete values (no expressions).
+ *
+ * Note: addComputed.expr, addConstraint.rule, and addActionAvailable.expr
+ * are meant to remain as expressions for runtime evaluation by Core.
+ *
+ * @param op - Lowered patch operation
+ * @param ctx - Evaluation context
+ * @returns Patch operation with evaluated expressions
+ */
+export declare function evaluatePatchExpressions(op: LoweredPatchOp, ctx: EvaluationContext): LoweredPatchOp;
+/**
+ * Check if a condition evaluates to true.
+ *
+ * Boolean-only: only true returns true.
+ * false, null, and non-boolean values return false.
+ *
+ * @param condition - Condition expression (or undefined for always-true)
+ * @param ctx - Evaluation context
+ * @returns True if condition passes
+ *
+ * @see FDR-MEL-073
+ */
+export declare function evaluateCondition(condition: CoreExprNode | undefined, ctx: EvaluationContext): boolean;
+/**
+ * Classify a condition evaluation result.
+ *
+ * @param condition - Condition expression
+ * @param ctx - Evaluation context
+ * @returns Classification of condition result
+ */
+export declare function classifyCondition(condition: CoreExprNode | undefined, ctx: EvaluationContext): {
+    passes: boolean;
+    reason: "no-condition" | "true" | "false" | "null" | "non-boolean";
+};

package/dist/evaluation/evaluate-runtime-patch.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Runtime Patch Evaluation
+ *
+ * Evaluates RuntimeConditionalPatchOp[] to produce concrete Patch[].
+ */
+import type { Patch } from "@manifesto-ai/core";
+import type { RuntimeConditionalPatchOp } from "../lowering/lower-runtime-patch.js";
+import type { EvaluationContext, EvaluationSnapshot } from "./context.js";
+/**
+ * Skip reason for runtime patches.
+ */
+export type RuntimePatchSkipReason = "false" | "null" | "non-boolean" | "invalid-path";
+/**
+ * Skipped patch info.
+ */
+export interface SkippedRuntimePatch {
+    /**
+     * Index in the original ops array.
+     */
+    index: number;
+    /**
+     * Target path (display form).
+     */
+    path: string;
+    /**
+     * Reason why patch was skipped.
+     */
+    reason: RuntimePatchSkipReason;
+}
+/**
+ * Result of runtime patch evaluation with trace information.
+ */
+export interface RuntimePatchEvaluationResult {
+    /**
+     * Concrete patches that passed conditions.
+     * Order is preserved from input.
+     */
+    patches: Patch[];
+    /**
+     * Patches that were skipped due to false/null/non-boolean conditions.
+     */
+    skipped: SkippedRuntimePatch[];
+    /**
+     * Non-fatal warnings collected during evaluation.
+     */
+    warnings: string[];
+    /**
+     * Final working snapshot after all evaluations.
+     */
+    finalSnapshot: EvaluationSnapshot;
+}
+/**
+ * Evaluate runtime conditional patches to concrete Patch[].
+ */
+export declare function evaluateRuntimePatches(ops: RuntimeConditionalPatchOp[], ctx: EvaluationContext): Patch[];
+/**
+ * Evaluate runtime patches with trace information.
+ */
+export declare function evaluateRuntimePatchesWithTrace(ops: RuntimeConditionalPatchOp[], ctx: EvaluationContext): RuntimePatchEvaluationResult;

package/dist/evaluation/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Evaluation Module
+ *
+ * Evaluates Core IR expressions and conditional patches.
+ *
+ * @see SPEC v0.4.0 §18
+ */
+export type { EvaluationSnapshot, EvaluationMeta, EvaluationContext, } from "./context.js";
+export { createEvaluationContext, applyPatchToWorkingSnapshot, } from "./context.js";
+export { evaluateExpr } from "./evaluate-expr.js";
+export type { EvaluatedPatchOp, EvaluatedPatch, PatchEvaluationResult, } from "./evaluate-patch.js";
+export { evaluateConditionalPatchOps, evaluatePatches, evaluatePatchExpressions, evaluateCondition, classifyCondition, } from "./evaluate-patch.js";
+export type { RuntimePatchSkipReason, SkippedRuntimePatch, RuntimePatchEvaluationResult, } from "./evaluate-runtime-patch.js";
+export { evaluateRuntimePatches, evaluateRuntimePatchesWithTrace, } from "./evaluate-runtime-patch.js";

package/dist/generator/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Generator Module - Transforms MEL AST to Core IR
+ */
+export * from "./ir.js";
+export * from "./normalizer.js";
+export * from "./lowering.js";