openalgo-script 0.1.0-alpha.0 → 0.2.0

package/dist/core/check/call-sites.js

@@ -0,0 +1,329 @@
+import { withoutGrouping } from '../ast/index.js';
+import { bindArguments } from './arguments.js';
+import { remember, resolveLibraryCall, unresolved } from './calls.js';
+import { calleeNameOf, isCompileTimeConstant, isSourceName } from './constant.js';
+import { checkExpression } from './expressions.js';
+import { ensureChecked } from './functions.js';
+import { allowHandle, refuseHandle } from './handles.js';
+import { isLibraryName, isOrderName, isRequestName } from './surface.js';
+import { closestName } from './suggest.js';
+import { NUMBER, STRING, UNKNOWN, accepts, elementOf, seriesOf, typeText } from './types.js';
+import { BAR_ZERO, allOf, later, weaken } from './warmup.js';
+/** A timeframe is a count and a unit, and the unit letters are case sensitive. */
+const TIMEFRAME = /^[0-9]+(m|h|D|W|M)?$/;
+/** The input kinds `stdlib.md` 13.1 names and does not ship in version 1. */
+const PLANNED_KINDS = new Set(['symbol', 'price', 'session']);
+const SHIPPED_KINDS = ['interval', 'time'];
+/** The calls `stdlib.md` 15.4 refuses inside a request expression, with OS3006. */
+const DRAWING_CALLS = new Set([
+    'plot',
+    'plotCandles',
+    'fill',
+    'level',
+    'table',
+    'cell',
+    'clear',
+    'signal',
+    'background',
+    'barColor',
+    'alert',
+]);
+export function resolveCall(checker, call, placement) {
+    const name = calleeNameOf(call.callee);
+    if (name === undefined) {
+        checker.report('OS2010', call.span, {
+            name: checker.textOf(call.callee.span),
+            type: typeText(UNKNOWN),
+            suggestion: checker.suggestionFor(checker.textOf(call.callee.span)),
+        });
+        return record(checker, call, unresolved(call, 'call'));
+    }
+    const functionIndex = checker.functionsByName.get(name);
+    if (functionIndex !== undefined) {
+        checkArgumentExpressions(checker, call, placement);
+        return record(checker, call, checkUserCall(checker, call, name, functionIndex));
+    }
+    if (!isLibraryName(name)) {
+        checkArgumentExpressions(checker, call, placement);
+        checker.report('OS2001', call.callee.span, {
+            name,
+            suggestion: checker.suggestionFor(name),
+        });
+        return record(checker, call, unresolved(call, name));
+    }
+    if (checker.requestDepth > 0)
+        refuseInsideRequest(checker, call, name);
+    if (isRequestName(name))
+        return record(checker, call, checkRequest(checker, call, name, placement));
+    checkArgumentExpressions(checker, call, placement);
+    const checked = resolveLibraryCall(checker, call, name, placement);
+    if (name !== 'input')
+        return record(checker, call, checked);
+    return record(checker, call, checkInput(checker, call, checked));
+}
+function record(checker, call, checked) {
+    checker.record(call, checked.returns, checked.warmup);
+    return checked.returns;
+}
+/**
+ * Every argument, checked as an expression.
+ *
+ * An argument is one of the three places a declaration handle may be written
+ * (`language.md` 5.4), because `fill(upper, lower)` is how a band is declared.
+ * Whether this particular parameter takes one is the signature's answer and not
+ * this pass's: `validateArguments` gives it, with OS3020, OS3019 or OS3011.
+ */
+function checkArgumentExpressions(checker, call, placement) {
+    for (const argument of call.args) {
+        allowHandle(checker, argument.value);
+        checkExpression(checker, argument.value, placement);
+    }
+}
+/** OS7003 and OS3006: what a request expression may not contain. */
+function refuseInsideRequest(checker, call, name) {
+    if (isOrderName(name))
+        checker.report('OS7003', call.span, { name });
+    else if (DRAWING_CALLS.has(name) || name.startsWith('draw.')) {
+        checker.report('OS3006', call.span, { name, construct: 'a request expression' });
+    }
+}
+/**
+ * A higher timeframe or other instrument read, `stdlib.md` 15.
+ *
+ * The expression argument is compiled against the requested bars, so it is
+ * checked with the request depth raised: a file-scope name read inside it is
+ * OS6003, because a value computed on this chart's bars has no counterpart on
+ * the requested ones.
+ */
+function checkRequest(checker, call, name, placement) {
+    const expression = expressionArgument(call, name);
+    for (const argument of call.args) {
+        allowHandle(checker, argument.value);
+        if (argument === expression) {
+            checker.requestDepth += 1;
+            try {
+                checkExpression(checker, argument.value, placement);
+            }
+            finally {
+                checker.requestDepth -= 1;
+            }
+        }
+        else {
+            checkExpression(checker, argument.value, placement);
+        }
+    }
+    const checked = resolveLibraryCall(checker, call, name, placement);
+    const timeframe = timeframeArgument(call, name);
+    const written = timeframe === undefined ? undefined : stringLiteral(timeframe.value);
+    if (written !== undefined && !TIMEFRAME.test(written)) {
+        checker.report('OS6001', timeframe?.span ?? call.span, { value: written });
+    }
+    const mode = modeOf(call);
+    if (mode === 'lookahead') {
+        checker.report('OS8005', call.span, { mode });
+        checker.repaints = true;
+    }
+    if (checker.declaration?.onUnconfirmed === true) {
+        checker.report('OS8002', call.span, {
+            timeframe: written ?? (timeframe === undefined ? '' : checker.textOf(timeframe.value.span)),
+        });
+    }
+    checker.requests.push({
+        id: checker.requests.length,
+        call,
+        name,
+        mode,
+        timeframe: written ?? (timeframe === undefined ? '' : checker.textOf(timeframe.value.span)),
+        repaints: mode === 'lookahead',
+        span: call.span,
+    });
+    return checked;
+}
+function expressionArgument(call, name) {
+    const labelled = call.args.find((one) => one.label?.text === 'expr');
+    if (labelled !== undefined)
+        return labelled;
+    const positional = call.args.filter((one) => one.label === undefined);
+    return positional[name === 'req.symbol' ? 2 : 1];
+}
+function timeframeArgument(call, name) {
+    const labelled = call.args.find((one) => one.label?.text === 'timeframe');
+    if (labelled !== undefined)
+        return labelled;
+    const positional = call.args.filter((one) => one.label === undefined);
+    return positional[name === 'req.symbol' ? 1 : 0];
+}
+function modeOf(call) {
+    const labelled = call.args.find((one) => one.label?.text === 'mode');
+    const written = labelled === undefined ? undefined : stringLiteral(labelled.value);
+    if (written === 'confirmed' || written === 'developing' || written === 'lookahead') {
+        return written;
+    }
+    // The default is the one mode that never repaints (stdlib.md 15.3).
+    return labelled === undefined ? 'confirmed' : 'unknown';
+}
+function stringLiteral(expression) {
+    const inner = withoutGrouping(expression);
+    return inner.kind === 'stringLiteral' ? inner.value : undefined;
+}
+/**
+ * `input()`, whose type follows its default, `stdlib.md` 13.1.
+ *
+ * The default is the one place a bare price series stands where a constant is
+ * otherwise required: `input(close, "Source")` names a column rather than
+ * reading one, and the host resolves it before bar 0 like every other input.
+ */
+function checkInput(checker, call, checked) {
+    const value = checked.arguments[0];
+    const kind = literalOf(checked, 'kind');
+    const options = argumentOf(checked, 'options');
+    const title = literalOf(checked, 'title');
+    if (value !== undefined && !isSourceName(value.value) && !isCompileTimeConstant(checker, value.value)) {
+        checker.report('OS3003', value.span, { option: 'value' });
+    }
+    if (kind !== undefined && PLANNED_KINDS.has(kind)) {
+        checker.report('OS2001', call.span, {
+            name: `input(kind = "${kind}")`,
+            suggestion: closestName(kind, SHIPPED_KINDS),
+        });
+    }
+    reportDefaultOutsideOptions(checker, value, options);
+    const given = value === undefined ? UNKNOWN : checker.typeOf(value.value);
+    const source = value !== undefined && isSourceName(value.value);
+    const inputKind = kindOf(given, source, kind, options !== undefined);
+    const returns = returnTypeOf(inputKind, given);
+    checker.inputs.push({
+        id: checker.inputs.length,
+        call,
+        name: '',
+        title: title ?? '',
+        titleWritten: title !== undefined,
+        kind: inputKind,
+        type: returns,
+        span: call.span,
+    });
+    return { ...checked, returns, warmup: BAR_ZERO };
+}
+/**
+ * OS3018: a menu whose default is not one of the choices it offers.
+ *
+ * The dialog has to show something on the first open, and a value outside the
+ * list means either the list is short by one or the default is a typo. Both are
+ * the script's to settle, and guessing either way changes what the study does.
+ */
+function reportDefaultOutsideOptions(checker, value, options) {
+    if (value === undefined || options === undefined)
+        return;
+    const written = stringLiteral(value.value);
+    const list = withoutGrouping(options.value);
+    if (written === undefined || list.kind !== 'arrayLiteral')
+        return;
+    const members = list.elements.map((element) => stringLiteral(element));
+    if (members.some((one) => one === undefined) || members.includes(written))
+        return;
+    checker.report('OS3018', value.span, {
+        default: JSON.stringify(written),
+        values: `[${members.map((one) => JSON.stringify(one)).join(', ')}]`,
+    });
+}
+function kindOf(given, source, kind, hasOptions) {
+    if (source)
+        return 'source';
+    if (kind === 'interval')
+        return 'interval';
+    if (kind === 'time')
+        return 'time';
+    const element = elementOf(given);
+    if (element.kind === 'bool')
+        return 'bool';
+    if (element.kind === 'color')
+        return 'color';
+    if (element.kind === 'number')
+        return 'number';
+    return hasOptions ? 'select' : 'string';
+}
+function returnTypeOf(kind, given) {
+    if (kind === 'source')
+        return seriesOf(NUMBER);
+    if (kind === 'time')
+        return NUMBER;
+    if (kind === 'interval' || kind === 'select' || kind === 'string')
+        return STRING;
+    return elementOf(given);
+}
+function argumentOf(checked, name) {
+    const index = checked.entry?.parameters.findIndex((one) => one.name === name) ?? -1;
+    return index < 0 ? undefined : checked.arguments[index];
+}
+function literalOf(checked, name) {
+    const argument = argumentOf(checked, name);
+    return argument === undefined ? undefined : stringLiteral(argument.value);
+}
+/**
+ * A call to a function the file declares, `language.md` 11.2.
+ *
+ * State is allocated per call site and not per function (11.4), so two calls to
+ * one stateful helper are two independent counters, and each of them takes a
+ * state region of its own here.
+ */
+function checkUserCall(checker, call, name, index) {
+    ensureChecked(checker, index);
+    const fn = checker.functions[index];
+    if (fn === undefined)
+        return unresolvedAndRemembered(checker, call, name);
+    const shapes = fn.declaration.parameters.map((one) => ({
+        name: one.name.text,
+        optional: one.defaultValue !== undefined,
+    }));
+    const filled = bindArguments(checker, call.span, call.args, name, shapes);
+    const series = [];
+    for (let i = 0; i < fn.parameters.length; i += 1) {
+        const parameter = fn.parameters[i];
+        const argument = filled[i];
+        if (parameter === undefined || argument === undefined)
+            continue;
+        const given = checker.typeOf(argument.value);
+        if (!accepts(parameter.type, given)) {
+            checker.report('OS3011', argument.span, {
+                name,
+                argument: parameter.name,
+                expected: typeText(parameter.type),
+                found: typeText(given),
+            });
+        }
+        else if (given.kind === 'handle') {
+            // A parameter with nothing written about it takes whatever the caller
+            // passes, and `accepts` therefore lets a handle through. No user function
+            // takes one: a body runs per bar and a handle has no value on a bar
+            // (`language.md` 5.4).
+            refuseHandle(checker, argument.value, given);
+        }
+        if (parameter.readsHistory)
+            series.push(i);
+    }
+    if (fn.stateful && checker.isConditional(call))
+        checker.report('OS8001', call.span, { name });
+    const supplied = filled.filter((one) => one !== undefined);
+    const warmup = later(fn.warmup, allOf(supplied.map((one) => checker.warmupOf(one.value))));
+    const checked = {
+        call,
+        name,
+        target: 'user',
+        entry: undefined,
+        fn: index,
+        arguments: filled,
+        returns: fn.returns,
+        warmup: fn.stateful ? weaken(warmup) : warmup,
+        stateful: fn.stateful,
+        stateId: fn.stateful ? checker.takeStateId() : undefined,
+        seriesArguments: series,
+    };
+    remember(checker, checked);
+    return checked;
+}
+function unresolvedAndRemembered(checker, call, name) {
+    const checked = unresolved(call, name);
+    remember(checker, checked);
+    return checked;
+}
+//# sourceMappingURL=call-sites.js.map

package/dist/core/check/call-sites.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-sites.js","sourceRoot":"","sources":["../../../src/core/check/call-sites.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAGtE,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC7F,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE7D,kFAAkF;AAClF,MAAM,SAAS,GAAG,sBAAsB,CAAC;AAEzC,6EAA6E;AAC7E,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAC9D,MAAM,aAAa,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAE3C,mFAAmF;AACnF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,MAAM;IACN,aAAa;IACb,MAAM;IACN,OAAO;IACP,OAAO;IACP,MAAM;IACN,OAAO;IACP,QAAQ;IACR,YAAY;IACZ,UAAU;IACV,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,IAAU,EAAE,SAAoB;IAC5E,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;YAClC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACtC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC;YACvB,UAAU,EAAE,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;SACpE,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;IAClF,CAAC;IAED,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACnD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE;YACzC,IAAI;YACJ,UAAU,EAAE,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC;SACxC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,OAAO,CAAC,YAAY,GAAG,CAAC;QAAE,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAEvE,IAAI,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;IAEpG,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACnE,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5D,OAAO,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,MAAM,CAAC,OAAgB,EAAE,IAAU,EAAE,OAAoB;IAChE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,OAAO,CAAC,OAAO,CAAC;AACzB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,wBAAwB,CAAC,OAAgB,EAAE,IAAU,EAAE,SAAoB;IAClF,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACjC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,oEAAoE;AACpE,SAAS,mBAAmB,CAAC,OAAgB,EAAE,IAAU,EAAE,IAAY;IACrE,IAAI,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;SAChE,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,YAAY,CACnB,OAAgB,EAChB,IAAU,EACV,IAAY,EACZ,SAAoB;IAEpB,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACjC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;YAC1B,IAAI,CAAC;gBACH,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACtD,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAErF,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC1B,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,EAAE,aAAa,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;YAClC,SAAS,EAAE,OAAO,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;SAC5F,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpB,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM;QAC3B,IAAI;QACJ,IAAI;QACJ,IAAI;QACJ,SAAS,EAAE,OAAO,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3F,QAAQ,EAAE,IAAI,KAAK,WAAW;QAC9B,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAU,EAAE,IAAY;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC;IACrE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACtE,OAAO,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAU,EAAE,IAAY;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC;IAC1E,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACtE,OAAO,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,MAAM,CAAC,IAAU;IACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACnF,IAAI,OAAO,KAAK,WAAW,IAAI,OAAO,KAAK,YAAY,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;QACnF,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,oEAAoE;IACpE,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1D,CAAC;AAED,SAAS,aAAa,CAAC,UAAsB;IAC3C,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAClE,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,OAAgB,EAAE,IAAU,EAAE,OAAoB;IACpE,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAE1C,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtG,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;YAClC,IAAI,EAAE,iBAAiB,IAAI,IAAI;YAC/B,UAAU,EAAE,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC;SAC7C,CAAC,CAAC;IACL,CAAC;IAED,2BAA2B,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAErD,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAE/C,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;QAClB,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM;QACzB,IAAI;QACJ,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,KAAK,IAAI,EAAE;QAClB,YAAY,EAAE,KAAK,KAAK,SAAS;QACjC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC,CAAC;IAEH,OAAO,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,2BAA2B,CAClC,OAAgB,EAChB,KAA2B,EAC3B,OAA6B;IAE7B,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO;IACzD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO;IAElE,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO;IAElF,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE;QACnC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;QAChC,MAAM,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;KACpE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,MAAM,CACb,KAAW,EACX,MAAe,EACf,IAAwB,EACxB,UAAmB;IAEnB,IAAI,MAAM;QAAE,OAAO,QAAQ,CAAC;IAC5B,IAAI,IAAI,KAAK,UAAU;QAAE,OAAO,UAAU,CAAC;IAC3C,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IACnC,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IAC7C,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC/C,OAAO,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC1C,CAAC;AAED,SAAS,YAAY,CAAC,IAAe,EAAE,KAAW;IAChD,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IACnC,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IACjF,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,UAAU,CAAC,OAAoB,EAAE,IAAY;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACpF,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,SAAS,CAAC,OAAoB,EAAE,IAAY;IACnD,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3C,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CACpB,OAAgB,EAChB,IAAU,EACV,IAAY,EACZ,KAAa;IAEb,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAE1E,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI;QACnB,QAAQ,EAAE,GAAG,CAAC,YAAY,KAAK,SAAS;KACzC,CAAC,CAAC,CAAC;IACJ,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAE1E,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,SAAS,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QAChE,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;gBACtC,IAAI;gBACJ,QAAQ,EAAE,SAAS,CAAC,IAAI;gBACxB,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC;gBAClC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC;aACvB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnC,sEAAsE;YACtE,0EAA0E;YAC1E,oEAAoE;YACpE,uBAAuB;YACvB,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,SAAS,CAAC,YAAY;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,EAAE,CAAC,QAAQ,IAAI,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAE9F,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAmB,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE3F,MAAM,OAAO,GAAgB;QAC3B,IAAI;QACJ,IAAI;QACJ,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,SAAS;QAChB,EAAE,EAAE,KAAK;QACT,SAAS,EAAE,MAAM;QACjB,OAAO,EAAE,EAAE,CAAC,OAAO;QACnB,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;QAC7C,QAAQ,EAAE,EAAE,CAAC,QAAQ;QACrB,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;QACxD,eAAe,EAAE,MAAM;KACxB,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAgB,EAAE,IAAU,EAAE,IAAY;IACzE,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/core/check/call-warmup.d.ts

@@ -0,0 +1,37 @@
+/**
+ * The first bar a call can produce a value for, and the first bar one of its
+ * outputs can.
+ *
+ * This is the arithmetic of `stdlib.md`'s stated lengths at a call site:
+ * `warmup.ts` composes warmups and this reads the lengths a call was actually
+ * given. It is a file of its own because resolving a call and costing one in
+ * bars are two jobs, and because a warmup that is wrong is invisible in a way
+ * that a signature that is wrong is not: nothing fails, a line simply starts on
+ * the wrong bar or a host is asked for the wrong amount of history.
+ */
+import type { Argument } from '../ast/index.js';
+import type { Checker } from './checker.js';
+import type { CheckedCall } from './checked.js';
+import type { LibraryEntry } from './library.js';
+import type { Warmup } from './warmup.js';
+/**
+ * The first bar this call can produce a value for.
+ *
+ * Every rule but `total` and `argument` composes with the arguments' own
+ * warmups, which is what makes `sma(ema(close, 10), 10)` absent until bar 18
+ * rather than until bar 9. A length that is not written out as a number is a
+ * length the checker does not have, so the answer becomes a floor.
+ */
+export declare function warmupOfCall(checker: Checker, entry: LibraryEntry, filled: readonly (Argument | undefined)[]): Warmup;
+/**
+ * The first bar one output of a multi-output call can produce a value for.
+ *
+ * `stdlib.md` 2.3: the array itself is never absent and each element carries
+ * its own warmup. An entry that states one length for the whole array is
+ * stating the earliest of them, so reading an element through the array's
+ * warmup promises a number for bars where that element is still absent, and a
+ * read built on it fetches too little history. Where the specification states
+ * the elements separately, the entry does too, and this is what picks one.
+ */
+export declare function warmupOfElement(checker: Checker, checked: CheckedCall, index: number): Warmup | undefined;
+//# sourceMappingURL=call-warmup.d.ts.map

package/dist/core/check/call-warmup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-warmup.d.ts","sourceRoot":"","sources":["../../../src/core/check/call-warmup.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,YAAY,EAAoB,MAAM,cAAc,CAAC;AAEnE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAoB1C;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,EAAE,GACxC,MAAM,CAiDR;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,MAAM,GACZ,MAAM,GAAG,SAAS,CAMpB"}

package/dist/core/check/call-warmup.js

@@ -0,0 +1,97 @@
+import { literalNumber } from './literals.js';
+import { BAR_ZERO, allOf, delayed, earlier, weaken } from './warmup.js';
+/**
+ * The length an omitted argument contributes to a warmup, from its default.
+ *
+ * A warmup is a promise about exactly which bars are absent, and `atr()` is
+ * `atr(14)` in the specification's own printed form, so a call that left its
+ * length out has the same first bar as one that wrote it. Reading the default
+ * here is what keeps the two the same. Without it an omitted length weakened
+ * the warmup to a floor, and a floor in place of a number is the promise the
+ * conformance suite tests quietly becoming a bound.
+ */
+function defaultLength(parameter) {
+    if (parameter === undefined || parameter.type.kind !== 'number')
+        return undefined;
+    if (parameter.defaultText === undefined)
+        return undefined;
+    const value = Number(parameter.defaultText);
+    return Number.isFinite(value) ? value : undefined;
+}
+/**
+ * The first bar this call can produce a value for.
+ *
+ * Every rule but `total` and `argument` composes with the arguments' own
+ * warmups, which is what makes `sma(ema(close, 10), 10)` absent until bar 18
+ * rather than until bar 9. A length that is not written out as a number is a
+ * length the checker does not have, so the answer becomes a floor.
+ */
+export function warmupOfCall(checker, entry, filled) {
+    const argumentWarmup = (name) => {
+        const index = entry.parameters.findIndex((one) => one.name === name);
+        const argument = index < 0 ? undefined : filled[index];
+        return argument === undefined ? undefined : checker.warmupOf(argument.value);
+    };
+    const supplied = filled.filter((one) => one !== undefined);
+    const base = allOf(supplied.map((one) => checker.warmupOf(one.value)));
+    const rule = entry.warmup;
+    switch (rule.kind) {
+        case 'total':
+            return BAR_ZERO;
+        case 'argument':
+            return argumentWarmup(rule.param) ?? BAR_ZERO;
+        case 'either': {
+            const present = rule.params
+                .map(argumentWarmup)
+                .filter((one) => one !== undefined);
+            return present.length === 0 ? BAR_ZERO : present.reduce(earlier);
+        }
+        case 'data':
+            return weaken(base);
+        case 'delay':
+            return delayed(base, rule.bars);
+        case 'params': {
+            let total = 0;
+            let known = rule.exact;
+            for (const name of rule.params) {
+                const index = entry.parameters.findIndex((one) => one.name === name);
+                const argument = index < 0 ? undefined : filled[index];
+                const value = argument === undefined
+                    ? defaultLength(index < 0 ? undefined : entry.parameters[index])
+                    : literalNumber(argument.value);
+                if (value === undefined)
+                    known = false;
+                else
+                    total += value;
+            }
+            // The lengths count towards the floor as much as towards the exact bar.
+            // Dropping them when the answer is a floor was worth `add` bars and no
+            // more, so a request built on one of these entries told a host to fetch
+            // nothing backwards and the read answered from too few bars, which is a
+            // number that looks right. A length is never negative, so the lengths
+            // that are known are a floor on their own whatever the rest are.
+            const bars = rule.scale * total + rule.add;
+            return known ? delayed(base, bars) : weaken(delayed(base, bars));
+        }
+    }
+}
+/**
+ * The first bar one output of a multi-output call can produce a value for.
+ *
+ * `stdlib.md` 2.3: the array itself is never absent and each element carries
+ * its own warmup. An entry that states one length for the whole array is
+ * stating the earliest of them, so reading an element through the array's
+ * warmup promises a number for bars where that element is still absent, and a
+ * read built on it fetches too little history. Where the specification states
+ * the elements separately, the entry does too, and this is what picks one.
+ */
+export function warmupOfElement(checker, checked, index) {
+    const entry = checked.entry;
+    if (entry === undefined)
+        return undefined;
+    const rule = entry.elements[index];
+    if (rule === undefined)
+        return undefined;
+    return warmupOfCall(checker, { ...entry, warmup: rule }, checked.arguments);
+}
+//# sourceMappingURL=call-warmup.js.map

package/dist/core/check/call-warmup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-warmup.js","sourceRoot":"","sources":["../../../src/core/check/call-warmup.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAExE;;;;;;;;;GASG;AACH,SAAS,aAAa,CAAC,SAAuC;IAC5D,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClF,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAgB,EAChB,KAAmB,EACnB,MAAyC;IAEzC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAsB,EAAE;QAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvD,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAmB,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;IAE1B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC;QAChD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM;iBACxB,GAAG,CAAC,cAAc,CAAC;iBACnB,MAAM,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;YACrD,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACnE,CAAC;QACD,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;QACtB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YACvB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBACrE,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACvD,MAAM,KAAK,GACT,QAAQ,KAAK,SAAS;oBACpB,CAAC,CAAC,aAAa,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;oBAChE,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,KAAK,KAAK,SAAS;oBAAE,KAAK,GAAG,KAAK,CAAC;;oBAClC,KAAK,IAAI,KAAK,CAAC;YACtB,CAAC;YACD,wEAAwE;YACxE,uEAAuE;YACvE,wEAAwE;YACxE,wEAAwE;YACxE,sEAAsE;YACtE,iEAAiE;YACjE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;YAC3C,OAAO,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,OAAoB,EACpB,KAAa;IAEb,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,OAAO,YAAY,CAAC,OAAO,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;AAC9E,CAAC"}

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

@@ -0,0 +1,33 @@
+/**
+ * Resolving a call: which signature it means, whether what was written fits it,
+ * and what comes back.
+ *
+ * The arguments have already been checked as expressions by the time this runs,
+ * so everything here reads their recorded types and warmups. That is what keeps
+ * this file out of a cycle with the expression pass, and it is also the order
+ * a reader expects: the inner expressions are wrong or they are not, before
+ * anything asks whether they fit the call.
+ *
+ * Overload resolution is by arity and then by argument type, which is the whole
+ * of `stdlib.md` 2.2. It happens once, here, and there is no run-time dispatch.
+ */
+import type { Argument, Call } from '../ast/index.js';
+import { arityText, signatureText } from './arguments.js';
+import type { Checker, Placement } from './checker.js';
+import type { CheckedCall } from './checked.js';
+import type { LibraryEntry } from './library.js';
+import type { Type } from './types.js';
+/** Every argument against the parameter it filled: type, value set, range, constancy. */
+export declare function validateArguments(checker: Checker, entry: LibraryEntry, filled: readonly (Argument | undefined)[], bound: ReadonlyMap<string, Type>): void;
+/**
+ * A call to a name the library holds.
+ *
+ * The result is recorded whether or not anything was reported about it, because
+ * every stage above this one asks the same two questions of a call site, and a
+ * hole in the map would make each of them invent an answer of its own.
+ */
+export declare function resolveLibraryCall(checker: Checker, call: Call, name: string, placement: Placement): CheckedCall;
+export declare function unresolved(call: Call, name: string): CheckedCall;
+export declare function remember(checker: Checker, checked: CheckedCall): void;
+export { arityText, signatureText };
+//# sourceMappingURL=calls.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"calls.d.ts","sourceRoot":"","sources":["../../../src/core/check/calls.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EAAiB,SAAS,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAGzE,OAAO,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEvD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAGhD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAKjD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAqHvC,yFAAyF;AACzF,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,EAAE,EACzC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,GAC/B,IAAI,CAqGN;AA4DD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,SAAS,GACnB,WAAW,CAiDb;AAiBD,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAchE;AAED,wBAAgB,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI,CAGrE;AAED,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC"}