@cavelang/solver 0.27.14 → 0.29.1

package/dist/src/workflow.js

@@ -0,0 +1,420 @@
+import * as Canonical from "./canonical.js";
+import * as Exact from "./exact.js";
+import * as Explain from "./explain.js";
+import * as Solve from "./solve.js";
+import * as Validate from "./validate.js";
+export const schema = 'cave.solver/workflow@1';
+const syntheticPrefix = 'cave.workflow/';
+const defaultMaxSensitivityRuns = 64;
+const compareText = (left, right) => left < right ? -1 : left > right ? 1 : 0;
+export class WorkflowValidationError extends Error {
+    constructor(message) {
+        super(`invalid solver workflow: ${message}`);
+        this.name = 'WorkflowValidationError';
+    }
+}
+export const maxSensitivityRuns = defaultMaxSensitivityRuns;
+const boundedScope = (model, limits = {}) => {
+    Validate.model(model, limits);
+    const domainsById = new Map((model.enums ?? []).map(domain => [domain.id, domain.values]));
+    const domains = model.variables
+        .map((variable) => {
+        switch (variable.sort) {
+            case 'bool':
+                return { variableId: variable.id, kind: 'finite', sort: variable.sort, values: [false, true] };
+            case 'enum': {
+                const values = domainsById.get(variable.domain);
+                if (values === undefined)
+                    throw new WorkflowValidationError(`variable ${JSON.stringify(variable.id)} has no enum domain`);
+                return {
+                    variableId: variable.id,
+                    kind: 'finite',
+                    sort: variable.sort,
+                    domain: variable.domain,
+                    values: [...values].sort(compareText)
+                };
+            }
+            case 'int':
+                return {
+                    variableId: variable.id,
+                    kind: 'interval',
+                    sort: variable.sort,
+                    min: String(Exact.integer(variable.min)),
+                    max: String(Exact.integer(variable.max))
+                };
+            case 'real':
+                if (variable.min === undefined || variable.max === undefined) {
+                    throw new WorkflowValidationError(`real variable ${JSON.stringify(variable.id)} needs explicit min and max bounds`);
+                }
+                return {
+                    variableId: variable.id,
+                    kind: 'interval',
+                    sort: variable.sort,
+                    min: Exact.rational(variable.min),
+                    max: Exact.rational(variable.max)
+                };
+        }
+    })
+        .sort((left, right) => compareText(left.variableId, right.variableId));
+    const sorts = new Set(model.variables.map(variable => variable.sort));
+    const theories = ['booleans'];
+    if (sorts.has('int'))
+        theories.push('bounded-integers');
+    if (sorts.has('real'))
+        theories.push('exact-rationals');
+    if (sorts.has('enum'))
+        theories.push('finite-enums');
+    return {
+        domains,
+        assumptions: model.constraints.map(constraint => constraint.id),
+        theories
+    };
+};
+const variableMap = (model) => new Map(model.variables.map(variable => [variable.id, variable]));
+const normalizedValue = (variable, value, domains) => {
+    if (variable.sort !== value.sort) {
+        throw new WorkflowValidationError(`variable ${JSON.stringify(variable.id)} is ${variable.sort}, received ${value.sort}`);
+    }
+    switch (value.sort) {
+        case 'bool': return value;
+        case 'int': {
+            const normalized = String(Exact.integer(value.value));
+            if (Exact.compare(normalized, String(Exact.integer(variable.min))) < 0 ||
+                Exact.compare(normalized, String(Exact.integer(variable.max))) > 0) {
+                throw new WorkflowValidationError(`value ${normalized} is outside ${JSON.stringify(variable.id)} bounds`);
+            }
+            return { sort: value.sort, value: normalized };
+        }
+        case 'real': {
+            const normalized = Exact.rational(value);
+            const real = variable;
+            if ((real.min !== undefined && Exact.compare(normalized, real.min) < 0) ||
+                (real.max !== undefined && Exact.compare(normalized, real.max) > 0)) {
+                throw new WorkflowValidationError(`value ${normalized.numerator}/${normalized.denominator} is outside ${JSON.stringify(variable.id)} bounds`);
+            }
+            return { sort: value.sort, ...normalized };
+        }
+        case 'enum': {
+            const enumeration = variable;
+            if (value.domain !== enumeration.domain) {
+                throw new WorkflowValidationError(`variable ${JSON.stringify(variable.id)} uses enum ${JSON.stringify(enumeration.domain)}, received ${JSON.stringify(value.domain)}`);
+            }
+            if (!(domains.get(value.domain) ?? []).includes(value.value)) {
+                throw new WorkflowValidationError(`value ${JSON.stringify(value.value)} is outside enum ${JSON.stringify(value.domain)}`);
+            }
+            return value;
+        }
+    }
+};
+const literal = (value) => {
+    switch (value.sort) {
+        case 'bool': return { kind: 'literal', sort: value.sort, value: value.value };
+        case 'int': return { kind: 'literal', sort: value.sort, value: value.value };
+        case 'real': return { kind: 'literal', sort: value.sort, value: { numerator: value.numerator, denominator: value.denominator } };
+        case 'enum': return { kind: 'literal', sort: value.sort, domain: value.domain, value: value.value };
+    }
+};
+const freshId = (used, name) => {
+    let id = `${syntheticPrefix}${name}`;
+    let suffix = 2;
+    while (used.has(id))
+        id = `${syntheticPrefix}${name}-${suffix++}`;
+    used.add(id);
+    return id;
+};
+const enumRank = (variable, values) => {
+    const sorted = [...values].sort(compareText);
+    return sorted.slice(0, -1).reduceRight((otherwise, value, index) => ({
+        kind: 'if',
+        condition: {
+            kind: 'eq',
+            left: { kind: 'variable', id: variable.id },
+            right: { kind: 'literal', sort: 'enum', domain: variable.domain, value }
+        },
+        then: { kind: 'literal', sort: 'int', value: index },
+        else: otherwise
+    }), { kind: 'literal', sort: 'int', value: Math.max(0, sorted.length - 1) });
+};
+const tieBreak = (model, used) => {
+    const domains = new Map((model.enums ?? []).map(domain => [domain.id, domain.values]));
+    const ordered = [...model.variables].sort((left, right) => compareText(left.id, right.id));
+    return {
+        objectives: ordered.map(variable => ({
+            id: freshId(used, `tie/${variable.id}`),
+            direction: 'minimize',
+            expression: (() => {
+                switch (variable.sort) {
+                    case 'bool': return {
+                        kind: 'if',
+                        condition: { kind: 'variable', id: variable.id },
+                        then: { kind: 'literal', sort: 'int', value: 1 },
+                        else: { kind: 'literal', sort: 'int', value: 0 }
+                    };
+                    case 'int':
+                    case 'real': return { kind: 'variable', id: variable.id };
+                    case 'enum': return enumRank(variable, domains.get(variable.domain) ?? []);
+                }
+            })()
+        })),
+        descriptions: ordered.map(variable => ({
+            variableId: variable.id,
+            preference: variable.sort === 'bool' ? 'false-first' : variable.sort === 'enum' ? 'lexical-first' : 'smallest-first'
+        }))
+    };
+};
+const softObjective = (model, used) => {
+    const expressions = (model.softConstraints ?? []).map((constraint) => ({
+        kind: 'if',
+        condition: constraint.expression,
+        then: { kind: 'literal', sort: 'real', value: constraint.weight },
+        else: { kind: 'literal', sort: 'real', value: '0' }
+    }));
+    if (expressions.length === 0)
+        return undefined;
+    return {
+        id: freshId(used, 'soft-score'),
+        direction: 'maximize',
+        expression: expressions.length === 1 ? expressions[0] : { kind: 'add', operands: expressions }
+    };
+};
+const preparedModel = (model, kind) => {
+    const used = new Set((model.objectives ?? []).map(objective => objective.id));
+    const tie = tieBreak(model, used);
+    const authoredObjectiveIds = new Set((model.objectives ?? []).map(objective => objective.id));
+    if (kind === 'feasibility') {
+        return {
+            model: { ...model, softConstraints: [], objectives: tie.objectives },
+            tieBreak: tie.descriptions,
+            authoredObjectiveIds
+        };
+    }
+    if ((model.objectives?.length ?? 0) === 0 && (model.softConstraints?.length ?? 0) === 0) {
+        throw new WorkflowValidationError('optimization needs at least one objective or soft constraint');
+    }
+    const soft = softObjective(model, used);
+    return {
+        model: {
+            ...model,
+            softConstraints: [],
+            objectives: [...(model.objectives ?? []), ...(soft === undefined ? [] : [soft]), ...tie.objectives]
+        },
+        tieBreak: tie.descriptions,
+        authoredObjectiveIds
+    };
+};
+const feasibleResult = (result) => result.status !== 'optimal' ? result : {
+    status: 'satisfied',
+    assignment: result.assignment,
+    backend: result.backend,
+    diagnostics: result.diagnostics,
+    elapsedMs: result.elapsedMs
+};
+const optimizedResult = (result, authoredObjectiveIds) => {
+    if (result.status === 'satisfied') {
+        return {
+            status: 'unknown',
+            reason: { kind: 'indeterminate', message: 'backend returned a feasible assignment without proving optimality' },
+            backend: result.backend,
+            diagnostics: result.diagnostics,
+            elapsedMs: result.elapsedMs
+        };
+    }
+    if (result.status !== 'optimal')
+        return result;
+    return {
+        ...result,
+        objectives: result.objectives.filter(objective => authoredObjectiveIds.has(objective.objectiveId))
+    };
+};
+const run = async (adapter, sourceModel, solveModel, kind, options, context) => {
+    const limits = Validate.mergeLimits(options.limits);
+    const prepared = preparedModel(solveModel, kind);
+    const result = await Solve.run(adapter, prepared.model, {
+        limits,
+        unsatCore: options.unsatCore ?? (kind === 'feasibility')
+    });
+    const normalized = kind === 'feasibility'
+        ? feasibleResult(result)
+        : optimizedResult(result, prepared.authoredObjectiveIds);
+    return {
+        explanation: Explain.report(sourceModel, normalized, limits, context),
+        tieBreak: prepared.tieBreak
+    };
+};
+const report = (model, operation, scope, tie, explanation) => ({
+    schema,
+    operation,
+    modelDigest: Canonical.digest(model),
+    scope,
+    tieBreak: tie,
+    explanation
+});
+export const feasibility = async (adapter, model, options = {}, context = {}) => {
+    const scope = boundedScope(model, options.limits);
+    const result = await run(adapter, model, model, 'feasibility', options, context);
+    return report(model, { kind: 'feasibility' }, scope, result.tieBreak, result.explanation);
+};
+export const optimization = async (adapter, model, options = {}, context = {}) => {
+    const scope = boundedScope(model, options.limits);
+    const result = await run(adapter, model, model, 'optimization', options, context);
+    return report(model, { kind: 'optimization' }, scope, result.tieBreak, result.explanation);
+};
+export const counterexample = async (adapter, model, invariantId, options = {}, context = {}) => {
+    const baseScope = boundedScope(model, options.limits);
+    const invariant = model.constraints.find(constraint => constraint.id === invariantId);
+    if (invariant === undefined) {
+        throw new WorkflowValidationError(`unknown invariant constraint ${JSON.stringify(invariantId)}`);
+    }
+    const negated = { ...invariant, expression: { kind: 'not', value: invariant.expression } };
+    const solveModel = {
+        ...model,
+        constraints: model.constraints.map(constraint => constraint.id === invariantId ? negated : constraint)
+    };
+    const result = await run(adapter, model, solveModel, 'feasibility', { ...options, unsatCore: options.unsatCore ?? true }, context);
+    const verdict = result.explanation.outcome.status === 'satisfied'
+        ? 'counterexample'
+        : result.explanation.outcome.status === 'unsatisfied'
+            ? 'holds-within-scope'
+            : 'unknown';
+    const scope = {
+        ...baseScope,
+        assumptions: baseScope.assumptions.filter(id => id !== invariantId)
+    };
+    return report(model, { kind: 'counterexample', invariantId, verdict }, scope, result.tieBreak, result.explanation);
+};
+const bindingConstraint = (binding, id) => ({
+    id,
+    expression: {
+        kind: 'eq',
+        left: { kind: 'variable', id: binding.variableId },
+        right: literal(binding.value)
+    },
+    scenarioInputIds: [binding.variableId]
+});
+const normalizeBindings = (model, bindings) => {
+    const variables = variableMap(model);
+    const domains = new Map((model.enums ?? []).map(domain => [domain.id, domain.values]));
+    const seen = new Set();
+    return bindings.map(binding => {
+        if (seen.has(binding.variableId)) {
+            throw new WorkflowValidationError(`variable ${JSON.stringify(binding.variableId)} is fixed more than once`);
+        }
+        seen.add(binding.variableId);
+        const variable = variables.get(binding.variableId);
+        if (variable === undefined)
+            throw new WorkflowValidationError(`unknown variable ${JSON.stringify(binding.variableId)}`);
+        return { variableId: binding.variableId, value: normalizedValue(variable, binding.value, domains) };
+    });
+};
+const assignmentSignature = (report, observe) => {
+    const outcome = report.explanation.outcome;
+    if (outcome.status !== 'satisfied' && outcome.status !== 'optimal')
+        return outcome.status;
+    const assignment = Object.fromEntries(outcome.assignments.map(item => [item.id, item.value]));
+    return JSON.stringify({
+        status: outcome.status,
+        assignment: Object.fromEntries(observe.map(id => [id, assignment[id] ?? null]))
+    });
+};
+const transitions = (points, observe) => {
+    const result = [];
+    for (let index = 1; index < points.length; index += 1) {
+        const previous = points[index - 1];
+        const current = points[index];
+        const fromSignature = assignmentSignature(previous.report, observe);
+        const toSignature = assignmentSignature(current.report, observe);
+        if (fromSignature !== toSignature) {
+            result.push({
+                afterIndex: index - 1,
+                from: previous.value,
+                to: current.value,
+                fromSignature,
+                toSignature
+            });
+        }
+    }
+    return result;
+};
+const unknownRegions = (points) => {
+    const result = [];
+    let start;
+    for (let index = 0; index <= points.length; index += 1) {
+        const unknown = index < points.length && points[index].report.explanation.outcome.status === 'unknown';
+        if (unknown && start === undefined)
+            start = index;
+        if (!unknown && start !== undefined) {
+            const end = index - 1;
+            result.push({
+                startIndex: start,
+                endIndex: end,
+                from: points[start].value,
+                to: points[end].value
+            });
+            start = undefined;
+        }
+    }
+    return result;
+};
+export const sensitivity = async (adapter, model, request, options = {}, context = {}) => {
+    const scope = boundedScope(model, options.limits);
+    const maxRuns = request.maxRuns ?? defaultMaxSensitivityRuns;
+    if (!Number.isSafeInteger(maxRuns) || maxRuns <= 0) {
+        throw new WorkflowValidationError(`maxRuns must be a positive safe integer, received ${String(maxRuns)}`);
+    }
+    if (request.samples.length === 0)
+        throw new WorkflowValidationError('sensitivity needs at least one sample');
+    if (request.samples.length > maxRuns) {
+        throw new WorkflowValidationError(`sensitivity samples exceed maxRuns: ${request.samples.length} > ${maxRuns}`);
+    }
+    const variables = variableMap(model);
+    const selected = variables.get(request.variableId);
+    if (selected === undefined)
+        throw new WorkflowValidationError(`unknown sensitivity variable ${JSON.stringify(request.variableId)}`);
+    const domains = new Map((model.enums ?? []).map(domain => [domain.id, domain.values]));
+    const samples = request.samples.map(value => normalizedValue(selected, value, domains));
+    if (new Set(samples.map(value => JSON.stringify(value))).size !== samples.length) {
+        throw new WorkflowValidationError('sensitivity samples contain duplicate values');
+    }
+    const fixed = normalizeBindings(model, request.fixed ?? []);
+    if (fixed.some(binding => binding.variableId === request.variableId)) {
+        throw new WorkflowValidationError(`sensitivity variable ${JSON.stringify(request.variableId)} is also fixed`);
+    }
+    const observe = [...new Set(request.observe ?? [])];
+    for (const id of observe) {
+        if (!variables.has(id))
+            throw new WorkflowValidationError(`unknown observed variable ${JSON.stringify(id)}`);
+    }
+    const kind = request.operation ?? 'optimization';
+    const used = new Set(model.constraints.map(constraint => constraint.id));
+    const fixedConstraints = fixed.map((binding, index) => bindingConstraint(binding, freshId(used, `fixed/${index}`)));
+    const points = [];
+    for (const [index, value] of samples.entries()) {
+        const sample = { variableId: request.variableId, value };
+        const solveModel = {
+            ...model,
+            constraints: [
+                ...model.constraints,
+                ...fixedConstraints,
+                bindingConstraint(sample, freshId(used, `sample/${index}`))
+            ]
+        };
+        const solved = await run(adapter, model, solveModel, kind, options, context);
+        points.push({
+            index,
+            value,
+            report: report(model, { kind }, scope, solved.tieBreak, solved.explanation)
+        });
+    }
+    return {
+        schema,
+        operation: 'sensitivity',
+        modelDigest: Canonical.digest(model),
+        variableId: request.variableId,
+        fixed,
+        observe,
+        points,
+        transitions: transitions(points, observe),
+        unknownRegions: unknownRegions(points)
+    };
+};
+//# sourceMappingURL=workflow.js.map

package/dist/src/workflow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../../src/workflow.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAUvC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,MAAM,CAAC,MAAM,MAAM,GAAG,wBAAiC,CAAA;AAEvD,MAAM,eAAe,GAAG,gBAAgB,CAAA;AACxC,MAAM,yBAAyB,GAAG,EAAE,CAAA;AACpC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAErG,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAChD,YAAY,OAAe;QACzB,KAAK,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAA;QAC5C,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAA;IACvC,CAAC;CACF;AAwFD,MAAM,CAAC,MAAM,kBAAkB,GAAG,yBAAyB,CAAA;AAE3D,MAAM,YAAY,GAAG,CAAC,KAAY,EAAE,SAA0B,EAAE,EAAS,EAAE;IACzE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC7B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC1F,MAAM,OAAO,GAAa,KAAK,CAAC,SAAS;SACtC,GAAG,CAAC,CAAC,QAAQ,EAAU,EAAE;QACxB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,MAAM;gBACT,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;YAChG,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;gBAC/C,IAAI,MAAM,KAAK,SAAS;oBAAE,MAAM,IAAI,uBAAuB,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAA;gBACzH,OAAO;oBACL,UAAU,EAAE,QAAQ,CAAC,EAAE;oBACvB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;oBACvB,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;iBACtC,CAAA;YACH,CAAC;YACD,KAAK,KAAK;gBACR,OAAO;oBACL,UAAU,EAAE,QAAQ,CAAC,EAAE;oBACvB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;oBACxC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;iBACzC,CAAA;YACH,KAAK,MAAM;gBACT,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;oBAC7D,MAAM,IAAI,uBAAuB,CAC/B,iBAAiB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,oCAAoC,CACjF,CAAA;gBACH,CAAC;gBACD,OAAO;oBACL,UAAU,EAAE,QAAQ,CAAC,EAAE;oBACvB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;oBACjC,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;iBAClC,CAAA;QACL,CAAC;IACH,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAA;IACxE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;IACrE,MAAM,QAAQ,GAAgC,CAAC,UAAU,CAAC,CAAA;IAC1D,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;IACvD,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;IACvD,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;IACpD,OAAO;QACL,OAAO;QACP,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/D,QAAQ;KACT,CAAA;AACH,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,KAAY,EAAiC,EAAE,CAClE,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;AAEnE,MAAM,eAAe,GAAG,CAAC,QAAkB,EAAE,KAAY,EAAE,OAA+C,EAAS,EAAE;IACnH,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QACjC,MAAM,IAAI,uBAAuB,CAC/B,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,QAAQ,CAAC,IAAI,cAAc,KAAK,CAAC,IAAI,EAAE,CACtF,CAAA;IACH,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC,CAAC,OAAO,KAAK,CAAA;QACzB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;YACrD,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAE,QAAuC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;gBAClG,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAE,QAAuC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvG,MAAM,IAAI,uBAAuB,CAAC,SAAS,UAAU,eAAe,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,CAAA;YAC3G,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;QAChD,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;YACxC,MAAM,IAAI,GAAG,QAAuC,CAAA;YACpD,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACnE,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACxE,MAAM,IAAI,uBAAuB,CAAC,SAAS,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,WAAW,eAAe,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,CAAA;YAC/I,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,UAAU,EAAE,CAAA;QAC5C,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,WAAW,GAAG,QAAuC,CAAA;YAC3D,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;gBACxC,MAAM,IAAI,uBAAuB,CAC/B,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CACpI,CAAA;YACH,CAAC;YACD,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7D,MAAM,IAAI,uBAAuB,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAC3H,CAAC;YACD,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,KAAY,EAAc,EAAE;IAC3C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;QAC7E,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;QAC5E,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,EAAE,CAAA;QAChI,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;IACrG,CAAC;AACH,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,IAAiB,EAAE,IAAY,EAAU,EAAE;IAC1D,IAAI,EAAE,GAAG,GAAG,eAAe,GAAG,IAAI,EAAE,CAAA;IACpC,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,EAAE,GAAG,GAAG,eAAe,GAAG,IAAI,IAAI,MAAM,EAAE,EAAE,CAAA;IACjE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACZ,OAAO,EAAE,CAAA;AACX,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,QAA8C,EAAE,MAAyB,EAAc,EAAE;IACzG,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IAC5C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CACpC,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5B,IAAI,EAAE,IAAI;QACV,SAAS,EAAE;YACT,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE;YAC3C,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE;SACzE;QACD,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;QACpD,IAAI,EAAE,SAAS;KAChB,CAAC,EACF,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CACxE,CAAA;AACH,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,IAAiB,EAA2E,EAAE;IAC5H,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACtF,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1F,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACnC,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,QAAQ,CAAC,EAAE,EAAE,CAAC;YACvC,SAAS,EAAE,UAAU;YACrB,UAAU,EAAE,CAAC,GAAG,EAAE;gBAChB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;oBACtB,KAAK,MAAM,CAAC,CAAC,OAAO;wBAClB,IAAI,EAAE,IAAI;wBACV,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE;wBAChD,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;wBAChD,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;qBACjD,CAAA;oBACD,KAAK,KAAK,CAAC;oBACX,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAA;oBACzD,KAAK,MAAM,CAAC,CAAC,OAAO,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;gBAC5E,CAAC;YACH,CAAC,CAAC,EAAE;SACL,CAAC,CAAC;QACH,YAAY,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACrC,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,UAAU,EAAE,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,gBAAgB;SACrH,CAAC,CAAC;KACJ,CAAA;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,KAAY,EAAE,IAAiB,EAAyB,EAAE;IAC/E,MAAM,WAAW,GAAG,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAc,EAAE,CAAC,CAAC;QACjF,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,UAAU,CAAC,UAAU;QAChC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE;QACjE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE;KACpD,CAAC,CAAC,CAAA;IACH,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAC9C,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC;QAC/B,SAAS,EAAE,UAAU;QACrB,UAAU,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE;KAChG,CAAA;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,KAAY,EAAE,IAAoC,EAIvE,EAAE;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7E,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACjC,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7F,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3B,OAAO;YACL,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE;YACpE,QAAQ,EAAE,GAAG,CAAC,YAAY;YAC1B,oBAAoB;SACrB,CAAA;IACH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,uBAAuB,CAAC,8DAA8D,CAAC,CAAA;IACnG,CAAC;IACD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACvC,OAAO;QACL,KAAK,EAAE;YACL,GAAG,KAAK;YACR,eAAe,EAAE,EAAE;YACnB,UAAU,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;SACpG;QACD,QAAQ,EAAE,GAAG,CAAC,YAAY;QAC1B,oBAAoB;KACrB,CAAA;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACxF,MAAM,EAAE,WAAW;IACnB,UAAU,EAAE,MAAM,CAAC,UAAU;IAC7B,OAAO,EAAE,MAAM,CAAC,OAAO;IACvB,WAAW,EAAE,MAAM,CAAC,WAAW;IAC/B,SAAS,EAAE,MAAM,CAAC,SAAS;CAC5B,CAAA;AAED,MAAM,eAAe,GAAG,CAAC,MAAc,EAAE,oBAAyC,EAAU,EAAE;IAC5F,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,mEAAmE,EAAE;YAC/G,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,SAAS,EAAE,MAAM,CAAC,SAAS;SAC5B,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IAC9C,OAAO;QACL,GAAG,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;KACnG,CAAA;AACH,CAAC,CAAA;AAED,MAAM,GAAG,GAAG,KAAK,EACf,OAAsB,EACtB,WAAkB,EAClB,UAAiB,EACjB,IAAoC,EACpC,OAAgB,EAChB,OAAwB,EACmE,EAAE;IAC7F,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACnD,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;IAChD,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE;QACtD,MAAM;QACN,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC;KACzD,CAAC,CAAA;IACF,MAAM,UAAU,GAAG,IAAI,KAAK,aAAa;QACvC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC;QACxB,CAAC,CAAC,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CAAA;IAC1D,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC;QACrE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;KAC5B,CAAA;AACH,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,CACb,KAAY,EACZ,SAAoB,EACpB,KAAY,EACZ,GAAwB,EACxB,WAA2B,EACnB,EAAE,CAAC,CAAC;IACZ,MAAM;IACN,SAAS;IACT,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;IACpC,KAAK;IACL,QAAQ,EAAE,GAAG;IACb,WAAW;CACZ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,KAAK,EAC9B,OAAsB,EACtB,KAAY,EACZ,UAAmB,EAAE,EACrB,UAA2B,EAAE,EACZ,EAAE;IACnB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACjD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IAChF,OAAO,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;AAC3F,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,EAC/B,OAAsB,EACtB,KAAY,EACZ,UAAmB,EAAE,EACrB,UAA2B,EAAE,EACZ,EAAE;IACnB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACjD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IACjF,OAAO,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;AAC5F,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,EACjC,OAAsB,EACtB,KAAY,EACZ,WAAmB,EACnB,UAAmB,EAAE,EACrB,UAA2B,EAAE,EACZ,EAAE;IACnB,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACrD,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,WAAW,CAAC,CAAA;IACrF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,uBAAuB,CAAC,gCAAgC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;IAClG,CAAC;IACD,MAAM,OAAO,GAAmB,EAAE,GAAG,SAAS,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,UAAU,EAAE,EAAE,CAAA;IAC1G,MAAM,UAAU,GAAU;QACxB,GAAG,KAAK;QACR,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;KACvG,CAAA;IACD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI,EAAE,EAAE,OAAO,CAAC,CAAA;IAClI,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,KAAK,WAAW;QAC/D,CAAC,CAAC,gBAAgB;QAClB,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,KAAK,aAAa;YACnD,CAAC,CAAC,oBAAoB;YACtB,CAAC,CAAC,SAAS,CAAA;IACf,MAAM,KAAK,GAAU;QACnB,GAAG,SAAS;QACZ,WAAW,EAAE,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,WAAW,CAAC;KACpE,CAAA;IACD,OAAO,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;AACpH,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CAAC,OAAgB,EAAE,EAAU,EAAkB,EAAE,CAAC,CAAC;IAC3E,EAAE;IACF,UAAU,EAAE;QACV,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,UAAU,EAAE;QAClD,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;KAC9B;IACD,gBAAgB,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC;CACvC,CAAC,CAAA;AAEF,MAAM,iBAAiB,GAAG,CAAC,KAAY,EAAE,QAA4B,EAAsB,EAAE;IAC3F,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAA;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACtF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,OAAO,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;QAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,uBAAuB,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,0BAA0B,CAAC,CAAA;QAC7G,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;QAC5B,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;QAClD,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM,IAAI,uBAAuB,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QACvH,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAA;IACrG,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAE,OAA0B,EAAU,EAAE;IACjF,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAA;IAC1C,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,MAAM,CAAA;IACzF,MAAM,UAAU,GAAe,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACzG,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;KAChF,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,MAAmC,EAAE,OAA0B,EAAyB,EAAE;IAC7G,MAAM,MAAM,GAAiB,EAAE,CAAA;IAC/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAA;QACnC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAE,CAAA;QAC9B,MAAM,aAAa,GAAG,mBAAmB,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QACnE,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChE,IAAI,aAAa,KAAK,WAAW,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC;gBACV,UAAU,EAAE,KAAK,GAAG,CAAC;gBACrB,IAAI,EAAE,QAAQ,CAAC,KAAK;gBACpB,EAAE,EAAE,OAAO,CAAC,KAAK;gBACjB,aAAa;gBACb,WAAW;aACZ,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,MAAmC,EAA4B,EAAE;IACvF,MAAM,MAAM,GAAoB,EAAE,CAAA;IAClC,IAAI,KAAyB,CAAA;IAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,OAAO,GAAG,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAE,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAA;QACvG,IAAI,OAAO,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,GAAG,KAAK,CAAA;QACjD,IAAI,CAAC,OAAO,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,GAAG,GAAG,KAAK,GAAG,CAAC,CAAA;YACrB,MAAM,CAAC,IAAI,CAAC;gBACV,UAAU,EAAE,KAAK;gBACjB,QAAQ,EAAE,GAAG;gBACb,IAAI,EAAE,MAAM,CAAC,KAAK,CAAE,CAAC,KAAK;gBAC1B,EAAE,EAAE,MAAM,CAAC,GAAG,CAAE,CAAC,KAAK;aACvB,CAAC,CAAA;YACF,KAAK,GAAG,SAAS,CAAA;QACnB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,KAAK,EAC9B,OAAsB,EACtB,KAAY,EACZ,OAA2B,EAC3B,UAAmB,EAAE,EACrB,UAA2B,EAAE,EACD,EAAE;IAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACjD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,yBAAyB,CAAA;IAC5D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,uBAAuB,CAAC,qDAAqD,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAC3G,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,uBAAuB,CAAC,uCAAuC,CAAC,CAAA;IAC5G,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC;QACrC,MAAM,IAAI,uBAAuB,CAAC,uCAAuC,OAAO,CAAC,OAAO,CAAC,MAAM,MAAM,OAAO,EAAE,CAAC,CAAA;IACjH,CAAC;IACD,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAA;IACpC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;IAClD,IAAI,QAAQ,KAAK,SAAS;QAAE,MAAM,IAAI,uBAAuB,CAAC,gCAAgC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;IACnI,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACtF,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IACvF,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QACjF,MAAM,IAAI,uBAAuB,CAAC,8CAA8C,CAAC,CAAA;IACnF,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAA;IAC3D,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,uBAAuB,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAA;IAC/G,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAA;IACnD,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,uBAAuB,CAAC,6BAA6B,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IAC9G,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,IAAI,cAAc,CAAA;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAA;IACxE,MAAM,gBAAgB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACpD,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9D,MAAM,MAAM,GAAuB,EAAE,CAAA;IACrC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAY,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,CAAA;QACjE,MAAM,UAAU,GAAU;YACxB,GAAG,KAAK;YACR,WAAW,EAAE;gBACX,GAAG,KAAK,CAAC,WAAW;gBACpB,GAAG,gBAAgB;gBACnB,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,UAAU,KAAK,EAAE,CAAC,CAAC;aAC5D;SACF,CAAA;QACD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;QAC5E,MAAM,CAAC,IAAI,CAAC;YACV,KAAK;YACL,KAAK;YACL,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC;SAC5E,CAAC,CAAA;IACJ,CAAC;IACD,OAAO;QACL,MAAM;QACN,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;QACpC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,KAAK;QACL,OAAO;QACP,MAAM;QACN,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC;QACzC,cAAc,EAAE,cAAc,CAAC,MAAM,CAAC;KACvC,CAAA;AACH,CAAC,CAAA"}

package/package.json

@@ -1,8 +1,18 @@
 {
   "name": "@cavelang/solver",
-  "version": "0.27.14",
+  "version": "0.29.1",
   "type": "module",
-  "description": "Solver-neutral models, validation, capability negotiation, and result contracts for CAVE formal reasoning.",
+  "description": "Solver-neutral models, bounded verification workflows, validation, and result contracts for CAVE formal reasoning.",
+  "keywords": [
+    "cave",
+    "knowledge-graph",
+    "knowledge-representation",
+    "typescript"
+  ],
+  "homepage": "https://github.com/mirek/cave#readme",
+  "bugs": {
+    "url": "https://github.com/mirek/cave/issues"
+  },
   "license": "CC0-1.0",
   "author": "Mirek Rusin (https://github.com/mirek)",
   "repository": {
@@ -26,14 +36,15 @@
     "src",
     "!src/**/*.test.ts",
     "README.md",
-    "License.md"
+    "License.md",
+    "Authors.md"
   ],
   "publishConfig": {
     "access": "public"
   },
   "scripts": {
     "build": "tsc -b",
-    "test": "node --disable-warning=ExperimentalWarning --test 'test/*.test.ts'",
+    "test": "node --disable-warning=ExperimentalWarning --test \"test/*.test.ts\"",
     "typecheck": "tsc -b"
   }
 }