openalgo-script 0.1.0-alpha.1 → 0.4.0

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

@@ -0,0 +1,278 @@
+/**
+ * Checks 2 to 7 of `compiled-program.md` 3.5, over one instruction list.
+ *
+ * Verification is not optional and not a debug mode. An engine that skips it
+ * can be handed a malformed list and will read past the end of an array or jump
+ * into the middle of an expression, and the failure will look like a wrong
+ * number rather than a broken program. What these five checks buy is stated in
+ * the specification and is worth restating here, because it is what the engine
+ * is then allowed to assume and therefore not to test: a verified program
+ * cannot underflow the stack, cannot jump out of bounds, cannot address a slot
+ * that does not exist and cannot loop without charging the budget.
+ *
+ * Check 6 is the one that looks small and is not. The target of every backward
+ * jump must be a `TICK`, so no cycle in the control flow graph can run without
+ * charging the loop budget, and the whole of that guarantee is checkable by
+ * looking at one instruction rather than by analysing the graph.
+ */
+import { depthChange, isOpcode, operandCount, targetPositions } from '../emit/index.js';
+import { atInstruction } from './errors.js';
+/** Which table each opcode's operands index, by position. */
+const OPERAND_TABLES = {
+    CONST: ['consts'],
+    LOAD: ['slots'],
+    STORE: ['slots'],
+    CELL_INIT: ['cells', 'target'],
+    LOADC: ['cells'],
+    STOREC: ['cells'],
+    SLOAD: ['registers'],
+    SSTORE: ['registers'],
+    HIST: ['registers'],
+    HISTP: ['series'],
+    AND_SHORT: ['target'],
+    OR_SHORT: ['target'],
+    JUMP: ['target'],
+    JUMP_FALSE: ['target'],
+    TICK: ['loops'],
+    FOR_INIT: ['loops', 'slots', 'slots', 'slots', 'target'],
+    FOR_NEXT: ['loops', 'slots', 'slots', 'slots', 'target'],
+    ARRAY: ['count'],
+    CALL_LIB: ['libFunctions', 'count', 'states'],
+    CALL_FN: ['callSites'],
+    EMIT: ['channels'],
+};
+const TABLE_NAMES = {
+    slots: 'the frame',
+    cells: 'cells',
+    states: 'states',
+    registers: 'series',
+    channels: 'channels',
+    libFunctions: 'lib.functions',
+    callSites: 'callSites',
+    loops: 'loops',
+    consts: 'consts',
+    series: "the call site's series bindings",
+};
+/**
+ * Walks one instruction list.
+ *
+ * `terminator` is `HALT` for the bar's own code and `RET` for a function body,
+ * which is check 4, and the depth at it must be zero, which is check 5.
+ */
+export function checkList(shape, list, code, limits, terminator) {
+    if (code.length === 0)
+        return shape.fail(list, 'an instruction list cannot be empty');
+    // Check 2, and every operand in range.
+    for (let i = 0; i < code.length; i += 1) {
+        const instruction = code[i];
+        const where = atInstruction(list, i);
+        if (!shape.array(instruction, where))
+            return false;
+        const opcode = instruction[0];
+        if (typeof opcode !== 'string' || !isOpcode(opcode)) {
+            return shape.fail(where, `${String(opcode)} is not an opcode this engine implements`);
+        }
+        const operands = instruction.slice(1);
+        if (operands.length !== operandCount(opcode)) {
+            return shape.fail(where, `${opcode} takes ${operandCount(opcode)} operands and carries ${operands.length}`);
+        }
+        const tables = OPERAND_TABLES[opcode] ?? [];
+        for (let k = 0; k < operands.length; k += 1) {
+            const operand = operands[k];
+            if (!shape.whole(operand, `${where} operand ${k}`))
+                return false;
+            const table = tables[k];
+            if (table === undefined || table === 'count') {
+                if (operand < 0) {
+                    return shape.fail(`${where} operand ${k}`, 'a count cannot be negative');
+                }
+                continue;
+            }
+            if (table === 'target') {
+                // Check 3. A target past the terminator is out of the list.
+                if (operand < 0 || operand >= code.length) {
+                    return shape.fail(where, `the jump target ${operand} is outside a list of ${code.length}`);
+                }
+                continue;
+            }
+            // A `CALL_LIB` with no state carries -1 rather than an index.
+            if (opcode === 'CALL_LIB' && table === 'states' && operand === -1)
+                continue;
+            // A series binding a call site left unbound is -1 and no `HISTP` may reach it.
+            const size = limits[table];
+            if (typeof size !== 'number')
+                continue;
+            if (operand < 0 || operand >= size) {
+                return shape.fail(`${where} operand ${k}`, `${operand} is outside ${TABLE_NAMES[table] ?? table}, which holds ${size}`);
+            }
+        }
+        // Check 6: the target of a backward jump is a `TICK`.
+        for (const position of targetPositions(opcode)) {
+            const target = operands[position];
+            if (typeof target !== 'number' || target > i)
+                continue;
+            const landing = code[target];
+            if (!Array.isArray(landing) || landing[0] !== 'TICK') {
+                return shape.fail(where, `it jumps back to instruction ${target}, which is not a TICK, so the loop would ` +
+                    'run without charging the budget');
+            }
+        }
+    }
+    // Check 4.
+    const last = code[code.length - 1];
+    if (!Array.isArray(last) || last[0] !== terminator) {
+        return shape.fail(atInstruction(list, code.length - 1), `the last instruction of this list must be ${terminator}`);
+    }
+    for (let i = 0; i < code.length - 1; i += 1) {
+        const opcode = code[i]?.[0];
+        if (opcode === 'HALT') {
+            return shape.fail(atInstruction(list, i), 'HALT is only ever the last instruction');
+        }
+    }
+    return checkDepths(shape, list, code, limits, terminator);
+}
+/**
+ * Check 5: the stack depth agrees on every path, never goes below zero, and is
+ * zero at the terminator.
+ *
+ * A disagreement at a join is a corrupt program, not a program with an unusual
+ * shape: every instruction has a fixed effect, so two paths reaching one
+ * instruction with different depths means one of them was built wrong.
+ */
+function checkDepths(shape, list, code, limits, terminator) {
+    const depths = new Array(code.length).fill(undefined);
+    const pending = [0];
+    depths[0] = 0;
+    const reach = (index, depth, from) => {
+        if (depth < 0) {
+            return shape.fail(atInstruction(list, from), 'it takes the stack below zero');
+        }
+        const known = depths[index];
+        if (known === undefined) {
+            depths[index] = depth;
+            pending.push(index);
+            return true;
+        }
+        if (known !== depth) {
+            return shape.fail(atInstruction(list, index), `two paths reach it with the stack ${known} and ${depth} deep`);
+        }
+        return true;
+    };
+    while (pending.length > 0) {
+        const index = pending.pop();
+        if (index === undefined)
+            continue;
+        const instruction = code[index];
+        const depth = depths[index];
+        if (instruction === undefined || depth === undefined)
+            continue;
+        const opcode = instruction[0];
+        const operands = instruction.slice(1);
+        const after = depth + depthChange(opcode, operands, (site) => limits.argcOf(site));
+        if (opcode === terminator) {
+            if (after !== 0) {
+                return shape.fail(atInstruction(list, index), `the stack is ${after} deep at ${terminator} and must be empty`);
+            }
+            continue;
+        }
+        for (const position of targetPositions(opcode)) {
+            const target = operands[position];
+            if (typeof target === 'number' && !reach(target, after, index))
+                return false;
+        }
+        if (opcode !== 'JUMP' && opcode !== 'RET' && opcode !== 'HALT') {
+            if (!reach(index + 1, after, index))
+                return false;
+        }
+    }
+    return true;
+}
+/**
+ * Check 7: every channel declared `once` is written exactly once on every path
+ * from instruction 0 to `HALT`.
+ *
+ * That is how a plot column is guaranteed a value, or an explicit absence, for
+ * every bar. The counts are capped at two, because "more than once" is the whole
+ * of what the check needs to know and a loop would otherwise never settle.
+ */
+export function checkOnce(shape, code, once) {
+    const channels = once.length;
+    if (channels === 0)
+        return true;
+    const cap = 2;
+    const least = new Array(code.length).fill(undefined);
+    const most = new Array(code.length).fill(undefined);
+    const pending = [0];
+    least[0] = new Array(channels).fill(0);
+    most[0] = new Array(channels).fill(0);
+    const merge = (index, low, high) => {
+        if (index < 0 || index >= code.length)
+            return;
+        const knownLow = least[index];
+        const knownHigh = most[index];
+        if (knownLow === undefined || knownHigh === undefined) {
+            least[index] = [...low];
+            most[index] = [...high];
+            pending.push(index);
+            return;
+        }
+        let changed = false;
+        for (let c = 0; c < channels; c += 1) {
+            const lower = Math.min(knownLow[c] ?? 0, low[c] ?? 0);
+            const upper = Math.min(cap, Math.max(knownHigh[c] ?? 0, high[c] ?? 0));
+            if (lower !== knownLow[c]) {
+                knownLow[c] = lower;
+                changed = true;
+            }
+            if (upper !== knownHigh[c]) {
+                knownHigh[c] = upper;
+                changed = true;
+            }
+        }
+        if (changed)
+            pending.push(index);
+    };
+    let end = -1;
+    while (pending.length > 0) {
+        const index = pending.pop();
+        if (index === undefined)
+            continue;
+        const instruction = code[index];
+        const low = least[index];
+        const high = most[index];
+        if (instruction === undefined || low === undefined || high === undefined)
+            continue;
+        const opcode = instruction[0];
+        if (opcode === 'HALT') {
+            end = index;
+            continue;
+        }
+        const nextLow = [...low];
+        const nextHigh = [...high];
+        if (opcode === 'EMIT') {
+            const channel = instruction[1] ?? 0;
+            nextLow[channel] = Math.min(cap, (nextLow[channel] ?? 0) + 1);
+            nextHigh[channel] = Math.min(cap, (nextHigh[channel] ?? 0) + 1);
+        }
+        for (const position of targetPositions(opcode)) {
+            const target = instruction[position + 1];
+            if (typeof target === 'number')
+                merge(target, nextLow, nextHigh);
+        }
+        if (opcode !== 'JUMP' && opcode !== 'RET')
+            merge(index + 1, nextLow, nextHigh);
+    }
+    if (end < 0)
+        return shape.fail('code', 'no path reaches HALT');
+    const low = least[end] ?? [];
+    const high = most[end] ?? [];
+    for (let c = 0; c < channels; c += 1) {
+        if (!once[c])
+            continue;
+        if (low[c] !== 1 || high[c] !== 1) {
+            return shape.fail(`channels[${c}]`, `it is declared once and is written ${low[c] ?? 0} to ${high[c] ?? 0} times on a path to HALT`);
+        }
+    }
+    return true;
+}
+//# sourceMappingURL=verify-code.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify-code.js","sourceRoot":"","sources":["../../../src/core/engine/verify-code.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGxF,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAiB5C,6DAA6D;AAC7D,MAAM,cAAc,GAClB;IACE,KAAK,EAAE,CAAC,QAAQ,CAAC;IACjB,IAAI,EAAE,CAAC,OAAO,CAAC;IACf,KAAK,EAAE,CAAC,OAAO,CAAC;IAChB,SAAS,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC9B,KAAK,EAAE,CAAC,OAAO,CAAC;IAChB,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,KAAK,EAAE,CAAC,WAAW,CAAC;IACpB,MAAM,EAAE,CAAC,WAAW,CAAC;IACrB,IAAI,EAAE,CAAC,WAAW,CAAC;IACnB,KAAK,EAAE,CAAC,QAAQ,CAAC;IACjB,SAAS,EAAE,CAAC,QAAQ,CAAC;IACrB,QAAQ,EAAE,CAAC,QAAQ,CAAC;IACpB,IAAI,EAAE,CAAC,QAAQ,CAAC;IAChB,UAAU,EAAE,CAAC,QAAQ,CAAC;IACtB,IAAI,EAAE,CAAC,OAAO,CAAC;IACf,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC;IACxD,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC;IACxD,KAAK,EAAE,CAAC,OAAO,CAAC;IAChB,QAAQ,EAAE,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAC;IAC7C,OAAO,EAAE,CAAC,WAAW,CAAC;IACtB,IAAI,EAAE,CAAC,UAAU,CAAC;CACnB,CAAC;AAEJ,MAAM,WAAW,GAAqC;IACpD,KAAK,EAAE,WAAW;IAClB,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,QAAQ;IAChB,SAAS,EAAE,QAAQ;IACnB,QAAQ,EAAE,UAAU;IACpB,YAAY,EAAE,eAAe;IAC7B,SAAS,EAAE,WAAW;IACtB,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,iCAAiC;CAC1C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CACvB,KAAiB,EACjB,IAAY,EACZ,IAA4B,EAC5B,MAAkB,EAClB,UAA0B;IAE1B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;IAEtF,uCAAuC;IACvC,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,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACnD,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACpD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,0CAA0C,CAAC,CAAC;QACxF,CAAC;QACD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,OAAO,KAAK,CAAC,IAAI,CACf,KAAK,EACL,GAAG,MAAM,UAAU,YAAY,CAAC,MAAM,CAAC,yBAAyB,QAAQ,CAAC,MAAM,EAAE,CAClF,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,KAAK,YAAY,CAAC,EAAE,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjE,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;gBAC7C,IAAK,OAAkB,GAAG,CAAC,EAAE,CAAC;oBAC5B,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,YAAY,CAAC,EAAE,EAAE,4BAA4B,CAAC,CAAC;gBAC3E,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACvB,4DAA4D;gBAC5D,IAAK,OAAkB,GAAG,CAAC,IAAK,OAAkB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAClE,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,mBAAmB,OAAO,yBAAyB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC7F,CAAC;gBACD,SAAS;YACX,CAAC;YACD,8DAA8D;YAC9D,IAAI,MAAM,KAAK,UAAU,IAAI,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,CAAC;gBAAE,SAAS;YAC5E,+EAA+E;YAC/E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACvC,IAAK,OAAkB,GAAG,CAAC,IAAK,OAAkB,IAAI,IAAI,EAAE,CAAC;gBAC3D,OAAO,KAAK,CAAC,IAAI,CACf,GAAG,KAAK,YAAY,CAAC,EAAE,EACvB,GAAG,OAAO,eAAe,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB,IAAI,EAAE,CAC5E,CAAC;YACJ,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,GAAG,CAAC;gBAAE,SAAS;YACvD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;gBACrD,OAAO,KAAK,CAAC,IAAI,CACf,KAAK,EACL,gCAAgC,MAAM,2CAA2C;oBAC/E,iCAAiC,CACpC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,WAAW;IACX,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC,IAAI,CACf,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EACpC,6CAA6C,UAAU,EAAE,CAC1D,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,wCAAwC,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAClB,KAAiB,EACjB,IAAY,EACZ,IAA4B,EAC5B,MAAkB,EAClB,UAA0B;IAE1B,MAAM,MAAM,GAA2B,IAAI,KAAK,CAAqB,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClG,MAAM,OAAO,GAAa,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAEd,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,KAAa,EAAE,IAAY,EAAW,EAAE;QACpE,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,OAAO,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,+BAA+B,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YACpB,OAAO,KAAK,CAAC,IAAI,CACf,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,EAC1B,qCAAqC,KAAK,QAAQ,KAAK,OAAO,CAC/D,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,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,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACnF,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;YAC1B,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,OAAO,KAAK,CAAC,IAAI,CACf,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,EAC1B,gBAAgB,KAAK,YAAY,UAAU,oBAAoB,CAChE,CAAC;YACJ,CAAC;YACD,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,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC/E,CAAC;QACD,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YAC/D,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;QACpD,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CACvB,KAAiB,EACjB,IAA4B,EAC5B,IAAwB;IAExB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7B,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,GAAG,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAA6B,IAAI,KAAK,CAAuB,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CACvF,SAAS,CACV,CAAC;IACF,MAAM,IAAI,GAA6B,IAAI,KAAK,CAAuB,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CACtF,SAAS,CACV,CAAC;IACF,MAAM,OAAO,GAAa,CAAC,CAAC,CAAC,CAAC;IAC9B,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,CAAS,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,CAAS,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE9C,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,GAAsB,EAAE,IAAuB,EAAQ,EAAE;QACrF,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO;QACT,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACvE,IAAI,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;gBACpB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;YACD,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;gBACrB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,IAAI,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC;IAEF,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC;IACb,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,WAAW,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACnF,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACtB,GAAG,GAAG,KAAK,CAAC;YACZ,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;QACzB,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAC3B,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACtB,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACpC,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9D,QAAQ,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,MAAgB,CAAC,EAAE,CAAC;YACzD,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,OAAO,MAAM,KAAK,QAAQ;gBAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,KAAK;YAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjF,CAAC;IAED,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,SAAS;QACvB,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO,KAAK,CAAC,IAAI,CACf,YAAY,CAAC,GAAG,EAChB,sCAAsC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAC/F,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

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

@@ -0,0 +1,44 @@
+/**
+ * Check 1 of `compiled-program.md` 3.5 over `requests` and the bodies inside
+ * it.
+ *
+ * A read's body holds the tables a program holds for the machine of section 3,
+ * counted from zero, so it needs the same walk the program's own tables get and
+ * for the same reason: every later step indexes into them, and an index out of
+ * range that is not caught here is read past the end of an array during a bar.
+ *
+ * **A body that was not walked is the hole the whole verification exists to
+ * close.** It is reached by the same interpreter, with the same instruction
+ * list, over another instrument's history. Verifying the program and not the
+ * expression it carries would leave exactly the failure 3.5 is written to
+ * prevent, one level down where nobody would look for it.
+ */
+import type { ShapeCheck } from './verify-shape.js';
+/** The tables a machine indexes, wherever they sit in the program. */
+export interface MachineTables {
+    readonly series: readonly unknown[];
+    readonly cells: readonly unknown[];
+    readonly states: readonly unknown[];
+    readonly functions: readonly unknown[];
+    readonly callSites: readonly unknown[];
+    readonly loops: readonly unknown[];
+    readonly slots: number;
+    readonly libFunctions: number;
+}
+/**
+ * Every table one machine indexes, and every index into one of them.
+ *
+ * Shared by the program and by every request body rather than written twice,
+ * because two copies of this walk would be two places for a table to gain a
+ * field and only one of them to learn about it.
+ */
+export declare function checkMachineTables(shape: ShapeCheck, prefix: string, tables: MachineTables): boolean;
+/**
+ * `requests` and every body inside it, 2.16.
+ *
+ * `series` is the register of the **enclosing** machine that the read's value
+ * lands in, so it is checked against the table the caller passes; everything
+ * inside `body` is the body's own and is checked against the body's.
+ */
+export declare function checkRequests(shape: ShapeCheck, prefix: string, requests: readonly unknown[], registers: number, libFunctions: number, keys: ReadonlySet<string>): boolean;
+//# sourceMappingURL=verify-requests.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify-requests.d.ts","sourceRoot":"","sources":["../../../src/core/engine/verify-requests.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAMpD,sEAAsE;AACtE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAYD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,aAAa,GACpB,OAAO,CAqET;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,SAAS,OAAO,EAAE,EAC5B,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,GACxB,OAAO,CAGT"}

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

@@ -0,0 +1,220 @@
+const READS = ['timeframe', 'symbol'];
+const MODES = ['confirmed', 'developing', 'lookahead'];
+const CHART_FACTS = ['symbol', 'exchange', 'interval'];
+// The five the format declares (compiled-program.md section 2, series[].kind).
+// A verifier that listed only the kinds an engine happens to execute would
+// refuse a well-formed program with a message blaming the compiler that wrote
+// it, and would pre-empt the capability refusal that exists to say which
+// feature is missing. Verification answers "is this a valid program", and the
+// capability check answers "can I run it".
+const REGISTER_KINDS = ['bar', 'computed', 'argument', 'request', 'input'];
+const CELL_KINDS = ['var', 'live'];
+const LOOP_KINDS = ['for', 'forIn', 'while'];
+/**
+ * Every table one machine indexes, and every index into one of them.
+ *
+ * Shared by the program and by every request body rather than written twice,
+ * because two copies of this walk would be two places for a table to gain a
+ * field and only one of them to learn about it.
+ */
+export function checkMachineTables(shape, prefix, tables) {
+    for (let i = 0; i < tables.series.length; i += 1) {
+        const register = tables.series[i];
+        const path = `${prefix}series[${i}]`;
+        if (!shape.object(register, path))
+            return false;
+        if (register['id'] !== i)
+            return shape.fail(`${path}.id`, 'a register id is its position');
+        if (!shape.one(register['kind'], `${path}.kind`, REGISTER_KINDS))
+            return false;
+        if (register['kind'] === 'bar' && !shape.string(register['field'], `${path}.field`)) {
+            return false;
+        }
+    }
+    for (let i = 0; i < tables.cells.length; i += 1) {
+        const cell = tables.cells[i];
+        const path = `${prefix}cells[${i}]`;
+        if (!shape.object(cell, path))
+            return false;
+        if (!shape.one(cell['kind'], `${path}.kind`, CELL_KINDS))
+            return false;
+    }
+    for (let i = 0; i < tables.states.length; i += 1) {
+        const state = tables.states[i];
+        const path = `${prefix}states[${i}]`;
+        if (!shape.object(state, path))
+            return false;
+        if (!shape.index(state['fn'], `${path}.fn`, tables.libFunctions, 'lib.functions'))
+            return false;
+    }
+    for (let i = 0; i < tables.functions.length; i += 1) {
+        const one = tables.functions[i];
+        const path = `${prefix}functions[${i}]`;
+        if (!shape.object(one, path))
+            return false;
+        if (!shape.string(one['name'], `${path}.name`))
+            return false;
+        if (!shape.whole(one['params'], `${path}.params`))
+            return false;
+        if (!shape.whole(one['slots'], `${path}.slots`))
+            return false;
+        if (!shape.array(one['code'], `${path}.code`))
+            return false;
+        if (Number(one['params']) > Number(one['slots'])) {
+            return shape.fail(`${path}.slots`, 'a frame cannot be smaller than its parameter list');
+        }
+    }
+    for (let i = 0; i < tables.callSites.length; i += 1) {
+        const site = tables.callSites[i];
+        const path = `${prefix}callSites[${i}]`;
+        if (!shape.object(site, path))
+            return false;
+        if (!shape.index(site['fn'], `${path}.fn`, tables.functions.length, 'functions'))
+            return false;
+        if (!shape.whole(site['argc'], `${path}.argc`))
+            return false;
+        if (!shape.whole(site['cellBase'], `${path}.cellBase`))
+            return false;
+        if (!shape.whole(site['stateBase'], `${path}.stateBase`))
+            return false;
+        if (!shape.array(site['series'], `${path}.series`))
+            return false;
+        const target = tables.functions[Number(site['fn'])];
+        if (site['argc'] !== target['params']) {
+            return shape.fail(`${path}.argc`, "a site passes exactly the function's parameter count");
+        }
+        for (let k = 0; k < site['series'].length; k += 1) {
+            const bound = site['series'][k];
+            if (bound === -1)
+                continue;
+            if (!shape.index(bound, `${path}.series[${k}]`, tables.series.length, 'series'))
+                return false;
+        }
+    }
+    for (let i = 0; i < tables.loops.length; i += 1) {
+        const loop = tables.loops[i];
+        const path = `${prefix}loops[${i}]`;
+        if (!shape.object(loop, path))
+            return false;
+        if (!shape.one(loop['kind'], `${path}.kind`, LOOP_KINDS))
+            return false;
+        if (!shape.whole(loop['line'], `${path}.line`))
+            return false;
+        if (!shape.whole(loop['col'], `${path}.col`))
+            return false;
+    }
+    return true;
+}
+/**
+ * `requests` and every body inside it, 2.16.
+ *
+ * `series` is the register of the **enclosing** machine that the read's value
+ * lands in, so it is checked against the table the caller passes; everything
+ * inside `body` is the body's own and is checked against the body's.
+ */
+export function checkRequests(shape, prefix, requests, registers, libFunctions, keys) {
+    const seen = new Set();
+    return walk(shape, prefix, requests, registers, libFunctions, keys, seen);
+}
+function walk(shape, prefix, requests, registers, libFunctions, keys, seen) {
+    for (let i = 0; i < requests.length; i += 1) {
+        const request = requests[i];
+        const path = `${prefix}requests[${i}]`;
+        if (!shape.object(request, path))
+            return false;
+        if (!shape.whole(request['id'], `${path}.id`))
+            return false;
+        // The id is this read's handle and is what `req.isReady` is handed, so two
+        // reads sharing one would answer each other's question.
+        if (seen.has(request['id'])) {
+            return shape.fail(`${path}.id`, `${request['id']} is already another read's handle`);
+        }
+        seen.add(request['id']);
+        if (!shape.one(request['read'], `${path}.read`, READS))
+            return false;
+        if (!shape.one(request['mode'], `${path}.mode`, MODES))
+            return false;
+        if (!shape.index(request['series'], `${path}.series`, registers, 'series'))
+            return false;
+        if (request['warmup'] !== null && !shape.whole(request['warmup'], `${path}.warmup`)) {
+            return false;
+        }
+        for (const field of ['symbol', 'exchange', 'timeframe']) {
+            if (!checkIdentity(shape, request[field], `${path}.${field}`, keys))
+                return false;
+        }
+        if (!checkBody(shape, `${path}.body.`, request['body'], libFunctions, keys, seen))
+            return false;
+    }
+    return true;
+}
+function checkBody(shape, prefix, raw, libFunctions, keys, seen) {
+    const at = prefix.slice(0, -1);
+    if (!shape.object(raw, at))
+        return false;
+    for (const name of ['inputs', 'series', 'cells', 'states', 'functions', 'callSites', 'loops',
+        'requests', 'code', 'pos', 'fnPos']) {
+        if (!shape.array(raw[name], `${prefix}${name}`))
+            return false;
+    }
+    if (!shape.object(raw['frame'], `${prefix}frame`))
+        return false;
+    if (!shape.whole(raw['frame']['slots'], `${prefix}frame.slots`))
+        return false;
+    const series = raw['series'];
+    if (!checkMachineTables(shape, prefix, {
+        series,
+        cells: raw['cells'],
+        states: raw['states'],
+        functions: raw['functions'],
+        callSites: raw['callSites'],
+        loops: raw['loops'],
+        slots: Number(raw['frame']['slots']),
+        libFunctions,
+    })) {
+        return false;
+    }
+    const inputs = raw['inputs'];
+    for (let i = 0; i < inputs.length; i += 1) {
+        const input = inputs[i];
+        const path = `${prefix}inputs[${i}]`;
+        if (!shape.object(input, path))
+            return false;
+        if (!shape.string(input['input'], `${path}.input`))
+            return false;
+        if (!keys.has(input['input'])) {
+            return shape.fail(path, `it names the input ${input['input']}, which inputs[] does not declare`);
+        }
+        if (!shape.index(input['series'], `${path}.series`, series.length, 'the body\'s series')) {
+            return false;
+        }
+    }
+    return walk(shape, prefix, raw['requests'], series.length, libFunctions, keys, seen);
+}
+/**
+ * One of the three forms a request's identity field takes, 2.16.
+ *
+ * A value, the setting that supplies it, or one of the three chart facts that
+ * identify a chart rather than describe it. The rest of the `chart` namespace
+ * describes the chart, and a request built from one of those would name nothing.
+ */
+function checkIdentity(shape, value, path, keys) {
+    if (value === null || typeof value === 'string')
+        return true;
+    if (!shape.object(value, path))
+        return false;
+    const named = value['input'];
+    if (named !== undefined) {
+        if (!shape.string(named, `${path}.input`))
+            return false;
+        if (!keys.has(named)) {
+            return shape.fail(path, `it names the input ${named}, which inputs[] does not declare`);
+        }
+        return true;
+    }
+    if (value['chart'] === undefined) {
+        return shape.fail(path, 'an object here names an input or a chart fact');
+    }
+    return shape.one(value['chart'], `${path}.chart`, CHART_FACTS);
+}
+//# sourceMappingURL=verify-requests.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify-requests.js","sourceRoot":"","sources":["../../../src/core/engine/verify-requests.ts"],"names":[],"mappings":"AAiBA,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAU,CAAC;AAC/C,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,YAAY,EAAE,WAAW,CAAU,CAAC;AAChE,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAU,CAAC;AAchE,+EAA+E;AAC/E,2EAA2E;AAC3E,8EAA8E;AAC9E,yEAAyE;AACzE,8EAA8E;AAC9E,2CAA2C;AAC3C,MAAM,cAAc,GAAG,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAU,CAAC;AACpF,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,MAAM,CAAU,CAAC;AAC5C,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAU,CAAC;AAEtD;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAiB,EACjB,MAAc,EACd,MAAqB;IAErB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAChD,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,+BAA+B,CAAC,CAAC;QAC3F,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,cAAc,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/E,IAAI,QAAQ,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,EAAE,CAAC;YACpF,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;IACzE,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,KAAK,EAAE,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC;YAAE,OAAO,KAAK,CAAC;IAClG,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC;QACxC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5D,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACjD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,QAAQ,EAAE,mDAAmD,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC;QACxC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/F,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,IAAI,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QACrE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,IAAI,YAAY,CAAC;YAAE,OAAO,KAAK,CAAC;QACvE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QACjE,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAsC,CAAC;QACzF,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,EAAE,sDAAsD,CAAC,CAAC;QAC5F,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,KAAK,KAAK,CAAC,CAAC;gBAAE,SAAS;YAC3B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;QAChG,CAAC;IACH,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;QACvE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;IAC7D,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAiB,EACjB,MAAc,EACd,QAA4B,EAC5B,SAAiB,EACjB,YAAoB,EACpB,IAAyB;IAEzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,IAAI,CACX,KAAiB,EACjB,MAAc,EACd,QAA4B,EAC5B,SAAiB,EACjB,YAAoB,EACpB,IAAyB,EACzB,IAAiB;IAEjB,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,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5D,2EAA2E;QAC3E,wDAAwD;QACxD,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC5B,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACrE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACrE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACzF,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,SAAS,CAAC,EAAE,CAAC;YACpF,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QACpF,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IAClG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAChB,KAAiB,EACjB,MAAc,EACd,GAAY,EACZ,YAAoB,EACpB,IAAyB,EACzB,IAAiB;IAEjB,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO;QAC1F,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;IAChE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,aAAa,CAAC;QAAE,OAAO,KAAK,CAAC;IAE9E,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAuB,CAAC;IACnD,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE;QACrC,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,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;QACpC,YAAY;KACb,CAAC,EAAE,CAAC;QACH,OAAO,KAAK,CAAC;IACf,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,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACjE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,sBAAsB,KAAK,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,EAAE,CAAC;YACzF,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,CAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,EAC3F,IAAI,EAAE,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CACpB,KAAiB,EACjB,KAAc,EACd,IAAY,EACZ,IAAyB;IAEzB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACxD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,sBAAsB,KAAK,mCAAmC,CAAC,CAAC;QAC1F,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,+CAA+C,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,EAAE,WAAW,CAAC,CAAC;AACjE,CAAC"}

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

@@ -0,0 +1,46 @@
+/**
+ * Check 1 of `compiled-program.md` 3.5: every required field is present and of
+ * the declared type.
+ *
+ * This is the half of verification that reads an untrusted object and decides
+ * whether it is a compiled program at all. It runs before anything else,
+ * because every later check indexes into a table this one proves is a table.
+ *
+ * The failures are all one code. OS6018 covers a malformed instruction list, an
+ * unreadable encoding and a field of the wrong type because they are not
+ * separate fixes: each is a defect of the compiler that wrote the program, and
+ * none of them is repairable by hand. What varies is the location, and the
+ * location is a field path, so a compiler author is told `outputs.plots[2].
+ * channel` rather than "structure".
+ */
+import type { Diagnostic } from '../diagnostics/index.js';
+type Unknown = Readonly<Record<string, unknown>>;
+/** Collects the first failure and stops: a malformed program has no second opinion. */
+export declare class ShapeCheck {
+    private failure;
+    problem(): Diagnostic | undefined;
+    fail(path: string, reason: string): false;
+    object(value: unknown, path: string): value is Unknown;
+    array(value: unknown, path: string): value is readonly unknown[];
+    number(value: unknown, path: string): value is number;
+    whole(value: unknown, path: string): value is number;
+    string(value: unknown, path: string): value is string;
+    bool(value: unknown, path: string): value is boolean;
+    /** A whole number that indexes a table, with the table's size in the message. */
+    index(value: unknown, path: string, size: number, table: string): value is number;
+    one<T extends string>(value: unknown, path: string, allowed: readonly T[]): value is T;
+    /** A field that may be a value or null, which is a value the script could write. */
+    nullable(value: unknown, path: string, check: (v: unknown, p: string) => boolean): boolean;
+}
+export declare function checkConstant(shape: ShapeCheck, value: unknown, path: string): boolean;
+export declare function checkColour(shape: ShapeCheck, value: unknown, path: string): boolean;
+/**
+ * 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 declare function checkField(shape: ShapeCheck, value: unknown, path: string, keys: ReadonlySet<string>): boolean;
+export {};
+//# sourceMappingURL=verify-shape.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify-shape.d.ts","sourceRoot":"","sources":["../../../src/core/engine/verify-shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAG1D,KAAK,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEjD,uFAAuF;AACvF,qBAAa,UAAU;IACrB,OAAO,CAAC,OAAO,CAAyB;IAExC,OAAO,IAAI,UAAU,GAAG,SAAS;IAIjC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK;IAKzC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,IAAI,OAAO;IAOtD,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,IAAI,SAAS,OAAO,EAAE;IAKhE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,IAAI,MAAM;IAOrD,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,IAAI,MAAM;IAMpD,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,IAAI,MAAM;IAKrD,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,IAAI,OAAO;IAKpD,iFAAiF;IACjF,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,MAAM;IAQjF,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,GAAG,KAAK,IAAI,CAAC;IAQtF,oFAAoF;IACpF,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,OAAO,GAAG,OAAO;CAG3F;AAKD,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAkBtF;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAgBpF;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CACxB,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,GACxB,OAAO,CAmBT"}