blueprint-runtime 0.0.0-stage → 0.3.1

package/dist/src/expr/parser.js

@@ -0,0 +1,228 @@
+import { ExprSyntaxError, UnsupportedError } from './errors.js';
+import { scanTemplate } from './scan.js';
+const OPS = ['!=', '<=', '>=', '=', '<', '>', '+', '-', '*', '/', '%', '&', '|', '!', '(', ')', ';', '[', ']', '.'];
+function lex(src, base) {
+    const toks = [];
+    let i = 0;
+    while (i < src.length) {
+        const ch = src[i];
+        if (/\s/.test(ch)) {
+            i++;
+            continue;
+        }
+        const s = base + i;
+        if (/\d/.test(ch)) {
+            const digits = /^\d+/.exec(src.slice(i))[0];
+            const after = src[i + digits.length];
+            const next = src[i + digits.length + 1];
+            if (after === '.' && next !== undefined && /[A-Za-z_$`]/.test(next)) {
+                toks.push({ t: 'ref', v: Number(digits), s, e: s + digits.length });
+                i += digits.length;
+                continue;
+            }
+            const m = /^\d+(?:\.\d+)?(?:[eE][+-]?\d+)?/.exec(src.slice(i))[0];
+            toks.push({ t: 'num', v: Number(m), s, e: s + m.length });
+            i += m.length;
+            continue;
+        }
+        if (ch === '"') {
+            const close = src.indexOf('"', i + 1);
+            if (close === -1)
+                throw new ExprSyntaxError('Unterminated string', s);
+            // A backslash is not an escape: a string ends at the next quote. Make rejected
+            // the expression "a\"b" as invalid (corpus D2), which is what this reading gives.
+            toks.push({ t: 'str', v: src.slice(i + 1, close), s, e: base + close + 1 });
+            i = close + 1;
+            continue;
+        }
+        if (ch === '`') {
+            const close = src.indexOf('`', i + 1);
+            if (close === -1)
+                throw new ExprSyntaxError('Unterminated `name`', s);
+            toks.push({ t: 'tick', v: src.slice(i + 1, close), s, e: base + close + 1 });
+            i = close + 1;
+            continue;
+        }
+        if (/[A-Za-z_]/.test(ch)) {
+            const m = /^[A-Za-z_]\w*/.exec(src.slice(i))[0];
+            toks.push({ t: 'ident', v: m, s, e: s + m.length });
+            i += m.length;
+            continue;
+        }
+        const op = OPS.find((o) => src.startsWith(o, i));
+        if (op) {
+            toks.push({ t: 'op', v: op, s, e: s + op.length });
+            i += op.length;
+            continue;
+        }
+        throw new ExprSyntaxError(`Unexpected character ${JSON.stringify(ch)}`, s);
+    }
+    toks.push({ t: 'eof', s: base + src.length, e: base + src.length });
+    return toks;
+}
+/**
+ * Lowest to highest precedence, all left-associative. Matches every Make result in
+ * corpus D2: 1 + 2 * 3 = 7, 10 - 4 - 3 = 3, 2 * 3 % 4 = 2, true | false & false = true,
+ * 1 + 2 = 3 is true.
+ */
+const LEVELS = [['|'], ['&'], ['=', '!='], ['<', '>', '<=', '>='], ['+', '-'], ['*', '/', '%']];
+/**
+ * Parse one expression (the text inside {{ }}). `base` is the offset of that text
+ * in the whole field, so errors point at the right place.
+ */
+export function parseExpression(src, base = 0) {
+    const toks = lex(src, base);
+    let p = 0;
+    const peek = () => toks[p];
+    const isOp = (v) => {
+        const t = peek();
+        return t.t === 'op' && t.v === v;
+    };
+    const expectOp = (v) => {
+        if (!isOp(v))
+            throw new ExprSyntaxError(`Expected "${v}"`, peek().s);
+        return toks[p++];
+    };
+    const parseLevel = (level) => {
+        if (level === LEVELS.length)
+            return parseUnary();
+        let left = parseLevel(level + 1);
+        while (true) {
+            const t = peek();
+            if (t.t !== 'op' || !LEVELS[level].includes(t.v))
+                return left;
+            p++;
+            const right = parseLevel(level + 1);
+            left = { type: 'binary', op: t.v, left, right, start: left.start, end: right.end };
+        }
+    };
+    const parseUnary = () => {
+        const t = peek();
+        if (t.t === 'op' && t.v === '-') {
+            const next = toks[p + 1];
+            if (next.t === 'num') {
+                p += 2;
+                return { type: 'number', value: -next.v, start: t.s, end: next.e };
+            }
+            throw new UnsupportedError('unary minus on anything but a number literal has not been observed in Make');
+        }
+        if (t.t === 'op' && t.v === '!')
+            throw new UnsupportedError('the "!" operator has not been observed in Make');
+        if (t.t === 'op' && t.v === '/')
+            throw new UnsupportedError('regex literals like /o/g: Make ignored replace(s; /o/g; "0") in a real run, so their meaning is unknown');
+        return parsePrimary();
+    };
+    const parsePath = () => {
+        const path = [];
+        while (true) {
+            if (isOp('.')) {
+                p++;
+                const t = peek();
+                if (t.t === 'ident' || t.t === 'tick') {
+                    p++;
+                    path.push({ key: t.v });
+                }
+                else
+                    throw new ExprSyntaxError('Expected a field name after "."', t.s);
+            }
+            else if (isOp('[')) {
+                p++;
+                const t = peek();
+                if (t.t === 'num' && Number.isInteger(t.v)) {
+                    p++;
+                    path.push({ index: t.v });
+                }
+                else if (t.t === 'op' && t.v === ']') {
+                    path.push({ all: true });
+                }
+                else
+                    throw new ExprSyntaxError('Expected a whole number or nothing inside [ ]', t.s);
+                expectOp(']');
+            }
+            else
+                return path;
+        }
+    };
+    const parsePrimary = () => {
+        const t = peek();
+        switch (t.t) {
+            case 'num':
+                p++;
+                return { type: 'number', value: t.v, start: t.s, end: t.e };
+            case 'str':
+                p++;
+                return { type: 'string', value: t.v, start: t.s, end: t.e };
+            case 'ref': {
+                p++;
+                const path = parsePath();
+                return { type: 'ref', moduleId: t.v, path, start: t.s, end: toks[p - 1].e };
+            }
+            case 'tick': {
+                p++;
+                if (/^\d+$/.test(t.v))
+                    return { type: 'ref', moduleId: Number(t.v), path: parsePath(), start: t.s, end: toks[p - 1].e };
+                throw new ExprSyntaxError(`\`${t.v}\` on its own is not a reference`, t.s);
+            }
+            case 'ident': {
+                p++;
+                // var.organization.X, var.scenario.X, var.input.X are Make's custom variables and
+                // scenario inputs; other word.path forms (connection.x, parameters.x) appear in
+                // public blueprints too. None has been recorded.
+                if (isOp('.')) {
+                    if (t.v === 'var')
+                        throw new UnsupportedError('{{var.…}} reads a Make custom variable or scenario input; those are not supported yet');
+                    throw new UnsupportedError(`"${t.v}.…" is not a module reference; how Make reads it has not been recorded`);
+                }
+                if (!isOp('('))
+                    return { type: 'word', name: t.v, start: t.s, end: t.e };
+                p++;
+                const args = [];
+                if (isOp(')')) {
+                    p++;
+                    return { type: 'call', name: t.v, args, start: t.s, end: toks[p - 1].e };
+                }
+                while (true) {
+                    args.push(parseLevel(0));
+                    if (isOp(';')) {
+                        p++;
+                        continue;
+                    }
+                    const close = expectOp(')');
+                    return { type: 'call', name: t.v, args, start: t.s, end: close.e };
+                }
+            }
+            case 'op':
+                if (t.v === '(') {
+                    p++;
+                    const inner = parseLevel(0);
+                    const close = expectOp(')');
+                    return { ...inner, paren: true, start: t.s, end: close.e };
+                }
+                throw new ExprSyntaxError(`Unexpected "${t.v}"`, t.s);
+            case 'eof':
+                throw new ExprSyntaxError('Unexpected end of expression', t.s);
+        }
+    };
+    const node = parseLevel(0);
+    if (peek().t !== 'eof')
+        throw new ExprSyntaxError('Unexpected text after the expression', peek().s);
+    return node;
+}
+/** Split a mapped field into literal text and parsed expressions. */
+export function parseTemplate(field) {
+    const scanned = scanTemplate(field);
+    if (scanned.errors.length)
+        throw new ExprSyntaxError(scanned.errors[0].message, scanned.errors[0].offset);
+    const parts = [];
+    let at = 0;
+    for (const e of scanned.exprs) {
+        if (e.start > at)
+            parts.push({ text: field.slice(at, e.start) });
+        parts.push({ expr: parseExpression(e.text, e.start + 2), source: e.text });
+        at = e.end;
+    }
+    if (at < field.length)
+        parts.push({ text: field.slice(at) });
+    return parts;
+}
+//# sourceMappingURL=parser.js.map

package/dist/src/expr/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../../src/expr/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AA4BzC,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEpH,SAAS,GAAG,CAAC,GAAW,EAAE,IAAY;IACpC,MAAM,IAAI,GAAU,EAAE,CAAC;IACvB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;QACnB,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACxC,IAAI,KAAK,KAAK,GAAG,IAAI,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;gBACpE,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC;gBACnB,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,iCAAiC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;YACnE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAC1D,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACtC,IAAI,KAAK,KAAK,CAAC,CAAC;gBAAE,MAAM,IAAI,eAAe,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC;YACtE,+EAA+E;YAC/E,kFAAkF;YAClF,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACtC,IAAI,KAAK,KAAK,CAAC,CAAC;gBAAE,MAAM,IAAI,eAAe,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC;YACtE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7E,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;YACjD,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACpD,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YACd,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,EAAE,EAAE,CAAC;YACP,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;YACnD,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC;YACf,SAAS;QACX,CAAC;QACD,MAAM,IAAI,eAAe,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,MAAM,GAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAE9G;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW,EAAE,IAAI,GAAG,CAAC;IACnD,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE;QACzB,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE;QAC7B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,eAAe,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAE,CAAC;IACpB,CAAC,CAAC;IAEF,MAAM,UAAU,GAAG,CAAC,KAAa,EAAQ,EAAE;QACzC,IAAI,KAAK,KAAK,MAAM,CAAC,MAAM;YAAE,OAAO,UAAU,EAAE,CAAC;QACjD,IAAI,IAAI,GAAG,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACjC,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;YACjB,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAE,MAAM,CAAC,KAAK,CAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5E,CAAC,EAAE,CAAC;YACJ,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACpC,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAa,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QACjG,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,UAAU,GAAG,GAAS,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;gBACrB,CAAC,IAAI,CAAC,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YACrE,CAAC;YACD,MAAM,IAAI,gBAAgB,CAAC,4EAA4E,CAAC,CAAC;QAC3G,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,MAAM,IAAI,gBAAgB,CAAC,gDAAgD,CAAC,CAAC;QAC9G,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,MAAM,IAAI,gBAAgB,CAAC,yGAAyG,CAAC,CAAC;QACvK,OAAO,YAAY,EAAE,CAAC;IACxB,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,GAAc,EAAE;QAChC,MAAM,IAAI,GAAc,EAAE,CAAC;QAC3B,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACd,CAAC,EAAE,CAAC;gBACJ,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;gBACjB,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;oBACtC,CAAC,EAAE,CAAC;oBACJ,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC1B,CAAC;;oBAAM,MAAM,IAAI,eAAe,CAAC,iCAAiC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3E,CAAC;iBAAM,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrB,CAAC,EAAE,CAAC;gBACJ,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;gBACjB,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3C,CAAC,EAAE,CAAC;oBACJ,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC5B,CAAC;qBAAM,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBACvC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3B,CAAC;;oBAAM,MAAM,IAAI,eAAe,CAAC,+CAA+C,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvF,QAAQ,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;;gBAAM,OAAO,IAAI,CAAC;QACrB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,GAAS,EAAE;QAC9B,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACZ,KAAK,KAAK;gBACR,CAAC,EAAE,CAAC;gBACJ,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,KAAK,KAAK;gBACR,CAAC,EAAE,CAAC;gBACJ,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,KAAK,KAAK,EAAE,CAAC;gBACX,CAAC,EAAE,CAAC;gBACJ,MAAM,IAAI,GAAG,SAAS,EAAE,CAAC;gBACzB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,EAAE,CAAC;YAC/E,CAAC;YACD,KAAK,MAAM,EAAE,CAAC;gBACZ,CAAC,EAAE,CAAC;gBACJ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,EAAE,CAAC;gBACzH,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,kCAAkC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7E,CAAC;YACD,KAAK,OAAO,EAAE,CAAC;gBACb,CAAC,EAAE,CAAC;gBACJ,kFAAkF;gBAClF,gFAAgF;gBAChF,iDAAiD;gBACjD,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACd,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;wBAAE,MAAM,IAAI,gBAAgB,CAAC,uFAAuF,CAAC,CAAC;oBACvI,MAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,wEAAwE,CAAC,CAAC;gBAC9G,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzE,CAAC,EAAE,CAAC;gBACJ,MAAM,IAAI,GAAW,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACd,CAAC,EAAE,CAAC;oBACJ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,EAAE,CAAC;gBAC5E,CAAC;gBACD,OAAO,IAAI,EAAE,CAAC;oBACZ,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;oBACzB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;wBACd,CAAC,EAAE,CAAC;wBACJ,SAAS;oBACX,CAAC;oBACD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;oBAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBACrE,CAAC;YACH,CAAC;YACD,KAAK,IAAI;gBACP,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAChB,CAAC,EAAE,CAAC;oBACJ,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;oBAC5B,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC7D,CAAC;gBACD,MAAM,IAAI,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACxD,KAAK,KAAK;gBACR,MAAM,IAAI,eAAe,CAAC,8BAA8B,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,KAAK;QAAE,MAAM,IAAI,eAAe,CAAC,sCAAsC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACpG,OAAO,IAAI,CAAC;AACd,CAAC;AAID,qEAAqE;AACrE,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC;IAC5G,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3E,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC;IACb,CAAC;IACD,IAAI,EAAE,GAAG,KAAK,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/expr/scan.js

@@ -0,0 +1,101 @@
+/**
+ * Locates {{ ... }} expressions inside a mapped string and lists what they touch.
+ * This is a scanner, not the Day 4 parser: it never evaluates anything, it only
+ * finds expression boundaries, module references and function names so `inspect`
+ * can report them.
+ */
+/** Bare identifiers Make treats as values, seen in real Make runs (corpus D) or documented. */
+const KEYWORDS = new Set(['true', 'false', 'null', 'emptystring', 'space', 'nbsp', 'tab', 'newline', 'carriagereturn', 'now', 'timestamp', 'random', 'uuid', 'pi', 'emptyarray']);
+// 1.name, 1.`Field name`, 1.items[2].name, 22.array[].name (empty [] maps over the array; seen in public blueprints)
+const REF = /(?<![\w.$`])(\d+)\.((?:`[^`]*`|[A-Za-z_$][\w$]*)(?:\.(?:`[^`]*`|[A-Za-z_$][\w$]*)|\[\d*\])*)/g;
+// `22` on its own: the whole output bundle of module 22 (seen as an iterator source in public blueprints)
+const WHOLE_REF = /(?<![\w.$])`(\d+)`(?![.\w])/g;
+const CALL = /(?<![\w.$])([A-Za-z_][\w]*)\s*\(/g;
+const IDENT = /(?<![\w.$`])([A-Za-z_][\w]*)(?![\w(.`])/g;
+/**
+ * Replace double-quoted string contents with spaces so regexes don't match inside
+ * literals. A backslash is not an escape in Make: a string ends at the next quote.
+ */
+function blankStrings(s) {
+    let out = '';
+    let inStr = false;
+    for (let i = 0; i < s.length; i++) {
+        const ch = s[i];
+        if (inStr) {
+            if (ch === '"') {
+                inStr = false;
+                out += ch;
+            }
+            else
+                out += ' ';
+        }
+        else {
+            if (ch === '"')
+                inStr = true;
+            out += ch;
+        }
+    }
+    return out;
+}
+/** Also blank out regex literals like /o/g that appear as function arguments. */
+function blankRegexLiterals(s) {
+    return s.replace(/(^|[;(]\s*)\/((?:\\.|[^/\\])+)\/([a-z]*)/g, (_m, pre, body, flags) => `${pre}/${' '.repeat(body.length)}/${' '.repeat(flags.length)}`);
+}
+export function scanTemplate(s) {
+    const exprs = [];
+    const errors = [];
+    let i = 0;
+    while (true) {
+        const open = s.indexOf('{{', i);
+        if (open === -1)
+            break;
+        let j = open + 2;
+        let depth = 0;
+        let inStr = false;
+        let close = -1;
+        for (; j < s.length; j++) {
+            const ch = s[j];
+            if (inStr) {
+                if (ch === '"')
+                    inStr = false;
+                continue;
+            }
+            if (ch === '"')
+                inStr = true;
+            else if (ch === '(')
+                depth++;
+            else if (ch === ')')
+                depth--;
+            else if (ch === '}' && s[j + 1] === '}' && depth <= 0) {
+                close = j;
+                break;
+            }
+        }
+        if (close === -1) {
+            errors.push({ message: inStr ? 'Unterminated string inside {{ }}' : depth > 0 ? 'Unclosed "(" inside {{ }}' : 'Missing closing "}}"', offset: open });
+            break;
+        }
+        const text = s.slice(open + 2, close);
+        const code = blankRegexLiterals(blankStrings(text));
+        const refs = [];
+        const refSpans = [];
+        for (const m of code.matchAll(REF)) {
+            refs.push({ moduleId: Number(m[1]), path: text.slice(m.index + m[1].length + 1, m.index + m[0].length) });
+            refSpans.push([m.index, m.index + m[0].length]);
+        }
+        for (const m of code.matchAll(WHOLE_REF)) {
+            refs.push({ moduleId: Number(m[1]), path: '' });
+            refSpans.push([m.index, m.index + m[0].length]);
+        }
+        const functions = [...code.matchAll(CALL)].map((m) => m[1]);
+        const idents = [...code.matchAll(IDENT)]
+            .filter((m) => !refSpans.some(([a, b]) => m.index >= a && m.index < b))
+            .map((m) => m[1]);
+        const keywords = idents.filter((w) => KEYWORDS.has(w));
+        const bareWords = idents.filter((w) => !KEYWORDS.has(w));
+        exprs.push({ text, start: open, end: close + 2, refs, functions, keywords, bareWords });
+        i = close + 2;
+    }
+    return { exprs, errors };
+}
+//# sourceMappingURL=scan.js.map

package/dist/src/expr/scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scan.js","sourceRoot":"","sources":["../../../src/expr/scan.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA8BH,+FAA+F;AAC/F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;AAElL,qHAAqH;AACrH,MAAM,GAAG,GAAG,+FAA+F,CAAC;AAC5G,0GAA0G;AAC1G,MAAM,SAAS,GAAG,8BAA8B,CAAC;AACjD,MAAM,IAAI,GAAG,mCAAmC,CAAC;AACjD,MAAM,KAAK,GAAG,0CAA0C,CAAC;AAEzD;;;GAGG;AACH,SAAS,YAAY,CAAC,CAAS;IAC7B,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACjB,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,KAAK,GAAG,KAAK,CAAC;gBACd,GAAG,IAAI,EAAE,CAAC;YACZ,CAAC;;gBAAM,GAAG,IAAI,GAAG,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,IAAI,EAAE,KAAK,GAAG;gBAAE,KAAK,GAAG,IAAI,CAAC;YAC7B,GAAG,IAAI,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iFAAiF;AACjF,SAAS,kBAAkB,CAAC,CAAS;IACnC,OAAO,CAAC,CAAC,OAAO,CAAC,2CAA2C,EAAE,CAAC,EAAE,EAAE,GAAW,EAAE,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACnL,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,CAAC,CAAC;YAAE,MAAM;QACvB,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;QACjB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,EAAE,KAAK,GAAG;oBAAE,KAAK,GAAG,KAAK,CAAC;gBAC9B,SAAS;YACX,CAAC;YACD,IAAI,EAAE,KAAK,GAAG;gBAAE,KAAK,GAAG,IAAI,CAAC;iBACxB,IAAI,EAAE,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;iBACxB,IAAI,EAAE,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;iBACxB,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;gBACtD,KAAK,GAAG,CAAC,CAAC;gBACV,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,sBAAsB,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACtJ,MAAM;QACR,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,kBAAkB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,MAAM,IAAI,GAAgB,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAuB,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAM,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,KAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC7G,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YAChD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,CAAC;QACD,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;aACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAM,IAAI,CAAC,IAAI,CAAC,CAAC,KAAM,GAAG,CAAC,CAAC,CAAC;aACxE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACrB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACxF,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3B,CAAC"}

package/dist/src/expr/values.js

@@ -0,0 +1,118 @@
+import { isObject } from '../json/parse.js';
+import { UnsupportedError } from './errors.js';
+export const MISSING = Object.freeze({ kind: 'missing' });
+export const NULL = Object.freeze({ kind: 'null' });
+export const str = (value) => ({ kind: 'string', value });
+export const num = (value) => ({ kind: 'number', value });
+export const bool = (value) => ({ kind: 'boolean', value });
+export const arr = (value) => ({ kind: 'array', value });
+export const obj = (value) => ({ kind: 'object', value });
+export const date = (value) => ({ kind: 'date', value });
+export function fromJson(v) {
+    if (v === undefined)
+        return MISSING;
+    if (v === null)
+        return NULL;
+    if (typeof v === 'boolean')
+        return bool(v);
+    if (typeof v === 'number')
+        return num(v);
+    if (typeof v === 'string')
+        return str(v);
+    if (Array.isArray(v))
+        return arr(v.map(fromJson));
+    if (isObject(v))
+        return obj(new Map(Object.keys(v).map((k) => [k, fromJson(v[k])])));
+    throw new TypeError('not a JSON value');
+}
+/** Plain JSON for a value. Dates become ISO strings; missing object members are dropped. */
+export function toJson(v) {
+    switch (v.kind) {
+        case 'missing':
+        case 'null':
+            return null;
+        case 'boolean':
+        case 'number':
+        case 'string':
+            return v.value;
+        case 'date':
+            return new Date(v.value).toISOString();
+        case 'binary':
+            throw new UnsupportedError('converting binary data to JSON has not been observed in Make');
+        case 'array':
+            return v.value.map(toJson);
+        case 'object': {
+            const out = Object.create(null);
+            for (const [k, x] of v.value)
+                if (x.kind !== 'missing')
+                    out[k] = toJson(x);
+            return out;
+        }
+    }
+}
+/** Make joins array elements with a comma and a NO-BREAK SPACE (U+00A0), not a normal space (corpus D). */
+const ARRAY_SEPARATOR = ',' + String.fromCharCode(0xa0);
+/** JavaScript number formatting, which matches every Make output seen: -2.3333333333333335, 1e+21, Infinity, NaN. */
+export function numberText(n) {
+    return String(n);
+}
+/**
+ * How Make writes a value into text (a field with text around an expression,
+ * or join). Observed in corpus D:
+ *   missing, null    → ""
+ *   true / false     → "true" / "false"
+ *   array            → elements joined with "," + NO-BREAK SPACE (U+00A0), not a normal space
+ *   object           → compact JSON                  ({"k1":"v1","k2":2})
+ *   date             → ISO 8601 with milliseconds, UTC
+ */
+export function toText(v) {
+    switch (v.kind) {
+        case 'missing':
+        case 'null':
+            return '';
+        case 'boolean':
+            return v.value ? 'true' : 'false';
+        case 'number':
+            return numberText(v.value);
+        case 'string':
+            return v.value;
+        case 'date':
+            return new Date(v.value).toISOString();
+        case 'binary':
+            throw new UnsupportedError('writing binary data as text has not been observed in Make');
+        case 'array':
+            return arrayText(v.value);
+        case 'object':
+            return JSON.stringify(toJson(v));
+    }
+}
+/**
+ * Arrays have two observed separators (corpus D, D2):
+ *   [c, a, b]                     → "c,␣a,␣b"        comma + NO-BREAK SPACE
+ *   [{…}, {…}]                    → "{…}, {…}"       each as JSON, comma + normal space
+ *   [[1, 2], [3, [4]]]            → "1,␣2, 3,␣4"     each inner array flattened and joined
+ *                                                     like a plain array, comma + normal space
+ * Arrays mixing plain values and collections have not been observed.
+ */
+function arrayText(xs) {
+    const isCollection = (x) => x.kind === 'array' || x.kind === 'object';
+    if (!xs.some(isCollection))
+        return xs.map(toText).join(ARRAY_SEPARATOR);
+    if (xs.every((x) => x.kind === 'object'))
+        return xs.map(toText).join(', ');
+    if (xs.every((x) => x.kind === 'array'))
+        return xs.map((x) => flatText(x)).join(', ');
+    throw new UnsupportedError('writing an array that mixes plain values and collections as text has not been observed in Make');
+}
+function flatText(v) {
+    const flat = [];
+    const walk = (x) => (x.kind === 'array' ? x.value.forEach(walk) : flat.push(x));
+    walk(v);
+    if (flat.some((x) => x.kind === 'object'))
+        throw new UnsupportedError('writing nested arrays that contain collections as text has not been observed in Make');
+    return flat.map(toText).join(ARRAY_SEPARATOR);
+}
+export function describe(v) {
+    return v.kind === 'string' ? `text ${JSON.stringify(v.value.length > 40 ? `${v.value.slice(0, 37)}...` : v.value)}` : v.kind;
+}
+//# sourceMappingURL=values.js.map

package/dist/src/expr/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../../src/expr/values.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAkB,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAmB/C,MAAM,CAAC,MAAM,OAAO,GAAU,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;AACjE,MAAM,CAAC,MAAM,IAAI,GAAU,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAC3D,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AACzE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AACzE,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAc,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5E,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,KAAc,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AACzE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,KAAyB,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AACrF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAExE,MAAM,UAAU,QAAQ,CAAC,CAAwB;IAC/C,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IACpC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,IAAI,SAAS,CAAC,kBAAkB,CAAC,CAAC;AAC1C,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,MAAM,CAAC,CAAQ;IAC7B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,KAAK,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QACzC,KAAK,QAAQ;YACX,MAAM,IAAI,gBAAgB,CAAC,8DAA8D,CAAC,CAAC;QAC7F,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7B,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAA8B,CAAC;YAC7D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK;gBAAE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3E,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;AACH,CAAC;AAED,2GAA2G;AAC3G,MAAM,eAAe,GAAG,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;AAExD,qHAAqH;AACrH,MAAM,UAAU,UAAU,CAAC,CAAS;IAClC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,MAAM,CAAC,CAAQ;IAC7B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO,EAAE,CAAC;QACZ,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,KAAK,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QACzC,KAAK,QAAQ;YACX,MAAM,IAAI,gBAAgB,CAAC,2DAA2D,CAAC,CAAC;QAC1F,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAAC,EAAW;IAC5B,MAAM,YAAY,GAAG,CAAC,CAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;IAC7E,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC;QAAE,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACxE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtF,MAAM,IAAI,gBAAgB,CAAC,gGAAgG,CAAC,CAAC;AAC/H,CAAC;AAED,SAAS,QAAQ,CAAC,CAAQ;IACxB,MAAM,IAAI,GAAY,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,CAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,sFAAsF,CAAC,CAAC;IAC9J,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,CAAQ;IAC/B,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/H,CAAC"}

package/dist/src/findings.js

@@ -0,0 +1,10 @@
+export const EXIT = {
+    ok: 0,
+    assertionFailed: 1,
+    invalidInput: 2,
+    unsupported: 3,
+    runtimeFailure: 4,
+    fixtureMismatch: 5,
+    limitExceeded: 6,
+};
+//# sourceMappingURL=findings.js.map

package/dist/src/findings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"findings.js","sourceRoot":"","sources":["../../src/findings.ts"],"names":[],"mappings":"AAuBA,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,EAAE,EAAE,CAAC;IACL,eAAe,EAAE,CAAC;IAClB,YAAY,EAAE,CAAC;IACf,WAAW,EAAE,CAAC;IACd,cAAc,EAAE,CAAC;IACjB,eAAe,EAAE,CAAC;IAClB,aAAa,EAAE,CAAC;CACR,CAAC"}