@fieldia/core 0.10.0 → 0.12.0

package/src/lib/record/filter.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.matchesFilter = matchesFilter;
+exports.resolveFilter = resolveFilter;
 /**
  * Whether a record passes a filter, the way a search should judge it: every
  * item of the list holds, an `any` group when one of its items holds, an `all`
@@ -20,6 +21,12 @@ function holds(values, item) {
 function isSet(value) {
     return value !== null && value !== undefined && value !== '' && value !== false && !(Array.isArray(value) && !value.length);
 }
+/** The ids a list of links holds: records by their id, ids as they are. */
+function idsIn(value) {
+    if (!Array.isArray(value))
+        return [];
+    return value.map((item) => (item !== null && typeof item === 'object' && 'id' in item ? item.id : item));
+}
 function meets(values, condition) {
     const raw = values[condition.field];
     // A link compares by its id.
@@ -30,6 +37,15 @@ function meets(values, condition) {
     switch (condition.op) {
         case '=':
             return actual === expected;
+        case '=?':
+            return !isSet(expected) || actual === expected;
+        case 'contains':
+        case 'not contains': {
+            const held = idsIn(raw);
+            const wanted = Array.isArray(expected) ? expected : [expected];
+            const found = wanted.some((value) => held.includes(value));
+            return condition.op === 'contains' ? found : !found;
+        }
         case '!=':
             return actual !== expected;
         case '<':
@@ -64,4 +80,37 @@ function meets(values, condition) {
         }
     }
 }
+/** What a condition left out stands for: it always holds. */
+const ALWAYS = null;
+/**
+ * A filter as a search or a list receives it: each `valueFrom` — a field, or a
+ * path such as `parent.company_id` or `user.id` — replaced by its value in
+ * `context`. A `=?` whose value is empty is left out, and so is a group it
+ * makes always hold: an `any` group with one item always holding, an `all`
+ * group left with none. A `=?` with a value goes as `=`, so a data source
+ * never sees `=?`.
+ */
+function resolveFilter(items, context) {
+    const resolve = (item) => {
+        if ('any' in item) {
+            const inner = item.any.map(resolve);
+            return inner.includes(ALWAYS) ? ALWAYS : { any: inner };
+        }
+        if ('all' in item) {
+            const inner = item.all.map(resolve).filter((r) => r !== ALWAYS);
+            return inner.length ? { all: inner } : ALWAYS;
+        }
+        const value = (item.valueFrom !== undefined ? valueAt(context, item.valueFrom) : (item.value ?? null));
+        if (item.op === '=?')
+            return isSet(value) ? { field: item.field, op: '=', value } : ALWAYS;
+        return { field: item.field, op: item.op, value };
+    };
+    return items.map(resolve).filter((r) => r !== ALWAYS);
+}
+function valueAt(context, path) {
+    let at = context;
+    for (const part of path.split('.'))
+        at = at === null || typeof at !== 'object' ? undefined : at[part];
+    return at ?? null;
+}
 //# sourceMappingURL=filter.js.map

package/src/lib/record/filter.js.map

@@ -1 +1 @@
-{"version":3,"file":"filter.js","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/filter.ts"],"names":[],"mappings":";;AASA,sCAEC;AAPD;;;;GAIG;AACH,SAAgB,aAAa,CAAC,MAAc,EAAE,MAAiC;IAC7E,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,IAAoB;IACjD,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1E,OAAO,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,6DAA6D;AAC7D,SAAS,KAAK,CAAC,KAAc;IAC3B,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC9H,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,SAAkC;IAC/D,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,6BAA6B;IAC7B,MAAM,MAAM,GAAG,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,CAAE,GAAqB,CAAC,EAAE,CAAC,CAAC,CAAE,GAA6B,CAAC;IAC1J,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC;IACjC,iEAAiE;IACjE,MAAM,IAAI,GAAG,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,GAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC5J,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC;QACrB,KAAK,GAAG;YACN,OAAO,MAAM,KAAK,QAAQ,CAAC;QAC7B,KAAK,IAAI;YACP,OAAO,MAAM,KAAK,QAAQ,CAAC;QAC7B,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,GAAI,QAAmB,CAAC;QACpE,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,GAAI,QAAmB,CAAC;QACpE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,IAAK,QAAmB,CAAC;QACrE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,IAAK,QAAmB,CAAC;QACrE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAmB,CAAC,CAAC;QAC3E,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAmB,CAAC,CAAC;QAC5E,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzC,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACrE,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACvE,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACrE,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC7D,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,QAA+B,CAAC;YACpD,OAAQ,MAA0B,IAAI,GAAG,IAAK,MAA0B,IAAI,IAAI,CAAC;QACnF,CAAC;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"filter.js","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/filter.ts"],"names":[],"mappings":";;AAUA,sCAEC;AAmFD,sCAeC;AAzGD;;;;GAIG;AACH,SAAgB,aAAa,CAAC,MAAc,EAAE,MAAiC;IAC7E,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,IAAoB;IACjD,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1E,OAAO,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,6DAA6D;AAC7D,SAAS,KAAK,CAAC,KAAc;IAC3B,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC9H,CAAC;AAED,2EAA2E;AAC3E,SAAS,KAAK,CAAC,KAAc;IAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,IAAI,IAAI,CAAC,CAAC,CAAE,IAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9H,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,SAAkC;IAC/D,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,6BAA6B;IAC7B,MAAM,MAAM,GAAG,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,CAAE,GAAqB,CAAC,EAAE,CAAC,CAAC,CAAE,GAA6B,CAAC;IAC1J,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC;IACjC,iEAAiE;IACjE,MAAM,IAAI,GAAG,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,GAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC5J,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC;QACrB,KAAK,GAAG;YACN,OAAO,MAAM,KAAK,QAAQ,CAAC;QAC7B,KAAK,IAAI;YACP,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,MAAM,KAAK,QAAQ,CAAC;QACjD,KAAK,UAAU,CAAC;QAChB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YAC3D,OAAO,SAAS,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACtD,CAAC;QACD,KAAK,IAAI;YACP,OAAO,MAAM,KAAK,QAAQ,CAAC;QAC7B,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,GAAI,QAAmB,CAAC;QACpE,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,GAAI,QAAmB,CAAC;QACpE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,IAAK,QAAmB,CAAC;QACrE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,IAAK,QAAmB,CAAC;QACrE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAmB,CAAC,CAAC;QAC3E,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAmB,CAAC,CAAC;QAC5E,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzC,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACrE,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACvE,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACrE,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC7D,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,QAA+B,CAAC;YACpD,OAAQ,MAA0B,IAAI,GAAG,IAAK,MAA0B,IAAI,IAAI,CAAC;QACnF,CAAC;IACH,CAAC;AACH,CAAC;AAED,6DAA6D;AAC7D,MAAM,MAAM,GAAG,IAAI,CAAC;AAEpB;;;;;;;GAOG;AACH,SAAgB,aAAa,CAAC,KAA4B,EAAE,OAA0C;IACpG,MAAM,OAAO,GAAG,CAAC,IAAgB,EAAkC,EAAE;QACnE,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACpC,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAyB,EAAE,CAAC;QAC9E,CAAC;QACD,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;YACrF,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QAChD,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAc,CAAC;QACpH,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3F,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC;IACnD,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,OAAO,CAAC,OAA0C,EAAE,IAAY;IACvE,IAAI,EAAE,GAAY,OAAO,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QAAE,EAAE,GAAG,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,EAA8B,CAAC,IAAI,CAAC,CAAC;IACnI,OAAO,EAAE,IAAI,IAAI,CAAC;AACpB,CAAC"}

package/src/lib/record/filter.mjs

@@ -17,6 +17,12 @@ function holds(values, item) {
 function isSet(value) {
     return value !== null && value !== undefined && value !== '' && value !== false && !(Array.isArray(value) && !value.length);
 }
+/** The ids a list of links holds: records by their id, ids as they are. */
+function idsIn(value) {
+    if (!Array.isArray(value))
+        return [];
+    return value.map((item) => (item !== null && typeof item === 'object' && 'id' in item ? item.id : item));
+}
 function meets(values, condition) {
     const raw = values[condition.field];
     // A link compares by its id.
@@ -27,6 +33,15 @@ function meets(values, condition) {
     switch (condition.op) {
         case '=':
             return actual === expected;
+        case '=?':
+            return !isSet(expected) || actual === expected;
+        case 'contains':
+        case 'not contains': {
+            const held = idsIn(raw);
+            const wanted = Array.isArray(expected) ? expected : [expected];
+            const found = wanted.some((value) => held.includes(value));
+            return condition.op === 'contains' ? found : !found;
+        }
         case '!=':
             return actual !== expected;
         case '<':
@@ -61,4 +76,37 @@ function meets(values, condition) {
         }
     }
 }
+/** What a condition left out stands for: it always holds. */
+const ALWAYS = null;
+/**
+ * A filter as a search or a list receives it: each `valueFrom` — a field, or a
+ * path such as `parent.company_id` or `user.id` — replaced by its value in
+ * `context`. A `=?` whose value is empty is left out, and so is a group it
+ * makes always hold: an `any` group with one item always holding, an `all`
+ * group left with none. A `=?` with a value goes as `=`, so a data source
+ * never sees `=?`.
+ */
+export function resolveFilter(items, context) {
+    const resolve = (item) => {
+        if ('any' in item) {
+            const inner = item.any.map(resolve);
+            return inner.includes(ALWAYS) ? ALWAYS : { any: inner };
+        }
+        if ('all' in item) {
+            const inner = item.all.map(resolve).filter((r) => r !== ALWAYS);
+            return inner.length ? { all: inner } : ALWAYS;
+        }
+        const value = (item.valueFrom !== undefined ? valueAt(context, item.valueFrom) : (item.value ?? null));
+        if (item.op === '=?')
+            return isSet(value) ? { field: item.field, op: '=', value } : ALWAYS;
+        return { field: item.field, op: item.op, value };
+    };
+    return items.map(resolve).filter((r) => r !== ALWAYS);
+}
+function valueAt(context, path) {
+    let at = context;
+    for (const part of path.split('.'))
+        at = at === null || typeof at !== 'object' ? undefined : at[part];
+    return at ?? null;
+}
 //# sourceMappingURL=filter.mjs.map

package/src/lib/record/filter.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"filter.mjs","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/filter.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,MAAiC;IAC7E,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,IAAoB;IACjD,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1E,OAAO,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,6DAA6D;AAC7D,SAAS,KAAK,CAAC,KAAc;IAC3B,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC9H,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,SAAkC;IAC/D,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,6BAA6B;IAC7B,MAAM,MAAM,GAAG,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,CAAE,GAAqB,CAAC,EAAE,CAAC,CAAC,CAAE,GAA6B,CAAC;IAC1J,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC;IACjC,iEAAiE;IACjE,MAAM,IAAI,GAAG,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,GAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC5J,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC;QACrB,KAAK,GAAG;YACN,OAAO,MAAM,KAAK,QAAQ,CAAC;QAC7B,KAAK,IAAI;YACP,OAAO,MAAM,KAAK,QAAQ,CAAC;QAC7B,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,GAAI,QAAmB,CAAC;QACpE,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,GAAI,QAAmB,CAAC;QACpE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,IAAK,QAAmB,CAAC;QACrE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,IAAK,QAAmB,CAAC;QACrE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAmB,CAAC,CAAC;QAC3E,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAmB,CAAC,CAAC;QAC5E,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzC,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACrE,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACvE,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACrE,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC7D,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,QAA+B,CAAC;YACpD,OAAQ,MAA0B,IAAI,GAAG,IAAK,MAA0B,IAAI,IAAI,CAAC;QACnF,CAAC;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"filter.mjs","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/record/filter.ts"],"names":[],"mappings":"AAKA;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,MAAiC;IAC7E,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,IAAoB;IACjD,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1E,OAAO,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,6DAA6D;AAC7D,SAAS,KAAK,CAAC,KAAc;IAC3B,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC9H,CAAC;AAED,2EAA2E;AAC3E,SAAS,KAAK,CAAC,KAAc;IAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,IAAI,IAAI,CAAC,CAAC,CAAE,IAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9H,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,SAAkC;IAC/D,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,6BAA6B;IAC7B,MAAM,MAAM,GAAG,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,CAAE,GAAqB,CAAC,EAAE,CAAC,CAAC,CAAE,GAA6B,CAAC;IAC1J,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC;IACjC,iEAAiE;IACjE,MAAM,IAAI,GAAG,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,GAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC5J,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC;QACrB,KAAK,GAAG;YACN,OAAO,MAAM,KAAK,QAAQ,CAAC;QAC7B,KAAK,IAAI;YACP,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,MAAM,KAAK,QAAQ,CAAC;QACjD,KAAK,UAAU,CAAC;QAChB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YAC3D,OAAO,SAAS,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACtD,CAAC;QACD,KAAK,IAAI;YACP,OAAO,MAAM,KAAK,QAAQ,CAAC;QAC7B,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,GAAI,QAAmB,CAAC;QACpE,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,GAAI,QAAmB,CAAC;QACpE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,IAAK,QAAmB,CAAC;QACrE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,MAAM,CAAC,IAAK,MAAiB,IAAK,QAAmB,CAAC;QACrE,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAmB,CAAC,CAAC;QAC3E,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAmB,CAAC,CAAC;QAC5E,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzC,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACrE,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACvE,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACrE,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC7D,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,QAA+B,CAAC;YACpD,OAAQ,MAA0B,IAAI,GAAG,IAAK,MAA0B,IAAI,IAAI,CAAC;QACnF,CAAC;IACH,CAAC;AACH,CAAC;AAED,6DAA6D;AAC7D,MAAM,MAAM,GAAG,IAAI,CAAC;AAEpB;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,KAA4B,EAAE,OAA0C;IACpG,MAAM,OAAO,GAAG,CAAC,IAAgB,EAAkC,EAAE;QACnE,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACpC,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAyB,EAAE,CAAC;QAC9E,CAAC;QACD,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;YACrF,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QAChD,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAc,CAAC;QACpH,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3F,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC;IACnD,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,OAAO,CAAC,OAA0C,EAAE,IAAY;IACvE,IAAI,EAAE,GAAY,OAAO,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QAAE,EAAE,GAAG,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,EAA8B,CAAC,IAAI,CAAC,CAAC;IACnI,OAAO,EAAE,IAAI,IAAI,CAAC;AACpB,CAAC"}

package/src/lib/record/form.d.mts

@@ -1,16 +1,19 @@
-import type { Option } from '../format/field.mjs';
-import type { JsonValue } from '../format/json.mjs';
+import type { ActionStep } from '../format/actions.mjs';
+import type { Field, LineField, Option, PropertyDefinition } from '../format/field.mjs';
 import type { Page } from '../format/page.mjs';
+import type { JsonValue } from '../format/json.mjs';
+import { type FieldTone, type LineState } from './cells.mjs';
 import { type Messages } from './messages.mjs';
 import { type DataSource, type RecordChanges, type SaveProblem } from './data-source.mjs';
 import { type Scheduler } from './scheduler.mjs';
+import { type ActionHost, type ActionRequest, type ActionResult, type OnAction, type PostedMessage, type RunContext, type RunResult } from './run.mjs';
 import { type RecordId, type RelatedRecord, type Value, type Values } from './values.mjs';
 export type FormStatus = 'idle' | 'loading' | 'ready' | 'saving' | 'saved' | 'error';
 export interface FormState {
     readonly status: FormStatus;
     readonly recordId: RecordId | null;
     readonly values: Readonly<Values>;
-    /** Messages by field name; a line's field is `field.lineKey.subfield`. */
+    /** Messages by field name; a line's field is `field.lineKey.subfield`, a saved form's field `name.field`. */
     readonly errors: Readonly<Record<string, string>>;
     /** Fields that differ from the record as loaded or last saved. */
     readonly dirty: readonly string[];
@@ -37,6 +40,16 @@ export interface FormState {
     readonly saveProblem: SaveProblem | null;
     /** The choices loaded from the app's lists, by field: those of a selection with `optionsFrom`, once asked for. */
     readonly choices: Readonly<Record<string, Choices>>;
+    /** The definitions loaded for a properties field with `definitionsFrom`, by field, once asked for. */
+    readonly definitions: Readonly<Record<string, Definitions>>;
+}
+/** A properties field's definitions from the app, as they load. */
+export interface Definitions {
+    /** The definitions last loaded: null until the first load ends well. */
+    readonly definitions: PropertyDefinition[] | null;
+    readonly loading?: boolean;
+    /** Why the last load failed. */
+    readonly error?: string;
 }
 /** A field's choices from one of the app's lists, as they load. */
 export interface Choices {
@@ -58,17 +71,69 @@ export interface DraftStore {
     setItem(key: string, value: string): void;
     removeItem(key: string): void;
 }
-export interface ActionRequest {
-    /** The button or stat button pressed. */
-    id: string;
-    action: string;
-    params?: {
-        [key: string]: JsonValue;
+export type { ActionRequest } from './run.mjs';
+/** Whose change it was: a person's (in the UI), a step's, or the app's (`setValues`, or `setValue` told so). Only a person's runs the page's `change` steps. */
+export type ChangeBy = 'person' | 'step' | 'app';
+/** What a form tells the app, by event: `form.on(event, listener)`. */
+export interface FormEvents {
+    /** A field was written: by a person, a step or the app. Values worked out from it are not told. */
+    change: {
+        field: string;
+        value: Value;
+        values: Readonly<Values>;
+        by: ChangeBy;
+    };
+    /** A record was saved. */
+    save: {
+        recordId: RecordId | null;
+        values: Readonly<Values>;
+    };
+    /** A page of responses sent its answers: those sent. */
+    send: {
+        values: Values;
+    };
+    /** The app answered a call: with nothing (undefined), or an `ActionResult`. */
+    action: {
+        request: ActionRequest;
+        result: ActionResult | undefined;
+    };
+    /** A run of steps ended — a button's, a moment's, `form.run`'s — and how. */
+    run: {
+        id: string;
+        steps: readonly ActionStep[];
+        result: RunResult;
+    };
+    /** A wizard's step was entered. */
+    step: {
+        step: string;
+    };
+    /** The form has its values: loaded, or new. */
+    open: {
+        recordId: RecordId | null;
+        values: Readonly<Values>;
+    };
+    /** The record was archived (`archived` true) or brought back, by a step. */
+    archive: {
+        recordId: RecordId;
+        archived: boolean;
+    };
+    /** The record was copied, by a step: the form shows the copy now. */
+    duplicate: {
+        from: RecordId;
+        recordId: RecordId;
+    };
+    /**
+     * The record was deleted, by a step. A listener may show another record
+     * (`openRecord`), as a pager moves on; else the form starts a new one.
+     */
+    delete: {
+        recordId: RecordId;
+    };
+    /** Words to post in the record's conversation, from a `post` step or the app's answer: the chatter beside it listens. */
+    post: {
+        recordId: RecordId | null;
+        message: PostedMessage;
     };
-    recordId: RecordId | null;
-    values: Values;
-    /** The records chosen in a list, when the button belongs to one. */
-    recordIds?: RecordId[];
 }
 export interface FormOptions {
     page: Page;
@@ -77,8 +142,17 @@ export interface FormOptions {
     recordId?: RecordId | null;
     /** Values to start with, on top of each field's default. */
     values?: Values;
-    /** What a button does. Fieldia hands the press over; the app decides. */
-    onAction?: (request: ActionRequest) => void | Promise<void>;
+    /**
+     * The app's own actions: a button's `action`, and each `call` step. Fieldia
+     * hands the request over and waits; the app may answer (`ActionResult`)
+     * with values to set, words to say, a page to open, or to stop. Nothing
+     * answered means go on.
+     */
+    onAction?: OnAction;
+    /** The UI the core cannot draw — pages opened, words said, questions asked — given by the viewer. */
+    host?: ActionHost;
+    /** How a question is asked when there is no host. Without either, a question goes on as though answered Yes. */
+    confirm?: (message: string) => boolean | Promise<boolean>;
     drafts?: {
         store: DraftStore;
         restore?: 'auto' | 'ask';
@@ -92,14 +166,55 @@ export interface FormOptions {
     messages?: Messages;
     /** The clock, for `today()` and for dates that must be past or future. The computer's own when left out. */
     now?: () => Date;
+    /**
+     * The person using the form: conditions read it as `user` (`user.id`,
+     * `user.name`, `user.roles`), and a part with `roles` shows only to people
+     * in them. Left out, the person has no id and no roles.
+     */
+    user?: FormUser;
+    /** Whether the record starts being edited, as conditions read `editing`; true unless said. A view locking it says so with `setEditing`. */
+    editing?: boolean;
+    /**
+     * Values the app passes in, as Flectra's context: read by conditions and
+     * expressions as `context.name`, and by a filter's `valueFrom:
+     * "context.name"` — a transfer opened from Receipts restricting its
+     * operation types. They are the app's, never the page's: nothing saves
+     * them, and a page's field of that name comes first.
+     */
+    context?: Readonly<Record<string, JsonValue>>;
+    /**
+     * The record this form's values are a line of, when the form edits one
+     * table's line in a form of its own (a node's `lineForm`): its values and
+     * fields, read by conditions and filters as `parent`, as a line's are —
+     * `parent.state`, a filter's `valueFrom: "parent.company_id"`.
+     */
+    parent?: {
+        values: Readonly<Values>;
+        fields: Readonly<Record<string, Field | LineField>>;
+        id?: RecordId | null;
+    };
+}
+/** The person using a form, as the app knows them. */
+export interface FormUser {
+    id: RecordId | null;
+    name?: string;
+    /** The roles they hold, by the names the page's `roles` use: Flectra's groups, such as `sales_team.group_sale_manager`. */
+    roles?: readonly string[];
 }
 export interface Form {
     readonly page: Page;
     getState(): FormState;
     subscribe(listener: (state: FormState) => void): () => void;
     load(): Promise<void>;
-    setValue(name: string, value: Value): void;
+    /** Write a field: a person's change unless told otherwise, and only a person's runs the page's `change` steps. */
+    setValue(name: string, value: Value, how?: {
+        by?: ChangeBy;
+    }): void;
+    /** Write several fields at once, worked out once: the app's change, never a person's. Throws for a field the page lacks. */
+    setValues(values: Values): void;
     node(id: string): NodeState;
+    /** Whether the record is being edited, as conditions read `editing`: a view that locks it to be read says false, and parts follow. */
+    setEditing(editing: boolean): void;
     fieldReadonly(name: string): boolean;
     /** What a field would be told if the form were checked now, or null when it passes. Nothing is shown. */
     problem(field: string): string | null;
@@ -118,25 +233,68 @@ export interface Form {
      * written: the record, its changes and its autosave stay as they are.
      */
     previewLine(field: string, key: string, values: Values): Promise<Values>;
+    /**
+     * Show another record of the page's model in this form, loaded from the
+     * data source as a pager moves to it, or a new one for null. Changes not
+     * saved are dropped: save first. The page's `open` steps run for it.
+     */
+    openRecord(id: RecordId | null): Promise<void>;
+    /**
+     * Post words in the record's conversation, as a `post` step does: through
+     * the form's host when it has a way to, else told to the form's own
+     * listeners (`post`). False when nothing heard them.
+     */
+    post(message: PostedMessage): Promise<boolean>;
     /**
      * Load, or load again, the choices of a selection whose options come from
      * the app's list (`optionsFrom`). Once loaded, they load again by themselves
      * when a field they change with changes; the latest answer wins.
      */
     loadChoices(field: string): void;
-    /** Records a many2one, many2many or reference may point to. A reference needs `options.model`. */
+    /**
+     * Load, or load again, the definitions of a properties field whose
+     * definitions come from a linked record (`definitionsFrom`). Once loaded,
+     * they load again by themselves when a field they change with changes.
+     */
+    loadDefinitions(field: string): void;
+    /** A property added in place to such a field: kept in its definitions, and handed to the data source's `saveDefinitions`. */
+    addDefinition(field: string, definition: PropertyDefinition): Promise<void>;
+    /**
+     * Records a many2one, many2many or reference may point to. A reference needs
+     * `options.model`, and so does structured data naming records of a model (a
+     * json field, such as an analytic distribution's accounts); `options.ids`
+     * finds those records alone, for their names.
+     */
     search(field: string, query: string, limit?: number, options?: {
         model?: string;
+        ids?: RecordId[];
     }): Promise<RelatedRecord[]>;
-    /** The same, for a relation inside a one2many line, filtered by that line's values. */
-    searchLine(field: string, key: string, subfield: string, query: string, limit?: number): Promise<RelatedRecord[]>;
+    /** The same, for a relation inside a one2many line, filtered by that line's values — or structured data of a line naming records of a model (`options.model`). */
+    searchLine(field: string, key: string, subfield: string, query: string, limit?: number, options?: {
+        model?: string;
+        ids?: RecordId[];
+    }): Promise<RelatedRecord[]>;
+    /**
+     * The values of records a many2many links to, for a table of them: `fields`
+     * of the records with these ids, in the order asked, read with the data
+     * source's `list`. None without one.
+     */
+    linkedValues(field: string, ids: readonly RecordId[], fields: readonly string[]): Promise<{
+        id: RecordId;
+        values: Values;
+    }[]>;
     /** Whether a link field can make a record from a typed name: the data source must be able to. */
     canCreate(field: string): boolean;
-    /** Make a record from a typed name, for the link field to point to. */
+    /** Make a record from a typed name, for the link field to point to, with what its `createValues` hand on. */
     quickCreate(field: string, name: string): Promise<RelatedRecord>;
-    /** The same, for a link inside a one2many's lines. */
+    /** The same, for a link inside a one2many's lines; with the line's key, its `createValues` are read on that line. */
     canCreateLine(field: string, subfield: string): boolean;
-    quickCreateLine(field: string, subfield: string, name: string): Promise<RelatedRecord>;
+    quickCreateLine(field: string, subfield: string, name: string, key?: string): Promise<RelatedRecord>;
+    /** What a record made from a link starts with besides its name: its `createValues`, read now — on a line, on that line. */
+    createValues(field: string, line?: {
+        lines: string;
+        key: string;
+    }): Values;
     steps(): string[];
     next(): boolean;
     back(): boolean;
@@ -148,14 +306,57 @@ export interface Form {
      * an optional one instead.
      */
     goTo(step: string): boolean;
-    /** Run a button; a list's button passes the records chosen in it. */
+    /**
+     * Press a button: ask its `confirm` first, run its `steps`, then call its
+     * `action`, when it names one, as a final `call`. A list's button passes
+     * the records chosen in it, and every call of the run carries them.
+     */
     runAction(id: string, chosen?: {
         recordIds: RecordId[];
-    }): Promise<void>;
+    }): Promise<RunResult>;
+    /** A field's own value as its tones have it now: its tone and whether it is bold, read on the record. */
+    fieldTone(nodeId: string): FieldTone;
+    /** A table's line as its rules have it now — its tone, each ruled column's cells, which of its buttons show — by the table's field node. */
+    lineState(nodeId: string, key: string): LineState;
+    /** Whether a table's column is hidden now by its `hidden` rule, read on the record. */
+    columnHidden(nodeId: string, column: string): boolean;
+    /**
+     * The words a field's empty box shows now, by its node (`#title` for a
+     * sheet's title): its first `placeholderWhen` that holds, else its
+     * `placeholder`; undefined when it has neither.
+     */
+    placeholder(nodeId: string): string | undefined;
+    /** Press a button on a table's line: its confirmation, its steps, then its action, each call carrying the line. Hidden on that line, it does not run. */
+    runRowAction(nodeId: string, buttonId: string, key: string): Promise<RunResult>;
+    /**
+     * Press a button for the lines chosen in a table (its `selectedButtons`),
+     * by their keys: its confirmation, its steps, then its action, each call
+     * carrying the lines. Hidden, or with no line chosen, it does not run.
+     */
+    runLinesAction(nodeId: string, buttonId: string, keys: readonly string[]): Promise<RunResult>;
+    /** Run steps on this form, as a button would: `context.id` is what their calls carry (`run` when left out). */
+    run(steps: readonly ActionStep[], context?: RunContext): Promise<RunResult>;
+    /** A tab was shown: the viewer says so, and the page's `show` steps for it run. */
+    shown(tab: string): void;
+    /** Listen to one of the form's events; returns what stops listening. */
+    on<E extends keyof FormEvents>(event: E, listener: (event: FormEvents[E]) => void): () => void;
     restoreDraft(): void;
     discardDraft(): void;
-    /** Resolves once every onchange, save and autosave started so far has finished. */
+    /** Resolves once every onchange, save, autosave and run of steps started so far has finished — a question still waiting for its answer included. */
     settled(): Promise<void>;
+    /**
+     * Give a saved form placed on this page (a `form` part, by its id) its page,
+     * once the app has found it. From then its answers sit under the part's
+     * name as an object, checked by that page's own rules: this form refuses
+     * to save or send while one of them fails, with the error under
+     * `name.field`, and shows it on the inner form beside its field. Returns the
+     * inner form, which a view draws the part's fields from; giving the page
+     * again returns the same one. A page placed inside itself, directly or
+     * through others, is refused.
+     */
+    embed(id: string, page: Page): Form;
+    /** The inner form of a saved form placed on this page, once it has its page; null until then. */
+    embedded(id: string): Form | null;
     dispose(): void;
 }
 /**