@procedures/client 0.35.1 → 0.36.0

package/dist/procedures/collection/changes.js

@@ -22,8 +22,13 @@
  *   listens to the topic, the procedures publish nothing, and the chain stops.
  * - The publishes of one storage and one topic run one at a time, in the order of the writes. A
  *   write resolves after its event is on the bus. A failed publish never fails the write.
+ * - With the rule `admission.admit`, the publisher filters the ids of each event for each
+ *   subscriber (roadmap CLI-78, `hint-filter.ts`). The event carries the rows after the changes,
+ *   from the change log. While a subscriber has a filter, each write first reads the rows before
+ *   it (`getBatch`). Thus a row that leaves the rule reaches that subscriber as a delete.
  */
 import { withRows } from "../../events/rows.js";
+import { hasFilteredSubscriber, withHintImages } from "./hint-filter.js";
 import { collectionTopicTarget } from "./topic.js";
 export { collectionChangeTopic } from "./topic.js";
 /**
@@ -81,7 +86,8 @@ function hint(version, origin) {
 /**
  * The event of a delta with the values of the changed items. Each row `{ id, value }` passes the
  * output filter of each subscriber and the rule of the rows of the collection, and a refused row
- * goes from `values` to `withheld`.
+ * goes from `values` to `withheld`. The row filter of a subscriber (roadmap CLI-78) first takes the
+ * rows that the rule refuses out of the event. Thus only the output filter of the host withholds a row.
  */
 function withValues(event, entries, admit) {
     return withRows({ ...event, values: entries }, {
@@ -99,7 +105,8 @@ function withValues(event, entries, admit) {
     });
 }
 /** One publish: the event of the writes that ended since the last publish. */
-async function publish(chain, storage, bus, topic, values, admit) {
+async function publish(chain, storage, bus, topic, values, admission) {
+    const admit = admission?.admit;
     const writes = chain.ended.splice(0);
     // An earlier publish told these writes
     if (writes.length === 0)
@@ -139,7 +146,35 @@ async function publish(chain, storage, bus, topic, values, admit) {
         deleted: changes.deleted,
         ...(origin !== undefined && { origin }),
     };
-    bus.emit(topic, values ? withValues(event, changes.changed.map(([id, value]) => ({ id, value })), admit) : event);
+    const out = values ? withValues(event, changes.changed.map(([id, value]) => ({ id, value })), admit) : event;
+    // The rows of the event for the row filter of each subscriber (roadmap CLI-78)
+    bus.emit(topic, admit ? withHintImages(out, { after: afterOf(changes), before: beforeOf(writes), admission: admission }) : out);
+}
+/** The rows after the changes, from the change log: a changed id has its item, a deleted id has none. */
+function afterOf(changes) {
+    const after = new Map();
+    for (const id of changes.deleted)
+        after.set(id, { found: false });
+    for (const [id, value] of changes.changed)
+        after.set(id, { found: true, value });
+    return after;
+}
+/**
+ * The rows before the changes: for each id, the read of the first write that read it. An id
+ * without a read is unknown, so the filter of a subscriber makes a hint without ids for it.
+ */
+function beforeOf(writes) {
+    const before = new Map();
+    for (const write of writes) {
+        if (!write.before || write.ids === "*")
+            continue;
+        for (const id of write.ids) {
+            if (before.has(id))
+                continue;
+            before.set(id, write.before.has(id) ? { found: true, value: write.before.get(id) } : { found: false });
+        }
+    }
+    return before;
 }
 /**
  * This function runs a write of a collection procedure, and then publishes the change event of
@@ -154,19 +189,28 @@ async function publish(chain, storage, bus, topic, values, admit) {
  * @param origin - The origin of the write
  * @param write - The write
  * @param values - True: the events carry the values, for the output filter of each subscriber
- * @param admit - The rule of the rows of the collection: each subscriber applies it to the values (roadmap CLI-41)
+ * @param admission - The rules of the rows of the collection: each subscriber applies `admit` to the rows of the event (roadmap CLI-41, CLI-78)
  */
-export async function writeWithChangeEvent(bus, storage, topic, ids, origin, write, values = false, admit) {
+export async function writeWithChangeEvent(bus, storage, topic, ids, origin, write, values = false, admission) {
     if (bus === undefined || topic === undefined)
         return write();
     const chain = chainOf(storage, topic);
     const started = { ids, origin, anchored: chain.anchor !== undefined };
+    // A subscriber with a row filter: the rows before the write tell it which rows left the rule (roadmap CLI-78)
+    if (admission?.admit && ids !== "*" && ids.length > 0 && storage.getBatch && hasFilteredSubscriber(bus, topic) && bus.hasSubscribers(topic)) {
+        try {
+            started.before = await storage.getBatch([...ids]);
+        }
+        catch {
+            // Without the rows before the write, the filter of a subscriber makes a hint without ids
+        }
+    }
     try {
         return await write();
     }
     finally {
         chain.ended.push(started);
-        const run = chain.tail.then(() => publish(chain, storage, bus, topic, values, admit));
+        const run = chain.tail.then(() => publish(chain, storage, bus, topic, values, admission));
         chain.tail = run.catch(() => undefined);
         await chain.tail;
     }

package/dist/procedures/collection/changes.js.map

@@ -1 +1 @@
-{"version":3,"file":"changes.js","sourceRoot":"","sources":["../../../src/procedures/collection/changes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAIhD,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAyCnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAEnD;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAa,EAAE,UAA+B;IACjF,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACxD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AA0BD,+FAA+F;AAC/F,MAAM,MAAM,GAAG,IAAI,OAAO,EAAoC,CAAC;AAE/D,SAAS,OAAO,CAAC,OAAe,EAAE,KAAa;IAC7C,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACjC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAClE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uGAAuG;AACvG,SAAS,QAAQ,CAAC,MAA6B,EAAE,OAA4C;IAC3F,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;IACjC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9F,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IACzE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,GAAwB;YAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzF,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvG,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAClC,CAAC;AAED,4EAA4E;AAC5E,SAAS,IAAI,CAAC,OAA2B,EAAE,MAA0B;IACnE,OAAO;QACL,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC;QACzC,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,EAAE;QACX,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,KAA4B,EAAE,OAAwE,EAAE,KAA4B;IACtJ,OAAO,QAAQ,CACb,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAC7B;QACE,IAAI,EAAE,OAAO;QACb,0FAA0F;QAC1F,GAAG,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,CAAC;QACvB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE;YACjB,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACpF,OAAO;gBACL,GAAG,KAAK;gBACR,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACrD,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;aACzC,CAAC;QACJ,CAAC;KACF,CACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,KAAK,UAAU,OAAO,CAAC,KAAkB,EAAE,OAAkB,EAAE,GAAa,EAAE,KAAa,EAAE,MAAe,EAAE,KAA4B;IACxI,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACrC,uCAAuC;IACvC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAChC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,yGAAyG;QACzG,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC;QACzB,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,eAAe,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACpD,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9D,OAAO;IACT,CAAC;IACD,IAAI,OAAgC,CAAC;IACrC,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,4EAA4E;QAC5E,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9D,OAAO;IACT,CAAC;IACD,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAC/B,yEAAyE;IACzE,IAAI,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QACpE,OAAO;IACT,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,MAAM,KAAK,GAA0B;QACnC,KAAK;QACL,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QAC1C,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;KACxC,CAAC;IACF,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACpH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,GAAyB,EACzB,OAA2B,EAC3B,KAAyB,EACzB,GAA4B,EAC5B,MAA0B,EAC1B,KAAuB,EACvB,MAAM,GAAG,KAAK,EACd,KAAiB;IAEjB,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,EAAE,CAAC;IAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,OAAO,GAAe,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;IAClF,IAAI,CAAC;QACH,OAAO,MAAM,KAAK,EAAE,CAAC;IACvB,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QACtF,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,KAAK,CAAC,IAAI,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAyB,EAAE,OAAe,EAAE,KAAyB,EAAE,OAAe;IACrH,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IACrD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC;AACzD,CAAC"}
+{"version":3,"file":"changes.js","sourceRoot":"","sources":["../../../src/procedures/collection/changes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAIhD,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAqB,MAAM,kBAAkB,CAAC;AAE5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AA4CnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAEnD;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAa,EAAE,UAA+B;IACjF,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACxD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AA8BD,+FAA+F;AAC/F,MAAM,MAAM,GAAG,IAAI,OAAO,EAAoC,CAAC;AAE/D,SAAS,OAAO,CAAC,OAAe,EAAE,KAAa;IAC7C,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACjC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAClE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uGAAuG;AACvG,SAAS,QAAQ,CAAC,MAA6B,EAAE,OAA4C;IAC3F,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;IACjC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9F,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IACzE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,GAAwB;YAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzF,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvG,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAClC,CAAC;AAED,4EAA4E;AAC5E,SAAS,IAAI,CAAC,OAA2B,EAAE,MAA0B;IACnE,OAAO;QACL,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC;QACzC,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,EAAE;QACX,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,UAAU,CAAC,KAA4B,EAAE,OAAwE,EAAE,KAA4B;IACtJ,OAAO,QAAQ,CACb,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAC7B;QACE,IAAI,EAAE,OAAO;QACb,0FAA0F;QAC1F,GAAG,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,CAAC;QACvB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE;YACjB,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACpF,OAAO;gBACL,GAAG,KAAK;gBACR,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACrD,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;aACzC,CAAC;QACJ,CAAC;KACF,CACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,KAAK,UAAU,OAAO,CAAC,KAAkB,EAAE,OAAkB,EAAE,GAAa,EAAE,KAAa,EAAE,MAAe,EAAE,SAA0C;IACtJ,MAAM,KAAK,GAAG,SAAS,EAAE,KAAK,CAAC;IAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACrC,uCAAuC;IACvC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAChC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,yGAAyG;QACzG,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC;QACzB,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,eAAe,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACpD,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9D,OAAO;IACT,CAAC;IACD,IAAI,OAAgC,CAAC;IACrC,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,4EAA4E;QAC5E,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9D,OAAO;IACT,CAAC;IACD,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAC/B,yEAAyE;IACzE,IAAI,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QACpE,OAAO;IACT,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,MAAM,KAAK,GAA0B;QACnC,KAAK;QACL,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QAC1C,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;KACxC,CAAC;IACF,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC7G,+EAA+E;IAC/E,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,SAAU,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACnI,CAAC;AAED,yGAAyG;AACzG,SAAS,OAAO,CAAC,OAAgC;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAClE,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACjF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,QAAQ,CAAC,MAA6B;IAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,GAAG;YAAE,SAAS;QACjD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC;YAC3B,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC7B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QACzG,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,GAAyB,EACzB,OAA2B,EAC3B,KAAyB,EACzB,GAA4B,EAC5B,MAA0B,EAC1B,KAAuB,EACvB,MAAM,GAAG,KAAK,EACd,SAA+B;IAE/B,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,EAAE,CAAC;IAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,OAAO,GAAe,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;IAClF,8GAA8G;IAC9G,IAAI,SAAS,EAAE,KAAK,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,IAAI,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5I,IAAI,CAAC;YACH,OAAO,CAAC,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QACpD,CAAC;QAAC,MAAM,CAAC;YACP,yFAAyF;QAC3F,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,OAAO,MAAM,KAAK,EAAE,CAAC;IACvB,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;QAC1F,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,KAAK,CAAC,IAAI,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAyB,EAAE,OAAe,EAAE,KAAyB,EAAE,OAAe;IACrH,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IACrD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC;AACzD,CAAC"}

package/dist/procedures/collection/hint-filter.d.ts

@@ -0,0 +1,143 @@
+/**
+ * The row filter of the change events of a collection (roadmap CLI-78).
+ *
+ * A change event names the ids that changed. Before CLI-78, each subscriber of a topic got all the
+ * ids, so only a principal that reads the whole partition could subscribe. With CLI-78, the publisher
+ * filters each event row by row for each subscriber, with the rule of the rows of the collection
+ * (`admission.admit`). The reads apply the same rule (`admittedStorage()`).
+ *
+ * - The rule comes from the registry of the call: `createCollectionProcedures()` puts its rules on
+ *   the metadata of its procedures. An event can also carry the rules in its images.
+ * - The rule examines the rows of the images of the event (`withHintImages()`): the row after the
+ *   changes, and the row before them. The publisher does not read a storage.
+ * - A changed row that the rule admits stays in `changed`. A changed row that the rule refuses, or
+ *   a deleted row, goes to `deleted` only when the rule admitted its row before the changes.
+ *   Otherwise the subscriber does not get its id.
+ * - When an image is missing, or the rule fails, the subscriber gets a hint without ids and
+ *   without `since`. It then reads the changes, through the rule of the reads.
+ * - An event without ids, and a `reset` event, pass without ids.
+ * - When the subscriber gets no id of an event, it gets no event. The `since` of its next event is
+ *   then the `version` of the last event that it got. Thus it applies the next delta without a read.
+ * - `admission.admitsAll` tells that a subscriber reads each row of its partition. Its events then
+ *   pass as before CLI-78, with no cost.
+ */
+import type { Invocation } from "../invoke.js";
+import type { AnyProcedure, ProcedureContext } from "../types.js";
+import type { CollectionAdmission } from "./admission.js";
+import type { EventBus } from "../../events/types.js";
+/** The state of one row in an image: the stored item, or no item. */
+export type HintRowState = {
+    readonly found: true;
+    readonly value: unknown;
+} | {
+    readonly found: false;
+};
+/**
+ * The rows of a change event, for the row filter of each subscriber (roadmap CLI-78). A missing id
+ * in a map is unknown. The images are on a symbol key, so they stay in this process: JSON does
+ * not take them.
+ */
+export interface HintImages {
+    /** The rows after the changes of the event, by id. */
+    readonly after?: ReadonlyMap<string, HintRowState> | undefined;
+    /** The rows before the changes of the event (at its `since`), by id. */
+    readonly before?: ReadonlyMap<string, HintRowState> | undefined;
+    /**
+     * The rules of the rows of the collection. The publisher uses the rules from its registry
+     * first, and these rules only when the registry has none.
+     */
+    readonly admission?: CollectionAdmission | undefined;
+}
+/**
+ * This function gives the event with its images, for the row filter of each subscriber (roadmap
+ * CLI-78). The images are not enumerable: a copy or a comparison of the event does not see them.
+ */
+export declare function withHintImages<T extends object>(event: T, images: HintImages): T;
+/** The images of an event, or undefined for an event without images. */
+export declare function hintImagesOf(event: unknown): HintImages | undefined;
+/**
+ * This function puts the rules of a collection on the metadata of its procedures, so the publisher
+ * of the events finds them in the registry. The key is not enumerable.
+ */
+export declare function withCollectionRules(procedures: AnyProcedure[], admission: CollectionAdmission | undefined): AnyProcedure[];
+/**
+ * The rules of a collection in the registry of a call. It gives the rules, or `null` for a
+ * collection without rules. It gives undefined when the registry does not know the procedures.
+ */
+export declare function collectionRulesOf(ctx: ProcedureContext, collection: string): CollectionAdmission | null | undefined;
+/**
+ * The invocation that the rules of a collection get for the events of one topic (roadmap CLI-78).
+ * It has the principal, the capability, the metadata and the signal of the subscription. Its path
+ * is the path of `changes` of the collection, and its input has the partition of the topic. Thus
+ * a rule that reads `invocation.input.partition` sees the same input as in a read of the topic.
+ *
+ * @param base - The invocation of the subscription
+ * @param ctx - The context of the subscription. Its registry gives the procedure of `changes`.
+ * @param collection - The collection of the topic
+ * @param partition - The partition that the topic names, before the resolver
+ */
+export declare function collectionInvocation(base: Invocation | undefined, ctx: ProcedureContext, collection: string, partition: string | undefined): Invocation | undefined;
+/**
+ * This function marks a topic of a bus: a subscription of the topic has a row filter. It gives the
+ * function that removes the mark. A second call of that function does nothing.
+ */
+export declare function markFilteredTopic(bus: EventBus, topic: string): () => void;
+/** True when a subscription of the topic of the bus has a row filter. */
+export declare function hasFilteredSubscriber(bus: EventBus, topic: string): boolean;
+/** The result of the filter for an event that the subscriber does not get. */
+export declare const DROPPED: unique symbol;
+/**
+ * The mode of a filter. `pass` gives each event as before CLI-78, and `filter` examines each row.
+ * `unknown` uses the rules of the images of each event.
+ */
+export type HintFilterMode = "pass" | "filter" | "unknown";
+/**
+ * The row filter of one topic of one subscription (roadmap CLI-78). The publisher gives each event
+ * of the topic to `apply()`, one at a time, in the order of the bus.
+ */
+export declare class RowHintFilter {
+    /** The rules of the collection from the registry of the call. */
+    private readonly lookup;
+    /** The invocation of the topic (`collectionInvocation()`): the rules get it. */
+    readonly invocation: Invocation | undefined;
+    /** The partition of the topic: `admitsAll` gets it. */
+    private readonly partition;
+    /** The rules from the registry: undefined when the registry does not know the collection. */
+    private rules;
+    /** The result of `admitsAll` for one set of rules. */
+    private all;
+    /** The `version` of the last event of the chain, also of an event that the subscriber did not get. */
+    private head;
+    /** The `since` that the next event of the chain gets: the `version` of the last event that the subscriber got. */
+    private base;
+    /** The filters, one at a time. */
+    private tail;
+    constructor(
+    /** The rules of the collection from the registry of the call. */
+    lookup: () => CollectionAdmission | null | undefined, 
+    /** The invocation of the topic (`collectionInvocation()`): the rules get it. */
+    invocation: Invocation | undefined, 
+    /** The partition of the topic: `admitsAll` gets it. */
+    partition: string | undefined);
+    /** The mode of the filter, from the rules and from the last result of `admitsAll`. */
+    get mode(): HintFilterMode;
+    /**
+     * This function reads the rules again and asks `admitsAll` again: at the start of the
+     * subscription and at each re-check (roadmap CLI-44). It gives the new mode.
+     */
+    refresh(): Promise<HintFilterMode>;
+    /** This function forgets the chain: the next event keeps its own `since`. */
+    forget(): void;
+    /**
+     * The event for the subscriber. It gives undefined when the event passes as it is (no wait).
+     * Otherwise it gives a promise of the event for the subscriber, or of `DROPPED` for no event.
+     */
+    apply(data: unknown): Promise<unknown> | undefined;
+    /** The result of `admitsAll` for a set of rules. An error gives false. */
+    private admitsAll;
+    /** The filter of one event with the rule of the rows. */
+    private filter;
+    /** An event of the chain that the subscriber does not get: the next event keeps the `since` of the last one. */
+    private skip;
+}
+//# sourceMappingURL=hint-filter.d.ts.map

package/dist/procedures/collection/hint-filter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hint-filter.d.ts","sourceRoot":"","sources":["../../../src/procedures/collection/hint-filter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAClE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAE1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEtD,qEAAqE;AACrE,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAEzG;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,sDAAsD;IACtD,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,CAAC;IAC/D,wEAAwE;IACxE,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,CAAC;IAChE;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAC;CACtD;AAKD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,GAAG,CAAC,CAEhF;AAED,wEAAwE;AACxE,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAInE;AAKD;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,YAAY,EAAE,EAAE,SAAS,EAAE,mBAAmB,GAAG,SAAS,GAAG,YAAY,EAAE,CAM1H;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,GAAG,mBAAmB,GAAG,IAAI,GAAG,SAAS,CASnH;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,GAAG,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAQnK;AAaD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,IAAI,CAgB1E;AAED,yEAAyE;AACzE,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAE3E;AAED,8EAA8E;AAC9E,eAAO,MAAM,OAAO,EAAE,OAAO,MAAyC,CAAC;AAEvE;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;AAmC3D;;;GAGG;AACH,qBAAa,aAAa;IAatB,iEAAiE;IACjE,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,gFAAgF;IAChF,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS;IAC3C,uDAAuD;IACvD,OAAO,CAAC,QAAQ,CAAC,SAAS;IAjB5B,6FAA6F;IAC7F,OAAO,CAAC,KAAK,CAAyC;IACtD,sDAAsD;IACtD,OAAO,CAAC,GAAG,CAAmF;IAC9F,sGAAsG;IACtG,OAAO,CAAC,IAAI,CAAqB;IACjC,kHAAkH;IAClH,OAAO,CAAC,IAAI,CAAqB;IACjC,kCAAkC;IAClC,OAAO,CAAC,IAAI,CAAuC;IAEnD;IACE,iEAAiE;IAChD,MAAM,EAAE,MAAM,mBAAmB,GAAG,IAAI,GAAG,SAAS;IACrE,gFAAgF;IACvE,UAAU,EAAE,UAAU,GAAG,SAAS;IAC3C,uDAAuD;IACtC,SAAS,EAAE,MAAM,GAAG,SAAS,EAG/C;IAED,sFAAsF;IACtF,IAAI,IAAI,IAAI,cAAc,CAKzB;IAED;;;OAGG;IACG,OAAO,IAAI,OAAO,CAAC,cAAc,CAAC,CAKvC;IAED,6EAA6E;IAC7E,MAAM,IAAI,IAAI,CAGb;IAED;;;OAGG;IACH,KAAK,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,SAAS,CASjD;IAED,0EAA0E;YAC5D,SAAS;IAevB,yDAAyD;YAC3C,MAAM;IAkFpB,gHAAgH;IAChH,OAAO,CAAC,IAAI;CAUb"}

package/dist/procedures/collection/hint-filter.js

@@ -0,0 +1,311 @@
+import { withRows } from "../../events/rows.js";
+/** The key of the images of an event. */
+const IMAGES = Symbol.for("procedures.hintImages");
+/**
+ * This function gives the event with its images, for the row filter of each subscriber (roadmap
+ * CLI-78). The images are not enumerable: a copy or a comparison of the event does not see them.
+ */
+export function withHintImages(event, images) {
+    return Object.defineProperty(event, IMAGES, { value: images, enumerable: false, configurable: true });
+}
+/** The images of an event, or undefined for an event without images. */
+export function hintImagesOf(event) {
+    if (typeof event !== "object" || event === null)
+        return undefined;
+    const images = event[IMAGES];
+    return typeof images === "object" && images !== null ? images : undefined;
+}
+/** The key of the rules of a collection on the metadata of its procedures. */
+const RULES = Symbol.for("procedures.collectionRules");
+/**
+ * This function puts the rules of a collection on the metadata of its procedures, so the publisher
+ * of the events finds them in the registry. The key is not enumerable.
+ */
+export function withCollectionRules(procedures, admission) {
+    for (const procedure of procedures) {
+        const metadata = procedure.metadata;
+        if (metadata)
+            Object.defineProperty(metadata, RULES, { value: { admission }, enumerable: false, configurable: true });
+    }
+    return procedures;
+}
+/**
+ * The rules of a collection in the registry of a call. It gives the rules, or `null` for a
+ * collection without rules. It gives undefined when the registry does not know the procedures.
+ */
+export function collectionRulesOf(ctx, collection) {
+    const registry = ctx.registry;
+    if (!registry)
+        return undefined;
+    for (const operation of ["changes", "get"]) {
+        const metadata = registry.get(["collections", collection, operation])?.metadata;
+        const rules = metadata?.[RULES];
+        if (rules)
+            return rules.admission ?? null;
+    }
+    return undefined;
+}
+/**
+ * The invocation that the rules of a collection get for the events of one topic (roadmap CLI-78).
+ * It has the principal, the capability, the metadata and the signal of the subscription. Its path
+ * is the path of `changes` of the collection, and its input has the partition of the topic. Thus
+ * a rule that reads `invocation.input.partition` sees the same input as in a read of the topic.
+ *
+ * @param base - The invocation of the subscription
+ * @param ctx - The context of the subscription. Its registry gives the procedure of `changes`.
+ * @param collection - The collection of the topic
+ * @param partition - The partition that the topic names, before the resolver
+ */
+export function collectionInvocation(base, ctx, collection, partition) {
+    if (base === undefined)
+        return undefined;
+    const procedure = ctx.registry?.get(["collections", collection, "changes"]);
+    return {
+        ...base,
+        ...(procedure !== undefined && { procedure, path: procedure.path }),
+        input: partition === undefined ? {} : { partition },
+    };
+}
+/** The subscriptions with a row filter, by bus and by topic: the writes read the rows before them only for these. */
+const FILTERED = new WeakMap();
+/** The key of the bus under a view of a bus (`withEventBusSignal()`). */
+const BASE_BUS = Symbol.for("procedures.baseBus");
+/** The bus under a view of a bus, or the bus itself. */
+function baseOf(bus) {
+    return bus[BASE_BUS] ?? bus;
+}
+/**
+ * This function marks a topic of a bus: a subscription of the topic has a row filter. It gives the
+ * function that removes the mark. A second call of that function does nothing.
+ */
+export function markFilteredTopic(bus, topic) {
+    const base = baseOf(bus);
+    let topics = FILTERED.get(base);
+    if (!topics) {
+        topics = new Map();
+        FILTERED.set(base, topics);
+    }
+    topics.set(topic, (topics.get(topic) ?? 0) + 1);
+    let marked = true;
+    return () => {
+        if (!marked)
+            return;
+        marked = false;
+        const count = (topics.get(topic) ?? 1) - 1;
+        if (count > 0)
+            topics.set(topic, count);
+        else
+            topics.delete(topic);
+    };
+}
+/** True when a subscription of the topic of the bus has a row filter. */
+export function hasFilteredSubscriber(bus, topic) {
+    return (FILTERED.get(baseOf(bus))?.get(topic) ?? 0) > 0;
+}
+/** The result of the filter for an event that the subscriber does not get. */
+export const DROPPED = Symbol("procedures.droppedHint");
+/** True for a value with the shape of a change event: the arrays `changed` and `deleted`. */
+function isChangeEvent(data) {
+    if (typeof data !== "object" || data === null)
+        return false;
+    const event = data;
+    return Array.isArray(event.changed) && Array.isArray(event.deleted);
+}
+/** The fields `version` and `origin` of an event, when they are strings. */
+function headOf(event) {
+    return {
+        ...(typeof event.version === "string" && { version: event.version }),
+        ...(typeof event.origin === "string" && { origin: event.origin }),
+    };
+}
+/** This function does nothing: the end of a filter that failed. */
+function ignore() { }
+/**
+ * The row filter of one topic of one subscription (roadmap CLI-78). The publisher gives each event
+ * of the topic to `apply()`, one at a time, in the order of the bus.
+ */
+export class RowHintFilter {
+    lookup;
+    invocation;
+    partition;
+    /** The rules from the registry: undefined when the registry does not know the collection. */
+    rules;
+    /** The result of `admitsAll` for one set of rules. */
+    all;
+    /** The `version` of the last event of the chain, also of an event that the subscriber did not get. */
+    head;
+    /** The `since` that the next event of the chain gets: the `version` of the last event that the subscriber got. */
+    base;
+    /** The filters, one at a time. */
+    tail = Promise.resolve();
+    constructor(
+    /** The rules of the collection from the registry of the call. */
+    lookup, 
+    /** The invocation of the topic (`collectionInvocation()`): the rules get it. */
+    invocation, 
+    /** The partition of the topic: `admitsAll` gets it. */
+    partition) {
+        this.lookup = lookup;
+        this.invocation = invocation;
+        this.partition = partition;
+        this.rules = lookup();
+    }
+    /** The mode of the filter, from the rules and from the last result of `admitsAll`. */
+    get mode() {
+        const rules = this.rules;
+        if (rules === undefined)
+            return "unknown";
+        if (rules === null || !rules.admit)
+            return "pass";
+        return this.all?.admission === rules && this.all.value ? "pass" : "filter";
+    }
+    /**
+     * This function reads the rules again and asks `admitsAll` again: at the start of the
+     * subscription and at each re-check (roadmap CLI-44). It gives the new mode.
+     */
+    async refresh() {
+        this.rules = this.lookup();
+        this.all = undefined;
+        if (this.rules?.admit)
+            await this.admitsAll(this.rules);
+        return this.mode;
+    }
+    /** This function forgets the chain: the next event keeps its own `since`. */
+    forget() {
+        this.head = undefined;
+        this.base = undefined;
+    }
+    /**
+     * The event for the subscriber. It gives undefined when the event passes as it is (no wait).
+     * Otherwise it gives a promise of the event for the subscriber, or of `DROPPED` for no event.
+     */
+    apply(data) {
+        if (!isChangeEvent(data))
+            return undefined;
+        const mode = this.mode;
+        if (mode === "pass")
+            return undefined;
+        const admission = this.rules ?? hintImagesOf(data)?.admission;
+        if (!admission?.admit)
+            return undefined;
+        const run = this.tail.then(() => this.filter(data, admission));
+        this.tail = run.catch(ignore);
+        return run;
+    }
+    /** The result of `admitsAll` for a set of rules. An error gives false. */
+    async admitsAll(admission) {
+        if (this.all?.admission === admission)
+            return this.all.value;
+        let value = false;
+        const invocation = this.invocation;
+        if (admission.admitsAll && invocation) {
+            try {
+                value = (await admission.admitsAll(invocation, this.partition)) === true;
+            }
+            catch {
+                value = false;
+            }
+        }
+        this.all = { admission, value };
+        return value;
+    }
+    /** The filter of one event with the rule of the rows. */
+    async filter(event, admission) {
+        // Rules from the images of an event: the subscriber can read each row
+        if (await this.admitsAll(admission))
+            return event;
+        if (event.reset === true) {
+            this.forget();
+            return { ...headOf(event), changed: [], deleted: [], reset: true };
+        }
+        const since = typeof event.since === "string" ? event.since : undefined;
+        if (event.changed.length === 0 && event.deleted.length === 0) {
+            if (since === undefined) {
+                // A hint: the subscriber reads the changes through the rule of the reads
+                this.forget();
+                return { ...headOf(event), changed: [], deleted: [] };
+            }
+            return this.skip(since, event);
+        }
+        const admit = admission.admit;
+        const invocation = this.invocation;
+        const images = hintImagesOf(event);
+        const verdict = async (id, state) => {
+            if (state === undefined)
+                return undefined;
+            if (!state.found || invocation === undefined)
+                return false;
+            try {
+                return (await admit({ id, value: state.value }, invocation)) === true;
+            }
+            catch {
+                return undefined;
+            }
+        };
+        const before = (id) => verdict(id, images?.before?.get(id));
+        const changed = await Promise.all(event.changed.map(async (id) => {
+            const now = await verdict(id, images?.after?.get(id));
+            if (now === true)
+                return "changed";
+            if (now === undefined)
+                return undefined;
+            // The row left the rule, or it has no item: a delete for a subscriber that had it
+            const was = await before(id);
+            return was === undefined ? undefined : was ? "deleted" : "none";
+        }));
+        const deleted = await Promise.all(event.deleted.map(before));
+        if (changed.includes(undefined) || deleted.includes(undefined)) {
+            // The filter cannot tell the rows: the subscriber reads the changes through the rule of the reads
+            this.forget();
+            return { ...headOf(event), changed: [], deleted: [] };
+        }
+        const visible = event.changed.filter((_, index) => changed[index] === "changed");
+        const gone = [...event.changed.filter((_, index) => changed[index] === "deleted"), ...event.deleted.filter((_, index) => deleted[index] === true)];
+        if (visible.length === 0 && gone.length === 0) {
+            if (since === undefined)
+                return DROPPED;
+            return this.skip(since, event);
+        }
+        const kept = new Set(visible);
+        const chained = since === undefined ? undefined : since === this.head ? this.base : since;
+        if (since !== undefined && typeof event.version === "string") {
+            this.head = event.version;
+            this.base = event.version;
+        }
+        else {
+            this.forget();
+        }
+        const out = {
+            ...(chained !== undefined && { since: chained }),
+            ...(typeof event.version === "string" && { version: event.version }),
+            changed: visible,
+            deleted: gone,
+            ...(event.versions && { versions: event.versions.filter(({ id }) => kept.has(id)) }),
+            ...(typeof event.origin === "string" && { origin: event.origin }),
+        };
+        if (!event.values)
+            return out;
+        const values = event.values.filter(({ id }) => kept.has(id));
+        // The rows pass the output filter of the host for the subscriber, as before
+        return withRows({ ...out, values }, {
+            rows: values,
+            keep: (admitted) => {
+                const withheld = values.filter((_, index) => !admitted[index]).map(({ id }) => id);
+                return { ...out, values: values.filter((_, index) => admitted[index]), ...(withheld.length > 0 && { withheld }) };
+            },
+        });
+    }
+    /** An event of the chain that the subscriber does not get: the next event keeps the `since` of the last one. */
+    skip(since, event) {
+        const chained = since === this.head ? this.base : since;
+        if (typeof event.version === "string" && chained !== undefined) {
+            this.head = event.version;
+            this.base = chained;
+        }
+        else {
+            this.forget();
+        }
+        return DROPPED;
+    }
+}
+//# sourceMappingURL=hint-filter.js.map

package/dist/procedures/collection/hint-filter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hint-filter.js","sourceRoot":"","sources":["../../../src/procedures/collection/hint-filter.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAuBhD,yCAAyC;AACzC,MAAM,MAAM,GAAkB,MAAM,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;AAElE;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAmB,KAAQ,EAAE,MAAkB;IAC3E,OAAO,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;AACxG,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,MAAM,GAAI,KAAgC,CAAC,MAAM,CAAC,CAAC;IACzD,OAAO,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,CAAC,CAAC,CAAE,MAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5F,CAAC;AAED,8EAA8E;AAC9E,MAAM,KAAK,GAAkB,MAAM,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;AAEtE;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAA0B,EAAE,SAA0C;IACxG,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,SAAS,CAAC,QAA8B,CAAC;QAC1D,IAAI,QAAQ;YAAE,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IACxH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAqB,EAAE,UAAkB;IACzE,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;IAC9B,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,EAAE,QAAqF,CAAC;QAC7J,MAAM,KAAK,GAAG,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAA4B,EAAE,GAAqB,EAAE,UAAkB,EAAE,SAA6B;IACzI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;IAC5E,OAAO;QACL,GAAG,IAAI;QACP,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;QACnE,KAAK,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE;KACpD,CAAC;AACJ,CAAC;AAED,qHAAqH;AACrH,MAAM,QAAQ,GAAG,IAAI,OAAO,EAA+B,CAAC;AAE5D,yEAAyE;AACzE,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;AAElD,wDAAwD;AACxD,SAAS,MAAM,CAAC,GAAa;IAC3B,OAAS,GAAiC,CAAC,QAAQ,CAAwB,IAAI,GAAG,CAAC;AACrF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAa,EAAE,KAAa;IAC5D,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACzB,IAAI,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACnB,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,OAAO,GAAG,EAAE;QACV,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,MAAM,GAAG,KAAK,CAAC;QACf,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;;YACnC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,qBAAqB,CAAC,GAAa,EAAE,KAAa;IAChE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,OAAO,GAAkB,MAAM,CAAC,wBAAwB,CAAC,CAAC;AAoBvE,6FAA6F;AAC7F,SAAS,aAAa,CAAC,IAAa;IAClC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC5D,MAAM,KAAK,GAAG,IAAgD,CAAC;IAC/D,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACtE,CAAC;AAED,4EAA4E;AAC5E,SAAS,MAAM,CAAC,KAAuB;IACrC,OAAO;QACL,GAAG,CAAC,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QACpE,GAAG,CAAC,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;KAClE,CAAC;AACJ,CAAC;AAKD,mEAAmE;AACnE,SAAS,MAAM,KAAU,CAAC;AAE1B;;;GAGG;AACH,MAAM,OAAO,aAAa;IAcL,MAAM;IAEd,UAAU;IAEF,SAAS;IAjB5B,6FAA6F;IACrF,KAAK,CAAyC;IACtD,sDAAsD;IAC9C,GAAG,CAAmF;IAC9F,sGAAsG;IAC9F,IAAI,CAAqB;IACjC,kHAAkH;IAC1G,IAAI,CAAqB;IACjC,kCAAkC;IAC1B,IAAI,GAAqB,OAAO,CAAC,OAAO,EAAE,CAAC;IAEnD;IACE,iEAAiE;IAChD,MAAoD;IACrE,gFAAgF;IACvE,UAAkC;IAC3C,uDAAuD;IACtC,SAA6B;sBAJ7B,MAAM;0BAEd,UAAU;yBAEF,SAAS;QAE1B,IAAI,CAAC,KAAK,GAAG,MAAM,EAAE,CAAC;IACxB,CAAC;IAED,sFAAsF;IACtF,IAAI,IAAI;QACN,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK;YAAE,OAAO,MAAM,CAAC;QAClD,OAAO,IAAI,CAAC,GAAG,EAAE,SAAS,KAAK,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC7E,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,OAAO;QACX,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,GAAG,SAAS,CAAC;QACrB,IAAI,IAAI,CAAC,KAAK,EAAE,KAAK;YAAE,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,6EAA6E;IAC7E,MAAM;QACJ,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;QACtB,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;IACxB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,IAAa;QACjB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,IAAI,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;QAC9D,IAAI,CAAC,SAAS,EAAE,KAAK;YAAE,OAAO,SAAS,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9B,OAAO,GAAG,CAAC;IACb,CAAC;IAED,0EAA0E;IAClE,KAAK,CAAC,SAAS,CAAC,SAA8B;QACpD,IAAI,IAAI,CAAC,GAAG,EAAE,SAAS,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAC7D,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QACnC,IAAI,SAAS,CAAC,SAAS,IAAI,UAAU,EAAE,CAAC;YACtC,IAAI,CAAC;gBACH,KAAK,GAAG,CAAC,MAAM,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,IAAI,CAAC;YAC3E,CAAC;YAAC,MAAM,CAAC;gBACP,KAAK,GAAG,KAAK,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,GAAG,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yDAAyD;IACjD,KAAK,CAAC,MAAM,CAAC,KAAuB,EAAE,SAA8B;QAC1E,sEAAsE;QACtE,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QAClD,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACrE,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,yEAAyE;gBACzE,IAAI,CAAC,MAAM,EAAE,CAAC;gBACd,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACxD,CAAC;YACD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAM,CAAC;QAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QACnC,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,KAAK,EAAE,EAAU,EAAE,KAA+B,EAAoB,EAAE;YACtF,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC3D,IAAI,CAAC;gBACH,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,UAAU,CAAC,CAAC,KAAK,IAAI,CAAC;YACxE,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,CAAC,EAAU,EAAoB,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACtF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAuD,EAAE;YAClF,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACtD,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,SAAS,CAAC;YACnC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,kFAAkF;YAClF,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,EAAE,CAAC,CAAC;YAC7B,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QAClE,CAAC,CAAC,CACH,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/D,kGAAkG;YAClG,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACxD,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC;QACjF,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QACnJ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9C,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;YACxC,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1F,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC7D,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC;YAC1B,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,CAAC;QACD,MAAM,GAAG,GAAG;YACV,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YAChD,GAAG,CAAC,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;YACpE,OAAO,EAAE,OAAO;YAChB,OAAO,EAAE,IAAI;YACb,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACpF,GAAG,CAAC,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;SAClE,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,OAAO,GAAG,CAAC;QAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,4EAA4E;QAC5E,OAAO,QAAQ,CACb,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,EAClB;YACE,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE;gBACjB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;gBACnF,OAAO,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;YACpH,CAAC;SACF,CACF,CAAC;IACJ,CAAC;IAED,gHAAgH;IACxG,IAAI,CAAC,KAAa,EAAE,KAAuB;QACjD,MAAM,OAAO,GAAG,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;QACxD,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/D,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC;YAC1B,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF"}

package/dist/procedures/collection/index.d.ts

@@ -15,6 +15,8 @@ export { collectionTopicRule } from "./topic.js";
 export type { CollectionPartitions, PartitionInput, PartitionResolver } from "./partition.js";
 export { admittedStorage, admitsRow } from "./admission.js";
 export type { CollectionAdmission, CollectionRow, CollectionWrite, CollectionWriteGuard } from "./admission.js";
+export { withHintImages, hintImagesOf } from "./hint-filter.js";
+export type { HintImages, HintRowState } from "./hint-filter.js";
 export type { CollectionStorage, StorageChanges, StorageMetadata, StorageWriteOptions, StorageItemWriteOptions, StorageBatchWriteOptions, StorageSetChange, StorageDeleteChange, StorageClearChange, StorageChangeEvent, StorageChangeBatch, StorageObserver, } from "./storage.js";
 export { MAX_EXPECTED_VERSION_LENGTH, PRECONDITION_NOT_SUPPORTED, VERSION_CONFLICTS_METADATA_KEY, VersionConflictError, asVersionConflictError, isExpectedVersion, preconditionNotSupported, versionConflict, versionConflicts, versionConflictsOf, } from "./precondition.js";
 export type { CurrentItem, VersionConflict, VersionOf } from "./precondition.js";

package/dist/procedures/collection/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/procedures/collection/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EACL,QAAQ,EACR,oBAAoB,EACpB,WAAW,EACX,cAAc,EACd,eAAe,EACf,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,cAAc,CAAC;AAEtB,YAAY,EACV,QAAQ,EACR,cAAc,EACd,QAAQ,EACR,WAAW,EACX,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,eAAe,EACf,SAAS,EACT,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,SAAS,EACT,UAAU,EACV,aAAa,EACb,aAAa,EACb,gBAAgB,GACjB,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAC7D,YAAY,EAAE,2BAA2B,EAAE,6BAA6B,EAAE,MAAM,iBAAiB,CAAC;AAGlG,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAC3E,YAAY,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAG1D,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,eAAe,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEnJ,OAAO,EAAE,6BAA6B,EAAE,MAAM,gBAAgB,CAAC;AAE/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,YAAY,EAAE,oBAAoB,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAG9F,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC5D,YAAY,EAAE,mBAAmB,EAAE,aAAa,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAGhH,YAAY,EACV,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,uBAAuB,EACvB,wBAAwB,EACxB,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,GAChB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,8BAA8B,EAC9B,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,wBAAwB,EACxB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAIjF,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,aAAa,EACb,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,qBAAqB,EACrB,YAAY,EACZ,sBAAsB,EACtB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,oBAAoB,GACrB,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/procedures/collection/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EACL,QAAQ,EACR,oBAAoB,EACpB,WAAW,EACX,cAAc,EACd,eAAe,EACf,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,cAAc,CAAC;AAEtB,YAAY,EACV,QAAQ,EACR,cAAc,EACd,QAAQ,EACR,WAAW,EACX,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,eAAe,EACf,SAAS,EACT,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,SAAS,EACT,UAAU,EACV,aAAa,EACb,aAAa,EACb,gBAAgB,GACjB,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAC7D,YAAY,EAAE,2BAA2B,EAAE,6BAA6B,EAAE,MAAM,iBAAiB,CAAC;AAGlG,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAC3E,YAAY,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAG1D,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,eAAe,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEnJ,OAAO,EAAE,6BAA6B,EAAE,MAAM,gBAAgB,CAAC;AAE/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,YAAY,EAAE,oBAAoB,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAG9F,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC5D,YAAY,EAAE,mBAAmB,EAAE,aAAa,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAEhH,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChE,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAGjE,YAAY,EACV,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,uBAAuB,EACvB,wBAAwB,EACxB,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,GAChB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,8BAA8B,EAC9B,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,wBAAwB,EACxB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAIjF,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,aAAa,EACb,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,qBAAqB,EACrB,YAAY,EACZ,sBAAsB,EACtB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,oBAAoB,GACrB,MAAM,YAAY,CAAC"}

package/dist/procedures/collection/index.js

@@ -17,6 +17,8 @@ export { CollectionTopicCollisionError } from "./partition.js";
 export { collectionTopicRule } from "./topic.js";
 // The rules of the rows of a collection: a filter of the reads and a guard of the writes (roadmap CLI-41)
 export { admittedStorage, admitsRow } from "./admission.js";
+// The images of the rows of a change event, for the row filter of each subscriber (roadmap CLI-78)
+export { withHintImages, hintImagesOf } from "./hint-filter.js";
 // The precondition of the writes: the expected version and VERSION_CONFLICT (roadmap CLI-16)
 export { MAX_EXPECTED_VERSION_LENGTH, PRECONDITION_NOT_SUPPORTED, VERSION_CONFLICTS_METADATA_KEY, VersionConflictError, asVersionConflictError, isExpectedVersion, preconditionNotSupported, versionConflict, versionConflicts, versionConflictsOf, } from "./precondition.js";
 // The query language of the storages: the same JSON on the wire and in query() (roadmap CLI-34: