@openmle/omle.js 0.1.0-rc4

package/dist/engine/tree.js

@@ -0,0 +1,274 @@
+// Decision tree and tree ensemble execution for the reference engine.
+import { scalarToNumber } from '../ir.js';
+import { applyPostTransform, tensorToData } from './ops.js';
+import { resolveTensorValue } from '../resolve.js';
+import { evalPredicate } from './predicates.js';
+// ── Tree execution ────────────────────────────────────────────────────────────
+export function executeTree(tree, flatInputs, // shape [N * numSlots]
+numSlots, N, resolved) {
+    const tensorIndex = resolved?.tensorIndex ?? new Map();
+    const leafVecSize = tree.leaf_width ?? 0;
+    const outputWidth = leafVecSize > 1 ? leafVecSize : 1;
+    const out = new Float64Array(N * outputWidth);
+    // Pre-extract tensor data arrays
+    const splitThresholdTensor = resolveTensorValue(tree.split_threshold, tensorIndex);
+    const splitThresholds = splitThresholdTensor ? tensorToData(splitThresholdTensor).data : null;
+    // Detect if the split thresholds were originally stored as float32 (e.g. XGBoost models).
+    // In that case, feature values must be cast to float32 before comparison to match native behaviour.
+    const threshIsFloat32 = splitThresholdTensor != null &&
+        !splitThresholdTensor.float64_data?.length &&
+        !splitThresholdTensor.raw_data &&
+        (splitThresholdTensor.float32_data?.length ?? 0) > 0;
+    const leafValueTensor = resolveTensorValue(tree.leaf_value, tensorIndex);
+    const leafValues = leafValueTensor ? tensorToData(leafValueTensor).data : null;
+    const leafVectorTensor = resolveTensorValue(tree.leaf_vector, tensorIndex);
+    const leafVector = leafVectorTensor ? tensorToData(leafVectorTensor).data : null;
+    // Build complex predicate index for O(1) lookup
+    const complexMap = new Map();
+    for (const cp of tree.complex_predicates ?? []) {
+        complexMap.set(cp.node_index, cp.predicate);
+    }
+    for (let row = 0; row < N; row++) {
+        const rowOffset = row * numSlots;
+        const _resolver = (_, __) => undefined; // unused for compact splits
+        let nodeIdx = 0;
+        let _loopGuard = 0;
+        while (true) {
+            if (++_loopGuard > 100_000)
+                throw new Error(`Tree traversal loop at node ${nodeIdx} row ${row}`);
+            const kind = tree.node_kind?.[nodeIdx] ?? 'LEAF';
+            if (kind === 'LEAF') {
+                if (outputWidth > 1) {
+                    const vecIdx = (tree.leaf_vector_index?.[nodeIdx] ?? 0);
+                    for (let k = 0; k < outputWidth; k++) {
+                        out[row * outputWidth + k] = leafVector?.[vecIdx + k] ?? 0;
+                    }
+                }
+                else {
+                    out[row] = leafValues?.[nodeIdx] ?? 0;
+                }
+                break;
+            }
+            // BRANCH: evaluate split
+            const childOffset = tree.children_offset?.[nodeIdx] ?? 0;
+            const complexPred = complexMap.get(nodeIdx);
+            if (complexPred) {
+                // Full predicate fallback — build resolver from flat slot space
+                const slotResolver = (name, _r) => {
+                    const slotIdx = parseInt(name);
+                    if (!isNaN(slotIdx))
+                        return flatInputs[rowOffset + slotIdx];
+                    return undefined;
+                };
+                const result = evalPredicate(complexPred, slotResolver, row);
+                const goLeft = result !== false;
+                nodeIdx = tree.children_index?.[childOffset + (goLeft ? 0 : 1)] ?? 0;
+                continue;
+            }
+            const featureIdx = tree.split_feature?.[nodeIdx] ?? 0;
+            const featureValRaw = flatInputs[rowOffset + featureIdx];
+            const isMissing = isNaN(featureValRaw);
+            if (isMissing) {
+                nodeIdx = tree.default_child?.[nodeIdx] ?? 0;
+                continue;
+            }
+            // When thresholds are float32 (e.g. XGBoost), cast feature value to float32
+            // so that boundary comparisons match the native engine's behaviour.
+            const featureVal = threshIsFloat32 ? Math.fround(featureValRaw) : featureValRaw;
+            const op = tree.split_op?.[nodeIdx] ?? 'SPLIT_OP_UNSPECIFIED';
+            const threshold = splitThresholds?.[nodeIdx] ?? 0;
+            const goLeft = evalSplitOp(op, featureVal, threshold, nodeIdx, tree);
+            nodeIdx = tree.children_index?.[childOffset + (goLeft ? 0 : 1)] ?? 0;
+        }
+    }
+    return out;
+}
+function evalSplitOp(op, val, threshold, nodeIdx, tree) {
+    switch (op) {
+        case 'LESS_THAN': return val < threshold;
+        case 'LESS_OR_EQUAL': return val <= threshold;
+        case 'GREATER_THAN': return val > threshold;
+        case 'GREATER_OR_EQUAL': return val >= threshold;
+        case 'EQUAL': return val === threshold;
+        case 'NOT_EQUAL': return val !== threshold;
+        case 'IS_MISSING': return isNaN(val);
+        case 'IN_SET': {
+            const offset = tree.category_set_offset?.[nodeIdx] ?? 0;
+            const count = tree.category_set_count?.[nodeIdx] ?? 0;
+            for (let j = offset; j < offset + count; j++) {
+                if (tree.category_set?.[j] === val)
+                    return true;
+            }
+            return false;
+        }
+        case 'NOT_IN_SET': {
+            const offset = tree.category_set_offset?.[nodeIdx] ?? 0;
+            const count = tree.category_set_count?.[nodeIdx] ?? 0;
+            for (let j = offset; j < offset + count; j++) {
+                if (tree.category_set?.[j] === val)
+                    return false;
+            }
+            return true;
+        }
+        default: return true;
+    }
+}
+// ── TreeEnsemble execution ────────────────────────────────────────────────────
+export function executeTreeEnsemble(ensemble, flatInputs, numSlots, N, resolved) {
+    const trees = ensemble.trees ?? [];
+    if (trees.length === 0)
+        return new Float64Array(N);
+    // Determine per-tree output width from first tree
+    const firstTree = trees[0];
+    const leafVecSize = firstTree.leaf_width ?? 0;
+    const perTreeWidth = leafVecSize > 1 ? leafVecSize : 1;
+    const treeOutputs = trees.map(t => executeTree(t, flatInputs, numSlots, N, resolved));
+    const weightsTensor = resolveTensorValue(ensemble.tree_weights, resolved.tensorIndex);
+    const weightsData = weightsTensor ? tensorToData(weightsTensor).data : null;
+    const aggregation = ensemble.aggregation ?? 'SUM';
+    const baseScore = ensemble.base_score != null ? scalarToNumber(ensemble.base_score) : null;
+    const treeGroup = ensemble.tree_group;
+    // Determine output width after aggregation
+    const _numClasses = perTreeWidth > 1 ? perTreeWidth : 1;
+    let outWidth;
+    if (treeGroup && treeGroup.length === trees.length) {
+        // multiclass with class-grouped trees
+        outWidth = Math.max(...treeGroup) + 1;
+    }
+    else {
+        outWidth = perTreeWidth;
+    }
+    const rawScores = new Float64Array(N * outWidth);
+    if (baseScore !== null && baseScore !== undefined) {
+        rawScores.fill(baseScore);
+    }
+    switch (aggregation) {
+        case 'SUM':
+        case 'WEIGHTED_SUM': {
+            for (let t = 0; t < trees.length; t++) {
+                const w = weightsData?.[t] ?? 1;
+                const treeOut = treeOutputs[t];
+                if (treeGroup) {
+                    const classIdx = treeGroup[t];
+                    for (let row = 0; row < N; row++) {
+                        rawScores[row * outWidth + classIdx] += w * treeOut[row];
+                    }
+                }
+                else if (perTreeWidth > 1) {
+                    for (let row = 0; row < N; row++) {
+                        for (let k = 0; k < perTreeWidth; k++) {
+                            rawScores[row * outWidth + k] += w * treeOut[row * perTreeWidth + k];
+                        }
+                    }
+                }
+                else {
+                    for (let row = 0; row < N; row++) {
+                        rawScores[row] += w * treeOut[row];
+                    }
+                }
+            }
+            break;
+        }
+        case 'AVERAGE':
+        case 'WEIGHTED_AVERAGE': {
+            let totalWeight = 0;
+            for (let t = 0; t < trees.length; t++) {
+                const w = weightsData?.[t] ?? 1;
+                totalWeight += w;
+                const treeOut = treeOutputs[t];
+                for (let row = 0; row < N; row++) {
+                    if (perTreeWidth > 1) {
+                        for (let k = 0; k < perTreeWidth; k++) {
+                            rawScores[row * outWidth + k] += w * treeOut[row * perTreeWidth + k];
+                        }
+                    }
+                    else {
+                        rawScores[row] += w * treeOut[row];
+                    }
+                }
+            }
+            if (totalWeight > 0) {
+                for (let i = 0; i < rawScores.length; i++)
+                    rawScores[i] /= totalWeight;
+            }
+            break;
+        }
+        case 'SOFT_VOTE': {
+            // Average per-class tree outputs. With treeGroup, each tree contributes to one class.
+            const classCounts = new Float64Array(outWidth);
+            for (let t = 0; t < trees.length; t++) {
+                const w = weightsData?.[t] ?? 1;
+                const treeOut = treeOutputs[t];
+                if (treeGroup) {
+                    const classIdx = treeGroup[t];
+                    classCounts[classIdx] += w;
+                    for (let row = 0; row < N; row++) {
+                        rawScores[row * outWidth + classIdx] += w * treeOut[row];
+                    }
+                }
+                else {
+                    for (let row = 0; row < N; row++) {
+                        for (let k = 0; k < outWidth; k++) {
+                            rawScores[row * outWidth + k] += w * (treeOut[row * outWidth + k] ?? treeOut[row]);
+                        }
+                    }
+                    classCounts[0] += w;
+                }
+            }
+            for (let k = 0; k < outWidth; k++) {
+                if (classCounts[k] > 0) {
+                    for (let row = 0; row < N; row++)
+                        rawScores[row * outWidth + k] /= classCounts[k];
+                }
+            }
+            break;
+        }
+        case 'MAJORITY_VOTE': {
+            const votes = new Array(N).fill(0).map(() => new Map());
+            for (let t = 0; t < trees.length; t++) {
+                const treeOut = treeOutputs[t];
+                for (let row = 0; row < N; row++) {
+                    const label = Math.round(treeOut[row]);
+                    votes[row].set(label, (votes[row].get(label) ?? 0) + 1);
+                }
+            }
+            for (let row = 0; row < N; row++) {
+                let bestLabel = 0, bestCount = 0;
+                for (const [label, count] of votes[row]) {
+                    if (count > bestCount) {
+                        bestCount = count;
+                        bestLabel = label;
+                    }
+                }
+                rawScores[row] = bestLabel;
+            }
+            break;
+        }
+        case 'MIN': {
+            rawScores.fill(Infinity);
+            for (const treeOut of treeOutputs) {
+                for (let i = 0; i < rawScores.length; i++) {
+                    rawScores[i] = Math.min(rawScores[i], treeOut[i]);
+                }
+            }
+            break;
+        }
+        case 'MAX': {
+            rawScores.fill(-Infinity);
+            for (const treeOut of treeOutputs) {
+                for (let i = 0; i < rawScores.length; i++) {
+                    rawScores[i] = Math.max(rawScores[i], treeOut[i]);
+                }
+            }
+            break;
+        }
+        default:
+            // SUM fallback
+            for (const treeOut of treeOutputs) {
+                for (let i = 0; i < rawScores.length; i++)
+                    rawScores[i] += treeOut[i];
+            }
+    }
+    return applyPostTransform(rawScores, ensemble.post_transform, outWidth);
+}
+//# sourceMappingURL=tree.js.map

package/dist/engine/tree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree.js","sourceRoot":"","sources":["../../src/engine/tree.ts"],"names":[],"mappings":"AAAA,sEAAsE;AAGtE,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAE5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGhD,iFAAiF;AAEjF,MAAM,UAAU,WAAW,CACzB,IAAU,EACV,UAAwB,EAAG,uBAAuB;AAClD,QAAgB,EAChB,CAAS,EACT,QAAwB;IAExB,MAAM,WAAW,GAAG,QAAQ,EAAE,WAAW,IAAI,IAAI,GAAG,EAAE,CAAC;IACvD,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,IAAI,YAAY,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC;IAE9C,iCAAiC;IACjC,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,IAAI,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;IACnF,MAAM,eAAe,GAAG,oBAAoB,CAAC,CAAC,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC,IAAoB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9G,0FAA0F;IAC1F,oGAAoG;IACpG,MAAM,eAAe,GAAG,oBAAoB,IAAI,IAAI;QAClD,CAAC,oBAAoB,CAAC,YAAY,EAAE,MAAM;QAC1C,CAAC,oBAAoB,CAAC,QAAQ;QAC9B,CAAC,oBAAoB,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACvD,MAAM,eAAe,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,IAAoB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/F,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAC3E,MAAM,UAAU,GAAG,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,IAAoB,CAAC,CAAC,CAAC,IAAI,CAAC;IAEjG,gDAAgD;IAChD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwC,CAAC;IACnE,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,kBAAkB,IAAI,EAAE,EAAE,CAAC;QAC/C,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC;IAED,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QACjC,MAAM,SAAS,GAAG,GAAG,GAAG,QAAQ,CAAC;QACjC,MAAM,SAAS,GAAmB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,4BAA4B;QAEpF,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,EAAE,UAAU,GAAG,OAAO;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,OAAO,QAAQ,GAAG,EAAE,CAAC,CAAC;YACjG,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC;YACjD,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpB,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;oBACpB,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;oBACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;wBACrC,GAAG,CAAC,GAAG,GAAG,WAAW,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC7D,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACxC,CAAC;gBACD,MAAM;YACR,CAAC;YAED,yBAAyB;YACzB,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAEzD,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5C,IAAI,WAAW,EAAE,CAAC;gBAChB,gEAAgE;gBAChE,MAAM,YAAY,GAAmB,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE;oBAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;wBAAE,OAAO,UAAU,CAAC,SAAS,GAAG,OAAO,CAAC,CAAC;oBAC5D,OAAO,SAAS,CAAC;gBACnB,CAAC,CAAC;gBACF,MAAM,MAAM,GAAG,aAAa,CAAC,WAAW,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAC7D,MAAM,MAAM,GAAG,MAAM,KAAK,KAAK,CAAC;gBAChC,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC,WAAW,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACrE,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,aAAa,GAAG,UAAU,CAAC,SAAS,GAAG,UAAU,CAAC,CAAC;YACzD,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;YAEvC,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC7C,SAAS;YACX,CAAC;YAED,4EAA4E;YAC5E,oEAAoE;YACpE,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAChF,MAAM,EAAE,GAAgB,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,sBAAsB,CAAC;YAC3E,MAAM,SAAS,GAAG,eAAe,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YACrE,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC,WAAW,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAClB,EAAe,EACf,GAAW,EACX,SAAiB,EACjB,OAAe,EACf,IAAU;IAEV,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,WAAW,CAAC,CAAC,OAAO,GAAG,GAAG,SAAS,CAAC;QACzC,KAAK,eAAe,CAAC,CAAC,OAAO,GAAG,IAAI,SAAS,CAAC;QAC9C,KAAK,cAAc,CAAC,CAAC,OAAO,GAAG,GAAG,SAAS,CAAC;QAC5C,KAAK,kBAAkB,CAAC,CAAC,OAAO,GAAG,IAAI,SAAS,CAAC;QACjD,KAAK,OAAO,CAAC,CAAC,OAAO,GAAG,KAAK,SAAS,CAAC;QACvC,KAAK,WAAW,CAAC,CAAC,OAAO,GAAG,KAAK,SAAS,CAAC;QAC3C,KAAK,YAAY,CAAC,CAAC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC;QACrC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACtD,KAAK,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,OAAO,IAAI,CAAC;YAClD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACtD,KAAK,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,OAAO,KAAK,CAAC;YACnD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACvB,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,mBAAmB,CACjC,QAAsB,EACtB,UAAwB,EACxB,QAAgB,EAChB,CAAS,EACT,QAAuB;IAEvB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;IACnC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;IAEnD,kDAAkD;IAClD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,WAAW,GAAG,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvD,MAAM,WAAW,GAAmB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAChD,WAAW,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,CAClD,CAAC;IAEF,MAAM,aAAa,GAAG,kBAAkB,CAAC,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IACtF,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,IAAoB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5F,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,IAAI,KAAK,CAAC;IAClD,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC;IAEtC,2CAA2C;IAC3C,MAAM,WAAW,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,QAAgB,CAAC;IAErB,IAAI,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACnD,sCAAsC;QACtC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IACxC,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,YAAY,CAAC;IAC1B,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,YAAY,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC;IAEjD,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAClD,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IAED,QAAQ,WAAW,EAAE,CAAC;QACpB,KAAK,KAAK,CAAC;QACX,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAChC,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,SAAS,EAAE,CAAC;oBACd,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBAC9B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;wBACjC,SAAS,CAAC,GAAG,GAAG,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;oBAC3D,CAAC;gBACH,CAAC;qBAAM,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;oBAC5B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;wBACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;4BACtC,SAAS,CAAC,GAAG,GAAG,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC;wBACvE,CAAC;oBACH,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;wBACjC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;oBACrC,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,SAAS,CAAC;QACf,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,IAAI,WAAW,GAAG,CAAC,CAAC;YACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAChC,WAAW,IAAI,CAAC,CAAC;gBACjB,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC/B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;oBACjC,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;wBACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;4BACtC,SAAS,CAAC,GAAG,GAAG,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC;wBACvE,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;oBACrC,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;gBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE;oBAAE,SAAS,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC;YACzE,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,sFAAsF;YACtF,MAAM,WAAW,GAAG,IAAI,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAChC,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,SAAS,EAAE,CAAC;oBACd,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBAC9B,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAC3B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;wBACjC,SAAS,CAAC,GAAG,GAAG,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;oBAC3D,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;wBACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;4BAClC,SAAS,CAAC,GAAG,GAAG,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,GAAG,QAAQ,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;wBACrF,CAAC;oBACH,CAAC;oBACD,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClC,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;oBACvB,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE;wBAAE,SAAS,CAAC,GAAG,GAAG,QAAQ,GAAG,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;gBACpF,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,EAAkB,CAAC,CAAC;YACxE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC/B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;oBACjC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;oBACvC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;YACD,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;gBACjC,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC;gBACjC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBACxC,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;wBAAC,SAAS,GAAG,KAAK,CAAC;wBAAC,SAAS,GAAG,KAAK,CAAC;oBAAC,CAAC;gBAClE,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;YAC7B,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACzB,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;gBAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC1B,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;gBAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED;YACE,eAAe;YACf,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;gBAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE;oBAAE,SAAS,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC;YACxE,CAAC;IACL,CAAC;IAED,OAAO,kBAAkB,CAAC,SAAS,EAAE,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;AAC1E,CAAC"}

package/dist/engine/validate_inputs.d.ts

@@ -0,0 +1,22 @@
+import type { OMLEModel } from '../ir.js';
+export interface InputIssue {
+    kind: 'missing' | 'wrong_type' | 'wrong_shape';
+    name: string;
+    expected?: string;
+    got?: string;
+    message: string;
+}
+export interface InputValidationResult {
+    valid: boolean;
+    issues: InputIssue[];
+}
+/**
+ * Validates that `inputs` satisfies the model's declared input contract.
+ *
+ * Checks (in order, per input):
+ *   1. Presence — every name in model.inputs (or model_schema.features as fallback) must be present.
+ *   2. dtype compatibility — the JS type of the value must be compatible with the declared dtype.
+ *   3. Shape — rank must match; fixed dimensions (> 0) must match exactly; ≤ 0 is treated as dynamic.
+ */
+export declare function validateInputs(model: OMLEModel, inputs: Record<string, unknown>): InputValidationResult;
+//# sourceMappingURL=validate_inputs.d.ts.map

package/dist/engine/validate_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate_inputs.d.ts","sourceRoot":"","sources":["../../src/engine/validate_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAkC,MAAM,UAAU,CAAC;AAE1E,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,SAAS,GAAG,YAAY,GAAG,aAAa,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,EAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,qBAAqB,CAqCvB"}

package/dist/engine/validate_inputs.js

@@ -0,0 +1,225 @@
+/**
+ * Validates that `inputs` satisfies the model's declared input contract.
+ *
+ * Checks (in order, per input):
+ *   1. Presence — every name in model.inputs (or model_schema.features as fallback) must be present.
+ *   2. dtype compatibility — the JS type of the value must be compatible with the declared dtype.
+ *   3. Shape — rank must match; fixed dimensions (> 0) must match exactly; ≤ 0 is treated as dynamic.
+ */
+export function validateInputs(model, inputs) {
+    const issues = [];
+    const specs = buildInputSpecs(model);
+    if (specs.length === 0) {
+        return { valid: true, issues: [] };
+    }
+    for (const spec of specs) {
+        const provided = Object.prototype.hasOwnProperty.call(inputs, spec.name)
+            ? inputs[spec.name]
+            : undefined;
+        if (provided === undefined || provided === null) {
+            issues.push({
+                kind: 'missing',
+                name: spec.name,
+                expected: spec.typeHint,
+                message: spec.typeHint
+                    ? `Missing input "${spec.name}" (expected ${spec.typeHint})`
+                    : `Missing input "${spec.name}"`,
+            });
+            continue;
+        }
+        if (spec.dtype) {
+            const issue = checkDtype(spec.name, provided, spec.dtype);
+            if (issue) {
+                issues.push(issue);
+                continue;
+            }
+        }
+        if (spec.shape) {
+            const issue = checkShape(spec.name, provided, spec.shape, spec.typeHint);
+            if (issue)
+                issues.push(issue);
+        }
+    }
+    return { valid: issues.length === 0, issues };
+}
+function buildInputSpecs(model) {
+    if (model.inputs && model.inputs.length > 0) {
+        return model.inputs.map(specFromInputSpec);
+    }
+    const features = model.model_schema?.features ?? [];
+    const named = features.filter((f) => typeof f.name === 'string' && f.name.length > 0);
+    return named.map(specFromFeature);
+}
+function specFromInputSpec(inp) {
+    return { name: inp.name, dtype: inp.type?.dtype, shape: normShape(inp.type), typeHint: typeHint(inp.type) };
+}
+function specFromFeature(feat) {
+    return { name: feat.name, dtype: feat.type?.dtype, shape: normShape(feat.type), typeHint: typeHint(feat.type) };
+}
+// ── Shape normalization ──────────────────────────────────���────────────────────
+// JSON may encode int64 shape dims as strings (e.g. "-1"), coerce them to numbers.
+function normShape(t) {
+    if (!t?.shape || t.shape.length === 0)
+        return undefined;
+    return t.shape.map(d => Number(d));
+}
+function typeHint(t) {
+    if (!t)
+        return undefined;
+    const shape = t.shape && t.shape.length > 0
+        ? `[${t.shape.map(d => (Number(d) <= 0 ? 'N' : Number(d))).join('×')}]`
+        : undefined;
+    if (t.dtype && shape)
+        return `${t.dtype}${shape}`;
+    if (t.dtype)
+        return t.dtype;
+    return shape;
+}
+// ── Shape inference ───────────────────────────────────────────────────────────
+function inferShape(v) {
+    if (typeof v === 'number' || typeof v === 'boolean' || typeof v === 'string')
+        return [];
+    if (v instanceof Float32Array || v instanceof Float64Array ||
+        v instanceof Int8Array || v instanceof Int16Array ||
+        v instanceof Int32Array || v instanceof Uint8Array ||
+        v instanceof Uint16Array || v instanceof Uint32Array) {
+        return [v.length];
+    }
+    if (Array.isArray(v)) {
+        if (v.length === 0)
+            return [0];
+        const inner = v[0];
+        if (Array.isArray(inner))
+            return [v.length, inner.length];
+        return [v.length];
+    }
+    if (typeof v === 'object' && v !== null) {
+        const obj = v;
+        if (Array.isArray(obj['shape']))
+            return obj['shape'].map(Number);
+    }
+    return null;
+}
+// ── Shape check ──────────────────────────────────────────────────────��────────
+function checkShape(name, value, expectedShape, typeHint) {
+    const actualShape = inferShape(value);
+    if (actualShape === null)
+        return null;
+    // A scalar (actualShape=[]) is compatible with any 1-D expected shape where
+    // every fixed dim is 1 or dynamic — e.g. expected [-1] or [1].
+    if (actualShape.length === 0) {
+        const ok = expectedShape.every(d => Number(d) <= 0 || Number(d) === 1);
+        if (ok)
+            return null;
+    }
+    // When the expected shape's first dim is dynamic (-1/0), a scalar or 1-D
+    // array can represent a single-row batch — allow rank-1 vs rank-2 mismatch
+    // only when the batch dim is dynamic and remaining dims match.
+    const expected = expectedShape.map(Number);
+    const isDynamicBatch = expected[0] <= 0;
+    if (actualShape.length !== expected.length) {
+        // Tolerate: actual=[k] vs expected=[-1, k]  (single-row batch as flat array)
+        if (isDynamicBatch && actualShape.length === expected.length - 1) {
+            const inner = expected.slice(1);
+            const mismatch = inner.findIndex((d, i) => d > 0 && d !== actualShape[i]);
+            if (mismatch === -1)
+                return null;
+        }
+        const expStr = shapeStr(expected);
+        const gotStr = shapeStr(actualShape);
+        return {
+            kind: 'wrong_shape',
+            name,
+            expected: typeHint ?? expStr,
+            got: gotStr,
+            message: `Input "${name}": rank mismatch — expected ${expStr}, got ${gotStr}`,
+        };
+    }
+    // Same rank — check each fixed dimension.
+    for (let i = 0; i < expected.length; i++) {
+        const expDim = expected[i];
+        const actDim = actualShape[i];
+        if (expDim > 0 && actDim !== expDim) {
+            const expStr = shapeStr(expected);
+            const gotStr = shapeStr(actualShape);
+            return {
+                kind: 'wrong_shape',
+                name,
+                expected: typeHint ?? expStr,
+                got: gotStr,
+                message: `Input "${name}": shape mismatch at dim ${i} — expected ${expStr}, got ${gotStr}`,
+            };
+        }
+    }
+    return null;
+}
+function shapeStr(shape) {
+    if (shape.length === 0)
+        return 'scalar';
+    return `[${shape.map(d => (d <= 0 ? 'N' : d)).join('×')}]`;
+}
+// ── Dtype check ───────────────────────────────────────────────────────────────
+const NUMERIC_DTYPES = new Set([
+    'BOOL',
+    'INT8', 'INT16', 'INT32', 'INT64',
+    'UINT8', 'UINT16', 'UINT32', 'UINT64',
+    'FLOAT16', 'FLOAT32', 'FLOAT64',
+    'DATE', 'TIME', 'TIMESTAMP',
+]);
+function checkDtype(name, value, dtype) {
+    const expectsString = dtype === 'STRING' || dtype === 'BYTES';
+    const expectsNumeric = NUMERIC_DTYPES.has(dtype);
+    const jsType = inferJsType(value);
+    if (expectsString && jsType !== 'string' && jsType !== 'string[]' && jsType !== 'TensorData') {
+        return {
+            kind: 'wrong_type',
+            name,
+            expected: dtype,
+            got: jsType,
+            message: `Input "${name}": expected string value for dtype ${dtype}, got ${jsType}`,
+        };
+    }
+    if (expectsNumeric && jsType === 'string') {
+        return {
+            kind: 'wrong_type',
+            name,
+            expected: dtype,
+            got: jsType,
+            message: `Input "${name}": expected numeric value for dtype ${dtype}, got string`,
+        };
+    }
+    return null;
+}
+function inferJsType(v) {
+    if (typeof v === 'string')
+        return 'string';
+    if (typeof v === 'boolean')
+        return 'boolean';
+    if (typeof v === 'number')
+        return 'numeric';
+    if (v instanceof Float32Array || v instanceof Float64Array ||
+        v instanceof Int32Array || v instanceof Int8Array ||
+        v instanceof Uint8Array || v instanceof Uint16Array ||
+        v instanceof Uint32Array || v instanceof BigInt64Array)
+        return 'numeric';
+    if (Array.isArray(v)) {
+        if (v.length === 0)
+            return 'array';
+        return inferJsType(v[0]) + '[]';
+    }
+    if (typeof v === 'object' && v !== null) {
+        const obj = v;
+        if ('dtype' in obj && 'data' in obj)
+            return 'TensorData';
+        // IR dense tensor format: {string_data, float64_data, ...}
+        if ('string_data' in obj)
+            return 'string[]';
+        if ('float64_data' in obj || 'float32_data' in obj ||
+            'int32_data' in obj || 'int64_data' in obj ||
+            'bool_data' in obj || 'raw_data' in obj)
+            return 'numeric[]';
+        return 'object';
+    }
+    return typeof v;
+}
+//# sourceMappingURL=validate_inputs.js.map

package/dist/engine/validate_inputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate_inputs.js","sourceRoot":"","sources":["../../src/engine/validate_inputs.ts"],"names":[],"mappings":"AAeA;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAgB,EAChB,MAA+B;IAE/B,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAErC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACrC,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;YACtE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YACnB,CAAC,CAAC,SAAS,CAAC;QAEd,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAM,SAAS;gBACnB,IAAI,EAAM,IAAI,CAAC,IAAI;gBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAG,IAAI,CAAC,QAAQ;oBACrB,CAAC,CAAC,kBAAkB,IAAI,CAAC,IAAI,eAAe,IAAI,CAAC,QAAQ,GAAG;oBAC5D,CAAC,CAAC,kBAAkB,IAAI,CAAC,IAAI,GAAG;aACnC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1D,IAAI,KAAK,EAAE,CAAC;gBAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;QAC9C,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACzE,IAAI,KAAK;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAWD,SAAS,eAAe,CAAC,KAAgB;IACvC,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,EAAE,QAAQ,IAAI,EAAE,CAAC;IACpD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAmC,EAAE,CACnE,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAChD,CAAC;IACF,OAAO,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAc;IACvC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9G,CAAC;AAED,SAAS,eAAe,CAAC,IAAgC;IACvD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAClH,CAAC;AAED,mFAAmF;AAEnF,mFAAmF;AACnF,SAAS,SAAS,CAAC,CAAc;IAC/B,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACxD,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,QAAQ,CAAC,CAAc;IAC9B,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACzC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;QACvE,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK;QAAE,OAAO,GAAG,CAAC,CAAC,KAAK,GAAG,KAAK,EAAE,CAAC;IAClD,IAAI,CAAC,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC,KAAK,CAAC;IAC5B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AAEjF,SAAS,UAAU,CAAC,CAAU;IAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAExF,IAAI,CAAC,YAAY,YAAY,IAAI,CAAC,YAAY,YAAY;QACtD,CAAC,YAAY,SAAS,IAAO,CAAC,YAAY,UAAU;QACpD,CAAC,YAAY,UAAU,IAAM,CAAC,YAAY,UAAU;QACpD,CAAC,YAAY,WAAW,IAAK,CAAC,YAAY,WAAW,EAAE,CAAC;QAC1D,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1D,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,CAA4B,CAAC;QACzC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAAE,OAAQ,GAAG,CAAC,OAAO,CAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjF,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kFAAkF;AAElF,SAAS,UAAU,CACjB,IAAY,EACZ,KAAc,EACd,aAAuB,EACvB,QAAiB;IAEjB,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtC,4EAA4E;IAC5E,+DAA+D;IAC/D,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,IAAI,EAAE;YAAE,OAAO,IAAI,CAAC;IACtB,CAAC;IAED,yEAAyE;IACzE,2EAA2E;IAC3E,+DAA+D;IAC/D,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAExC,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3C,6EAA6E;QAC7E,IAAI,cAAc,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjE,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1E,IAAI,QAAQ,KAAK,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;QACnC,CAAC;QAED,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;QACrC,OAAO;YACL,IAAI,EAAM,aAAa;YACvB,IAAI;YACJ,QAAQ,EAAE,QAAQ,IAAI,MAAM;YAC5B,GAAG,EAAO,MAAM;YAChB,OAAO,EAAG,UAAU,IAAI,+BAA+B,MAAM,SAAS,MAAM,EAAE;SAC/E,CAAC;IACJ,CAAC;IAED,0CAA0C;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;YACrC,OAAO;gBACL,IAAI,EAAM,aAAa;gBACvB,IAAI;gBACJ,QAAQ,EAAE,QAAQ,IAAI,MAAM;gBAC5B,GAAG,EAAO,MAAM;gBAChB,OAAO,EAAG,UAAU,IAAI,4BAA4B,CAAC,eAAe,MAAM,SAAS,MAAM,EAAE;aAC5F,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAe;IAC/B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACxC,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC7D,CAAC;AAED,iFAAiF;AAEjF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,MAAM;IACN,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO;IACjC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ;IACrC,SAAS,EAAE,SAAS,EAAE,SAAS;IAC/B,MAAM,EAAE,MAAM,EAAE,WAAW;CAC5B,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,IAAY,EAAE,KAAc,EAAE,KAAa;IAC7D,MAAM,aAAa,GAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,OAAO,CAAC;IAC/D,MAAM,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAEjD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAElC,IAAI,aAAa,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;QAC7F,OAAO;YACL,IAAI,EAAK,YAAY;YACrB,IAAI;YACJ,QAAQ,EAAE,KAAK;YACf,GAAG,EAAM,MAAM;YACf,OAAO,EAAE,UAAU,IAAI,sCAAsC,KAAK,SAAS,MAAM,EAAE;SACpF,CAAC;IACJ,CAAC;IAED,IAAI,cAAc,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC1C,OAAO;YACL,IAAI,EAAK,YAAY;YACrB,IAAI;YACJ,QAAQ,EAAE,KAAK;YACf,GAAG,EAAM,MAAM;YACf,OAAO,EAAE,UAAU,IAAI,uCAAuC,KAAK,cAAc;SAClF,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAG,OAAO,QAAQ,CAAC;IAC5C,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAG,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC,YAAY,YAAY,IAAI,CAAC,YAAY,YAAY;QACtD,CAAC,YAAY,UAAU,IAAM,CAAC,YAAY,SAAS;QACnD,CAAC,YAAY,UAAU,IAAM,CAAC,YAAY,WAAW;QACrD,CAAC,YAAY,WAAW,IAAK,CAAC,YAAY,aAAa;QAAE,OAAO,SAAS,CAAC;IAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QACnC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;IAClC,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,CAA4B,CAAC;QACzC,IAAI,OAAO,IAAI,GAAG,IAAI,MAAM,IAAI,GAAG;YAAE,OAAO,YAAY,CAAC;QACzD,2DAA2D;QAC3D,IAAI,aAAa,IAAI,GAAG;YAAE,OAAO,UAAU,CAAC;QAC5C,IAAI,cAAc,IAAI,GAAG,IAAI,cAAc,IAAI,GAAG;YAC9C,YAAY,IAAK,GAAG,IAAI,YAAY,IAAK,GAAG;YAC5C,WAAW,IAAM,GAAG,IAAI,UAAU,IAAO,GAAG;YAAE,OAAO,WAAW,CAAC;QACrE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,OAAO,CAAC,CAAC;AAClB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,12 @@
+export * from './ir.js';
+export * from './io.js';
+export * from './resolve.js';
+export * from './validate.js';
+export { Engine } from './engine/executor.js';
+export { validateInputs } from './engine/validate_inputs.js';
+export type { InputIssue, InputValidationResult } from './engine/validate_inputs.js';
+export type { InferenceInput, InferenceOutput, SerializedTensor, StepSnapshot, SteppedResult, VerifyResult, CaseVerifyResult, OutputVerifyResult } from './engine/executor.js';
+export type { ModelExplain, TreeEnsembleExplain, TreeExplainItem, TreePathStep, LinearExplain, LinearContribution, NaiveBayesExplain, NaiveBayesFeatureContrib, ClusteringExplain, CentroidDistance, } from './engine/explain.js';
+export type { TensorData } from './engine/ops.js';
+export { tensorToData, applyPostTransform } from './engine/ops.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AASA,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAE9B,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,YAAY,EAAE,UAAU,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACrF,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,gBAAgB,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC/K,YAAY,EACV,YAAY,EAAE,mBAAmB,EAAE,eAAe,EAAE,YAAY,EAChE,aAAa,EAAE,kBAAkB,EACjC,iBAAiB,EAAE,wBAAwB,EAC3C,iBAAiB,EAAE,gBAAgB,GACpC,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/index.js

@@ -0,0 +1,16 @@
+// omle.js — Public API
+//
+// Usage:
+//   import { fromJSON, validate, Engine } from '@openmle/omle.js';
+//   const model = fromJSON(jsonString);
+//   const result = validate(model);
+//   const engine = new Engine(model);
+//   const outputs = engine.run({ X: { dtype: 'FLOAT64', shape: [1, 4], data: new Float64Array([...]) } });
+export * from './ir.js';
+export * from './io.js';
+export * from './resolve.js';
+export * from './validate.js';
+export { Engine } from './engine/executor.js';
+export { validateInputs } from './engine/validate_inputs.js';
+export { tensorToData, applyPostTransform } from './engine/ops.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,uBAAuB;AACvB,EAAE;AACF,SAAS;AACT,mEAAmE;AACnE,wCAAwC;AACxC,oCAAoC;AACpC,sCAAsC;AACtC,2GAA2G;AAE3G,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAE9B,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAU7D,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/io.d.ts

@@ -0,0 +1,9 @@
+import type { OMLEModel } from './ir.js';
+export declare function fromJSON(json: string | object): OMLEModel;
+export declare function toJSON(model: OMLEModel, pretty?: boolean): string;
+export declare function loadFile(path: string): Promise<OMLEModel>;
+export declare function loadBlob(blob: {
+    text(): Promise<string>;
+}): Promise<OMLEModel>;
+export declare function saveFile(model: OMLEModel, path: string, pretty?: boolean): Promise<void>;
+//# sourceMappingURL=io.d.ts.map

package/dist/io.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"io.d.ts","sourceRoot":"","sources":["../src/io.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAIzC,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAGzD;AAwBD,wBAAgB,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,UAAQ,GAAG,MAAM,CAE/D;AAUD,wBAAsB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAS/D;AAED,wBAAsB,QAAQ,CAAC,IAAI,EAAE;IAAE,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,CAAA;CAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAEpF;AAED,wBAAsB,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,UAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAM3F"}