@fieldia/designer 0.0.0-stage → 0.11.0

package/src/lib/rules-commands.js

@@ -0,0 +1,202 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.cannotHold = cannotHold;
+exports.ruleRefusal = ruleRefusal;
+exports.rulesCommands = rulesCommands;
+const kinds_1 = require("./kinds");
+const page_tree_1 = require("./page-tree");
+const refusal_1 = require("./refusal");
+const rules_formula_1 = require("./rules-formula");
+const rules_words_1 = require("./rules-words");
+const en_1 = require("./locales/en");
+/** The kinds of field a formula can give a value to, as the page format allows. */
+const WORKED_OUT = new Set(['char', 'text', 'html', 'integer', 'float', 'monetary', 'boolean', 'date', 'datetime', 'selection', 'json']);
+function fieldNode(draft, id) {
+    const found = (0, page_tree_1.findNode)(draft, id);
+    if (!found || found.node.type !== 'field')
+        throw new refusal_1.Refusal((w) => w.refusals.noField(id));
+    return found.node;
+}
+const labelOf = (draft, node) => node.label ?? draft.fields[node.field]?.label ?? node.field;
+/** A formula's problem on this page, in words, led by which box it is in when there are several. */
+function refuseFormula(draft, source, lead = (_w, problem) => problem) {
+    if ((0, rules_formula_1.formulaProblem)(draft, source))
+        throw new refusal_1.Refusal((w) => lead(w, (0, rules_formula_1.problemWords)((0, rules_formula_1.formulaProblem)(draft, source, w), w)));
+}
+/** What is wrong with setting this value on this field, in words; null when it can hold it, or it is worked out as it goes. */
+function cannotHold(field, label, value, words = en_1.en) {
+    const w = words.rules;
+    const literal = (0, rules_formula_1.literalOf)(value);
+    if (!literal || literal.value === null)
+        return null;
+    const v = literal.value;
+    const said = typeof v === 'string' ? w.text(v) : typeof v === 'boolean' ? (v ? w.yes : w.no) : String(v);
+    const not = () => w.holdsNot(label, (0, kinds_1.storedAs)(field, words), said);
+    switch (field.type) {
+        case 'integer':
+            return typeof v === 'number' && Number.isInteger(v) ? null : not();
+        case 'float':
+        case 'monetary':
+            return typeof v === 'number' ? null : not();
+        case 'boolean':
+            return typeof v === 'boolean' ? null : not();
+        case 'date':
+        case 'datetime':
+            return typeof v === 'string' && /^\d{4}-\d{2}-\d{2}/.test(v) ? null : not();
+        case 'char':
+        case 'text':
+        case 'html':
+            return typeof v === 'boolean' ? not() : null;
+        case 'selection': {
+            if (field.options.some((o) => o.value === v) || (field.other && typeof v === 'string'))
+                return null;
+            return w.offersNot(label, field.options.map((o) => o.label), said);
+        }
+        default:
+            return null;
+    }
+}
+/** What is wrong with an answer rule on this field, in words; null when it can be kept. */
+function ruleRefusal(draft, node, rule, words = en_1.en) {
+    const w = words.rules;
+    const field = draft.fields[node.field];
+    const label = labelOf(draft, node);
+    const asks = (0, rules_words_1.ruleAsks)(rule);
+    if (!asks.length)
+        return w.askSomething;
+    const misfit = (0, rules_words_1.asksNotFitting)(field, rule);
+    if (misfit.length)
+        return w.askMisfit(label, (0, kinds_1.storedAs)(field, words), w.asks[misfit[0]]);
+    if (rule.pattern !== undefined) {
+        try {
+            new RegExp(`^(?:${rule.pattern})$`);
+        }
+        catch {
+            return w.patternUnreadable(rule.pattern);
+        }
+    }
+    for (const key of ['minLength', 'maxLength', 'atLeast', 'atMost']) {
+        const n = rule[key];
+        if (n !== undefined && !(Number.isInteger(n) && n >= (key === 'minLength' || key === 'atLeast' ? 0 : 1)))
+            return key.endsWith('Length') ? w.lengthWhole : w.tickedWhole;
+    }
+    for (const key of ['min', 'max'])
+        if (rule[key] !== undefined && !Number.isFinite(rule[key]))
+            return w.rangeNumbers;
+    if (rule.minLength !== undefined && rule.maxLength !== undefined && rule.minLength > rule.maxLength)
+        return w.shortestLonger(rule.minLength, rule.maxLength);
+    if (rule.min !== undefined && rule.max !== undefined && rule.min > rule.max)
+        return w.smallestMore(rule.min, rule.max);
+    if (rule.atLeast !== undefined && rule.atMost !== undefined && rule.atLeast > rule.atMost)
+        return w.atLeastMore(rule.atLeast, rule.atMost);
+    if (rule.holds !== undefined) {
+        const problem = (0, rules_formula_1.formulaProblem)(draft, rule.holds, words);
+        if (problem)
+            return w.inMustHold((0, rules_formula_1.problemWords)(problem, words));
+    }
+    if (typeof rule.when === 'string') {
+        const problem = (0, rules_formula_1.formulaProblem)(draft, rule.when, words);
+        if (problem)
+            return w.inOnlyWhen((0, rules_formula_1.problemWords)(problem, words));
+    }
+    return null;
+}
+/** Which box of the values set by a rule changed, when only one did: typing in it is one undo step. */
+function setWhenBox(before, after) {
+    if (!before || before.length !== after.length)
+        return null;
+    const changed = after.flatMap((item, i) => ['when', 'value'].filter((part) => item[part] !== before[i][part]).map((part) => `${i}:${part}`));
+    return changed.length === 1 ? changed[0] : null;
+}
+function rulesCommands({ apply, getPage, fromModel }) {
+    return {
+        setCompute(id, expression) {
+            return apply((draft) => {
+                const node = fieldNode(draft, id);
+                const field = draft.fields[node.field];
+                const label = labelOf(draft, node);
+                if (fromModel(node.field))
+                    throw new refusal_1.Refusal((w) => w.rules.computeFromModel(label));
+                const source = expression?.trim() ?? '';
+                if (!source) {
+                    delete field.compute;
+                    return;
+                }
+                if (!WORKED_OUT.has(field.type))
+                    throw new refusal_1.Refusal((w) => w.rules.cannotBeWorkedOut(label, (0, kinds_1.storedAs)(field, w)));
+                refuseFormula(draft, source);
+                if ((0, rules_formula_1.wouldCircle)(draft, node.field, source))
+                    throw new refusal_1.Refusal((w) => (0, rules_formula_1.wouldCircle)(draft, node.field, source, w));
+                field.compute = source;
+            }, 
+            // Typing a formula is one step; taking it away is a step of its own.
+            expression?.trim() ? `compute:${id}` : null);
+        },
+        setSetWhen(id, items) {
+            const list = (items ?? []).map((item) => ({ when: item.when.trim(), value: item.value.trim() }));
+            // Typing in one box — a value, or when — is one undo step; another box is another.
+            const now = (0, page_tree_1.findNode)(getPage(), id)?.node;
+            const box = now?.type === 'field' ? setWhenBox(getPage().fields[now.field]?.setWhen, list) : null;
+            return apply((draft) => {
+                const node = fieldNode(draft, id);
+                const field = draft.fields[node.field];
+                const label = labelOf(draft, node);
+                if (fromModel(node.field))
+                    throw new refusal_1.Refusal((w) => w.rules.setFromModel(label));
+                if (!list.length) {
+                    delete field.setWhen;
+                    return;
+                }
+                if (!WORKED_OUT.has(field.type))
+                    throw new refusal_1.Refusal((w) => w.rules.cannotBeSet(label, (0, kinds_1.storedAs)(field, w)));
+                for (const item of list) {
+                    refuseFormula(draft, item.when, (w, problem) => w.rules.inWhen(problem));
+                    refuseFormula(draft, item.value, (w, problem) => w.rules.inSetTo(problem));
+                    if (cannotHold(field, label, item.value))
+                        throw new refusal_1.Refusal((w) => cannotHold(field, label, item.value, w));
+                }
+                field.setWhen = list;
+            }, box ? `set-when:${id}:${box}` : null);
+        },
+        addAnswerRule(id, rule) {
+            return apply((draft) => {
+                const node = fieldNode(draft, id);
+                const tidy = withoutEmpty(rule);
+                if (ruleRefusal(draft, node, tidy))
+                    throw new refusal_1.Refusal((w) => ruleRefusal(draft, node, tidy, w));
+                node.validate = [...(node.validate ?? []), tidy];
+            });
+        },
+        updateAnswerRule(id, index, patch) {
+            return apply((draft) => {
+                const node = fieldNode(draft, id);
+                const rule = node.validate?.[index];
+                if (!rule)
+                    throw new refusal_1.Refusal((w) => w.rules.noRule(labelOf(draft, node), index + 1));
+                const next = withoutEmpty({ ...rule, ...patch });
+                if (ruleRefusal(draft, node, next))
+                    throw new refusal_1.Refusal((w) => ruleRefusal(draft, node, next, w));
+                node.validate[index] = next;
+            }, `answer-rule:${id}:${index}:${Object.keys(patch).sort().join(',')}`);
+        },
+        removeAnswerRule(id, index) {
+            return apply((draft) => {
+                const node = fieldNode(draft, id);
+                if (!node.validate?.[index])
+                    throw new refusal_1.Refusal((w) => w.rules.noRule(labelOf(draft, node), index + 1));
+                node.validate.splice(index, 1);
+                if (!node.validate.length)
+                    delete node.validate;
+            });
+        },
+    };
+}
+/** A rule with what was taken away left out: `null`, and an empty message. */
+function withoutEmpty(rule) {
+    const out = {};
+    for (const [key, value] of Object.entries(rule))
+        if (value !== null && value !== undefined && !(key === 'message' && value === ''))
+            out[key] = value;
+    return out;
+}
+//# sourceMappingURL=rules-commands.js.map

package/src/lib/rules-commands.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules-commands.js","sourceRoot":"","sources":["../../../../../libs/designer/src/lib/rules-commands.ts"],"names":[],"mappings":";;AAyDA,gCA6BC;AAGD,kCAgCC;AASD,sCAmFC;AApND,mCAAmC;AACnC,2CAAuC;AACvC,uCAAoC;AACpC,mDAAuF;AACvF,+CAAyD;AAEzD,qCAAkC;AAiClC,mFAAmF;AACnF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;AAEzI,SAAS,SAAS,CAAC,KAAW,EAAE,EAAU;IACxC,MAAM,KAAK,GAAG,IAAA,oBAAQ,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAClC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5F,OAAO,KAAK,CAAC,IAAI,CAAC;AACpB,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,KAAW,EAAE,IAAe,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;AAE9G,oGAAoG;AACpG,SAAS,aAAa,CAAC,KAAW,EAAE,MAAc,EAAE,OAAsD,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO;IAChI,IAAI,IAAA,8BAAc,EAAC,KAAK,EAAE,MAAM,CAAC;QAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,IAAA,4BAAY,EAAC,IAAA,8BAAc,EAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1H,CAAC;AAED,+HAA+H;AAC/H,SAAgB,UAAU,CAAC,KAAY,EAAE,KAAa,EAAE,KAAa,EAAE,QAAuB,OAAE;IAC9F,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,MAAM,OAAO,GAAG,IAAA,yBAAS,EAAC,KAAK,CAAC,CAAC;IACjC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;IACxB,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACzG,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAA,gBAAQ,EAAC,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IAClE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACrE,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC9C,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC/C,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACb,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC9E,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/C,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpG,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QACrE,CAAC;QACD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,SAAgB,WAAW,CAAC,KAAW,EAAE,IAAe,EAAE,IAAgB,EAAE,QAAuB,OAAE;IACnG,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,YAAY,CAAC;IACxC,MAAM,MAAM,GAAG,IAAA,4BAAc,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,IAAA,gBAAQ,EAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,IAAI,MAAM,CAAC,OAAO,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,CAAU,EAAE,CAAC;QAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;IAC1K,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,CAAU;QAAE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,YAAY,CAAC;IAC7H,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS;QAAE,OAAO,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7J,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG;QAAE,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACvH,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3I,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,IAAA,8BAAc,EAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzD,IAAI,OAAO;YAAE,OAAO,CAAC,CAAC,UAAU,CAAC,IAAA,4BAAY,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,IAAA,8BAAc,EAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxD,IAAI,OAAO;YAAE,OAAO,CAAC,CAAC,UAAU,CAAC,IAAA,4BAAY,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uGAAuG;AACvG,SAAS,UAAU,CAAC,MAA6B,EAAE,KAAgB;IACjE,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAE,CAAC,MAAM,EAAE,OAAO,CAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACxJ,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC;AAED,SAAgB,aAAa,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAqB;IAC5E,OAAO;QACL,UAAU,CAAC,EAAE,EAAE,UAAU;YACvB,OAAO,KAAK,CACV,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBACnC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;gBACrF,MAAM,MAAM,GAAG,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBACxC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,OAAO,KAAK,CAAC,OAAO,CAAC;oBACrB,OAAO;gBACT,CAAC;gBACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAA,gBAAQ,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChH,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC7B,IAAI,IAAA,2BAAW,EAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC;oBAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,2BAAW,EAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAW,CAAC,CAAC;gBAC1H,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;YACzB,CAAC;YACD,qEAAqE;YACrE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C,CAAC;QACJ,CAAC;QAED,UAAU,CAAC,EAAE,EAAE,KAAK;YAClB,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;YACjG,mFAAmF;YACnF,MAAM,GAAG,GAAG,IAAA,oBAAQ,EAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC;YAC1C,MAAM,GAAG,GAAG,GAAG,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAClG,OAAO,KAAK,CACV,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBACnC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjF,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACjB,OAAO,KAAK,CAAC,OAAO,CAAC;oBACrB,OAAO;gBACT,CAAC;gBACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,IAAA,gBAAQ,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1G,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;oBACxB,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;oBACzE,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;oBAC3E,IAAI,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC;wBAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAW,CAAC,CAAC;gBACxH,CAAC;gBACD,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;YACvB,CAAC,EACD,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CACrC,CAAC;QACJ,CAAC;QAED,aAAa,CAAC,EAAE,EAAE,IAAI;YACpB,OAAO,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;gBACrB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC;oBAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAW,CAAC,CAAC;gBAC1G,IAAI,CAAC,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;QACL,CAAC;QAED,gBAAgB,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK;YAC/B,OAAO,KAAK,CACV,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,CAAC,IAAI;oBAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;gBACrF,MAAM,IAAI,GAAG,YAAY,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,EAAqB,CAAC,CAAC;gBACpE,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC;oBAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAW,CAAC,CAAC;gBACzG,IAAI,CAAC,QAAyB,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;YAChD,CAAC,EACD,eAAe,EAAE,IAAI,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACpE,CAAC;QACJ,CAAC;QAED,gBAAgB,CAAC,EAAE,EAAE,KAAK;YACxB,OAAO,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;gBACrB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,iBAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;gBACvG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM;oBAAE,OAAO,IAAI,CAAC,QAAQ,CAAC;YAClD,CAAC,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,SAAS,YAAY,CAAC,IAAqB;IACzC,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACrJ,OAAO,GAAiB,CAAC;AAC3B,CAAC"}

package/src/lib/rules-commands.mjs

@@ -0,0 +1,197 @@
+import { storedAs } from './kinds.mjs';
+import { findNode } from './page-tree.mjs';
+import { Refusal } from './refusal.mjs';
+import { formulaProblem, literalOf, problemWords, wouldCircle } from './rules-formula.mjs';
+import { asksNotFitting, ruleAsks } from './rules-words.mjs';
+import { en } from './locales/en/index.mjs';
+/** The kinds of field a formula can give a value to, as the page format allows. */
+const WORKED_OUT = new Set(['char', 'text', 'html', 'integer', 'float', 'monetary', 'boolean', 'date', 'datetime', 'selection', 'json']);
+function fieldNode(draft, id) {
+    const found = findNode(draft, id);
+    if (!found || found.node.type !== 'field')
+        throw new Refusal((w) => w.refusals.noField(id));
+    return found.node;
+}
+const labelOf = (draft, node) => node.label ?? draft.fields[node.field]?.label ?? node.field;
+/** A formula's problem on this page, in words, led by which box it is in when there are several. */
+function refuseFormula(draft, source, lead = (_w, problem) => problem) {
+    if (formulaProblem(draft, source))
+        throw new Refusal((w) => lead(w, problemWords(formulaProblem(draft, source, w), w)));
+}
+/** What is wrong with setting this value on this field, in words; null when it can hold it, or it is worked out as it goes. */
+export function cannotHold(field, label, value, words = en) {
+    const w = words.rules;
+    const literal = literalOf(value);
+    if (!literal || literal.value === null)
+        return null;
+    const v = literal.value;
+    const said = typeof v === 'string' ? w.text(v) : typeof v === 'boolean' ? (v ? w.yes : w.no) : String(v);
+    const not = () => w.holdsNot(label, storedAs(field, words), said);
+    switch (field.type) {
+        case 'integer':
+            return typeof v === 'number' && Number.isInteger(v) ? null : not();
+        case 'float':
+        case 'monetary':
+            return typeof v === 'number' ? null : not();
+        case 'boolean':
+            return typeof v === 'boolean' ? null : not();
+        case 'date':
+        case 'datetime':
+            return typeof v === 'string' && /^\d{4}-\d{2}-\d{2}/.test(v) ? null : not();
+        case 'char':
+        case 'text':
+        case 'html':
+            return typeof v === 'boolean' ? not() : null;
+        case 'selection': {
+            if (field.options.some((o) => o.value === v) || (field.other && typeof v === 'string'))
+                return null;
+            return w.offersNot(label, field.options.map((o) => o.label), said);
+        }
+        default:
+            return null;
+    }
+}
+/** What is wrong with an answer rule on this field, in words; null when it can be kept. */
+export function ruleRefusal(draft, node, rule, words = en) {
+    const w = words.rules;
+    const field = draft.fields[node.field];
+    const label = labelOf(draft, node);
+    const asks = ruleAsks(rule);
+    if (!asks.length)
+        return w.askSomething;
+    const misfit = asksNotFitting(field, rule);
+    if (misfit.length)
+        return w.askMisfit(label, storedAs(field, words), w.asks[misfit[0]]);
+    if (rule.pattern !== undefined) {
+        try {
+            new RegExp(`^(?:${rule.pattern})$`);
+        }
+        catch {
+            return w.patternUnreadable(rule.pattern);
+        }
+    }
+    for (const key of ['minLength', 'maxLength', 'atLeast', 'atMost']) {
+        const n = rule[key];
+        if (n !== undefined && !(Number.isInteger(n) && n >= (key === 'minLength' || key === 'atLeast' ? 0 : 1)))
+            return key.endsWith('Length') ? w.lengthWhole : w.tickedWhole;
+    }
+    for (const key of ['min', 'max'])
+        if (rule[key] !== undefined && !Number.isFinite(rule[key]))
+            return w.rangeNumbers;
+    if (rule.minLength !== undefined && rule.maxLength !== undefined && rule.minLength > rule.maxLength)
+        return w.shortestLonger(rule.minLength, rule.maxLength);
+    if (rule.min !== undefined && rule.max !== undefined && rule.min > rule.max)
+        return w.smallestMore(rule.min, rule.max);
+    if (rule.atLeast !== undefined && rule.atMost !== undefined && rule.atLeast > rule.atMost)
+        return w.atLeastMore(rule.atLeast, rule.atMost);
+    if (rule.holds !== undefined) {
+        const problem = formulaProblem(draft, rule.holds, words);
+        if (problem)
+            return w.inMustHold(problemWords(problem, words));
+    }
+    if (typeof rule.when === 'string') {
+        const problem = formulaProblem(draft, rule.when, words);
+        if (problem)
+            return w.inOnlyWhen(problemWords(problem, words));
+    }
+    return null;
+}
+/** Which box of the values set by a rule changed, when only one did: typing in it is one undo step. */
+function setWhenBox(before, after) {
+    if (!before || before.length !== after.length)
+        return null;
+    const changed = after.flatMap((item, i) => ['when', 'value'].filter((part) => item[part] !== before[i][part]).map((part) => `${i}:${part}`));
+    return changed.length === 1 ? changed[0] : null;
+}
+export function rulesCommands({ apply, getPage, fromModel }) {
+    return {
+        setCompute(id, expression) {
+            return apply((draft) => {
+                const node = fieldNode(draft, id);
+                const field = draft.fields[node.field];
+                const label = labelOf(draft, node);
+                if (fromModel(node.field))
+                    throw new Refusal((w) => w.rules.computeFromModel(label));
+                const source = expression?.trim() ?? '';
+                if (!source) {
+                    delete field.compute;
+                    return;
+                }
+                if (!WORKED_OUT.has(field.type))
+                    throw new Refusal((w) => w.rules.cannotBeWorkedOut(label, storedAs(field, w)));
+                refuseFormula(draft, source);
+                if (wouldCircle(draft, node.field, source))
+                    throw new Refusal((w) => wouldCircle(draft, node.field, source, w));
+                field.compute = source;
+            }, 
+            // Typing a formula is one step; taking it away is a step of its own.
+            expression?.trim() ? `compute:${id}` : null);
+        },
+        setSetWhen(id, items) {
+            const list = (items ?? []).map((item) => ({ when: item.when.trim(), value: item.value.trim() }));
+            // Typing in one box — a value, or when — is one undo step; another box is another.
+            const now = findNode(getPage(), id)?.node;
+            const box = now?.type === 'field' ? setWhenBox(getPage().fields[now.field]?.setWhen, list) : null;
+            return apply((draft) => {
+                const node = fieldNode(draft, id);
+                const field = draft.fields[node.field];
+                const label = labelOf(draft, node);
+                if (fromModel(node.field))
+                    throw new Refusal((w) => w.rules.setFromModel(label));
+                if (!list.length) {
+                    delete field.setWhen;
+                    return;
+                }
+                if (!WORKED_OUT.has(field.type))
+                    throw new Refusal((w) => w.rules.cannotBeSet(label, storedAs(field, w)));
+                for (const item of list) {
+                    refuseFormula(draft, item.when, (w, problem) => w.rules.inWhen(problem));
+                    refuseFormula(draft, item.value, (w, problem) => w.rules.inSetTo(problem));
+                    if (cannotHold(field, label, item.value))
+                        throw new Refusal((w) => cannotHold(field, label, item.value, w));
+                }
+                field.setWhen = list;
+            }, box ? `set-when:${id}:${box}` : null);
+        },
+        addAnswerRule(id, rule) {
+            return apply((draft) => {
+                const node = fieldNode(draft, id);
+                const tidy = withoutEmpty(rule);
+                if (ruleRefusal(draft, node, tidy))
+                    throw new Refusal((w) => ruleRefusal(draft, node, tidy, w));
+                node.validate = [...(node.validate ?? []), tidy];
+            });
+        },
+        updateAnswerRule(id, index, patch) {
+            return apply((draft) => {
+                const node = fieldNode(draft, id);
+                const rule = node.validate?.[index];
+                if (!rule)
+                    throw new Refusal((w) => w.rules.noRule(labelOf(draft, node), index + 1));
+                const next = withoutEmpty({ ...rule, ...patch });
+                if (ruleRefusal(draft, node, next))
+                    throw new Refusal((w) => ruleRefusal(draft, node, next, w));
+                node.validate[index] = next;
+            }, `answer-rule:${id}:${index}:${Object.keys(patch).sort().join(',')}`);
+        },
+        removeAnswerRule(id, index) {
+            return apply((draft) => {
+                const node = fieldNode(draft, id);
+                if (!node.validate?.[index])
+                    throw new Refusal((w) => w.rules.noRule(labelOf(draft, node), index + 1));
+                node.validate.splice(index, 1);
+                if (!node.validate.length)
+                    delete node.validate;
+            });
+        },
+    };
+}
+/** A rule with what was taken away left out: `null`, and an empty message. */
+function withoutEmpty(rule) {
+    const out = {};
+    for (const [key, value] of Object.entries(rule))
+        if (value !== null && value !== undefined && !(key === 'message' && value === ''))
+            out[key] = value;
+    return out;
+}
+//# sourceMappingURL=rules-commands.mjs.map

package/src/lib/rules-commands.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules-commands.mjs","sourceRoot":"","sources":["../../../../../libs/designer/src/lib/rules-commands.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzD,OAAO,EAAE,EAAE,EAAE,MAAM,cAAc,CAAC;AAiClC,mFAAmF;AACnF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;AAEzI,SAAS,SAAS,CAAC,KAAW,EAAE,EAAU;IACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAClC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5F,OAAO,KAAK,CAAC,IAAI,CAAC;AACpB,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,KAAW,EAAE,IAAe,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;AAE9G,oGAAoG;AACpG,SAAS,aAAa,CAAC,KAAW,EAAE,MAAc,EAAE,OAAsD,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO;IAChI,IAAI,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC;QAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1H,CAAC;AAED,+HAA+H;AAC/H,MAAM,UAAU,UAAU,CAAC,KAAY,EAAE,KAAa,EAAE,KAAa,EAAE,QAAuB,EAAE;IAC9F,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;IACxB,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACzG,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IAClE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACrE,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC9C,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC/C,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACb,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC9E,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/C,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpG,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QACrE,CAAC;QACD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,WAAW,CAAC,KAAW,EAAE,IAAe,EAAE,IAAgB,EAAE,QAAuB,EAAE;IACnG,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,YAAY,CAAC;IACxC,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,IAAI,MAAM,CAAC,OAAO,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,CAAU,EAAE,CAAC;QAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;IAC1K,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,CAAU;QAAE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,YAAY,CAAC;IAC7H,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS;QAAE,OAAO,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7J,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG;QAAE,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACvH,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3I,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzD,IAAI,OAAO;YAAE,OAAO,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxD,IAAI,OAAO;YAAE,OAAO,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uGAAuG;AACvG,SAAS,UAAU,CAAC,MAA6B,EAAE,KAAgB;IACjE,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAE,CAAC,MAAM,EAAE,OAAO,CAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACxJ,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAqB;IAC5E,OAAO;QACL,UAAU,CAAC,EAAE,EAAE,UAAU;YACvB,OAAO,KAAK,CACV,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBACnC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;gBACrF,MAAM,MAAM,GAAG,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBACxC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,OAAO,KAAK,CAAC,OAAO,CAAC;oBACrB,OAAO;gBACT,CAAC;gBACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChH,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC7B,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC;oBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAW,CAAC,CAAC;gBAC1H,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;YACzB,CAAC;YACD,qEAAqE;YACrE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C,CAAC;QACJ,CAAC;QAED,UAAU,CAAC,EAAE,EAAE,KAAK;YAClB,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;YACjG,mFAAmF;YACnF,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC;YAC1C,MAAM,GAAG,GAAG,GAAG,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAClG,OAAO,KAAK,CACV,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBACnC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjF,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACjB,OAAO,KAAK,CAAC,OAAO,CAAC;oBACrB,OAAO;gBACT,CAAC;gBACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1G,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;oBACxB,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;oBACzE,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;oBAC3E,IAAI,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC;wBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAW,CAAC,CAAC;gBACxH,CAAC;gBACD,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;YACvB,CAAC,EACD,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CACrC,CAAC;QACJ,CAAC;QAED,aAAa,CAAC,EAAE,EAAE,IAAI;YACpB,OAAO,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;gBACrB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC;oBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAW,CAAC,CAAC;gBAC1G,IAAI,CAAC,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;QACL,CAAC;QAED,gBAAgB,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK;YAC/B,OAAO,KAAK,CACV,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,CAAC,IAAI;oBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;gBACrF,MAAM,IAAI,GAAG,YAAY,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,EAAqB,CAAC,CAAC;gBACpE,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC;oBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAW,CAAC,CAAC;gBACzG,IAAI,CAAC,QAAyB,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;YAChD,CAAC,EACD,eAAe,EAAE,IAAI,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACpE,CAAC;QACJ,CAAC;QAED,gBAAgB,CAAC,EAAE,EAAE,KAAK;YACxB,OAAO,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;gBACrB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;gBACvG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM;oBAAE,OAAO,IAAI,CAAC,QAAQ,CAAC;YAClD,CAAC,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,SAAS,YAAY,CAAC,IAAqB;IACzC,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACrJ,OAAO,GAAiB,CAAC;AAC3B,CAAC"}

package/src/lib/rules-formula-box.d.mts

@@ -0,0 +1,46 @@
+import type { Page } from '@fieldia/core';
+import type { ElementFactory } from './chrome.mjs';
+import { type FormulaProblem } from './rules-formula.mjs';
+import type { DesignerWords } from './designer-words.mjs';
+/**
+ * A box to type a formula in, the way a person writes one: typing a field's
+ * name — or @ — lists the page's fields by their labels, and picking one puts
+ * its name in; the arrows go down the list, Enter or Tab picks, Escape closes
+ * it. What is wrong shows under the box, the place it is about marked in a
+ * copy of the formula. A formula that reads is handed on as it is typed; one
+ * that does not is kept here, so the page keeps the last one that read.
+ *
+ * The box holds the formula as the page stores it, its fields by their
+ * names, and a line above it reads it in words, its fields by their labels:
+ * "Reads: Price × Quantity". Words are never turned back into a formula, so
+ * two fields with one label, or a label with a sign in it, cannot change
+ * what the page stores.
+ */
+export interface FormulaBoxOptions {
+    /** The designer's words. */
+    words: DesignerWords;
+    label: string;
+    placeholder?: string;
+    /** The field it is about, left out of the suggestions. */
+    own?(): string | undefined;
+    /** What is wrong with a formula, or null when it reads. */
+    check(page: Page, source: string): FormulaProblem | null;
+    /** A formula that reads, or an empty box, as it is typed. */
+    commit(source: string): void;
+    /** Said after each change: the result on made-up values. */
+    said?(page: Page, source: string): string;
+}
+export interface FormulaBox {
+    /** The box and its list of suggestions. */
+    element: HTMLElement;
+    input: HTMLInputElement;
+    /** What is wrong, under the box. */
+    problem: HTMLElement;
+    /** The result on made-up values, under the box. */
+    result: HTMLElement;
+    /** The page as it is now, and the formula it holds: shown unless the box is being typed in. */
+    update(page: Page, source: string): void;
+    /** Put words in where the cursor is, the cursor `back` characters before their end. */
+    insert(text: string, back?: number): void;
+}
+export declare function formulaBox(el: ElementFactory, options: FormulaBoxOptions): FormulaBox;

package/src/lib/rules-formula-box.d.ts

@@ -0,0 +1,46 @@
+import type { Page } from '@fieldia/core';
+import type { ElementFactory } from './chrome';
+import { type FormulaProblem } from './rules-formula';
+import type { DesignerWords } from './designer-words';
+/**
+ * A box to type a formula in, the way a person writes one: typing a field's
+ * name — or @ — lists the page's fields by their labels, and picking one puts
+ * its name in; the arrows go down the list, Enter or Tab picks, Escape closes
+ * it. What is wrong shows under the box, the place it is about marked in a
+ * copy of the formula. A formula that reads is handed on as it is typed; one
+ * that does not is kept here, so the page keeps the last one that read.
+ *
+ * The box holds the formula as the page stores it, its fields by their
+ * names, and a line above it reads it in words, its fields by their labels:
+ * "Reads: Price × Quantity". Words are never turned back into a formula, so
+ * two fields with one label, or a label with a sign in it, cannot change
+ * what the page stores.
+ */
+export interface FormulaBoxOptions {
+    /** The designer's words. */
+    words: DesignerWords;
+    label: string;
+    placeholder?: string;
+    /** The field it is about, left out of the suggestions. */
+    own?(): string | undefined;
+    /** What is wrong with a formula, or null when it reads. */
+    check(page: Page, source: string): FormulaProblem | null;
+    /** A formula that reads, or an empty box, as it is typed. */
+    commit(source: string): void;
+    /** Said after each change: the result on made-up values. */
+    said?(page: Page, source: string): string;
+}
+export interface FormulaBox {
+    /** The box and its list of suggestions. */
+    element: HTMLElement;
+    input: HTMLInputElement;
+    /** What is wrong, under the box. */
+    problem: HTMLElement;
+    /** The result on made-up values, under the box. */
+    result: HTMLElement;
+    /** The page as it is now, and the formula it holds: shown unless the box is being typed in. */
+    update(page: Page, source: string): void;
+    /** Put words in where the cursor is, the cursor `back` characters before their end. */
+    insert(text: string, back?: number): void;
+}
+export declare function formulaBox(el: ElementFactory, options: FormulaBoxOptions): FormulaBox;