@cavelang/solver 0.27.14

package/dist/src/linear.js

@@ -0,0 +1,52 @@
+import { model as validate } from "./validate.js";
+const affine = (expression) => {
+    switch (expression.kind) {
+        case 'literal': return { linear: expression.sort === 'int' || expression.sort === 'real', constant: true };
+        case 'variable': return { linear: true, constant: false };
+        case 'negate': return affine(expression.value);
+        case 'add': {
+            const parts = expression.operands.map(affine);
+            return { linear: parts.every(part => part.linear), constant: parts.every(part => part.constant) };
+        }
+        case 'subtract': {
+            const left = affine(expression.left);
+            const right = affine(expression.right);
+            return { linear: left.linear && right.linear, constant: left.constant && right.constant };
+        }
+        case 'multiply': {
+            const parts = expression.operands.map(affine);
+            return { linear: parts.every(part => part.linear) && parts.filter(part => !part.constant).length <= 1, constant: parts.every(part => part.constant) };
+        }
+        case 'divide': {
+            const left = affine(expression.left);
+            const right = affine(expression.right);
+            return { linear: left.linear && right.linear && right.constant, constant: left.constant && right.constant };
+        }
+        default: return { linear: false, constant: false };
+    }
+};
+const constraintIsLinear = (expression) => {
+    if (expression.kind !== 'eq' && expression.kind !== 'lte' && expression.kind !== 'gte')
+        return false;
+    return affine(expression.left).linear && affine(expression.right).linear;
+};
+/** Recognizes the portable LP/MIP subset without consulting a backend AST. */
+export const model = (input) => {
+    validate(input);
+    const problems = [];
+    if (input.variables.some(variable => variable.sort === 'bool' || variable.sort === 'enum')) {
+        problems.push('Boolean and enum variables are outside the linear subset');
+    }
+    if ((input.softConstraints?.length ?? 0) > 0)
+        problems.push('soft constraints are outside the linear subset');
+    input.constraints.forEach(constraint => {
+        if (!constraintIsLinear(constraint.expression))
+            problems.push(`constraint ${constraint.id} is not a non-strict linear comparison`);
+    });
+    (input.objectives ?? []).forEach(objective => {
+        if (!affine(objective.expression).linear)
+            problems.push(`objective ${objective.id} is not linear`);
+    });
+    return { linear: problems.length === 0, problems };
+};
+//# sourceMappingURL=linear.js.map

package/dist/src/linear.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"linear.js","sourceRoot":"","sources":["../../src/linear.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,QAAQ,EAAE,MAAM,eAAe,CAAA;AASjD,MAAM,MAAM,GAAG,CAAC,UAAsB,EAAU,EAAE;IAChD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,SAAS,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;QAC1G,KAAK,UAAU,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;QACzD,KAAK,QAAQ,CAAC,CAAC,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;QAC9C,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAC7C,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAA;QACnG,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;YACpC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;YACtC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAA;QAC3F,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAC7C,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAA;QACvJ,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;YACpC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;YACtC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAA;QAC7G,CAAC;QACD,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;IACpD,CAAC;AACH,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CAAC,UAAsB,EAAW,EAAE;IAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAA;IACpG,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAA;AAC1E,CAAC,CAAA;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAY,EAAY,EAAE;IAC9C,QAAQ,CAAC,KAAK,CAAC,CAAA;IACf,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QAC3F,QAAQ,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAA;IAC3E,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAA;IAC7G,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;QACrC,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,cAAc,UAAU,CAAC,EAAE,wCAAwC,CAAC,CAAA;IACpI,CAAC,CAAC,CACD;IAAA,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;QAC5C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,EAAE,gBAAgB,CAAC,CAAA;IACpG,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAA;AACpD,CAAC,CAAA"}

package/dist/src/model.d.ts

@@ -0,0 +1,130 @@
+/** Portable model schema understood by solver adapters. */
+export declare const schema: "cave.solver/model@1";
+export type Integer = string | number;
+/** Exact rational input. Decimal strings are parsed without using `number`. */
+export type Rational = string | {
+    readonly numerator: Integer;
+    readonly denominator: Integer;
+};
+export type EnumDomain = {
+    readonly id: string;
+    readonly values: readonly string[];
+    readonly description?: string;
+};
+export type Variable = {
+    readonly id: string;
+    readonly sort: 'bool';
+    readonly description?: string;
+} | {
+    readonly id: string;
+    readonly sort: 'int';
+    readonly min: Integer;
+    readonly max: Integer;
+    readonly description?: string;
+} | {
+    readonly id: string;
+    readonly sort: 'real';
+    readonly min?: Rational;
+    readonly max?: Rational;
+    readonly description?: string;
+} | {
+    readonly id: string;
+    readonly sort: 'enum';
+    readonly domain: string;
+    readonly description?: string;
+};
+export type Literal = {
+    readonly kind: 'literal';
+    readonly sort: 'bool';
+    readonly value: boolean;
+} | {
+    readonly kind: 'literal';
+    readonly sort: 'int';
+    readonly value: Integer;
+} | {
+    readonly kind: 'literal';
+    readonly sort: 'real';
+    readonly value: Rational;
+} | {
+    readonly kind: 'literal';
+    readonly sort: 'enum';
+    readonly domain: string;
+    readonly value: string;
+};
+export type Expression = Literal | {
+    readonly kind: 'variable';
+    readonly id: string;
+} | {
+    readonly kind: 'not';
+    readonly value: Expression;
+} | {
+    readonly kind: 'and' | 'or';
+    readonly operands: readonly Expression[];
+} | {
+    readonly kind: 'implies';
+    readonly left: Expression;
+    readonly right: Expression;
+} | {
+    readonly kind: 'eq' | 'neq' | 'lt' | 'lte' | 'gt' | 'gte';
+    readonly left: Expression;
+    readonly right: Expression;
+} | {
+    readonly kind: 'add' | 'multiply';
+    readonly operands: readonly Expression[];
+} | {
+    readonly kind: 'subtract' | 'divide';
+    readonly left: Expression;
+    readonly right: Expression;
+} | {
+    readonly kind: 'negate';
+    readonly value: Expression;
+} | {
+    readonly kind: 'if';
+    readonly condition: Expression;
+    readonly then: Expression;
+    readonly else: Expression;
+};
+export type HardConstraint = {
+    readonly id: string;
+    readonly expression: Expression;
+    readonly description?: string;
+    readonly evidenceRowIds?: readonly string[];
+};
+export type SoftConstraint = HardConstraint & {
+    /** Deliberate preference weight; never inferred from CAVE confidence. */
+    readonly weight: Rational;
+};
+export type Objective = {
+    readonly id: string;
+    readonly direction: 'minimize' | 'maximize';
+    readonly expression: Expression;
+    readonly description?: string;
+    readonly evidenceRowIds?: readonly string[];
+};
+export type Model = {
+    readonly schema: typeof schema;
+    readonly enums?: readonly EnumDomain[];
+    readonly variables: readonly Variable[];
+    readonly constraints: readonly HardConstraint[];
+    readonly softConstraints?: readonly SoftConstraint[];
+    /** Objective order is semantic and means lexicographic priority. */
+    readonly objectives?: readonly Objective[];
+};
+export type t = Model;
+export type Value = {
+    readonly sort: 'bool';
+    readonly value: boolean;
+} | {
+    readonly sort: 'int';
+    readonly value: string;
+} | {
+    readonly sort: 'real';
+    readonly numerator: string;
+    readonly denominator: string;
+} | {
+    readonly sort: 'enum';
+    readonly domain: string;
+    readonly value: string;
+};
+export type Assignment = Readonly<Record<string, Value>>;
+//# sourceMappingURL=model.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/model.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAC3D,eAAO,MAAM,MAAM,EAAG,qBAA8B,CAAA;AAEpD,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,CAAA;AAErC,+EAA+E;AAC/E,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG;IAC9B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1H;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/H;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAE1G,MAAM,MAAM,OAAO,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC5E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA;AAExG,MAAM,MAAM,UAAU,GAClB,OAAO,GACP;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACpH;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,GAC/E;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAC/F;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAA;AAEjH,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAC5C,CAAA;AAED,MAAM,MAAM,cAAc,GAAG,cAAc,GAAG;IAC5C,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,SAAS,EAAE,UAAU,GAAG,UAAU,CAAA;IAC3C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAC5C,CAAA;AAED,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAA;IACtC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAA;IACvC,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAA;IAC/C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAA;IACpD,oEAAoE;IACpE,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,SAAS,EAAE,CAAA;CAC3C,CAAA;AAED,MAAM,MAAM,CAAC,GAAG,KAAK,CAAA;AAErB,MAAM,MAAM,KAAK,GACb;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA;AAE9E,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA"}

package/dist/src/model.js

@@ -0,0 +1,3 @@
+/** Portable model schema understood by solver adapters. */
+export const schema = 'cave.solver/model@1';
+//# sourceMappingURL=model.js.map

package/dist/src/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/model.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAC3D,MAAM,CAAC,MAAM,MAAM,GAAG,qBAA8B,CAAA"}

package/dist/src/solve.d.ts

@@ -0,0 +1,5 @@
+import type { Options, Result, SolverAdapter } from './adapter.ts';
+import type { Model } from './model.ts';
+/** Validates and negotiates a model before crossing the adapter boundary. */
+export declare const run: (adapter: SolverAdapter, model: Model, options?: Options) => Promise<Result>;
+//# sourceMappingURL=solve.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"solve.d.ts","sourceRoot":"","sources":["../../src/solve.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAElE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAGvC,6EAA6E;AAC7E,eAAO,MAAM,GAAG,GAAU,SAAS,aAAa,EAAE,OAAO,KAAK,EAAE,UAAS,OAAY,KAAG,OAAO,CAAC,MAAM,CAMrG,CAAA"}

package/dist/src/solve.js

@@ -0,0 +1,12 @@
+import * as Capability from "./capability.js";
+import * as Validate from "./validate.js";
+/** Validates and negotiates a model before crossing the adapter boundary. */
+export const run = async (adapter, model, options = {}) => {
+    const limits = Validate.mergeLimits(options.limits);
+    Validate.model(model, limits);
+    const missing = Capability.missing(adapter, model, options.unsatCore ?? false);
+    if (missing.length > 0)
+        throw new Capability.UnsupportedModelError(adapter.backend.name, missing);
+    return adapter.solve(model, { limits, unsatCore: options.unsatCore ?? false });
+};
+//# sourceMappingURL=solve.js.map

package/dist/src/solve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"solve.js","sourceRoot":"","sources":["../../src/solve.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,6EAA6E;AAC7E,MAAM,CAAC,MAAM,GAAG,GAAG,KAAK,EAAE,OAAsB,EAAE,KAAY,EAAE,UAAmB,EAAE,EAAmB,EAAE;IACxG,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACnD,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC7B,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC,CAAA;IAC9E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,qBAAqB,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACjG,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,KAAK,EAAE,CAAC,CAAA;AAChF,CAAC,CAAA"}

package/dist/src/validate.d.ts

@@ -0,0 +1,24 @@
+import type { Limits } from './adapter.ts';
+import { type Model } from './model.ts';
+export type Stats = {
+    readonly variables: number;
+    readonly constraints: number;
+    readonly objectives: number;
+    readonly enumValues: number;
+    readonly expressionNodes: number;
+    readonly expressionDepth: number;
+};
+export declare class ModelValidationError extends Error {
+    readonly problems: readonly string[];
+    constructor(problems: readonly string[]);
+}
+export declare class ModelLimitError extends Error {
+    readonly limit: keyof Limits;
+    readonly actual: number;
+    readonly maximum: number;
+    constructor(limit: keyof Limits, actual: number, maximum: number);
+}
+export declare const mergeLimits: (input?: Partial<Limits>) => Limits;
+/** Validates sorts and exact values before any backend is invoked. */
+export declare const model: (input: Model, limitInput?: Partial<Limits>) => Stats;
+//# sourceMappingURL=validate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAG1C,OAAO,EAA2B,KAAK,KAAK,EAAgC,MAAM,YAAY,CAAA;AAE9F,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CACjC,CAAA;AAED,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;gBAExB,QAAQ,EAAE,SAAS,MAAM,EAAE;CAKxC;AAED,qBAAa,eAAgB,SAAQ,KAAK;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;gBAEZ,KAAK,EAAE,MAAM,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAOjE;AAiKD,eAAO,MAAM,WAAW,GAAI,QAAO,OAAO,CAAC,MAAM,CAAM,KAAG,MAQzD,CAAA;AAgBD,sEAAsE;AACtE,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,EAAE,aAAY,OAAO,CAAC,MAAM,CAAM,KAAG,KA+EtE,CAAA"}

package/dist/src/validate.js

@@ -0,0 +1,283 @@
+import { defaultLimits } from "./adapter.js";
+import * as Exact from "./exact.js";
+import { schema } from "./model.js";
+export class ModelValidationError extends Error {
+    problems;
+    constructor(problems) {
+        super(`invalid solver model:\n- ${problems.join('\n- ')}`);
+        this.name = 'ModelValidationError';
+        this.problems = problems;
+    }
+}
+export class ModelLimitError extends Error {
+    limit;
+    actual;
+    maximum;
+    constructor(limit, actual, maximum) {
+        super(`solver model exceeds ${limit}: ${actual} > ${maximum}`);
+        this.name = 'ModelLimitError';
+        this.limit = limit;
+        this.actual = actual;
+        this.maximum = maximum;
+    }
+}
+const idPattern = /^[A-Za-z][A-Za-z0-9._:/-]*$/;
+const numeric = (sort) => sort.kind === 'int' || sort.kind === 'real';
+const same = (left, right) => left.kind === right.kind && (left.kind !== 'enum' || (right.kind === 'enum' && left.domain === right.domain));
+const compatible = (left, right) => same(left, right) || (numeric(left) && numeric(right));
+const rationalOfInteger = (value, side) => String(Exact.integer(value[side]));
+const pushExactProblem = (problems, path, run) => {
+    try {
+        run();
+    }
+    catch (error) {
+        problems.push(`${path}: ${error instanceof Error ? error.message : String(error)}`);
+    }
+};
+const requireId = (id, path, problems) => {
+    if (!idPattern.test(id)) {
+        problems.push(`${path} must match ${String(idPattern)}`);
+    }
+};
+const duplicates = (ids, path, problems) => {
+    const seen = new Set();
+    for (const id of ids) {
+        if (seen.has(id)) {
+            problems.push(`${path} contains duplicate identifier ${JSON.stringify(id)}`);
+        }
+        seen.add(id);
+    }
+};
+const infer = (expression, path, variables, domains, problems, walk, depth) => {
+    walk.nodes += 1;
+    walk.depth = Math.max(walk.depth, depth);
+    const child = (value, suffix) => infer(value, `${path}.${suffix}`, variables, domains, problems, walk, depth + 1);
+    const expectBool = (sort, at) => {
+        if (sort.kind !== 'bool')
+            problems.push(`${at} must be boolean, received ${sort.kind}`);
+    };
+    const expectNumeric = (sort, at) => {
+        if (!numeric(sort))
+            problems.push(`${at} must be numeric, received ${sort.kind}`);
+    };
+    switch (expression.kind) {
+        case 'literal':
+            switch (expression.sort) {
+                case 'bool': return { kind: 'bool' };
+                case 'int':
+                    pushExactProblem(problems, path, () => Exact.integer(expression.value));
+                    return { kind: 'int' };
+                case 'real':
+                    pushExactProblem(problems, path, () => Exact.rational(expression.value));
+                    return { kind: 'real' };
+                case 'enum': {
+                    const values = domains.get(expression.domain);
+                    if (values === undefined)
+                        problems.push(`${path} references unknown enum domain ${JSON.stringify(expression.domain)}`);
+                    else if (!values.includes(expression.value))
+                        problems.push(`${path} value ${JSON.stringify(expression.value)} is outside enum domain ${JSON.stringify(expression.domain)}`);
+                    return { kind: 'enum', domain: expression.domain };
+                }
+            }
+        case 'variable': {
+            const variable = variables.get(expression.id);
+            if (variable === undefined) {
+                problems.push(`${path} references unknown variable ${JSON.stringify(expression.id)}`);
+                return { kind: 'bool' };
+            }
+            return variable.sort === 'enum' ? { kind: 'enum', domain: variable.domain } : { kind: variable.sort };
+        }
+        case 'not': {
+            expectBool(child(expression.value, 'value'), `${path}.value`);
+            return { kind: 'bool' };
+        }
+        case 'and':
+        case 'or': {
+            if (expression.operands.length < 2)
+                problems.push(`${path}.${expression.kind} requires at least two operands`);
+            expression.operands.forEach((operand, index) => expectBool(child(operand, `operands[${index}]`), `${path}.operands[${index}]`));
+            return { kind: 'bool' };
+        }
+        case 'implies': {
+            expectBool(child(expression.left, 'left'), `${path}.left`);
+            expectBool(child(expression.right, 'right'), `${path}.right`);
+            return { kind: 'bool' };
+        }
+        case 'eq':
+        case 'neq': {
+            const left = child(expression.left, 'left');
+            const right = child(expression.right, 'right');
+            if (!compatible(left, right))
+                problems.push(`${path} compares incompatible ${left.kind} and ${right.kind} expressions`);
+            return { kind: 'bool' };
+        }
+        case 'lt':
+        case 'lte':
+        case 'gt':
+        case 'gte': {
+            expectNumeric(child(expression.left, 'left'), `${path}.left`);
+            expectNumeric(child(expression.right, 'right'), `${path}.right`);
+            return { kind: 'bool' };
+        }
+        case 'add':
+        case 'multiply': {
+            if (expression.operands.length < 2)
+                problems.push(`${path}.${expression.kind} requires at least two operands`);
+            const sorts = expression.operands.map((operand, index) => child(operand, `operands[${index}]`));
+            sorts.forEach((sort, index) => expectNumeric(sort, `${path}.operands[${index}]`));
+            return { kind: sorts.some(sort => sort.kind === 'real') ? 'real' : 'int' };
+        }
+        case 'subtract': {
+            const left = child(expression.left, 'left');
+            const right = child(expression.right, 'right');
+            expectNumeric(left, `${path}.left`);
+            expectNumeric(right, `${path}.right`);
+            return { kind: left.kind === 'real' || right.kind === 'real' ? 'real' : 'int' };
+        }
+        case 'divide': {
+            expectNumeric(child(expression.left, 'left'), `${path}.left`);
+            expectNumeric(child(expression.right, 'right'), `${path}.right`);
+            const divisor = expression.right;
+            if (divisor.kind === 'literal' && (divisor.sort === 'int' || divisor.sort === 'real')) {
+                pushExactProblem(problems, `${path}.right`, () => {
+                    const zero = divisor.sort === 'int' ? Exact.integer(divisor.value) === 0n : Exact.isZero(divisor.value);
+                    if (zero)
+                        throw new TypeError('literal divisor must not be zero');
+                });
+            }
+            return { kind: 'real' };
+        }
+        case 'negate': {
+            const sort = child(expression.value, 'value');
+            expectNumeric(sort, `${path}.value`);
+            return sort;
+        }
+        case 'if': {
+            expectBool(child(expression.condition, 'condition'), `${path}.condition`);
+            const thenSort = child(expression.then, 'then');
+            const elseSort = child(expression.else, 'else');
+            if (!compatible(thenSort, elseSort))
+                problems.push(`${path} branches have incompatible ${thenSort.kind} and ${elseSort.kind} sorts`);
+            return numeric(thenSort) && numeric(elseSort) && (thenSort.kind === 'real' || elseSort.kind === 'real')
+                ? { kind: 'real' }
+                : thenSort;
+        }
+        default:
+            problems.push(`${path} uses unsupported expression kind ${JSON.stringify(expression.kind)}`);
+            return { kind: 'bool' };
+    }
+};
+export const mergeLimits = (input = {}) => {
+    const limits = { ...defaultLimits, ...input };
+    for (const [name, value] of Object.entries(limits)) {
+        if (!Number.isSafeInteger(value) || value <= 0) {
+            throw new TypeError(`solver limit ${name} must be a positive safe integer, received ${String(value)}`);
+        }
+    }
+    return limits;
+};
+const enforce = (stats, limits) => {
+    const checks = [
+        ['maxVariables', stats.variables],
+        ['maxConstraints', stats.constraints],
+        ['maxObjectives', stats.objectives],
+        ['maxEnumValues', stats.enumValues],
+        ['maxExpressionNodes', stats.expressionNodes],
+        ['maxExpressionDepth', stats.expressionDepth]
+    ];
+    for (const [limit, actual] of checks) {
+        if (actual > limits[limit])
+            throw new ModelLimitError(limit, actual, limits[limit]);
+    }
+};
+/** Validates sorts and exact values before any backend is invoked. */
+export const model = (input, limitInput = {}) => {
+    const limits = mergeLimits(limitInput);
+    const problems = [];
+    if (input.schema !== schema)
+        problems.push(`schema must be ${JSON.stringify(schema)}`);
+    const domains = new Map();
+    const enumDeclarations = input.enums ?? [];
+    duplicates(enumDeclarations.map(domain => domain.id), 'enums', problems);
+    enumDeclarations.forEach((domain, index) => {
+        requireId(domain.id, `enums[${index}].id`, problems);
+        if (domain.values.length === 0)
+            problems.push(`enums[${index}] must contain at least one value`);
+        if (new Set(domain.values).size !== domain.values.length)
+            problems.push(`enums[${index}] contains duplicate values`);
+        domains.set(domain.id, domain.values);
+    });
+    const variables = new Map();
+    duplicates(input.variables.map(variable => variable.id), 'variables', problems);
+    input.variables.forEach((variable, index) => {
+        requireId(variable.id, `variables[${index}].id`, problems);
+        variables.set(variable.id, variable);
+        if (variable.sort === 'enum' && !domains.has(variable.domain)) {
+            problems.push(`variables[${index}] references unknown enum domain ${JSON.stringify(variable.domain)}`);
+        }
+        if (variable.sort === 'int') {
+            pushExactProblem(problems, `variables[${index}].min`, () => Exact.integer(variable.min));
+            pushExactProblem(problems, `variables[${index}].max`, () => Exact.integer(variable.max));
+            try {
+                if (Exact.compare(rationalOfInteger(variable, 'min'), rationalOfInteger(variable, 'max')) > 0) {
+                    problems.push(`variables[${index}] has min greater than max`);
+                }
+            }
+            catch { /* exact-value problems are already reported above */ }
+        }
+        if (variable.sort === 'real') {
+            if (variable.min !== undefined)
+                pushExactProblem(problems, `variables[${index}].min`, () => Exact.rational(variable.min));
+            if (variable.max !== undefined)
+                pushExactProblem(problems, `variables[${index}].max`, () => Exact.rational(variable.max));
+            if (variable.min !== undefined && variable.max !== undefined) {
+                try {
+                    if (Exact.compare(variable.min, variable.max) > 0)
+                        problems.push(`variables[${index}] has min greater than max`);
+                }
+                catch { /* exact-value problems are already reported above */ }
+            }
+        }
+    });
+    duplicates([
+        ...input.constraints.map(constraint => constraint.id),
+        ...(input.softConstraints ?? []).map(constraint => constraint.id)
+    ], 'constraints', problems);
+    duplicates((input.objectives ?? []).map(objective => objective.id), 'objectives', problems);
+    const walk = { nodes: 0, depth: 0 };
+    input.constraints.forEach((constraint, index) => {
+        requireId(constraint.id, `constraints[${index}].id`, problems);
+        const sort = infer(constraint.expression, `constraints[${index}].expression`, variables, domains, problems, walk, 1);
+        if (sort.kind !== 'bool')
+            problems.push(`constraints[${index}].expression must be boolean, received ${sort.kind}`);
+    });
+    (input.softConstraints ?? []).forEach((constraint, index) => {
+        requireId(constraint.id, `softConstraints[${index}].id`, problems);
+        const sort = infer(constraint.expression, `softConstraints[${index}].expression`, variables, domains, problems, walk, 1);
+        if (sort.kind !== 'bool')
+            problems.push(`softConstraints[${index}].expression must be boolean, received ${sort.kind}`);
+        pushExactProblem(problems, `softConstraints[${index}].weight`, () => {
+            if (Exact.compare(constraint.weight, '0') <= 0)
+                throw new TypeError('weight must be greater than zero');
+        });
+    });
+    (input.objectives ?? []).forEach((objective, index) => {
+        requireId(objective.id, `objectives[${index}].id`, problems);
+        const sort = infer(objective.expression, `objectives[${index}].expression`, variables, domains, problems, walk, 1);
+        if (!numeric(sort))
+            problems.push(`objectives[${index}].expression must be numeric, received ${sort.kind}`);
+    });
+    if (problems.length > 0)
+        throw new ModelValidationError(problems);
+    const stats = {
+        variables: input.variables.length,
+        constraints: input.constraints.length + (input.softConstraints?.length ?? 0),
+        objectives: input.objectives?.length ?? 0,
+        enumValues: enumDeclarations.reduce((sum, domain) => sum + domain.values.length, 0),
+        expressionNodes: walk.nodes,
+        expressionDepth: walk.depth
+    };
+    enforce(stats, limits);
+    return stats;
+};
+//# sourceMappingURL=validate.js.map

package/dist/src/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/validate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,EAAE,MAAM,EAA6D,MAAM,YAAY,CAAA;AAW9F,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACpC,QAAQ,CAAmB;IAEpC,YAAY,QAA2B;QACrC,KAAK,CAAC,4BAA4B,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAC1D,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAA;QAClC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;IAC1B,CAAC;CACF;AAED,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAC/B,KAAK,CAAc;IACnB,MAAM,CAAQ;IACd,OAAO,CAAQ;IAExB,YAAY,KAAmB,EAAE,MAAc,EAAE,OAAe;QAC9D,KAAK,CAAC,wBAAwB,KAAK,KAAK,MAAM,MAAM,OAAO,EAAE,CAAC,CAAA;QAC9D,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAA;QAC7B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QACpB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IACxB,CAAC;CACF;AAID,MAAM,SAAS,GAAG,6BAA6B,CAAA;AAC/C,MAAM,OAAO,GAAG,CAAC,IAAU,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAA;AACpF,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,KAAW,EAAW,EAAE,CAChD,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;AAE/G,MAAM,UAAU,GAAG,CAAC,IAAU,EAAE,KAAW,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;AAE/G,MAAM,iBAAiB,GAAG,CAAC,KAA0C,EAAE,IAAmB,EAAY,EAAE,CACtG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAEpC,MAAM,gBAAgB,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAE,GAAkB,EAAQ,EAAE;IACtF,IAAI,CAAC;QACH,GAAG,EAAE,CAAA;IACP,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACrF,CAAC;AACH,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,QAAkB,EAAQ,EAAE;IACvE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;IAC1D,CAAC;AACH,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,GAAsB,EAAE,IAAY,EAAE,QAAkB,EAAQ,EAAE;IACpF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,kCAAkC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC9E,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACd,CAAC;AACH,CAAC,CAAA;AAID,MAAM,KAAK,GAAG,CACZ,UAAsB,EACtB,IAAY,EACZ,SAAwC,EACxC,OAA+C,EAC/C,QAAkB,EAClB,IAAU,EACV,KAAa,EACP,EAAE;IACR,IAAI,CAAC,KAAK,IAAI,CAAC,CAAA;IACf,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACxC,MAAM,KAAK,GAAG,CAAC,KAAiB,EAAE,MAAc,EAAQ,EAAE,CACxD,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;IAClF,MAAM,UAAU,GAAG,CAAC,IAAU,EAAE,EAAU,EAAQ,EAAE;QAClD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,8BAA8B,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;IACzF,CAAC,CAAA;IACD,MAAM,aAAa,GAAG,CAAC,IAAU,EAAE,EAAU,EAAQ,EAAE;QACrD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,8BAA8B,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;IACnF,CAAC,CAAA;IAED,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,SAAS;YACZ,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;gBACpC,KAAK,KAAK;oBACR,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;oBACvE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;gBACxB,KAAK,MAAM;oBACT,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;oBACxE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;gBACzB,KAAK,MAAM,CAAC,CAAC,CAAC;oBACZ,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;oBAC7C,IAAI,MAAM,KAAK,SAAS;wBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,mCAAmC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;yBACjH,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC;wBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,UAAU,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;oBAC3K,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAA;gBACpD,CAAC;YACH,CAAC;QACH,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YAC7C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,gCAAgC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;gBACrF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;YACzB,CAAC;YACD,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAA;QACvG,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAA;YAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACzB,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,UAAU,CAAC,IAAI,iCAAiC,CAAC,CAAA;YAC9G,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,KAAK,GAAG,CAAC,EAAE,GAAG,IAAI,aAAa,KAAK,GAAG,CAAC,CAAC,CAAA;YAC/H,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACzB,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAA;YAC1D,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAA;YAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACzB,CAAC;QACD,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;YAC9C,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,0BAA0B,IAAI,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,cAAc,CAAC,CAAA;YACvH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACzB,CAAC;QACD,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAA;YAC7D,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAA;YAChE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACzB,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,UAAU,CAAC,IAAI,iCAAiC,CAAC,CAAA;YAC9G,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,KAAK,GAAG,CAAC,CAAC,CAAA;YAC/F,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,aAAa,KAAK,GAAG,CAAC,CAAC,CAAA;YACjF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAA;QAC5E,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;YAC9C,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAA;YACnC,aAAa,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAA;YACrC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAA;QACjF,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAA;YAC7D,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAA;YAChE,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAA;YAChC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;gBACtF,gBAAgB,CAAC,QAAQ,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,EAAE;oBAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;oBACvG,IAAI,IAAI;wBAAE,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAA;gBACnE,CAAC,CAAC,CAAA;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACzB,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;YAC7C,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAA;YACpC,OAAO,IAAI,CAAA;QACb,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,GAAG,IAAI,YAAY,CAAC,CAAA;YACzE,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YAC/C,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,+BAA+B,QAAQ,CAAC,IAAI,QAAQ,QAAQ,CAAC,IAAI,QAAQ,CAAC,CAAA;YACpI,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;gBACrG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;gBAClB,CAAC,CAAC,QAAQ,CAAA;QACd,CAAC;QACD;YACE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,qCAAqC,IAAI,CAAC,SAAS,CAAE,UAA0C,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAC7H,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;IAC3B,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAyB,EAAE,EAAU,EAAE;IACjE,MAAM,MAAM,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,KAAK,EAAE,CAAA;IAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,SAAS,CAAC,gBAAgB,IAAI,8CAA8C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACxG,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,KAAY,EAAE,MAAc,EAAQ,EAAE;IACrD,MAAM,MAAM,GAAsC;QAChD,CAAC,cAAc,EAAE,KAAK,CAAC,SAAS,CAAC;QACjC,CAAC,gBAAgB,EAAE,KAAK,CAAC,WAAW,CAAC;QACrC,CAAC,eAAe,EAAE,KAAK,CAAC,UAAU,CAAC;QACnC,CAAC,eAAe,EAAE,KAAK,CAAC,UAAU,CAAC;QACnC,CAAC,oBAAoB,EAAE,KAAK,CAAC,eAAe,CAAC;QAC7C,CAAC,oBAAoB,EAAE,KAAK,CAAC,eAAe,CAAC;KAC9C,CAAA;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,IAAI,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;IACrF,CAAC;AACH,CAAC,CAAA;AAED,sEAAsE;AACtE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,aAA8B,EAAE,EAAS,EAAE;IAC7E,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,CAAA;IACtC,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACtF,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAA;IACpD,MAAM,gBAAgB,GAAG,KAAK,CAAC,KAAK,IAAI,EAAE,CAAA;IAC1C,UAAU,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;IACxE,gBAAgB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACzC,SAAS,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,KAAK,MAAM,EAAE,QAAQ,CAAC,CAAA;QACpD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,KAAK,mCAAmC,CAAC,CAAA;QAChG,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,KAAK,6BAA6B,CAAC,CAAA;QACpH,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC7C,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAA;IAC/E,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QAC1C,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,KAAK,MAAM,EAAE,QAAQ,CAAC,CAAA;QAC1D,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;QACpC,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC,aAAa,KAAK,oCAAoC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACxG,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,gBAAgB,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;YACxF,gBAAgB,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;YACxF,IAAI,CAAC;gBACH,IAAI,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC9F,QAAQ,CAAC,IAAI,CAAC,aAAa,KAAK,4BAA4B,CAAC,CAAA;gBAC/D,CAAC;YACH,CAAC;YAAC,MAAM,CAAC,CAAC,qDAAqD,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS;gBAAE,gBAAgB,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAI,CAAC,CAAC,CAAA;YAC1H,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS;gBAAE,gBAAgB,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAI,CAAC,CAAC,CAAA;YAC1H,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBAC7D,IAAI,CAAC;oBACH,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;wBAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,KAAK,4BAA4B,CAAC,CAAA;gBAClH,CAAC;gBAAC,MAAM,CAAC,CAAC,qDAAqD,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,UAAU,CAAC;QACT,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;KAClE,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAA;IAC3B,UAAU,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAA;IAE3F,MAAM,IAAI,GAAS,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IACzC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QAC9C,SAAS,CAAC,UAAU,CAAC,EAAE,EAAE,eAAe,KAAK,MAAM,EAAE,QAAQ,CAAC,CAAA;QAC9D,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,eAAe,KAAK,cAAc,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;QACpH,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,KAAK,0CAA0C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;IACpH,CAAC,CAAC,CACD;IAAA,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QAC3D,SAAS,CAAC,UAAU,CAAC,EAAE,EAAE,mBAAmB,KAAK,MAAM,EAAE,QAAQ,CAAC,CAAA;QAClE,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,mBAAmB,KAAK,cAAc,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;QACxH,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,0CAA0C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;QACtH,gBAAgB,CAAC,QAAQ,EAAE,mBAAmB,KAAK,UAAU,EAAE,GAAG,EAAE;YAClE,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAA;QACzG,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CACD;IAAA,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACrD,SAAS,CAAC,SAAS,CAAC,EAAE,EAAE,cAAc,KAAK,MAAM,EAAE,QAAQ,CAAC,CAAA;QAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,cAAc,KAAK,cAAc,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;QAClH,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,cAAc,KAAK,0CAA0C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;IAC7G,CAAC,CAAC,CAAA;IAEF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,QAAQ,CAAC,CAAA;IACjE,MAAM,KAAK,GAAU;QACnB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM;QACjC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC;QAC5E,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC;QACzC,UAAU,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACnF,eAAe,EAAE,IAAI,CAAC,KAAK;QAC3B,eAAe,EAAE,IAAI,CAAC,KAAK;KAC5B,CAAA;IACD,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtB,OAAO,KAAK,CAAA;AACd,CAAC,CAAA"}

package/package.json

@@ -0,0 +1,39 @@
+{
+  "name": "@cavelang/solver",
+  "version": "0.27.14",
+  "type": "module",
+  "description": "Solver-neutral models, validation, capability negotiation, and result contracts for CAVE formal reasoning.",
+  "license": "CC0-1.0",
+  "author": "Mirek Rusin (https://github.com/mirek)",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/mirek/cave.git",
+    "directory": "packages/solver"
+  },
+  "engines": {
+    "node": ">=22.18"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/src/index.d.ts",
+      "default": "./dist/src/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "!dist/test",
+    "!dist/tsconfig.tsbuildinfo",
+    "src",
+    "!src/**/*.test.ts",
+    "README.md",
+    "License.md"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc -b",
+    "test": "node --disable-warning=ExperimentalWarning --test 'test/*.test.ts'",
+    "typecheck": "tsc -b"
+  }
+}