@cavelang/solver 0.35.0 → 0.36.0

package/dist/src/clone.js

@@ -0,0 +1,54 @@
+import { types } from 'node:util';
+/** Inspect descriptors without evaluating accessors or touching proxy traps. */
+const portable = (input) => {
+    const pending = [input];
+    const seen = new WeakSet();
+    while (pending.length > 0) {
+        const value = pending.pop();
+        if (typeof value === 'function' || typeof value === 'symbol')
+            return false;
+        if (value === null || typeof value !== 'object' || seen.has(value))
+            continue;
+        if (types.isProxy(value))
+            return false;
+        seen.add(value);
+        const prototype = Object.getPrototypeOf(value);
+        if (!Array.isArray(value) && prototype !== Object.prototype && prototype !== null)
+            return false;
+        for (const key of Object.keys(value)) {
+            const descriptor = Object.getOwnPropertyDescriptor(value, key);
+            if (!Object.hasOwn(descriptor, 'value'))
+                return false;
+            pending.push(descriptor.value);
+        }
+    }
+    return true;
+};
+/** Copy portable records/arrays without native structured-clone recursion. */
+export const clone = (input) => {
+    if (!portable(input))
+        return structuredClone(input);
+    const copies = new WeakMap();
+    const pending = [];
+    const allocate = (value) => {
+        if (value === null || typeof value !== 'object')
+            return value;
+        const previous = copies.get(value);
+        if (previous !== undefined)
+            return previous;
+        const target = Array.isArray(value) ? new Array(value.length) : {};
+        copies.set(value, target);
+        pending.push({ source: value, target });
+        return target;
+    };
+    const result = allocate(input);
+    while (pending.length > 0) {
+        const { source, target } = pending.pop();
+        for (const key of Object.keys(source)) {
+            const copied = allocate(source[key]);
+            Object.defineProperty(target, key, { value: copied, enumerable: true, writable: true, configurable: true });
+        }
+    }
+    return result;
+};
+//# sourceMappingURL=clone.js.map

package/dist/src/clone.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"clone.js","sourceRoot":"","sources":["../../src/clone.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AAEjC,gFAAgF;AAChF,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAW,EAAE;IAC3C,MAAM,OAAO,GAAc,CAAC,KAAK,CAAC,CAAA;IAClC,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAA;IAClC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;QAC3B,IAAI,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAA;QAC1E,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAQ;QAC5E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QACtC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACf,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,KAAK,CAAA;QAC/F,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACrC,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAE,CAAA;YAC/D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC;gBAAE,OAAO,KAAK,CAAA;YACrD,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;QAChC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,KAAQ,EAAK,EAAE;IACtC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,eAAe,CAAC,KAAK,CAAC,CAAA;IACnD,MAAM,MAAM,GAAG,IAAI,OAAO,EAAkB,CAAA;IAC5C,MAAM,OAAO,GAAyC,EAAE,CAAA;IACxD,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAW,EAAE;QAC3C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAA;QAC7D,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAA;QAC3C,MAAM,MAAM,GAAW,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QAC1E,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QACzB,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;QACvC,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC9B,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,EAAG,CAAA;QACzC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,QAAQ,CAAE,MAAkC,CAAC,GAAG,CAAC,CAAC,CAAA;YACjE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAA;QAC7G,CAAC;IACH,CAAC;IACD,OAAO,MAAW,CAAA;AACpB,CAAC,CAAA"}

package/dist/src/constant-sign.d.ts

@@ -0,0 +1,5 @@
+import type { Expression } from './model.ts';
+import * as Exact from './exact.ts';
+export type Sign = -1 | 0 | 1 | undefined;
+export declare const constantSign: (expression: Expression, cache: WeakMap<Expression, Sign>, literal?: (value: Expression) => Exact.Normalized) => Sign;
+//# sourceMappingURL=constant-sign.d.ts.map

package/dist/src/constant-sign.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant-sign.d.ts","sourceRoot":"","sources":["../../src/constant-sign.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAC5C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAGnC,MAAM,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,CAAA;AA8CzC,eAAO,MAAM,YAAY,GACvB,YAAY,UAAU,EACtB,OAAO,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,EAChC,UAAS,CAAC,KAAK,EAAE,UAAU,KAAK,KAAK,CAAC,UAIrC,KACA,IAAuE,CAAA"}

package/dist/src/constant-sign.js

@@ -0,0 +1,54 @@
+import * as Exact from "./exact.js";
+import { evaluate } from "./evaluate-expression.js";
+const addSigns = (left, right) => left === undefined || right === undefined ? undefined : left === 0 ? right : right === 0 || left === right ? left : undefined;
+/** Prove a constant's sign without constructing large rational intermediates. */
+function* signSteps(expression, literal) {
+    switch (expression.kind) {
+        case 'literal': {
+            if (expression.sort !== 'int' && expression.sort !== 'real')
+                return undefined;
+            const value = literal(expression);
+            return value.numerator === '0' ? 0 : value.numerator.startsWith('-') ? -1 : 1;
+        }
+        case 'negate': {
+            const sign = yield expression.value;
+            return sign === undefined ? undefined : -sign;
+        }
+        case 'add': {
+            let sign = 0;
+            for (const operand of expression.operands) {
+                sign = addSigns(sign, yield operand);
+                if (sign === undefined)
+                    return undefined;
+            }
+            return sign;
+        }
+        case 'subtract': {
+            const left = yield expression.left;
+            const right = yield expression.right;
+            return addSigns(left, right === undefined ? undefined : -right);
+        }
+        case 'multiply': {
+            let sign = 1;
+            for (const operand of expression.operands) {
+                const part = yield operand;
+                sign = sign === undefined || part === undefined ? undefined : sign * part;
+            }
+            return sign;
+        }
+        case 'divide': {
+            const left = yield expression.left;
+            const right = yield expression.right;
+            return left === undefined || right === undefined || right === 0 ? undefined : left * right;
+        }
+        default: return undefined;
+    }
+}
+export const constantSign = (expression, cache, literal = value => {
+    if (value.kind === 'literal' && value.sort === 'int')
+        return Exact.rational(String(Exact.integer(value.value)));
+    if (value.kind === 'literal' && value.sort === 'real')
+        return Exact.rational(value.value);
+    throw new TypeError('expected a numeric literal');
+}) => evaluate(expression, value => signSteps(value, literal), cache);
+//# sourceMappingURL=constant-sign.js.map

package/dist/src/constant-sign.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant-sign.js","sourceRoot":"","sources":["../../src/constant-sign.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AAGnD,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAE,KAAW,EAAQ,EAAE,CACjD,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AAE/H,iFAAiF;AACjF,QAAQ,CAAC,CAAC,SAAS,CAAC,UAAsB,EAAE,OAAgD;IAC1F,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,SAAS,CAAA;YAC7E,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;YACjC,OAAO,KAAK,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/E,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,KAAK,CAAA;YACnC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAY,CAAA;QACvD,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,IAAI,GAAS,CAAC,CAAA;YAClB,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC1C,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,OAAO,CAAC,CAAA;gBACpC,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAA;YAC1C,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,IAAI,CAAA;YAClC,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,KAAK,CAAA;YACpC,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAa,CAAC,CAAA;QACzE,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,IAAI,GAAS,CAAC,CAAA;YAClB,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC1C,MAAM,IAAI,GAAG,MAAM,OAAO,CAAA;gBAC1B,IAAI,GAAG,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,IAAY,CAAA;YACnF,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,IAAI,CAAA;YAClC,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,KAAK,CAAA;YACpC,OAAO,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,KAAa,CAAA;QACpG,CAAC;QACD,OAAO,CAAC,CAAC,OAAO,SAAS,CAAA;IAC3B,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,UAAsB,EACtB,KAAgC,EAChC,UAAmD,KAAK,CAAC,EAAE;IACzD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC/G,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACzF,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,CAAA;AACnD,CAAC,EACK,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAA"}

package/dist/src/context.d.ts

@@ -0,0 +1,6 @@
+import type { Context } from './explain.ts';
+/** Serialize validated input values without depending on the engine's stack limit. */
+export declare const stringifyInput: (value: unknown) => string;
+/** Validate explanation metadata and bindings without resolving external IDs. */
+export declare const validateContext: (context: Context) => void;
+//# sourceMappingURL=context.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAiC3C,sFAAsF;AACtF,eAAO,MAAM,cAAc,GAAI,OAAO,OAAO,KAAG,MAiC/C,CAAA;AAED,iFAAiF;AACjF,eAAO,MAAM,eAAe,GAAI,SAAS,OAAO,KAAG,IA2ClD,CAAA"}

package/dist/src/context.js

@@ -0,0 +1,151 @@
+import { clone } from "./clone.js";
+const validateJson = (root, path) => {
+    const active = new WeakSet();
+    const completed = new WeakSet();
+    const stack = [{ value: root, path }];
+    while (stack.length > 0) {
+        const frame = stack.pop();
+        const value = frame.value;
+        if (value === null || typeof value === 'string' || typeof value === 'boolean')
+            continue;
+        if (typeof value === 'number' && Number.isFinite(value))
+            continue;
+        if (typeof value !== 'object' || value === null)
+            throw new TypeError(`${frame.path} must be a finite JSON value`);
+        if (frame.leave) {
+            active.delete(value);
+            completed.add(value);
+            continue;
+        }
+        if (active.has(value))
+            throw new TypeError(`${frame.path} contains a JSON cycle`);
+        if (completed.has(value))
+            continue;
+        if (!Array.isArray(value) && Object.getPrototypeOf(value) !== Object.prototype && Object.getPrototypeOf(value) !== null)
+            throw new TypeError(`${frame.path} must be a plain JSON object or array`);
+        if (typeof value.toJSON === 'function')
+            throw new TypeError(`${frame.path} must not use a custom JSON serializer`);
+        active.add(value);
+        stack.push({ ...frame, leave: true });
+        if (Array.isArray(value)) {
+            for (let index = value.length - 1; index >= 0; index--) {
+                if (!Object.hasOwn(value, index))
+                    throw new TypeError(`${frame.path}[${index}] must not be a sparse JSON array entry`);
+                stack.push({ value: value[index], path: `${frame.path}[${index}]` });
+            }
+        }
+        else {
+            for (const [key, child] of Object.entries(value)) {
+                if (child !== undefined)
+                    stack.push({ value: child, path: `${frame.path}.${key}` });
+            }
+        }
+    }
+};
+/** Serialize validated input values without depending on the engine's stack limit. */
+export const stringifyInput = (value) => {
+    validateJson(value, 'explanation input value');
+    value = clone(value);
+    validateJson(value, 'explanation input value');
+    const output = [];
+    const stack = [{ value }];
+    while (stack.length > 0) {
+        const frame = stack.pop();
+        if ('text' in frame) {
+            output.push(frame.text);
+            continue;
+        }
+        const current = frame.value;
+        if (current === null || typeof current !== 'object') {
+            output.push(JSON.stringify(current));
+            continue;
+        }
+        if (Array.isArray(current)) {
+            output.push('[');
+            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 entries = Object.entries(current).filter(([, child]) => child !== undefined);
+            output.push('{');
+            stack.push({ text: '}' });
+            for (let index = entries.length - 1; index >= 0; index--) {
+                const [key, child] = entries[index];
+                stack.push({ value: child }, { text: `${JSON.stringify(key)}:` });
+                if (index > 0)
+                    stack.push({ text: ',' });
+            }
+        }
+    }
+    return output.join('');
+};
+/** Validate explanation metadata and bindings without resolving external IDs. */
+export const validateContext = (context) => {
+    if (context === null || typeof context !== 'object' || Array.isArray(context))
+        throw new TypeError('explanation context must be an object');
+    const nonempty = (value, path) => {
+        if (typeof value !== 'string' || value.length === 0)
+            throw new TypeError(`${path} must be a nonempty string`);
+    };
+    if (context.modelDigest !== undefined)
+        nonempty(context.modelDigest, 'explanation modelDigest');
+    if (context.scenario !== undefined) {
+        const scenario = context.scenario;
+        if (scenario === null || typeof scenario !== 'object' || Array.isArray(scenario))
+            throw new TypeError('explanation scenario must be an object');
+        for (const key of ['id', 'inputDigest', 'overlayDigest'])
+            nonempty(scenario[key], `explanation scenario.${key}`);
+    }
+    if (context.snapshot !== undefined) {
+        const snapshot = context.snapshot;
+        if (snapshot === null || typeof snapshot !== 'object' || Array.isArray(snapshot))
+            throw new TypeError('explanation snapshot must be an object');
+        if (snapshot.transactionTime !== null)
+            nonempty(snapshot.transactionTime, 'explanation snapshot.transactionTime');
+        if (snapshot.validTime !== undefined)
+            nonempty(snapshot.validTime, 'explanation snapshot.validTime');
+        if (snapshot.aliases !== undefined && snapshot.aliases !== 'exact' && snapshot.aliases !== 'closure')
+            throw new TypeError('explanation snapshot.aliases must be exact or closure');
+        if (snapshot.resolution !== undefined && snapshot.resolution !== 'coexisting' && snapshot.resolution !== 'winner')
+            throw new TypeError('explanation snapshot.resolution must be coexisting or winner');
+        const confidence = snapshot.minimumConfidence;
+        if (confidence !== undefined && (typeof confidence !== 'number' || !Number.isFinite(confidence) || confidence < 0 || confidence > 1))
+            throw new TypeError('explanation snapshot.minimumConfidence must be a finite number from 0 to 1');
+    }
+    if (context.inputs === undefined)
+        return;
+    if (!Array.isArray(context.inputs))
+        throw new TypeError('explanation inputs must be an array');
+    const ids = new Set();
+    for (let index = 0; index < context.inputs.length; index++) {
+        const input = context.inputs[index];
+        const path = `explanation inputs[${index}]`;
+        if (!Object.hasOwn(context.inputs, index) || input === null || typeof input !== 'object' || Array.isArray(input))
+            throw new TypeError(`${path} must be an input object`);
+        if (typeof input.id !== 'string' || input.id.length === 0)
+            throw new TypeError(`${path}.id must be a nonempty string`);
+        if (ids.has(input.id))
+            throw new TypeError(`${path}.id duplicates ${JSON.stringify(input.id)}`);
+        ids.add(input.id);
+        for (const key of ['value', 'authoredValue']) {
+            if (input[key] !== undefined)
+                validateJson(input[key], `${path}.${key}`);
+        }
+        if (input.query !== undefined && typeof input.query !== 'string')
+            throw new TypeError(`${path}.query must be a string`);
+        for (const key of ['evidenceRowIds', 'scenarioClaimIds']) {
+            const values = input[key];
+            if (!Array.isArray(values))
+                throw new TypeError(`${path}.${key} must be an array`);
+            for (let item = 0; item < values.length; item++) {
+                if (!Object.hasOwn(values, item) || typeof values[item] !== 'string' || values[item].length === 0)
+                    throw new TypeError(`${path}.${key}[${item}] must be a nonempty string`);
+            }
+        }
+    }
+};
+//# sourceMappingURL=context.js.map

package/dist/src/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/context.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAElC,MAAM,YAAY,GAAG,CAAC,IAAa,EAAE,IAAY,EAAQ,EAAE;IACzD,MAAM,MAAM,GAAG,IAAI,OAAO,EAAU,CAAA;IACpC,MAAM,SAAS,GAAG,IAAI,OAAO,EAAU,CAAA;IACvC,MAAM,KAAK,GAAwD,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;IAC1F,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAA;QACzB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;YAAE,SAAQ;QACvF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAQ;QACjE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,CAAC,IAAI,8BAA8B,CAAC,CAAA;QACjH,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAAC,SAAQ;QAAC,CAAC;QACzE,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,CAAC,IAAI,wBAAwB,CAAC,CAAA;QACjF,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAQ;QAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,CAAC,IAAI,uCAAuC,CAAC,CAAA;QAClM,IAAI,OAAQ,KAA8B,CAAC,MAAM,KAAK,UAAU;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,CAAC,IAAI,wCAAwC,CAAC,CAAA;QAC5I,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACjB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QACrC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;gBACvD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;oBAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,yCAAyC,CAAC,CAAA;gBACtH,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC,CAAA;YACtE,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjD,IAAI,KAAK,KAAK,SAAS;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,GAAG,EAAE,EAAE,CAAC,CAAA;YACrF,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,sFAAsF;AACtF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAc,EAAU,EAAE;IACvD,YAAY,CAAC,KAAK,EAAE,yBAAyB,CAAC,CAAA;IAC9C,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,YAAY,CAAC,KAAK,EAAE,yBAAyB,CAAC,CAAA;IAC9C,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,MAAM,KAAK,GAA8C,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;IACpE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;QAC1B,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAAC,SAAQ;QAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAA;QAC3B,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;YACpC,SAAQ;QACV,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAChB,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,CAAC,EAAE,CAAC,CAAA;gBACrC,IAAI,KAAK,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;YAC1C,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAA;YAClF,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAChB,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,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,CAAE,CAAA;gBACpC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAA;gBACjE,IAAI,KAAK,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AACxB,CAAC,CAAA;AAED,iFAAiF;AACjF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAgB,EAAQ,EAAE;IACxD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAA;IAC3I,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAE,IAAY,EAAQ,EAAE;QACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,4BAA4B,CAAC,CAAA;IAC/G,CAAC,CAAA;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS;QAAE,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,yBAAyB,CAAC,CAAA;IAC/F,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;QACjC,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAA;QAC/I,KAAK,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,eAAe,CAAU;YAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,wBAAwB,GAAG,EAAE,CAAC,CAAA;IAC3H,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;QACjC,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAA;QAC/I,IAAI,QAAQ,CAAC,eAAe,KAAK,IAAI;YAAE,QAAQ,CAAC,QAAQ,CAAC,eAAe,EAAE,sCAAsC,CAAC,CAAA;QACjH,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS;YAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,gCAAgC,CAAC,CAAA;QACpG,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAA;QAClL,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,KAAK,YAAY,IAAI,QAAQ,CAAC,UAAU,KAAK,QAAQ;YAAE,MAAM,IAAI,SAAS,CAAC,8DAA8D,CAAC,CAAA;QACtM,MAAM,UAAU,GAAG,QAAQ,CAAC,iBAAiB,CAAA;QAC7C,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,4EAA4E,CAAC,CAAA;IACzO,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,OAAM;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAA;IAC9F,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACnC,MAAM,IAAI,GAAG,sBAAsB,KAAK,GAAG,CAAA;QAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,0BAA0B,CAAC,CAAA;QACxK,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,IAAI,KAAK,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,+BAA+B,CAAC,CAAA;QACtH,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,kBAAkB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC/F,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACjB,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,eAAe,CAAU,EAAE,CAAC;YACtD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS;gBAAE,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAA;QAC1E,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,yBAAyB,CAAC,CAAA;QACvH,KAAK,MAAM,GAAG,IAAI,CAAC,gBAAgB,EAAE,kBAAkB,CAAU,EAAE,CAAC;YAClE,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;YACzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,IAAI,GAAG,mBAAmB,CAAC,CAAA;YAClF,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;gBAChD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;oBAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,IAAI,GAAG,IAAI,IAAI,6BAA6B,CAAC,CAAA;YAC7K,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAA"}

package/dist/src/diagnostic-text.d.ts

@@ -0,0 +1,3 @@
+/** Keep malformed-input diagnostics small while retaining both ends and exact size. */
+export declare const diagnosticText: (input: string, quoteShort?: boolean) => string;
+//# sourceMappingURL=diagnostic-text.d.ts.map

package/dist/src/diagnostic-text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic-text.d.ts","sourceRoot":"","sources":["../../src/diagnostic-text.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,eAAO,MAAM,cAAc,GAAI,OAAO,MAAM,EAAE,oBAAiB,KAAG,MAEiD,CAAA"}

package/dist/src/diagnostic-text.js

@@ -0,0 +1,5 @@
+/** Keep malformed-input diagnostics small while retaining both ends and exact size. */
+export const diagnosticText = (input, quoteShort = true) => input.length <= 160
+    ? (quoteShort ? JSON.stringify(input) : input)
+    : `${JSON.stringify(input.slice(0, 80))}…${JSON.stringify(input.slice(-80))} (${input.length} UTF-16 code units)`;
+//# sourceMappingURL=diagnostic-text.js.map

package/dist/src/diagnostic-text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic-text.js","sourceRoot":"","sources":["../../src/diagnostic-text.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,UAAU,GAAG,IAAI,EAAU,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG;IAC7F,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC9C,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,qBAAqB,CAAA"}

package/dist/src/evaluate-expression.d.ts

@@ -0,0 +1,4 @@
+import type { Expression } from './model.ts';
+/** Evaluate a captured expression with an explicit stack and caller-owned cache. */
+export declare const evaluate: <T>(expression: Expression, steps: (value: Expression) => Generator<Expression, T, T>, cache: WeakMap<Expression, T>) => T;
+//# sourceMappingURL=evaluate-expression.d.ts.map

package/dist/src/evaluate-expression.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate-expression.d.ts","sourceRoot":"","sources":["../../src/evaluate-expression.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C,oFAAoF;AACpF,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,YAAY,UAAU,EAAE,OAAO,CAAC,KAAK,EAAE,UAAU,KAAK,SAAS,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,KAAG,CAiB9I,CAAA"}

package/dist/src/evaluate-expression.js

@@ -0,0 +1,24 @@
+/** Evaluate a captured expression with an explicit stack and caller-owned cache. */
+export const evaluate = (expression, steps, cache) => {
+    if (cache.has(expression))
+        return cache.get(expression);
+    const stack = [{ expression, iterator: steps(expression) }];
+    let step = stack[0].iterator.next();
+    while (true) {
+        if (step.done) {
+            cache.set(stack.pop().expression, step.value);
+            if (stack.length === 0)
+                return step.value;
+            step = stack[stack.length - 1].iterator.next(step.value);
+        }
+        else if (cache.has(step.value)) {
+            step = stack[stack.length - 1].iterator.next(cache.get(step.value));
+        }
+        else {
+            const child = { expression: step.value, iterator: steps(step.value) };
+            stack.push(child);
+            step = child.iterator.next();
+        }
+    }
+};
+//# sourceMappingURL=evaluate-expression.js.map

package/dist/src/evaluate-expression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate-expression.js","sourceRoot":"","sources":["../../src/evaluate-expression.ts"],"names":[],"mappings":"AAEA,oFAAoF;AACpF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAI,UAAsB,EAAE,KAAyD,EAAE,KAA6B,EAAK,EAAE;IACjJ,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,UAAU,CAAE,CAAA;IACxD,MAAM,KAAK,GAAG,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;IAC3D,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;IACpC,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAG,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,KAAK,CAAA;YACzC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC3D,CAAC;aAAM,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,CAAA;QACvE,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAA;YACrE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACjB,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;QAC9B,CAAC;IACH,CAAC;AACH,CAAC,CAAA"}

package/dist/src/exact.d.ts

@@ -5,6 +5,8 @@ export type Normalized = {
 };
 export declare const integer: (input: Integer) => bigint;
 export declare const rational: (input: Rational) => Normalized;
+/** Normalize integer intermediates without serializing and parsing them again. */
+export declare const fromBigInts: (numerator: bigint, denominator: bigint) => Normalized;
 export declare const compare: (left: Rational, right: Rational) => -1 | 0 | 1;
 export declare const isZero: (input: Rational) => boolean;
 //# sourceMappingURL=exact.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"exact.d.ts","sourceRoot":"","sources":["../../src/exact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAEnD,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B,CAAA;AAgBD,eAAO,MAAM,OAAO,GAAI,OAAO,OAAO,KAAG,MAWxC,CAAA;AAsBD,eAAO,MAAM,QAAQ,GAAI,OAAO,QAAQ,KAAG,UAqB1C,CAAA;AAED,eAAO,MAAM,OAAO,GAAI,MAAM,QAAQ,EAAE,OAAO,QAAQ,KAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAKlE,CAAA;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,QAAQ,KAAG,OAA4C,CAAA"}
+{"version":3,"file":"exact.d.ts","sourceRoot":"","sources":["../../src/exact.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAEnD,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B,CAAA;AAWD,eAAO,MAAM,OAAO,GAAI,OAAO,OAAO,KAAG,MAYxC,CAAA;AA0CD,eAAO,MAAM,QAAQ,GAAI,OAAO,QAAQ,KAAG,UAoC1C,CAAA;AAED,kFAAkF;AAClF,eAAO,MAAM,WAAW,GAAI,WAAW,MAAM,EAAE,aAAa,MAAM,KAAG,UAgBpE,CAAA;AAaD,eAAO,MAAM,OAAO,GAAI,MAAM,QAAQ,EAAE,OAAO,QAAQ,KAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAyBlE,CAAA;AAQD,eAAO,MAAM,MAAM,GAAI,OAAO,QAAQ,KAAG,OAMxC,CAAA"}

package/dist/src/exact.js

@@ -1,14 +1,11 @@
+import { diagnosticText } from "./diagnostic-text.js";
+import { gcd } from "./integer-gcd.js";
 const integerPattern = /^[+-]?\d+$/;
 const decimalPattern = /^[+-]?(?:\d+(?:\.\d*)?|\.\d+)(?:[eE][+-]?\d+)?$/;
-const gcd = (left, right) => {
-    let a = left < 0n ? -left : left;
-    let b = right < 0n ? -right : right;
-    while (b !== 0n) {
-        const remainder = a % b;
-        a = b;
-        b = remainder;
-    }
-    return a;
+const assertIntegerText = (input) => {
+    if (input.match(integerPattern)?.[0] !== input) {
+        throw new TypeError(`expected an integer string, received ${diagnosticText(input)}`);
+    }
 };
 export const integer = (input) => {
     if (typeof input === 'number') {
@@ -17,40 +14,94 @@ export const integer = (input) => {
         }
         return BigInt(input);
     }
-    if (!integerPattern.test(input)) {
-        throw new TypeError(`expected an integer string, received ${JSON.stringify(input)}`);
+    if (typeof input !== 'string') {
+        throw new TypeError('expected a safe integer number or an integer string');
     }
+    assertIntegerText(input);
     return BigInt(input);
 };
-const decimal = (input) => {
-    if (!decimalPattern.test(input)) {
-        throw new TypeError(`expected an exact decimal string, received ${JSON.stringify(input)}`);
+const decimalParts = (input) => {
+    if (input.match(decimalPattern)?.[0] !== input) {
+        throw new TypeError(`expected an exact decimal string, received ${diagnosticText(input)}`);
     }
     const [coefficient = '', exponentText] = input.toLowerCase().split('e');
     const exponent = exponentText === undefined ? 0 : Number(exponentText);
     if (!Number.isSafeInteger(exponent)) {
-        throw new TypeError(`decimal exponent is outside the supported range: ${JSON.stringify(input)}`);
+        throw new TypeError(`decimal exponent is outside the supported range: ${diagnosticText(input)}`);
     }
+    return { coefficient, exponent };
+};
+const decimal = (input) => {
+    const { coefficient, exponent } = decimalParts(input);
     const negative = coefficient.startsWith('-');
     const unsigned = coefficient.replace(/^[+-]/, '');
     const [whole = '', fraction = ''] = unsigned.split('.');
     const digits = `${whole === '' ? '0' : whole}${fraction}`;
-    const scale = fraction.length - exponent;
-    const signed = BigInt(digits === '' ? '0' : digits) * (negative ? -1n : 1n);
-    return scale <= 0
-        ? [signed * (10n ** BigInt(-scale)), 1n]
-        : [signed, 10n ** BigInt(scale)];
+    let scale = fraction.length - exponent;
+    let magnitude = digits.replace(/^0+/, '');
+    if (magnitude === '')
+        return { numerator: '0', denominator: '1' };
+    // Cancel powers of ten in text before allocating either bigint operand.
+    let cancelled = 0;
+    while (cancelled < scale && magnitude[magnitude.length - cancelled - 1] === '0')
+        cancelled++;
+    if (cancelled > 0) {
+        magnitude = magnitude.slice(0, -cancelled);
+        scale -= cancelled;
+    }
+    if (scale <= 0) {
+        return { numerator: `${negative ? '-' : ''}${magnitude}${'0'.repeat(-scale)}`, denominator: '1' };
+    }
+    return fromBigInts(BigInt(magnitude) * (negative ? -1n : 1n), 10n ** BigInt(scale));
+};
+const assertRationalObject = (input) => {
+    if (input === null || typeof input !== 'object') {
+        throw new TypeError('expected an exact decimal string or a numerator/denominator object');
+    }
 };
 export const rational = (input) => {
-    let numerator;
+    let numerator = 0n;
     let denominator;
     if (typeof input === 'string') {
-        ;
-        [numerator, denominator] = decimal(input);
+        return decimal(input);
     }
     else {
-        numerator = integer(input.numerator);
-        denominator = integer(input.denominator);
+        assertRationalObject(input);
+        const suppliedNumerator = input.numerator;
+        const numeratorText = typeof suppliedNumerator === 'string' ? suppliedNumerator : undefined;
+        let zero;
+        if (numeratorText !== undefined) {
+            assertIntegerText(numeratorText);
+            zero = !/[1-9]/.test(numeratorText);
+        }
+        else {
+            numerator = integer(suppliedNumerator);
+            zero = numerator === 0n;
+        }
+        const suppliedDenominator = input.denominator;
+        if (zero && typeof suppliedDenominator === 'string') {
+            assertIntegerText(suppliedDenominator);
+            if (!/[1-9]/.test(suppliedDenominator)) {
+                throw new TypeError('rational denominator must not be zero');
+            }
+            return { numerator: '0', denominator: '1' };
+        }
+        denominator = integer(suppliedDenominator);
+        if (numeratorText !== undefined) {
+            if (denominator === 1n || denominator === -1n) {
+                const magnitude = numeratorText.replace(/^[+-]?0*/, '');
+                const negative = numeratorText.startsWith('-') !== (denominator === -1n);
+                return { numerator: magnitude === '' ? '0' : `${negative ? '-' : ''}${magnitude}`, denominator: '1' };
+            }
+            numerator = BigInt(numeratorText);
+        }
+    }
+    return fromBigInts(numerator, denominator);
+};
+/** Normalize integer intermediates without serializing and parsing them again. */
+export const fromBigInts = (numerator, denominator) => {
+    if (typeof numerator !== 'bigint' || typeof denominator !== 'bigint') {
+        throw new TypeError('expected bigint numerator and denominator');
     }
     if (denominator === 0n) {
         throw new TypeError('rational denominator must not be zero');
@@ -65,11 +116,57 @@ export const rational = (input) => {
         denominator: String(denominator / divisor)
     };
 };
+/** Compare canonical integer text without allocating bigint magnitudes. */
+const integerOrder = (left, right) => {
+    if (left === right)
+        return 0;
+    const negative = left.startsWith('-');
+    if (negative !== right.startsWith('-'))
+        return negative ? -1 : 1;
+    const a = negative ? left.slice(1) : left;
+    const b = negative ? right.slice(1) : right;
+    const order = a.length === b.length ? (a < b ? -1 : 1) : a.length < b.length ? -1 : 1;
+    return negative ? (order === -1 ? 1 : -1) : order;
+};
 export const compare = (left, right) => {
     const a = rational(left);
     const b = rational(right);
-    const difference = BigInt(a.numerator) * BigInt(b.denominator) - BigInt(b.numerator) * BigInt(a.denominator);
-    return difference < 0n ? -1 : difference > 0n ? 1 : 0;
+    const numerators = integerOrder(a.numerator, b.numerator);
+    const negative = a.numerator.startsWith('-');
+    if (a.denominator === b.denominator || a.numerator === '0' || b.numerator === '0' ||
+        negative !== b.numerator.startsWith('-')) {
+        return numerators;
+    }
+    const denominators = integerOrder(a.denominator, b.denominator);
+    if (numerators === 0) {
+        // Equal denominators were handled above. A positive common numerator
+        // reverses denominator order; a negative one preserves it.
+        return negative ? denominators : denominators === -1 ? 1 : -1;
+    }
+    // With equal signs, a smaller magnitude numerator and larger denominator
+    // reinforce each other. Their ordering needs no cross-product allocation.
+    if ((numerators < 0) === (negative ? denominators < 0 : denominators > 0)) {
+        return numerators;
+    }
+    const numeratorA = BigInt(a.numerator), numeratorB = BigInt(b.numerator);
+    const denominatorA = BigInt(a.denominator), denominatorB = BigInt(b.denominator);
+    const productA = numeratorA * denominatorB;
+    const productB = numeratorB * denominatorA;
+    return productA < productB ? -1 : productA > productB ? 1 : 0;
+};
+const integerIsZero = (input) => {
+    if (typeof input !== 'string')
+        return integer(input) === 0n;
+    assertIntegerText(input);
+    return !/[1-9]/.test(input);
+};
+export const isZero = (input) => {
+    if (typeof input === 'string')
+        return !/[1-9]/.test(decimalParts(input).coefficient);
+    assertRationalObject(input);
+    const zero = integerIsZero(input.numerator);
+    if (integerIsZero(input.denominator))
+        throw new TypeError('rational denominator must not be zero');
+    return zero;
 };
-export const isZero = (input) => rational(input).numerator === '0';
 //# sourceMappingURL=exact.js.map

package/dist/src/exact.js.map

@@ -1 +1 @@
-{"version":3,"file":"exact.js","sourceRoot":"","sources":["../../src/exact.ts"],"names":[],"mappings":"AAOA,MAAM,cAAc,GAAG,YAAY,CAAA;AACnC,MAAM,cAAc,GAAG,iDAAiD,CAAA;AAExE,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE;IAClD,IAAI,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;IAChC,IAAI,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAA;IACnC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,CAAA;QACvB,CAAC,GAAG,CAAC,CAAA;QACL,CAAC,GAAG,SAAS,CAAA;IACf,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAc,EAAU,EAAE;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,SAAS,CAAC,qCAAqC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC3E,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACtB,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,SAAS,CAAC,wCAAwC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACtF,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;AACtB,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,KAAa,EAA6B,EAAE;IAC3D,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,SAAS,CAAC,8CAA8C,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC5F,CAAC;IACD,MAAM,CAAC,WAAW,GAAG,EAAE,EAAE,YAAY,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACvE,MAAM,QAAQ,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;IACtE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,SAAS,CAAC,oDAAoD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAClG,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;IAC5C,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IACjD,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,QAAQ,GAAG,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACvD,MAAM,MAAM,GAAG,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,QAAQ,EAAE,CAAA;IACzD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAA;IACxC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAC3E,OAAO,KAAK,IAAI,CAAC;QACf,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QACxC,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;AACpC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAe,EAAc,EAAE;IACtD,IAAI,SAAiB,CAAA;IACrB,IAAI,WAAmB,CAAA;IACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,CAAC;QAAA,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC5C,CAAC;SAAM,CAAC;QACN,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QACpC,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;IAC1C,CAAC;IACD,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACvB,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAA;IAC9D,CAAC;IACD,IAAI,WAAW,GAAG,EAAE,EAAE,CAAC;QACrB,SAAS,GAAG,CAAC,SAAS,CAAA;QACtB,WAAW,GAAG,CAAC,WAAW,CAAA;IAC5B,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;IAC3C,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,SAAS,GAAG,OAAO,CAAC;QACtC,WAAW,EAAE,MAAM,CAAC,WAAW,GAAG,OAAO,CAAC;KAC3C,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAc,EAAE,KAAe,EAAc,EAAE;IACrE,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAA;IACxB,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACzB,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAA;IAC5G,OAAO,UAAU,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACvD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAe,EAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,KAAK,GAAG,CAAA"}
+{"version":3,"file":"exact.js","sourceRoot":"","sources":["../../src/exact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAQtC,MAAM,cAAc,GAAG,YAAY,CAAA;AACnC,MAAM,cAAc,GAAG,iDAAiD,CAAA;AAExE,MAAM,iBAAiB,GAAG,CAAC,KAAa,EAAQ,EAAE;IAChD,IAAI,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;QAC/C,MAAM,IAAI,SAAS,CAAC,wCAAwC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACtF,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAc,EAAU,EAAE;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,SAAS,CAAC,qCAAqC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC3E,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACtB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAA;IAC5E,CAAC;IACD,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACxB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;AACtB,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,KAAa,EAA6C,EAAE;IAChF,IAAI,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;QAC/C,MAAM,IAAI,SAAS,CAAC,8CAA8C,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC5F,CAAC;IACD,MAAM,CAAC,WAAW,GAAG,EAAE,EAAE,YAAY,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACvE,MAAM,QAAQ,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;IACtE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,SAAS,CAAC,oDAAoD,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAClG,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAA;AAClC,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,KAAa,EAAc,EAAE;IAC5C,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;IAC5C,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IACjD,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,QAAQ,GAAG,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACvD,MAAM,MAAM,GAAG,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,QAAQ,EAAE,CAAA;IACzD,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAA;IACtC,IAAI,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACzC,IAAI,SAAS,KAAK,EAAE;QAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAA;IACjE,wEAAwE;IACxE,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,OAAO,SAAS,GAAG,KAAK,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,SAAS,GAAG,CAAC,CAAC,KAAK,GAAG;QAAE,SAAS,EAAE,CAAA;IAC5F,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAA;QAC1C,KAAK,IAAI,SAAS,CAAA;IACpB,CAAC;IACD,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,OAAO,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAA;IACnG,CAAC;IACD,OAAO,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;AACrF,CAAC,CAAA;AAED,MAAM,oBAAoB,GAAG,CAAC,KAAc,EAAQ,EAAE;IACpD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,IAAI,SAAS,CAAC,oEAAoE,CAAC,CAAA;IAC3F,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAe,EAAc,EAAE;IACtD,IAAI,SAAS,GAAG,EAAE,CAAA;IAClB,IAAI,WAAmB,CAAA;IACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC,KAAK,CAAC,CAAA;IACvB,CAAC;SAAM,CAAC;QACN,oBAAoB,CAAC,KAAK,CAAC,CAAA;QAC3B,MAAM,iBAAiB,GAAG,KAAK,CAAC,SAAS,CAAA;QACzC,MAAM,aAAa,GAAG,OAAO,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAA;QAC3F,IAAI,IAAa,CAAA;QACjB,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,iBAAiB,CAAC,aAAa,CAAC,CAAA;YAChC,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QACrC,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAA;YACtC,IAAI,GAAG,SAAS,KAAK,EAAE,CAAA;QACzB,CAAC;QACD,MAAM,mBAAmB,GAAG,KAAK,CAAC,WAAW,CAAA;QAC7C,IAAI,IAAI,IAAI,OAAO,mBAAmB,KAAK,QAAQ,EAAE,CAAC;YACpD,iBAAiB,CAAC,mBAAmB,CAAC,CAAA;YACtC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBACvC,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAA;YAC9D,CAAC;YACD,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAA;QAC7C,CAAC;QACD,WAAW,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAA;QAC1C,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,IAAI,WAAW,KAAK,EAAE,IAAI,WAAW,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC9C,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;gBACvD,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC,CAAA;gBACxE,OAAO,EAAE,SAAS,EAAE,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAA;YACvG,CAAC;YACD,SAAS,GAAG,MAAM,CAAC,aAAa,CAAC,CAAA;QACnC,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;AAC5C,CAAC,CAAA;AAED,kFAAkF;AAClF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,SAAiB,EAAE,WAAmB,EAAc,EAAE;IAChF,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;QACrE,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAA;IAClE,CAAC;IACD,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACvB,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAA;IAC9D,CAAC;IACD,IAAI,WAAW,GAAG,EAAE,EAAE,CAAC;QACrB,SAAS,GAAG,CAAC,SAAS,CAAA;QACtB,WAAW,GAAG,CAAC,WAAW,CAAA;IAC5B,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;IAC3C,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,SAAS,GAAG,OAAO,CAAC;QACtC,WAAW,EAAE,MAAM,CAAC,WAAW,GAAG,OAAO,CAAC;KAC3C,CAAA;AACH,CAAC,CAAA;AAED,2EAA2E;AAC3E,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,KAAa,EAAc,EAAE;IAC/D,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,CAAA;IAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;IACrC,IAAI,QAAQ,KAAK,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAChE,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;IAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACrF,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AACnD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAc,EAAE,KAAe,EAAc,EAAE;IACrE,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAA;IACxB,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACzB,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAA;IACzD,MAAM,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;IAC5C,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,CAAC,CAAC,SAAS,KAAK,GAAG;QAC7E,QAAQ,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,UAAU,CAAA;IACnB,CAAC;IACD,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC,CAAA;IAC/D,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,qEAAqE;QACrE,2DAA2D;QAC3D,OAAO,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,CAAC;IACD,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1E,OAAO,UAAU,CAAA;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACxE,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAA;IAChF,MAAM,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAA;IAC1C,MAAM,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAA;IAC1C,OAAO,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC/D,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,KAAc,EAAW,EAAE;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAA;IAC3D,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACxB,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC7B,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAe,EAAW,EAAE;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAA;IACpF,oBAAoB,CAAC,KAAK,CAAC,CAAA;IAC3B,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC3C,IAAI,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAA;IAClG,OAAO,IAAI,CAAA;AACb,CAAC,CAAA"}

package/dist/src/explain.d.ts

@@ -56,9 +56,13 @@ export type AssignmentValue = Element & {
 };
 export type Constraint = Element & {
     readonly evaluation: 'satisfied' | 'violated' | 'indeterminate';
+    /** Human-readable local evaluation failure; absent for determinate evaluations. */
+    readonly evaluationReason?: string;
 };
 export type SoftConstraintResult = Element & {
     readonly evaluation: 'accepted' | 'violated' | 'indeterminate';
+    /** Human-readable local evaluation failure; absent for determinate evaluations. */
+    readonly evaluationReason?: string;
     readonly weight: ReturnType<typeof Exact.rational>;
 };
 export type ObjectiveResult = Element & {