@manifesto-ai/compiler 1.6.2 → 1.8.0

package/dist/lexer/tokens.d.ts

@@ -1,47 +0,0 @@
-/**
- * Token Types for MEL Lexer
- * Based on MEL SPEC v0.3.3 Section 3
- */
-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";
-/**
- * A token produced by the lexer
- */
-export interface Token {
-    kind: TokenKind;
-    /** The raw text of the token */
-    lexeme: string;
-    /** Parsed value for literals */
-    value?: unknown;
-    /** Location in source */
-    location: SourceLocation;
-}
-/**
- * Keywords lookup table
- */
-export declare const KEYWORDS: Record<string, TokenKind>;
-/**
- * Reserved keywords (JS keywords that are forbidden in MEL)
- */
-export declare const RESERVED_KEYWORDS: Set<string>;
-/**
- * Check if a token is a keyword
- */
-export declare function isKeyword(lexeme: string): boolean;
-/**
- * Check if a token is a reserved word
- */
-export declare function isReserved(lexeme: string): boolean;
-/**
- * Get keyword token kind, or undefined if not a keyword
- * Note: Uses Object.hasOwn to avoid prototype pollution (e.g., "toString")
- */
-export declare function getKeywordKind(lexeme: string): TokenKind | undefined;
-/**
- * Create a token
- */
-export declare function createToken(kind: TokenKind, lexeme: string, location: SourceLocation, value?: unknown): Token;
-//# sourceMappingURL=tokens.d.ts.map

package/dist/lexer/tokens.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"tokens.d.ts","sourceRoot":"","sources":["../../src/lexer/tokens.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,SAAS,GAEjB,QAAQ,GACR,OAAO,GACP,UAAU,GACV,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,MAAM,GACN,OAAO,GACP,OAAO,GACP,OAAO,GACP,MAAM,GACN,OAAO,GACP,MAAM,GACN,IAAI,GACJ,WAAW,GACX,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,QAAQ,GACR,MAAM,GACN,QAAQ,GAER,MAAM,GACN,OAAO,GACP,MAAM,GACN,OAAO,GACP,SAAS,GACT,OAAO,GACP,SAAS,GACT,IAAI,GACJ,OAAO,GACP,IAAI,GACJ,OAAO,GACP,SAAS,GACT,WAAW,GACX,MAAM,GACN,mBAAmB,GACnB,UAAU,GACV,OAAO,GACP,IAAI,GAEJ,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,UAAU,GACV,UAAU,GACV,OAAO,GACP,WAAW,GACX,KAAK,GACL,MAAM,GAEN,QAAQ,GACR,QAAQ,GACR,YAAY,GAEZ,cAAc,GACd,MAAM,GAGN,KAAK,GACL,OAAO,CAAC;AAEZ;;GAEG;AACH,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,gCAAgC;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,gCAAgC;IAChC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,yBAAyB;IACzB,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED;;GAEG;AACH,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAuB9C,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,aAY5B,CAAC;AAEH;;GAEG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEjD;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAElD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAEpE;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,SAAS,EACf,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,cAAc,EACxB,KAAK,CAAC,EAAE,OAAO,GACd,KAAK,CAEP"}

package/dist/lexer/tokens.js

@@ -1,73 +0,0 @@
-/**
- * Token Types for MEL Lexer
- * Based on MEL SPEC v0.3.3 Section 3
- */
-/**
- * Keywords lookup table
- */
-export const KEYWORDS = {
-    domain: "DOMAIN",
-    state: "STATE",
-    computed: "COMPUTED",
-    action: "ACTION",
-    effect: "EFFECT",
-    when: "WHEN",
-    once: "ONCE",
-    patch: "PATCH",
-    unset: "UNSET",
-    merge: "MERGE",
-    true: "TRUE",
-    false: "FALSE",
-    null: "NULL",
-    as: "AS",
-    available: "AVAILABLE", // v0.3.2
-    fail: "FAIL", // v0.3.2
-    stop: "STOP", // v0.3.2
-    with: "WITH", // v0.3.2
-    type: "TYPE", // v0.3.3
-    import: "IMPORT",
-    from: "FROM",
-    export: "EXPORT",
-};
-/**
- * Reserved keywords (JS keywords that are forbidden in MEL)
- */
-export const RESERVED_KEYWORDS = new Set([
-    // Control flow (forbidden)
-    "function", "var", "let", "const", "if", "else",
-    "for", "while", "do", "switch", "case", "break",
-    "continue", "return", "throw", "try", "catch", "finally",
-    "new", "delete", "typeof", "instanceof", "void",
-    // NOTE: "with" removed - now a MEL keyword in v0.3.2
-    "debugger", "this", "super", "arguments", "eval",
-    // Reserved for future
-    "async", "await", "yield", "class", "extends",
-    "interface", "enum", "namespace", "module",
-    // NOTE: "type" removed - now a MEL keyword in v0.3.3
-]);
-/**
- * Check if a token is a keyword
- */
-export function isKeyword(lexeme) {
-    return lexeme in KEYWORDS;
-}
-/**
- * Check if a token is a reserved word
- */
-export function isReserved(lexeme) {
-    return RESERVED_KEYWORDS.has(lexeme);
-}
-/**
- * Get keyword token kind, or undefined if not a keyword
- * Note: Uses Object.hasOwn to avoid prototype pollution (e.g., "toString")
- */
-export function getKeywordKind(lexeme) {
-    return Object.hasOwn(KEYWORDS, lexeme) ? KEYWORDS[lexeme] : undefined;
-}
-/**
- * Create a token
- */
-export function createToken(kind, lexeme, location, value) {
-    return { kind, lexeme, location, value };
-}
-//# sourceMappingURL=tokens.js.map

package/dist/lexer/tokens.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"tokens.js","sourceRoot":"","sources":["../../src/lexer/tokens.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAsFH;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAA8B;IACjD,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,OAAO;IACd,QAAQ,EAAE,UAAU;IACpB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;IACZ,EAAE,EAAE,IAAI;IACR,SAAS,EAAE,WAAW,EAAG,SAAS;IAClC,IAAI,EAAE,MAAM,EAAa,SAAS;IAClC,IAAI,EAAE,MAAM,EAAa,SAAS;IAClC,IAAI,EAAE,MAAM,EAAa,SAAS;IAClC,IAAI,EAAE,MAAM,EAAa,SAAS;IAClC,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,QAAQ;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;IACvC,2BAA2B;IAC3B,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM;IAC/C,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO;IAC/C,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS;IACxD,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM;IAC/C,qDAAqD;IACrD,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM;IAChD,sBAAsB;IACtB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS;IAC7C,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ;IAC1C,qDAAqD;CACtD,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,OAAO,MAAM,IAAI,QAAQ,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,MAAc;IACvC,OAAO,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACxE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CACzB,IAAe,EACf,MAAc,EACd,QAAwB,EACxB,KAAe;IAEf,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC"}

package/dist/loader.d.ts

@@ -1,23 +0,0 @@
-/**
- * MEL Loader
- *
- * This module intentionally supports two environments:
- * 1) Node ESM loader hooks (`resolve`, `load`) for `node --loader` / `tsx --loader`
- * 2) Webpack loader default export (`use: "@manifesto-ai/compiler/loader"`)
- */
-import type { LoadHook, ResolveHook } from "node:module";
-import type { LoaderContext } from "webpack";
-/**
- * Node loader resolve hook.
- */
-export declare const resolve: ResolveHook;
-/**
- * Node loader load hook.
- */
-export declare const load: LoadHook;
-/**
- * Webpack loader default export.
- */
-export default function melWebpackLoader(this: LoaderContext<unknown>, source: string | Buffer): string;
-export declare const raw = false;
-//# sourceMappingURL=loader.d.ts.map

package/dist/loader.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../src/loader.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAEzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAqB7C;;GAEG;AACH,eAAO,MAAM,OAAO,EAAE,WAOrB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,IAAI,EAAE,QAalB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,OAAO,UAAU,gBAAgB,CACtC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAC5B,MAAM,EAAE,MAAM,GAAG,MAAM,GACtB,MAAM,CAKR;AAED,eAAO,MAAM,GAAG,QAAQ,CAAC"}

package/dist/loader.js

@@ -1,62 +0,0 @@
-/**
- * MEL Loader
- *
- * This module intentionally supports two environments:
- * 1) Node ESM loader hooks (`resolve`, `load`) for `node --loader` / `tsx --loader`
- * 2) Webpack loader default export (`use: "@manifesto-ai/compiler/loader"`)
- */
-import { readFile } from "node:fs/promises";
-import { fileURLToPath } from "node:url";
-import { compileMelToModuleCode } from "./mel-module.js";
-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;
-    }
-}
-/**
- * Node loader resolve hook.
- */
-export const resolve = async (specifier, context, nextResolve) => {
-    if (!isMelReference(specifier)) {
-        return nextResolve(specifier, context);
-    }
-    const resolved = await nextResolve(specifier, context);
-    return { ...resolved, shortCircuit: true };
-};
-/**
- * Node loader load hook.
- */
-export const 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,
-    };
-};
-/**
- * Webpack loader default export.
- */
-export default function melWebpackLoader(source) {
-    this.cacheable?.(true);
-    const melSource = typeof source === "string" ? source : source.toString("utf8");
-    const sourceId = this.resourcePath ?? "<mel>";
-    return compileMelToModuleCode(melSource, sourceId);
-}
-export const raw = false;
-//# sourceMappingURL=loader.js.map

package/dist/loader.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"loader.js","sourceRoot":"","sources":["../src/loader.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,SAAS,kBAAkB,CAAC,KAAa;IACvC,MAAM,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,WAAW,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAClD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,UAAU,CAAC,SAAiB;IACnC,IAAI,CAAC;QACH,OAAO,aAAa,CAAC,SAAS,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAgB,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE;IAC5E,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,OAAO,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACvD,OAAO,EAAE,GAAG,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;AAC7C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAAa,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE;IAC7D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAElE,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,MAAM;QACN,YAAY,EAAE,IAAI;KACnB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,OAAO,UAAU,gBAAgB,CAEtC,MAAuB;IAEvB,IAAI,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,CAAC;IACvB,MAAM,SAAS,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,IAAI,OAAO,CAAC;IAC9C,OAAO,sBAAsB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,KAAK,CAAC"}

package/dist/lowering/context.d.ts

@@ -1,96 +0,0 @@
-/**
- * Lowering Context Types
- *
- * Defines contexts for expression and patch lowering.
- *
- * @see SPEC v0.4.0 §17.2
- */
-/**
- * Allowed system path prefixes.
- *
- * In Translator path, only 'meta' and 'input' are allowed.
- * 'system' is forbidden (requires Flow execution).
- *
- * @see FDR-MEL-071
- */
-export type AllowedSysPrefix = "meta" | "input";
-/**
- * Context for single expression lowering.
- *
- * @see SPEC v0.4.0 §17.2
- */
-export interface ExprLoweringContext {
-    /**
-     * Expression context mode.
-     * - 'schema': for addComputed, addConstraint, etc.
-     * - 'action': for guards, patches, effects
-     */
-    mode: "schema" | "action";
-    /**
-     * Allowed system path prefixes.
-     * In Translator path: only ["meta", "input"]
-     *
-     * @see FDR-MEL-071
-     */
-    allowSysPaths?: {
-        prefixes: AllowedSysPrefix[];
-    };
-    /**
-     * Function table version for call lowering.
-     */
-    fnTableVersion: string;
-    /**
-     * Action name (for action context).
-     */
-    actionName?: string;
-    /**
-     * Whether $item is allowed in this context.
-     * Only true for effect.args fields.
-     *
-     * @see FDR-MEL-068
-     */
-    allowItem?: boolean;
-}
-/**
- * Context for patch lowering.
- *
- * NO mode field - Compiler determines context per op-field.
- *
- * @see SPEC v0.4.0 §17.2, AD-COMP-LOW-002
- */
-export interface PatchLoweringContext {
-    /**
-     * Allowed system path prefixes.
-     * In Translator path: only ["meta", "input"]
-     *
-     * @see FDR-MEL-071
-     */
-    allowSysPaths?: {
-        prefixes: AllowedSysPrefix[];
-    };
-    /**
-     * Function table version for call lowering.
-     */
-    fnTableVersion: string;
-    /**
-     * Action name (for action-related ops).
-     */
-    actionName?: string;
-}
-/**
- * Default expression lowering context for schema mode.
- */
-export declare const DEFAULT_SCHEMA_CONTEXT: ExprLoweringContext;
-/**
- * Default expression lowering context for action mode.
- */
-export declare const DEFAULT_ACTION_CONTEXT: ExprLoweringContext;
-/**
- * Context for effect.args (allows $item).
- */
-export declare const EFFECT_ARGS_CONTEXT: ExprLoweringContext;
-/**
- * Default patch lowering context.
- */
-export declare const DEFAULT_PATCH_CONTEXT: PatchLoweringContext;
-//# sourceMappingURL=context.d.ts.map

package/dist/lowering/context.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/lowering/context.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH;;;;;;;GAOG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,OAAO,CAAC;AAEhD;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAE1B;;;;;OAKG;IACH,aAAa,CAAC,EAAE;QAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAA;KAAE,CAAC;IAEjD;;OAEG;IACH,cAAc,EAAE,MAAM,CAAC;IAEvB;;OAEG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB;IACnC;;;;;OAKG;IACH,aAAa,CAAC,EAAE;QAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAA;KAAE,CAAC;IAEjD;;OAEG;IACH,cAAc,EAAE,MAAM,CAAC;IAEvB;;OAEG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,eAAO,MAAM,sBAAsB,EAAE,mBAKpC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,sBAAsB,EAAE,mBAKpC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,EAAE,mBAKjC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,oBAGnC,CAAC"}

package/dist/lowering/context.js

@@ -1,42 +0,0 @@
-/**
- * Lowering Context Types
- *
- * Defines contexts for expression and patch lowering.
- *
- * @see SPEC v0.4.0 §17.2
- */
-/**
- * Default expression lowering context for schema mode.
- */
-export const DEFAULT_SCHEMA_CONTEXT = {
-    mode: "schema",
-    allowSysPaths: { prefixes: ["meta", "input"] },
-    fnTableVersion: "1.0",
-    allowItem: false,
-};
-/**
- * Default expression lowering context for action mode.
- */
-export const DEFAULT_ACTION_CONTEXT = {
-    mode: "action",
-    allowSysPaths: { prefixes: ["meta", "input"] },
-    fnTableVersion: "1.0",
-    allowItem: false,
-};
-/**
- * Context for effect.args (allows $item).
- */
-export const EFFECT_ARGS_CONTEXT = {
-    mode: "action",
-    allowSysPaths: { prefixes: ["meta", "input"] },
-    fnTableVersion: "1.0",
-    allowItem: true,
-};
-/**
- * Default patch lowering context.
- */
-export const DEFAULT_PATCH_CONTEXT = {
-    allowSysPaths: { prefixes: ["meta", "input"] },
-    fnTableVersion: "1.0",
-};
-//# sourceMappingURL=context.js.map

package/dist/lowering/context.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/lowering/context.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AA+EH;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAwB;IACzD,IAAI,EAAE,QAAQ;IACd,aAAa,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;IAC9C,cAAc,EAAE,KAAK;IACrB,SAAS,EAAE,KAAK;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAwB;IACzD,IAAI,EAAE,QAAQ;IACd,aAAa,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;IAC9C,cAAc,EAAE,KAAK;IACrB,SAAS,EAAE,KAAK;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB;IACtD,IAAI,EAAE,QAAQ;IACd,aAAa,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;IAC9C,cAAc,EAAE,KAAK;IACrB,SAAS,EAAE,IAAI;CAChB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD,aAAa,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;IAC9C,cAAc,EAAE,KAAK;CACtB,CAAC"}

package/dist/lowering/errors.d.ts

@@ -1,84 +0,0 @@
-/**
- * Lowering Error Types
- *
- * Defines error types for MEL IR → Core IR lowering.
- *
- * @see SPEC v0.4.0 §17.6
- */
-/**
- * Lowering error codes.
- *
- * @see SPEC v0.4.0 §17.6
- */
-export type LoweringErrorCode = 
-/** var in non-effect context, sys in schema */
-"INVALID_KIND_FOR_CONTEXT"
-/** Unknown function name in call node */
- | "UNKNOWN_CALL_FN"
-/** sys.system in Translator path */
- | "INVALID_SYS_PATH"
-/** get.base is not var(item) */
- | "UNSUPPORTED_BASE"
-/** Malformed node structure */
- | "INVALID_SHAPE"
-/** Unknown node kind */
- | "UNKNOWN_NODE_KIND";
-/**
- * Lowering error class.
- *
- * Thrown when MEL IR cannot be lowered to Core IR.
- *
- * @see SPEC v0.4.0 §17.6
- */
-export declare class LoweringError extends Error {
-    readonly code: LoweringErrorCode;
-    readonly path?: string[];
-    readonly details?: Record<string, unknown>;
-    constructor(code: LoweringErrorCode, message: string, options?: {
-        path?: string[];
-        details?: Record<string, unknown>;
-    });
-}
-/**
- * Create a lowering error for invalid kind in context.
- *
- * @example
- * throw invalidKindForContext("var", "schema");
- */
-export declare function invalidKindForContext(kind: string, context: string, path?: string[]): LoweringError;
-/**
- * Create a lowering error for unknown call function.
- *
- * @example
- * throw unknownCallFn("unknownFunc");
- */
-export declare function unknownCallFn(fn: string, path?: string[]): LoweringError;
-/**
- * Create a lowering error for invalid sys path.
- *
- * @example
- * throw invalidSysPath(["system", "uuid"]);
- */
-export declare function invalidSysPath(sysPath: string[], path?: string[]): LoweringError;
-/**
- * Create a lowering error for unsupported base expression.
- *
- * @example
- * throw unsupportedBase("call");
- */
-export declare function unsupportedBase(baseKind: string, path?: string[]): LoweringError;
-/**
- * Create a lowering error for invalid shape.
- *
- * @example
- * throw invalidShape("missing 'value' field");
- */
-export declare function invalidShape(description: string, path?: string[]): LoweringError;
-/**
- * Create a lowering error for unknown node kind.
- *
- * @example
- * throw unknownNodeKind("foo");
- */
-export declare function unknownNodeKind(kind: string, path?: string[]): LoweringError;
-//# sourceMappingURL=errors.d.ts.map

package/dist/lowering/errors.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/lowering/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH;;;;GAIG;AACH,MAAM,MAAM,iBAAiB;AAC3B,+CAA+C;AAC7C,0BAA0B;AAC5B,yCAAyC;GACvC,iBAAiB;AACnB,oCAAoC;GAClC,kBAAkB;AACpB,gCAAgC;GAC9B,kBAAkB;AACpB,+BAA+B;GAC7B,eAAe;AACjB,wBAAwB;GACtB,mBAAmB,CAAC;AAExB;;;;;;GAMG;AACH,qBAAa,aAAc,SAAQ,KAAK;IACtC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAGzC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE;QACR,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;QAChB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KACnC;CAQJ;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,MAAM,EAAE,GACd,aAAa,CAMf;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,aAAa,CAMxE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,MAAM,EAAE,EACjB,IAAI,CAAC,EAAE,MAAM,EAAE,GACd,aAAa,CAMf;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,MAAM,EAAE,GACd,aAAa,CAMf;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,WAAW,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE,MAAM,EAAE,GACd,aAAa,CAMf;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,IAAI,CAAC,EAAE,MAAM,EAAE,GACd,aAAa,CAMf"}

package/dist/lowering/errors.js

@@ -1,81 +0,0 @@
-/**
- * Lowering Error Types
- *
- * Defines error types for MEL IR → Core IR lowering.
- *
- * @see SPEC v0.4.0 §17.6
- */
-/**
- * Lowering error class.
- *
- * Thrown when MEL IR cannot be lowered to Core IR.
- *
- * @see SPEC v0.4.0 §17.6
- */
-export class LoweringError extends Error {
-    code;
-    path;
-    details;
-    constructor(code, message, options) {
-        super(message);
-        this.name = "LoweringError";
-        this.code = code;
-        this.path = options?.path;
-        this.details = options?.details;
-    }
-}
-/**
- * Create a lowering error for invalid kind in context.
- *
- * @example
- * throw invalidKindForContext("var", "schema");
- */
-export function invalidKindForContext(kind, context, path) {
-    return new LoweringError("INVALID_KIND_FOR_CONTEXT", `Node kind '${kind}' is not allowed in ${context} context`, { path, details: { kind, context } });
-}
-/**
- * Create a lowering error for unknown call function.
- *
- * @example
- * throw unknownCallFn("unknownFunc");
- */
-export function unknownCallFn(fn, path) {
-    return new LoweringError("UNKNOWN_CALL_FN", `Unknown function '${fn}' in call expression`, { path, details: { fn } });
-}
-/**
- * Create a lowering error for invalid sys path.
- *
- * @example
- * throw invalidSysPath(["system", "uuid"]);
- */
-export function invalidSysPath(sysPath, path) {
-    return new LoweringError("INVALID_SYS_PATH", `System path '${sysPath.join(".")}' is not allowed in Translator path`, { path, details: { sysPath } });
-}
-/**
- * Create a lowering error for unsupported base expression.
- *
- * @example
- * throw unsupportedBase("call");
- */
-export function unsupportedBase(baseKind, path) {
-    return new LoweringError("UNSUPPORTED_BASE", `Unsupported base expression kind '${baseKind}'. Only var(item) is supported.`, { path, details: { baseKind } });
-}
-/**
- * Create a lowering error for invalid shape.
- *
- * @example
- * throw invalidShape("missing 'value' field");
- */
-export function invalidShape(description, path) {
-    return new LoweringError("INVALID_SHAPE", `Invalid node shape: ${description}`, { path, details: { description } });
-}
-/**
- * Create a lowering error for unknown node kind.
- *
- * @example
- * throw unknownNodeKind("foo");
- */
-export function unknownNodeKind(kind, path) {
-    return new LoweringError("UNKNOWN_NODE_KIND", `Unknown expression node kind '${kind}'`, { path, details: { kind } });
-}
-//# sourceMappingURL=errors.js.map

package/dist/lowering/errors.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/lowering/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAqBH;;;;;;GAMG;AACH,MAAM,OAAO,aAAc,SAAQ,KAAK;IAC7B,IAAI,CAAoB;IACxB,IAAI,CAAY;IAChB,OAAO,CAA2B;IAE3C,YACE,IAAuB,EACvB,OAAe,EACf,OAGC;QAED,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;QAC5B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,OAAO,EAAE,IAAI,CAAC;QAC1B,IAAI,CAAC,OAAO,GAAG,OAAO,EAAE,OAAO,CAAC;IAClC,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,OAAe,EACf,IAAe;IAEf,OAAO,IAAI,aAAa,CACtB,0BAA0B,EAC1B,cAAc,IAAI,uBAAuB,OAAO,UAAU,EAC1D,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CACrC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,EAAU,EAAE,IAAe;IACvD,OAAO,IAAI,aAAa,CACtB,iBAAiB,EACjB,qBAAqB,EAAE,sBAAsB,EAC7C,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAC1B,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAiB,EACjB,IAAe;IAEf,OAAO,IAAI,aAAa,CACtB,kBAAkB,EAClB,gBAAgB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,qCAAqC,EACtE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,CAC/B,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,QAAgB,EAChB,IAAe;IAEf,OAAO,IAAI,aAAa,CACtB,kBAAkB,EAClB,qCAAqC,QAAQ,iCAAiC,EAC9E,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,CAChC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,WAAmB,EACnB,IAAe;IAEf,OAAO,IAAI,aAAa,CACtB,eAAe,EACf,uBAAuB,WAAW,EAAE,EACpC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,EAAE,CACnC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,IAAe;IAEf,OAAO,IAAI,aAAa,CACtB,mBAAmB,EACnB,iCAAiC,IAAI,GAAG,EACxC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,CAC5B,CAAC;AACJ,CAAC"}

package/dist/lowering/index.d.ts

@@ -1,20 +0,0 @@
-/**
- * Lowering Module
- *
- * Transforms MEL IR to Core IR.
- *
- * @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 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";
-export { lowerExprNode } from "./lower-expr.js";
-export type { MelTypeExpr, MelTypeField, MelPatchOp, MelPatchFragment, LoweredTypeExpr, LoweredTypeField, LoweredPatchOp, SchemaConditionalPatchOp, 
-/** @deprecated Use SchemaConditionalPatchOp */
-ConditionalPatchOp, } from "./lower-patch.js";
-export { lowerPatchFragments } from "./lower-patch.js";
-export type { MelRuntimePatchOp, MelRuntimePatch, RuntimeConditionalPatchOp, } from "./lower-runtime-patch.js";
-export { lowerRuntimePatches, lowerRuntimePatch } from "./lower-runtime-patch.js";
-//# sourceMappingURL=index.d.ts.map

package/dist/lowering/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lowering/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,YAAY,EACV,gBAAgB,EAChB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,cAAc,CAAC;AAGtB,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAErD,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,aAAa,EACb,cAAc,EACd,eAAe,EACf,YAAY,EACZ,eAAe,GAChB,MAAM,aAAa,CAAC;AAGrB,YAAY,EACV,YAAY,EACZ,cAAc,EACd,WAAW,EACX,aAAa,EACb,WAAW,EACX,WAAW,GACZ,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGhD,YAAY,EACV,WAAW,EACX,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,wBAAwB;AACxB,+CAA+C;AAC/C,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAGvD,YAAY,EACV,iBAAiB,EACjB,eAAe,EACf,yBAAyB,GAC1B,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/lowering/index.js

@@ -1,13 +0,0 @@
-/**
- * Lowering Module
- *
- * Transforms MEL IR to Core IR.
- *
- * @see SPEC v0.4.0 §17
- */
-export { DEFAULT_SCHEMA_CONTEXT, DEFAULT_ACTION_CONTEXT, EFFECT_ARGS_CONTEXT, DEFAULT_PATCH_CONTEXT, } from "./context.js";
-export { LoweringError, invalidKindForContext, unknownCallFn, invalidSysPath, unsupportedBase, invalidShape, unknownNodeKind, } from "./errors.js";
-export { lowerExprNode } from "./lower-expr.js";
-export { lowerPatchFragments } from "./lower-patch.js";
-export { lowerRuntimePatches, lowerRuntimePatch } from "./lower-runtime-patch.js";
-//# sourceMappingURL=index.js.map

package/dist/lowering/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lowering/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AASH,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,cAAc,CAAC;AAKtB,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,aAAa,EACb,cAAc,EACd,eAAe,EACf,YAAY,EACZ,eAAe,GAChB,MAAM,aAAa,CAAC;AAYrB,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAgBhD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AASvD,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC"}