@manifesto-ai/compiler 1.6.1 → 1.7.0

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

@@ -1,123 +0,0 @@
-/**
- * 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";
-};
-//# sourceMappingURL=evaluate-patch.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"evaluate-patch.d.ts","sourceRoot":"","sources":["../../src/evaluation/evaluate-patch.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,IAAI,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAM1E;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG,cAAc,CAAC;AAE9C;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B;;OAEG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;OAEG;IACH,EAAE,EAAE,gBAAgB,CAAC;IAErB;;OAEG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;OAEG;IACH,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC;;OAEG;IACH,OAAO,EAAE,cAAc,EAAE,CAAC;IAE1B;;OAEG;IACH,OAAO,EAAE,KAAK,CAAC;QACb,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,aAAa,CAAC;KAC1C,CAAC,CAAC;IAEH;;OAEG;IACH,aAAa,EAAE,kBAAkB,CAAC;CACnC;AAID;;;;;;;;;;;;;GAaG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,kBAAkB,EAAE,EACzB,GAAG,EAAE,iBAAiB,GACrB,qBAAqB,CAiDvB;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,kBAAkB,EAAE,EACzB,GAAG,EAAE,iBAAiB,GACrB,cAAc,EAAE,CAclB;AAuCD;;;;;;;;;;;GAWG;AACH,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,cAAc,EAClB,GAAG,EAAE,iBAAiB,GACrB,cAAc,CA8BhB;AAID;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,YAAY,GAAG,SAAS,EACnC,GAAG,EAAE,iBAAiB,GACrB,OAAO,CAOT;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,YAAY,GAAG,SAAS,EACnC,GAAG,EAAE,iBAAiB,GACrB;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,cAAc,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,aAAa,CAAA;CAAE,CAoBzF"}

package/dist/evaluation/evaluate-patch.js

@@ -1,202 +0,0 @@
-/**
- * Patch Evaluation
- *
- * Evaluates ConditionalPatchOp[] to produce concrete schema operations.
- *
- * @see SPEC v0.4.0 §18.5, §18.6
- */
-import { applyPatchToWorkingSnapshot } from "./context.js";
-import { evaluateExpr } from "./evaluate-expr.js";
-// ============ Main Evaluation Function ============
-/**
- * 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 function evaluateConditionalPatchOps(ops, ctx) {
-    const patches = [];
-    const skipped = [];
-    let workingSnapshot = ctx.snapshot;
-    for (const op of ops) {
-        // Create context with current working snapshot
-        const evalCtx = {
-            ...ctx,
-            snapshot: workingSnapshot,
-        };
-        // Evaluate condition if present
-        if (op.condition !== undefined) {
-            const conditionResult = evaluateExpr(op.condition, evalCtx);
-            if (conditionResult !== true) {
-                // Skip this patch
-                const reason = conditionResult === false
-                    ? "false"
-                    : conditionResult === null
-                        ? "null"
-                        : "non-boolean";
-                skipped.push({ fragmentId: op.fragmentId, reason });
-                continue;
-            }
-        }
-        // Evaluate the operation and add to result
-        const evaluated = {
-            fragmentId: op.fragmentId,
-            op: op.op,
-            confidence: op.confidence,
-            conditionEvaluated: op.condition !== undefined,
-        };
-        patches.push(evaluated);
-        // Update working snapshot for sequential semantics
-        workingSnapshot = updateWorkingSnapshot(workingSnapshot, op.op, evalCtx);
-    }
-    return {
-        patches,
-        skipped,
-        finalSnapshot: workingSnapshot,
-    };
-}
-/**
- * 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 function evaluatePatches(ops, ctx) {
-    return ops
-        .filter((op) => {
-        if (op.condition === undefined) {
-            return true;
-        }
-        return evaluateExpr(op.condition, ctx) === true;
-    })
-        .map((op) => ({
-        fragmentId: op.fragmentId,
-        op: op.op,
-        confidence: op.confidence,
-        conditionEvaluated: op.condition !== undefined,
-    }));
-}
-// ============ Working Snapshot Update ============
-/**
- * Update working snapshot based on patch operation.
- *
- * For schema operations, most don't affect the snapshot directly.
- * Only setDefaultValue affects the data model.
- *
- * @see FDR-MEL-070
- */
-function updateWorkingSnapshot(snapshot, op, _ctx) {
-    // Most schema operations don't affect the working snapshot
-    // They modify the schema, not the runtime state
-    switch (op.kind) {
-        case "setDefaultValue":
-            // Apply default value to working snapshot data
-            // This enables sequential evaluation where later ops can see the default
-            return applyPatchToWorkingSnapshot(snapshot, op.path, op.value);
-        case "addType":
-        case "addField":
-        case "setFieldType":
-        case "addConstraint":
-        case "addComputed":
-        case "addActionAvailable":
-            // These don't affect runtime data, only schema structure
-            return snapshot;
-    }
-}
-// ============ Expression Evaluation in Patch Values ============
-/**
- * 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 function evaluatePatchExpressions(op, ctx) {
-    switch (op.kind) {
-        case "addType":
-        case "addField":
-        case "setFieldType":
-        case "setDefaultValue":
-            // These don't have runtime expressions to evaluate
-            return op;
-        case "addConstraint":
-            // rule is evaluated at runtime, but we can evaluate for preview
-            return {
-                ...op,
-                // Keep rule as expression - it's evaluated at runtime by Core
-            };
-        case "addComputed":
-            // expr is evaluated at runtime, but we can evaluate for preview
-            return {
-                ...op,
-                // Keep expr as expression - it's evaluated at runtime by Core
-            };
-        case "addActionAvailable":
-            // expr is evaluated at runtime
-            return {
-                ...op,
-                // Keep expr as expression - it's evaluated at runtime by Core
-            };
-    }
-}
-// ============ Condition Utilities ============
-/**
- * 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 function evaluateCondition(condition, ctx) {
-    if (condition === undefined) {
-        return true;
-    }
-    const result = evaluateExpr(condition, ctx);
-    return result === true;
-}
-/**
- * Classify a condition evaluation result.
- *
- * @param condition - Condition expression
- * @param ctx - Evaluation context
- * @returns Classification of condition result
- */
-export function classifyCondition(condition, ctx) {
-    if (condition === undefined) {
-        return { passes: true, reason: "no-condition" };
-    }
-    const result = evaluateExpr(condition, ctx);
-    if (result === true) {
-        return { passes: true, reason: "true" };
-    }
-    if (result === false) {
-        return { passes: false, reason: "false" };
-    }
-    if (result === null) {
-        return { passes: false, reason: "null" };
-    }
-    return { passes: false, reason: "non-boolean" };
-}
-//# sourceMappingURL=evaluate-patch.js.map

package/dist/evaluation/evaluate-patch.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"evaluate-patch.js","sourceRoot":"","sources":["../../src/evaluation/evaluate-patch.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,OAAO,EAAE,2BAA2B,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AA6DlD,qDAAqD;AAErD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAyB,EACzB,GAAsB;IAEtB,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAqC,EAAE,CAAC;IACrD,IAAI,eAAe,GAAG,GAAG,CAAC,QAAQ,CAAC;IAEnC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,+CAA+C;QAC/C,MAAM,OAAO,GAAsB;YACjC,GAAG,GAAG;YACN,QAAQ,EAAE,eAAe;SAC1B,CAAC;QAEF,gCAAgC;QAChC,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,eAAe,GAAG,YAAY,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAE5D,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;gBAC7B,kBAAkB;gBAClB,MAAM,MAAM,GACV,eAAe,KAAK,KAAK;oBACvB,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC,eAAe,KAAK,IAAI;wBACxB,CAAC,CAAC,MAAM;wBACR,CAAC,CAAC,aAAa,CAAC;gBAEtB,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;gBACpD,SAAS;YACX,CAAC;QACH,CAAC;QAED,2CAA2C;QAC3C,MAAM,SAAS,GAAmB;YAChC,UAAU,EAAE,EAAE,CAAC,UAAU;YACzB,EAAE,EAAE,EAAE,CAAC,EAAE;YACT,UAAU,EAAE,EAAE,CAAC,UAAU;YACzB,kBAAkB,EAAE,EAAE,CAAC,SAAS,KAAK,SAAS;SAC/C,CAAC;QAEF,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAExB,mDAAmD;QACnD,eAAe,GAAG,qBAAqB,CAAC,eAAe,EAAE,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC3E,CAAC;IAED,OAAO;QACL,OAAO;QACP,OAAO;QACP,aAAa,EAAE,eAAe;KAC/B,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAC7B,GAAyB,EACzB,GAAsB;IAEtB,OAAO,GAAG;SACP,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;QACb,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,YAAY,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC;IAClD,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACZ,UAAU,EAAE,EAAE,CAAC,UAAU;QACzB,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,UAAU,EAAE,EAAE,CAAC,UAAU;QACzB,kBAAkB,EAAE,EAAE,CAAC,SAAS,KAAK,SAAS;KAC/C,CAAC,CAAC,CAAC;AACR,CAAC;AAED,oDAAoD;AAEpD;;;;;;;GAOG;AACH,SAAS,qBAAqB,CAC5B,QAA4B,EAC5B,EAAkB,EAClB,IAAuB;IAEvB,2DAA2D;IAC3D,gDAAgD;IAEhD,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,iBAAiB;YACpB,+CAA+C;YAC/C,yEAAyE;YACzE,OAAO,2BAA2B,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;QAElE,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,cAAc,CAAC;QACpB,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,oBAAoB;YACvB,yDAAyD;YACzD,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC;AAED,kEAAkE;AAElE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,wBAAwB,CACtC,EAAkB,EAClB,GAAsB;IAEtB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,cAAc,CAAC;QACpB,KAAK,iBAAiB;YACpB,mDAAmD;YACnD,OAAO,EAAE,CAAC;QAEZ,KAAK,eAAe;YAClB,gEAAgE;YAChE,OAAO;gBACL,GAAG,EAAE;gBACL,8DAA8D;aAC/D,CAAC;QAEJ,KAAK,aAAa;YAChB,gEAAgE;YAChE,OAAO;gBACL,GAAG,EAAE;gBACL,8DAA8D;aAC/D,CAAC;QAEJ,KAAK,oBAAoB;YACvB,+BAA+B;YAC/B,OAAO;gBACL,GAAG,EAAE;gBACL,8DAA8D;aAC/D,CAAC;IACN,CAAC;AACH,CAAC;AAED,gDAAgD;AAEhD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAmC,EACnC,GAAsB;IAEtB,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAC5C,OAAO,MAAM,KAAK,IAAI,CAAC;AACzB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAmC,EACnC,GAAsB;IAEtB,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IAClD,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAE5C,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1C,CAAC;IAED,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAC5C,CAAC;IAED,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC3C,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AAClD,CAAC"}

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

@@ -1,86 +0,0 @@
-/**
- * Runtime Patch Evaluation
- *
- * Evaluates RuntimeConditionalPatchOp[] to produce concrete Patch[].
- *
- * Implements:
- * - SPEC v0.4.0 §18.5: Sequential evaluation with working snapshot
- * - SPEC v0.4.0 §18.6: Boolean-only conditions
- * - SPEC v0.4.0 A35: Total function (returns null on error, never throws)
- *
- * @see SPEC v0.4.0 §20
- */
-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";
-/**
- * Skipped patch info.
- */
-export interface SkippedRuntimePatch {
-    /**
-     * Index in the original ops array.
-     */
-    index: number;
-    /**
-     * Target path.
-     */
-    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[];
-    /**
-     * Final working snapshot after all evaluations.
-     */
-    finalSnapshot: EvaluationSnapshot;
-}
-/**
- * Evaluate runtime conditional patches to concrete Patch[].
- *
- * This is the main API for Host integration. It transforms
- * RuntimeConditionalPatchOp[] (with Core IR expressions) to
- * concrete Patch[] (with evaluated values) that can be passed
- * directly to core.apply().
- *
- * Implements:
- * - §18.5: Sequential evaluation with working snapshot
- * - §18.6: Boolean-only conditions (non-boolean → skip)
- * - A35: Total function (expression errors → null value)
- *
- * @param ops - Runtime conditional patch operations
- * @param ctx - Evaluation context
- * @returns Concrete patches that passed conditions
- *
- * @see SPEC v0.4.0 §20.2
- */
-export declare function evaluateRuntimePatches(ops: RuntimeConditionalPatchOp[], ctx: EvaluationContext): Patch[];
-/**
- * Evaluate runtime patches with trace information.
- *
- * Returns additional information about skipped patches and
- * final snapshot state.
- *
- * @param ops - Runtime conditional patch operations
- * @param ctx - Evaluation context
- * @returns Evaluation result with patches, skipped, and finalSnapshot
- */
-export declare function evaluateRuntimePatchesWithTrace(ops: RuntimeConditionalPatchOp[], ctx: EvaluationContext): RuntimePatchEvaluationResult;
-//# sourceMappingURL=evaluate-runtime-patch.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"evaluate-runtime-patch.d.ts","sourceRoot":"","sources":["../../src/evaluation/evaluate-runtime-patch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAoC,MAAM,oBAAoB,CAAC;AAClF,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AACpF,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAM1E;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG,OAAO,GAAG,MAAM,GAAG,aAAa,CAAC;AAEtE;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;OAEG;IACH,KAAK,EAAE,MAAM,CAAC;IAEd;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;OAEG;IACH,MAAM,EAAE,sBAAsB,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C;;;OAGG;IACH,OAAO,EAAE,KAAK,EAAE,CAAC;IAEjB;;OAEG;IACH,OAAO,EAAE,mBAAmB,EAAE,CAAC;IAE/B;;OAEG;IACH,aAAa,EAAE,kBAAkB,CAAC;CACnC;AAID;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,yBAAyB,EAAE,EAChC,GAAG,EAAE,iBAAiB,GACrB,KAAK,EAAE,CAGT;AAED;;;;;;;;;GASG;AACH,wBAAgB,+BAA+B,CAC7C,GAAG,EAAE,yBAAyB,EAAE,EAChC,GAAG,EAAE,iBAAiB,GACrB,4BAA4B,CA6D9B"}

package/dist/evaluation/evaluate-runtime-patch.js

@@ -1,153 +0,0 @@
-/**
- * Runtime Patch Evaluation
- *
- * Evaluates RuntimeConditionalPatchOp[] to produce concrete Patch[].
- *
- * Implements:
- * - SPEC v0.4.0 §18.5: Sequential evaluation with working snapshot
- * - SPEC v0.4.0 §18.6: Boolean-only conditions
- * - SPEC v0.4.0 A35: Total function (returns null on error, never throws)
- *
- * @see SPEC v0.4.0 §20
- */
-import { applyPatchToWorkingSnapshot } from "./context.js";
-import { evaluateExpr } from "./evaluate-expr.js";
-// ============ Main Evaluation Functions ============
-/**
- * Evaluate runtime conditional patches to concrete Patch[].
- *
- * This is the main API for Host integration. It transforms
- * RuntimeConditionalPatchOp[] (with Core IR expressions) to
- * concrete Patch[] (with evaluated values) that can be passed
- * directly to core.apply().
- *
- * Implements:
- * - §18.5: Sequential evaluation with working snapshot
- * - §18.6: Boolean-only conditions (non-boolean → skip)
- * - A35: Total function (expression errors → null value)
- *
- * @param ops - Runtime conditional patch operations
- * @param ctx - Evaluation context
- * @returns Concrete patches that passed conditions
- *
- * @see SPEC v0.4.0 §20.2
- */
-export function evaluateRuntimePatches(ops, ctx) {
-    const result = evaluateRuntimePatchesWithTrace(ops, ctx);
-    return result.patches;
-}
-/**
- * Evaluate runtime patches with trace information.
- *
- * Returns additional information about skipped patches and
- * final snapshot state.
- *
- * @param ops - Runtime conditional patch operations
- * @param ctx - Evaluation context
- * @returns Evaluation result with patches, skipped, and finalSnapshot
- */
-export function evaluateRuntimePatchesWithTrace(ops, ctx) {
-    const patches = [];
-    const skipped = [];
-    let workingSnapshot = ctx.snapshot;
-    for (let i = 0; i < ops.length; i++) {
-        const op = ops[i];
-        // Create context with current working snapshot
-        const evalCtx = {
-            ...ctx,
-            snapshot: workingSnapshot,
-        };
-        // Evaluate condition if present (boolean-only per §18.6)
-        if (op.condition !== undefined) {
-            const conditionResult = evaluateExpr(op.condition, evalCtx);
-            if (conditionResult !== true) {
-                // Skip this patch
-                const reason = conditionResult === false
-                    ? "false"
-                    : conditionResult === null
-                        ? "null"
-                        : "non-boolean";
-                skipped.push({ index: i, path: op.path, reason });
-                continue;
-            }
-        }
-        // Evaluate value expression to concrete value (A35: null on error)
-        const concreteValue = op.value
-            ? evaluateExpr(op.value, evalCtx)
-            : undefined;
-        // Build concrete patch
-        const patch = buildConcretePatch(op.op, op.path, concreteValue);
-        if (patch !== null) {
-            patches.push(patch);
-            // Update working snapshot for sequential semantics (§18.5)
-            if (op.op !== "unset") {
-                workingSnapshot = applyPatchToWorkingSnapshot(workingSnapshot, op.path, concreteValue);
-            }
-            else {
-                // For unset, we need to remove the value
-                workingSnapshot = applyUnsetToWorkingSnapshot(workingSnapshot, op.path);
-            }
-        }
-    }
-    return {
-        patches,
-        skipped,
-        finalSnapshot: workingSnapshot,
-    };
-}
-// ============ Helper Functions ============
-/**
- * Build a concrete Patch from operation type, path, and value.
- *
- * @param op - Operation type
- * @param path - Target path
- * @param value - Evaluated value
- * @returns Concrete patch or null if invalid
- */
-function buildConcretePatch(op, path, value) {
-    switch (op) {
-        case "set":
-            return { op: "set", path, value };
-        case "unset":
-            return { op: "unset", path };
-        case "merge":
-            // Merge requires an object value
-            if (value !== null && typeof value === "object" && !Array.isArray(value)) {
-                return { op: "merge", path, value: value };
-            }
-            // Invalid merge value - fallback to set with null (A35: no throw)
-            return { op: "set", path, value: null };
-    }
-}
-/**
- * Apply unset to working snapshot.
- *
- * Removes the value at path in the working snapshot.
- */
-function applyUnsetToWorkingSnapshot(snapshot, path) {
-    // Deep clone data
-    const newData = structuredClone(snapshot.data);
-    // Remove value at path
-    removeValueAtPath(newData, path);
-    return {
-        data: newData,
-        computed: snapshot.computed,
-    };
-}
-/**
- * Remove value at a dot-separated path.
- */
-function removeValueAtPath(obj, path) {
-    const parts = path.split(".");
-    let current = obj;
-    for (let i = 0; i < parts.length - 1; i++) {
-        const part = parts[i];
-        if (!(part in current) || typeof current[part] !== "object" || current[part] === null) {
-            return; // Path doesn't exist, nothing to remove
-        }
-        current = current[part];
-    }
-    const lastPart = parts[parts.length - 1];
-    delete current[lastPart];
-}
-//# sourceMappingURL=evaluate-runtime-patch.js.map

package/dist/evaluation/evaluate-runtime-patch.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"evaluate-runtime-patch.js","sourceRoot":"","sources":["../../src/evaluation/evaluate-runtime-patch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAKH,OAAO,EAAE,2BAA2B,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAkDlD,sDAAsD;AAEtD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,sBAAsB,CACpC,GAAgC,EAChC,GAAsB;IAEtB,MAAM,MAAM,GAAG,+BAA+B,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzD,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,+BAA+B,CAC7C,GAAgC,EAChC,GAAsB;IAEtB,MAAM,OAAO,GAAY,EAAE,CAAC;IAC5B,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,IAAI,eAAe,GAAG,GAAG,CAAC,QAAQ,CAAC;IAEnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAElB,+CAA+C;QAC/C,MAAM,OAAO,GAAsB;YACjC,GAAG,GAAG;YACN,QAAQ,EAAE,eAAe;SAC1B,CAAC;QAEF,yDAAyD;QACzD,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,eAAe,GAAG,YAAY,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAE5D,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;gBAC7B,kBAAkB;gBAClB,MAAM,MAAM,GACV,eAAe,KAAK,KAAK;oBACvB,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC,eAAe,KAAK,IAAI;wBACxB,CAAC,CAAC,MAAM;wBACR,CAAC,CAAC,aAAa,CAAC;gBAEtB,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;gBAClD,SAAS;YACX,CAAC;QACH,CAAC;QAED,mEAAmE;QACnE,MAAM,aAAa,GAAG,EAAE,CAAC,KAAK;YAC5B,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC;YACjC,CAAC,CAAC,SAAS,CAAC;QAEd,uBAAuB;QACvB,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QAChE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAEpB,2DAA2D;YAC3D,IAAI,EAAE,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC;gBACtB,eAAe,GAAG,2BAA2B,CAC3C,eAAe,EACf,EAAE,CAAC,IAAI,EACP,aAAa,CACd,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,yCAAyC;gBACzC,eAAe,GAAG,2BAA2B,CAAC,eAAe,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO;QACP,OAAO;QACP,aAAa,EAAE,eAAe;KAC/B,CAAC;AACJ,CAAC;AAED,6CAA6C;AAE7C;;;;;;;GAOG;AACH,SAAS,kBAAkB,CACzB,EAA6B,EAC7B,IAAY,EACZ,KAAc;IAEd,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,KAAK;YACR,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAc,CAAC;QAEhD,KAAK,OAAO;YACV,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAgB,CAAC;QAE7C,KAAK,OAAO;YACV,iCAAiC;YACjC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAgC,EAAgB,CAAC;YACtF,CAAC;YACD,kEAAkE;YAClE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAc,CAAC;IACxD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,2BAA2B,CAClC,QAA4B,EAC5B,IAAY;IAEZ,kBAAkB;IAClB,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,CAA4B,CAAC;IAE1E,uBAAuB;IACvB,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAEjC,OAAO;QACL,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,QAAQ,CAAC,QAAQ;KAC5B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,GAA4B,EAAE,IAAY;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,OAAO,GAA4B,GAAG,CAAC;IAE3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACtF,OAAO,CAAC,wCAAwC;QAClD,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,IAAI,CAA4B,CAAC;IACrD,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC;AAC3B,CAAC"}

package/dist/evaluation/index.d.ts

@@ -1,15 +0,0 @@
-/**
- * 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";
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/evaluation/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,YAAY,EACV,kBAAkB,EAClB,cAAc,EACd,iBAAiB,GAClB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGlD,YAAY,EACV,gBAAgB,EAChB,cAAc,EACd,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,2BAA2B,EAC3B,eAAe,EACf,wBAAwB,EACxB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAG7B,YAAY,EACV,sBAAsB,EACtB,mBAAmB,EACnB,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,sBAAsB,EACtB,+BAA+B,GAChC,MAAM,6BAA6B,CAAC"}

package/dist/evaluation/index.js

@@ -1,13 +0,0 @@
-/**
- * Evaluation Module
- *
- * Evaluates Core IR expressions and conditional patches.
- *
- * @see SPEC v0.4.0 §18
- */
-export { createEvaluationContext, applyPatchToWorkingSnapshot, } from "./context.js";
-// Expression evaluation
-export { evaluateExpr } from "./evaluate-expr.js";
-export { evaluateConditionalPatchOps, evaluatePatches, evaluatePatchExpressions, evaluateCondition, classifyCondition, } from "./evaluate-patch.js";
-export { evaluateRuntimePatches, evaluateRuntimePatchesWithTrace, } from "./evaluate-runtime-patch.js";
-//# sourceMappingURL=index.js.map

package/dist/evaluation/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/evaluation/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AASH,OAAO,EACL,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,cAAc,CAAC;AAEtB,wBAAwB;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AASlD,OAAO,EACL,2BAA2B,EAC3B,eAAe,EACf,wBAAwB,EACxB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAS7B,OAAO,EACL,sBAAsB,EACtB,+BAA+B,GAChC,MAAM,6BAA6B,CAAC"}

package/dist/generator/index.d.ts

@@ -1,7 +0,0 @@
-/**
- * Generator Module - Transforms MEL AST to Core IR
- */
-export * from "./ir.js";
-export * from "./normalizer.js";
-export * from "./lowering.js";
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/generator/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,SAAS,CAAC;AACxB,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC"}

package/dist/generator/index.js

@@ -1,7 +0,0 @@
-/**
- * Generator Module - Transforms MEL AST to Core IR
- */
-export * from "./ir.js";
-export * from "./normalizer.js";
-export * from "./lowering.js";
-//# sourceMappingURL=index.js.map

package/dist/generator/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/generator/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,SAAS,CAAC;AACxB,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC"}