openalgo-script 0.1.0-alpha.1 → 0.4.0

package/dist/core/engine/verify-shape.js

@@ -0,0 +1,147 @@
+import { malformed } from './errors.js';
+/** Collects the first failure and stops: a malformed program has no second opinion. */
+export class ShapeCheck {
+    failure;
+    problem() {
+        return this.failure;
+    }
+    fail(path, reason) {
+        this.failure ??= malformed(path, reason);
+        return false;
+    }
+    object(value, path) {
+        if (typeof value !== 'object' || value === null || Array.isArray(value)) {
+            return this.fail(path, 'an object was required');
+        }
+        return true;
+    }
+    array(value, path) {
+        if (!Array.isArray(value))
+            return this.fail(path, 'an array was required');
+        return true;
+    }
+    number(value, path) {
+        if (typeof value !== 'number' || !Number.isFinite(value)) {
+            return this.fail(path, 'a finite number was required');
+        }
+        return true;
+    }
+    whole(value, path) {
+        if (!this.number(value, path))
+            return false;
+        if (!Number.isInteger(value))
+            return this.fail(path, 'a whole number was required');
+        return true;
+    }
+    string(value, path) {
+        if (typeof value !== 'string')
+            return this.fail(path, 'a string was required');
+        return true;
+    }
+    bool(value, path) {
+        if (typeof value !== 'boolean')
+            return this.fail(path, 'a true or false was required');
+        return true;
+    }
+    /** A whole number that indexes a table, with the table's size in the message. */
+    index(value, path, size, table) {
+        if (!this.whole(value, path))
+            return false;
+        if (value < 0 || value >= size) {
+            return this.fail(path, `${value} is outside ${table}, which holds ${size}`);
+        }
+        return true;
+    }
+    one(value, path, allowed) {
+        if (!this.string(value, path))
+            return false;
+        if (!allowed.includes(value)) {
+            return this.fail(path, `${value} is not one of ${allowed.join(', ')}`);
+        }
+        return true;
+    }
+    /** A field that may be a value or null, which is a value the script could write. */
+    nullable(value, path, check) {
+        return value === null ? true : check.call(this, value, path);
+    }
+}
+/** The tags of a constant pool entry, 2.9. */
+const CONSTANT_TAGS = ['z', 'b', 'n', 's', 'c'];
+export function checkConstant(shape, value, path) {
+    if (!shape.array(value, path))
+        return false;
+    if (value.length !== 2)
+        return shape.fail(path, 'a pool entry is a tag and a value');
+    const tag = value[0];
+    if (!shape.one(tag, `${path}[0]`, CONSTANT_TAGS))
+        return false;
+    const held = value[1];
+    switch (tag) {
+        case 'z':
+            return held === null ? true : shape.fail(`${path}[1]`, 'the absent entry holds null');
+        case 'b':
+            return shape.bool(held, `${path}[1]`);
+        case 'n':
+            return shape.number(held, `${path}[1]`);
+        case 's':
+            return shape.string(held, `${path}[1]`);
+        default:
+            return checkColour(shape, held, `${path}[1]`);
+    }
+}
+export function checkColour(shape, value, path) {
+    if (!shape.array(value, path))
+        return false;
+    if (value.length !== 4)
+        return shape.fail(path, 'a colour is four numbers');
+    for (let i = 0; i < 3; i += 1) {
+        if (!shape.whole(value[i], `${path}[${i}]`))
+            return false;
+        const channel = value[i];
+        if (channel < 0 || channel > 255) {
+            return shape.fail(`${path}[${i}]`, `a channel runs 0 to 255 and this is ${channel}`);
+        }
+    }
+    if (!shape.number(value[3], `${path}[3]`))
+        return false;
+    const alpha = value[3];
+    if (alpha < 0 || alpha > 1) {
+        return shape.fail(`${path}[3]`, `an alpha runs 0 to 1 and this is ${alpha}`);
+    }
+    return true;
+}
+/**
+ * A declaration field, 2.3: a value, or the `{ "input": key }` reference.
+ *
+ * The key half of check 10 lives here, because this is the one walk that
+ * visits every field that may hold one. The value half runs later, with the
+ * host's settings in hand.
+ */
+export function checkField(shape, value, path, keys) {
+    if (value === null)
+        return true;
+    const kind = typeof value;
+    if (kind === 'boolean' || kind === 'string')
+        return true;
+    if (kind === 'number')
+        return shape.number(value, path);
+    if (Array.isArray(value)) {
+        for (let i = 0; i < value.length; i += 1) {
+            if (!shape.number(value[i], `${path}[${i}]`))
+                return false;
+        }
+        return true;
+    }
+    if (!shape.object(value, path))
+        return false;
+    const key = value['input'];
+    if (key === undefined)
+        return shape.fail(path, 'an object here is an input reference');
+    if (!shape.string(key, `${path}.input`))
+        return false;
+    if (!keys.has(key)) {
+        return shape.fail(path, `it names the input ${key}, which inputs[] does not declare`);
+    }
+    return true;
+}
+//# sourceMappingURL=verify-shape.js.map

package/dist/core/engine/verify-shape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-shape.js","sourceRoot":"","sources":["../../../src/core/engine/verify-shape.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAIxC,uFAAuF;AACvF,MAAM,OAAO,UAAU;IACb,OAAO,CAAyB;IAExC,OAAO;QACL,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,MAAc;QAC/B,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,KAAc,EAAE,IAAY;QACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;QACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,KAAc,EAAE,IAAY;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;QAC3E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,KAAc,EAAE,IAAY;QACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,8BAA8B,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,KAAc,EAAE,IAAY;QAChC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,6BAA6B,CAAC,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,KAAc,EAAE,IAAY;QACjC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;QAC/E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,KAAc,EAAE,IAAY;QAC/B,IAAI,OAAO,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,8BAA8B,CAAC,CAAC;QACvF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iFAAiF;IACjF,KAAK,CAAC,KAAc,EAAE,IAAY,EAAE,IAAY,EAAE,KAAa;QAC7D,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3C,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,eAAe,KAAK,iBAAiB,IAAI,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAmB,KAAc,EAAE,IAAY,EAAE,OAAqB;QACvE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5C,IAAI,CAAE,OAA6B,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,kBAAkB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,oFAAoF;IACpF,QAAQ,CAAC,KAAc,EAAE,IAAY,EAAE,KAAyC;QAC9E,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/D,CAAC;CACF;AAED,8CAA8C;AAC9C,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AAEzD,MAAM,UAAU,aAAa,CAAC,KAAiB,EAAE,KAAc,EAAE,IAAY;IAC3E,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;IACrF,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACrB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,KAAK,EAAE,aAAa,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,GAAG;YACN,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,6BAA6B,CAAC,CAAC;QACxF,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QACxC,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QAC1C,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QAC1C;YACE,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAiB,EAAE,KAAc,EAAE,IAAY;IACzE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,0BAA0B,CAAC,CAAC;IAC5E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QACnC,IAAI,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,GAAG,EAAE,CAAC;YACjC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,uCAAuC,OAAO,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;IACjC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,oCAAoC,KAAK,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CACxB,KAAiB,EACjB,KAAc,EACd,IAAY,EACZ,IAAyB;IAEzB,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC;IAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzD,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC7D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;IACvF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,sBAAsB,GAAG,mCAAmC,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/core/engine/verify-tables.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Check 1 of `compiled-program.md` 3.5 over the program's own tables, and check
+ * 10's key half.
+ *
+ * `verify-shape.ts` answers "is this field a number"; this walks the whole
+ * program asking it, table by table, and checks every index into a table is in
+ * range: constant pool, slots, cells, states, registers, channels, library
+ * functions, call sites, loops and functions. The tables a machine indexes and
+ * the `requests` table are in `verify-requests.ts`, because a read's body holds
+ * the same tables counted from zero and one walk has to serve both. Separate
+ * from `verify.ts` because
+ * it is one long traversal with no decisions in it, and because the decisions
+ * there, which version, which capability, which budget, are what a reader comes
+ * looking for.
+ */
+import type { ShapeCheck } from './verify-shape.js';
+/** Check 1 over every table the machine indexes, and every declaration field. */
+export declare function checkTables(shape: ShapeCheck, raw: Readonly<Record<string, unknown>>): boolean;
+//# sourceMappingURL=verify-tables.d.ts.map

package/dist/core/engine/verify-tables.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-tables.d.ts","sourceRoot":"","sources":["../../../src/core/engine/verify-tables.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAQpD,iFAAiF;AACjF,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CA8F9F"}

package/dist/core/engine/verify-tables.js

@@ -0,0 +1,171 @@
+import { checkConstant, checkField } from './verify-shape.js';
+import { checkMachineTables, checkRequests } from './verify-requests.js';
+const META_KINDS = ['study', 'strategy'];
+const CHANNEL_TYPES = ['number', 'string', 'color', 'bool'];
+const EFFECTS = ['none', 'signal', 'order', 'draw', 'log'];
+/** Check 1 over every table the machine indexes, and every declaration field. */
+export function checkTables(shape, raw) {
+    for (const name of ['requires', 'inputs', 'channels', 'consts', 'series', 'cells', 'states',
+        'functions', 'callSites', 'loops', 'code', 'requests']) {
+        if (!shape.array(raw[name], name))
+            return false;
+    }
+    for (const name of ['compiler', 'source', 'meta', 'limits', 'lib', 'outputs', 'frame', 'debug']) {
+        if (!shape.object(raw[name], name))
+            return false;
+    }
+    const limits = raw['limits'];
+    if (!shape.whole(limits['loops'], 'limits.loops'))
+        return false;
+    if (limits['history'] !== null && !shape.whole(limits['history'], 'limits.history'))
+        return false;
+    const frame = raw['frame'];
+    if (!shape.whole(frame['slots'], 'frame.slots'))
+        return false;
+    const lib = raw['lib'];
+    if (!shape.whole(lib['manifest'], 'lib.manifest'))
+        return false;
+    if (!shape.array(lib['functions'], 'lib.functions'))
+        return false;
+    for (let i = 0; i < lib['functions'].length; i += 1) {
+        const entry = lib['functions'][i];
+        const path = `lib.functions[${i}]`;
+        if (!shape.object(entry, path))
+            return false;
+        if (!shape.string(entry['name'], `${path}.name`))
+            return false;
+        if (!shape.whole(entry['arity'], `${path}.arity`))
+            return false;
+        if (!shape.bool(entry['state'], `${path}.state`))
+            return false;
+        if (!shape.one(entry['effect'], `${path}.effect`, EFFECTS))
+            return false;
+    }
+    const consts = raw['consts'];
+    for (let i = 0; i < consts.length; i += 1) {
+        if (!checkConstant(shape, consts[i], `consts[${i}]`))
+            return false;
+    }
+    const keys = new Set();
+    const inputs = raw['inputs'];
+    for (let i = 0; i < inputs.length; i += 1) {
+        const input = inputs[i];
+        const path = `inputs[${i}]`;
+        if (!shape.object(input, path))
+            return false;
+        if (!shape.string(input['key'], `${path}.key`))
+            return false;
+        if (!shape.string(input['kind'], `${path}.kind`))
+            return false;
+        if (!shape.index(input['slot'], `${path}.slot`, Number(frame['slots']), 'the frame')) {
+            return false;
+        }
+        if (!checkConstant(shape, input['default'], `${path}.default`))
+            return false;
+        keys.add(input['key']);
+    }
+    const channels = raw['channels'];
+    for (let i = 0; i < channels.length; i += 1) {
+        const channel = channels[i];
+        const path = `channels[${i}]`;
+        if (!shape.object(channel, path))
+            return false;
+        if (channel['id'] !== i)
+            return shape.fail(`${path}.id`, 'a channel id is its position');
+        if (!shape.one(channel['type'], `${path}.type`, CHANNEL_TYPES))
+            return false;
+        if (!shape.bool(channel['defer'], `${path}.defer`))
+            return false;
+        if (!shape.bool(channel['once'], `${path}.once`))
+            return false;
+    }
+    const series = raw['series'];
+    if (!checkMachineTables(shape, '', {
+        series,
+        cells: raw['cells'],
+        states: raw['states'],
+        functions: raw['functions'],
+        callSites: raw['callSites'],
+        loops: raw['loops'],
+        slots: Number(frame['slots']),
+        libFunctions: lib['functions'].length,
+    })) {
+        return false;
+    }
+    // 2.16: a read's body is walked on the same terms, because the same machine
+    // executes it over another instrument's bars.
+    if (!checkRequests(shape, '', raw['requests'], series.length, lib['functions'].length, keys)) {
+        return false;
+    }
+    const meta = raw['meta'];
+    if (!shape.one(meta['kind'], 'meta.kind', META_KINDS))
+        return false;
+    for (const field of ['title', 'short', 'overlay', 'precision', 'format', 'range', 'scale',
+        'group', 'onUnconfirmed']) {
+        if (!checkField(shape, meta[field], `meta.${field}`, keys))
+            return false;
+    }
+    const debug = raw['debug'];
+    if (!shape.array(debug['pos'], 'debug.pos'))
+        return false;
+    if (!shape.array(debug['fnPos'], 'debug.fnPos'))
+        return false;
+    return checkOutputs(shape, raw['outputs'], channels.length, Number(frame['slots']), keys);
+}
+/** Every declaration in `outputs`, and every channel it points at. */
+function checkOutputs(shape, outputs, channels, slots, keys) {
+    for (const group of ['plots', 'fills', 'levels', 'markers', 'tables', 'alerts']) {
+        if (!shape.array(outputs[group], `outputs.${group}`))
+            return false;
+    }
+    const channelField = (holder, path, field) => {
+        const value = holder[field];
+        return shape.index(value, `${path}.${field}`, channels, 'channels');
+    };
+    const declarations = [
+        ['plots', ['channel'], ['title', 'color', 'width', 'lineStyle', 'offset', 'overlay', 'scale']],
+        ['levels', ['channel'], ['title', 'color', 'lineStyle', 'lineWidth']],
+        ['markers', ['channel'], ['position', 'shape', 'color', 'textColor']],
+        ['alerts', ['condChannel'], ['title', 'frequency']],
+    ];
+    for (const [group, channelFields, valueFields] of declarations) {
+        const list = outputs[group];
+        for (let i = 0; i < list.length; i += 1) {
+            const path = `outputs.${group}[${i}]`;
+            if (!shape.object(list[i], path))
+                return false;
+            for (const field of channelFields)
+                if (!channelField(list[i], path, field))
+                    return false;
+            for (const field of valueFields) {
+                const value = list[i][field];
+                if (!checkField(shape, value, `${path}.${field}`, keys))
+                    return false;
+            }
+        }
+    }
+    const tables = outputs['tables'];
+    for (let i = 0; i < tables.length; i += 1) {
+        const path = `outputs.tables[${i}]`;
+        if (!shape.object(tables[i], path))
+            return false;
+        const grid = tables[i];
+        if (!shape.index(grid['slot'], `${path}.slot`, slots, 'the frame'))
+            return false;
+        for (const field of ['title', 'position', 'rows', 'cols']) {
+            if (!checkField(shape, grid[field], `${path}.${field}`, keys))
+                return false;
+        }
+    }
+    for (const paint of ['barColor', 'background']) {
+        const value = outputs[paint];
+        if (value === null)
+            continue;
+        if (!shape.object(value, `outputs.${paint}`))
+            return false;
+        if (!channelField(value, `outputs.${paint}`, 'channel'))
+            return false;
+    }
+    return true;
+}
+//# sourceMappingURL=verify-tables.js.map

package/dist/core/engine/verify-tables.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-tables.js","sourceRoot":"","sources":["../../../src/core/engine/verify-tables.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAEzE,MAAM,UAAU,GAAG,CAAC,OAAO,EAAE,UAAU,CAAU,CAAC;AAClD,MAAM,aAAa,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAU,CAAC;AACrE,MAAM,OAAO,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAU,CAAC;AAEpE,iFAAiF;AACjF,MAAM,UAAU,WAAW,CAAC,KAAiB,EAAE,GAAsC;IACnF,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ;QACzF,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC;QACzD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IAClD,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QAChG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IACnD,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAsC,CAAC;IAClE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;QAAE,OAAO,KAAK,CAAC;IAElG,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAsC,CAAC;IAChE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;QAAE,OAAO,KAAK,CAAC;IAE9D,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAsC,CAAC;IAC5D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC;QAAE,OAAO,KAAK,CAAC;IAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,SAAS,EAAE,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;IAC3E,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAuB,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IACrE,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAuB,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;YACrF,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAuB,CAAC;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,8BAA8B,CAAC,CAAC;QACzF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,aAAa,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACjE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;IACjE,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAuB,CAAC;IACnD,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,EAAE,EAAE;QACjC,MAAM;QACN,KAAK,EAAE,GAAG,CAAC,OAAO,CAAuB;QACzC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAuB;QAC3C,SAAS,EAAE,GAAG,CAAC,WAAW,CAAuB;QACjD,SAAS,EAAE,GAAG,CAAC,WAAW,CAAuB;QACjD,KAAK,EAAE,GAAG,CAAC,OAAO,CAAuB;QACzC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC7B,YAAY,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,MAAM;KACtC,CAAC,EAAE,CAAC;QACH,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4EAA4E;IAC5E,8CAA8C;IAC9C,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,UAAU,CAAuB,EAAE,MAAM,CAAC,MAAM,EAChF,GAAG,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAsC,CAAC;IAC9D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IACpE,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO;QACvF,OAAO,EAAE,eAAe,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,QAAQ,KAAK,EAAE,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IAC3E,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAsC,CAAC;IAChE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;QAAE,OAAO,KAAK,CAAC;IAE9D,OAAO,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAsC,EAC5E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AACnD,CAAC;AAED,sEAAsE;AACtE,SAAS,YAAY,CACnB,KAAiB,EACjB,OAA0C,EAC1C,QAAgB,EAChB,KAAa,EACb,IAAyB;IAEzB,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;QAChF,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,WAAW,KAAK,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;IACrE,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,MAAe,EAAE,IAAY,EAAE,KAAa,EAAW,EAAE;QAC7E,MAAM,KAAK,GAAI,MAA4C,CAAC,KAAK,CAAC,CAAC;QACnE,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtE,CAAC,CAAC;IAEF,MAAM,YAAY,GAAyE;QACzF,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC9F,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;QACrE,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACrE,CAAC,QAAQ,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;KACpD,CAAC;IACF,KAAK,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,WAAW,CAAC,IAAI,YAAY,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAuB,CAAC;QAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,WAAW,KAAK,IAAI,CAAC,GAAG,CAAC;YACtC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC/C,KAAK,MAAM,KAAK,IAAI,aAAa;gBAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;YACzF,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;gBAChC,MAAM,KAAK,GAAI,IAAI,CAAC,CAAC,CAAuC,CAAC,KAAK,CAAC,CAAC;gBACpE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;YACxE,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAuB,CAAC;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAsC,CAAC;QAC5D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QACjF,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC9E,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,KAAK,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,KAAK,EAAE,EAAE,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;IACxE,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/core/engine/verify.d.ts

@@ -0,0 +1,19 @@
+import type { Diagnostic } from '../diagnostics/index.js';
+import type { EngineLimits } from './budget.js';
+import type { CompiledProgram } from './types.js';
+/** The language versions whose library semantics this engine implements. */
+export declare const LANGUAGE_VERSIONS: readonly number[];
+export declare function capabilitiesFor(hasOrderRoute: boolean, hasRequestProvider?: boolean): readonly string[];
+export interface VerifyOptions {
+    readonly capabilities: readonly string[];
+    readonly limits: EngineLimits;
+}
+export type VerifyResult = {
+    readonly ok: true;
+    readonly program: CompiledProgram;
+} | {
+    readonly ok: false;
+    readonly diagnostic: Diagnostic;
+};
+export declare function verify(raw: unknown, options: VerifyOptions): VerifyResult;
+//# sourceMappingURL=verify.d.ts.map

package/dist/core/engine/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../../src/core/engine/verify.ts"],"names":[],"mappings":"AA4BA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGhD,OAAO,KAAK,EAAE,eAAe,EAAW,MAAM,YAAY,CAAC;AAO3D,4EAA4E;AAC5E,eAAO,MAAM,iBAAiB,EAAE,SAAS,MAAM,EAAQ,CAAC;AA8DxD,wBAAgB,eAAe,CAC7B,aAAa,EAAE,OAAO,EACtB,kBAAkB,UAAQ,GACzB,SAAS,MAAM,EAAE,CAKnB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;CAC/B;AAED,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC;AAU5D,wBAAgB,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,GAAG,YAAY,CA0FzE"}