@cavelang/solver 0.35.0 → 0.36.0

package/dist/src/options.d.ts

@@ -0,0 +1,4 @@
+import type { Options } from './adapter.ts';
+/** Validate option names and capture supplied fields before applying defaults. */
+export declare const validateOptions: (options: Options) => Options;
+//# sourceMappingURL=options.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"options.d.ts","sourceRoot":"","sources":["../../src/options.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C,kFAAkF;AAClF,eAAO,MAAM,eAAe,GAAI,SAAS,OAAO,KAAG,OAYlD,CAAA"}

package/dist/src/options.js

@@ -0,0 +1,18 @@
+import { diagnosticText } from "./diagnostic-text.js";
+import { mergeLimits } from "./validate.js";
+/** Validate option names and capture supplied fields before applying defaults. */
+export const validateOptions = (options) => {
+    if (options === null || typeof options !== 'object' || Array.isArray(options)) {
+        throw new TypeError('solver options must be an object');
+    }
+    for (const key of Object.keys(options)) {
+        if (key !== 'limits' && key !== 'unsatCore')
+            throw new TypeError(`unknown solver option ${diagnosticText(key)}`);
+    }
+    const unsatCore = options.unsatCore;
+    if (unsatCore !== undefined && typeof unsatCore !== 'boolean') {
+        throw new TypeError('solver option unsatCore must be a Boolean');
+    }
+    return { unsatCore, limits: mergeLimits(options.limits) };
+};
+//# sourceMappingURL=options.js.map

package/dist/src/options.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"options.js","sourceRoot":"","sources":["../../src/options.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAG3C,kFAAkF;AAClF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAgB,EAAW,EAAE;IAC3D,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAA;IACzD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,WAAW;YAAE,MAAM,IAAI,SAAS,CAAC,yBAAyB,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAClH,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAA;IACnC,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,SAAS,KAAK,SAAS,EAAE,CAAC;QAC9D,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAA;AAC3D,CAAC,CAAA"}

package/dist/src/result.d.ts

@@ -0,0 +1,4 @@
+import type { Result } from './adapter.ts';
+/** Capture the reported outcome before checking the adapter's proof contract. */
+export declare const captureResult: (input: Result) => Result;
+//# sourceMappingURL=result.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAI1C,iFAAiF;AACjF,eAAO,MAAM,aAAa,GAAI,OAAO,MAAM,KAAG,MAsB7C,CAAA"}

package/dist/src/result.js

@@ -0,0 +1,29 @@
+import { clone } from "./clone.js";
+import { resultMetadata, unknownReason } from "./validate.js";
+/** Capture the reported outcome before checking the adapter's proof contract. */
+export const captureResult = (input) => {
+    const result = clone(input);
+    if (result === null || typeof result !== 'object' || Array.isArray(result)) {
+        throw new TypeError('solver result must be an object');
+    }
+    switch (result.status) {
+        case 'optimal':
+            if (result.optimalityProved !== true)
+                throw new TypeError('optimal solver result requires optimalityProved: true');
+            break;
+        case 'unsatisfied':
+            if (result.infeasibilityProved !== true)
+                throw new TypeError('unsatisfied solver result requires infeasibilityProved: true');
+            break;
+        case 'satisfied':
+            break;
+        case 'unknown':
+            unknownReason(result.reason);
+            break;
+        default:
+            throw new TypeError('solver result status must be satisfied, optimal, unsatisfied or unknown');
+    }
+    resultMetadata(result);
+    return result;
+};
+//# sourceMappingURL=result.js.map

package/dist/src/result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/result.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAE7D,iFAAiF;AACjF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAa,EAAU,EAAE;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,SAAS,CAAC,iCAAiC,CAAC,CAAA;IACxD,CAAC;IACD,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;QACtB,KAAK,SAAS;YACZ,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI;gBAAE,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAA;YAClH,MAAK;QACP,KAAK,aAAa;YAChB,IAAI,MAAM,CAAC,mBAAmB,KAAK,IAAI;gBAAE,MAAM,IAAI,SAAS,CAAC,8DAA8D,CAAC,CAAA;YAC5H,MAAK;QACP,KAAK,WAAW;YACd,MAAK;QACP,KAAK,SAAS;YACZ,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YAC5B,MAAK;QACP;YACE,MAAM,IAAI,SAAS,CAAC,yEAAyE,CAAC,CAAA;IAClG,CAAC;IACD,cAAc,CAAC,MAAM,CAAC,CAAA;IACtB,OAAO,MAAM,CAAA;AACf,CAAC,CAAA"}

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

@@ -1 +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,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAevC,6EAA6E;AAC7E,eAAO,MAAM,GAAG,GAAU,SAAS,aAAa,EAAE,OAAO,KAAK,EAAE,UAAS,OAAY,KAAG,OAAO,CAAC,MAAM,CAErG,CAAA;AAED,8DAA8D;AAC9D,eAAO,MAAM,kBAAkB,GAC7B,SAAS,aAAa,EACtB,OAAO,KAAK,EACZ,UAAS,OAAY,EACrB,UAAS,OAAO,CAAC,OAAY,KAC5B,OAAO,CAAC,OAAO,CAAC,MAAM,CAGxB,CAAA"}
+{"version":3,"file":"solve.d.ts","sourceRoot":"","sources":["../../src/solve.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAGlE,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAiCvC,6EAA6E;AAC7E,eAAO,MAAM,GAAG,GAAU,SAAS,aAAa,EAAE,OAAO,KAAK,EAAE,UAAS,OAAY,KAAG,OAAO,CAAC,MAAM,CAErG,CAAA;AAED,8DAA8D;AAC9D,eAAO,MAAM,kBAAkB,GAC7B,SAAS,aAAa,EACtB,OAAO,KAAK,EACZ,UAAS,OAAY,EACrB,UAAS,OAAO,CAAC,OAAY,KAC5B,OAAO,CAAC,OAAO,CAAC,MAAM,CAYxB,CAAA"}

package/dist/src/solve.js

@@ -1,14 +1,36 @@
+import { captureResult } from "./result.js";
+import { validateContext } from "./context.js";
+import { clone } from "./clone.js";
 import * as Capability from "./capability.js";
+import * as Canonical from "./canonical.js";
 import * as Explain from "./explain.js";
 import * as Validate from "./validate.js";
+import { validateOptions } from "./options.js";
+const freeze = (value) => {
+    const pending = [value];
+    const seen = new Set();
+    while (pending.length > 0) {
+        const next = pending.pop();
+        if (next === null || typeof next !== 'object' || seen.has(next))
+            continue;
+        seen.add(next);
+        for (const child of Object.values(next))
+            pending.push(child);
+        Object.freeze(next);
+    }
+    return value;
+};
 const prepared = (adapter, model, options) => {
-    const limits = Validate.mergeLimits(options.limits);
+    options = validateOptions(options);
+    const limits = Object.freeze(Validate.mergeLimits(options.limits));
+    model = clone(model);
     Validate.model(model, limits);
+    model = freeze(model);
     const unsatCore = options.unsatCore ?? false;
     const missing = Capability.missing(adapter, model, unsatCore);
     if (missing.length > 0)
         throw new Capability.UnsupportedModelError(adapter.backend.name, missing);
-    return { limits, run: () => adapter.solve(model, { limits, unsatCore }) };
+    return { model, limits, run: async () => captureResult(await adapter.solve(model, { limits, unsatCore })) };
 };
 /** Validates and negotiates a model before crossing the adapter boundary. */
 export const run = async (adapter, model, options = {}) => {
@@ -17,6 +39,15 @@ export const run = async (adapter, model, options = {}) => {
 /** Solve and return a traceable JSON explanation envelope. */
 export const runWithExplanation = async (adapter, model, options = {}, context = {}) => {
     const solve = prepared(adapter, model, options);
-    return Explain.report(model, await solve.run(), solve.limits, context);
+    validateContext(context);
+    const snapshot = clone(context);
+    validateContext(snapshot);
+    if (snapshot.modelDigest !== undefined) {
+        const digest = Canonical.digest(solve.model, solve.limits);
+        if (snapshot.modelDigest !== digest) {
+            throw new TypeError(`scenario model digest ${snapshot.modelDigest} does not match ${digest}`);
+        }
+    }
+    return Explain.report(solve.model, await solve.run(), solve.limits, snapshot);
 };
 //# sourceMappingURL=solve.js.map

package/dist/src/solve.js.map

@@ -1 +1 @@
-{"version":3,"file":"solve.js","sourceRoot":"","sources":["../../src/solve.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,MAAM,QAAQ,GAAG,CAAC,OAAsB,EAAE,KAAY,EAAE,OAAgB,EAGtE,EAAE;IACF,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACnD,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC7B,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,KAAK,CAAA;IAC5C,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;IAC7D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,qBAAqB,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACjG,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,CAAA;AAC3E,CAAC,CAAA;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,GAAG,GAAG,KAAK,EAAE,OAAsB,EAAE,KAAY,EAAE,UAAmB,EAAE,EAAmB,EAAE;IACxG,OAAO,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,GAAG,EAAE,CAAA;AAChD,CAAC,CAAA;AAED,8DAA8D;AAC9D,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,EACrC,OAAsB,EACtB,KAAY,EACZ,UAAmB,EAAE,EACrB,UAA2B,EAAE,EACJ,EAAE;IAC3B,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC/C,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AACxE,CAAC,CAAA"}
+{"version":3,"file":"solve.js","sourceRoot":"","sources":["../../src/solve.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAElC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAE9C,MAAM,MAAM,GAAG,CAAI,KAAQ,EAAK,EAAE;IAChC,MAAM,OAAO,GAAc,CAAC,KAAK,CAAC,CAAA;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;QAC1B,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAQ;QACzE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACd,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC5D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACrB,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,OAAsB,EAAE,KAAY,EAAE,OAAgB,EAItE,EAAE;IACF,OAAO,GAAG,eAAe,CAAC,OAAO,CAAC,CAAA;IAClC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;IAClE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;IACpB,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC7B,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IACrB,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,KAAK,CAAA;IAC5C,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;IAC7D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,qBAAqB,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACjG,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,aAAa,CAAC,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAA;AAC7G,CAAC,CAAA;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,GAAG,GAAG,KAAK,EAAE,OAAsB,EAAE,KAAY,EAAE,UAAmB,EAAE,EAAmB,EAAE;IACxG,OAAO,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,GAAG,EAAE,CAAA;AAChD,CAAC,CAAA;AAED,8DAA8D;AAC9D,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,EACrC,OAAsB,EACtB,KAAY,EACZ,UAAmB,EAAE,EACrB,UAA2B,EAAE,EACJ,EAAE;IAC3B,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC/C,eAAe,CAAC,OAAO,CAAC,CAAA;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;IAC/B,eAAe,CAAC,QAAQ,CAAC,CAAA;IACzB,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QAC1D,IAAI,QAAQ,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;YACpC,MAAM,IAAI,SAAS,CAAC,yBAAyB,QAAQ,CAAC,WAAW,mBAAmB,MAAM,EAAE,CAAC,CAAA;QAC/F,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAC/E,CAAC,CAAA"}

package/dist/src/validate.d.ts

@@ -1,5 +1,10 @@
 import type { Limits } from './adapter.ts';
 import { type Model } from './model.ts';
+export { validateContext as explanationContext } from './context.ts';
+/** Validate a portable unknown-outcome reason without changing its contents. */
+export declare const unknownReason: (value: unknown) => void;
+/** Validate metadata shared by adapter results and explanation runs. */
+export declare const resultMetadata: (value: unknown) => void;
 export type Stats = {
     readonly variables: number;
     readonly constraints: number;

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

@@ -1 +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;AA2LD,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,KAoFtE,CAAA"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/validate.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAI1C,OAAO,EAA2B,KAAK,KAAK,EAAgC,MAAM,YAAY,CAAA;AAE9F,OAAO,EAAE,eAAe,IAAI,kBAAkB,EAAE,MAAM,cAAc,CAAA;AAEpE,gFAAgF;AAChF,eAAO,MAAM,aAAa,GAAI,OAAO,OAAO,KAAG,IAY9C,CAAA;AAED,wEAAwE;AACxE,eAAO,MAAM,cAAc,GAAI,OAAO,OAAO,KAAG,IA4B/C,CAAA;AAED,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;AAuTD,eAAO,MAAM,WAAW,GAAI,QAAO,OAAO,CAAC,MAAM,CAAM,KAAG,MAgBzD,CAAA;AAgBD,sEAAsE;AACtE,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,EAAE,aAAY,OAAO,CAAC,MAAM,CAAM,KAAG,KAoJtE,CAAA"}