@bilig/workbook 0.42.0

package/dist/run.js

@@ -0,0 +1,514 @@
+import { isLiteralInput } from '@bilig/protocol';
+import { isWorkbookRef } from './find.js';
+import { isWorkbookOp } from './guards.js';
+import { planWorkbookAction } from './model.js';
+import { verifyWorkbookReadbacks } from './readback.js';
+import { isWorkbookRunErrorCode, } from './result.js';
+import { verifyPlan } from './verify.js';
+function errorMessage(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+function runError(code, message) {
+    return {
+        code,
+        message,
+    };
+}
+function runtimeResultError(message, path = 'runtime') {
+    return {
+        code: 'invalid_runtime_result',
+        message,
+        path,
+    };
+}
+function planIssueError(issue) {
+    return {
+        code: issue.code,
+        message: issue.message,
+        path: issue.path,
+    };
+}
+function readbackIssueError(issue) {
+    return {
+        code: issue.code,
+        message: issue.message,
+        ...(issue.path !== undefined ? { path: issue.path } : {}),
+        ...(issue.target !== undefined ? { target: issue.target } : {}),
+        check: issue.check,
+        ...(issue.expected !== undefined ? { expected: issue.expected } : {}),
+        ...(issue.actual !== undefined ? { actual: issue.actual } : {}),
+    };
+}
+function appliedSummary(preview) {
+    if (preview === undefined) {
+        return undefined;
+    }
+    return {
+        opCount: preview.materializedOps.length,
+        ops: preview.materializedOps,
+    };
+}
+function readbackTargets(checks) {
+    const targets = [];
+    const seen = new Set();
+    checks.forEach((check) => {
+        if (check.expectation === undefined || check.target === undefined) {
+            return;
+        }
+        const key = `${check.target.kind}:${check.target.id}`;
+        if (seen.has(key)) {
+            return;
+        }
+        seen.add(key);
+        targets.push(check.target);
+    });
+    return targets;
+}
+function failedFromPlanIssues(plan) {
+    const verification = verifyPlan(plan);
+    if (verification.status === 'valid') {
+        return null;
+    }
+    return {
+        status: 'failed',
+        errors: verification.issues.map(planIssueError),
+        checks: plan.checks,
+    };
+}
+function failedApplyResult(plan, result) {
+    return {
+        status: 'failed',
+        errors: result.errors !== undefined && result.errors.length > 0
+            ? result.errors
+            : [runError('apply_failed', `Workbook action ${plan.modelName}.${plan.actionName} failed to apply`)],
+        checks: plan.checks,
+    };
+}
+function checkLabel(check) {
+    return check.target?.label ?? check.kind;
+}
+function canonicalJson(value) {
+    return JSON.stringify(canonicalValue(value));
+}
+function canonicalValue(value) {
+    if (Array.isArray(value)) {
+        return value.map(canonicalValue);
+    }
+    if (typeof value === 'object' && value !== null) {
+        return Object.fromEntries(Object.entries(value)
+            .toSorted(([left], [right]) => left.localeCompare(right))
+            .map(([key, entry]) => [key, canonicalValue(entry)]));
+    }
+    return value;
+}
+function checkContract(check) {
+    return {
+        kind: check.kind,
+        ...(check.target !== undefined ? { target: check.target } : {}),
+        ...(check.refs !== undefined ? { refs: check.refs } : {}),
+        message: check.message,
+        ...(check.expectation !== undefined ? { expectation: check.expectation } : {}),
+    };
+}
+function cloneCheck(check) {
+    return {
+        status: check.status,
+        kind: check.kind,
+        ...(check.target !== undefined ? { target: check.target } : {}),
+        ...(check.refs !== undefined ? { refs: check.refs } : {}),
+        message: check.message,
+        ...(check.expectation !== undefined ? { expectation: check.expectation } : {}),
+    };
+}
+function checkContractMatches(expectedContract, actual) {
+    return expectedContract === canonicalJson(checkContract(actual));
+}
+function isCheckStatus(value) {
+    return value === 'planned' || value === 'passed' || value === 'failed';
+}
+function isRecord(value) {
+    return typeof value === 'object' && value !== null;
+}
+function isStringOrNull(value) {
+    return typeof value === 'string' || value === null;
+}
+function isRectangularMatrix(value) {
+    const width = value[0]?.length;
+    return value.every((row) => row.length === width);
+}
+function isLiteralMatrix(value) {
+    return (Array.isArray(value) &&
+        value.every((row) => Array.isArray(row) && row.every((entry) => isLiteralInput(entry))) &&
+        isRectangularMatrix(value));
+}
+function isFormulaMatrix(value) {
+    return Array.isArray(value) && value.every((row) => Array.isArray(row) && row.every(isStringOrNull)) && isRectangularMatrix(value);
+}
+function normalizedCellReadback(value) {
+    if (!isRecord(value) || typeof value['sheetName'] !== 'string' || typeof value['address'] !== 'string') {
+        return null;
+    }
+    const cell = {
+        sheetName: value['sheetName'],
+        address: value['address'],
+    };
+    if (value['value'] !== undefined) {
+        if (!isLiteralInput(value['value'])) {
+            return null;
+        }
+        cell.value = value['value'];
+    }
+    if (value['formula'] !== undefined) {
+        if (!isStringOrNull(value['formula'])) {
+            return null;
+        }
+        cell.formula = value['formula'];
+    }
+    return cell;
+}
+function isPreviewRequirement(value) {
+    return (isRecord(value) &&
+        (value['kind'] === 'apply' || value['kind'] === 'read' || value['kind'] === 'verify') &&
+        typeof value['capability'] === 'string' &&
+        typeof value['path'] === 'string' &&
+        typeof value['message'] === 'string');
+}
+function isRunError(value) {
+    return isRecord(value) && isWorkbookRunErrorCode(value['code']) && typeof value['message'] === 'string';
+}
+function validatePreviewResult(value, plan) {
+    if (!isRecord(value)) {
+        return runtimeResultError('Runtime preview must return an object', 'preview');
+    }
+    if (value['modelName'] !== plan.modelName) {
+        return runtimeResultError(`Runtime preview returned modelName ${String(value['modelName'])} for ${plan.modelName}`, 'preview.modelName');
+    }
+    if (value['actionName'] !== plan.actionName) {
+        return runtimeResultError(`Runtime preview returned actionName ${String(value['actionName'])} for ${plan.actionName}`, 'preview.actionName');
+    }
+    if (!Array.isArray(value['requirements'])) {
+        return runtimeResultError('Runtime preview requirements must be an array', 'preview.requirements');
+    }
+    const requirements = value['requirements'];
+    if (!requirements.every(isPreviewRequirement)) {
+        return runtimeResultError('Runtime preview requirements must be runtime requirement objects', 'preview.requirements');
+    }
+    const materializedOps = value['materializedOps'];
+    if (!Array.isArray(materializedOps) || !materializedOps.every(isWorkbookOp)) {
+        return runtimeResultError('Runtime preview materializedOps must be a WorkbookOp array', 'preview.materializedOps');
+    }
+    return {
+        modelName: plan.modelName,
+        actionName: plan.actionName,
+        requirements,
+        materializedOps,
+    };
+}
+function validateApplyResult(value) {
+    if (!isRecord(value)) {
+        return runtimeResultError('Runtime apply must return an object', 'apply');
+    }
+    if (value['status'] !== 'applied' && value['status'] !== 'failed') {
+        return runtimeResultError('Runtime apply status must be applied or failed', 'apply.status');
+    }
+    const errors = value['errors'];
+    if (errors !== undefined && (!Array.isArray(errors) || !errors.every(isRunError))) {
+        return runtimeResultError('Runtime apply errors must be WorkbookRunError objects', 'apply.errors');
+    }
+    const undo = value['undo'];
+    let undoRef;
+    if (undo !== undefined) {
+        if (!isRecord(undo) || typeof undo['id'] !== 'string') {
+            return runtimeResultError('Runtime apply undo must include an id', 'apply.undo');
+        }
+        if (undo['ops'] !== undefined && (!Array.isArray(undo['ops']) || !undo['ops'].every(isWorkbookOp))) {
+            return runtimeResultError('Runtime apply undo ops must be a WorkbookOp array', 'apply.undo.ops');
+        }
+        undoRef = {
+            id: undo['id'],
+            ...(undo['ops'] !== undefined ? { ops: undo['ops'] } : {}),
+        };
+    }
+    return {
+        status: value['status'],
+        ...(errors !== undefined ? { errors } : {}),
+        ...(undoRef !== undefined ? { undo: undoRef } : {}),
+    };
+}
+function validateReadbacks(value) {
+    if (!Array.isArray(value)) {
+        return runtimeResultError('Runtime read must return a readback array', 'read');
+    }
+    const readbacks = [];
+    for (let index = 0; index < value.length; index += 1) {
+        const entry = value[index];
+        const path = `read[${index.toString()}]`;
+        if (!isRecord(entry)) {
+            return runtimeResultError('Runtime readback must be an object', path);
+        }
+        if (!isWorkbookRef(entry['target'])) {
+            return runtimeResultError('Runtime readback target must be a WorkbookRef', `${path}.target`);
+        }
+        const readback = {
+            target: entry['target'],
+        };
+        if (entry['value'] !== undefined && !isLiteralInput(entry['value'])) {
+            return runtimeResultError('Runtime readback value must be a literal input', `${path}.value`);
+        }
+        if (entry['value'] !== undefined) {
+            readback.value = entry['value'];
+        }
+        if (entry['formula'] !== undefined && !isStringOrNull(entry['formula'])) {
+            return runtimeResultError('Runtime readback formula must be a string or null', `${path}.formula`);
+        }
+        if (entry['formula'] !== undefined) {
+            readback.formula = entry['formula'];
+        }
+        if (entry['values'] !== undefined && !isLiteralMatrix(entry['values'])) {
+            return runtimeResultError('Runtime readback values must be an array of literal rows', `${path}.values`);
+        }
+        if (entry['values'] !== undefined) {
+            readback.values = entry['values'];
+        }
+        if (entry['formulas'] !== undefined && !isFormulaMatrix(entry['formulas'])) {
+            return runtimeResultError('Runtime readback formulas must be an array of string/null rows', `${path}.formulas`);
+        }
+        if (entry['formulas'] !== undefined) {
+            readback.formulas = entry['formulas'];
+        }
+        if (entry['cells'] !== undefined) {
+            if (!Array.isArray(entry['cells'])) {
+                return runtimeResultError('Runtime readback cells must be cell readback objects', `${path}.cells`);
+            }
+            const cells = [];
+            for (let cellIndex = 0; cellIndex < entry['cells'].length; cellIndex += 1) {
+                const cell = normalizedCellReadback(entry['cells'][cellIndex]);
+                if (cell === null) {
+                    return runtimeResultError('Runtime readback cells must be cell readback objects', `${path}.cells`);
+                }
+                cells.push(cell);
+            }
+            readback.cells = cells;
+        }
+        readbacks.push(readback);
+    }
+    return readbacks;
+}
+function isWorkbookCheckResult(value) {
+    return isRecord(value) && isCheckStatus(value['status']) && typeof value['kind'] === 'string' && typeof value['message'] === 'string';
+}
+function validateVerifiedChecks(originalContracts, originalKinds, verified) {
+    if (!Array.isArray(verified)) {
+        return {
+            status: 'invalid',
+            error: runError('invalid_check_verification', 'Check verifier did not return a check array'),
+        };
+    }
+    if (verified.length !== originalContracts.length) {
+        return {
+            status: 'invalid',
+            error: runError('invalid_check_verification', `Check verifier returned ${String(verified.length)} checks for ${String(originalContracts.length)} planned checks`),
+        };
+    }
+    const verifiedChecks = [];
+    for (let index = 0; index < originalContracts.length; index += 1) {
+        const expectedContract = originalContracts[index];
+        const expectedKind = originalKinds[index] ?? 'check';
+        const actual = verified[index];
+        if (expectedContract === undefined || !isRecord(actual)) {
+            return {
+                status: 'invalid',
+                error: runError('invalid_check_verification', `Check verifier returned an invalid check at index ${String(index)}`),
+            };
+        }
+        if (!isCheckStatus(actual['status'])) {
+            return {
+                status: 'invalid',
+                error: runError('invalid_check_verification', `Check verifier returned an invalid status at index ${String(index)}`),
+            };
+        }
+        if (!isWorkbookCheckResult(actual)) {
+            return {
+                status: 'invalid',
+                error: runError('invalid_check_verification', `Check verifier returned an invalid check at index ${String(index)}`),
+            };
+        }
+        if (!checkContractMatches(expectedContract, actual)) {
+            return {
+                status: 'invalid',
+                error: runError('invalid_check_verification', `Check verifier changed the check contract at index ${String(index)} for ${expectedKind}`),
+            };
+        }
+        verifiedChecks.push(actual);
+    }
+    return {
+        status: 'valid',
+        checks: verifiedChecks,
+    };
+}
+async function verifyChecksWithAdapter(checks, plan, adapter) {
+    if (adapter.verifyChecks === undefined) {
+        return { checks, errors: [] };
+    }
+    const originalChecks = checks.map(cloneCheck);
+    const originalContracts = originalChecks.map((check) => canonicalJson(checkContract(check)));
+    const originalKinds = originalChecks.map((check) => check.kind);
+    const verifierInput = originalChecks.map(cloneCheck);
+    let verified;
+    try {
+        verified = await adapter.verifyChecks(verifierInput, plan);
+    }
+    catch (error) {
+        return {
+            checks: originalChecks,
+            errors: [runError('check_verification_failed', errorMessage(error))],
+        };
+    }
+    const validation = validateVerifiedChecks(originalContracts, originalKinds, verified);
+    if (validation.status === 'invalid') {
+        return {
+            checks: originalChecks,
+            errors: [validation.error],
+        };
+    }
+    const verifiedChecks = validation.checks;
+    const failedChecks = verifiedChecks.filter((check) => check.status === 'failed');
+    if (failedChecks.length > 0) {
+        return {
+            checks: verifiedChecks,
+            errors: failedChecks.map((check) => runError('check_failed', `${check.target?.label ?? check.kind} failed check ${check.kind}: ${check.message}`)),
+        };
+    }
+    return { checks: verifiedChecks, errors: [] };
+}
+function unverifiedCheckErrors(checks) {
+    return checks
+        .filter((check) => check.status === 'planned')
+        .map((check) => runError('check_not_verified', `${checkLabel(check)} did not verify check ${check.kind}: ${check.message}`));
+}
+export async function runWorkbookPlan(plan, adapter) {
+    const invalidPlan = failedFromPlanIssues(plan);
+    if (invalidPlan !== null) {
+        return invalidPlan;
+    }
+    let preview;
+    if (adapter.preview !== undefined) {
+        try {
+            const previewResult = validatePreviewResult(await adapter.preview(plan), plan);
+            if ('code' in previewResult) {
+                return {
+                    status: 'failed',
+                    errors: [previewResult],
+                    checks: plan.checks,
+                };
+            }
+            preview = previewResult;
+        }
+        catch (error) {
+            return {
+                status: 'failed',
+                errors: [runError('runtime_rejected', errorMessage(error))],
+                checks: plan.checks,
+            };
+        }
+    }
+    let applyResult;
+    try {
+        const rawApplyResult = validateApplyResult(await adapter.apply(plan));
+        if ('code' in rawApplyResult) {
+            return {
+                status: 'failed',
+                errors: [rawApplyResult],
+                checks: plan.checks,
+            };
+        }
+        applyResult = rawApplyResult;
+    }
+    catch (error) {
+        return {
+            status: 'failed',
+            errors: [runError('apply_failed', errorMessage(error))],
+            checks: plan.checks,
+        };
+    }
+    if (applyResult.status === 'failed') {
+        return failedApplyResult(plan, applyResult);
+    }
+    let checks = plan.checks;
+    const targets = readbackTargets(checks);
+    if (targets.length > 0) {
+        if (adapter.read === undefined) {
+            const readbackVerification = verifyWorkbookReadbacks(checks, []);
+            return {
+                status: 'failed',
+                errors: readbackVerification.issues.map(readbackIssueError),
+                checks: readbackVerification.checks,
+            };
+        }
+        let readbacks;
+        try {
+            const rawReadbacks = validateReadbacks(await adapter.read(targets, plan));
+            if ('code' in rawReadbacks) {
+                return {
+                    status: 'failed',
+                    errors: [rawReadbacks],
+                    checks,
+                };
+            }
+            readbacks = rawReadbacks;
+        }
+        catch (error) {
+            return {
+                status: 'failed',
+                errors: [runError('readback_failed', errorMessage(error))],
+                checks,
+            };
+        }
+        const readbackVerification = verifyWorkbookReadbacks(checks, readbacks);
+        checks = readbackVerification.checks;
+        if (readbackVerification.status === 'failed') {
+            return {
+                status: 'failed',
+                errors: readbackVerification.issues.map(readbackIssueError),
+                checks,
+            };
+        }
+    }
+    const checkVerification = await verifyChecksWithAdapter(checks, plan, adapter);
+    checks = checkVerification.checks;
+    if (checkVerification.errors.length > 0) {
+        return {
+            status: 'failed',
+            errors: checkVerification.errors,
+            checks,
+        };
+    }
+    const unverifiedErrors = unverifiedCheckErrors(checks);
+    if (unverifiedErrors.length > 0) {
+        return {
+            status: 'failed',
+            errors: unverifiedErrors,
+            checks,
+        };
+    }
+    const applied = appliedSummary(preview);
+    return {
+        status: 'done',
+        changed: plan.changed,
+        checks,
+        ...(applyResult.undo !== undefined ? { undo: applyResult.undo } : {}),
+        ...(applied !== undefined ? { applied } : {}),
+    };
+}
+export async function runWorkbookAction(model, actionName, adapter, input) {
+    const result = planWorkbookAction(model, actionName, input);
+    if (result.status === 'failed') {
+        return {
+            status: 'failed',
+            errors: result.errors,
+            checks: result.checks,
+        };
+    }
+    return runWorkbookPlan(result.plan, adapter);
+}
+//# sourceMappingURL=run.js.map

package/dist/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../src/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAqB,MAAM,iBAAiB,CAAA;AACnE,OAAO,EAAE,aAAa,EAAoB,MAAM,WAAW,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAE1C,OAAO,EAAE,kBAAkB,EAAuE,MAAM,YAAY,CAAA;AACpH,OAAO,EAAE,uBAAuB,EAAmF,MAAM,eAAe,CAAA;AAExI,OAAO,EACL,sBAAsB,GAOvB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAoBxC,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC/D,CAAC;AAED,SAAS,QAAQ,CAAC,IAA0B,EAAE,OAAe;IAC3D,OAAO;QACL,IAAI;QACJ,OAAO;KACR,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAe,EAAE,IAAI,GAAG,SAAS;IAC3D,OAAO;QACL,IAAI,EAAE,wBAAwB;QAC9B,OAAO;QACP,IAAI;KACL,CAAA;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAsD;IAC5E,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA4B;IACtD,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChE,CAAA;AACH,CAAC;AAED,SAAS,cAAc,CAAC,OAA2C;IACjE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC,MAAM;QACvC,GAAG,EAAE,OAAO,CAAC,eAAe;KAC7B,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,MAAsC;IAC7D,MAAM,OAAO,GAAkB,EAAE,CAAA;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACvB,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAClE,OAAM;QACR,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAA;QACrD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAM;QACR,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC5B,CAAC,CAAC,CAAA;IACF,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAO,IAA8B;IAChE,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IACrC,IAAI,YAAY,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QACpC,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC;QAC/C,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAwB,EAAE,MAA8B;IACjF,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,MAAM,EACJ,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YACrD,CAAC,CAAC,MAAM,CAAC,MAAM;YACf,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,EAAE,mBAAmB,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,UAAU,kBAAkB,CAAC,CAAC;QACxG,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAA0B;IAC5C,OAAO,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,KAAK,CAAC,IAAI,CAAA;AAC1C,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAA;AAC9C,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;IAClC,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;aAClB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;aACxD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CACvD,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,aAAa,CAAC,KAA0B;IAC/C,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/E,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAA0B;IAC5C,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/E,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,gBAAwB,EAAE,MAA2B;IACjF,OAAO,gBAAgB,KAAK,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAA;AAClE,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ,CAAA;AACxE,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAA;AACpD,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAA;AACpD,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA2B;IACtD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAA;IAC9B,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,CAAA;AACnD,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;QACvF,mBAAmB,CAAC,KAAK,CAAC,CAC3B,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,mBAAmB,CAAC,KAAK,CAAC,CAAA;AACpI,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC5C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,WAAW,CAAC,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,SAAS,CAAC,KAAK,QAAQ,EAAE,CAAC;QACvG,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,IAAI,GAA0F;QAClG,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC;QAC7B,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC;KAC1B,CAAA;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACpC,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;IAC7B,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;QACnC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YACtC,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,OAAO,CACL,QAAQ,CAAC,KAAK,CAAC;QACf,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC;QACrF,OAAO,KAAK,CAAC,YAAY,CAAC,KAAK,QAAQ;QACvC,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ;QACjC,OAAO,KAAK,CAAC,SAAS,CAAC,KAAK,QAAQ,CACrC,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,OAAO,KAAK,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAA;AACzG,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc,EAAE,IAAwB;IACrE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,kBAAkB,CAAC,uCAAuC,EAAE,SAAS,CAAC,CAAA;IAC/E,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1C,OAAO,kBAAkB,CAAC,sCAAsC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,QAAQ,IAAI,CAAC,SAAS,EAAE,EAAE,mBAAmB,CAAC,CAAA;IAC1I,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5C,OAAO,kBAAkB,CACvB,uCAAuC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,QAAQ,IAAI,CAAC,UAAU,EAAE,EAC3F,oBAAoB,CACrB,CAAA;IACH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QAC1C,OAAO,kBAAkB,CAAC,+CAA+C,EAAE,sBAAsB,CAAC,CAAA;IACpG,CAAC;IACD,MAAM,YAAY,GAAG,KAAK,CAAC,cAAc,CAAC,CAAA;IAC1C,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC9C,OAAO,kBAAkB,CAAC,kEAAkE,EAAE,sBAAsB,CAAC,CAAA;IACvH,CAAC;IACD,MAAM,eAAe,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAA;IAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5E,OAAO,kBAAkB,CAAC,4DAA4D,EAAE,yBAAyB,CAAC,CAAA;IACpH,CAAC;IACD,OAAO;QACL,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,YAAY;QACZ,eAAe;KAChB,CAAA;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,kBAAkB,CAAC,qCAAqC,EAAE,OAAO,CAAC,CAAA;IAC3E,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,QAAQ,EAAE,CAAC;QAClE,OAAO,kBAAkB,CAAC,gDAAgD,EAAE,cAAc,CAAC,CAAA;IAC7F,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAA;IAC9B,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QAClF,OAAO,kBAAkB,CAAC,uDAAuD,EAAE,cAAc,CAAC,CAAA;IACpG,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;IAC1B,IAAI,OAAoC,CAAA;IACxC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YACtD,OAAO,kBAAkB,CAAC,uCAAuC,EAAE,YAAY,CAAC,CAAA;QAClF,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YACnG,OAAO,kBAAkB,CAAC,mDAAmD,EAAE,gBAAgB,CAAC,CAAA;QAClG,CAAC;QACD,OAAO,GAAG;YACR,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3D,CAAA;IACH,CAAC;IACD,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC;QACvB,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpD,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,kBAAkB,CAAC,2CAA2C,EAAE,MAAM,CAAC,CAAA;IAChF,CAAC;IACD,MAAM,SAAS,GAA0B,EAAE,CAAA;IAC3C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;QAC1B,MAAM,IAAI,GAAG,QAAQ,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAA;QACxC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,kBAAkB,CAAC,oCAAoC,EAAE,IAAI,CAAC,CAAA;QACvE,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YACpC,OAAO,kBAAkB,CAAC,+CAA+C,EAAE,GAAG,IAAI,SAAS,CAAC,CAAA;QAC9F,CAAC;QACD,MAAM,QAAQ,GAOV;YACF,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC;SACxB,CAAA;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACpE,OAAO,kBAAkB,CAAC,gDAAgD,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAA;QAC9F,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YACjC,QAAQ,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;QACjC,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YACxE,OAAO,kBAAkB,CAAC,mDAAmD,EAAE,GAAG,IAAI,UAAU,CAAC,CAAA;QACnG,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;YACnC,QAAQ,CAAC,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAA;QACrC,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YACvE,OAAO,kBAAkB,CAAC,0DAA0D,EAAE,GAAG,IAAI,SAAS,CAAC,CAAA;QACzG,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;YAClC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAA;QACnC,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YAC3E,OAAO,kBAAkB,CAAC,gEAAgE,EAAE,GAAG,IAAI,WAAW,CAAC,CAAA;QACjH,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;YACpC,QAAQ,CAAC,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,CAAA;QACvC,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBACnC,OAAO,kBAAkB,CAAC,sDAAsD,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAA;YACpG,CAAC;YACD,MAAM,KAAK,GAA2B,EAAE,CAAA;YACxC,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;gBAC1E,MAAM,IAAI,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAA;gBAC9D,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAClB,OAAO,kBAAkB,CAAC,sDAAsD,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAA;gBACpG,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClB,CAAC;YACD,QAAQ,CAAC,KAAK,GAAG,KAAK,CAAA;QACxB,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC1B,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IAC3C,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAA;AACvI,CAAC;AAYD,SAAS,sBAAsB,CAC7B,iBAAoC,EACpC,aAAgC,EAChC,QAAiB;IAEjB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,QAAQ,CAAC,4BAA4B,EAAE,6CAA6C,CAAC;SAC7F,CAAA;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,KAAK,iBAAiB,CAAC,MAAM,EAAE,CAAC;QACjD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,QAAQ,CACb,4BAA4B,EAC5B,2BAA2B,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,eAAe,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,iBAAiB,CACnH;SACF,CAAA;IACH,CAAC;IAED,MAAM,cAAc,GAA0B,EAAE,CAAA;IAChD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;QACjD,MAAM,YAAY,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,OAAO,CAAA;QACpD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;QAC9B,IAAI,gBAAgB,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACxD,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,KAAK,EAAE,QAAQ,CAAC,4BAA4B,EAAE,qDAAqD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;aACpH,CAAA;QACH,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YACrC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,KAAK,EAAE,QAAQ,CAAC,4BAA4B,EAAE,sDAAsD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;aACrH,CAAA;QACH,CAAC;QACD,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,KAAK,EAAE,QAAQ,CAAC,4BAA4B,EAAE,qDAAqD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;aACpH,CAAA;QACH,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,gBAAgB,EAAE,MAAM,CAAC,EAAE,CAAC;YACpD,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,KAAK,EAAE,QAAQ,CACb,4BAA4B,EAC5B,sDAAsD,MAAM,CAAC,KAAK,CAAC,QAAQ,YAAY,EAAE,CAC1F;aACF,CAAA;QACH,CAAC;QACD,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAC7B,CAAC;IAED,OAAO;QACL,MAAM,EAAE,OAAO;QACf,MAAM,EAAE,cAAc;KACvB,CAAA;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,MAAsC,EACtC,IAA8B,EAC9B,OAAiC;IAEjC,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;IAC/B,CAAC;IAED,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAC7C,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC5F,MAAM,aAAa,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC/D,MAAM,aAAa,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACpD,IAAI,QAAiB,CAAA;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC,aAAa,EAAE,IAAI,CAAC,CAAA;IAC5D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,MAAM,EAAE,CAAC,QAAQ,CAAC,2BAA2B,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;SACrE,CAAA;IACH,CAAC;IAED,MAAM,UAAU,GAAG,sBAAsB,CAAC,iBAAiB,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAA;IACrF,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,MAAM,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC;SAC3B,CAAA;IACH,CAAC;IAED,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAA;IACxC,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAA;IAChF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACjC,QAAQ,CAAC,cAAc,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,KAAK,CAAC,IAAI,iBAAiB,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAC9G;SACF,CAAA;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;AAC/C,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAsC;IACnE,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;SAC7C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,oBAAoB,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,yBAAyB,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;AAChI,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAO,IAA8B,EAAE,OAAiC;IAC3G,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAA;IAC9C,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,WAAW,CAAA;IACpB,CAAC;IAED,IAAI,OAA2C,CAAA;IAC/C,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,qBAAqB,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;YAC9E,IAAI,MAAM,IAAI,aAAa,EAAE,CAAC;gBAC5B,OAAO;oBACL,MAAM,EAAE,QAAQ;oBAChB,MAAM,EAAE,CAAC,aAAa,CAAC;oBACvB,MAAM,EAAE,IAAI,CAAC,MAAM;iBACpB,CAAA;YACH,CAAC;YACD,OAAO,GAAG,aAAa,CAAA;QACzB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,CAAC,QAAQ,CAAC,kBAAkB,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC3D,MAAM,EAAE,IAAI,CAAC,MAAM;aACpB,CAAA;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAmC,CAAA;IACvC,IAAI,CAAC;QACH,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QACrE,IAAI,MAAM,IAAI,cAAc,EAAE,CAAC;YAC7B,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,CAAC,cAAc,CAAC;gBACxB,MAAM,EAAE,IAAI,CAAC,MAAM;aACpB,CAAA;QACH,CAAC;QACD,WAAW,GAAG,cAAc,CAAA;IAC9B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,CAAC,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;YACvD,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAA;IACH,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,iBAAiB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAA;IAC7C,CAAC;IAED,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IACxB,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;IACvC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;YAChE,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,oBAAoB,CAAC,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC;gBAC3D,MAAM,EAAE,oBAAoB,CAAC,MAAM;aACpC,CAAA;QACH,CAAC;QAED,IAAI,SAAyC,CAAA;QAC7C,IAAI,CAAC;YACH,MAAM,YAAY,GAAG,iBAAiB,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAA;YACzE,IAAI,MAAM,IAAI,YAAY,EAAE,CAAC;gBAC3B,OAAO;oBACL,MAAM,EAAE,QAAQ;oBAChB,MAAM,EAAE,CAAC,YAAY,CAAC;oBACtB,MAAM;iBACP,CAAA;YACH,CAAC;YACD,SAAS,GAAG,YAAY,CAAA;QAC1B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,CAAC,QAAQ,CAAC,iBAAiB,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC1D,MAAM;aACP,CAAA;QACH,CAAC;QAED,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;QACvE,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAA;QACpC,IAAI,oBAAoB,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC7C,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,oBAAoB,CAAC,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC;gBAC3D,MAAM;aACP,CAAA;QACH,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,uBAAuB,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IAC9E,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAA;IACjC,IAAI,iBAAiB,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,iBAAiB,CAAC,MAAM;YAChC,MAAM;SACP,CAAA;IACH,CAAC;IAED,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAA;IACtD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,gBAAgB;YACxB,MAAM;SACP,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IACvC,OAAO;QACL,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM;QACN,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9C,CAAA;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,KAAmC,EACnC,UAAkB,EAClB,OAAiC,EACjC,KAA2B;IAE3B,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CAAA;IAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,MAAM,EAAE,MAAM,CAAC,MAAM;SACtB,CAAA;IACH,CAAC;IACD,OAAO,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;AAC9C,CAAC"}

package/dist/verify.d.ts

@@ -0,0 +1,33 @@
+import { type WorkbookActionPlanResultDescription, type WorkbookRefDescription } from './describe.js';
+import { type WorkbookActionMap, type WorkbookActionPlan, type WorkbookModel } from './model.js';
+import { type WorkbookActionInput } from './input.js';
+export type WorkbookPlanIssueCode = 'invalid_action_input' | 'duplicate_ref' | 'command_target_not_resolved' | 'formula_input_not_resolved' | 'invalid_formula' | 'change_target_not_resolved' | 'check_status_not_planned' | 'check_target_not_resolved' | 'check_ref_not_resolved' | 'check_expectation_input_not_resolved' | 'invalid_check_expectation_formula' | 'invalid_workbook_op' | 'op_target_mismatch' | 'missing_concrete_op' | 'missing_workbook_op';
+export declare const workbookPlanIssueCodes: readonly ("invalid_action_input" | "duplicate_ref" | "command_target_not_resolved" | "formula_input_not_resolved" | "invalid_formula" | "change_target_not_resolved" | "check_status_not_planned" | "check_target_not_resolved" | "check_ref_not_resolved" | "check_expectation_input_not_resolved" | "invalid_check_expectation_formula" | "invalid_workbook_op" | "op_target_mismatch" | "missing_concrete_op" | "missing_workbook_op")[];
+export declare function isWorkbookPlanIssueCode(value: unknown): value is WorkbookPlanIssueCode;
+export interface WorkbookPlanIssue {
+    readonly code: WorkbookPlanIssueCode;
+    readonly message: string;
+    readonly path: string;
+    readonly ref?: WorkbookRefDescription;
+}
+export interface WorkbookPlanVerification {
+    readonly status: 'valid' | 'invalid';
+    readonly modelName: string;
+    readonly actionName: string;
+    readonly issues: readonly WorkbookPlanIssue[];
+}
+export interface WorkbookModelActionVerification {
+    readonly actionName: string;
+    readonly planning: WorkbookActionPlanResultDescription;
+    readonly verification?: WorkbookPlanVerification;
+}
+export interface WorkbookModelVerification {
+    readonly status: 'valid' | 'invalid';
+    readonly modelName: string;
+    readonly actions: readonly WorkbookModelActionVerification[];
+}
+export interface WorkbookModelVerificationOptions {
+    readonly inputs?: Partial<Record<string, WorkbookActionInput>>;
+}
+export declare function verifyPlan<Refs>(plan: WorkbookActionPlan<Refs>): WorkbookPlanVerification;
+export declare function verifyModel<Refs, Actions extends WorkbookActionMap<Refs>>(model: WorkbookModel<Refs, Actions>, options?: WorkbookModelVerificationOptions): WorkbookModelVerification;