openalgo-script 0.1.0-alpha.1 → 0.2.0

package/dist/core/emit/values.js

@@ -0,0 +1,242 @@
+import { withoutGrouping } from '../ast/index.js';
+import { FOLDABLE_CALLS } from '../check/index.js';
+import { hexColour, namedColour } from './colours.js';
+export const ABSENT = { kind: 'absent' };
+/** The language's own rounding, halves away from zero, `stdlib.md` 8.1. */
+export function roundHalfAway(x) {
+    return x < 0 ? -Math.floor(-x + 0.5) : Math.floor(x + 0.5);
+}
+/** Normalises a negative zero, which nothing in the language can observe (3.1). */
+function noNegativeZero(x) {
+    return x === 0 ? 0 : x;
+}
+function at(colour, index) {
+    return colour[index] ?? 0;
+}
+function colourOf(value) {
+    return value !== undefined && value.kind === 'colour' ? value.value : undefined;
+}
+function numberOf(value) {
+    return value !== undefined && value.kind === 'number' ? value.value : undefined;
+}
+function channel(x) {
+    return roundHalfAway(x);
+}
+/**
+ * The colour calls of `stdlib.md` 11.2 that a declaration field can hold.
+ *
+ * `mix` is included because it is the call that produces fractional channels
+ * and is therefore the one where the rounding rule bites; `alpha` is included
+ * because it returns a number and a script may use one in a field.
+ *
+ * Which names those are is the checker's `FOLDABLE_CALLS`, and is read from
+ * there rather than repeated here: the checker accepts a call in a field that
+ * has to be fixed before bar 0 on the strength of this folding it, so the two
+ * lists being one list is what keeps the compiler from refusing a script it had
+ * already passed.
+ */
+function foldColourCall(name, args) {
+    if (!FOLDABLE_CALLS.has(name))
+        return undefined;
+    if (name === 'rgb' || name === 'rgba') {
+        const r = numberOf(args[0]);
+        const g = numberOf(args[1]);
+        const b = numberOf(args[2]);
+        const a = name === 'rgba' ? numberOf(args[3]) : 1;
+        if (r === undefined || g === undefined || b === undefined || a === undefined)
+            return undefined;
+        return { kind: 'colour', value: [channel(r), channel(g), channel(b), a] };
+    }
+    if (name === 'fade' || name === 'withAlpha') {
+        const colour = colourOf(args[0]);
+        const amount = numberOf(args[1]);
+        if (colour === undefined || amount === undefined)
+            return undefined;
+        // fade takes transparency as a percentage and sets the alpha absolutely.
+        const alpha = name === 'fade' ? (100 - amount) / 100 : amount;
+        return { kind: 'colour', value: [colour[0], colour[1], colour[2], alpha] };
+    }
+    if (name === 'alpha') {
+        const colour = colourOf(args[0]);
+        return colour === undefined ? undefined : { kind: 'number', value: colour[3] };
+    }
+    if (name === 'mix') {
+        const a = colourOf(args[0]);
+        const b = colourOf(args[1]);
+        const weight = numberOf(args[2]);
+        if (a === undefined || b === undefined || weight === undefined)
+            return undefined;
+        const blend = (i) => channel(at(a, i) + (at(b, i) - at(a, i)) * weight);
+        return {
+            kind: 'colour',
+            value: [blend(0), blend(1), blend(2), a[3] + (b[3] - a[3]) * weight],
+        };
+    }
+    return undefined;
+}
+function foldArithmetic(operator, left, right) {
+    if (operator === '+' && left.kind === 'string' && right.kind === 'string') {
+        return { kind: 'string', value: left.value + right.value };
+    }
+    if (left.kind !== 'number' || right.kind !== 'number')
+        return undefined;
+    const a = left.value;
+    const b = right.value;
+    let result;
+    switch (operator) {
+        case '+':
+            result = a + b;
+            break;
+        case '-':
+            result = a - b;
+            break;
+        case '*':
+            result = a * b;
+            break;
+        case '/':
+            if (b === 0)
+                return ABSENT;
+            result = a / b;
+            break;
+        case '%':
+            if (b === 0)
+                return ABSENT;
+            result = a % b;
+            break;
+        default:
+            return undefined;
+    }
+    // Any result that is not finite is absent, checked after each operation (3.1).
+    return Number.isFinite(result)
+        ? { kind: 'number', value: noNegativeZero(result) }
+        : ABSENT;
+}
+/**
+ * The value an expression has before bar 0, or nothing when it has none.
+ *
+ * Nothing here reports a diagnostic. An expression the checker already accepted
+ * as a compile-time constant and this refuses is a shape the format cannot
+ * carry, and the caller is the one that knows which field it was going into.
+ */
+export function fold(expression, environment) {
+    const inner = withoutGrouping(expression);
+    switch (inner.kind) {
+        case 'numberLiteral':
+            return { kind: 'number', value: noNegativeZero(inner.value) };
+        case 'stringLiteral':
+            return { kind: 'string', value: inner.value };
+        case 'booleanLiteral':
+            return { kind: 'bool', value: inner.value };
+        case 'noneLiteral':
+            return ABSENT;
+        case 'colorLiteral': {
+            const colour = hexColour(inner.text);
+            return colour === undefined ? undefined : { kind: 'colour', value: colour };
+        }
+        case 'nameReference': {
+            const named = namedColour(inner.name);
+            if (named !== undefined)
+                return { kind: 'colour', value: named };
+            return environment.name(inner);
+        }
+        case 'member': {
+            const object = withoutGrouping(inner.object);
+            if (object.kind !== 'nameReference' || object.name !== 'math')
+                return undefined;
+            if (inner.member.text === 'pi')
+                return { kind: 'number', value: Math.PI };
+            if (inner.member.text === 'e')
+                return { kind: 'number', value: Math.E };
+            return undefined;
+        }
+        case 'arrayLiteral': {
+            const values = [];
+            for (const element of inner.elements) {
+                const value = fold(element, environment);
+                if (value === undefined)
+                    return undefined;
+                // A reference stands **in place of** a field's value and never inside
+                // one, so `range = [input(0, "Low"), 100]` has nowhere in the format to
+                // live and is refused here rather than written as an absent range.
+                if (value.kind === 'input')
+                    return undefined;
+                values.push(value);
+            }
+            return { kind: 'array', values };
+        }
+        case 'unary': {
+            const operand = fold(inner.operand, environment);
+            if (operand === undefined)
+                return undefined;
+            if (operand.kind === 'absent')
+                return ABSENT;
+            if (inner.operator === 'not') {
+                return operand.kind === 'bool' ? { kind: 'bool', value: !operand.value } : undefined;
+            }
+            if (operand.kind !== 'number')
+                return undefined;
+            const value = inner.operator === '-' ? -operand.value : operand.value;
+            return { kind: 'number', value: noNegativeZero(value) };
+        }
+        case 'binary': {
+            const left = fold(inner.left, environment);
+            const right = fold(inner.right, environment);
+            if (left === undefined || right === undefined)
+                return undefined;
+            if (left.kind === 'absent' || right.kind === 'absent')
+                return ABSENT;
+            return foldArithmetic(inner.operator, left, right);
+        }
+        case 'ternary': {
+            const condition = fold(inner.condition, environment);
+            if (condition === undefined || condition.kind !== 'bool')
+                return undefined;
+            return fold(condition.value ? inner.whenTrue : inner.whenFalse, environment);
+        }
+        case 'call': {
+            const resolved = environment.call(inner);
+            if (resolved === undefined)
+                return undefined;
+            // An `input()` written in place is the reference of 2.3, exactly as the
+            // name a script bound one to is. `language.md` 13.2 admits both spellings
+            // of an option value and the declaration line can only write this one:
+            // it is the first statement of the file, so there is no name above it.
+            if (resolved.name === 'input')
+                return environment.input(inner);
+            const args = resolved.args.map((one) => one === undefined ? undefined : fold(one.value, environment));
+            return foldColourCall(resolved.name, args);
+        }
+        default:
+            return undefined;
+    }
+}
+/**
+ * A folded value as a declaration field, `compiled-program.md` 2.3.
+ *
+ * Absence is null, because absence is what an argument a script named none for
+ * resolves to and null is the effective value rather than a missing one. An
+ * input is carried as its reference and is resolved away before bar 0.
+ */
+export function fieldOf(value) {
+    if (value === undefined)
+        return null;
+    switch (value.kind) {
+        case 'absent':
+            return null;
+        case 'bool':
+            return value.value;
+        case 'number':
+            return value.value;
+        case 'string':
+            return value.value;
+        case 'colour':
+            return value.value;
+        case 'input':
+            return { input: value.key };
+        case 'array': {
+            const numbers = value.values.map((one) => (one.kind === 'number' ? one.value : Number.NaN));
+            return numbers.some((one) => Number.isNaN(one)) ? null : numbers;
+        }
+    }
+}
+//# sourceMappingURL=values.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../../src/core/emit/values.ts"],"names":[],"mappings":"AAyBA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAYtD,MAAM,CAAC,MAAM,MAAM,GAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAahD,2EAA2E;AAC3E,MAAM,UAAU,aAAa,CAAC,CAAS;IACrC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AAC7D,CAAC;AAED,mFAAmF;AACnF,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzB,CAAC;AAID,SAAS,EAAE,CAAC,MAAgB,EAAE,KAAa;IACzC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,QAAQ,CAAC,KAAwB;IACxC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC;AAED,SAAS,QAAQ,CAAC,KAAwB;IACxC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC;AAED,SAAS,OAAO,CAAC,CAAS;IACxB,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,cAAc,CACrB,IAAY,EACZ,IAAoC;IAEpC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/F,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IAC5E,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACnE,yEAAyE;QACzE,MAAM,KAAK,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QAC9D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;IAC7E,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,CAAC;IACD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACjF,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;QACxF,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;SAC5D,CAAC;IACb,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,IAAW,EAAE,KAAY;IACjE,IAAI,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;IAC7D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACxE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACrB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,IAAI,MAAc,CAAC;IACnB,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,GAAG;YACN,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;YACf,MAAM;QACR,KAAK,GAAG;YACN,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;YACf,MAAM;QACR,KAAK,GAAG;YACN,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;YACf,MAAM;QACR,KAAK,GAAG;YACN,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;YAC3B,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;YACf,MAAM;QACR,KAAK,GAAG;YACN,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;YAC3B,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;YACf,MAAM;QACR;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,+EAA+E;IAC/E,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE;QACnD,CAAC,CAAC,MAAM,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,IAAI,CAAC,UAAsB,EAAE,WAA4B;IACvE,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,eAAe;YAClB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,KAAK,eAAe;YAClB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;QAChD,KAAK,gBAAgB;YACnB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9C,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC;QAChB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAC9E,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YACjE,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,SAAS,CAAC;YAChF,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;YAC1E,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YACxE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,MAAM,GAAY,EAAE,CAAC;YAC3B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACrC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;gBACzC,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBAC1C,sEAAsE;gBACtE,wEAAwE;gBACxE,mEAAmE;gBACnE,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,SAAS,CAAC;gBAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QACnC,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;YACjD,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC5C,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC;YAC7C,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAC7B,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YACvF,CAAC;YACD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YAChD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;YACtE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YAC7C,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAChE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC;YACrE,OAAO,cAAc,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YACrD,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC3E,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC/E,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC7C,wEAAwE;YACxE,0EAA0E;YAC1E,uEAAuE;YACvE,uEAAuE;YACvE,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAC7D,CAAC;YACF,OAAO,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAC,KAAwB;IAC9C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,KAAK,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,KAAK,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,KAAK,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,KAAK,CAAC;QACrB,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QAC9B,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5F,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;QACnE,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,66 @@
+import type { ResolvedInput } from './inputs.js';
+import type { Alert, CompiledProgram } from './types.js';
+import type { Value } from './values/index.js';
+/** One alert the engine raised, for the host to deliver. */
+export interface AlertFiring {
+    /** The entry's stable name: the script's `id`, or one derived from the line. */
+    readonly key: string;
+    readonly title: string;
+    /** The message, evaluated on the bar that fired, or absent where it was. */
+    readonly message: Value;
+    readonly bar: number;
+    /** The bar's open time in milliseconds, or null when the host stated none. */
+    readonly time: number | null;
+}
+/** What one execution of a bar offers the watch. */
+export interface AlertBar {
+    readonly index: number;
+    readonly time: number | null;
+    readonly isRealtime: boolean;
+}
+/**
+ * The watch for one program, with its declaration fields resolved.
+ *
+ * A title and a frequency are declaration fields, which a script may write with
+ * an `input()`, and inputs are resolved once at load. So they are read here,
+ * before bar 0, rather than per bar, as every other declaration the descriptor
+ * is built from is.
+ *
+ * A field that holds no string at all is a program whose field was lost or hand
+ * edited, and the frequency it falls back to is the safest of the three: at most
+ * one alert for a bar.
+ */
+export declare function alertsFor(program: CompiledProgram, inputs: readonly ResolvedInput[]): Alerts;
+/** One entry's declaration fields, resolved against the settings at load. */
+export interface AlertFields {
+    readonly title: string;
+    readonly frequency: string;
+}
+export declare class Alerts {
+    private readonly declared;
+    private readonly resolved;
+    /** The last bar each entry fired on, by declaration order. */
+    private readonly lastBar;
+    private readonly everFired;
+    constructor(declared: readonly Alert[], resolved: readonly AlertFields[]);
+    /**
+     * Step 9 on a bar the engine decided: the alerts it raises, in order.
+     *
+     * `read` is the channel's published value for this bar. A condition that is
+     * absent is not true, which is `language.md` 6.6's three-valued logic reaching
+     * a surface: an alert under a guard that was absent during warmup does not
+     * fire, and that is the most common reason a new alert looks dead.
+     */
+    raise(bar: AlertBar, read: (channel: number) => Value): readonly AlertFiring[];
+    /**
+     * The frequency rule, which nothing else in the program implies.
+     *
+     * Two engines that guessed would fire different numbers of alerts from one
+     * program, so the compiler writes the effective value and this reads it.
+     * `everyUpdate` is the one that needs no test here: it fires on every decided
+     * execution of the bar, which is why it needs `meta.onUnconfirmed` true to
+     * mean anything and is OS3009 without it.
+     */
+    private allowed;
+}
+//# sourceMappingURL=alerts.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"alerts.d.ts","sourceRoot":"","sources":["../../../src/core/engine/alerts.ts"],"names":[],"mappings":"AA+BA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,KAAK,EAAE,KAAK,EAAE,eAAe,EAAS,MAAM,YAAY,CAAC;AAChE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE/C,4DAA4D;AAC5D,MAAM,WAAW,WAAW;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,oDAAoD;AACpD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAMD;;;;;;;;;;;GAWG;AACH,wBAAgB,SAAS,CACvB,OAAO,EAAE,eAAe,EACxB,MAAM,EAAE,SAAS,aAAa,EAAE,GAC/B,MAAM,CAYR;AAED,6EAA6E;AAC7E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,qBAAa,MAAM;IACjB,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAmB;IAC5C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAyB;IAClD,8DAA8D;IAC9D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAW;IACnC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAY;gBAE1B,QAAQ,EAAE,SAAS,KAAK,EAAE,EAAE,QAAQ,EAAE,SAAS,WAAW,EAAE;IAOxE;;;;;;;OAOG;IACH,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,GAAG,SAAS,WAAW,EAAE;IAsB9E;;;;;;;;OAQG;IACH,OAAO,CAAC,OAAO;CAKhB"}

package/dist/core/engine/alerts.js

@@ -0,0 +1,119 @@
+/**
+ * The watched conditions, and the two rules that decide whether one fires.
+ *
+ * `outputs.alerts` is a declaration: a boolean channel, a message channel and a
+ * frequency (`compiled-program.md` 2.8). Turning that into an alert somebody is
+ * woken by is the engine's, because both rules that gate it are facts the
+ * engine holds and a host asked to apply them would be applying them
+ * differently in every host.
+ *
+ * **A confirmed bar, first.** The condition channel is declared `defer`, so it
+ * is applied at step 9 and only on a bar the engine decided (5.4). A condition
+ * that was true halfway through a bar and false when it closed never fires,
+ * which is the whole of what makes an alert worth acting on.
+ *
+ * **A bar the host is driving live, second.** `stdlib.md` 16.2: adding a study
+ * to a chart that already holds history fires nothing for those bars. The fact
+ * that separates the two is `bar.isRealtime`, which the host states and no
+ * engine can derive (`host-interface.md` 6.1 and 6.4): a history load states it
+ * false for every bar, and a live feed states it true for the bar it is
+ * driving. So the rule is one test against a fact somebody already had to
+ * state, rather than a watermark this would have to keep and get wrong after a
+ * recompute. An engine that only backtests states it false throughout and fires
+ * nothing, which is the same answer from the other direction.
+ *
+ * Neither rule is rolled back. A moving bar re-executes and its deferred
+ * channels are discarded each time, so nothing fires until the bar is decided;
+ * once one has fired, it has been sent, and no rollback unsends it. That is why
+ * `once` and `oncePerBar` are counted here rather than restored with the rest
+ * of the state.
+ */
+import { fieldValue } from './inputs.js';
+/** The three of `stdlib.md` 16.2, with the default first. */
+const ONCE_PER_BAR = 'oncePerBar';
+const ONCE = 'once';
+/**
+ * The watch for one program, with its declaration fields resolved.
+ *
+ * A title and a frequency are declaration fields, which a script may write with
+ * an `input()`, and inputs are resolved once at load. So they are read here,
+ * before bar 0, rather than per bar, as every other declaration the descriptor
+ * is built from is.
+ *
+ * A field that holds no string at all is a program whose field was lost or hand
+ * edited, and the frequency it falls back to is the safest of the three: at most
+ * one alert for a bar.
+ */
+export function alertsFor(program, inputs) {
+    const text = (field, fallback) => {
+        const value = fieldValue(field, inputs);
+        return typeof value === 'string' ? value : fallback;
+    };
+    return new Alerts(program.outputs.alerts, program.outputs.alerts.map((one) => ({
+        title: text(one.title, ''),
+        frequency: text(one.frequency, ONCE_PER_BAR),
+    })));
+}
+export class Alerts {
+    declared;
+    resolved;
+    /** The last bar each entry fired on, by declaration order. */
+    lastBar;
+    everFired;
+    constructor(declared, resolved) {
+        this.declared = declared;
+        this.resolved = resolved;
+        this.lastBar = declared.map(() => -1);
+        this.everFired = declared.map(() => false);
+    }
+    /**
+     * Step 9 on a bar the engine decided: the alerts it raises, in order.
+     *
+     * `read` is the channel's published value for this bar. A condition that is
+     * absent is not true, which is `language.md` 6.6's three-valued logic reaching
+     * a surface: an alert under a guard that was absent during warmup does not
+     * fire, and that is the most common reason a new alert looks dead.
+     */
+    raise(bar, read) {
+        if (this.declared.length === 0 || !bar.isRealtime)
+            return [];
+        const out = [];
+        for (let index = 0; index < this.declared.length; index += 1) {
+            const entry = this.declared[index];
+            const fields = this.resolved[index];
+            if (entry === undefined || fields === undefined)
+                continue;
+            if (read(entry.condChannel) !== true)
+                continue;
+            if (!this.allowed(index, bar.index, fields.frequency))
+                continue;
+            this.lastBar[index] = bar.index;
+            this.everFired[index] = true;
+            out.push({
+                key: entry.key,
+                title: fields.title,
+                message: entry.messageChannel === null ? null : read(entry.messageChannel),
+                bar: bar.index,
+                time: bar.time,
+            });
+        }
+        return out;
+    }
+    /**
+     * The frequency rule, which nothing else in the program implies.
+     *
+     * Two engines that guessed would fire different numbers of alerts from one
+     * program, so the compiler writes the effective value and this reads it.
+     * `everyUpdate` is the one that needs no test here: it fires on every decided
+     * execution of the bar, which is why it needs `meta.onUnconfirmed` true to
+     * mean anything and is OS3009 without it.
+     */
+    allowed(index, bar, frequency) {
+        if (frequency === ONCE)
+            return this.everFired[index] !== true;
+        if (frequency === ONCE_PER_BAR)
+            return this.lastBar[index] !== bar;
+        return true;
+    }
+}
+//# sourceMappingURL=alerts.js.map

package/dist/core/engine/alerts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alerts.js","sourceRoot":"","sources":["../../../src/core/engine/alerts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAwBzC,6DAA6D;AAC7D,MAAM,YAAY,GAAG,YAAY,CAAC;AAClC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,SAAS,CACvB,OAAwB,EACxB,MAAgC;IAEhC,MAAM,IAAI,GAAG,CAAC,KAAY,EAAE,QAAgB,EAAU,EAAE;QACtD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;IACtD,CAAC,CAAC;IACF,OAAO,IAAI,MAAM,CACf,OAAO,CAAC,OAAO,CAAC,MAAM,EACtB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC;QAC1B,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,CAAC;KAC7C,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC;AAQD,MAAM,OAAO,MAAM;IACA,QAAQ,CAAmB;IAC3B,QAAQ,CAAyB;IAClD,8DAA8D;IAC7C,OAAO,CAAW;IAClB,SAAS,CAAY;IAEtC,YAAY,QAA0B,EAAE,QAAgC;QACtE,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,GAAa,EAAE,IAAgC;QACnD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU;YAAE,OAAO,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAkB,EAAE,CAAC;QAC9B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YAC1D,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,IAAI;gBAAE,SAAS;YAC/C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC;gBAAE,SAAS;YAChE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC;YAChC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;YAC7B,GAAG,CAAC,IAAI,CAAC;gBACP,GAAG,EAAE,KAAK,CAAC,GAAG;gBACd,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,OAAO,EAAE,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC;gBAC1E,GAAG,EAAE,GAAG,CAAC,KAAK;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;aACf,CAAC,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;;;;;;OAQG;IACK,OAAO,CAAC,KAAa,EAAE,GAAW,EAAE,SAAiB;QAC3D,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;QAC9D,IAAI,SAAS,KAAK,YAAY;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}

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

@@ -0,0 +1,82 @@
+/**
+ * The operator instructions, `compiled-program.md` 4.5 to 4.7.
+ *
+ * Five rules live in this file and nowhere else, which is section 7's claim
+ * about the whole language: absence propagates through arithmetic and ordering
+ * comparison, is total under equality, is three-valued under `and`, `or` and
+ * `not`, and is false at a branch. The last one is `JUMP_FALSE` and is in the
+ * machine; the other four are here. An engine that gets all five right has the
+ * whole of `language.md` section 6, and an engine that special cases absence
+ * anywhere else has a bug.
+ *
+ * Two details that look like nothing and are not:
+ *
+ * **Finiteness is checked after each individual operation**, not at the end of
+ * an expression, so `(1e308 * 10) / 10` is absent rather than `1e307`. Checking
+ * per expression would make the answer depend on where an engine happened to
+ * round, which is the whole failure this project exists to prevent.
+ *
+ * **`MOD` is truncated division and the library's `mod` is floored.** They are
+ * different functions with the same name in two places on purpose: the operator
+ * follows the sign of its left operand, which is what every language's `%`
+ * does, and the library call follows the sign of its right operand, which is
+ * what a script wants when it wraps an index. Collapsing them would silently
+ * change one of the two.
+ */
+import type { Value } from './values/index.js';
+/** Whether a corrupt program reached an operator with tags it cannot take. */
+export declare class OperandMismatch extends Error {
+    readonly opcode: string;
+    constructor(opcode: string);
+}
+/**
+ * `ADD`: the sum of two numbers, or the concatenation of two strings.
+ *
+ * The only instruction that reads two tags. Any other combination is a program
+ * the checker should have rejected, and an engine treats it as corrupt rather
+ * than inventing a conversion: `language.md` 5.3 has no coercion anywhere, and
+ * an engine that grows one here becomes the only engine that runs that script.
+ */
+export declare function add(a: Value, b: Value): Value;
+export declare function subtract(a: Value, b: Value): Value;
+export declare function multiply(a: Value, b: Value): Value;
+/** `DIV`: absent when the divisor is zero, including `0 / 0`. */
+export declare function divide(a: Value, b: Value): Value;
+/** `MOD`: the remainder of truncated division, sign following the left operand. */
+export declare function remainder(a: Value, b: Value): Value;
+export declare function negate(a: Value): Value;
+/**
+ * The four ordering comparisons, which **propagate absence**.
+ *
+ * An absent operand gives absence rather than `false` (`language.md` 6.4).
+ * Together with `EQ` being total, this is the one place in the language where
+ * absence is treated two ways, and it is deliberate: an operator that can
+ * itself be absent gives a script no way to ask whether a value is absent at
+ * all, so equality is the exception and every other comparison is not.
+ */
+export declare function compare(opcode: 'LT' | 'LE' | 'GT' | 'GE', a: Value, b: Value): Value;
+/** `EQ` and `NE` are total: they always produce a boolean. */
+export declare function equals(a: Value, b: Value): boolean;
+/** `NOT`: true becomes false, false becomes true, absent stays absent. */
+export declare function not(a: Value): Value;
+/**
+ * `AND`, the three-valued conjunction of `language.md` 6.6.
+ *
+ * The table holds only the cases the short circuit leaves to it: `AND_SHORT`
+ * has already decided a `false` left operand. A `false` on the right fixes the
+ * answer whatever an absent left operand would have held, which is what makes
+ * the operator commutative.
+ */
+export declare function and(a: Value, b: Value): Value;
+/** `OR`, the disjunction beside it. A `true` on either side fixes the answer. */
+export declare function or(a: Value, b: Value): Value;
+/**
+ * Whether a branch is taken, which is the fifth rule.
+ *
+ * `JUMP_FALSE` treats absence as false. This is the one place absence is
+ * absorbed rather than propagated, and it is unavoidable: execution has to go
+ * somewhere. It serves `if`, `else if`, `while`, the ternary and a `switch`
+ * condition arm, so the rule is written once in one instruction.
+ */
+export declare function isFalsey(value: Value): boolean;
+//# sourceMappingURL=arithmetic.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"arithmetic.d.ts","sourceRoot":"","sources":["../../../src/core/engine/arithmetic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG/C,8EAA8E;AAC9E,qBAAa,eAAgB,SAAQ,KAAK;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,MAAM,EAAE,MAAM;CAK3B;AAED;;;;;;;GAOG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAK7C;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAElD;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAElD;AAED,iEAAiE;AACjE,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAIhD;AAED,mFAAmF;AACnF,wBAAgB,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAInD;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK,CAItC;AAaD;;;;;;;;GAQG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAepF;AAED,8DAA8D;AAC9D,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,OAAO,CAElD;AAED,0EAA0E;AAC1E,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK,CAInC;AAED;;;;;;;GAOG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAK7C;AAED,iFAAiF;AACjF,wBAAgB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAK5C;AAED;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAE9C"}