@fieldia/designer 0.0.0-stage → 0.11.0

package/src/lib/rules-changes.mjs

@@ -0,0 +1,61 @@
+import { containers } from './page-tree.mjs';
+import { formulaInWords } from './rules-formula.mjs';
+import { answerRuleMust, setValueInWords } from './rules-words.mjs';
+import { en } from './locales/en/index.mjs';
+/**
+ * The rules' part of what changed since the last version, in words for the
+ * Publish dialog: "“Total” is worked out from Price × Quantity", "“Email”: a
+ * rule — Must end with @acme.com (only warns)". Field by field, in reading
+ * order; a field taken off the page is said to be removed elsewhere.
+ */
+/** Each field's place on the page, in reading order. */
+function fieldNodes(page) {
+    return containers(page).flatMap((c) => c.children.filter((n) => n.type === 'field'));
+}
+/** What is in `a` and not in `b`, as many times as it is. */
+function without(a, b) {
+    const left = b.map((rule) => JSON.stringify(rule));
+    return a.filter((rule) => {
+        const at = left.indexOf(JSON.stringify(rule));
+        if (at === -1)
+            return true;
+        left.splice(at, 1);
+        return false;
+    });
+}
+function answerRuleChanges(before, after, was, now, name, words) {
+    const w = words.changes;
+    if (JSON.stringify(was) === JSON.stringify(now))
+        return [];
+    // One rule changed where it stands: said as changed, not as one gone and one added.
+    if (was.length === now.length) {
+        const changed = now.filter((rule, i) => JSON.stringify(rule) !== JSON.stringify(was[i]));
+        if (changed.length === 1)
+            return [w.ruleChanged(name, answerRuleMust(after, changed[0], words))];
+    }
+    return [...without(was, now).map((rule) => w.ruleRemoved(name, answerRuleMust(before, rule, words))), ...without(now, was).map((rule) => w.ruleAdded(name, answerRuleMust(after, rule, words)))];
+}
+export function ruleChanges(before, after, words = en) {
+    const w = words.changes;
+    const out = [];
+    const wasNodes = new Map(fieldNodes(before).map((n) => [n.id, n]));
+    const said = new Set();
+    for (const node of fieldNodes(after)) {
+        const def = after.fields[node.field];
+        const name = node.label ?? def?.label ?? node.field;
+        out.push(...answerRuleChanges(before, after, wasNodes.get(node.id)?.validate ?? [], node.validate ?? [], name, words));
+        // A field's own rules once, where it first shows.
+        if (said.has(node.field) || !def)
+            continue;
+        said.add(node.field);
+        const was = before.fields[node.field];
+        if ((was?.compute ?? '') !== (def.compute ?? ''))
+            out.push(def.compute ? w.workedOut(name, formulaInWords(after, def.compute, words)) : w.noLongerWorkedOut(name));
+        if (JSON.stringify(was?.setWhen ?? []) !== JSON.stringify(def.setWhen ?? [])) {
+            const items = def.setWhen ?? [];
+            out.push(items.length ? w.setWhenJoin(items.map((item) => w.setWhen(name, setValueInWords(after, def, item.value, words), formulaInWords(after, item.when, words)))) : w.noLongerSet(name));
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=rules-changes.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rules-changes.mjs","sourceRoot":"","sources":["../../../../../libs/designer/src/lib/rules-changes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhE,OAAO,EAAE,EAAE,EAAE,MAAM,cAAc,CAAC;AAElC;;;;;GAKG;AAEH,wDAAwD;AACxD,SAAS,UAAU,CAAC,IAAU;IAC5B,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC;AACvG,CAAC;AAED,6DAA6D;AAC7D,SAAS,OAAO,CAAC,CAAe,EAAE,CAAe;IAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACnD,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,IAAI,EAAE,KAAK,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAY,EAAE,KAAW,EAAE,GAAiB,EAAE,GAAiB,EAAE,IAAY,EAAE,KAAoB;IAC5H,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IACxB,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3D,oFAAoF;IACpF,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACnM,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAAY,EAAE,KAAW,EAAE,QAAuB,EAAE;IAC9E,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IACxB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,GAAG,EAAE,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;QACpD,GAAG,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,IAAI,EAAE,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACvH,kDAAkD;QAClD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG;YAAE,SAAS;QAC3C,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,GAAG,EAAE,OAAO,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;QACnK,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;YAC7E,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9L,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/src/lib/rules-checks.d.mts

@@ -0,0 +1,42 @@
+import type { Page, SetWhen } from '@fieldia/core';
+import { type Condition } from './conditions.mjs';
+import type { PageCheck } from './page-checks.mjs';
+import { type RuleKind } from './rules-words.mjs';
+import type { DesignerWords } from './designer-words.mjs';
+/**
+ * What would trip people up in a page's rules, each with a fix: a rule
+ * reading a field no longer on the page, or waiting for a choice the field
+ * no longer offers; a formula that no longer reads; an answer rule that
+ * checks nothing; a value set that its field cannot hold. The page's own
+ * check says some of these in its words; these say them in a person's, and
+ * the same thing is not said twice.
+ */
+/** Take a rule away, or the parts of its condition that cannot hold. */
+export interface RuleFix {
+    kind: 'remove-rule';
+    /** The part the rule acts on. */
+    id: string;
+    rule: RuleKind;
+    /** Which answer rule, or value set. */
+    index?: number;
+    /** Only these fields' parts of a condition; none takes the whole rule. */
+    fields?: string[];
+    /** Only these parts of a condition, by place. */
+    parts?: number[];
+}
+/** What a fix needs of the designer. */
+export interface RuleFixer {
+    getPage(): Page;
+    setCondition(id: string, condition: Condition | null): boolean;
+    setRule(id: string, which: 'required' | 'readonly', condition: Condition | null): boolean;
+    setCompute(id: string, expression: string | null): boolean;
+    setSetWhen(id: string, items: SetWhen[] | null): boolean;
+    removeAnswerRule(id: string, index: number): boolean;
+}
+/** The rules' checks, and whether the page's own check said one of the same things at a path. */
+export declare function ruleChecks(page: Page, words?: DesignerWords): {
+    checks: PageCheck[];
+    covers(path: string): boolean;
+};
+/** Do a rule check's fix. */
+export declare function fixRuleCheck(designer: RuleFixer, fix: RuleFix): boolean;

package/src/lib/rules-checks.d.ts

@@ -0,0 +1,42 @@
+import type { Page, SetWhen } from '@fieldia/core';
+import { type Condition } from './conditions';
+import type { PageCheck } from './page-checks';
+import { type RuleKind } from './rules-words';
+import type { DesignerWords } from './designer-words';
+/**
+ * What would trip people up in a page's rules, each with a fix: a rule
+ * reading a field no longer on the page, or waiting for a choice the field
+ * no longer offers; a formula that no longer reads; an answer rule that
+ * checks nothing; a value set that its field cannot hold. The page's own
+ * check says some of these in its words; these say them in a person's, and
+ * the same thing is not said twice.
+ */
+/** Take a rule away, or the parts of its condition that cannot hold. */
+export interface RuleFix {
+    kind: 'remove-rule';
+    /** The part the rule acts on. */
+    id: string;
+    rule: RuleKind;
+    /** Which answer rule, or value set. */
+    index?: number;
+    /** Only these fields' parts of a condition; none takes the whole rule. */
+    fields?: string[];
+    /** Only these parts of a condition, by place. */
+    parts?: number[];
+}
+/** What a fix needs of the designer. */
+export interface RuleFixer {
+    getPage(): Page;
+    setCondition(id: string, condition: Condition | null): boolean;
+    setRule(id: string, which: 'required' | 'readonly', condition: Condition | null): boolean;
+    setCompute(id: string, expression: string | null): boolean;
+    setSetWhen(id: string, items: SetWhen[] | null): boolean;
+    removeAnswerRule(id: string, index: number): boolean;
+}
+/** The rules' checks, and whether the page's own check said one of the same things at a path. */
+export declare function ruleChecks(page: Page, words?: DesignerWords): {
+    checks: PageCheck[];
+    covers(path: string): boolean;
+};
+/** Do a rule check's fix. */
+export declare function fixRuleCheck(designer: RuleFixer, fix: RuleFix): boolean;

package/src/lib/rules-checks.js

@@ -0,0 +1,177 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ruleChecks = ruleChecks;
+exports.fixRuleCheck = fixRuleCheck;
+const conditions_1 = require("./conditions");
+const header_commands_1 = require("./header-commands");
+const kinds_1 = require("./kinds");
+const page_tree_1 = require("./page-tree");
+const rules_commands_1 = require("./rules-commands");
+const rules_formula_1 = require("./rules-formula");
+const rules_words_1 = require("./rules-words");
+const en_1 = require("./locales/en");
+/** Where each part sits in the page, as the page's own check names it: `layout.children[0].children[3]`. */
+function nodePaths(page) {
+    const paths = new Map();
+    const walk = (node, path) => {
+        if (node.id)
+            paths.set(node.id, path);
+        node.children?.forEach((child, i) => walk(child, `${path}.children[${i}]`));
+    };
+    walk(page.layout, 'layout');
+    return paths;
+}
+const CONDITION_KEY = { shows: 'invisible', required: 'required', readonly: 'readonly' };
+/** The rules' checks, and whether the page's own check said one of the same things at a path. */
+function ruleChecks(page, words = en_1.en) {
+    const w = words.checks;
+    const checks = [];
+    const covered = [];
+    if (page.layout.type === 'list')
+        return { checks, covers: () => false };
+    const shown = (0, page_tree_1.shownFields)(page);
+    const paths = nodePaths(page);
+    const label = (name) => page.fields[name]?.label || name;
+    /** Where the page's own check would name this rule. */
+    const pathOf = (rule) => {
+        if (rule.kind === 'compute')
+            return `fields.${rule.field}.compute`;
+        if (rule.kind === 'set')
+            return `fields.${rule.field}.setWhen[${rule.index}]`;
+        const at = rule.part ? paths.get(rule.part) : undefined;
+        if (!at)
+            return null;
+        return rule.kind === 'answer' ? `${at}.validate[${rule.index}]` : `${at}.${CONDITION_KEY[rule.kind]}`;
+    };
+    const say = (rule, severity, text, fix, extra = {}) => {
+        if (!rule.part)
+            return;
+        checks.push({ at: rule.part, severity, text, fix: { label: fix, action: { kind: 'remove-rule', id: rule.part, rule: rule.kind, ...(rule.index !== undefined ? { index: rule.index } : {}), ...extra } } });
+        const path = pathOf(rule);
+        if (path)
+            covered.push(path);
+    };
+    for (const rule of (0, rules_words_1.pageRules)(page, words)) {
+        // A field it reads that no one can fill in here any more.
+        const gone = rule.reads.filter((name) => !shown.has(name));
+        if (gone.length) {
+            // In a survey nothing else fills it in, and a field not even defined cannot be read; a record may still hold one defined.
+            const severity = page.data.kind === 'responses' || gone.some((name) => !page.fields[name]) ? 'must' : 'should';
+            say(rule, severity, w.readsGone(rule.name, rule.sentence, gone.map(label)), w.removeTheRule, { fields: gone });
+            continue;
+        }
+        const def = rule.field ? page.fields[rule.field] : undefined;
+        if (rule.kind === 'compute' && def?.compute !== undefined && rule.field) {
+            const problem = (0, rules_formula_1.formulaProblem)(page, def.compute, words);
+            const said = problem ? (0, rules_formula_1.problemWords)(problem, words) : (0, rules_formula_1.wouldCircle)(page, rule.field, def.compute, words);
+            if (said)
+                say(rule, 'must', w.formulaBroken(rule.name, said), w.removeTheFormula);
+            continue;
+        }
+        if (rule.kind === 'set' && def?.setWhen && rule.index !== undefined) {
+            const item = def.setWhen[rule.index];
+            const problem = (0, rules_formula_1.formulaProblem)(page, item.when, words) ?? (0, rules_formula_1.formulaProblem)(page, item.value, words);
+            if (problem) {
+                say(rule, 'must', w.setBroken(rule.name, rule.sentence, (0, rules_formula_1.problemWords)(problem, words)), w.removeIt);
+                continue;
+            }
+            const wrong = (0, rules_commands_1.cannotHold)(def, rule.name, item.value, words);
+            if (wrong) {
+                say(rule, 'must', w.setCannotHold(rule.name, rule.sentence, wrong), w.removeIt);
+                continue;
+            }
+        }
+        if (rule.kind === 'answer' && rule.index !== undefined && rule.part) {
+            const node = (0, page_tree_1.findNode)(page, rule.part)?.node;
+            const answer = node?.validate?.[rule.index];
+            const field = node ? page.fields[node.field] : undefined;
+            if (answer && field && answerCheck(rule, answer, field, say, words))
+                continue;
+        }
+        // A condition waiting for a choice no longer offered (when a part shows is the page's older check's).
+        if (rule.kind !== 'shows' && rule.kind !== 'compute' && rule.part)
+            choiceGone(page, rule, say, words);
+    }
+    // A path names the rule itself, or something inside it: its pattern, its condition.
+    return { checks, covers: (path) => covered.some((at) => path === at || path.startsWith(`${at}.`)) };
+}
+/** An answer rule that checks nothing, or cannot be read: said, and true. */
+function answerCheck(rule, answer, field, say, words) {
+    const w = words.checks;
+    if (answer.pattern !== undefined) {
+        try {
+            new RegExp(answer.pattern);
+        }
+        catch {
+            say(rule, 'must', w.patternBroken(rule.name, answer.pattern), w.removeTheRule);
+            return true;
+        }
+    }
+    const asks = (0, rules_words_1.ruleAsks)(answer);
+    if (!asks.length) {
+        say(rule, 'should', w.asksNothing(rule.name), w.removeTheRule);
+        return true;
+    }
+    if ((0, rules_words_1.asksNotFitting)(field, answer).length === asks.length) {
+        say(rule, 'should', w.checksNothing(rule.name, rule.sentence, (0, kinds_1.storedAs)(field, words)), w.removeTheRule);
+        return true;
+    }
+    return false;
+}
+/** The condition a rule holds by, as the designer builds it; null for one written another way, or none. */
+function conditionOf(page, rule) {
+    const value = conditionValue(page, rule);
+    const held = rule.kind === 'shows' ? (0, conditions_1.readCondition)(value) : (0, conditions_1.readHolds)(value);
+    return held && held !== 'custom' && held !== 'always' ? held : null;
+}
+/** What a rule's condition is written as, where it is kept. */
+function conditionValue(page, rule) {
+    if (!rule.part)
+        return undefined;
+    const node = ((0, page_tree_1.findNode)(page, rule.part)?.node ?? (0, page_tree_1.findContainer)(page, rule.part) ?? (0, header_commands_1.findHeaderPart)(page, rule.part)?.part);
+    if (rule.kind === 'answer')
+        return node?.['validate']?.[rule.index ?? 0]?.when;
+    if (rule.kind === 'set')
+        return rule.field ? page.fields[rule.field]?.setWhen?.[rule.index ?? 0]?.when : undefined;
+    const key = CONDITION_KEY[rule.kind];
+    return key ? node?.[key] : undefined;
+}
+function choiceGone(page, rule, say, words) {
+    // A group's read-only rule is written by hand: there is nothing here to take part of it away with.
+    if (!rule.field)
+        return;
+    const condition = conditionOf(page, rule);
+    condition?.rules.forEach((part, index) => {
+        const tested = page.fields[part.field];
+        if (part.op !== 'is' || tested?.type !== 'selection' || typeof part.value !== 'string' || tested.options.some((o) => o.value === part.value))
+            return;
+        // A field's own rule loses only that part; an answer rule or a value set goes whole (the fix takes those whole).
+        say(rule, 'should', words.checks.neverHolds(rule.name, tested.label, part.value), words.checks.removeTheRule, { parts: [index] });
+    });
+}
+/** Do a rule check's fix. */
+function fixRuleCheck(designer, fix) {
+    const page = designer.getPage();
+    const rule = (0, rules_words_1.pageRules)(page).find((r) => r.part === fix.id && r.kind === fix.rule && (fix.index === undefined || r.index === fix.index));
+    if (!rule)
+        return false;
+    switch (fix.rule) {
+        case 'compute':
+            return designer.setCompute(fix.id, null);
+        case 'set': {
+            const items = (rule.field ? page.fields[rule.field]?.setWhen : undefined) ?? [];
+            const left = items.filter((_, i) => i !== fix.index);
+            return designer.setSetWhen(fix.id, left.length ? left : null);
+        }
+        case 'answer':
+            return designer.removeAnswerRule(fix.id, fix.index ?? 0);
+        default: {
+            // A condition: only the parts that cannot hold go, when it is one the designer builds.
+            const condition = conditionOf(page, rule);
+            const keep = condition && (fix.fields || fix.parts) ? condition.rules.filter((part, i) => !fix.fields?.includes(part.field) && !fix.parts?.includes(i)) : [];
+            const next = keep.length && condition ? { join: condition.join, rules: keep } : null;
+            return fix.rule === 'shows' ? designer.setCondition(fix.id, next) : designer.setRule(fix.id, fix.rule, next);
+        }
+    }
+}
+//# sourceMappingURL=rules-checks.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rules-checks.js","sourceRoot":"","sources":["../../../../../libs/designer/src/lib/rules-checks.ts"],"names":[],"mappings":";;AA4DA,gCA+DC;AAyDD,oCAsBC;AAzMD,6CAAwE;AACxE,uDAAmD;AACnD,mCAAmC;AACnC,2CAAmE;AAEnE,qDAA8C;AAC9C,mDAA4E;AAC5E,+CAAmG;AAEnG,qCAAkC;AAoClC,4GAA4G;AAC5G,SAAS,SAAS,CAAC,IAAU;IAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,IAA2C,EAAE,IAAY,EAAE,EAAE;QACzE,IAAI,IAAI,CAAC,EAAE;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAA8C,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IACvH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,MAA+C,EAAE,QAAQ,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,aAAa,GAAsC,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAE5H,iGAAiG;AACjG,SAAgB,UAAU,CAAC,IAAU,EAAE,QAAuB,OAAE;IAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,IAAA,uBAAW,EAAC,IAAI,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC;IACjE,uDAAuD;IACvD,MAAM,MAAM,GAAG,CAAC,IAAe,EAAE,EAAE;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,UAAU,IAAI,CAAC,KAAK,UAAU,CAAC;QACnE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,UAAU,IAAI,CAAC,KAAK,YAAY,IAAI,CAAC,KAAK,GAAG,CAAC;QAC9E,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QACrB,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,aAAa,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACxG,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,IAAe,EAAE,QAA+B,EAAE,IAAY,EAAE,GAAW,EAAE,QAA0B,EAAE,EAAE,EAAE;QACxH,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3M,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,IAAA,uBAAS,EAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1C,0DAA0D;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,0HAA0H;YAC1H,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC/G,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/G,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,EAAE,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACxE,MAAM,OAAO,GAAG,IAAA,8BAAc,EAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAA,4BAAY,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAA,2BAAW,EAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACxG,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,EAAE,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpE,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrC,MAAM,OAAO,GAAG,IAAA,8BAAc,EAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAA,8BAAc,EAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAClG,IAAI,OAAO,EAAE,CAAC;gBACZ,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAA,4BAAY,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACnG,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,IAAA,2BAAU,EAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC5D,IAAI,KAAK,EAAE,CAAC;gBACV,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAChF,SAAS;YACX,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACpE,MAAM,IAAI,GAAG,IAAA,oBAAQ,EAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAA6B,CAAC;YACtE,MAAM,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzD,IAAI,MAAM,IAAI,KAAK,IAAI,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC;gBAAE,SAAS;QAChF,CAAC;QACD,sGAAsG;QACtG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI;YAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACxG,CAAC;IACD,oFAAoF;IACpF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;AACtG,CAAC;AAID,6EAA6E;AAC7E,SAAS,WAAW,CAAC,IAAe,EAAE,MAAkD,EAAE,KAAY,EAAE,GAAQ,EAAE,KAAoB;IACpI,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC;YACH,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;QAAC,MAAM,CAAC;YACP,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;YAC/E,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,MAAM,CAAC,CAAC;IAC9B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAA,4BAAc,EAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACzD,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAA,gBAAQ,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;QACxG,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2GAA2G;AAC3G,SAAS,WAAW,CAAC,IAAU,EAAE,IAAe;IAC9C,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAA,0BAAa,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAA,sBAAS,EAAC,KAAK,CAAC,CAAC;IAC7E,OAAO,IAAI,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED,+DAA+D;AAC/D,SAAS,cAAc,CAAC,IAAU,EAAE,IAAe;IACjD,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,IAAA,oBAAQ,EAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,IAAA,yBAAa,EAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,IAAA,gCAAc,EAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAwC,CAAC;IACjK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAQ,IAAI,EAAE,CAAC,UAAU,CAAsC,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC;IACrH,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACnH,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACvC,CAAC;AAED,SAAS,UAAU,CAAC,IAAU,EAAE,IAAe,EAAE,GAAQ,EAAE,KAAoB;IAC7E,mGAAmG;IACnG,IAAI,CAAC,IAAI,CAAC,KAAK;QAAE,OAAO;IACxB,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,IAAI,MAAM,EAAE,IAAI,KAAK,WAAW,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO;QACrJ,iHAAiH;QACjH,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpI,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6BAA6B;AAC7B,SAAgB,YAAY,CAAC,QAAmB,EAAE,GAAY;IAC5D,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAA,uBAAS,EAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACzI,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3C,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YAChF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;YACrD,OAAO,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QAC3D,OAAO,CAAC,CAAC,CAAC;YACR,uFAAuF;YACvF,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,SAAS,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7J,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACrF,OAAO,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC;AACH,CAAC"}

package/src/lib/rules-checks.mjs

@@ -0,0 +1,173 @@
+import { readCondition, readHolds } from './conditions.mjs';
+import { findHeaderPart } from './header-commands.mjs';
+import { storedAs } from './kinds.mjs';
+import { findContainer, findNode, shownFields } from './page-tree.mjs';
+import { cannotHold } from './rules-commands.mjs';
+import { formulaProblem, problemWords, wouldCircle } from './rules-formula.mjs';
+import { asksNotFitting, pageRules, ruleAsks } from './rules-words.mjs';
+import { en } from './locales/en/index.mjs';
+/** Where each part sits in the page, as the page's own check names it: `layout.children[0].children[3]`. */
+function nodePaths(page) {
+    const paths = new Map();
+    const walk = (node, path) => {
+        if (node.id)
+            paths.set(node.id, path);
+        node.children?.forEach((child, i) => walk(child, `${path}.children[${i}]`));
+    };
+    walk(page.layout, 'layout');
+    return paths;
+}
+const CONDITION_KEY = { shows: 'invisible', required: 'required', readonly: 'readonly' };
+/** The rules' checks, and whether the page's own check said one of the same things at a path. */
+export function ruleChecks(page, words = en) {
+    const w = words.checks;
+    const checks = [];
+    const covered = [];
+    if (page.layout.type === 'list')
+        return { checks, covers: () => false };
+    const shown = shownFields(page);
+    const paths = nodePaths(page);
+    const label = (name) => page.fields[name]?.label || name;
+    /** Where the page's own check would name this rule. */
+    const pathOf = (rule) => {
+        if (rule.kind === 'compute')
+            return `fields.${rule.field}.compute`;
+        if (rule.kind === 'set')
+            return `fields.${rule.field}.setWhen[${rule.index}]`;
+        const at = rule.part ? paths.get(rule.part) : undefined;
+        if (!at)
+            return null;
+        return rule.kind === 'answer' ? `${at}.validate[${rule.index}]` : `${at}.${CONDITION_KEY[rule.kind]}`;
+    };
+    const say = (rule, severity, text, fix, extra = {}) => {
+        if (!rule.part)
+            return;
+        checks.push({ at: rule.part, severity, text, fix: { label: fix, action: { kind: 'remove-rule', id: rule.part, rule: rule.kind, ...(rule.index !== undefined ? { index: rule.index } : {}), ...extra } } });
+        const path = pathOf(rule);
+        if (path)
+            covered.push(path);
+    };
+    for (const rule of pageRules(page, words)) {
+        // A field it reads that no one can fill in here any more.
+        const gone = rule.reads.filter((name) => !shown.has(name));
+        if (gone.length) {
+            // In a survey nothing else fills it in, and a field not even defined cannot be read; a record may still hold one defined.
+            const severity = page.data.kind === 'responses' || gone.some((name) => !page.fields[name]) ? 'must' : 'should';
+            say(rule, severity, w.readsGone(rule.name, rule.sentence, gone.map(label)), w.removeTheRule, { fields: gone });
+            continue;
+        }
+        const def = rule.field ? page.fields[rule.field] : undefined;
+        if (rule.kind === 'compute' && def?.compute !== undefined && rule.field) {
+            const problem = formulaProblem(page, def.compute, words);
+            const said = problem ? problemWords(problem, words) : wouldCircle(page, rule.field, def.compute, words);
+            if (said)
+                say(rule, 'must', w.formulaBroken(rule.name, said), w.removeTheFormula);
+            continue;
+        }
+        if (rule.kind === 'set' && def?.setWhen && rule.index !== undefined) {
+            const item = def.setWhen[rule.index];
+            const problem = formulaProblem(page, item.when, words) ?? formulaProblem(page, item.value, words);
+            if (problem) {
+                say(rule, 'must', w.setBroken(rule.name, rule.sentence, problemWords(problem, words)), w.removeIt);
+                continue;
+            }
+            const wrong = cannotHold(def, rule.name, item.value, words);
+            if (wrong) {
+                say(rule, 'must', w.setCannotHold(rule.name, rule.sentence, wrong), w.removeIt);
+                continue;
+            }
+        }
+        if (rule.kind === 'answer' && rule.index !== undefined && rule.part) {
+            const node = findNode(page, rule.part)?.node;
+            const answer = node?.validate?.[rule.index];
+            const field = node ? page.fields[node.field] : undefined;
+            if (answer && field && answerCheck(rule, answer, field, say, words))
+                continue;
+        }
+        // A condition waiting for a choice no longer offered (when a part shows is the page's older check's).
+        if (rule.kind !== 'shows' && rule.kind !== 'compute' && rule.part)
+            choiceGone(page, rule, say, words);
+    }
+    // A path names the rule itself, or something inside it: its pattern, its condition.
+    return { checks, covers: (path) => covered.some((at) => path === at || path.startsWith(`${at}.`)) };
+}
+/** An answer rule that checks nothing, or cannot be read: said, and true. */
+function answerCheck(rule, answer, field, say, words) {
+    const w = words.checks;
+    if (answer.pattern !== undefined) {
+        try {
+            new RegExp(answer.pattern);
+        }
+        catch {
+            say(rule, 'must', w.patternBroken(rule.name, answer.pattern), w.removeTheRule);
+            return true;
+        }
+    }
+    const asks = ruleAsks(answer);
+    if (!asks.length) {
+        say(rule, 'should', w.asksNothing(rule.name), w.removeTheRule);
+        return true;
+    }
+    if (asksNotFitting(field, answer).length === asks.length) {
+        say(rule, 'should', w.checksNothing(rule.name, rule.sentence, storedAs(field, words)), w.removeTheRule);
+        return true;
+    }
+    return false;
+}
+/** The condition a rule holds by, as the designer builds it; null for one written another way, or none. */
+function conditionOf(page, rule) {
+    const value = conditionValue(page, rule);
+    const held = rule.kind === 'shows' ? readCondition(value) : readHolds(value);
+    return held && held !== 'custom' && held !== 'always' ? held : null;
+}
+/** What a rule's condition is written as, where it is kept. */
+function conditionValue(page, rule) {
+    if (!rule.part)
+        return undefined;
+    const node = (findNode(page, rule.part)?.node ?? findContainer(page, rule.part) ?? findHeaderPart(page, rule.part)?.part);
+    if (rule.kind === 'answer')
+        return node?.['validate']?.[rule.index ?? 0]?.when;
+    if (rule.kind === 'set')
+        return rule.field ? page.fields[rule.field]?.setWhen?.[rule.index ?? 0]?.when : undefined;
+    const key = CONDITION_KEY[rule.kind];
+    return key ? node?.[key] : undefined;
+}
+function choiceGone(page, rule, say, words) {
+    // A group's read-only rule is written by hand: there is nothing here to take part of it away with.
+    if (!rule.field)
+        return;
+    const condition = conditionOf(page, rule);
+    condition?.rules.forEach((part, index) => {
+        const tested = page.fields[part.field];
+        if (part.op !== 'is' || tested?.type !== 'selection' || typeof part.value !== 'string' || tested.options.some((o) => o.value === part.value))
+            return;
+        // A field's own rule loses only that part; an answer rule or a value set goes whole (the fix takes those whole).
+        say(rule, 'should', words.checks.neverHolds(rule.name, tested.label, part.value), words.checks.removeTheRule, { parts: [index] });
+    });
+}
+/** Do a rule check's fix. */
+export function fixRuleCheck(designer, fix) {
+    const page = designer.getPage();
+    const rule = pageRules(page).find((r) => r.part === fix.id && r.kind === fix.rule && (fix.index === undefined || r.index === fix.index));
+    if (!rule)
+        return false;
+    switch (fix.rule) {
+        case 'compute':
+            return designer.setCompute(fix.id, null);
+        case 'set': {
+            const items = (rule.field ? page.fields[rule.field]?.setWhen : undefined) ?? [];
+            const left = items.filter((_, i) => i !== fix.index);
+            return designer.setSetWhen(fix.id, left.length ? left : null);
+        }
+        case 'answer':
+            return designer.removeAnswerRule(fix.id, fix.index ?? 0);
+        default: {
+            // A condition: only the parts that cannot hold go, when it is one the designer builds.
+            const condition = conditionOf(page, rule);
+            const keep = condition && (fix.fields || fix.parts) ? condition.rules.filter((part, i) => !fix.fields?.includes(part.field) && !fix.parts?.includes(i)) : [];
+            const next = keep.length && condition ? { join: condition.join, rules: keep } : null;
+            return fix.rule === 'shows' ? designer.setCondition(fix.id, next) : designer.setRule(fix.id, fix.rule, next);
+        }
+    }
+}
+//# sourceMappingURL=rules-checks.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rules-checks.mjs","sourceRoot":"","sources":["../../../../../libs/designer/src/lib/rules-checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,SAAS,EAAkB,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAEnE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,QAAQ,EAAiC,MAAM,eAAe,CAAC;AAEnG,OAAO,EAAE,EAAE,EAAE,MAAM,cAAc,CAAC;AAoClC,4GAA4G;AAC5G,SAAS,SAAS,CAAC,IAAU;IAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,IAA2C,EAAE,IAAY,EAAE,EAAE;QACzE,IAAI,IAAI,CAAC,EAAE;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAA8C,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IACvH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,MAA+C,EAAE,QAAQ,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,aAAa,GAAsC,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAE5H,iGAAiG;AACjG,MAAM,UAAU,UAAU,CAAC,IAAU,EAAE,QAAuB,EAAE;IAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC;IACjE,uDAAuD;IACvD,MAAM,MAAM,GAAG,CAAC,IAAe,EAAE,EAAE;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,UAAU,IAAI,CAAC,KAAK,UAAU,CAAC;QACnE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,UAAU,IAAI,CAAC,KAAK,YAAY,IAAI,CAAC,KAAK,GAAG,CAAC;QAC9E,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QACrB,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,aAAa,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACxG,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,IAAe,EAAE,QAA+B,EAAE,IAAY,EAAE,GAAW,EAAE,QAA0B,EAAE,EAAE,EAAE;QACxH,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3M,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1C,0DAA0D;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,0HAA0H;YAC1H,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC/G,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/G,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,EAAE,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACxE,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACxG,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,EAAE,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpE,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAClG,IAAI,OAAO,EAAE,CAAC;gBACZ,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACnG,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC5D,IAAI,KAAK,EAAE,CAAC;gBACV,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAChF,SAAS;YACX,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACpE,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAA6B,CAAC;YACtE,MAAM,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzD,IAAI,MAAM,IAAI,KAAK,IAAI,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC;gBAAE,SAAS;QAChF,CAAC;QACD,sGAAsG;QACtG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI;YAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACxG,CAAC;IACD,oFAAoF;IACpF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;AACtG,CAAC;AAID,6EAA6E;AAC7E,SAAS,WAAW,CAAC,IAAe,EAAE,MAAkD,EAAE,KAAY,EAAE,GAAQ,EAAE,KAAoB;IACpI,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC;YACH,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;QAAC,MAAM,CAAC;YACP,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;YAC/E,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACzD,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;QACxG,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2GAA2G;AAC3G,SAAS,WAAW,CAAC,IAAU,EAAE,IAAe;IAC9C,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7E,OAAO,IAAI,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED,+DAA+D;AAC/D,SAAS,cAAc,CAAC,IAAU,EAAE,IAAe;IACjD,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAwC,CAAC;IACjK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAQ,IAAI,EAAE,CAAC,UAAU,CAAsC,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC;IACrH,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACnH,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACvC,CAAC;AAED,SAAS,UAAU,CAAC,IAAU,EAAE,IAAe,EAAE,GAAQ,EAAE,KAAoB;IAC7E,mGAAmG;IACnG,IAAI,CAAC,IAAI,CAAC,KAAK;QAAE,OAAO;IACxB,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,IAAI,MAAM,EAAE,IAAI,KAAK,WAAW,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO;QACrJ,iHAAiH;QACjH,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpI,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6BAA6B;AAC7B,MAAM,UAAU,YAAY,CAAC,QAAmB,EAAE,GAAY;IAC5D,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACzI,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3C,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YAChF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;YACrD,OAAO,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QAC3D,OAAO,CAAC,CAAC,CAAC;YACR,uFAAuF;YACvF,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,SAAS,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7J,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACrF,OAAO,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC;AACH,CAAC"}

package/src/lib/rules-commands.d.mts

@@ -0,0 +1,36 @@
+import type { AnswerRule, Field, FieldNode, Page, SetWhen } from '@fieldia/core';
+import type { DesignerWords } from './designer-words.mjs';
+/**
+ * The store's rules: a field's value worked out from others ("Worked out
+ * from"), values set when something holds ("Set when…"), and the rules an
+ * answer must keep. Each goes through the designer's `apply`, so it is one
+ * undo step, checked before it is kept and saved like every other edit; and
+ * typing in one box is one step, through the merge key. What cannot be done
+ * is refused in words, with the place in a formula where it stops.
+ */
+/** A change to an answer rule: a value sets that ask, `null` takes it away. */
+export type AnswerRulePatch = {
+    [K in keyof AnswerRule]?: AnswerRule[K] | null;
+};
+export interface RulesCommands {
+    /** A field's value worked out from others, such as `price * qty`; `null` makes it a field to fill in again. */
+    setCompute(id: string, expression: string | null): boolean;
+    /** Values set when a condition starts to hold, in order; `null` or none takes them all away. */
+    setSetWhen(id: string, items: SetWhen[] | null): boolean;
+    /** A rule the answer must keep, after the others. */
+    addAnswerRule(id: string, rule: AnswerRule): boolean;
+    /** One rule changed: a value sets what it asks, `null` takes that away. Typing in one box is one undo step. */
+    updateAnswerRule(id: string, index: number, patch: AnswerRulePatch): boolean;
+    removeAnswerRule(id: string, index: number): boolean;
+}
+export interface RulesCommandsDeps {
+    apply(edit: (draft: Page) => void, merge?: string | null): boolean;
+    getPage(): Page;
+    /** Whether a field is the backend's, whose definition the page does not change. */
+    fromModel(name: string): boolean;
+}
+/** 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 declare function cannotHold(field: Field, label: string, value: string, words?: DesignerWords): string | null;
+/** What is wrong with an answer rule on this field, in words; null when it can be kept. */
+export declare function ruleRefusal(draft: Page, node: FieldNode, rule: AnswerRule, words?: DesignerWords): string | null;
+export declare function rulesCommands({ apply, getPage, fromModel }: RulesCommandsDeps): RulesCommands;

package/src/lib/rules-commands.d.ts

@@ -0,0 +1,36 @@
+import type { AnswerRule, Field, FieldNode, Page, SetWhen } from '@fieldia/core';
+import type { DesignerWords } from './designer-words';
+/**
+ * The store's rules: a field's value worked out from others ("Worked out
+ * from"), values set when something holds ("Set when…"), and the rules an
+ * answer must keep. Each goes through the designer's `apply`, so it is one
+ * undo step, checked before it is kept and saved like every other edit; and
+ * typing in one box is one step, through the merge key. What cannot be done
+ * is refused in words, with the place in a formula where it stops.
+ */
+/** A change to an answer rule: a value sets that ask, `null` takes it away. */
+export type AnswerRulePatch = {
+    [K in keyof AnswerRule]?: AnswerRule[K] | null;
+};
+export interface RulesCommands {
+    /** A field's value worked out from others, such as `price * qty`; `null` makes it a field to fill in again. */
+    setCompute(id: string, expression: string | null): boolean;
+    /** Values set when a condition starts to hold, in order; `null` or none takes them all away. */
+    setSetWhen(id: string, items: SetWhen[] | null): boolean;
+    /** A rule the answer must keep, after the others. */
+    addAnswerRule(id: string, rule: AnswerRule): boolean;
+    /** One rule changed: a value sets what it asks, `null` takes that away. Typing in one box is one undo step. */
+    updateAnswerRule(id: string, index: number, patch: AnswerRulePatch): boolean;
+    removeAnswerRule(id: string, index: number): boolean;
+}
+export interface RulesCommandsDeps {
+    apply(edit: (draft: Page) => void, merge?: string | null): boolean;
+    getPage(): Page;
+    /** Whether a field is the backend's, whose definition the page does not change. */
+    fromModel(name: string): boolean;
+}
+/** 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 declare function cannotHold(field: Field, label: string, value: string, words?: DesignerWords): string | null;
+/** What is wrong with an answer rule on this field, in words; null when it can be kept. */
+export declare function ruleRefusal(draft: Page, node: FieldNode, rule: AnswerRule, words?: DesignerWords): string | null;
+export declare function rulesCommands({ apply, getPage, fromModel }: RulesCommandsDeps): RulesCommands;