openalgo-script 0.1.0-alpha.1 → 0.4.0

package/dist/core/check/statements.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Checking a statement: what it declares, what it updates, and what it says
+ * about the bars it runs on.
+ *
+ * The two rules of `language.md` 12.2 are the whole of scoping and they are
+ * both here. A name is declared by its first assignment in a scope, and an
+ * assignment to a name an enclosing scope already holds updates that name
+ * rather than making a second one. Everything else about names follows from
+ * those two: there is no shadowing to allow because there is no syntax that
+ * could ask for it, and a name assigned inside a block and read outside it is
+ * OS2001 rather than an absent value.
+ */
+import type { Block, Statement, TypeAnnotation } from '../ast/index.js';
+import type { Checker, Placement } from './checker.js';
+import type { Type } from './types.js';
+/** Runs a block's statements in a scope of their own, `language.md` 12.1. */
+export declare function checkBlock(checker: Checker, block: Block, placement: Placement): void;
+/** A run of statements, with the one thing that is about the run: reachability. */
+export declare function checkStatements(checker: Checker, statements: readonly {
+    readonly kind: string;
+}[], placement: Placement): void;
+export declare function checkStatement(checker: Checker, statement: Statement, placement: Placement): void;
+/** A type as written, `language.md` 5.1 and 14.1. OS2016 and OS2019 live here. */
+export declare function resolveAnnotation(checker: Checker, annotation: TypeAnnotation): Type;
+//# sourceMappingURL=statements.d.ts.map

package/dist/core/check/statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/core/check/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAEV,KAAK,EAML,SAAS,EAET,cAAc,EAGf,MAAM,iBAAiB,CAAC;AAGzB,OAAO,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAKvD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAkBvC,6EAA6E;AAC7E,wBAAgB,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,CAIrF;AAED,mFAAmF;AACnF,wBAAgB,eAAe,CAC7B,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,EAChD,SAAS,EAAE,SAAS,GACnB,IAAI,CAaN;AAED,wBAAgB,cAAc,CAC5B,OAAO,EAAE,OAAO,EAChB,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,GACnB,IAAI,CA8CN;AA8KD,kFAAkF;AAClF,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,GAAG,IAAI,CA4BpF"}

package/dist/core/check/statements.js

@@ -0,0 +1,377 @@
+import { isObjectTypeName, isValueTypeName, typeAnnotationText, withoutGrouping } from '../ast/index.js';
+import { literalNumber } from './literals.js';
+import { checkCondition, checkExpression } from './expressions.js';
+import { allowHandle } from './handles.js';
+import { isLibraryName } from './surface.js';
+import { HANDLE_KINDS, NUMBER, UNKNOWN, arrayOf, canBeArrayElement, compatible, elementOf, isDefinite, join, objectType, sameType, seriesOf, typeText, } from './types.js';
+import { BAR_ZERO, earlier } from './warmup.js';
+/** Runs a block's statements in a scope of their own, `language.md` 12.1. */
+export function checkBlock(checker, block, placement) {
+    checker.inScope('block', undefined, () => {
+        checkStatements(checker, block.statements, placement);
+    });
+}
+/** A run of statements, with the one thing that is about the run: reachability. */
+export function checkStatements(checker, statements, placement) {
+    let returned = false;
+    for (const statement of statements) {
+        if (statement.kind === 'functionDeclaration')
+            continue;
+        if (returned) {
+            checker.report('OS8016', statement.span, {
+                line: statement.span.line,
+            });
+            returned = false;
+        }
+        checkStatement(checker, statement, placement);
+        if (statement.kind === 'returnStatement')
+            returned = true;
+    }
+}
+export function checkStatement(checker, statement, placement) {
+    switch (statement.kind) {
+        case 'versionLine':
+        case 'scriptDeclaration':
+        case 'limitsLine':
+            // The header is read before anything else runs; see declaration.ts.
+            return;
+        case 'expressionStatement':
+            // A declaration written for its effect, `plot(close, "C")`, is a call
+            // whose result is a handle nobody named (`language.md` 5.4).
+            if (withoutGrouping(statement.expression).kind === 'call') {
+                allowHandle(checker, statement.expression);
+            }
+            checkExpression(checker, statement.expression, placement);
+            return;
+        case 'assignment':
+            checkAssignment(checker, statement, placement);
+            return;
+        case 'varDeclaration':
+            checkVar(checker, statement, placement);
+            return;
+        case 'ifStatement':
+            checkIf(checker, statement, placement);
+            return;
+        case 'forRangeStatement':
+            checkForRange(checker, statement, placement);
+            return;
+        case 'forInStatement':
+            checkForIn(checker, statement, placement);
+            return;
+        case 'whileStatement':
+            checkWhile(checker, statement, placement);
+            return;
+        case 'switchStatement':
+            checkSwitch(checker, statement, placement);
+            return;
+        case 'breakStatement':
+        case 'continueStatement':
+            return;
+        case 'returnStatement': {
+            if (statement.value === undefined)
+                return;
+            const type = checkExpression(checker, statement.value, placement);
+            checker.pendingReturns.push({ type, warmup: checker.warmupOf(statement.value) });
+            return;
+        }
+    }
+}
+/** The placement inside a construct, for OS3006's message. */
+function inside(placement, construct, loop = false) {
+    return {
+        topLevel: false,
+        construct,
+        inLoop: placement.inLoop || loop,
+    };
+}
+function checkAssignment(checker, statement, placement) {
+    const target = statement.target;
+    // `upper = plot(...)` names a declaration, which is the one assignment a
+    // handle may stand in (`language.md` 5.4). A second name for a handle that
+    // already has one is not a declaration and has nothing to store, so only the
+    // call itself is allowed here.
+    if (statement.operator === '=' && withoutGrouping(statement.value).kind === 'call') {
+        allowHandle(checker, statement.value);
+    }
+    const type = checkExpression(checker, statement.value, placement);
+    const warmup = checker.warmupOf(statement.value);
+    if (checker.loopVariableNamed(target.text)) {
+        checker.report('OS2006', target.span, { name: target.text });
+        return;
+    }
+    const { binding: existing, crossedFunction } = checker.lookupAcross(target.text);
+    if (existing !== undefined) {
+        if (crossedFunction) {
+            checker.report('OS2002', target.span, {
+                name: target.text,
+                line: existing.declaredAt.line,
+            });
+            return;
+        }
+        checker.targets.set(target, existing);
+        updateType(checker, target, existing.type, type, (fixed) => {
+            existing.type = fixed;
+        });
+        existing.warmup = earlier(existing.warmup, warmup);
+        checker.holdsMultiOutput(existing.id, callHeldBy(checker, statement.value));
+        return;
+    }
+    // A built-in lives in the global scope, so assigning to one is a shadowing
+    // attempt and is OS2002 (language.md 12.4).
+    if (isLibraryName(target.text)) {
+        checker.report('OS2002', target.span, { name: target.text, line: 'built-in' });
+        return;
+    }
+    if (statement.operator !== '=') {
+        checker.report('OS2001', target.span, {
+            name: target.text,
+            suggestion: checker.suggestionFor(target.text),
+        });
+    }
+    const kind = checker.scope === checker.fileScope ? 'file' : 'block';
+    const binding = checker.declare(target, kind, type, warmup);
+    const inner = withoutGrouping(statement.value);
+    checker.holdsMultiOutput(binding.id, callHeldBy(checker, statement.value));
+    if (inner.kind === 'call') {
+        const call = checker.callSites.get(inner);
+        if (call?.name === 'input')
+            adoptInput(checker, binding.id, target.text);
+        if (type.kind === 'handle')
+            binding.handle = type.handle;
+    }
+}
+/** The library call a name is being given, where it is given one directly. */
+function callHeldBy(checker, value) {
+    const inner = withoutGrouping(value);
+    return inner.kind === 'call' ? checker.callSites.get(inner) : undefined;
+}
+/**
+ * Gives the input the name it was assigned to, which is also its default title.
+ *
+ * Called from both spellings that put a name in front of an `input()`, because
+ * the key is what the row is stored under and a `var` does not rename a row.
+ * Whether the name then *is* the input, which decides its slot and whether a
+ * declaration option may fold it, is the separate question `inputHeldBy` asks.
+ */
+function adoptInput(checker, bindingId, name) {
+    const input = checker.inputs[checker.inputs.length - 1];
+    const binding = checker.bindings[bindingId];
+    if (input === undefined || binding === undefined)
+        return;
+    input.name = name;
+    if (input.title === '')
+        input.title = name;
+    binding.input = input.id;
+}
+/**
+ * The rule of `language.md` 10.1: the first definite assignment fixes the type.
+ *
+ * `none` is a member of every type, so an assignment of `none` carries nothing
+ * to fix a type with and the name waits for the next one. A name that is never
+ * given a definite type is of type `none`, which is legal wherever `none` is.
+ */
+function updateType(checker, target, current, given, fix) {
+    if (!isDefinite(given))
+        return;
+    if (!isDefinite(current)) {
+        fix(given);
+        return;
+    }
+    if (!sameType(current, given)) {
+        checker.report('OS2003', target.span, {
+            leftType: typeText(current),
+            rightType: typeText(given),
+        });
+        return;
+    }
+    fix(join(current, given));
+}
+function checkVar(checker, statement, placement) {
+    const initial = checkExpression(checker, statement.initialiser, placement);
+    const annotated = statement.annotation === undefined
+        ? undefined
+        : resolveAnnotation(checker, statement.annotation);
+    const name = statement.name;
+    const enclosing = checker.enclosing(name.text);
+    if (enclosing !== undefined) {
+        checker.report('OS2002', name.span, { name: name.text, line: enclosing.declaredAt.line });
+    }
+    else if (isLibraryName(name.text)) {
+        checker.report('OS2002', name.span, { name: name.text, line: 'built-in' });
+    }
+    else if (checker.scope.names.has(name.text)) {
+        const existing = checker.scope.names.get(name.text);
+        checker.report('OS2002', name.span, {
+            name: name.text,
+            line: existing?.declaredAt.line ?? name.span.line,
+        });
+    }
+    let type = annotated ?? initial;
+    if (annotated !== undefined && isDefinite(initial) && !sameType(annotated, initial)) {
+        checker.report('OS2003', statement.span, {
+            leftType: typeText(annotated),
+            rightType: typeText(initial),
+        });
+        type = annotated;
+    }
+    const kind = checker.scope === checker.fileScope ? 'file' : 'block';
+    const binding = checker.declare(name, kind, type, checker.warmupOf(statement.initialiser), statement.live ? 'live' : 'var');
+    // `var len = input(14, "Length")` declares one settings row like any other,
+    // and the name it is written under is that row's key and its label
+    // (`host-interface.md` 8.1). What `var` decides is where the value lives, not
+    // what the row is called, so adding or removing the word leaves a user's
+    // stored value on the row they stored it for. The name does not become the
+    // input: `inputHeldBy` is where that half is answered.
+    const written = withoutGrouping(statement.initialiser);
+    if (written.kind === 'call' && checker.callSites.get(written)?.name === 'input') {
+        adoptInput(checker, binding.id, name.text);
+    }
+    if (statement.live)
+        checker.report('OS8011', name.span, { name: name.text });
+}
+/** A type as written, `language.md` 5.1 and 14.1. OS2016 and OS2019 live here. */
+export function resolveAnnotation(checker, annotation) {
+    switch (annotation.kind) {
+        case 'namedType': {
+            if (isValueTypeName(annotation.name))
+                return { kind: annotation.name };
+            if (isObjectTypeName(annotation.name))
+                return objectType(annotation.name);
+            checker.report('OS2016', annotation.span, { type: typeAnnotationText(annotation) });
+            return UNKNOWN;
+        }
+        case 'seriesType':
+            return seriesOf(resolveAnnotation(checker, annotation.element));
+        case 'arrayType': {
+            // A declaration handle and a series are refused here rather than being
+            // resolved first, because OS2016 would say the word is not a type and it
+            // is: the answer the reader needs is that an array cannot hold one.
+            const written = typeAnnotationText(annotation.element);
+            const handle = HANDLE_KINDS.includes(written);
+            if (handle || annotation.element.kind === 'seriesType') {
+                checker.report('OS2019', annotation.span, { type: written });
+                return UNKNOWN;
+            }
+            const element = resolveAnnotation(checker, annotation.element);
+            if (!canBeArrayElement(element)) {
+                checker.report('OS2019', annotation.span, { type: written });
+                return UNKNOWN;
+            }
+            return arrayOf(element);
+        }
+    }
+}
+function checkIf(checker, statement, placement) {
+    for (const branch of statement.branches) {
+        checkCondition(checker, branch.condition, placement);
+        reportConstantCondition(checker, branch.condition);
+        checkBlock(checker, branch.body, inside(placement, 'an if block'));
+    }
+    if (statement.elseBranch !== undefined) {
+        checkBlock(checker, statement.elseBranch.body, inside(placement, 'an else block'));
+    }
+}
+function reportConstantCondition(checker, condition) {
+    const inner = withoutGrouping(condition);
+    if (inner.kind !== 'booleanLiteral')
+        return;
+    checker.report('OS8017', condition.span, { value: String(inner.value) });
+}
+function checkForRange(checker, statement, placement) {
+    checkNumeric(checker, statement.from, placement);
+    checkNumeric(checker, statement.to, placement);
+    if (statement.step !== undefined)
+        checkNumeric(checker, statement.step, placement);
+    const from = literalNumber(statement.from);
+    const to = literalNumber(statement.to);
+    const step = statement.step === undefined ? 1 : literalNumber(statement.step);
+    if (statement.step !== undefined && step === 0) {
+        checker.report('OS3004', statement.step.span, {
+            name: 'for',
+            argument: 'step',
+            range: 'other than zero',
+            found: 0,
+        });
+    }
+    else if (from !== undefined && to !== undefined && step !== undefined && step !== 0) {
+        const runs = step > 0 ? from <= to : from >= to;
+        if (!runs) {
+            checker.report('OS8015', statement.span, { start: from, end: to, step });
+        }
+    }
+    runLoop(checker, statement.variable, NUMBER, statement.body, placement);
+}
+function checkForIn(checker, statement, placement) {
+    const iterable = checkExpression(checker, statement.iterable, placement);
+    const array = elementOf(iterable);
+    if (array.kind !== 'array' && array.kind !== 'unknown') {
+        checker.report('OS2003', statement.iterable.span, {
+            leftType: typeText(arrayOf(UNKNOWN)),
+            rightType: typeText(iterable),
+        });
+    }
+    const element = array.kind === 'array' ? array.element : UNKNOWN;
+    runLoop(checker, statement.variable, element, statement.body, placement);
+}
+/** The loop variable's scope is the body's, and assigning to it is OS2006. */
+function runLoop(checker, variable, type, body, placement) {
+    const enclosing = checker.lookup(variable.text);
+    if (enclosing !== undefined) {
+        checker.report('OS2002', variable.span, {
+            name: variable.text,
+            line: enclosing.declaredAt.line,
+        });
+    }
+    else if (isLibraryName(variable.text)) {
+        checker.report('OS2002', variable.span, { name: variable.text, line: 'built-in' });
+    }
+    checker.inScope('block', variable.text, () => {
+        checker.declare(variable, 'loop', type, BAR_ZERO);
+        checkStatements(checker, body.statements, inside(placement, 'a loop body', true));
+    });
+}
+function checkWhile(checker, statement, placement) {
+    checkCondition(checker, statement.condition, placement);
+    checkBlock(checker, statement.body, inside(placement, 'a loop body', true));
+}
+function checkNumeric(checker, expression, placement) {
+    const type = checkExpression(checker, expression, placement);
+    if (elementOf(type).kind === 'number' || !isDefinite(type))
+        return;
+    checker.report('OS2003', expression.span, {
+        leftType: typeText(NUMBER),
+        rightType: typeText(type),
+    });
+}
+/**
+ * `switch` in both forms of `language.md` 10.6.
+ *
+ * With a subject, each case value is compared against it and has to be its
+ * type. Without one, each case value is a condition and has to be a bool. The
+ * absent subject is the whole difference between the two forms.
+ */
+function checkSwitch(checker, statement, placement) {
+    const subject = statement.subject === undefined
+        ? undefined
+        : checkExpression(checker, statement.subject, placement);
+    for (const arm of statement.cases) {
+        for (const value of arm.values) {
+            if (subject === undefined) {
+                checkCondition(checker, value, placement);
+                continue;
+            }
+            const type = checkExpression(checker, value, placement);
+            if (!compatible(subject, type)) {
+                checker.report('OS2003', value.span, {
+                    leftType: typeText(subject),
+                    rightType: typeText(type),
+                });
+            }
+        }
+        checkBlock(checker, arm.body, inside(placement, 'a case arm'));
+    }
+    if (statement.defaultCase !== undefined) {
+        checkBlock(checker, statement.defaultCase.body, inside(placement, 'a default arm'));
+    }
+}
+//# sourceMappingURL=statements.js.map

package/dist/core/check/statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/core/check/statements.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACzG,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9C,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,EACL,YAAY,EACZ,MAAM,EACN,OAAO,EACP,OAAO,EACP,iBAAiB,EACjB,UAAU,EACV,SAAS,EACT,UAAU,EACV,IAAI,EACJ,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAEhD,6EAA6E;AAC7E,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,KAAY,EAAE,SAAoB;IAC7E,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE;QACvC,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,UAAgD,EAChD,SAAoB;IAEpB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB;YAAE,SAAS;QACvD,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAG,SAAuB,CAAC,IAAI,EAAE;gBACtD,IAAI,EAAG,SAAuB,CAAC,IAAI,CAAC,IAAI;aACzC,CAAC,CAAC;YACH,QAAQ,GAAG,KAAK,CAAC;QACnB,CAAC;QACD,cAAc,CAAC,OAAO,EAAE,SAAsB,EAAE,SAAS,CAAC,CAAC;QAC3D,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB;YAAE,QAAQ,GAAG,IAAI,CAAC;IAC5D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,SAAoB,EACpB,SAAoB;IAEpB,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,aAAa,CAAC;QACnB,KAAK,mBAAmB,CAAC;QACzB,KAAK,YAAY;YACf,oEAAoE;YACpE,OAAO;QACT,KAAK,qBAAqB;YACxB,sEAAsE;YACtE,6DAA6D;YAC7D,IAAI,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC1D,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;YAC7C,CAAC;YACD,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC1D,OAAO;QACT,KAAK,YAAY;YACf,eAAe,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;YAC/C,OAAO;QACT,KAAK,gBAAgB;YACnB,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;YACxC,OAAO;QACT,KAAK,aAAa;YAChB,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;YACvC,OAAO;QACT,KAAK,mBAAmB;YACtB,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACT,KAAK,gBAAgB;YACnB,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;YAC1C,OAAO;QACT,KAAK,gBAAgB;YACnB,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;YAC1C,OAAO;QACT,KAAK,iBAAiB;YACpB,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;YAC3C,OAAO;QACT,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO;QACT,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS;gBAAE,OAAO;YAC1C,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAClE,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjF,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,8DAA8D;AAC9D,SAAS,MAAM,CAAC,SAAoB,EAAE,SAAiB,EAAE,IAAI,GAAG,KAAK;IACnE,OAAO;QACL,QAAQ,EAAE,KAAK;QACf,SAAS;QACT,MAAM,EAAE,SAAS,CAAC,MAAM,IAAI,IAAI;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB,EAAE,SAAqB,EAAE,SAAoB;IACpF,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,yEAAyE;IACzE,2EAA2E;IAC3E,6EAA6E;IAC7E,+BAA+B;IAC/B,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,IAAI,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACnF,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAEjD,IAAI,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7D,OAAO;IACT,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE;gBACpC,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI;aAC/B,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACzD,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC;QACxB,CAAC,CAAC,CAAC;QACH,QAAQ,CAAC,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5E,OAAO;IACT,CAAC;IAED,2EAA2E;IAC3E,4CAA4C;IAC5C,IAAI,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC/E,OAAO;IACT,CAAC;IAED,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC/B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE;YACpC,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,UAAU,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC;SAC/C,CAAC,CAAC;IACL,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IACpE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3E,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,IAAI,EAAE,IAAI,KAAK,OAAO;YAAE,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QACzE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS,UAAU,CAAC,OAAgB,EAAE,KAAiB;IACrD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,OAAgB,EAAE,SAAiB,EAAE,IAAY;IACnE,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO;IACzD,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;IAClB,IAAI,KAAK,CAAC,KAAK,KAAK,EAAE;QAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;IAC3C,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CACjB,OAAgB,EAChB,MAAY,EACZ,OAAa,EACb,KAAW,EACX,GAAyB;IAEzB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO;IAC/B,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,GAAG,CAAC,KAAK,CAAC,CAAC;QACX,OAAO;IACT,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE;YACpC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC;YAC3B,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC;SAC3B,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,QAAQ,CAAC,OAAgB,EAAE,SAAyB,EAAE,SAAoB;IACjF,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC3E,MAAM,SAAS,GACb,SAAS,CAAC,UAAU,KAAK,SAAS;QAChC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;IAEvD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;IAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5F,CAAC;SAAM,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IAC7E,CAAC;SAAM,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;YAClC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI;SAClD,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,GAAG,SAAS,IAAI,OAAO,CAAC;IAChC,IAAI,SAAS,KAAK,SAAS,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QACpF,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE;YACvC,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC;YAC7B,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC;SAC7B,CAAC,CAAC;QACH,IAAI,GAAG,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IACpE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAC7B,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,CAAC,EACvC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAChC,CAAC;IACF,4EAA4E;IAC5E,mEAAmE;IACnE,8EAA8E;IAC9E,yEAAyE;IACzE,2EAA2E;IAC3E,uDAAuD;IACvD,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;QAChF,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,SAAS,CAAC,IAAI;QAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,UAA0B;IAC5E,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC;YACvE,IAAI,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC1E,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACpF,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,KAAK,YAAY;YACf,OAAO,QAAQ,CAAC,iBAAiB,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAClE,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,uEAAuE;YACvE,yEAAyE;YACzE,oEAAoE;YACpE,MAAM,OAAO,GAAG,kBAAkB,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACvD,MAAM,MAAM,GAAI,YAAkC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACrE,IAAI,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACvD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;gBAC7D,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;YAC/D,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;gBAC7D,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,OAAgB,EAAE,SAAsB,EAAE,SAAoB;IAC7E,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QACxC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACrD,uBAAuB,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACnD,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACvC,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC;IACrF,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAgB,EAAE,SAAqB;IACtE,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO;IAC5C,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,aAAa,CACpB,OAAgB,EAChB,SAA4B,EAC5B,SAAoB;IAEpB,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACjD,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS;QAAE,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAEnF,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAE9E,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE;YAC5C,IAAI,EAAE,KAAK;YACX,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,iBAAiB;YACxB,KAAK,EAAE,CAAC;SACT,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QAChD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,UAAU,CAAC,OAAgB,EAAE,SAAyB,EAAE,SAAoB;IACnF,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE;YAChD,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACpC,SAAS,EAAE,QAAQ,CAAC,QAAQ,CAAC;SAC9B,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IACjE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AAC3E,CAAC;AAED,8EAA8E;AAC9E,SAAS,OAAO,CACd,OAAgB,EAChB,QAAc,EACd,IAAU,EACV,IAAW,EACX,SAAoB;IAEpB,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;YACtC,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI;SAChC,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IACrF,CAAC;IAED,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE;QAC3C,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClD,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,OAAgB,EAAE,SAAyB,EAAE,SAAoB;IACnF,cAAc,CAAC,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACxD,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,YAAY,CAAC,OAAgB,EAAE,UAAsB,EAAE,SAAoB;IAClF,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAC7D,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO;IACnE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE;QACxC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;QAC1B,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC;KAC1B,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,OAAgB,EAAE,SAA0B,EAAE,SAAoB;IACrF,MAAM,OAAO,GACX,SAAS,CAAC,OAAO,KAAK,SAAS;QAC7B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAE7D,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QAClC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAC1C,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YACxD,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC/B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE;oBACnC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC;oBAC3B,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACxC,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC;IACtF,CAAC;AACH,CAAC"}

package/dist/core/check/suggest.d.ts

@@ -0,0 +1,25 @@
+/**
+ * The near name a diagnostic offers when something was not found.
+ *
+ * Five codes promise one: OS2001, OS2009, OS2010, OS3002 and OS3008 each carry
+ * a `suggestion` slot documented as the closest candidate by edit distance. So
+ * the answer is the closest one and not the closest one within some threshold:
+ * a threshold would leave the slot with nothing to put in it, and a message
+ * with a hole in it is a defect a reader cannot report.
+ *
+ * The distance is Levenshtein over code units, computed with two rows rather
+ * than a matrix because this runs once per unresolved name against every name
+ * in scope, and an editor asks for it while somebody is still typing.
+ */
+/** The edit distance between two names, capped so a hopeless pair costs little. */
+export declare function editDistance(left: string, right: string): number;
+/**
+ * The closest candidate, or the written name when there are no candidates.
+ *
+ * Returning the written name happens only where a namespace holds nothing,
+ * which the library never does, so it is a floor rather than an outcome. Case
+ * is folded before comparing, because a name written with the wrong capital is
+ * the commonest near miss of all and costs a full edit distance otherwise.
+ */
+export declare function closestName(written: string, candidates: Iterable<string>): string;
+//# sourceMappingURL=suggest.d.ts.map

package/dist/core/check/suggest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"suggest.d.ts","sourceRoot":"","sources":["../../../src/core/check/suggest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,mFAAmF;AACnF,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAsBhE;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,CAejF"}

package/dist/core/check/suggest.js

@@ -0,0 +1,61 @@
+/**
+ * The near name a diagnostic offers when something was not found.
+ *
+ * Five codes promise one: OS2001, OS2009, OS2010, OS3002 and OS3008 each carry
+ * a `suggestion` slot documented as the closest candidate by edit distance. So
+ * the answer is the closest one and not the closest one within some threshold:
+ * a threshold would leave the slot with nothing to put in it, and a message
+ * with a hole in it is a defect a reader cannot report.
+ *
+ * The distance is Levenshtein over code units, computed with two rows rather
+ * than a matrix because this runs once per unresolved name against every name
+ * in scope, and an editor asks for it while somebody is still typing.
+ */
+/** The edit distance between two names, capped so a hopeless pair costs little. */
+export function editDistance(left, right) {
+    if (left === right)
+        return 0;
+    if (left.length === 0)
+        return right.length;
+    if (right.length === 0)
+        return left.length;
+    let previous = Array.from({ length: right.length + 1 }, (_unused, index) => index);
+    let current = new Array(right.length + 1).fill(0);
+    for (let i = 1; i <= left.length; i += 1) {
+        current[0] = i;
+        for (let j = 1; j <= right.length; j += 1) {
+            const substitution = (previous[j - 1] ?? 0) + (left[i - 1] === right[j - 1] ? 0 : 1);
+            const deletion = (previous[j] ?? 0) + 1;
+            const insertion = (current[j - 1] ?? 0) + 1;
+            current[j] = Math.min(substitution, deletion, insertion);
+        }
+        const swap = previous;
+        previous = current;
+        current = swap;
+    }
+    return previous[right.length] ?? Math.max(left.length, right.length);
+}
+/**
+ * The closest candidate, or the written name when there are no candidates.
+ *
+ * Returning the written name happens only where a namespace holds nothing,
+ * which the library never does, so it is a floor rather than an outcome. Case
+ * is folded before comparing, because a name written with the wrong capital is
+ * the commonest near miss of all and costs a full edit distance otherwise.
+ */
+export function closestName(written, candidates) {
+    const target = written.toLowerCase();
+    let best = written;
+    let bestDistance = Number.POSITIVE_INFINITY;
+    for (const candidate of candidates) {
+        if (candidate === written)
+            continue;
+        const distance = editDistance(target, candidate.toLowerCase());
+        if (distance < bestDistance) {
+            best = candidate;
+            bestDistance = distance;
+        }
+    }
+    return best;
+}
+//# sourceMappingURL=suggest.js.map

package/dist/core/check/suggest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"suggest.js","sourceRoot":"","sources":["../../../src/core/check/suggest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,mFAAmF;AACnF,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,KAAa;IACtD,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,CAAC;IAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC;IAE3C,IAAI,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IACnF,IAAI,OAAO,GAAG,IAAI,KAAK,CAAS,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,YAAY,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrF,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACxC,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5C,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC3D,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC;QACtB,QAAQ,GAAG,OAAO,CAAC;QACnB,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IAED,OAAO,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;AACvE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,UAA4B;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;IACrC,IAAI,IAAI,GAAG,OAAO,CAAC;IACnB,IAAI,YAAY,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAE5C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,KAAK,OAAO;YAAE,SAAS;QACpC,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/D,IAAI,QAAQ,GAAG,YAAY,EAAE,CAAC;YAC5B,IAAI,GAAG,SAAS,CAAC;YACjB,YAAY,GAAG,QAAQ,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/core/check/surface.d.ts

@@ -0,0 +1,62 @@
+import type { LibraryProse } from './library-prose.generated.js';
+import type { LibraryEntry } from './library.js';
+export { BAR_SERIES, COLOUR_NAMES } from './library-bars.js';
+export { ORDER_NAMES } from './library-orders.js';
+export { REQUEST_NAMES, TOP_LEVEL_NAMES } from './library-output.js';
+/**
+ * The closed list of namespaces, `language.md` 15.2.
+ *
+ * A dotted name whose first part is not one of these is not a namespace read at
+ * all: it is a member of a value, and version 1 has no such thing, so the
+ * checker can say so instead of guessing which of the two the writer meant.
+ */
+export declare const NAMESPACES: readonly string[];
+/** The namespaces that exist only in a `strategy()` file, `language.md` 15.2. */
+export declare const STRATEGY_NAMESPACES: readonly string[];
+/** Every signature of one name, or nothing when the library has no such name. */
+export declare function libraryEntries(name: string): readonly LibraryEntry[];
+export declare function isLibraryName(name: string): boolean;
+/** Every name in the global scope, for the "did you mean" of OS2001 and OS2010. */
+export declare function libraryNames(): readonly string[];
+/** The members of one namespace, spelled bare, for OS2009's suggestion. */
+export declare function membersOf(namespace: string): readonly string[];
+export declare function isNamespace(name: string): boolean;
+export declare function isColourName(name: string): boolean;
+/** Whether every entry of a name is only available in a `strategy()` file. */
+export declare function isStrategyOnly(name: string): boolean;
+/** Whether the name is a bare order function, which `close` is one spelling of. */
+export declare function isOrderName(name: string): boolean;
+/** Whether the call is one of the two higher timeframe reads of stdlib.md 15.1. */
+export declare function isRequestName(name: string): boolean;
+/**
+ * Whether the call declares part of the file's fixed shape.
+ *
+ * `input` is deliberately not in this list. Its refusal is OS3007 rather than
+ * OS3006 because the fix is different: a plot has to move out of the branch,
+ * and an input has to move out and be read from inside it.
+ */
+export declare function isTopLevelOnly(name: string): boolean;
+export type { LibraryProse } from './library-prose.generated.js';
+/**
+ * What the specification says about a name, or nothing where it says nothing.
+ *
+ * Two cells of the name's own row in the specification: the line on what it is
+ * for, and the first bar it can produce a value for. Read from `stdlib.md`'s own
+ * tables at build time, by `scripts/generate-library-prose.mjs`, and never
+ * written down here. A description typed into this repository twice is a
+ * description that disagrees with itself the first time either copy is edited,
+ * and the copy an editor shows a writer is the one nobody proofreads.
+ *
+ * **What comes back is one line per name, not one per signature.** A name with
+ * several signatures is described by the first row the specification states for
+ * it, because the map is keyed by name; `close` is the case to have in mind,
+ * where the row is the bar series rather than the order function.
+ *
+ * Nothing comes back for the nineteen named colours. `stdlib.md` 11.1 lists
+ * them in a block rather than in a table and says their channel values are the
+ * description, which `namedColour` answers.
+ */
+export declare function proseFor(name: string): LibraryProse | undefined;
+/** Every name the specification describes, for the check that the two agree. */
+export declare function describedNames(): readonly string[];
+//# sourceMappingURL=surface.d.ts.map

package/dist/core/check/surface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"surface.d.ts","sourceRoot":"","sources":["../../../src/core/check/surface.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAEjE,OAAO,KAAK,EAAE,YAAY,EAAgB,MAAM,cAAc,CAAC;AAE/D,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAErE;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,EAAE,SAAS,MAAM,EAavC,CAAC;AAEF,iFAAiF;AACjF,eAAO,MAAM,mBAAmB,EAAE,SAAS,MAAM,EAAoC,CAAC;AAWtF,iFAAiF;AACjF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,YAAY,EAAE,CAEpE;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEnD;AAED,mFAAmF;AACnF,wBAAgB,YAAY,IAAI,SAAS,MAAM,EAAE,CAEhD;AAED,2EAA2E;AAC3E,wBAAgB,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAK9D;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEjD;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAElD;AAED,8EAA8E;AAC9E,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGpD;AAED,mFAAmF;AACnF,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEjD;AAED,mFAAmF;AACnF,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEnD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEpD;AAED,YAAY,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAEjE;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAI/D;AAED,gFAAgF;AAChF,wBAAgB,cAAc,IAAI,SAAS,MAAM,EAAE,CAElD"}