@cavelang/solver 0.35.0 → 0.36.0

package/dist/src/adapter.d.ts

@@ -11,6 +11,12 @@ export type Limits = {
     readonly maxEnumValues: number;
     readonly maxExpressionNodes: number;
     readonly maxExpressionDepth: number;
+    /** Aggregate pre-reduction decimal digits in numeric bounds, literals and weights. */
+    readonly maxNumericDigits: number;
+    /** Conservative bit-size ceiling for local explanation fraction arithmetic. */
+    readonly maxExplanationBits: number;
+    /** Cumulative estimated-bit charges for local explanation arithmetic in one report. */
+    readonly maxExplanationWork: number;
     readonly maxOutputBytes: number;
 };
 export declare const defaultLimits: Limits;

package/dist/src/adapter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../../src/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEpE,eAAO,MAAM,YAAY,uLAWf,CAAA;AAEV,MAAM,MAAM,UAAU,GAAG,OAAO,YAAY,CAAC,MAAM,CAAC,CAAA;AAEpD,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,mGAAmG;IACnG,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAChC,CAAA;AAED,eAAO,MAAM,aAAa,EAAE,MAU1B,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAA;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,KAAK,YAAY,GAAG;IAClB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAA;IAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,gBAAgB,GAAG,WAAW,GAAG,eAAe,GAAG,eAAe,CAAA;IAC7F,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,MAAM,GAAG,YAAY,GAAG,CAChC;IAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GACjE;IACA,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAA;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAA;CAChC,GACC;IACA,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACjC,QAAQ,CAAC,mBAAmB,EAAE,IAAI,CAAA;CACnC,GACC;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;CAAE,CACjE,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACjC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,UAAU,CAAC,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC,CAAA;CACpE,CAAA;AAED,MAAM,MAAM,CAAC,GAAG,aAAa,CAAA;AAE7B,oEAAoE;AACpE,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;CAC1B,CAAA"}
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../../src/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEpE,eAAO,MAAM,YAAY,uLAWf,CAAA;AAEV,MAAM,MAAM,UAAU,GAAG,OAAO,YAAY,CAAC,MAAM,CAAC,CAAA;AAEpD,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,mGAAmG;IACnG,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,sFAAsF;IACtF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,+EAA+E;IAC/E,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,uFAAuF;IACvF,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAChC,CAAA;AAED,eAAO,MAAM,aAAa,EAAE,MAa1B,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAA;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,KAAK,YAAY,GAAG;IAClB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAA;IAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,gBAAgB,GAAG,WAAW,GAAG,eAAe,GAAG,eAAe,CAAA;IAC7F,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,MAAM,GAAG,YAAY,GAAG,CAChC;IAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GACjE;IACA,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAA;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAA;CAChC,GACC;IACA,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACjC,QAAQ,CAAC,mBAAmB,EAAE,IAAI,CAAA;CACnC,GACC;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;CAAE,CACjE,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACjC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,UAAU,CAAC,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC,CAAA;CACpE,CAAA;AAED,MAAM,MAAM,CAAC,GAAG,aAAa,CAAA;AAE7B,oEAAoE;AACpE,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;CAC1B,CAAA"}

package/dist/src/adapter.js

@@ -19,6 +19,9 @@ export const defaultLimits = Object.freeze({
     maxEnumValues: 1_000,
     maxExpressionNodes: 100_000,
     maxExpressionDepth: 128,
+    maxNumericDigits: 100_000,
+    maxExplanationBits: 1_000_000,
+    maxExplanationWork: 10_000_000,
     maxOutputBytes: 1_000_000
 });
 //# sourceMappingURL=adapter.js.map

package/dist/src/adapter.js.map

@@ -1 +1 @@
-{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../../src/adapter.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,UAAU;IACV,UAAU;IACV,WAAW;IACX,cAAc;IACd,cAAc;IACd,sBAAsB;IACtB,cAAc;IACd,0BAA0B;IAC1B,kBAAkB;IAClB,aAAa;CACL,CAAA;AAiBV,MAAM,CAAC,MAAM,aAAa,GAAW,MAAM,CAAC,MAAM,CAAC;IACjD,SAAS,EAAE,MAAM;IACjB,cAAc,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI;IACjC,YAAY,EAAE,KAAK;IACnB,cAAc,EAAE,KAAK;IACrB,aAAa,EAAE,EAAE;IACjB,aAAa,EAAE,KAAK;IACpB,kBAAkB,EAAE,OAAO;IAC3B,kBAAkB,EAAE,GAAG;IACvB,cAAc,EAAE,SAAS;CAC1B,CAAC,CAAA"}
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../../src/adapter.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,UAAU;IACV,UAAU;IACV,WAAW;IACX,cAAc;IACd,cAAc;IACd,sBAAsB;IACtB,cAAc;IACd,0BAA0B;IAC1B,kBAAkB;IAClB,aAAa;CACL,CAAA;AAuBV,MAAM,CAAC,MAAM,aAAa,GAAW,MAAM,CAAC,MAAM,CAAC;IACjD,SAAS,EAAE,MAAM;IACjB,cAAc,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI;IACjC,YAAY,EAAE,KAAK;IACnB,cAAc,EAAE,KAAK;IACrB,aAAa,EAAE,EAAE;IACjB,aAAa,EAAE,KAAK;IACpB,kBAAkB,EAAE,OAAO;IAC3B,kBAAkB,EAAE,GAAG;IACvB,gBAAgB,EAAE,OAAO;IACzB,kBAAkB,EAAE,SAAS;IAC7B,kBAAkB,EAAE,UAAU;IAC9B,cAAc,EAAE,SAAS;CAC1B,CAAC,CAAA"}

package/dist/src/balanced-reduce.d.ts

@@ -0,0 +1,3 @@
+/** Reduce an owned, nonempty array in balanced pairs for an associative operation. */
+export declare const balancedReduce: <T>(values: T[], combine: (left: T, right: T) => T) => T;
+//# sourceMappingURL=balanced-reduce.d.ts.map

package/dist/src/balanced-reduce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"balanced-reduce.d.ts","sourceRoot":"","sources":["../../src/balanced-reduce.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,KAAG,CAOlF,CAAA"}

package/dist/src/balanced-reduce.js

@@ -0,0 +1,10 @@
+/** Reduce an owned, nonempty array in balanced pairs for an associative operation. */
+export const balancedReduce = (values, combine) => {
+    for (let width = 1; width < values.length; width *= 2) {
+        for (let index = 0; index + width < values.length; index += width * 2) {
+            values[index] = combine(values[index], values[index + width]);
+        }
+    }
+    return values[0];
+};
+//# sourceMappingURL=balanced-reduce.js.map

package/dist/src/balanced-reduce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"balanced-reduce.js","sourceRoot":"","sources":["../../src/balanced-reduce.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAI,MAAW,EAAE,OAAiC,EAAK,EAAE;IACrF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACtE,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAE,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK,CAAE,CAAC,CAAA;QACjE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,CAAE,CAAA;AACnB,CAAC,CAAA"}

package/dist/src/canonical-owned.d.ts

@@ -0,0 +1,5 @@
+import type { Limits } from './adapter.ts';
+import type { Model } from './model.ts';
+export declare const serializeOwned: (input: Model, limits: Limits) => string;
+export declare const digestOwned: (input: Model, limits: Limits) => string;
+//# sourceMappingURL=canonical-owned.d.ts.map

package/dist/src/canonical-owned.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-owned.d.ts","sourceRoot":"","sources":["../../src/canonical-owned.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAE1C,OAAO,KAAK,EAAc,KAAK,EAAY,MAAM,YAAY,CAAA;AA+K7D,eAAO,MAAM,cAAc,GAAI,OAAO,KAAK,EAAE,QAAQ,MAAM,KAAG,MACd,CAAA;AAEhD,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,EAAE,QAAQ,MAAM,KAAG,MAI1D,CAAA"}

package/dist/src/canonical-owned.js

@@ -0,0 +1,206 @@
+import { createHash } from 'node:crypto';
+import * as Exact from "./exact.js";
+import { model as validate } from "./validate.js";
+const compareText = (left, right) => left < right ? -1 : left > right ? 1 : 0;
+const exact = (value) => Exact.rational(value);
+const canonicalNode = (input, resolved) => {
+    switch (input.kind) {
+        case 'literal':
+            if (input.sort === 'int')
+                return { kind: input.kind, sort: input.sort, value: String(Exact.integer(input.value)) };
+            if (input.sort === 'real')
+                return { kind: input.kind, sort: input.sort, value: exact(input.value) };
+            if (input.sort === 'enum')
+                return { kind: input.kind, sort: input.sort, domain: input.domain, value: input.value };
+            return { kind: input.kind, sort: input.sort, value: input.value };
+        case 'variable': return { kind: input.kind, id: input.id };
+        case 'not':
+        case 'negate': return { kind: input.kind, value: resolved.get(input.value) };
+        case 'and':
+        case 'or':
+        case 'add':
+        case 'multiply': {
+            const operands = input.operands.map(value => resolved.get(value))
+                .sort(compareCanonical);
+            return { kind: input.kind, operands };
+        }
+        case 'implies':
+        case 'subtract':
+        case 'divide':
+        case 'lt':
+        case 'lte':
+        case 'gt':
+        case 'gte':
+            return { kind: input.kind, left: resolved.get(input.left), right: resolved.get(input.right) };
+        case 'eq':
+        case 'neq': {
+            const operands = [resolved.get(input.left), resolved.get(input.right)]
+                .sort(compareCanonical);
+            return { kind: input.kind, left: operands[0], right: operands[1] };
+        }
+        case 'if':
+            return { kind: input.kind, condition: resolved.get(input.condition), then: resolved.get(input.then), else: resolved.get(input.else) };
+    }
+};
+const expression = (input, resolved) => {
+    const stack = [{ node: input, after: false }];
+    while (stack.length > 0) {
+        const { node, after } = stack.pop();
+        if (resolved.has(node))
+            continue;
+        if (after) {
+            resolved.set(node, canonicalNode(node, resolved));
+            continue;
+        }
+        stack.push({ node, after: true });
+        const push = (value) => { stack.push({ node: value, after: false }); };
+        switch (node.kind) {
+            case 'literal':
+            case 'variable': break;
+            case 'not':
+            case 'negate':
+                push(node.value);
+                break;
+            case 'and':
+            case 'or':
+            case 'add':
+            case 'multiply':
+                for (let index = node.operands.length - 1; index >= 0; index--)
+                    push(node.operands[index]);
+                break;
+            case 'if':
+                push(node.else);
+                push(node.then);
+                push(node.condition);
+                break;
+            default:
+                push(node.right);
+                push(node.left);
+        }
+    }
+    return resolved.get(input);
+};
+function* tokens(value) {
+    const stack = [{ value }];
+    while (stack.length > 0) {
+        const item = stack.pop();
+        if ('text' in item) {
+            yield item.text;
+            continue;
+        }
+        const current = item.value;
+        if (current === null || typeof current !== 'object') {
+            yield JSON.stringify(current);
+            continue;
+        }
+        if (Array.isArray(current)) {
+            yield '[';
+            stack.push({ text: ']' });
+            for (let index = current.length - 1; index >= 0; index--) {
+                stack.push({ value: current[index] });
+                if (index > 0)
+                    stack.push({ text: ',' });
+            }
+        }
+        else {
+            const record = current;
+            const keys = Object.keys(record).sort();
+            yield '{';
+            stack.push({ text: '}' });
+            for (let index = keys.length - 1; index >= 0; index--) {
+                const key = keys[index];
+                stack.push({ value: record[key] }, { text: `${JSON.stringify(key)}:` });
+                if (index > 0)
+                    stack.push({ text: ',' });
+            }
+        }
+    }
+}
+/** Keep complete JSON tokens together so UTF-8 encoding never splits a surrogate pair. */
+function* chunks(value) {
+    let pending = [];
+    let length = 0;
+    for (const token of tokens(value)) {
+        pending.push(token);
+        length += token.length;
+        if (length >= 65536) {
+            yield pending.join('');
+            pending = [];
+            length = 0;
+        }
+    }
+    if (pending.length > 0)
+        yield pending.join('');
+}
+const stableStringify = (value) => [...chunks(value)].join('');
+/** Compare canonical text lazily instead of materializing each entire subtree. */
+const compareCanonical = (left, right) => {
+    if (left === right)
+        return 0;
+    const leftTokens = tokens(left);
+    const rightTokens = tokens(right);
+    let a = leftTokens.next();
+    let b = rightTokens.next();
+    let at = 0;
+    let bt = 0;
+    while (!a.done && !b.done) {
+        const length = Math.min(a.value.length - at, b.value.length - bt);
+        const order = compareText(a.value.slice(at, at + length), b.value.slice(bt, bt + length));
+        if (order !== 0)
+            return order;
+        at += length;
+        bt += length;
+        if (at === a.value.length) {
+            a = leftTokens.next();
+            at = 0;
+        }
+        if (bt === b.value.length) {
+            b = rightTokens.next();
+            bt = 0;
+        }
+    }
+    return a.done ? (b.done ? 0 : -1) : 1;
+};
+const byId = (values) => [...values].sort((left, right) => compareText(left.id, right.id));
+/** Private entrypoint: the caller owns the captured model and resolved limits. */
+const canonicalOwned = (input, limits) => {
+    validate(input, limits);
+    const resolved = new WeakMap();
+    const canonical = {
+        schema: input.schema,
+        enums: byId(input.enums ?? []).map(domain => ({ id: domain.id, values: [...domain.values].sort() })),
+        variables: byId(input.variables).map((variable) => {
+            switch (variable.sort) {
+                case 'bool': return { id: variable.id, sort: variable.sort };
+                case 'int': return { id: variable.id, sort: variable.sort, min: String(Exact.integer(variable.min)), max: String(Exact.integer(variable.max)) };
+                case 'real': return {
+                    id: variable.id,
+                    sort: variable.sort,
+                    ...(variable.min === undefined ? {} : { min: exact(variable.min) }),
+                    ...(variable.max === undefined ? {} : { max: exact(variable.max) })
+                };
+                case 'enum': return { id: variable.id, sort: variable.sort, domain: variable.domain };
+            }
+        }),
+        constraints: byId(input.constraints).map(constraint => ({ id: constraint.id, expression: expression(constraint.expression, resolved) })),
+        softConstraints: byId(input.softConstraints ?? []).map(constraint => ({
+            id: constraint.id,
+            expression: expression(constraint.expression, resolved),
+            weight: exact(constraint.weight)
+        })),
+        objectives: (input.objectives ?? []).map(objective => ({
+            id: objective.id,
+            direction: objective.direction,
+            expression: expression(objective.expression, resolved)
+        }))
+    };
+    return canonical;
+};
+export const serializeOwned = (input, limits) => stableStringify(canonicalOwned(input, limits));
+export const digestOwned = (input, limits) => {
+    const hash = createHash('sha256');
+    for (const chunk of chunks(canonicalOwned(input, limits)))
+        hash.update(chunk);
+    return `sha256:${hash.digest('hex')}`;
+};
+//# sourceMappingURL=canonical-owned.js.map

package/dist/src/canonical-owned.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-owned.js","sourceRoot":"","sources":["../../src/canonical-owned.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,OAAO,EAAE,KAAK,IAAI,QAAQ,EAAE,MAAM,eAAe,CAAA;AAIjD,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAErG,MAAM,KAAK,GAAG,CAAC,KAAe,EAAQ,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;AAE9D,MAAM,aAAa,GAAG,CAAC,KAAiB,EAAE,QAAmC,EAAQ,EAAE;IACrF,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACZ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAA;YAClH,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAA;YACnG,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;YAClH,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;QACnE,KAAK,UAAU,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAA;QAC1D,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,CAAA;QAC7E,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC;iBAC/D,IAAI,CAAC,gBAAgB,CAAC,CAAA;YACzB,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;QACvC,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,CAAA;QACjG,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC;iBACrE,IAAI,CAAC,gBAAgB,CAAC,CAAA;YACzB,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAA;QACtE,CAAC;QACD,KAAK,IAAI;YACP,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAE,EAAE,CAAA;IAC5I,CAAC;AACH,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,KAAiB,EAAE,QAAmC,EAAQ,EAAE;IAClF,MAAM,KAAK,GAA2C,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IACrF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;QACpC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAQ;QAChC,IAAI,KAAK,EAAE,CAAC;YACV,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;YACjD,SAAQ;QACV,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QACjC,MAAM,IAAI,GAAG,CAAC,KAAiB,EAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA,CAAC,CAAC,CAAA;QACvF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS,CAAC;YAAC,KAAK,UAAU,CAAC,CAAC,MAAK;YACtC,KAAK,KAAK,CAAC;YAAC,KAAK,QAAQ;gBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAC,MAAK;YAClD,KAAK,KAAK,CAAC;YAAC,KAAK,IAAI,CAAC;YAAC,KAAK,KAAK,CAAC;YAAC,KAAK,UAAU;gBAChD,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE;oBAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAE,CAAC,CAAA;gBAC3F,MAAK;YACP,KAAK,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAAC,MAAK;YACxE;gBAAS,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAE,CAAA;AAC7B,CAAC,CAAA;AAED,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAW;IAC1B,MAAM,KAAK,GAA2C,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;IACjE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;QACzB,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;YAAC,MAAM,IAAI,CAAC,IAAI,CAAC;YAAC,SAAQ;QAAC,CAAC;QACjD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAA;QAC1B,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAAC,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YAAC,SAAQ;QAAC,CAAC;QAChG,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,MAAM,GAAG,CAAA;YACT,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;YACzB,KAAK,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;gBACzD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAE,EAAE,CAAC,CAAA;gBACtC,IAAI,KAAK,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;YAC1C,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,OAAyC,CAAA;YACxD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAA;YACvC,MAAM,GAAG,CAAA;YACT,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;YACzB,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;gBACtD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAE,CAAA;gBACxB,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAA;gBACxE,IAAI,KAAK,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,0FAA0F;AAC1F,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAW;IAC1B,IAAI,OAAO,GAAa,EAAE,CAAA;IAC1B,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACnB,MAAM,IAAI,KAAK,CAAC,MAAM,CAAA;QACtB,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;YACpB,MAAM,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACtB,OAAO,GAAG,EAAE,CAAA;YACZ,MAAM,GAAG,CAAC,CAAA;QACZ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAChD,CAAC;AAED,MAAM,eAAe,GAAG,CAAC,KAAW,EAAU,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAE5E,kFAAkF;AAClF,MAAM,gBAAgB,GAAG,CAAC,IAAU,EAAE,KAAW,EAAU,EAAE;IAC3D,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,CAAA;IAC5B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IAC/B,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IACjC,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAA;IACzB,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAA;IAC1B,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAA;QACjE,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,CAAC,CAAA;QACzF,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QAC7B,EAAE,IAAI,MAAM,CAAA;QACZ,EAAE,IAAI,MAAM,CAAA;QACZ,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAAC,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;YAAC,EAAE,GAAG,CAAC,CAAA;QAAC,CAAC;QAC5D,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAAC,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;YAAC,EAAE,GAAG,CAAC,CAAA;QAAC,CAAC;IAC/D,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACvC,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,CAAoC,MAAoB,EAAgB,EAAE,CACrF,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;AAEnE,kFAAkF;AAClF,MAAM,cAAc,GAAG,CAAC,KAAY,EAAE,MAAc,EAAQ,EAAE;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACvB,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAoB,CAAA;IAChD,MAAM,SAAS,GAAS;QACtB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACpG,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAQ,EAAE;YACtD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACtB,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAA;gBAC5D,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;gBAC/I,KAAK,MAAM,CAAC,CAAC,OAAO;oBAClB,EAAE,EAAE,QAAQ,CAAC,EAAE;oBACf,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,GAAG,CAAC,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnE,GAAG,CAAC,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;iBACpE,CAAA;gBACD,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAA;YACvF,CAAC;QACH,CAAC,CAAC;QACF,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QACxI,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACpE,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC;YACvD,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;SACjC,CAAC,CAAC;QACH,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACrD,EAAE,EAAE,SAAS,CAAC,EAAE;YAChB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,UAAU,EAAE,UAAU,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC;SACvD,CAAC,CAAC;KACJ,CAAA;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAY,EAAE,MAAc,EAAU,EAAE,CACrE,eAAe,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;AAEhD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAY,EAAE,MAAc,EAAU,EAAE;IAClE,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAA;IACjC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC7E,OAAO,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;AACvC,CAAC,CAAA"}

package/dist/src/canonical.d.ts

@@ -1,5 +1,6 @@
+import type { Limits } from './adapter.ts';
 import type { Model } from './model.ts';
 /** Canonical semantic JSON. Descriptions and evidence links are deliberately not identity. */
-export declare const serialize: (input: Model) => string;
-export declare const digest: (input: Model) => string;
+export declare const serialize: (input: Model, limits?: Partial<Limits>) => string;
+export declare const digest: (input: Model, limits?: Partial<Limits>) => string;
 //# sourceMappingURL=canonical.d.ts.map

package/dist/src/canonical.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../../src/canonical.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAc,KAAK,EAAY,MAAM,YAAY,CAAA;AAwD7D,8FAA8F;AAC9F,eAAO,MAAM,SAAS,GAAI,OAAO,KAAK,KAAG,MA+BxC,CAAA;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,KAAG,MACmC,CAAA"}
+{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../../src/canonical.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAIvC,8FAA8F;AAC9F,eAAO,MAAM,SAAS,GAAI,OAAO,KAAK,EAAE,SAAQ,OAAO,CAAC,MAAM,CAAM,KAAG,MAItE,CAAA;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAQ,OAAO,CAAC,MAAM,CAAM,KAAG,MAInE,CAAA"}

package/dist/src/canonical.js

@@ -1,88 +1,15 @@
-import { createHash } from 'node:crypto';
-import * as Exact from "./exact.js";
-import { model as validate } from "./validate.js";
-const compareText = (left, right) => left < right ? -1 : left > right ? 1 : 0;
-const exact = (value) => Exact.rational(value);
-const expression = (input) => {
-    switch (input.kind) {
-        case 'literal':
-            if (input.sort === 'int')
-                return { kind: input.kind, sort: input.sort, value: String(Exact.integer(input.value)) };
-            if (input.sort === 'real')
-                return { kind: input.kind, sort: input.sort, value: exact(input.value) };
-            if (input.sort === 'enum')
-                return { kind: input.kind, sort: input.sort, domain: input.domain, value: input.value };
-            return { kind: input.kind, sort: input.sort, value: input.value };
-        case 'variable': return { kind: input.kind, id: input.id };
-        case 'not':
-        case 'negate': return { kind: input.kind, value: expression(input.value) };
-        case 'and':
-        case 'or':
-        case 'add':
-        case 'multiply': {
-            const operands = input.operands.map(expression)
-                .sort((left, right) => compareText(stableStringify(left), stableStringify(right)));
-            return { kind: input.kind, operands };
-        }
-        case 'implies':
-        case 'subtract':
-        case 'divide':
-        case 'lt':
-        case 'lte':
-        case 'gt':
-        case 'gte':
-            return { kind: input.kind, left: expression(input.left), right: expression(input.right) };
-        case 'eq':
-        case 'neq': {
-            const operands = [expression(input.left), expression(input.right)]
-                .sort((left, right) => compareText(stableStringify(left), stableStringify(right)));
-            return { kind: input.kind, left: operands[0], right: operands[1] };
-        }
-        case 'if':
-            return { kind: input.kind, condition: expression(input.condition), then: expression(input.then), else: expression(input.else) };
-    }
-};
-const stableStringify = (value) => {
-    if (value === null || typeof value !== 'object')
-        return JSON.stringify(value);
-    if (Array.isArray(value))
-        return `[${value.map(stableStringify).join(',')}]`;
-    const record = value;
-    return `{${Object.keys(record).sort().map(key => `${JSON.stringify(key)}:${stableStringify(record[key])}`).join(',')}}`;
-};
-const byId = (values) => [...values].sort((left, right) => compareText(left.id, right.id));
+import { clone } from "./clone.js";
+import { mergeLimits, model as validate } from "./validate.js";
+import { digestOwned, serializeOwned } from "./canonical-owned.js";
 /** Canonical semantic JSON. Descriptions and evidence links are deliberately not identity. */
-export const serialize = (input) => {
-    validate(input);
-    const canonical = {
-        schema: input.schema,
-        enums: byId(input.enums ?? []).map(domain => ({ id: domain.id, values: [...domain.values].sort() })),
-        variables: byId(input.variables).map((variable) => {
-            switch (variable.sort) {
-                case 'bool': return { id: variable.id, sort: variable.sort };
-                case 'int': return { id: variable.id, sort: variable.sort, min: String(Exact.integer(variable.min)), max: String(Exact.integer(variable.max)) };
-                case 'real': return {
-                    id: variable.id,
-                    sort: variable.sort,
-                    ...(variable.min === undefined ? {} : { min: exact(variable.min) }),
-                    ...(variable.max === undefined ? {} : { max: exact(variable.max) })
-                };
-                case 'enum': return { id: variable.id, sort: variable.sort, domain: variable.domain };
-            }
-        }),
-        constraints: byId(input.constraints).map(constraint => ({ id: constraint.id, expression: expression(constraint.expression) })),
-        softConstraints: byId(input.softConstraints ?? []).map(constraint => ({
-            id: constraint.id,
-            expression: expression(constraint.expression),
-            weight: exact(constraint.weight)
-        })),
-        objectives: (input.objectives ?? []).map(objective => ({
-            id: objective.id,
-            direction: objective.direction,
-            expression: expression(objective.expression)
-        }))
-    };
-    return stableStringify(canonical);
+export const serialize = (input, limits = {}) => {
+    const resolved = mergeLimits(limits);
+    validate(input, resolved);
+    return serializeOwned(clone(input), resolved);
+};
+export const digest = (input, limits = {}) => {
+    const resolved = mergeLimits(limits);
+    validate(input, resolved);
+    return digestOwned(clone(input), resolved);
 };
-export const digest = (input) => `sha256:${createHash('sha256').update(serialize(input)).digest('hex')}`;
 //# sourceMappingURL=canonical.js.map

package/dist/src/canonical.js.map

@@ -1 +1 @@
-{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../src/canonical.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,OAAO,EAAE,KAAK,IAAI,QAAQ,EAAE,MAAM,eAAe,CAAA;AAIjD,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAErG,MAAM,KAAK,GAAG,CAAC,KAAe,EAAQ,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;AAE9D,MAAM,UAAU,GAAG,CAAC,KAAiB,EAAQ,EAAE;IAC7C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACZ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAA;YAClH,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAA;YACnG,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;YAClH,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;QACnE,KAAK,UAAU,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAA;QAC1D,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAA;QAC1E,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;iBAC5C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;YACpF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;QACvC,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAA;QAC3F,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,QAAQ,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;iBAC/D,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;YACpF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAA;QACtE,CAAC;QACD,KAAK,IAAI;YACP,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA;IACnI,CAAC;AACH,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CAAC,KAAW,EAAU,EAAE;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC7E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAC5E,MAAM,MAAM,GAAG,KAAuC,CAAA;IACtD,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;AAC1H,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,CAAoC,MAAoB,EAAgB,EAAE,CACrF,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;AAEnE,8FAA8F;AAC9F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAY,EAAU,EAAE;IAChD,QAAQ,CAAC,KAAK,CAAC,CAAA;IACf,MAAM,SAAS,GAAS;QACtB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACpG,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAQ,EAAE;YACtD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACtB,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAA;gBAC5D,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;gBAC/I,KAAK,MAAM,CAAC,CAAC,OAAO;oBAClB,EAAE,EAAE,QAAQ,CAAC,EAAE;oBACf,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,GAAG,CAAC,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnE,GAAG,CAAC,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;iBACpE,CAAA;gBACD,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAA;YACvF,CAAC;QACH,CAAC,CAAC;QACF,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9H,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACpE,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC;YAC7C,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;SACjC,CAAC,CAAC;QACH,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACrD,EAAE,EAAE,SAAS,CAAC,EAAE;YAChB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,UAAU,EAAE,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC;SAC7C,CAAC,CAAC;KACJ,CAAA;IACD,OAAO,eAAe,CAAC,SAAS,CAAC,CAAA;AACnC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAU,EAAE,CAC7C,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA"}
+{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../src/canonical.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAGlC,OAAO,EAAE,WAAW,EAAE,KAAK,IAAI,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC9D,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAElE,8FAA8F;AAC9F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAY,EAAE,SAA0B,EAAE,EAAU,EAAE;IAC9E,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAA;IACpC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACzB,OAAO,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAA;AAC/C,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,SAA0B,EAAE,EAAU,EAAE;IAC3E,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAA;IACpC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACzB,OAAO,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAA;AAC5C,CAAC,CAAA"}

package/dist/src/capability.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"capability.d.ts","sourceRoot":"","sources":["../../src/capability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC7D,OAAO,KAAK,EAAc,KAAK,EAAE,MAAM,YAAY,CAAA;AAEnD,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAA;gBAE3B,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,UAAU,EAAE;CAM5D;AAsCD,eAAO,MAAM,QAAQ,GAAI,OAAO,KAAK,EAAE,mBAAiB,KAAG,WAAW,CAAC,UAAU,CA2BhF,CAAA;AAED,eAAO,MAAM,OAAO,GAAI,SAAS,aAAa,EAAE,OAAO,KAAK,EAAE,mBAAiB,KAAG,SAAS,UAAU,EACD,CAAA"}
+{"version":3,"file":"capability.d.ts","sourceRoot":"","sources":["../../src/capability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC7D,OAAO,KAAK,EAAc,KAAK,EAAE,MAAM,YAAY,CAAA;AAEnD,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAA;gBAE3B,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,UAAU,EAAE;CAM5D;AAwCD,eAAO,MAAM,QAAQ,GAAI,OAAO,KAAK,EAAE,mBAAiB,KAAG,WAAW,CAAC,UAAU,CAoChF,CAAA;AAED,eAAO,MAAM,OAAO,GAAI,SAAS,aAAa,EAAE,OAAO,KAAK,EAAE,mBAAiB,KAAG,SAAS,UAAU,EACD,CAAA"}

package/dist/src/capability.js

@@ -8,46 +8,44 @@ export class UnsupportedModelError extends Error {
         this.missing = missing;
     }
 }
-const walk = (expression, visit) => {
-    visit(expression);
+const children = (expression) => {
     switch (expression.kind) {
         case 'literal':
-        case 'variable': return;
+        case 'variable': return [];
         case 'not':
-        case 'negate':
-            walk(expression.value, visit);
-            return;
+        case 'negate': return [expression.value];
         case 'and':
         case 'or':
         case 'add':
-        case 'multiply':
-            expression.operands.forEach(operand => walk(operand, visit));
-            return;
-        case 'if':
-            walk(expression.condition, visit);
-            walk(expression.then, visit);
-            walk(expression.else, visit);
-            return;
-        default:
-            walk(expression.left, visit);
-            walk(expression.right, visit);
+        case 'multiply': return expression.operands;
+        case 'if': return [expression.condition, expression.then, expression.else];
+        default: return [expression.left, expression.right];
     }
 };
-const hasNonlinearArithmetic = (expression) => {
-    let nonlinear = false;
-    const containsVariable = (candidate) => {
-        let found = false;
-        walk(candidate, node => { if (node.kind === 'variable')
-            found = true; });
-        return found;
-    };
-    walk(expression, node => {
-        if (node.kind === 'multiply' && node.operands.filter(containsVariable).length > 1)
-            nonlinear = true;
-        if (node.kind === 'divide' && containsVariable(node.right))
-            nonlinear = true;
-    });
-    return nonlinear;
+const walk = (expression, visit, finish) => {
+    const active = new WeakSet();
+    const complete = new WeakSet();
+    const stack = [{ node: expression, after: false }];
+    while (stack.length > 0) {
+        const { node, after } = stack.pop();
+        if (after) {
+            finish(node);
+            active.delete(node);
+            complete.add(node);
+            continue;
+        }
+        if (active.has(node))
+            throw new TypeError('capability discovery received a cyclic expression');
+        if (complete.has(node))
+            continue;
+        active.add(node);
+        visit(node);
+        stack.push({ node, after: true });
+        const operands = children(node);
+        for (let index = operands.length - 1; index >= 0; index--) {
+            stack.push({ node: operands[index], after: false });
+        }
+    }
 };
 export const required = (model, unsatCore = false) => {
     const result = new Set(['booleans']);
@@ -73,17 +71,29 @@ export const required = (model, unsatCore = false) => {
         ...(model.objectives ?? []).map(objective => objective.expression)
     ];
     for (const expression of expressions) {
+        const containsVariable = new WeakMap();
+        let nonlinear = false;
         walk(expression, node => {
             if (node.kind === 'literal' && node.sort === 'int')
                 result.add('integers');
             if (node.kind === 'literal' && node.sort === 'real')
                 result.add('rationals');
+            // Portable division returns an exact real even when both operands are integers.
+            if (node.kind === 'divide')
+                result.add('rationals');
             if (node.kind === 'literal' && node.sort === 'enum')
                 result.add('finite-enums');
             if (node.kind === 'if')
                 result.add('conditionals');
+        }, node => {
+            const operands = children(node);
+            if (node.kind === 'multiply' && operands.filter(value => containsVariable.get(value)).length > 1)
+                nonlinear = true;
+            if (node.kind === 'divide' && containsVariable.get(node.right))
+                nonlinear = true;
+            containsVariable.set(node, node.kind === 'variable' || operands.some(value => containsVariable.get(value)));
         });
-        if (hasNonlinearArithmetic(expression))
+        if (nonlinear)
             result.add('nonlinear-arithmetic');
     }
     return result;

package/dist/src/capability.js.map

@@ -1 +1 @@
-{"version":3,"file":"capability.js","sourceRoot":"","sources":["../../src/capability.ts"],"names":[],"mappings":"AAGA,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IACrC,OAAO,CAAQ;IACf,OAAO,CAAuB;IAEvC,YAAY,OAAe,EAAE,OAA8B;QACzD,KAAK,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,wBAAwB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAC5F,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAA;QACnC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IACxB,CAAC;CACF;AAED,MAAM,IAAI,GAAG,CAAC,UAAsB,EAAE,KAAuC,EAAQ,EAAE;IACrF,KAAK,CAAC,UAAU,CAAC,CAAA;IACjB,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,OAAM;QACvB,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ;YAAE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAAC,OAAM;QACpD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,UAAU;YAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;YAAC,OAAM;QACrF,KAAK,IAAI;YACP,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;YACjC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YAC5B,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YAC5B,OAAM;QACR;YACE,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YAC5B,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACjC,CAAC;AACH,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAAC,UAAsB,EAAW,EAAE;IACjE,IAAI,SAAS,GAAG,KAAK,CAAA;IACrB,MAAM,gBAAgB,GAAG,CAAC,SAAqB,EAAW,EAAE;QAC1D,IAAI,KAAK,GAAG,KAAK,CAAA;QACjB,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,KAAK,GAAG,IAAI,CAAA,CAAC,CAAC,CAAC,CAAA;QACvE,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IACD,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS,GAAG,IAAI,CAAA;QACnG,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS,GAAG,IAAI,CAAA;IAC9E,CAAC,CAAC,CAAA;IACF,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,SAAS,GAAG,KAAK,EAA2B,EAAE;IACnF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAa,CAAC,UAAU,CAAC,CAAC,CAAA;IAChD,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACrF,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACvF,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;IAC5H,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAA;QAC9B,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACzB,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;IACnE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAA;IAC/E,IAAI,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACxC,MAAM,WAAW,GAAG;QAClB,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QAC7D,GAAG,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QACzE,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;KACnE,CAAA;IACD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE;YACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;YAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;YAC5E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;YAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;QACpD,CAAC,CAAC,CAAA;QACF,IAAI,sBAAsB,CAAC,UAAU,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;IAC5E,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAsB,EAAE,KAAY,EAAE,SAAS,GAAG,KAAK,EAAyB,EAAE,CACxG,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA"}
+{"version":3,"file":"capability.js","sourceRoot":"","sources":["../../src/capability.ts"],"names":[],"mappings":"AAGA,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IACrC,OAAO,CAAQ;IACf,OAAO,CAAuB;IAEvC,YAAY,OAAe,EAAE,OAA8B;QACzD,KAAK,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,wBAAwB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAC5F,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAA;QACnC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IACxB,CAAC;CACF;AAED,MAAM,QAAQ,GAAG,CAAC,UAAsB,EAAyB,EAAE;IACjE,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,SAAS,CAAC;QAAC,KAAK,UAAU,CAAC,CAAC,OAAO,EAAE,CAAA;QAC1C,KAAK,KAAK,CAAC;QAAC,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;QACpD,KAAK,KAAK,CAAC;QAAC,KAAK,IAAI,CAAC;QAAC,KAAK,KAAK,CAAC;QAAC,KAAK,UAAU,CAAC,CAAC,OAAO,UAAU,CAAC,QAAQ,CAAA;QAC9E,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAA;QAC1E,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAA;IACrD,CAAC;AACH,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,CACX,UAAsB,EACtB,KAAuC,EACvC,MAAwC,EAClC,EAAE;IACR,MAAM,MAAM,GAAG,IAAI,OAAO,EAAc,CAAA;IACxC,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAc,CAAA;IAC1C,MAAM,KAAK,GAA2C,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IAC1F,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;QACpC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,CAAA;YACZ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;YACnB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAClB,SAAQ;QACV,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAA;QAC9F,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAQ;QAChC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAChB,KAAK,CAAC,IAAI,CAAC,CAAA;QACX,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QACjC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC/B,KAAK,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;QACtD,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,SAAS,GAAG,KAAK,EAA2B,EAAE;IACnF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAa,CAAC,UAAU,CAAC,CAAC,CAAA;IAChD,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACrF,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACvF,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;IAC5H,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAA;QAC9B,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACzB,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;IACnE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAA;IAC/E,IAAI,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACxC,MAAM,WAAW,GAAG;QAClB,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QAC7D,GAAG,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QACzE,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;KACnE,CAAA;IACD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,gBAAgB,GAAG,IAAI,OAAO,EAAuB,CAAA;QAC3D,IAAI,SAAS,GAAG,KAAK,CAAA;QACrB,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE;YACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;YAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;YAC5E,gFAAgF;YAChF,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;YACnD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;YAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;QACpD,CAAC,EAAE,IAAI,CAAC,EAAE;YACR,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAA;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS,GAAG,IAAI,CAAA;YAClH,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,SAAS,GAAG,IAAI,CAAA;YAChF,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAC7G,CAAC,CAAC,CAAA;QACF,IAAI,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;IACnD,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAsB,EAAE,KAAY,EAAE,SAAS,GAAG,KAAK,EAAyB,EAAE,CACxG,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA"}

package/dist/src/clone.d.ts

@@ -0,0 +1,3 @@
+/** Copy portable records/arrays without native structured-clone recursion. */
+export declare const clone: <T>(input: T) => T;
+//# sourceMappingURL=clone.d.ts.map

package/dist/src/clone.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clone.d.ts","sourceRoot":"","sources":["../../src/clone.ts"],"names":[],"mappings":"AAuBA,8EAA8E;AAC9E,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,CAsBnC,CAAA"}