openalgo-script 0.1.0-alpha.1 → 0.4.0

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

@@ -0,0 +1,39 @@
+/**
+ * The canonical encoding, `compiled-program.md` 2.14.
+ *
+ * It exists so that a hash of a program means something: two compilers, in two
+ * languages, handed the same source, produce the same bytes. So none of the
+ * rules below is cosmetic, and none of them is this file's invention.
+ *
+ * - UTF-8, no byte order mark, no whitespace between tokens.
+ * - Object keys sorted ascending by Unicode code point. Sorted rather than in
+ *   the specification's listed order, because a sort is a rule an emitter in any
+ *   language can follow without a table.
+ * - A number is the shortest decimal string that reads back as the same
+ *   binary64 value, with an exponent written as `e` and an optional `-`.
+ * - A string escapes only the quote, the backslash and the code points below
+ *   0x20, the last as `\u00XX` except for `\n`, `\r` and `\t`.
+ */
+import type { CompiledProgram } from './program.js';
+/**
+ * A number, shortest round trip.
+ *
+ * The host's own shortest form is already the shortest that reads back
+ * identically. What it is not is the spelling the specification asks for: a
+ * positive exponent is written with a `+` that the format does not allow, so
+ * that one sign is removed and nothing else is touched.
+ */
+export declare function canonicalNumber(value: number): string;
+export declare function canonicalString(value: string): string;
+export declare function canonicalise(value: unknown): string;
+/**
+ * The two hashes a host records against a run.
+ *
+ * `source.hash` identifies the source and the hash of the canonical encoding
+ * identifies the program, and they are two answers because a compiler change
+ * that alters what a source compiles to has to be visible without the source
+ * having changed at all.
+ */
+export declare function sourceHash(text: string): string;
+export declare function programHash(program: CompiledProgram): string;
+//# sourceMappingURL=canonical.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../../../src/core/emit/canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAGpD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGrD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAarD;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAiBnD;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAE5D"}

package/dist/core/emit/canonical.js

@@ -0,0 +1,71 @@
+import { sha256 } from './sha256.js';
+/**
+ * A number, shortest round trip.
+ *
+ * The host's own shortest form is already the shortest that reads back
+ * identically. What it is not is the spelling the specification asks for: a
+ * positive exponent is written with a `+` that the format does not allow, so
+ * that one sign is removed and nothing else is touched.
+ */
+export function canonicalNumber(value) {
+    if (!Number.isFinite(value))
+        throw new Error('a compiled program holds finite numbers only');
+    return String(value === 0 ? 0 : value).replace('e+', 'e');
+}
+export function canonicalString(value) {
+    let out = '"';
+    for (const character of value) {
+        const code = character.codePointAt(0) ?? 0;
+        if (character === '"')
+            out += '\\"';
+        else if (character === '\\')
+            out += '\\\\';
+        else if (character === '\n')
+            out += '\\n';
+        else if (character === '\r')
+            out += '\\r';
+        else if (character === '\t')
+            out += '\\t';
+        else if (code < 0x20)
+            out += `\\u${code.toString(16).padStart(4, '0')}`;
+        else
+            out += character;
+    }
+    return `${out}"`;
+}
+export function canonicalise(value) {
+    if (value === null || value === undefined)
+        return 'null';
+    if (typeof value === 'boolean')
+        return value ? 'true' : 'false';
+    if (typeof value === 'number')
+        return canonicalNumber(value);
+    if (typeof value === 'string')
+        return canonicalString(value);
+    if (Array.isArray(value))
+        return `[${value.map(canonicalise).join(',')}]`;
+    if (typeof value === 'object') {
+        const entries = Object.entries(value).filter(([, one]) => one !== undefined);
+        entries.sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0));
+        const body = entries
+            .map(([key, one]) => `${canonicalString(key)}:${canonicalise(one)}`)
+            .join(',');
+        return `{${body}}`;
+    }
+    throw new Error(`a compiled program holds no value of this kind: ${typeof value}`);
+}
+/**
+ * The two hashes a host records against a run.
+ *
+ * `source.hash` identifies the source and the hash of the canonical encoding
+ * identifies the program, and they are two answers because a compiler change
+ * that alters what a source compiles to has to be visible without the source
+ * having changed at all.
+ */
+export function sourceHash(text) {
+    return `sha256:${sha256(text)}`;
+}
+export function programHash(program) {
+    return `sha256:${sha256(canonicalise(program))}`;
+}
+//# sourceMappingURL=canonical.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../../src/core/emit/canonical.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAC7F,OAAO,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,IAAI,GAAG,GAAG,GAAG,CAAC;IACd,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,SAAS,KAAK,GAAG;YAAE,GAAG,IAAI,KAAK,CAAC;aAC/B,IAAI,SAAS,KAAK,IAAI;YAAE,GAAG,IAAI,MAAM,CAAC;aACtC,IAAI,SAAS,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aACrC,IAAI,SAAS,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aACrC,IAAI,SAAS,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aACrC,IAAI,IAAI,GAAG,IAAI;YAAE,GAAG,IAAI,MAAM,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;;YACnE,GAAG,IAAI,SAAS,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,GAAG,GAAG,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1E,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,MAAM,CACrE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAC/B,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,OAAO;aACjB,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;aACnE,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,OAAO,IAAI,IAAI,GAAG,CAAC;IACrB,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,mDAAmD,OAAO,KAAK,EAAE,CAAC,CAAC;AACrF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,UAAU,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAwB;IAClD,OAAO,UAAU,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;AACnD,CAAC"}

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

@@ -0,0 +1,28 @@
+/**
+ * The order the channel table is written in.
+ *
+ * `compiled-program.md` 2.7 says only that a channel's `id` equals its position
+ * in the array, so any order is a legal program. The worked example of 12.2 is
+ * the whole of the evidence about which order to choose, and it shows a plot
+ * declared on the last line of the script holding channel 0 while a `signal`
+ * three lines above it holds channel 1. So the specification's own order is not the
+ * order the declarations are met in; it is the order `outputs` lists its
+ * fields.
+ *
+ * That is the rule applied here, and it is applied as a renumbering after the
+ * fact rather than by emitting in two passes: a channel's index is needed the
+ * moment an `EMIT` is written, and an emitter that walked the file twice to
+ * learn it would have two places that decide what a declaration is.
+ */
+import type { Emitter } from './context.js';
+import type { Channel, Instruction, Outputs } from './program.js';
+export interface ChannelOrder {
+    readonly channels: readonly Channel[];
+    readonly names: readonly string[];
+    /** The new index of each old one, for rewriting an `EMIT` and a declaration. */
+    readonly moved: readonly number[];
+}
+export declare function orderChannels(e: Emitter): ChannelOrder;
+export declare function renumberCode(code: readonly Instruction[], moved: readonly number[]): readonly Instruction[];
+export declare function renumberOutputs(e: Emitter, moved: readonly number[]): Outputs;
+//# sourceMappingURL=channels.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"channels.d.ts","sourceRoot":"","sources":["../../../src/core/emit/channels.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAyClE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,YAAY,CAkBtD;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,SAAS,WAAW,EAAE,CAMxB;AAMD,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CA2C7E"}

package/dist/core/emit/channels.js

@@ -0,0 +1,110 @@
+/** The channels each output group owns, in the order `outputs` lists them. */
+function declaredOrder(e) {
+    const order = [];
+    const take = (channel) => {
+        if (typeof channel === 'number' && !order.includes(channel))
+            order.push(channel);
+    };
+    for (const plot of e.plots) {
+        take(plot.channel);
+        take(plot.colorChannel);
+        if (plot.ohlc === null)
+            continue;
+        take(plot.ohlc.open);
+        take(plot.ohlc.high);
+        take(plot.ohlc.low);
+        take(plot.ohlc.close);
+        take(plot.ohlc.colorUpChannel);
+        take(plot.ohlc.colorDownChannel);
+        take(plot.ohlc.wickColorChannel);
+        take(plot.ohlc.borderColorChannel);
+    }
+    for (const band of e.fills) {
+        take(band.colorUpChannel);
+        take(band.colorDownChannel);
+    }
+    for (const level of e.levels)
+        take(level.channel);
+    for (const marker of e.markers)
+        take(marker.channel);
+    for (const alert of e.alerts) {
+        take(alert.condChannel);
+        take(alert.messageChannel);
+    }
+    take(e.barColor?.channel);
+    take(e.background?.channel);
+    // A channel no declaration reached would be one nothing can draw, so this is
+    // insurance against a future surface rather than a case that happens today.
+    for (let id = 0; id < e.layout.channels.length; id += 1)
+        take(id);
+    return order;
+}
+export function orderChannels(e) {
+    const order = declaredOrder(e);
+    const moved = new Array(e.layout.channels.length).fill(0);
+    order.forEach((old, index) => {
+        moved[old] = index;
+    });
+    const channels = order.map((old, index) => {
+        const channel = e.layout.channels[old];
+        return {
+            id: index,
+            type: channel?.type ?? 'number',
+            defer: channel?.defer ?? false,
+            once: channel?.once ?? false,
+        };
+    });
+    return { channels, names: order.map((old) => e.layout.channelNames[old] ?? ''), moved };
+}
+export function renumberCode(code, moved) {
+    return code.map((instruction) => instruction[0] === 'EMIT'
+        ? ['EMIT', moved[instruction[1] ?? 0] ?? 0]
+        : instruction);
+}
+function move(moved, channel) {
+    return channel === null ? null : (moved[channel] ?? channel);
+}
+export function renumberOutputs(e, moved) {
+    return {
+        plots: e.plots.map((plot) => ({
+            ...plot,
+            channel: move(moved, plot.channel) ?? plot.channel,
+            colorChannel: move(moved, plot.colorChannel),
+            ohlc: plot.ohlc === null
+                ? null
+                : {
+                    ...plot.ohlc,
+                    open: move(moved, plot.ohlc.open) ?? plot.ohlc.open,
+                    high: move(moved, plot.ohlc.high) ?? plot.ohlc.high,
+                    low: move(moved, plot.ohlc.low) ?? plot.ohlc.low,
+                    close: move(moved, plot.ohlc.close) ?? plot.ohlc.close,
+                    colorUpChannel: move(moved, plot.ohlc.colorUpChannel),
+                    colorDownChannel: move(moved, plot.ohlc.colorDownChannel),
+                    wickColorChannel: move(moved, plot.ohlc.wickColorChannel),
+                    borderColorChannel: move(moved, plot.ohlc.borderColorChannel),
+                },
+        })),
+        fills: e.fills.map((band) => ({
+            ...band,
+            colorUpChannel: move(moved, band.colorUpChannel),
+            colorDownChannel: move(moved, band.colorDownChannel),
+        })),
+        levels: e.levels.map((level) => ({
+            ...level,
+            channel: move(moved, level.channel) ?? level.channel,
+        })),
+        markers: e.markers.map((marker) => ({
+            ...marker,
+            channel: move(moved, marker.channel) ?? marker.channel,
+        })),
+        tables: e.tables,
+        alerts: e.alerts.map((alert) => ({
+            ...alert,
+            condChannel: move(moved, alert.condChannel) ?? alert.condChannel,
+            messageChannel: move(moved, alert.messageChannel),
+        })),
+        barColor: e.barColor === null ? null : { channel: move(moved, e.barColor.channel) ?? 0 },
+        background: e.background === null ? null : { channel: move(moved, e.background.channel) ?? 0 },
+    };
+}
+//# sourceMappingURL=channels.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"channels.js","sourceRoot":"","sources":["../../../src/core/emit/channels.ts"],"names":[],"mappings":"AAmBA,8EAA8E;AAC9E,SAAS,aAAa,CAAC,CAAU;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,OAAkC,EAAQ,EAAE;QACxD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnF,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QACjC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACrC,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM;QAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAAO;QAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE5B,6EAA6E;IAC7E,4EAA4E;IAC5E,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC;QAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAClE,OAAO,KAAK,CAAC;AACf,CAAC;AASD,MAAM,UAAU,aAAa,CAAC,CAAU;IACtC,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,KAAK,CAAS,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAC3B,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QACxC,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACvC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,OAAO,EAAE,IAAI,IAAI,QAAQ;YAC/B,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,KAAK;YAC9B,IAAI,EAAE,OAAO,EAAE,IAAI,IAAI,KAAK;SAClB,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,IAA4B,EAC5B,KAAwB;IAExB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAC9B,WAAW,CAAC,CAAC,CAAC,KAAK,MAAM;QACvB,CAAC,CAAE,CAAC,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAiB;QAC5D,CAAC,CAAC,WAAW,CAChB,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,KAAwB,EAAE,OAAsB;IAC5D,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,CAAU,EAAE,KAAwB;IAClE,OAAO;QACL,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC5B,GAAG,IAAI;YACP,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO;YAClD,YAAY,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC;YAC5C,IAAI,EACF,IAAI,CAAC,IAAI,KAAK,IAAI;gBAChB,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI,CAAC,IAAI;oBACZ,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI;oBACnD,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI;oBACnD,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG;oBAChD,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK;oBACtD,cAAc,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC;oBACrD,gBAAgB,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC;oBACzD,gBAAgB,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC;oBACzD,kBAAkB,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC;iBAC9D;SACR,CAAC,CAAC;QACH,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC5B,GAAG,IAAI;YACP,cAAc,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC;YAChD,gBAAgB,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC;SACrD,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC/B,GAAG,KAAK;YACR,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO;SACrD,CAAC,CAAC;QACH,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAClC,GAAG,MAAM;YACT,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO;SACvD,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC/B,GAAG,KAAK;YACR,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,WAAW;YAChE,cAAc,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,cAAc,CAAC;SAClD,CAAC,CAAC;QACH,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACxF,UAAU,EAAE,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;KAC/F,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,75 @@
+/**
+ * An instruction list under construction, with its source positions.
+ *
+ * Two things live here rather than in the passes that emit code, because both
+ * are easy to get subtly wrong in a hundred places and right in one.
+ *
+ * **Positions.** `compiled-program.md` 2.15 stores one triple per change of
+ * position, and the position of any instruction is the triple with the greatest
+ * index at or below it. So the builder is told where it is and works out which
+ * triples to keep; a pass that appended a triple per instruction would produce a
+ * correct program and a debug table four times the size of the code.
+ *
+ * **Stack depth.** Section 3.5 check 5 is the verifier's, and a compiler that
+ * cannot compute the same number cannot know it emitted a loadable program. The
+ * builder walks its own list on demand, so an emitter can assert the depth is
+ * zero where the language says a statement has finished.
+ */
+import type { Span } from '../span/index.js';
+import type { Instruction, Position } from './program.js';
+import type { Opcode } from './opcodes.js';
+export declare class CodeBuilder {
+    private readonly instructions;
+    private readonly positions;
+    private line;
+    private column;
+    /** Where the instructions pushed after this call came from. */
+    at(span: Span): void;
+    /** The index the next instruction will take, which is what a jump targets. */
+    get here(): number;
+    /**
+     * Appends one instruction and returns its index.
+     *
+     * The operand count is checked here because an instruction with the wrong
+     * number of operands is a program an engine refuses at load with one code and
+     * no line (3.5 check 2), and this is the last place that still knows the line.
+     */
+    push(opcode: Opcode, ...operands: number[]): number;
+    /** Fills in a jump whose target was not known when it was emitted. */
+    patch(index: number, operand: number, target: number): void;
+    get code(): readonly Instruction[];
+    get pos(): readonly Position[];
+}
+/** What walking an instruction list found, or the first place it stopped making sense. */
+export interface Walk {
+    /** The depth at each instruction, before it executes. */
+    readonly depths: readonly number[];
+    /** The first instruction whose depth two paths disagreed about, or nothing. */
+    readonly conflict: number | undefined;
+    /** The first instruction the walk reached with a negative depth, or nothing. */
+    readonly underflow: number | undefined;
+    /**
+     * The first `RET` or `HALT` the stack is not empty at, or nothing.
+     *
+     * Section 3.5 check 5 is three sentences and this is the third: the depth
+     * agrees on every path, it never goes below zero, and **it is zero at the
+     * terminator**. Only the first two were walked here, and the difference is
+     * not academic. A `RET` reaches nothing after it, so an expression that left
+     * the stack one short took it to minus one exactly at the `RET`, where
+     * nothing was ever asked; the walk finished clean and a body whose stack does
+     * not add up was emitted, for an engine to refuse at load with a code about
+     * the compiler. Every `RET` is checked rather than the last one, because an
+     * early `return` is a terminator too and owes the same debt.
+     */
+    readonly terminal: number | undefined;
+}
+/**
+ * The stack depth at every instruction, computed exactly as section 3.5 does.
+ *
+ * A forward pass is enough because every backward jump in a program this
+ * compiler emits targets a `TICK` at a loop header, and a loop body leaves the
+ * stack as it found it. The walk still records a disagreement rather than
+ * assuming one, so a bug in a pass shows up here and not in an engine.
+ */
+export declare function walkDepths(code: readonly Instruction[], argcOf: (site: number) => number): Walk;
+//# sourceMappingURL=code.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"code.d.ts","sourceRoot":"","sources":["../../../src/core/emit/code.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAG3C,qBAAa,WAAW;IACtB,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAqB;IAClD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAkB;IAC5C,OAAO,CAAC,IAAI,CAAK;IACjB,OAAO,CAAC,MAAM,CAAK;IAEnB,+DAA+D;IAC/D,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAKpB,8EAA8E;IAC9E,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED;;;;;;OAMG;IACH,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM;IAenD,sEAAsE;IACtE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAQ3D,IAAI,IAAI,IAAI,SAAS,WAAW,EAAE,CAEjC;IAED,IAAI,GAAG,IAAI,SAAS,QAAQ,EAAE,CAE7B;CACF;AAED,0FAA0F;AAC1F,MAAM,WAAW,IAAI;IACnB,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;IACvC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAC/B,IAAI,CAwCN"}

package/dist/core/emit/code.js

@@ -0,0 +1,104 @@
+import { depthChange, operandCount, targetPositions } from './opcodes.js';
+export class CodeBuilder {
+    instructions = [];
+    positions = [];
+    line = 0;
+    column = 0;
+    /** Where the instructions pushed after this call came from. */
+    at(span) {
+        this.line = span.line;
+        this.column = span.column;
+    }
+    /** The index the next instruction will take, which is what a jump targets. */
+    get here() {
+        return this.instructions.length;
+    }
+    /**
+     * Appends one instruction and returns its index.
+     *
+     * The operand count is checked here because an instruction with the wrong
+     * number of operands is a program an engine refuses at load with one code and
+     * no line (3.5 check 2), and this is the last place that still knows the line.
+     */
+    push(opcode, ...operands) {
+        if (operands.length !== operandCount(opcode)) {
+            throw new Error(`${opcode} takes ${operandCount(opcode)} operands and was given ${operands.length}`);
+        }
+        const index = this.instructions.length;
+        const last = this.positions[this.positions.length - 1];
+        if (last === undefined || last[1] !== this.line || last[2] !== this.column) {
+            this.positions.push([index, this.line, this.column]);
+        }
+        this.instructions.push([opcode, ...operands]);
+        return index;
+    }
+    /** Fills in a jump whose target was not known when it was emitted. */
+    patch(index, operand, target) {
+        const instruction = this.instructions[index];
+        if (instruction === undefined)
+            throw new Error(`no instruction at ${index}`);
+        const operands = instruction.slice(1);
+        operands[operand] = target;
+        this.instructions[index] = [instruction[0], ...operands];
+    }
+    get code() {
+        return this.instructions;
+    }
+    get pos() {
+        return this.positions;
+    }
+}
+/**
+ * The stack depth at every instruction, computed exactly as section 3.5 does.
+ *
+ * A forward pass is enough because every backward jump in a program this
+ * compiler emits targets a `TICK` at a loop header, and a loop body leaves the
+ * stack as it found it. The walk still records a disagreement rather than
+ * assuming one, so a bug in a pass shows up here and not in an engine.
+ */
+export function walkDepths(code, argcOf) {
+    const depths = new Array(code.length).fill(undefined);
+    let conflict;
+    let underflow;
+    let terminal;
+    const reach = (index, depth) => {
+        if (index < 0 || index > code.length)
+            return;
+        if (depth < 0 && underflow === undefined)
+            underflow = index;
+        const known = depths[index];
+        if (known === undefined)
+            depths[index] = depth;
+        else if (known !== depth && conflict === undefined)
+            conflict = index;
+    };
+    reach(0, 0);
+    for (let i = 0; i < code.length; i += 1) {
+        const instruction = code[i];
+        const depth = depths[i];
+        if (instruction === undefined || depth === undefined)
+            continue;
+        const opcode = instruction[0];
+        const operands = instruction.slice(1);
+        const after = depth + depthChange(opcode, operands, argcOf);
+        if (opcode === 'RET' || opcode === 'HALT') {
+            if (after !== 0 && terminal === undefined)
+                terminal = i;
+            continue;
+        }
+        for (const position of targetPositions(opcode)) {
+            const target = operands[position];
+            if (target !== undefined)
+                reach(target, after);
+        }
+        if (opcode !== 'JUMP')
+            reach(i + 1, after);
+    }
+    return {
+        depths: depths.map((one) => one ?? 0),
+        conflict,
+        underflow,
+        terminal,
+    };
+}
+//# sourceMappingURL=code.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"code.js","sourceRoot":"","sources":["../../../src/core/emit/code.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE1E,MAAM,OAAO,WAAW;IACL,YAAY,GAAkB,EAAE,CAAC;IACjC,SAAS,GAAe,EAAE,CAAC;IACpC,IAAI,GAAG,CAAC,CAAC;IACT,MAAM,GAAG,CAAC,CAAC;IAEnB,+DAA+D;IAC/D,EAAE,CAAC,IAAU;QACX,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5B,CAAC;IAED,8EAA8E;IAC9E,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;IAClC,CAAC;IAED;;;;;;OAMG;IACH,IAAI,CAAC,MAAc,EAAE,GAAG,QAAkB;QACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CACb,GAAG,MAAM,UAAU,YAAY,CAAC,MAAM,CAAC,2BAA2B,QAAQ,CAAC,MAAM,EAAE,CACpF,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACvD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3E,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAgB,CAAC,CAAC;QAC7D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,sEAAsE;IACtE,KAAK,CAAC,KAAa,EAAE,OAAe,EAAE,MAAc;QAClD,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,WAAW,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,EAAE,CAAC,CAAC;QAC7E,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAa,CAAC;QAClD,QAAQ,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;QAC3B,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAgB,CAAC;IAC1E,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;CACF;AA0BD;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CACxB,IAA4B,EAC5B,MAAgC;IAEhC,MAAM,MAAM,GAA2B,IAAI,KAAK,CAAqB,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClG,IAAI,QAA4B,CAAC;IACjC,IAAI,SAA6B,CAAC;IAClC,IAAI,QAA4B,CAAC;IAEjC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,KAAa,EAAQ,EAAE;QACnD,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM;YAAE,OAAO;QAC7C,IAAI,KAAK,GAAG,CAAC,IAAI,SAAS,KAAK,SAAS;YAAE,SAAS,GAAG,KAAK,CAAC;QAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;aAC1C,IAAI,KAAK,KAAK,KAAK,IAAI,QAAQ,KAAK,SAAS;YAAE,QAAQ,GAAG,KAAK,CAAC;IACvE,CAAC,CAAC;IAEF,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,WAAW,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAC/D,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAW,CAAC;QACxC,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAa,CAAC;QAClD,MAAM,KAAK,GAAG,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE5D,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YAC1C,IAAI,KAAK,KAAK,CAAC,IAAI,QAAQ,KAAK,SAAS;gBAAE,QAAQ,GAAG,CAAC,CAAC;YACxD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,IAAI,MAAM,KAAK,SAAS;gBAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,MAAM,KAAK,MAAM;YAAE,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;QACrC,QAAQ;QACR,SAAS;QACT,QAAQ;KACT,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,35 @@
+/**
+ * The nineteen named colours, as channel values.
+ *
+ * **This table is standing in for something that does not exist yet, and it
+ * should move the moment it does.** `stdlib.md` 11.1 says the exact channel
+ * values of the named colours are fixed in the library manifest and are part of
+ * the conformance suite. There is no library manifest in this repository, so an
+ * emitter that has to write `["c", [r, g, b, a]]` into a plot's `color` field
+ * has nowhere to read them from.
+ *
+ * The alternative was to give every named colour a per-bar channel and let the
+ * engine's own manifest supply the value, which is a legal representation and
+ * is what `colorChannel` is for. It does not work: a level's colour, a table's
+ * `textColor` and a marker's `color` are declaration fields with no channel
+ * beside them, so there are three places in the format where a named colour has
+ * to be a value before bar 0 or it cannot be carried at all.
+ *
+ * The values are the long-standing web colour keywords of the same names, which
+ * is what `language.md` 3.8's list is drawn from. They are written here rather
+ * than guessed at three call sites, and `emit()` reports them as a gap so that
+ * nobody mistakes this file for the authority it is standing in for.
+ */
+import type { Colour } from './program.js';
+export declare function isColourName(name: string): boolean;
+/** The colour a name denotes, at full opacity, or nothing if it is not one. */
+export declare function namedColour(name: string): Colour | undefined;
+/**
+ * A `#rrggbb` or `#rrggbbaa` literal, `language.md` 3.8.
+ *
+ * The alpha byte is divided by 255 here rather than left to an engine, because
+ * `compiled-program.md` 2.9 requires the pool to carry the divided number: two
+ * engines dividing separately is a place they can differ by one part in 255.
+ */
+export declare function hexColour(text: string): Colour | undefined;
+//# sourceMappingURL=colours.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"colours.d.ts","sourceRoot":"","sources":["../../../src/core/emit/colours.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AA0B3C,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAElD;AAED,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAK5D;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAO1D"}

package/dist/core/emit/colours.js

@@ -0,0 +1,50 @@
+const OPAQUE = 1;
+const CHANNELS = {
+    aqua: [0, 255, 255],
+    black: [0, 0, 0],
+    blue: [0, 0, 255],
+    brown: [165, 42, 42],
+    fuchsia: [255, 0, 255],
+    gray: [128, 128, 128],
+    green: [0, 128, 0],
+    lime: [0, 255, 0],
+    maroon: [128, 0, 0],
+    navy: [0, 0, 128],
+    olive: [128, 128, 0],
+    orange: [255, 165, 0],
+    pink: [255, 192, 203],
+    purple: [128, 0, 128],
+    red: [255, 0, 0],
+    silver: [192, 192, 192],
+    teal: [0, 128, 128],
+    white: [255, 255, 255],
+    yellow: [255, 255, 0],
+};
+export function isColourName(name) {
+    return Object.prototype.hasOwnProperty.call(CHANNELS, name);
+}
+/** The colour a name denotes, at full opacity, or nothing if it is not one. */
+export function namedColour(name) {
+    const channels = CHANNELS[name];
+    return channels === undefined
+        ? undefined
+        : [channels[0], channels[1], channels[2], OPAQUE];
+}
+/**
+ * A `#rrggbb` or `#rrggbbaa` literal, `language.md` 3.8.
+ *
+ * The alpha byte is divided by 255 here rather than left to an engine, because
+ * `compiled-program.md` 2.9 requires the pool to carry the divided number: two
+ * engines dividing separately is a place they can differ by one part in 255.
+ */
+export function hexColour(text) {
+    const digits = text.startsWith('#') ? text.slice(1) : text;
+    if (digits.length !== 6 && digits.length !== 8)
+        return undefined;
+    if (!/^[0-9a-fA-F]+$/.test(digits))
+        return undefined;
+    const byte = (at) => Number.parseInt(digits.slice(at, at + 2), 16);
+    const alpha = digits.length === 8 ? byte(6) / 255 : OPAQUE;
+    return [byte(0), byte(2), byte(4), alpha];
+}
+//# sourceMappingURL=colours.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"colours.js","sourceRoot":"","sources":["../../../src/core/emit/colours.ts"],"names":[],"mappings":"AAwBA,MAAM,MAAM,GAAG,CAAC,CAAC;AAEjB,MAAM,QAAQ,GAAgE;IAC5E,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;IACnB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAChB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC;IACjB,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC;IACpB,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC;IACtB,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;IACrB,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAClB,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACjB,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACnB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC;IACjB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACpB,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;IACrB,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC;IACrB,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAChB,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;IACnB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;IACtB,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;CACtB,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,QAAQ,KAAK,SAAS;QAC3B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,MAAM,IAAI,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;IAC3D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC"}