openalgo-script 0.1.0-alpha.1 → 0.2.0

package/dist/core/emit/request-scope.js

@@ -0,0 +1,41 @@
+import { inputHeldBy } from '../check/index.js';
+import { inputKey } from './context.js';
+/**
+ * `stdlib.md` 15.4 lets an expression inside a read name a setting and nothing
+ * else of the file, because a setting resolves before bar 0 and holds for the
+ * run while a per-bar name has no counterpart on the requested bars. Each one
+ * read here is filled into a register of the body's own table, named by
+ * `inputs` on the request (2.16).
+ */
+export class RequestScope {
+    inputs = [];
+    byInput = new Map();
+    /** The register a setting is filled into, or nothing when this is not one. */
+    registerFor(e, binding) {
+        const held = inputHeldBy(binding);
+        if (held === undefined)
+            return undefined;
+        const input = e.checked.inputs[held];
+        return input === undefined ? undefined : this.registerForInput(e, input);
+    }
+    /**
+     * The same register for an `input()` written inside the expression itself.
+     *
+     * The two forms are one question. `stdlib.md` 15.4 lets a read's expression
+     * name a setting because a setting resolves before bar 0 and holds for the
+     * run, and that is a fact about the input rather than about whether a name
+     * was put in front of it. So both resolve here, keyed by the input, and two
+     * reads of one setting inside one body share one register rather than asking
+     * the engine to fill the same value twice.
+     */
+    registerForInput(e, input) {
+        const found = this.byInput.get(input.id);
+        if (found !== undefined)
+            return found;
+        const register = e.layout.filled('input', inputKey(input));
+        this.byInput.set(input.id, register);
+        this.inputs.push({ input: inputKey(input), series: register });
+        return register;
+    }
+}
+//# sourceMappingURL=request-scope.js.map

package/dist/core/emit/request-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"request-scope.js","sourceRoot":"","sources":["../../../src/core/emit/request-scope.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAGxC;;;;;;GAMG;AACH,MAAM,OAAO,YAAY;IACd,MAAM,GAAmB,EAAE,CAAC;IACpB,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAErD,8EAA8E;IAC9E,WAAW,CAAC,CAAU,EAAE,OAAgB;QACtC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3E,CAAC;IAED;;;;;;;;;OASG;IACH,gBAAgB,CAAC,CAAU,EAAE,KAAmB;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC/D,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}

package/dist/core/emit/requests.d.ts

@@ -0,0 +1,69 @@
+/**
+ * Higher timeframe and other instrument reads, `compiled-program.md` 2.16.
+ *
+ * A read is the one thing in the language whose value is not computed from the
+ * bars the program is running on. Everything else an engine needs it can work
+ * out from this chart: a read needs another series entirely, and an expression
+ * evaluated over it.
+ *
+ * So a read compiles to two halves, and the split is the same one a `plot`
+ * makes. The fixed half is an entry here: which instrument, which timeframe,
+ * which of the three readings of `stdlib.md` 15.3, and the expression itself as
+ * a body over the requested bars. The per-bar half is a register, which the
+ * engine fills with the read's value for the bar about to run, exactly as it
+ * fills a bar register from the host's bar.
+ *
+ * **A register rather than a slot**, because a slot belongs to one frame (3.2)
+ * and a read may be written inside a `fn`; and because a register has history,
+ * so `dayHigh[1]` is the previous bar's reading with no further machinery.
+ *
+ * The body gets an emitter of its own. Its registers, cells and state regions
+ * are counted from zero over the requested bars, and a pass that reached into
+ * the parent's would put this chart's history behind another chart's name. What
+ * the two share is the constant pool and the library manifest, because nothing
+ * in either depends on a bar.
+ */
+import type { Call, Expression } from '../ast/index.js';
+import type { CheckedCall } from '../check/index.js';
+import type { Emitter, Frame } from './context.js';
+/** The two reads of `stdlib.md` 15.1, and the two that ask after one. */
+export declare const REQUEST_CALLS: Set<string>;
+export declare const REQUEST_STATUS_CALLS: Set<string>;
+/**
+ * A read, as a value on this bar: the register the engine filled for it.
+ *
+ * One request per call written in the source, however many call paths reach it.
+ * A body emitted twice, which 2.12 does for a function reached two ways, asks
+ * the host the same question twice otherwise, and the host's ceiling on
+ * outstanding requests counts both.
+ */
+export declare function emitRequestRead(e: Emitter, f: Frame, call: Call, checked: CheckedCall): void;
+/**
+ * The request a status call names, for `req.isReady` and `req.error`.
+ *
+ * Both name a read rather than taking its value, and a value on a bar cannot
+ * say which request produced it, so the compiler resolves the argument to the
+ * request's id and passes that. It is the same resolution `fill` does on a plot
+ * handle (2.8), and the reason is the same: the argument is a compile-time
+ * identity wearing the clothes of a value.
+ *
+ * **A read written inline is registered here and not only resolved**, which is
+ * the whole of the second half of this function. The checker gives every read
+ * in the file an id whether or not anything else in the file uses its value, and
+ * an id on its own names nothing an engine was handed: the compiled program
+ * would carry no request under it, the host would never be asked, and
+ * `req.error` would answer the empty string for a read the host refused. That is
+ * the one answer this pair of calls exists to make impossible, and it held only
+ * for the form written as a name. So the inline form emits its request the same
+ * way the value form does, and asks the host the same question.
+ */
+export declare function requestIdFor(e: Emitter, expression: Expression): number | undefined;
+/**
+ * Which name holds which read, before a statement is emitted.
+ *
+ * `req.isReady(dayHigh)` is resolved against this, and the call may be written
+ * above the line that declares the name it asks about, so the links are made
+ * before any of them is needed rather than as each declaration is met.
+ */
+export declare function linkRequestNames(e: Emitter): void;
+//# sourceMappingURL=requests.d.ts.map

package/dist/core/emit/requests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"requests.d.ts","sourceRoot":"","sources":["../../../src/core/emit/requests.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAExD,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,mBAAmB,CAAC;AACrE,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAkBnD,yEAAyE;AACzE,eAAO,MAAM,aAAa,aAA2C,CAAC;AACtE,eAAO,MAAM,oBAAoB,aAAwC,CAAC;AAE1E;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI,CAQ5F;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAanF;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,OAAO,GAAG,IAAI,CASjD"}

package/dist/core/emit/requests.js

@@ -0,0 +1,230 @@
+import { withoutGrouping } from '../ast/index.js';
+import { Frame as EmitFrame, argumentAt, declaredNames } from './context.js';
+import { emitExpression } from './expressions.js';
+import { assignRegions } from './functions.js';
+import { RequestScope } from './request-scope.js';
+import { fieldOf } from './values.js';
+/**
+ * The chart facts that can fix part of a request's identity.
+ *
+ * Three of the facts of `stdlib.md` 3.4 name an instrument or an interval, and
+ * one of them is the documented default of `req.symbol`'s `exchange`. The rest
+ * describe the chart rather than identify it, and a request built from one of
+ * those has no meaning to carry.
+ */
+const CHART_IDENTITY = ['symbol', 'exchange', 'interval'];
+/** The two reads of `stdlib.md` 15.1, and the two that ask after one. */
+export const REQUEST_CALLS = new Set(['req.timeframe', 'req.symbol']);
+export const REQUEST_STATUS_CALLS = new Set(['req.isReady', 'req.error']);
+/**
+ * A read, as a value on this bar: the register the engine filled for it.
+ *
+ * One request per call written in the source, however many call paths reach it.
+ * A body emitted twice, which 2.12 does for a function reached two ways, asks
+ * the host the same question twice otherwise, and the host's ceiling on
+ * outstanding requests counts both.
+ */
+export function emitRequestRead(e, f, call, checked) {
+    const register = registerFor(e, call, checked);
+    f.builder.at(call.span);
+    if (register === undefined) {
+        f.builder.push('CONST', e.pool.absent());
+        return;
+    }
+    f.builder.push('SLOAD', register);
+}
+/**
+ * The request a status call names, for `req.isReady` and `req.error`.
+ *
+ * Both name a read rather than taking its value, and a value on a bar cannot
+ * say which request produced it, so the compiler resolves the argument to the
+ * request's id and passes that. It is the same resolution `fill` does on a plot
+ * handle (2.8), and the reason is the same: the argument is a compile-time
+ * identity wearing the clothes of a value.
+ *
+ * **A read written inline is registered here and not only resolved**, which is
+ * the whole of the second half of this function. The checker gives every read
+ * in the file an id whether or not anything else in the file uses its value, and
+ * an id on its own names nothing an engine was handed: the compiled program
+ * would carry no request under it, the host would never be asked, and
+ * `req.error` would answer the empty string for a read the host refused. That is
+ * the one answer this pair of calls exists to make impossible, and it held only
+ * for the form written as a name. So the inline form emits its request the same
+ * way the value form does, and asks the host the same question.
+ */
+export function requestIdFor(e, expression) {
+    const inner = withoutGrouping(expression);
+    if (inner.kind === 'nameReference') {
+        const binding = e.bindingAt(inner);
+        return binding === undefined ? undefined : e.requestOf.get(binding.id);
+    }
+    if (inner.kind !== 'call')
+        return undefined;
+    const checked = e.callAt(inner);
+    if (checked === undefined || !REQUEST_CALLS.has(checked.name))
+        return undefined;
+    const found = checkedRequestFor(e, inner);
+    if (found === undefined)
+        return undefined;
+    registerFor(e, inner, checked);
+    return found.id;
+}
+/**
+ * Which name holds which read, before a statement is emitted.
+ *
+ * `req.isReady(dayHigh)` is resolved against this, and the call may be written
+ * above the line that declares the name it asks about, so the links are made
+ * before any of them is needed rather than as each declaration is met.
+ */
+export function linkRequestNames(e) {
+    for (const declared of declaredNames(e)) {
+        if (withoutGrouping(declared.value).kind !== 'call')
+            continue;
+        const request = e.checked.requests.find((one) => one.call === withoutGrouping(declared.value));
+        const binding = e.checked.targets.get(declared.name);
+        if (request !== undefined && binding !== undefined)
+            e.requestOf.set(binding.id, request.id);
+    }
+}
+function checkedRequestFor(e, call) {
+    return e.checked.requests.find((one) => one.call === call);
+}
+function registerFor(e, call, checked) {
+    const found = checkedRequestFor(e, call);
+    if (found === undefined)
+        return undefined;
+    const already = e.requestSeries.get(found.id);
+    if (already !== undefined)
+        return already;
+    const entry = checked.entry;
+    const argument = (name) => {
+        if (entry === undefined)
+            return undefined;
+        return argumentAt(checked, entry, name)?.value;
+    };
+    const expression = argument('expr');
+    const name = nameOf(e, found);
+    const register = e.layout.filled('request', name);
+    e.requestSeries.set(found.id, register);
+    const request = {
+        id: found.id,
+        read: found.name === 'req.symbol' ? 'symbol' : 'timeframe',
+        symbol: fieldFrom(e, argument('symbol'), 'symbol'),
+        exchange: fieldFrom(e, argument('exchange'), 'exchange'),
+        timeframe: fieldFrom(e, argument('timeframe'), 'timeframe'),
+        mode: modeOf(e, found),
+        series: register,
+        warmup: warmupOf(e, expression),
+        body: bodyOf(e, expression),
+    };
+    e.requests.push(request);
+    return register;
+}
+/** The name the source gave the read, for `debug` and for a reader. */
+function nameOf(e, request) {
+    for (const [binding, id] of e.requestOf) {
+        if (id !== request.id)
+            continue;
+        const found = e.checked.bindings.find((one) => one.id === binding);
+        if (found !== undefined)
+            return found.name;
+    }
+    return request.name;
+}
+/**
+ * One of the three fields that fix a request's identity.
+ *
+ * All three are settled before bar 0, which is what lets the whole set of
+ * requests be known at load (`host-interface.md` 5.2) and what makes a request
+ * that changed afterwards OS6013. A value this compiler cannot fold is neither
+ * a value nor a reference to one setting, so there is nothing to write, and the
+ * line that wrote it is told so rather than a program being emitted that names
+ * an instrument nobody asked for.
+ */
+function fieldFrom(e, written, option) {
+    if (written === undefined)
+        return null;
+    const fact = chartFactOf(e, written);
+    if (fact !== undefined)
+        return { chart: fact };
+    const value = e.fold(written);
+    if (value !== undefined)
+        return fieldOf(value);
+    e.sink.report('OS3003', written.span, { option });
+    return null;
+}
+/** `chart.symbol`, `chart.exchange` or `chart.interval`, written as a name. */
+function chartFactOf(e, written) {
+    const inner = withoutGrouping(written);
+    if (inner.kind !== 'member')
+        return undefined;
+    const object = withoutGrouping(inner.object);
+    if (object.kind !== 'nameReference' || object.name !== 'chart')
+        return undefined;
+    if (e.bindingAt(object) !== undefined)
+        return undefined;
+    return CHART_IDENTITY.find((one) => one === inner.member.text);
+}
+function modeOf(e, request) {
+    if (request.mode !== 'unknown')
+        return request.mode;
+    // The mode decides whether the study may repaint, so it is read at compile
+    // time or not at all (`stdlib.md` 15.3).
+    e.sink.report('OS3003', request.span, { option: 'mode' });
+    return 'confirmed';
+}
+/**
+ * The bars of requested history the body needs, when a number is known.
+ *
+ * A host extends the requested range backwards by it (`host-interface.md` 5.2).
+ * It is a floor rather than a promise, because a length that comes from a
+ * setting is not known until the setting resolves: a host that extends by less
+ * gets a read that is absent for longer, never a wrong number.
+ */
+function warmupOf(e, expression) {
+    if (expression === undefined)
+        return null;
+    const found = e.checked.warmups.get(expression);
+    if (found === undefined || found.kind === 'never')
+        return null;
+    return found.bar;
+}
+function bodyOf(e, expression) {
+    const scope = new RequestScope();
+    const sub = e.forRequest(scope);
+    const top = new EmitFrame(true);
+    if (expression === undefined) {
+        top.builder.at(e.checked.script.span);
+        top.builder.push('CONST', sub.pool.absent());
+    }
+    else {
+        emitExpression(sub, top, expression);
+        top.builder.at(expression.span);
+    }
+    // The body ends the way a function body does: the value it leaves is the
+    // read's value for that requested bar, and `RET` is what hands it over
+    // (4.10). Nothing new is asked of an engine's instruction loop.
+    top.builder.push('RET');
+    const { cells, states } = assignRegions(sub, top);
+    return {
+        inputs: scope.inputs,
+        series: sub.layout.registers,
+        frame: { slots: top.layout.slotCount },
+        cells,
+        states,
+        functions: sub.functions,
+        callSites: sub.sites.map((site) => ({
+            fn: site.fn,
+            argc: site.argc,
+            cellBase: site.cellBase,
+            stateBase: site.stateBase,
+            series: site.series,
+        })),
+        loops: sub.loops,
+        requests: sub.requests,
+        code: top.builder.code,
+        pos: top.builder.pos,
+        fnPos: sub.functionPos,
+    };
+}
+//# sourceMappingURL=requests.js.map

package/dist/core/emit/requests.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"requests.js","sourceRoot":"","sources":["../../../src/core/emit/requests.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAGlD,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAEtC;;;;;;;GAOG;AACH,MAAM,cAAc,GAAuC,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAE9F,yEAAyE;AACzE,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC;AACtE,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;AAE1E;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAU,EAAE,OAAoB;IACpF,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACzC,OAAO;IACT,CAAC;IACD,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AACpC,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,YAAY,CAAC,CAAU,EAAE,UAAsB;IAC7D,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChF,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,WAAW,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC,EAAE,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAU;IACzC,KAAK,MAAM,QAAQ,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAC9D,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CACrC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CACtD,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;YAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9F,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAU,EAAE,IAAU;IAC/C,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,IAAU,EAAE,OAAoB;IAC/D,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAE1C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,MAAM,QAAQ,GAAG,CAAC,IAAY,EAA0B,EAAE;QACxD,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC;IACjD,CAAC,CAAC;IAEF,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAExC,MAAM,OAAO,GAAY;QACvB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW;QAC1D,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;QAClD,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;QACxD,SAAS,EAAE,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;QAC3D,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;QACtB,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,UAAU,CAAC;QAC/B,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC;KAC5B,CAAC;IACF,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,uEAAuE;AACvE,SAAS,MAAM,CAAC,CAAU,EAAE,OAAuB;IACjD,KAAK,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;QACxC,IAAI,EAAE,KAAK,OAAO,CAAC,EAAE;YAAE,SAAS;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;QACnE,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IAC7C,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC;AACtB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,SAAS,CAAC,CAAU,EAAE,OAA+B,EAAE,MAAc;IAC5E,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IAClD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAC/E,SAAS,WAAW,CAAC,CAAU,EAAE,OAAmB;IAClD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IACjF,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxD,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,MAAM,CAAC,CAAU,EAAE,OAAuB;IACjD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC;IACpD,2EAA2E;IAC3E,yCAAyC;IACzC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1D,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,CAAU,EAAE,UAAkC;IAC9D,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO,KAAK,CAAC,GAAG,CAAC;AACnB,CAAC;AAED,SAAS,MAAM,CAAC,CAAU,EAAE,UAAkC;IAC5D,MAAM,KAAK,GAAG,IAAI,YAAY,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC;IAEhC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;QACrC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IACD,yEAAyE;IACzE,uEAAuE;IACvE,gEAAgE;IAChE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAExB,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAClD,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS;QAC5B,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE;QACtC,KAAK;QACL,MAAM;QACN,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;QACH,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI;QACtB,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG;QACpB,KAAK,EAAE,GAAG,CAAC,WAAW;KACvB,CAAC;AACJ,CAAC"}

package/dist/core/emit/requires.d.ts

@@ -0,0 +1,4 @@
+import type { Emitter } from './context.js';
+import type { Instruction } from './program.js';
+export declare function requiresOf(e: Emitter, code: readonly Instruction[]): readonly string[];
+//# sourceMappingURL=requires.d.ts.map

package/dist/core/emit/requires.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"requires.d.ts","sourceRoot":"","sources":["../../../src/core/emit/requires.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAW,MAAM,cAAc,CAAC;AA2DzD,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,WAAW,EAAE,GAAG,SAAS,MAAM,EAAE,CAetF"}

package/dist/core/emit/requires.js

@@ -0,0 +1,71 @@
+/** The tags of format 1.0, in the order 2.2's table gives them. */
+const ORDER = [
+    'core.1',
+    'arrays',
+    'functions',
+    'loops',
+    'orders',
+    'objects',
+    'tables',
+    'alerts',
+    'req.timeframe',
+    'req.symbol',
+];
+const DRAWN_OBJECTS = ['line', 'label', 'box', 'polyline'];
+function mentionsArray(type) {
+    if (type.kind === 'array')
+        return true;
+    if (type.kind === 'series')
+        return mentionsArray(type.element);
+    return false;
+}
+function isArrayFunction(entry) {
+    return (mentionsArray(entry.returns) || entry.parameters.some((one) => mentionsArray(one.type)));
+}
+function createsObject(entry) {
+    return entry.returns.kind === 'object' && DRAWN_OBJECTS.includes(entry.returns.object);
+}
+function usesArrayInstruction(lists) {
+    return lists.some((code) => code.some(([opcode]) => opcode === 'ARRAY' || opcode === 'ELEM'));
+}
+/**
+ * Every instruction list in the program, the bodies of its reads included.
+ *
+ * A tag says what the program needs, and a read's expression is part of the
+ * program: an engine that cannot run an `ELEM` cannot run one inside a read
+ * either, and a tag derived from the bar's list alone would tell it otherwise.
+ */
+function codeOf(lists, requests) {
+    for (const request of requests) {
+        lists.push([...request.body.code]);
+        for (const one of request.body.functions)
+            lists.push([...one.code]);
+        codeOf(lists, request.body.requests);
+    }
+}
+function loopsIn(requests) {
+    return requests.some((one) => one.body.loops.length > 0 || loopsIn(one.body.requests));
+}
+export function requiresOf(e, code) {
+    const lists = [[...code], ...e.functions.map((one) => [...one.code])];
+    codeOf(lists, e.requests);
+    const needed = new Set(['core.1']);
+    if (usesArrayInstruction(lists) || e.calledEntries.some(isArrayFunction))
+        needed.add('arrays');
+    if (e.checked.functions.length > 0)
+        needed.add('functions');
+    if (e.loops.length > 0 || loopsIn(e.requests))
+        needed.add('loops');
+    if (e.libraryFunctions.some((one) => one.effect === 'order'))
+        needed.add('orders');
+    if (e.calledEntries.some(createsObject))
+        needed.add('objects');
+    if (e.tables.length > 0)
+        needed.add('tables');
+    if (e.alerts.length > 0)
+        needed.add('alerts');
+    for (const request of e.checked.requests)
+        needed.add(request.name);
+    return ORDER.filter((tag) => needed.has(tag));
+}
+//# sourceMappingURL=requires.js.map

package/dist/core/emit/requires.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"requires.js","sourceRoot":"","sources":["../../../src/core/emit/requires.ts"],"names":[],"mappings":"AAkBA,mEAAmE;AACnE,MAAM,KAAK,GAAsB;IAC/B,QAAQ;IACR,QAAQ;IACR,WAAW;IACX,OAAO;IACP,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,eAAe;IACf,YAAY;CACb,CAAC;AAEF,MAAM,aAAa,GAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;AAE9E,SAAS,aAAa,CAAC,IAAU;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,KAAmB;IAC1C,OAAO,CACL,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CACxF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAmB;IACxC,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA0C;IACtE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC;AAChG,CAAC;AAED;;;;;;GAMG;AACH,SAAS,MAAM,CAAC,KAAsB,EAAE,QAA4B;IAClE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,QAA4B;IAC3C,OAAO,QAAQ,CAAC,IAAI,CAClB,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CACjE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,CAAU,EAAE,IAA4B;IACjE,MAAM,KAAK,GAAoB,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE3C,IAAI,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/F,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC5D,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnE,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,OAAO,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnF,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC/D,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ;QAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC"}

package/dist/core/emit/sha256.d.ts

@@ -0,0 +1,24 @@
+/**
+ * SHA-256, and the UTF-8 encoding it runs over.
+ *
+ * `compiled-program.md` 2.14 makes `source.hash` the lowercase hexadecimal
+ * SHA-256 of the UTF-8 source text, and a host records it against a chart, a
+ * backtest run and a live process: it is what makes a result reproducible
+ * months later. So it cannot be optional and it cannot come from a package,
+ * because nothing under `src/core` may import one, and it cannot come from a
+ * platform's own crypto either, because the same file has to run in a worker,
+ * on a server and inside somebody else's application.
+ *
+ * Written from FIPS 180-4. It is small, it is exact, and it is tested against
+ * the published vectors rather than against itself.
+ */
+/**
+ * UTF-8 bytes of a string, counting by code point.
+ *
+ * A lone surrogate cannot be encoded and becomes the replacement character,
+ * which is what every other encoder does and what the lexer has already made
+ * unreachable from a source file.
+ */
+export declare function utf8(text: string): Uint8Array;
+export declare function sha256(text: string): string;
+//# sourceMappingURL=sha256.d.ts.map

package/dist/core/emit/sha256.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sha256.d.ts","sourceRoot":"","sources":["../../../src/core/emit/sha256.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAaH;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAqB7C;AAMD,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CA0D3C"}

package/dist/core/emit/sha256.js

@@ -0,0 +1,109 @@
+/**
+ * SHA-256, and the UTF-8 encoding it runs over.
+ *
+ * `compiled-program.md` 2.14 makes `source.hash` the lowercase hexadecimal
+ * SHA-256 of the UTF-8 source text, and a host records it against a chart, a
+ * backtest run and a live process: it is what makes a result reproducible
+ * months later. So it cannot be optional and it cannot come from a package,
+ * because nothing under `src/core` may import one, and it cannot come from a
+ * platform's own crypto either, because the same file has to run in a worker,
+ * on a server and inside somebody else's application.
+ *
+ * Written from FIPS 180-4. It is small, it is exact, and it is tested against
+ * the published vectors rather than against itself.
+ */
+const K = [
+    0x428a2f98, 0x71374491, 0xb5c0fbcf, 0xe9b5dba5, 0x3956c25b, 0x59f111f1, 0x923f82a4, 0xab1c5ed5,
+    0xd807aa98, 0x12835b01, 0x243185be, 0x550c7dc3, 0x72be5d74, 0x80deb1fe, 0x9bdc06a7, 0xc19bf174,
+    0xe49b69c1, 0xefbe4786, 0x0fc19dc6, 0x240ca1cc, 0x2de92c6f, 0x4a7484aa, 0x5cb0a9dc, 0x76f988da,
+    0x983e5152, 0xa831c66d, 0xb00327c8, 0xbf597fc7, 0xc6e00bf3, 0xd5a79147, 0x06ca6351, 0x14292967,
+    0x27b70a85, 0x2e1b2138, 0x4d2c6dfc, 0x53380d13, 0x650a7354, 0x766a0abb, 0x81c2c92e, 0x92722c85,
+    0xa2bfe8a1, 0xa81a664b, 0xc24b8b70, 0xc76c51a3, 0xd192e819, 0xd6990624, 0xf40e3585, 0x106aa070,
+    0x19a4c116, 0x1e376c08, 0x2748774c, 0x34b0bcb5, 0x391c0cb3, 0x4ed8aa4a, 0x5b9cca4f, 0x682e6ff3,
+    0x748f82ee, 0x78a5636f, 0x84c87814, 0x8cc70208, 0x90befffa, 0xa4506ceb, 0xbef9a3f7, 0xc67178f2,
+];
+/**
+ * UTF-8 bytes of a string, counting by code point.
+ *
+ * A lone surrogate cannot be encoded and becomes the replacement character,
+ * which is what every other encoder does and what the lexer has already made
+ * unreachable from a source file.
+ */
+export function utf8(text) {
+    const bytes = [];
+    for (const character of text) {
+        let point = character.codePointAt(0) ?? 0xfffd;
+        if (point >= 0xd800 && point <= 0xdfff)
+            point = 0xfffd;
+        if (point < 0x80) {
+            bytes.push(point);
+        }
+        else if (point < 0x800) {
+            bytes.push(0xc0 | (point >> 6), 0x80 | (point & 0x3f));
+        }
+        else if (point < 0x10000) {
+            bytes.push(0xe0 | (point >> 12), 0x80 | ((point >> 6) & 0x3f), 0x80 | (point & 0x3f));
+        }
+        else {
+            bytes.push(0xf0 | (point >> 18), 0x80 | ((point >> 12) & 0x3f), 0x80 | ((point >> 6) & 0x3f), 0x80 | (point & 0x3f));
+        }
+    }
+    return Uint8Array.from(bytes);
+}
+function rotateRight(x, n) {
+    return ((x >>> n) | (x << (32 - n))) >>> 0;
+}
+export function sha256(text) {
+    const message = utf8(text);
+    const bitLength = message.length * 8;
+    // The padding of FIPS 180-4 section 5.1.1: a one bit, zeroes, and the length
+    // as a 64 bit big-endian count of bits.
+    const padded = new Uint8Array(((message.length + 9 + 63) >> 6) << 6);
+    padded.set(message);
+    padded[message.length] = 0x80;
+    const view = new DataView(padded.buffer);
+    view.setUint32(padded.length - 8, Math.floor(bitLength / 0x100000000), false);
+    view.setUint32(padded.length - 4, bitLength >>> 0, false);
+    const h = [
+        0x6a09e667, 0xbb67ae85, 0x3c6ef372, 0xa54ff53a, 0x510e527f, 0x9b05688c, 0x1f83d9ab, 0x5be0cd19,
+    ];
+    const w = new Array(64).fill(0);
+    for (let block = 0; block < padded.length; block += 64) {
+        for (let i = 0; i < 16; i += 1)
+            w[i] = view.getUint32(block + i * 4, false);
+        for (let i = 16; i < 64; i += 1) {
+            const a = w[i - 15] ?? 0;
+            const b = w[i - 2] ?? 0;
+            const s0 = rotateRight(a, 7) ^ rotateRight(a, 18) ^ (a >>> 3);
+            const s1 = rotateRight(b, 17) ^ rotateRight(b, 19) ^ (b >>> 10);
+            w[i] = (((w[i - 16] ?? 0) + s0 + (w[i - 7] ?? 0) + s1) >>> 0);
+        }
+        let [a, b, c, d, f, g, hh, i0] = [h[0] ?? 0, h[1] ?? 0, h[2] ?? 0, h[3] ?? 0, h[4] ?? 0, h[5] ?? 0, h[6] ?? 0, h[7] ?? 0];
+        for (let i = 0; i < 64; i += 1) {
+            const s1 = rotateRight(f, 6) ^ rotateRight(f, 11) ^ rotateRight(f, 25);
+            const choose = (f & g) ^ (~f & hh);
+            const temp1 = (i0 + s1 + choose + (K[i] ?? 0) + (w[i] ?? 0)) >>> 0;
+            const s0 = rotateRight(a, 2) ^ rotateRight(a, 13) ^ rotateRight(a, 22);
+            const majority = (a & b) ^ (a & c) ^ (b & c);
+            const temp2 = (s0 + majority) >>> 0;
+            i0 = hh;
+            hh = g;
+            g = f;
+            f = (d + temp1) >>> 0;
+            d = c;
+            c = b;
+            b = a;
+            a = (temp1 + temp2) >>> 0;
+        }
+        h[0] = ((h[0] ?? 0) + a) >>> 0;
+        h[1] = ((h[1] ?? 0) + b) >>> 0;
+        h[2] = ((h[2] ?? 0) + c) >>> 0;
+        h[3] = ((h[3] ?? 0) + d) >>> 0;
+        h[4] = ((h[4] ?? 0) + f) >>> 0;
+        h[5] = ((h[5] ?? 0) + g) >>> 0;
+        h[6] = ((h[6] ?? 0) + hh) >>> 0;
+        h[7] = ((h[7] ?? 0) + i0) >>> 0;
+    }
+    return h.map((one) => one.toString(16).padStart(8, '0')).join('');
+}
+//# sourceMappingURL=sha256.js.map

package/dist/core/emit/sha256.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sha256.js","sourceRoot":"","sources":["../../../src/core/emit/sha256.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,MAAM,CAAC,GAAsB;IAC3B,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;CAC/F,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,IAAI,CAAC,IAAY;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,IAAI,KAAK,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;QAC/C,IAAI,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM;YAAE,KAAK,GAAG,MAAM,CAAC;QACvD,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;aAAM,IAAI,KAAK,GAAG,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,KAAK,GAAG,OAAO,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC;QACxF,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,EACpB,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,EAC7B,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAC5B,IAAI,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CACtB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,WAAW,CAAC,CAAS,EAAE,CAAS;IACvC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,IAAY;IACjC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAErC,6EAA6E;IAC7E,wCAAwC;IACxC,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;IAC9E,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,SAAS,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAE1D,MAAM,CAAC,GAAG;QACR,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;KAC/F,CAAC;IACF,MAAM,CAAC,GAAG,IAAI,KAAK,CAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAExC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC;YAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5E,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YACxB,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9D,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAChE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAW,CAAC;QAC1E,CAAC;QAED,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAE1H,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvE,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACnC,MAAM,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACnE,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvE,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,CAAC,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YACpC,EAAE,GAAG,EAAE,CAAC;YACR,EAAE,GAAG,CAAC,CAAC;YACP,CAAC,GAAG,CAAC,CAAC;YACN,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC,GAAG,CAAC,CAAC;YACN,CAAC,GAAG,CAAC,CAAC;YACN,CAAC,GAAG,CAAC,CAAC;YACN,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;QAED,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACpE,CAAC"}

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

@@ -0,0 +1,20 @@
+/**
+ * Statements, as instructions.
+ *
+ * Every statement leaves the operand stack as it found it, which is what
+ * `compiled-program.md` 3.2 means by the stack being empty at the start of
+ * every top-level statement and what the verifier's stack walk checks.
+ *
+ * The one shape worth reading twice is the assignment. Three of them emit no
+ * store at all: a name holding an `input()`, whose slot the engine writes at
+ * step 5 of every bar; a name holding a declaration handle, which is a
+ * compile-time value; and a name holding a grid, which the engine puts in the
+ * slot the declaration names. Each is a declaration wearing an assignment's
+ * clothes, and an emitter that stored them would be emitting per-bar work for
+ * something settled before bar 0.
+ */
+import type { Block, Statement } from '../ast/index.js';
+import type { Emitter, Frame } from './context.js';
+export declare function emitBlock(e: Emitter, f: Frame, block: Block): void;
+export declare function emitStatement(e: Emitter, f: Frame, statement: Statement): void;
+//# sourceMappingURL=statements.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/core/emit/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,KAAK,EAAoB,SAAS,EAAmB,MAAM,iBAAiB,CAAC;AAK3F,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAanD,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,CAKlE;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,CAuE9E"}