@graview/core 0.1.0 → 0.1.3

package/dist/document/expr/parse.js

@@ -0,0 +1,240 @@
+/*
+ * THE RULE LANGUAGE, PARSED.
+ *
+ * A document's rules, act guards and computed values are written in a small
+ * expression language (docs/declaration-document.md#expression-language). It
+ * is deliberately closed: no loops, no user functions, no regular
+ * expressions, no way to name anything outside the graph it is judging. The
+ * parser turns text into a tree; `evaluate.ts` walks the tree under a budget.
+ */
+export class ExprSyntaxError extends Error {
+    sentence;
+    at;
+    source;
+    constructor(sentence, at, source) {
+        super(`${sentence} (at character ${at + 1} of "${source}")`);
+        this.sentence = sentence;
+        this.at = at;
+        this.source = source;
+    }
+}
+const OPERATORS = ["||", "&&", "==", "!=", "<=", ">=", "<", ">", "!", "+", "-", "*", "/", "%", "(", ")", "[", "]", ",", "."];
+const WORD_OPERATORS = { and: "&&", or: "||", not: "!" };
+export const MAX_EXPRESSION_LENGTH = 2000;
+function tokenize(source) {
+    const tokens = [];
+    let i = 0;
+    while (i < source.length) {
+        const c = source[i];
+        if (c === " " || c === "\t" || c === "\n" || c === "\r") {
+            i++;
+            continue;
+        }
+        if (c >= "0" && c <= "9") {
+            const start = i;
+            while (i < source.length && /[0-9.]/.test(source[i]))
+                i++;
+            const text = source.slice(start, i);
+            const v = Number(text);
+            if (!Number.isFinite(v) || text.split(".").length > 2)
+                throw new ExprSyntaxError(`"${text}" is not a number`, start, source);
+            tokens.push({ k: "num", v, at: start });
+            continue;
+        }
+        if (c === "'" || c === '"') {
+            const start = i++;
+            let v = "";
+            while (i < source.length && source[i] !== c) {
+                if (source[i] === "\\" && i + 1 < source.length)
+                    i++;
+                v += source[i++];
+            }
+            if (i >= source.length)
+                throw new ExprSyntaxError("a quoted word is never closed", start, source);
+            i++;
+            tokens.push({ k: "str", v, at: start });
+            continue;
+        }
+        if (/[A-Za-z_]/.test(c)) {
+            const start = i;
+            while (i < source.length && /[A-Za-z0-9_]/.test(source[i]))
+                i++;
+            const word = source.slice(start, i);
+            // An OWN entry: "constructor" is a name, not an operator inherited from Object.
+            const op = Object.prototype.hasOwnProperty.call(WORD_OPERATORS, word) ? WORD_OPERATORS[word] : undefined;
+            tokens.push(op ? { k: "op", v: op, at: start } : { k: "id", v: word, at: start });
+            continue;
+        }
+        const op = OPERATORS.find((o) => source.startsWith(o, i));
+        if (!op)
+            throw new ExprSyntaxError(`"${c}" is not part of the rule language`, i, source);
+        tokens.push({ k: "op", v: op, at: i });
+        i += op.length;
+    }
+    tokens.push({ k: "end", at: source.length });
+    return tokens;
+}
+/** Parse an expression, or throw an `ExprSyntaxError` whose sentence a person can act on. */
+export function parseExpr(source) {
+    if (source.length > MAX_EXPRESSION_LENGTH) {
+        throw new ExprSyntaxError(`an expression may be at most ${MAX_EXPRESSION_LENGTH} characters`, 0, source.slice(0, 40));
+    }
+    const tokens = tokenize(source);
+    let pos = 0;
+    const peek = () => tokens[pos];
+    const isOp = (v) => {
+        const t = peek();
+        return t.k === "op" && t.v === v;
+    };
+    const isWord = (v) => {
+        const t = peek();
+        return t.k === "id" && t.v === v;
+    };
+    const expect = (v, what) => {
+        if (!isOp(v))
+            throw new ExprSyntaxError(`expected ${what}`, peek().at, source);
+        pos++;
+    };
+    let depth = 0;
+    const deeper = (at, f) => {
+        if (++depth > 64)
+            throw new ExprSyntaxError("the expression nests too deeply", at, source);
+        try {
+            return f();
+        }
+        finally {
+            depth--;
+        }
+    };
+    const binaryLevel = (ops, next) => () => {
+        let left = next();
+        for (;;) {
+            const t = peek();
+            const op = t.k === "op" ? ops.find((o) => o === t.v) : t.k === "id" && t.v === "in" && ops.includes("in") ? "in" : undefined;
+            if (!op)
+                return left;
+            pos++;
+            left = { t: "binary", op, left, right: next(), at: t.at };
+        }
+    };
+    const primary = () => {
+        const t = peek();
+        if (t.k === "num") {
+            pos++;
+            return { t: "lit", value: t.v, at: t.at };
+        }
+        if (t.k === "str") {
+            pos++;
+            return { t: "lit", value: t.v, at: t.at };
+        }
+        if (t.k === "id") {
+            pos++;
+            if (t.v === "true" || t.v === "false")
+                return { t: "lit", value: t.v === "true", at: t.at };
+            if (t.v === "null")
+                return { t: "lit", value: null, at: t.at };
+            if (isOp("(")) {
+                pos++;
+                const args = [];
+                if (!isOp(")")) {
+                    for (;;) {
+                        args.push(expression());
+                        if (isOp(",")) {
+                            pos++;
+                            continue;
+                        }
+                        break;
+                    }
+                }
+                expect(")", `")" to close ${t.v}(…)`);
+                return { t: "call", fn: t.v, args, at: t.at };
+            }
+            return { t: "ident", name: t.v, at: t.at };
+        }
+        if (t.k === "op" && t.v === "(") {
+            pos++;
+            const inner = deeper(t.at, expression);
+            expect(")", 'a ")"');
+            return inner;
+        }
+        if (t.k === "op" && t.v === "[") {
+            pos++;
+            const items = [];
+            if (!isOp("]")) {
+                for (;;) {
+                    items.push(expression());
+                    if (isOp(",")) {
+                        pos++;
+                        continue;
+                    }
+                    break;
+                }
+            }
+            expect("]", 'a "]" to close the list');
+            return { t: "list", items, at: t.at };
+        }
+        if (t.k === "end")
+            throw new ExprSyntaxError("the expression ends too soon", t.at, source);
+        throw new ExprSyntaxError(`"${t.k === "op" ? t.v : ""}" cannot start a value here`, t.at, source);
+    };
+    const postfix = () => {
+        let e = primary();
+        for (;;) {
+            if (isOp(".")) {
+                const dot = peek();
+                pos++;
+                const name = peek();
+                if (name.k !== "id")
+                    throw new ExprSyntaxError('expected a field name after "."', name.at, source);
+                pos++;
+                e = { t: "member", object: e, name: name.v, at: dot.at };
+                continue;
+            }
+            if (isWord("where")) {
+                const at = peek().at;
+                pos++;
+                // `where` binds loosest: everything to its right, up to a closing bracket or comma, is the condition.
+                e = { t: "where", set: e, filter: deeper(at, expression), at };
+                continue;
+            }
+            return e;
+        }
+    };
+    const unary = () => {
+        const t = peek();
+        if (t.k === "op" && (t.v === "!" || t.v === "-")) {
+            pos++;
+            return { t: "unary", op: t.v, operand: deeper(t.at, unary), at: t.at };
+        }
+        return postfix();
+    };
+    const product = binaryLevel(["*", "/", "%"], unary);
+    const sum = binaryLevel(["+", "-"], product);
+    const comparison = () => {
+        const left = sum();
+        const t = peek();
+        const op = t.k === "op" && ["==", "!=", "<", "<=", ">", ">="].includes(t.v) ? t.v : t.k === "id" && t.v === "in" ? "in" : undefined;
+        if (!op)
+            return left;
+        pos++;
+        return { t: "binary", op, left, right: sum(), at: t.at };
+    };
+    const negation = () => {
+        const t = peek();
+        if (t.k === "op" && t.v === "!") {
+            pos++;
+            return { t: "unary", op: "!", operand: deeper(t.at, negation), at: t.at };
+        }
+        return comparison();
+    };
+    const conjunction = binaryLevel(["&&"], negation);
+    const disjunction = binaryLevel(["||"], conjunction);
+    function expression() {
+        return disjunction();
+    }
+    const tree = expression();
+    if (peek().k !== "end")
+        throw new ExprSyntaxError("there is more after the end of the expression", peek().at, source);
+    return tree;
+}
+//# sourceMappingURL=parse.js.map

package/dist/document/expr/parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../../../src/document/expr/parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAcH,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAE7B;IACA;IACA;IAHX,YACW,QAAgB,EAChB,EAAU,EACV,MAAc;QAEvB,KAAK,CAAC,GAAG,QAAQ,kBAAkB,EAAE,GAAG,CAAC,QAAQ,MAAM,IAAI,CAAC,CAAC;QAJpD,aAAQ,GAAR,QAAQ,CAAQ;QAChB,OAAE,GAAF,EAAE,CAAQ;QACV,WAAM,GAAN,MAAM,CAAQ;IAGzB,CAAC;CACF;AASD,MAAM,SAAS,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,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,CAAC,CAAC;AAC7H,MAAM,cAAc,GAAqC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC3F,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC;AAE1C,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACxD,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;gBAAE,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,eAAe,CAAC,IAAI,IAAI,mBAAmB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC7H,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YACxC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC;YAClB,IAAI,CAAC,GAAG,EAAE,CAAC;YACX,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM;oBAAE,CAAC,EAAE,CAAC;gBACrD,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;YACnB,CAAC;YACD,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM;gBAAE,MAAM,IAAI,eAAe,CAAC,+BAA+B,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAClG,CAAC,EAAE,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YACxC,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;gBAAE,CAAC,EAAE,CAAC;YACjE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACpC,gFAAgF;YAChF,MAAM,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,oCAAoC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACzF,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC;IACjB,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,IAAI,MAAM,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QAC1C,MAAM,IAAI,eAAe,CAAC,gCAAgC,qBAAqB,aAAa,EAAE,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACxH,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC;IAChC,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,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE;QAC3B,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,MAAM,GAAG,CAAC,CAAS,EAAE,IAAY,EAAE,EAAE;QACzC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,eAAe,CAAC,YAAY,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC/E,GAAG,EAAE,CAAC;IACR,CAAC,CAAC;IACF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,MAAM,GAAG,CAAI,EAAU,EAAE,CAAU,EAAK,EAAE;QAC9C,IAAI,EAAE,KAAK,GAAG,EAAE;YAAE,MAAM,IAAI,eAAe,CAAC,iCAAiC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QAC3F,IAAI,CAAC;YACH,OAAO,CAAC,EAAE,CAAC;QACb,CAAC;gBAAS,CAAC;YACT,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,GAAwB,EAAE,IAAgB,EAAE,EAAE,CAAC,GAAS,EAAE;QAC7E,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;QAClB,SAAS,CAAC;YACR,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;YACjB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7H,IAAI,CAAC,EAAE;gBAAE,OAAO,IAAI,CAAC;YACrB,GAAG,EAAE,CAAC;YACN,IAAI,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QAC5D,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,GAAS,EAAE;QACzB,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAClB,GAAG,EAAE,CAAC;YACN,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QAC5C,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAClB,GAAG,EAAE,CAAC;YACN,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QAC5C,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACjB,GAAG,EAAE,CAAC;YACN,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO;gBAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;YAC5F,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM;gBAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;YAC/D,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACd,GAAG,EAAE,CAAC;gBACN,MAAM,IAAI,GAAW,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACf,SAAS,CAAC;wBACR,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;wBACxB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;4BACd,GAAG,EAAE,CAAC;4BACN,SAAS;wBACX,CAAC;wBACD,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACtC,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;YAChD,CAAC;YACD,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAChC,GAAG,EAAE,CAAC;YACN,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACrB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAChC,GAAG,EAAE,CAAC;YACN,MAAM,KAAK,GAAW,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACf,SAAS,CAAC;oBACR,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;oBACzB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;wBACd,GAAG,EAAE,CAAC;wBACN,SAAS;oBACX,CAAC;oBACD,MAAM;gBACR,CAAC;YACH,CAAC;YACD,MAAM,CAAC,GAAG,EAAE,yBAAyB,CAAC,CAAC;YACvC,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QACxC,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;YAAE,MAAM,IAAI,eAAe,CAAC,8BAA8B,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC3F,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,6BAA6B,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACpG,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,GAAS,EAAE;QACzB,IAAI,CAAC,GAAG,OAAO,EAAE,CAAC;QAClB,SAAS,CAAC;YACR,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACd,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC;gBACnB,GAAG,EAAE,CAAC;gBACN,MAAM,IAAI,GAAG,IAAI,EAAE,CAAC;gBACpB,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI;oBAAE,MAAM,IAAI,eAAe,CAAC,iCAAiC,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBACnG,GAAG,EAAE,CAAC;gBACN,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;gBACzD,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpB,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,EAAE,CAAC;gBACrB,GAAG,EAAE,CAAC;gBACN,sGAAsG;gBACtG,CAAC,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC;gBAC/D,SAAS;YACX,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACjD,GAAG,EAAE,CAAC;YACN,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,OAAO,EAAE,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,GAAS,EAAE;QAC5B,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,EAAE,GACN,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACzI,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QACrB,GAAG,EAAE,CAAC;QACN,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IAC3D,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,GAAS,EAAE;QAC1B,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAChC,GAAG,EAAE,CAAC;YACN,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QAC5E,CAAC;QACD,OAAO,UAAU,EAAE,CAAC;IACtB,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;IACrD,SAAS,UAAU;QACjB,OAAO,WAAW,EAAE,CAAC;IACvB,CAAC;IAED,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;IAC1B,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,KAAK;QAAE,MAAM,IAAI,eAAe,CAAC,+CAA+C,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACtH,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/document/expr/print.d.ts

@@ -0,0 +1,4 @@
+import type { Expr } from "./parse.js";
+/** An expression as rule-language text that parses back to the same tree. */
+export declare function printExpr(e: Expr): string;
+//# sourceMappingURL=print.d.ts.map

package/dist/document/expr/print.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"print.d.ts","sourceRoot":"","sources":["../../../src/document/expr/print.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAY,IAAI,EAAE,MAAM,YAAY,CAAC;AAkDjD,6EAA6E;AAC7E,wBAAgB,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,MAAM,CAEzC"}

package/dist/document/expr/print.js

@@ -0,0 +1,81 @@
+/*
+ * THE RULE LANGUAGE, PRINTED BACK.
+ *
+ * printExpr(parseExpr(s)) parses to the same tree as s. It is how a rename
+ * rewrites a rule precisely: parse, rename the names in the tree, print it —
+ * never a regular expression over the text, which cannot tell the field
+ * `quote` from the word 'quote' in a string or from a relation's `quote`.
+ *
+ * Parenthesises only where the grammar needs it. `and`, `or` and `not` are
+ * printed as words, the way the authoring guide writes them.
+ */
+const LEVEL = {
+    "||": 1,
+    "&&": 2,
+    "==": 4,
+    "!=": 4,
+    "<": 4,
+    "<=": 4,
+    ">": 4,
+    ">=": 4,
+    in: 4,
+    "+": 5,
+    "-": 5,
+    "*": 6,
+    "/": 6,
+    "%": 6,
+};
+const WORD = { "||": "or", "&&": "and" };
+/** How tightly an expression binds: 0 for `where` (it takes everything to its right), 9 for a value. */
+function level(e) {
+    switch (e.t) {
+        case "where":
+            return 0;
+        case "binary":
+            return LEVEL[e.op];
+        case "unary":
+            return e.op === "!" ? 3 : 7;
+        case "member":
+            return 8;
+        default:
+            return 9;
+    }
+}
+const quote = (s) => `'${s.replace(/\\/g, "\\\\").replace(/'/g, "\\'")}'`;
+/** An expression as rule-language text that parses back to the same tree. */
+export function printExpr(e) {
+    return print(e, 0);
+}
+function print(e, atLeast) {
+    const text = bare(e);
+    return level(e) < atLeast ? `(${text})` : text;
+}
+function bare(e) {
+    switch (e.t) {
+        case "lit":
+            return e.value === null ? "null" : typeof e.value === "string" ? quote(e.value) : String(e.value);
+        case "ident":
+            return e.name;
+        case "list":
+            return `[${e.items.map((x) => print(x, 0)).join(", ")}]`;
+        case "member":
+            return `${print(e.object, 8)}.${e.name}`;
+        case "unary":
+            // `not` is a word; `-` must not run into a following `-` (`- -x`).
+            return e.op === "!" ? `not ${print(e.operand, 3)}` : `-${print(e.operand, 7).startsWith("-") ? ` ${print(e.operand, 7)}` : print(e.operand, 7)}`;
+        case "binary": {
+            const l = LEVEL[e.op];
+            const op = WORD[e.op] ?? e.op;
+            // Comparisons do not chain; the arithmetic and logic operators lean left.
+            const left = l === 4 ? print(e.left, 5) : print(e.left, l);
+            const right = l === 4 ? print(e.right, 5) : print(e.right, l + 1);
+            return `${left} ${op} ${right}`;
+        }
+        case "call":
+            return `${e.fn}(${e.args.map((x) => print(x, 0)).join(", ")})`;
+        case "where":
+            // The set is a postfix chain; the condition runs to the end, so it needs no brackets of its own.
+            return `${print(e.set, 8)} where ${print(e.filter, 0)}`;
+    }
+}
+//# sourceMappingURL=print.js.map

package/dist/document/expr/print.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../../../src/document/expr/print.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;GAUG;AAEH,MAAM,KAAK,GAAuC;IAChD,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;IACP,EAAE,EAAE,CAAC;IACL,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;CACP,CAAC;AACF,MAAM,IAAI,GAAsC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAE5E,wGAAwG;AACxG,SAAS,KAAK,CAAC,CAAO;IACpB,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,CAAC,CAAC;QACX,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrB,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC;QACX;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;AAElF,6EAA6E;AAC7E,MAAM,UAAU,SAAS,CAAC,CAAO;IAC/B,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,KAAK,CAAC,CAAO,EAAE,OAAe;IACrC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,IAAI,CAAC,CAAO;IACnB,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACZ,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpG,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC3D,KAAK,QAAQ;YACX,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3C,KAAK,OAAO;YACV,mEAAmE;YACnE,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;QACnJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC9B,0EAA0E;YAC1E,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAClE,OAAO,GAAG,IAAI,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;QAClC,CAAC;QACD,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjE,KAAK,OAAO;YACV,iGAAiG;YACjG,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;IAC5D,CAAC;AACH,CAAC"}

package/dist/document/findings.d.ts

@@ -0,0 +1,15 @@
+export type Severity = "error" | "warning" | "note";
+export interface Finding {
+    readonly severity: Severity;
+    readonly code: string;
+    readonly path: string;
+    readonly message: string;
+    /** What to do about it, when there is something to say. */
+    readonly fix?: string;
+}
+export declare const error: (code: string, path: string, message: string, fix?: string) => Finding;
+export declare const warning: (code: string, path: string, message: string, fix?: string) => Finding;
+export declare const hasErrors: (findings: readonly Finding[]) => boolean;
+/** One line per finding, the way a person reads them in a chat. */
+export declare function sayFindings(findings: readonly Finding[]): string;
+//# sourceMappingURL=findings.d.ts.map

package/dist/document/findings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"findings.d.ts","sourceRoot":"","sources":["../../src/document/findings.ts"],"names":[],"mappings":"AAWA,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAEpD,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,2DAA2D;IAC3D,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,EAAE,MAAM,MAAM,EAAE,SAAS,MAAM,EAAE,MAAM,MAAM,KAAG,OAMhF,CAAC;AAEH,eAAO,MAAM,OAAO,GAAI,MAAM,MAAM,EAAE,MAAM,MAAM,EAAE,SAAS,MAAM,EAAE,MAAM,MAAM,KAAG,OAMlF,CAAC;AAEH,eAAO,MAAM,SAAS,GAAI,UAAU,SAAS,OAAO,EAAE,YAAiD,CAAC;AAExG,mEAAmE;AACnE,wBAAgB,WAAW,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAEhE"}

package/dist/document/findings.js

@@ -0,0 +1,30 @@
+/*
+ * A FINDING is a sentence about a place in the document.
+ *
+ * Every refusal the document path produces — malformed JSON, an edge to a
+ * kind nobody declared, a rule that names a field the kind lacks, whatever
+ * `graview check` says about the compiled app — arrives in this one shape,
+ * so the web editor, the chat's `propose_change` and a CI annotation can all
+ * point at the line. `path` is dotted from the document root
+ * ("kinds.vendor.fields.status.options").
+ */
+export const error = (code, path, message, fix) => ({
+    severity: "error",
+    code,
+    path,
+    message,
+    ...(fix ? { fix } : {}),
+});
+export const warning = (code, path, message, fix) => ({
+    severity: "warning",
+    code,
+    path,
+    message,
+    ...(fix ? { fix } : {}),
+});
+export const hasErrors = (findings) => findings.some((f) => f.severity === "error");
+/** One line per finding, the way a person reads them in a chat. */
+export function sayFindings(findings) {
+    return findings.map((f) => `${f.severity === "error" ? "✗" : f.severity === "warning" ? "!" : "·"} ${f.path || "(document)"}: ${f.message}${f.fix ? ` — ${f.fix}` : ""}`).join("\n");
+}
+//# sourceMappingURL=findings.js.map

package/dist/document/findings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"findings.js","sourceRoot":"","sources":["../../src/document/findings.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAaH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,OAAe,EAAE,GAAY,EAAW,EAAE,CAAC,CAAC;IAC5F,QAAQ,EAAE,OAAO;IACjB,IAAI;IACJ,IAAI;IACJ,OAAO;IACP,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CACxB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,OAAe,EAAE,GAAY,EAAW,EAAE,CAAC,CAAC;IAC9F,QAAQ,EAAE,SAAS;IACnB,IAAI;IACJ,IAAI;IACJ,OAAO;IACP,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CACxB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAA4B,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;AAExG,mEAAmE;AACnE,MAAM,UAAU,WAAW,CAAC,QAA4B;IACtD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,IAAI,YAAY,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvL,CAAC"}

package/dist/document/graview-template.d.ts

@@ -0,0 +1,148 @@
+import { z } from "zod";
+import type { Primitive } from "../graph/primitives.js";
+import { type CompileOptions, type CompiledDocument } from "./compile.js";
+import { type Finding } from "./findings.js";
+import type { GraviewDocument } from "./schema.js";
+export declare const TEMPLATE_FORMAT = "graview-template";
+export declare const TEMPLATE_FORMAT_VERSION = 1;
+export declare const TEMPLATE_QUESTION_TYPES: readonly ["string", "text", "number", "date", "list", "choice"];
+declare const QuestionSpec: z.ZodObject<{
+    id: z.ZodString;
+    ask: z.ZodString;
+    type: z.ZodEnum<{
+        string: "string";
+        number: "number";
+        text: "text";
+        date: "date";
+        choice: "choice";
+        list: "list";
+    }>;
+    options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    default: z.ZodOptional<z.ZodUnknown>;
+    optional: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strict>;
+export type TemplateQuestion = z.infer<typeof QuestionSpec>;
+declare const SetupStepSpec: z.ZodObject<{
+    act: z.ZodString;
+    args: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    if: z.ZodOptional<z.ZodString>;
+    forEach: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export type TemplateSetupStep = z.infer<typeof SetupStepSpec>;
+declare const SeedNodeSpec: z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodString;
+}, z.core.$catchall<z.ZodUnknown>>;
+export type TemplateSeedNode = z.infer<typeof SeedNodeSpec>;
+declare const SeedSpec: z.ZodObject<{
+    nodes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodString;
+    }, z.core.$catchall<z.ZodUnknown>>>;
+    edges: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        kind: z.ZodString;
+        from: z.ZodString;
+        to: z.ZodString;
+    }, z.core.$strict>>>;
+    anchor: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export type TemplateSeed = z.infer<typeof SeedSpec>;
+export declare const TemplateSpec: z.ZodObject<{
+    format: z.ZodLiteral<"graview-template">;
+    formatVersion: z.ZodLiteral<1>;
+    id: z.ZodString;
+    version: z.ZodNumber;
+    title: z.ZodString;
+    pitch: z.ZodString;
+    useCases: z.ZodArray<z.ZodString>;
+    document: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    seed: z.ZodOptional<z.ZodObject<{
+        nodes: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodString;
+        }, z.core.$catchall<z.ZodUnknown>>>;
+        edges: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+        }, z.core.$strict>>>;
+        anchor: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    questions: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        ask: z.ZodString;
+        type: z.ZodEnum<{
+            string: "string";
+            number: "number";
+            text: "text";
+            date: "date";
+            choice: "choice";
+            list: "list";
+        }>;
+        options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        default: z.ZodOptional<z.ZodUnknown>;
+        optional: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>>;
+    setup: z.ZodArray<z.ZodObject<{
+        act: z.ZodString;
+        args: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        if: z.ZodOptional<z.ZodString>;
+        forEach: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    readme: z.ZodString;
+    screenshots: z.ZodArray<z.ZodString>;
+    author: z.ZodObject<{
+        workspace: z.ZodString;
+        name: z.ZodString;
+    }, z.core.$strict>;
+    remixedFrom: z.ZodUnion<readonly [z.ZodString, z.ZodNull]>;
+    license: z.ZodString;
+}, z.core.$strict>;
+export type GraviewTemplate = z.infer<typeof TemplateSpec>;
+/** Whether some JSON says it is a template (rather than a bare document). Says nothing about whether it is a good one. */
+export declare function isGraviewTemplate(raw: unknown): boolean;
+/** Parse a template, saying what is wrong with it in findings with a path. */
+export declare function readGraviewTemplate(raw: unknown): {
+    readonly ok: true;
+    readonly template: GraviewTemplate;
+} | {
+    readonly ok: false;
+    readonly findings: readonly Finding[];
+};
+/** One act call setup makes: an ordinary call, with the sentence the history says it was for. */
+export interface TemplateCall {
+    readonly name: string;
+    readonly args: Record<string, unknown>;
+    readonly intent: string;
+}
+export interface InstantiatedTemplate {
+    readonly ok: true;
+    readonly template: GraviewTemplate;
+    readonly document: GraviewDocument;
+    readonly compiled: CompiledDocument;
+    /** The answers after defaults and coercion; an unanswered optional question is absent. */
+    readonly answers: Readonly<Record<string, unknown>>;
+    /** The setup, expanded into act calls in the order the template lists them. */
+    readonly setup: readonly TemplateCall[];
+    /** The example content with its kinds' defaults filled in and its dates moved to today. */
+    readonly seed?: TemplateSeed;
+}
+export interface RefusedTemplate {
+    readonly ok: false;
+    readonly findings: readonly Finding[];
+}
+/**
+ * A template, made ready to install: its shape read, its document compiled
+ * through the same compiler every document goes through, the answers held to
+ * the questions, the setup expanded, and the example content judged against
+ * the compiled schema. Everything is judged before anything happens; what
+ * comes back is data a store applies.
+ *
+ * Setup may only create things or act on nothing: an answer can name a
+ * category, never "the category made two steps ago".
+ */
+export declare function instantiateTemplate(raw: unknown, answers?: Readonly<Record<string, unknown>>, options?: CompileOptions): InstantiatedTemplate | RefusedTemplate;
+/** The example content as primitives, for a store to apply as one batch of its own. */
+export declare function templateSeedPrimitives(seed: TemplateSeed, document: GraviewDocument): Primitive[];
+export {};
+//# sourceMappingURL=graview-template.d.ts.map

package/dist/document/graview-template.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graview-template.d.ts","sourceRoot":"","sources":["../../src/document/graview-template.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAmB,KAAK,cAAc,EAAE,KAAK,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAI3F,OAAO,EAAS,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAenD,eAAO,MAAM,eAAe,qBAAqB,CAAC;AAClD,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAQzC,eAAO,MAAM,uBAAuB,iEAAkE,CAAC;AAEvG,QAAA,MAAM,YAAY;;;;;;;;;;;;;;kBAgBd,CAAC;AACL,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAE5D,QAAA,MAAM,aAAa;;;;;kBASR,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE9D,QAAA,MAAM,YAAY;;;kCAA8F,CAAC;AACjH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAE5D,QAAA,MAAM,QAAQ;;;;;;;;;;;kBAOH,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEpD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0BrB,CAAC;AACL,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAE3D,0HAA0H;AAC1H,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAEvD;AAED,8EAA8E;AAC9E,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,CAiB3K;AAED,iGAAiG;AACjG,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,0FAA0F;IAC1F,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,2FAA2F;IAC3F,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;CAC9B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;CACvC;AAED;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,EAAE,OAAO,GAAE,cAAmB,GAAG,oBAAoB,GAAG,eAAe,CA2BvK;AAED,uFAAuF;AACvF,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,GAAG,SAAS,EAAE,CAKjG"}