@manifesto-ai/compiler 1.6.1 → 1.7.0

package/dist/analyzer/validator.d.ts

@@ -1,60 +0,0 @@
-/**
- * Semantic Validator for MEL
- * Validates semantic rules beyond syntax
- * Based on MEL SPEC v0.3.3 and FDR-MEL-*
- */
-import type { ProgramNode } from "../parser/ast.js";
-import type { Diagnostic } from "../diagnostics/types.js";
-/**
- * Result of semantic validation
- */
-export interface ValidationResult {
-    valid: boolean;
-    diagnostics: Diagnostic[];
-}
-/**
- * Semantic Validator
- */
-export declare class SemanticValidator {
-    private ctx;
-    /**
-     * Validate a MEL program
-     */
-    validate(program: ProgramNode): ValidationResult;
-    private validateDomain;
-    /**
-     * v0.3.3: Validate state fields for W012 (anonymous object types)
-     */
-    private validateState;
-    /**
-     * v0.3.3: Validate state field - check for anonymous object types (W012)
-     */
-    private validateStateField;
-    /**
-     * v0.3.3: Check if a type expression contains anonymous object types
-     * Issues W012 warning for inline object types in state fields
-     */
-    private checkAnonymousObjectType;
-    private validateAction;
-    /**
-     * v0.3.3: Validate available expression is pure (E005)
-     * No $system.*, no effects, no $input.*
-     */
-    private validateAvailableExpr;
-    private validateGuardedStmt;
-    private validateWhen;
-    private validateOnce;
-    private validateOnceIntent;
-    private validatePatch;
-    private validateEffect;
-    private validateCondition;
-    private validateExpr;
-    private validateFunctionCall;
-    private error;
-    private warn;
-}
-/**
- * Validate a MEL program semantically
- */
-export declare function validateSemantics(program: ProgramNode): ValidationResult;
-//# sourceMappingURL=validator.d.ts.map

package/dist/analyzer/validator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/analyzer/validator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,WAAW,EAcZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AA0B1D;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,GAAG,CAAsC;IAEjD;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,gBAAgB;IAUhD,OAAO,CAAC,cAAc;IA0BtB;;OAEG;IACH,OAAO,CAAC,aAAa;IAMrB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAI1B;;;OAGG;IACH,OAAO,CAAC,wBAAwB;IAuChC,OAAO,CAAC,cAAc;IAiBtB;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAsE7B,OAAO,CAAC,mBAAmB;IAoB3B,OAAO,CAAC,YAAY;IAiBpB,OAAO,CAAC,YAAY;IAsBpB,OAAO,CAAC,kBAAkB;IAkB1B,OAAO,CAAC,aAAa;IAgBrB,OAAO,CAAC,cAAc;IAqBtB,OAAO,CAAC,iBAAiB;IAezB,OAAO,CAAC,YAAY;IAuDpB,OAAO,CAAC,oBAAoB;IAkK5B,OAAO,CAAC,KAAK;IASb,OAAO,CAAC,IAAI;CAQb;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,WAAW,GAAG,gBAAgB,CAGxE"}

package/dist/analyzer/validator.js

@@ -1,439 +0,0 @@
-/**
- * Semantic Validator for MEL
- * Validates semantic rules beyond syntax
- * Based on MEL SPEC v0.3.3 and FDR-MEL-*
- */
-import { createWarning } from "../diagnostics/types.js";
-function createContext() {
-    return {
-        inAction: false,
-        inGuard: false,
-        guardDepth: 0,
-        hasMarkerPatch: false,
-        diagnostics: [],
-    };
-}
-/**
- * Semantic Validator
- */
-export class SemanticValidator {
-    ctx = createContext();
-    /**
-     * Validate a MEL program
-     */
-    validate(program) {
-        this.ctx = createContext();
-        this.validateDomain(program.domain);
-        return {
-            valid: !this.ctx.diagnostics.some(d => d.severity === "error"),
-            diagnostics: this.ctx.diagnostics,
-        };
-    }
-    validateDomain(domain) {
-        // Validate domain name
-        if (domain.name.startsWith("__")) {
-            this.error("Domain name cannot start with '__' (reserved prefix)", domain.location, "E_RESERVED_NAME");
-        }
-        // Validate members
-        for (const member of domain.members) {
-            switch (member.kind) {
-                case "state":
-                    this.validateState(member);
-                    break;
-                case "computed":
-                    this.validateExpr(member.expression, "computed");
-                    break;
-                case "action":
-                    this.validateAction(member);
-                    break;
-            }
-        }
-    }
-    /**
-     * v0.3.3: Validate state fields for W012 (anonymous object types)
-     */
-    validateState(state) {
-        for (const field of state.fields) {
-            this.validateStateField(field);
-        }
-    }
-    /**
-     * v0.3.3: Validate state field - check for anonymous object types (W012)
-     */
-    validateStateField(field) {
-        this.checkAnonymousObjectType(field.typeExpr, field.location);
-    }
-    /**
-     * v0.3.3: Check if a type expression contains anonymous object types
-     * Issues W012 warning for inline object types in state fields
-     */
-    checkAnonymousObjectType(typeExpr, fieldLocation) {
-        switch (typeExpr.kind) {
-            case "objectType":
-                // W012: Anonymous object type in state field
-                this.ctx.diagnostics.push(createWarning("W012", "Anonymous object type in state field. Use a named type declaration instead: type MyType = { ... }", typeExpr.location, {
-                    suggestion: "Define this type using 'type TypeName = { ... }' and reference it by name",
-                }));
-                // Also check nested types
-                for (const f of typeExpr.fields) {
-                    this.checkAnonymousObjectType(f.typeExpr, fieldLocation);
-                }
-                break;
-            case "arrayType":
-                this.checkAnonymousObjectType(typeExpr.elementType, fieldLocation);
-                break;
-            case "recordType":
-                this.checkAnonymousObjectType(typeExpr.keyType, fieldLocation);
-                this.checkAnonymousObjectType(typeExpr.valueType, fieldLocation);
-                break;
-            case "unionType":
-                for (const t of typeExpr.types) {
-                    this.checkAnonymousObjectType(t, fieldLocation);
-                }
-                break;
-            // simpleType and literalType are OK
-        }
-    }
-    validateAction(action) {
-        this.ctx.inAction = true;
-        // v0.3.3: E005 - available expression must be pure
-        if (action.available) {
-            this.validateAvailableExpr(action.available);
-        }
-        // FDR-MEL-020: All patch/effect must be inside guards
-        // Action body should only contain when/once statements
-        for (const stmt of action.body) {
-            this.validateGuardedStmt(stmt);
-        }
-        this.ctx.inAction = false;
-    }
-    /**
-     * v0.3.3: Validate available expression is pure (E005)
-     * No $system.*, no effects, no $input.*
-     */
-    validateAvailableExpr(expr) {
-        switch (expr.kind) {
-            case "systemIdent":
-                // E005: $system.* not allowed in available
-                if (expr.path[0] === "system") {
-                    this.error("$system.* cannot be used in available condition (must be pure expression)", expr.location, "E005");
-                }
-                // E005: $input.* not allowed in available (no input at availability check)
-                if (expr.path[0] === "input") {
-                    this.error("$input.* cannot be used in available condition (parameters not available at availability check)", expr.location, "E005");
-                }
-                break;
-            case "functionCall":
-                // Check for effect-like function calls (this is a basic check)
-                // In practice, effects are in statements, not expressions
-                // Recursively validate arguments
-                for (const arg of expr.args) {
-                    this.validateAvailableExpr(arg);
-                }
-                break;
-            case "binary":
-                this.validateAvailableExpr(expr.left);
-                this.validateAvailableExpr(expr.right);
-                break;
-            case "unary":
-                this.validateAvailableExpr(expr.operand);
-                break;
-            case "ternary":
-                this.validateAvailableExpr(expr.condition);
-                this.validateAvailableExpr(expr.consequent);
-                this.validateAvailableExpr(expr.alternate);
-                break;
-            case "propertyAccess":
-                this.validateAvailableExpr(expr.object);
-                break;
-            case "indexAccess":
-                this.validateAvailableExpr(expr.object);
-                this.validateAvailableExpr(expr.index);
-                break;
-            case "objectLiteral":
-                for (const prop of expr.properties) {
-                    this.validateAvailableExpr(prop.value);
-                }
-                break;
-            case "arrayLiteral":
-                for (const elem of expr.elements) {
-                    this.validateAvailableExpr(elem);
-                }
-                break;
-            // literal, identifier, iterationVar are OK
-        }
-    }
-    validateGuardedStmt(stmt) {
-        switch (stmt.kind) {
-            case "when":
-                this.validateWhen(stmt);
-                break;
-            case "once":
-                this.validateOnce(stmt);
-                break;
-            case "onceIntent":
-                this.validateOnceIntent(stmt);
-                break;
-            case "patch":
-                this.validatePatch(stmt);
-                break;
-            case "effect":
-                this.validateEffect(stmt);
-                break;
-        }
-    }
-    validateWhen(stmt) {
-        this.ctx.inGuard = true;
-        this.ctx.guardDepth++;
-        // FDR-MEL-025: Condition must be boolean
-        this.validateCondition(stmt.condition, "when");
-        for (const inner of stmt.body) {
-            this.validateGuardedStmt(inner);
-        }
-        this.ctx.guardDepth--;
-        if (this.ctx.guardDepth === 0) {
-            this.ctx.inGuard = false;
-        }
-    }
-    validateOnce(stmt) {
-        this.ctx.inGuard = true;
-        this.ctx.guardDepth++;
-        this.ctx.hasMarkerPatch = false;
-        // Validate extra condition if present
-        if (stmt.condition) {
-            this.validateCondition(stmt.condition, "once");
-        }
-        // FDR-MEL-044: First statement should be marker patch
-        // The compiler auto-inserts this, but we can warn if user adds it manually
-        for (const inner of stmt.body) {
-            this.validateGuardedStmt(inner);
-        }
-        this.ctx.guardDepth--;
-        if (this.ctx.guardDepth === 0) {
-            this.ctx.inGuard = false;
-        }
-    }
-    validateOnceIntent(stmt) {
-        this.ctx.inGuard = true;
-        this.ctx.guardDepth++;
-        if (stmt.condition) {
-            this.validateCondition(stmt.condition, "onceIntent");
-        }
-        for (const inner of stmt.body) {
-            this.validateGuardedStmt(inner);
-        }
-        this.ctx.guardDepth--;
-        if (this.ctx.guardDepth === 0) {
-            this.ctx.inGuard = false;
-        }
-    }
-    validatePatch(stmt) {
-        // Patch must be inside a guard
-        if (!this.ctx.inGuard) {
-            this.error("Patch must be inside a guard (when, once, or onceIntent)", stmt.location, "E_UNGUARDED_PATCH");
-        }
-        // Validate value expression
-        if (stmt.value) {
-            this.validateExpr(stmt.value, "action");
-        }
-    }
-    validateEffect(stmt) {
-        // Effect must be inside a guard
-        if (!this.ctx.inGuard) {
-            this.error("Effect must be inside a guard (when, once, or onceIntent)", stmt.location, "E_UNGUARDED_EFFECT");
-        }
-        // FDR-MEL-018: No nested effects (effects can't contain effects)
-        // This is naturally enforced by the parser
-        // Validate effect arguments
-        for (const arg of stmt.args) {
-            if (!arg.isPath) {
-                this.validateExpr(arg.value, "action");
-            }
-        }
-    }
-    validateCondition(expr, guardType) {
-        // FDR-MEL-025: Condition must return boolean
-        // We can do basic static analysis for obvious non-boolean expressions
-        this.validateExpr(expr, "action");
-        // Warn about literals that aren't boolean
-        if (expr.kind === "literal" && typeof expr.value !== "boolean") {
-            this.warn(`Condition in ${guardType} is a non-boolean literal. Consider using a boolean expression`, expr.location, "W_NON_BOOL_COND");
-        }
-    }
-    validateExpr(expr, context) {
-        switch (expr.kind) {
-            case "functionCall":
-                this.validateFunctionCall(expr, context);
-                break;
-            case "binary":
-                this.validateExpr(expr.left, context);
-                this.validateExpr(expr.right, context);
-                break;
-            case "unary":
-                this.validateExpr(expr.operand, context);
-                break;
-            case "ternary":
-                this.validateExpr(expr.condition, context);
-                this.validateExpr(expr.consequent, context);
-                this.validateExpr(expr.alternate, context);
-                break;
-            case "propertyAccess":
-                this.validateExpr(expr.object, context);
-                break;
-            case "indexAccess":
-                this.validateExpr(expr.object, context);
-                this.validateExpr(expr.index, context);
-                break;
-            case "objectLiteral":
-                for (const prop of expr.properties) {
-                    this.validateExpr(prop.value, context);
-                }
-                break;
-            case "arrayLiteral":
-                for (const elem of expr.elements) {
-                    this.validateExpr(elem, context);
-                }
-                break;
-            case "systemIdent":
-                // E001: $system.* in computed
-                if (context === "computed" && expr.path[0] === "system") {
-                    this.error("Cannot use $system.* in computed expressions (non-deterministic)", expr.location, "E001");
-                }
-                break;
-        }
-    }
-    validateFunctionCall(expr, context) {
-        const { name, args, location } = expr;
-        // v0.3.3: E011 - reduce/fold/scan is forbidden
-        if (["reduce", "fold", "foldl", "foldr", "scan"].includes(name)) {
-            this.error(`Function '${name}' is forbidden. Use sum(), min(), max() for aggregation instead`, location, "E011");
-        }
-        // v0.3.3: E009/E010 - Primitive aggregation constraints
-        // sum(array), min(array), max(array) with single arg = array aggregation
-        if (["sum", "min", "max"].includes(name) && args.length === 1) {
-            // E009: Array aggregation only in computed
-            if (context === "action") {
-                this.error(`Primitive aggregation '${name}()' can only be used in computed expressions, not in actions`, location, "E009");
-            }
-            // E010: No composition - argument must be simple reference
-            const arg = args[0];
-            if (arg.kind === "functionCall") {
-                this.error(`Primitive aggregation '${name}()' does not allow composition. Use a direct reference, not '${arg.name}()'`, location, "E010");
-            }
-        }
-        // Validate known function signatures
-        switch (name) {
-            // FDR-MEL-042: eq/neq on primitives only
-            case "eq":
-            case "neq":
-                // We can't fully type-check at compile time, but we can note the requirement
-                break;
-            // FDR-MEL-026: len() on Array only
-            case "len":
-            // v0.3.3: sum() for array aggregation
-            case "sum":
-                if (args.length !== 1) {
-                    this.error(`Function '${name}' expects 1 argument, got ${args.length}`, location, "E_ARG_COUNT");
-                }
-                break;
-            // Binary functions need exactly 2 args
-            case "add":
-            case "sub":
-            case "mul":
-            case "div":
-            case "mod":
-            case "gt":
-            case "gte":
-            case "lt":
-            case "lte":
-                if (args.length !== 2) {
-                    this.error(`Function '${name}' expects 2 arguments, got ${args.length}`, location, "E_ARG_COUNT");
-                }
-                break;
-            // Unary functions need exactly 1 arg
-            case "not":
-            case "neg":
-            case "abs":
-            case "floor":
-            case "ceil":
-            case "round":
-            case "isNull":
-            case "isNotNull":
-            case "trim":
-            case "lower":
-            case "upper":
-            case "keys":
-            case "values":
-            case "entries":
-            case "first":
-            case "last":
-                if (args.length !== 1) {
-                    this.error(`Function '${name}' expects 1 argument, got ${args.length}`, location, "E_ARG_COUNT");
-                }
-                break;
-            // Collection predicates need exactly 2 args
-            case "filter":
-            case "map":
-            case "find":
-            case "every":
-            case "some":
-            case "at":
-            case "includes":
-                if (args.length !== 2) {
-                    this.error(`Function '${name}' expects 2 arguments, got ${args.length}`, location, "E_ARG_COUNT");
-                }
-                break;
-            // Variadic functions (at least 1 arg)
-            case "and":
-            case "or":
-            case "concat":
-            case "min":
-            case "max":
-            case "merge":
-            case "coalesce":
-                if (args.length < 1) {
-                    this.error(`Function '${name}' expects at least 1 argument`, location, "E_ARG_COUNT");
-                }
-                break;
-            // Conditional needs exactly 3 args
-            case "if":
-            case "cond":
-                if (args.length !== 3) {
-                    this.error(`Function '${name}' expects 3 arguments, got ${args.length}`, location, "E_ARG_COUNT");
-                }
-                break;
-            default:
-                // Unknown function - this might be caught by scope analysis
-                // or could be a user-defined function we don't know about
-                break;
-        }
-        // Recursively validate arguments
-        for (const arg of args) {
-            this.validateExpr(arg, context);
-        }
-    }
-    error(message, location, code) {
-        this.ctx.diagnostics.push({
-            severity: "error",
-            code,
-            message,
-            location,
-        });
-    }
-    warn(message, location, code) {
-        this.ctx.diagnostics.push({
-            severity: "warning",
-            code,
-            message,
-            location,
-        });
-    }
-}
-/**
- * Validate a MEL program semantically
- */
-export function validateSemantics(program) {
-    const validator = new SemanticValidator();
-    return validator.validate(program);
-}
-//# sourceMappingURL=validator.js.map

package/dist/analyzer/validator.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/analyzer/validator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAmBH,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAaxD,SAAS,aAAa;IACpB,OAAO;QACL,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,KAAK;QACd,UAAU,EAAE,CAAC;QACb,cAAc,EAAE,KAAK;QACrB,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC;AAYD;;GAEG;AACH,MAAM,OAAO,iBAAiB;IACpB,GAAG,GAAsB,aAAa,EAAE,CAAC;IAEjD;;OAEG;IACH,QAAQ,CAAC,OAAoB;QAC3B,IAAI,CAAC,GAAG,GAAG,aAAa,EAAE,CAAC;QAC3B,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAEpC,OAAO;YACL,KAAK,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;YAC9D,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW;SAClC,CAAC;IACJ,CAAC;IAEO,cAAc,CAAC,MAAkB;QACvC,uBAAuB;QACvB,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,CACR,sDAAsD,EACtD,MAAM,CAAC,QAAQ,EACf,iBAAiB,CAClB,CAAC;QACJ,CAAC;QAED,mBAAmB;QACnB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;gBACpB,KAAK,OAAO;oBACV,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;oBAC3B,MAAM;gBACR,KAAK,UAAU;oBACb,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;oBACjD,MAAM;gBACR,KAAK,QAAQ;oBACX,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;oBAC5B,MAAM;YACV,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,KAAgB;QACpC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,KAAqB;QAC9C,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChE,CAAC;IAED;;;OAGG;IACK,wBAAwB,CAAC,QAAsB,EAAE,aAA6B;QACpF,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,YAAY;gBACf,6CAA6C;gBAC7C,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CACvB,aAAa,CACX,MAAM,EACN,mGAAmG,EACnG,QAAQ,CAAC,QAAQ,EACjB;oBACE,UAAU,EAAE,2EAA2E;iBACxF,CACF,CACF,CAAC;gBACF,0BAA0B;gBAC1B,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;oBAChC,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;gBAC3D,CAAC;gBACD,MAAM;YAER,KAAK,WAAW;gBACd,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;gBACnE,MAAM;YAER,KAAK,YAAY;gBACf,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;gBAC/D,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;gBACjE,MAAM;YAER,KAAK,WAAW;gBACd,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;oBAC/B,IAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;gBAClD,CAAC;gBACD,MAAM;YAER,oCAAoC;QACtC,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,MAAkB;QACvC,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAC;QAEzB,mDAAmD;QACnD,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/C,CAAC;QAED,sDAAsD;QACtD,uDAAuD;QACvD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;IAC5B,CAAC;IAED;;;OAGG;IACK,qBAAqB,CAAC,IAAc;QAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,aAAa;gBAChB,2CAA2C;gBAC3C,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;oBAC9B,IAAI,CAAC,KAAK,CACR,2EAA2E,EAC3E,IAAI,CAAC,QAAQ,EACb,MAAM,CACP,CAAC;gBACJ,CAAC;gBACD,2EAA2E;gBAC3E,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC;oBAC7B,IAAI,CAAC,KAAK,CACR,iGAAiG,EACjG,IAAI,CAAC,QAAQ,EACb,MAAM,CACP,CAAC;gBACJ,CAAC;gBACD,MAAM;YAER,KAAK,cAAc;gBACjB,+DAA+D;gBAC/D,0DAA0D;gBAC1D,iCAAiC;gBACjC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC5B,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;gBAClC,CAAC;gBACD,MAAM;YAER,KAAK,QAAQ;gBACX,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM;YAER,KAAK,OAAO;gBACV,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACzC,MAAM;YAER,KAAK,SAAS;gBACZ,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC3C,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC5C,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC3C,MAAM;YAER,KAAK,gBAAgB;gBACnB,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACxC,MAAM;YAER,KAAK,aAAa;gBAChB,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACxC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM;YAER,KAAK,eAAe;gBAClB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACnC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACzC,CAAC;gBACD,MAAM;YAER,KAAK,cAAc;gBACjB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBACnC,CAAC;gBACD,MAAM;YAER,2CAA2C;QAC7C,CAAC;IACH,CAAC;IAEO,mBAAmB,CAAC,IAAqC;QAC/D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM;gBACT,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM;YACR,KAAK,YAAY;gBACf,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;gBAC9B,MAAM;YACR,KAAK,OAAO;gBACV,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBACzB,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;QACV,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,IAAkB;QACrC,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;QACxB,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;QAEtB,yCAAyC;QACzC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAE/C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,KAAK,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,IAAkB;QACrC,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;QACxB,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;QACtB,IAAI,CAAC,GAAG,CAAC,cAAc,GAAG,KAAK,CAAC;QAEhC,sCAAsC;QACtC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACjD,CAAC;QAED,sDAAsD;QACtD,2EAA2E;QAC3E,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,KAAK,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,IAAwB;QACjD,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;QACxB,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;QAEtB,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QACvD,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,KAAK,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,IAAmB;QACvC,+BAA+B;QAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,CACR,0DAA0D,EAC1D,IAAI,CAAC,QAAQ,EACb,mBAAmB,CACpB,CAAC;QACJ,CAAC;QAED,4BAA4B;QAC5B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,IAAoB;QACzC,gCAAgC;QAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,CACR,2DAA2D,EAC3D,IAAI,CAAC,QAAQ,EACb,oBAAoB,CACrB,CAAC;QACJ,CAAC;QAED,iEAAiE;QACjE,2CAA2C;QAE3C,4BAA4B;QAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;gBAChB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAiB,EAAE,QAAQ,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IAEO,iBAAiB,CAAC,IAAc,EAAE,SAAyC;QACjF,6CAA6C;QAC7C,sEAAsE;QACtE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAElC,0CAA0C;QAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/D,IAAI,CAAC,IAAI,CACP,gBAAgB,SAAS,gEAAgE,EACzF,IAAI,CAAC,QAAQ,EACb,iBAAiB,CAClB,CAAC;QACJ,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,IAAc,EAAE,OAA8B;QACjE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,cAAc;gBACjB,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACzC,MAAM;YAER,KAAK,QAAQ;gBACX,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACtC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACvC,MAAM;YAER,KAAK,OAAO;gBACV,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBACzC,MAAM;YAER,KAAK,SAAS;gBACZ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC5C,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC3C,MAAM;YAER,KAAK,gBAAgB;gBACnB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBACxC,MAAM;YAER,KAAK,aAAa;gBAChB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBACxC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACvC,MAAM;YAER,KAAK,eAAe;gBAClB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACzC,CAAC;gBACD,MAAM;YAER,KAAK,cAAc;gBACjB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACnC,CAAC;gBACD,MAAM;YAER,KAAK,aAAa;gBAChB,8BAA8B;gBAC9B,IAAI,OAAO,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;oBACxD,IAAI,CAAC,KAAK,CACR,kEAAkE,EAClE,IAAI,CAAC,QAAQ,EACb,MAAM,CACP,CAAC;gBACJ,CAAC;gBACD,MAAM;QACV,CAAC;IACH,CAAC;IAEO,oBAAoB,CAC1B,IAAwF,EACxF,OAA8B;QAE9B,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;QAEtC,+CAA+C;QAC/C,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,KAAK,CACR,aAAa,IAAI,iEAAiE,EAClF,QAAQ,EACR,MAAM,CACP,CAAC;QACJ,CAAC;QAED,wDAAwD;QACxD,yEAAyE;QACzE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9D,2CAA2C;YAC3C,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,CACR,0BAA0B,IAAI,8DAA8D,EAC5F,QAAQ,EACR,MAAM,CACP,CAAC;YACJ,CAAC;YAED,2DAA2D;YAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAChC,IAAI,CAAC,KAAK,CACR,0BAA0B,IAAI,gEAAgE,GAAG,CAAC,IAAI,KAAK,EAC3G,QAAQ,EACR,MAAM,CACP,CAAC;YACJ,CAAC;QACH,CAAC;QAED,qCAAqC;QACrC,QAAQ,IAAI,EAAE,CAAC;YACb,yCAAyC;YACzC,KAAK,IAAI,CAAC;YACV,KAAK,KAAK;gBACR,6EAA6E;gBAC7E,MAAM;YAER,mCAAmC;YACnC,KAAK,KAAK,CAAC;YACX,sCAAsC;YACtC,KAAK,KAAK;gBACR,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACtB,IAAI,CAAC,KAAK,CACR,aAAa,IAAI,6BAA6B,IAAI,CAAC,MAAM,EAAE,EAC3D,QAAQ,EACR,aAAa,CACd,CAAC;gBACJ,CAAC;gBACD,MAAM;YAER,uCAAuC;YACvC,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,CAAC;YACV,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,CAAC;YACV,KAAK,KAAK;gBACR,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACtB,IAAI,CAAC,KAAK,CACR,aAAa,IAAI,8BAA8B,IAAI,CAAC,MAAM,EAAE,EAC5D,QAAQ,EACR,aAAa,CACd,CAAC;gBACJ,CAAC;gBACD,MAAM;YAER,qCAAqC;YACrC,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,OAAO,CAAC;YACb,KAAK,MAAM,CAAC;YACZ,KAAK,OAAO,CAAC;YACb,KAAK,QAAQ,CAAC;YACd,KAAK,WAAW,CAAC;YACjB,KAAK,MAAM,CAAC;YACZ,KAAK,OAAO,CAAC;YACb,KAAK,OAAO,CAAC;YACb,KAAK,MAAM,CAAC;YACZ,KAAK,QAAQ,CAAC;YACd,KAAK,SAAS,CAAC;YACf,KAAK,OAAO,CAAC;YACb,KAAK,MAAM;gBACT,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACtB,IAAI,CAAC,KAAK,CACR,aAAa,IAAI,6BAA6B,IAAI,CAAC,MAAM,EAAE,EAC3D,QAAQ,EACR,aAAa,CACd,CAAC;gBACJ,CAAC;gBACD,MAAM;YAER,4CAA4C;YAC5C,KAAK,QAAQ,CAAC;YACd,KAAK,KAAK,CAAC;YACX,KAAK,MAAM,CAAC;YACZ,KAAK,OAAO,CAAC;YACb,KAAK,MAAM,CAAC;YACZ,KAAK,IAAI,CAAC;YACV,KAAK,UAAU;gBACb,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACtB,IAAI,CAAC,KAAK,CACR,aAAa,IAAI,8BAA8B,IAAI,CAAC,MAAM,EAAE,EAC5D,QAAQ,EACR,aAAa,CACd,CAAC;gBACJ,CAAC;gBACD,MAAM;YAER,sCAAsC;YACtC,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,CAAC;YACV,KAAK,QAAQ,CAAC;YACd,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,OAAO,CAAC;YACb,KAAK,UAAU;gBACb,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpB,IAAI,CAAC,KAAK,CACR,aAAa,IAAI,+BAA+B,EAChD,QAAQ,EACR,aAAa,CACd,CAAC;gBACJ,CAAC;gBACD,MAAM;YAER,mCAAmC;YACnC,KAAK,IAAI,CAAC;YACV,KAAK,MAAM;gBACT,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACtB,IAAI,CAAC,KAAK,CACR,aAAa,IAAI,8BAA8B,IAAI,CAAC,MAAM,EAAE,EAC5D,QAAQ,EACR,aAAa,CACd,CAAC;gBACJ,CAAC;gBACD,MAAM;YAER;gBACE,4DAA4D;gBAC5D,0DAA0D;gBAC1D,MAAM;QACV,CAAC;QAED,iCAAiC;QACjC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,OAAe,EAAE,QAAwB,EAAE,IAAY;QACnE,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC;YACxB,QAAQ,EAAE,OAAO;YACjB,IAAI;YACJ,OAAO;YACP,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAEO,IAAI,CAAC,OAAe,EAAE,QAAwB,EAAE,IAAY;QAClE,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC;YACxB,QAAQ,EAAE,SAAS;YACnB,IAAI;YACJ,OAAO;YACP,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAoB;IACpD,MAAM,SAAS,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAC1C,OAAO,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC"}

package/dist/api/compile-mel.d.ts

@@ -1,126 +0,0 @@
-/**
- * MEL Text Ingest API
- *
- * Compiles MEL text to DomainSchema or RuntimeConditionalPatchOp[].
- *
- * @see SPEC v0.4.0 §19
- */
-import type { Diagnostic } from "../diagnostics/types.js";
-import type { DomainSchema } from "../generator/ir.js";
-import type { RuntimeConditionalPatchOp } from "../lowering/lower-runtime-patch.js";
-/**
- * Trace entry for compilation steps.
- */
-export interface CompileTrace {
-    phase: "lex" | "parse" | "analyze" | "generate" | "lower";
-    durationMs: number;
-    details?: Record<string, unknown>;
-}
-/**
- * Domain compilation options.
- */
-export interface CompileMelDomainOptions {
-    mode: "domain";
-    fnTableVersion?: string;
-}
-/**
- * Domain compilation result.
- *
- * @see SPEC v0.4.0 §19.1
- */
-export interface CompileMelDomainResult {
-    /**
-     * Compiled schema, or null if errors occurred.
-     */
-    schema: DomainSchema | null;
-    /**
-     * Compilation trace.
-     */
-    trace: CompileTrace[];
-    /**
-     * Warning diagnostics.
-     */
-    warnings: Diagnostic[];
-    /**
-     * Error diagnostics.
-     */
-    errors: Diagnostic[];
-}
-/**
- * Patch compilation options.
- */
-export interface CompileMelPatchOptions {
-    mode: "patch";
-    /**
-     * Action name for context.
-     */
-    actionName: string;
-    /**
-     * Allowed system path prefixes.
-     * Default: ["meta", "input"] (system is forbidden per §20.3).
-     */
-    allowSysPaths?: {
-        prefixes: ("meta" | "input")[];
-    };
-    /**
-     * Function table version.
-     */
-    fnTableVersion?: string;
-}
-/**
- * Patch compilation result.
- *
- * @see SPEC v0.4.0 §19.2
- */
-export interface CompileMelPatchResult {
-    /**
-     * Compiled patch operations.
-     * These still contain Core IR expressions that need evaluation.
-     */
-    ops: RuntimeConditionalPatchOp[];
-    /**
-     * Compilation trace.
-     */
-    trace: CompileTrace[];
-    /**
-     * Warning diagnostics.
-     */
-    warnings: Diagnostic[];
-    /**
-     * Error diagnostics.
-     */
-    errors: Diagnostic[];
-}
-/**
- * Compile MEL text to DomainSchema.
- *
- * Takes a complete MEL domain definition and produces a DomainSchema
- * suitable for use with core.compute().
- *
- * @param melText - MEL domain source text
- * @param options - Compilation options
- * @returns Compilation result with schema or errors
- *
- * @see SPEC v0.4.0 §19.1
- */
-export declare function compileMelDomain(melText: string, options?: CompileMelDomainOptions): CompileMelDomainResult;
-/**
- * Compile MEL patch text to RuntimeConditionalPatchOp[].
- *
- * Takes MEL patch statements (set, unset, merge) and produces
- * RuntimeConditionalPatchOp[] with Core IR expressions.
- *
- * The returned ops still contain expressions that need to be evaluated
- * by evaluateRuntimePatches() to get concrete values.
- *
- * Constraints:
- * - §20.3: $system.* is forbidden in Translator path
- *
- * @param melText - MEL patch source text
- * @param options - Compilation options
- * @returns Compilation result with ops or errors
- *
- * @see SPEC v0.4.0 §19.2
- */
-export declare function compileMelPatch(melText: string, options: CompileMelPatchOptions): CompileMelPatchResult;
-//# sourceMappingURL=compile-mel.d.ts.map

package/dist/api/compile-mel.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"compile-mel.d.ts","sourceRoot":"","sources":["../../src/api/compile-mel.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAQpF;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,CAAC;IAC1D,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,QAAQ,CAAC;IACf,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC;;OAEG;IACH,MAAM,EAAE,YAAY,GAAG,IAAI,CAAC;IAE5B;;OAEG;IACH,KAAK,EAAE,YAAY,EAAE,CAAC;IAEtB;;OAEG;IACH,QAAQ,EAAE,UAAU,EAAE,CAAC;IAEvB;;OAEG;IACH,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,OAAO,CAAC;IAEd;;OAEG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;;OAGG;IACH,aAAa,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,MAAM,GAAG,OAAO,CAAC,EAAE,CAAA;KAAE,CAAC;IAEnD;;OAEG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC;;;OAGG;IACH,GAAG,EAAE,yBAAyB,EAAE,CAAC;IAEjC;;OAEG;IACH,KAAK,EAAE,YAAY,EAAE,CAAC;IAEtB;;OAEG;IACH,QAAQ,EAAE,UAAU,EAAE,CAAC;IAEvB;;OAEG;IACH,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB;AAID;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,uBAAuB,GAChC,sBAAsB,CAqExB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,sBAAsB,GAC9B,qBAAqB,CAqBvB"}