@lovrozagar/oat 0.1.0 → 0.2.0

package/dist/runtime/checks.js

@@ -389,7 +389,9 @@ const readAfterWrite = {
         const evidence = located.last === null ? [] : [located.last.exchange];
         let detail = `created ${ctx.entityName} ${id} is absent from the list projection`;
         if (ctx.readOp !== undefined) {
-            const item = await ctx.client.get(fillPath(ctx.readOp.path, { ...ctx.scope, ...itemParamFor(ctx, id) }), { headers: ctx.auth() });
+            const item = await ctx.client.get(fillPath(ctx.readOp.path, { ...ctx.scope, ...itemParamFor(ctx, id) }), {
+                headers: ctx.auth(),
+            });
             evidence.push(item);
             if (item.status < 300) {
                 detail =
@@ -425,8 +427,7 @@ const unknownFilterRejected = {
             return;
         const result = await list(ctx, { ...q(ctx, { limit: 100 }), ...unknownField });
         if (result.exchange.status >= 500) {
-            ctx.findings.backend("error.malformed-filter-not-5xx", ctx.entityName, "unknown filter field produces a server error", `filtering on an undeclared field returned ${result.exchange.status}; a rejected input ` +
-                "should be a 4xx", [result.exchange]);
+            ctx.findings.backend("error.malformed-filter-not-5xx", ctx.entityName, "unknown filter field produces a server error", `filtering on an undeclared field returned ${result.exchange.status}; a rejected input ` + "should be a 4xx", [result.exchange]);
             return;
         }
         if (result.exchange.status >= 400)
@@ -440,9 +441,7 @@ const unknownFilterRejected = {
     },
 };
 const equalityFilterSelectsOne = {
-    applicable: (ctx) => filterable(ctx) &&
-        ctx.records.length > 0 &&
-        (ctx.query?.filterable.includes(ctx.identity) ?? false),
+    applicable: (ctx) => filterable(ctx) && ctx.records.length > 0 && (ctx.query?.filterable.includes(ctx.identity) ?? false),
     dependsOn: ["list.read-after-write"],
     id: "filter.equality-selects-exactly-one",
     needs: "a `filter` parameter that accepts the identity field",
@@ -467,8 +466,7 @@ const equalityFilterSelectsOne = {
     },
 };
 const zeroMatchFilter = {
-    applicable: (ctx) => filterable(ctx) &&
-        (ctx.query?.filterable.includes(ctx.identity) ?? false),
+    applicable: (ctx) => filterable(ctx) && (ctx.query?.filterable.includes(ctx.identity) ?? false),
     dependsOn: ["list.read-after-write"],
     id: "filter.zero-match-returns-none",
     needs: "a `filter` parameter that accepts the identity field",
@@ -486,9 +484,7 @@ const zeroMatchFilter = {
     },
 };
 const negationPartitions = {
-    applicable: (ctx) => filterable(ctx) &&
-        ctx.records.length > 1 &&
-        (ctx.query?.filterable.includes(ctx.identity) ?? false),
+    applicable: (ctx) => filterable(ctx) && ctx.records.length > 1 && (ctx.query?.filterable.includes(ctx.identity) ?? false),
     dependsOn: [
         "list.read-after-write",
         /* Partitioning is asserted over field *values*. A backend that drops submitted fields
@@ -529,13 +525,9 @@ const negationPartitions = {
         /* Set algebra only holds over complete sets. A walk that hit the page cap has seen a
          * prefix, and the union would legitimately miss whatever lies beyond it. */
         if (!all.complete || !matching.complete || !complement.complete) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, "the collection is larger than the walk covers, so the union cannot be compared "
-                + "against the whole set");
+            return ctx.findings.unresolved(this.id, ctx.entityName, "the collection is larger than the walk covers, so the union cannot be compared " + "against the whole set");
         }
-        const union = new Set([
-            ...ids(matching.items, ctx.identity),
-            ...ids(complement.items, ctx.identity),
-        ]);
+        const union = new Set([...ids(matching.items, ctx.identity), ...ids(complement.items, ctx.identity)]);
         const expected = new Set(ids(all.items, ctx.identity));
         const overlap = ids(matching.items, ctx.identity).filter((value) => ids(complement.items, ctx.identity).includes(value));
         if (overlap.length > 0) {
@@ -717,8 +709,8 @@ const sortReverseSymmetry = {
          * return opposite *windows* of it — legitimately different sets, and comparing them would
          * report every capped collection as broken. */
         if (!ascending.complete || !descending.complete) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, "the collection is larger than the walk covers, so the two directions return "
-                + "different windows of it rather than the same set reversed");
+            return ctx.findings.unresolved(this.id, ctx.entityName, "the collection is larger than the walk covers, so the two directions return " +
+                "different windows of it rather than the same set reversed");
         }
         const forward = ids(ascending.items, ctx.identity);
         const backward = ids(descending.items, ctx.identity);
@@ -956,9 +948,7 @@ const patchMinimality = {
          * and repeated sampling cannot distinguish those from a write side effect once they
          * settle. A field that moves on the control moved on its own. */
         const control = ctx.records.find((r) => String(r[ctx.identity]) !== id);
-        const controlParams = control === undefined
-            ? undefined
-            : { ...ctx.scope, ...itemParamFor(ctx, String(control[ctx.identity])) };
+        const controlParams = control === undefined ? undefined : { ...ctx.scope, ...itemParamFor(ctx, String(control[ctx.identity])) };
         const controlBefore = controlParams === undefined
             ? undefined
             : await ctx.client.get(fillPath(ctx.readOp.path, controlParams), { headers: ctx.auth() });
@@ -1047,7 +1037,10 @@ function pickWritableStringField(ctx, record) {
     return null;
 }
 const immutableRejected = {
-    applicable: (ctx) => ctx.updateOp !== undefined && ctx.readOp !== undefined && (ctx.updateOp.immutable.length > 0) && ctx.records.length > 0,
+    applicable: (ctx) => ctx.updateOp !== undefined &&
+        ctx.readOp !== undefined &&
+        ctx.updateOp.immutable.length > 0 &&
+        ctx.records.length > 0,
     mutates: true,
     id: "patch.immutable-field-rejected",
     needs: "fields declared immutable via x-immutable",
@@ -1237,7 +1230,9 @@ const denialDoesNotRevealExistence = {
         /* Shaped like a real identifier so the difference under test is existence, not format —
          * a backend may legitimately reject a malformed id differently. */
         const absentId = `${realId}-oat-absent`;
-        const ask = async (id) => ctx.client.get(fillPath(ctx.readOp?.path ?? "", { ...(ctx.altScope ?? ctx.scope), ...itemParamFor(ctx, id) }), { headers: ctx.altAuth?.() ?? {} });
+        const ask = async (id) => ctx.client.get(fillPath(ctx.readOp?.path ?? "", { ...(ctx.altScope ?? ctx.scope), ...itemParamFor(ctx, id) }), {
+            headers: ctx.altAuth?.() ?? {},
+        });
         const existing = await ask(realId);
         const absent = await ask(absentId);
         /* Only a denial pair is meaningful. A 2xx on the existing record is a cross-tenant read,
@@ -1247,10 +1242,10 @@ const denialDoesNotRevealExistence = {
         }
         if (existing.status === absent.status)
             return;
-        ctx.findings.security(this.id, ctx.entityName, "the denial status reveals whether a record exists", `a record belonging to another tenant was refused with ${existing.status}, while an id `
-            + `that does not exist was refused with ${absent.status}. The difference is an oracle: `
-            + "anyone able to guess or enumerate identifiers can learn which ones are real without "
-            + "ever reading one. Both cases must answer identically — conventionally 404.", [existing, absent]);
+        ctx.findings.security(this.id, ctx.entityName, "the denial status reveals whether a record exists", `a record belonging to another tenant was refused with ${existing.status}, while an id ` +
+            `that does not exist was refused with ${absent.status}. The difference is an oracle: ` +
+            "anyone able to guess or enumerate identifiers can learn which ones are real without " +
+            "ever reading one. Both cases must answer identically — conventionally 404.", [existing, absent]);
     },
 };
 /**
@@ -1296,9 +1291,9 @@ const idempotentReplay = {
         const secondId = String((second.responseBody ?? {})[ctx.identity]);
         if (firstId === secondId)
             return;
-        ctx.findings.backend(this.id, ctx.entityName, "replaying a request with the same idempotency key created a second record", `two identical POSTs carrying ${header}: "${key}" produced ${ctx.entityName} ${firstId} `
-            + `and ${secondId}. The header is declared, so clients will retry on timeouts assuming `
-            + "it protects them; every such retry silently duplicates the record.", [first, second]);
+        ctx.findings.backend(this.id, ctx.entityName, "replaying a request with the same idempotency key created a second record", `two identical POSTs carrying ${header}: "${key}" produced ${ctx.entityName} ${firstId} ` +
+            `and ${secondId}. The header is declared, so clients will retry on timeouts assuming ` +
+            "it protects them; every such retry silently duplicates the record.", [first, second]);
     },
 };
 /**
@@ -1315,8 +1310,8 @@ const idempotentReplay = {
  * covered by read-after-write, and re-asserting it here would report one defect twice.
  */
 const declaredInvalidationHappens = {
-    applicable: (ctx) => ctx.createOp !== undefined
-        && ctx.createOp.invalidates.some((route) => ctx.model.byRoute.get(route)?.entity !== ctx.entityName),
+    applicable: (ctx) => ctx.createOp !== undefined &&
+        ctx.createOp.invalidates.some((route) => ctx.model.byRoute.get(route)?.entity !== ctx.entityName),
     dependsOn: ["list.read-after-write", "create.persists-submitted-fields"],
     id: "invalidation.declared-route-changes",
     mutates: true,
@@ -1372,11 +1367,11 @@ const declaredInvalidationHappens = {
                 continue;
             if (JSON.stringify(after.responseBody) !== snapshot)
                 continue;
-            ctx.findings.backend(this.id, ctx.entityName, "a route the document says is invalidated by this write did not change", `creating a ${ctx.entityName} declares x-invalidate on "${probe.op.route}", but that `
-                + "route returned a byte-identical body before and after the write. Either it serves "
-                + "a value derived from this entity and that value is stale — a denormalised counter "
-                + "or a cached projection nobody refreshed — or the declaration is wrong and every "
-                + "client following it is invalidating the wrong cache key.", [created, after]);
+            ctx.findings.backend(this.id, ctx.entityName, "a route the document says is invalidated by this write did not change", `creating a ${ctx.entityName} declares x-invalidate on "${probe.op.route}", but that ` +
+                "route returned a byte-identical body before and after the write. Either it serves " +
+                "a value derived from this entity and that value is stale — a denormalised counter " +
+                "or a cached projection nobody refreshed — or the declaration is wrong and every " +
+                "client following it is invalidating the wrong cache key.", [created, after]);
             return;
         }
     },
@@ -1426,24 +1421,23 @@ const projectionsAgree = {
          * mid-check for reasons no read path is responsible for. Comparing those across
          * projections measures timing, not consistency.
          */
-        const generated = new Set([
-            ...(ctx.createOp?.generated ?? []),
-            ...(ctx.updateOp?.generated ?? []),
-        ]);
-        const field = (ctx.query?.filterable ?? []).find((name) => name !== ctx.identity
-            && !generated.has(name)
-            && (ctx.query?.sortable ?? []).includes(name)
-            && target[name] !== null
-            && target[name] !== undefined
-            && typeof target[name] !== "object");
+        const generated = new Set([...(ctx.createOp?.generated ?? []), ...(ctx.updateOp?.generated ?? [])]);
+        const field = (ctx.query?.filterable ?? []).find((name) => name !== ctx.identity &&
+            !generated.has(name) &&
+            (ctx.query?.sortable ?? []).includes(name) &&
+            target[name] !== null &&
+            target[name] !== undefined &&
+            typeof target[name] !== "object");
         if (field === undefined) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, "no field is filterable, sortable and non-null on the sample record, so no single fact "
-                + "can be traced through every projection");
+            return ctx.findings.unresolved(this.id, ctx.entityName, "no field is filterable, sortable and non-null on the sample record, so no single fact " +
+                "can be traced through every projection");
         }
         const limit = ctx.query?.maxLimit ?? 100;
         const seen = [];
         const record = (result) => result.items.find((item) => String(item[ctx.identity]) === id);
-        const detail = await ctx.client.get(fillPath(ctx.readOp.path, { ...ctx.scope, ...itemParamFor(ctx, id) }), { headers: ctx.auth() });
+        const detail = await ctx.client.get(fillPath(ctx.readOp.path, { ...ctx.scope, ...itemParamFor(ctx, id) }), {
+            headers: ctx.auth(),
+        });
         if (detail.status >= 300) {
             return ctx.findings.unresolved(this.id, ctx.entityName, `the item route returned ${detail.status}, leaving no reference value to compare against`);
         }
@@ -1476,11 +1470,11 @@ const projectionsAgree = {
         }
         const disagreeing = seen.filter((entry) => JSON.stringify(entry.value) !== JSON.stringify(value));
         if (disagreeing.length > 0) {
-            ctx.findings.backend(this.id, ctx.entityName, "the same record carries different values depending on how it is read", `${ctx.entityName} ${id} has "${field}" = ${JSON.stringify(value)} on the record oat `
-                + `created, but ${disagreeing
+            ctx.findings.backend(this.id, ctx.entityName, "the same record carries different values depending on how it is read", `${ctx.entityName} ${id} has "${field}" = ${JSON.stringify(value)} on the record oat ` +
+                `created, but ${disagreeing
                     .map((entry) => `the ${entry.projection} returns ${JSON.stringify(entry.value)}`)
-                    .join(", and ")}. At least one read path is serving something the others are not; `
-                + "a client's view of a record then depends on which route it happened to use.", [detail, plain.exchange]);
+                    .join(", and ")}. At least one read path is serving something the others are not; ` +
+                "a client's view of a record then depends on which route it happened to use.", [detail, plain.exchange]);
             return;
         }
         /* Membership is a projection too: a filter that matches the value must return the record,
@@ -1493,9 +1487,9 @@ const projectionsAgree = {
             return;
         if (record(included) !== undefined)
             return;
-        ctx.findings.backend(this.id, ctx.entityName, "a record is missing from a filter matching its own field value", `${ctx.entityName} ${id} carries "${field}" = ${JSON.stringify(value)} on every read path, `
-            + `yet filtering for exactly that value does not return it. The record and the predicate `
-            + "agree; the index or query that answers the filter does not.", [detail, included.exchange]);
+        ctx.findings.backend(this.id, ctx.entityName, "a record is missing from a filter matching its own field value", `${ctx.entityName} ${id} carries "${field}" = ${JSON.stringify(value)} on every read path, ` +
+            `yet filtering for exactly that value does not return it. The record and the predicate ` +
+            "agree; the index or query that answers the filter does not.", [detail, included.exchange]);
     },
 };
 /**
@@ -1512,10 +1506,7 @@ const projectionsAgree = {
  * A sort is not a predicate, and it must not behave as one.
  */
 const queryAxesCompose = {
-    applicable: (ctx) => filterable(ctx)
-        && conv(ctx).order !== undefined
-        && ctx.records.length > 2
-        && (ctx.query?.sortable.length ?? 0) > 0,
+    applicable: (ctx) => filterable(ctx) && conv(ctx).order !== undefined && ctx.records.length > 2 && (ctx.query?.sortable.length ?? 0) > 0,
     dependsOn: [
         "list.read-after-write",
         /* Each axis has to work alone before "they disagree when combined" means anything. */
@@ -1556,11 +1547,10 @@ const queryAxesCompose = {
             }
         }
         if (field === undefined || target === undefined) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, "no filterable field holds a value shared by several records but not all of them, so "
-                + "no filter can select a proper subset to reorder");
+            return ctx.findings.unresolved(this.id, ctx.entityName, "no filterable field holds a value shared by several records but not all of them, so " +
+                "no filter can select a proper subset to reorder");
         }
-        const sortField = (ctx.query?.sortable ?? []).find((name) => name !== field && name !== ctx.identity)
-            ?? ctx.identity;
+        const sortField = (ctx.query?.sortable ?? []).find((name) => name !== field && name !== ctx.identity) ?? ctx.identity;
         const term = filterTerm(conventions, field, "eq", String(target[field]));
         if (term === null) {
             return ctx.findings.unresolved(this.id, ctx.entityName, `this API's filter grammar cannot express equality on "${field}"`);
@@ -1576,8 +1566,7 @@ const queryAxesCompose = {
             return ctx.findings.unresolved(this.id, ctx.entityName, "combining a filter with a sort was rejected, so the two cannot be compared");
         }
         if (!filtered.complete || !both.complete) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, "the filtered set is larger than the walk covers, so the two runs cannot be compared "
-                + "as whole sets");
+            return ctx.findings.unresolved(this.id, ctx.entityName, "the filtered set is larger than the walk covers, so the two runs cannot be compared " + "as whole sets");
         }
         const alone = new Set(ids(filtered.items, ctx.identity));
         const combined = new Set(ids(both.items, ctx.identity));
@@ -1585,12 +1574,12 @@ const queryAxesCompose = {
         const extra = [...combined].filter((id) => !alone.has(id));
         if (missing.length === 0 && extra.length === 0)
             return;
-        ctx.findings.backend(this.id, ctx.entityName, "adding a sort changes which records a filter returns", `filter on "${field}" alone matched ${alone.size} record(s); the same filter with `
-            + `order=${sortField} desc matched ${combined.size}. `
-            + (missing.length > 0 ? `Dropped: ${missing.slice(0, 3).join(", ")}. ` : "")
-            + (extra.length > 0 ? `Appeared: ${extra.slice(0, 3).join(", ")}. ` : "")
-            + "Ordering must reorder a result, never change its membership — a filter that only "
-            + "holds while unsorted is one an index or query plan is silently dropping.", [filtered.last.exchange, both.last.exchange]);
+        ctx.findings.backend(this.id, ctx.entityName, "adding a sort changes which records a filter returns", `filter on "${field}" alone matched ${alone.size} record(s); the same filter with ` +
+            `order=${sortField} desc matched ${combined.size}. ` +
+            (missing.length > 0 ? `Dropped: ${missing.slice(0, 3).join(", ")}. ` : "") +
+            (extra.length > 0 ? `Appeared: ${extra.slice(0, 3).join(", ")}. ` : "") +
+            "Ordering must reorder a result, never change its membership — a filter that only " +
+            "holds while unsorted is one an index or query plan is silently dropping.", [filtered.last.exchange, both.last.exchange]);
     },
 };
 /**
@@ -1679,12 +1668,12 @@ const filterAndPagingCompose = {
         const skipped = [...clientSide].filter((id) => !returned.has(id));
         if (skipped.length === 0)
             return;
-        ctx.findings.backend(this.id, ctx.entityName, "paging a filtered query skips records that match the filter", `walking the collection at ${pageSize} per page and filtering client-side on `
-            + `"${field}" = ${JSON.stringify(value)} finds ${clientSide.size} record(s); asking the `
-            + `backend for the same filter returns ${returned.size}. Never returned: `
-            + `${skipped.slice(0, 3).join(", ")}. The page window is being computed before the `
-            + "predicate is applied, so matching records fall outside it and are lost — page one "
-            + "looks correct and later pages silently omit data.", [everything.last.exchange, serverSide.last.exchange]);
+        ctx.findings.backend(this.id, ctx.entityName, "paging a filtered query skips records that match the filter", `walking the collection at ${pageSize} per page and filtering client-side on ` +
+            `"${field}" = ${JSON.stringify(value)} finds ${clientSide.size} record(s); asking the ` +
+            `backend for the same filter returns ${returned.size}. Never returned: ` +
+            `${skipped.slice(0, 3).join(", ")}. The page window is being computed before the ` +
+            "predicate is applied, so matching records fall outside it and are lost — page one " +
+            "looks correct and later pages silently omit data.", [everything.last.exchange, serverSide.last.exchange]);
     },
 };
 /**
@@ -1701,9 +1690,7 @@ const filterAndPagingCompose = {
  * so the two sides remain comparable.
  */
 const filterAndSelectCompose = {
-    applicable: (ctx) => filterable(ctx)
-        && conv(ctx).select !== undefined
-        && ctx.records.length > 2,
+    applicable: (ctx) => filterable(ctx) && conv(ctx).select !== undefined && ctx.records.length > 2,
     dependsOn: [
         "list.read-after-write",
         "create.persists-submitted-fields",
@@ -1738,11 +1725,10 @@ const filterAndSelectCompose = {
             }
         }
         if (field === undefined || target === undefined) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, "no filterable field holds a value shared by several records but not all of them, so "
-                + "no filter can select a proper subset to project");
+            return ctx.findings.unresolved(this.id, ctx.entityName, "no filterable field holds a value shared by several records but not all of them, so " +
+                "no filter can select a proper subset to project");
         }
-        const extra = (ctx.query?.selectable ?? []).find((name) => name !== ctx.identity)
-            ?? ctx.identity;
+        const extra = (ctx.query?.selectable ?? []).find((name) => name !== ctx.identity) ?? ctx.identity;
         const projection = selectTerm(conventions, [ctx.identity, extra], ctx.entityName);
         if (projection === null) {
             return ctx.findings.unresolved(this.id, ctx.entityName, "this API's select grammar cannot express a sparse fieldset");
@@ -1757,8 +1743,7 @@ const filterAndSelectCompose = {
             return ctx.findings.unresolved(this.id, ctx.entityName, "combining a filter with a select was rejected, so the two cannot be compared");
         }
         if (!filtered.complete || !both.complete) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, "the filtered set is larger than the walk covers, so the two runs cannot be compared "
-                + "as whole sets");
+            return ctx.findings.unresolved(this.id, ctx.entityName, "the filtered set is larger than the walk covers, so the two runs cannot be compared " + "as whole sets");
         }
         const alone = new Set(ids(filtered.items, ctx.identity));
         const combined = new Set(ids(both.items, ctx.identity));
@@ -1771,13 +1756,13 @@ const filterAndSelectCompose = {
         const extraIds = [...combined].filter((id) => !alone.has(id));
         if (missing.length === 0 && extraIds.length === 0)
             return;
-        ctx.findings.backend(this.id, ctx.entityName, "adding a select changes which records a filter returns", `filter on "${field}" alone matched ${alone.size} record(s); the same filter with `
-            + `select=${[ctx.identity, extra].join(",")} matched ${combined.size}. `
-            + (missing.length > 0 ? `Dropped: ${missing.slice(0, 3).join(", ")}. ` : "")
-            + (extraIds.length > 0 ? `Appeared: ${extraIds.slice(0, 3).join(", ")}. ` : "")
-            + "A projection must change which columns come back, never which rows — a filter "
-            + "that only holds while every column is selected is one a query plan is dropping "
-            + "once it has to name the columns.", [filtered.last.exchange, both.last.exchange]);
+        ctx.findings.backend(this.id, ctx.entityName, "adding a select changes which records a filter returns", `filter on "${field}" alone matched ${alone.size} record(s); the same filter with ` +
+            `select=${[ctx.identity, extra].join(",")} matched ${combined.size}. ` +
+            (missing.length > 0 ? `Dropped: ${missing.slice(0, 3).join(", ")}. ` : "") +
+            (extraIds.length > 0 ? `Appeared: ${extraIds.slice(0, 3).join(", ")}. ` : "") +
+            "A projection must change which columns come back, never which rows — a filter " +
+            "that only holds while every column is selected is one a query plan is dropping " +
+            "once it has to name the columns.", [filtered.last.exchange, both.last.exchange]);
     },
 };
 /**
@@ -1793,10 +1778,10 @@ const filterAndSelectCompose = {
  * intersection. The token is chosen so each axis matches something the other does not.
  */
 const searchAndFilterCompose = {
-    applicable: (ctx) => filterable(ctx)
-        && conv(ctx).search !== undefined
-        && (ctx.query?.searchable.length ?? 0) > 0
-        && ctx.records.length > 2,
+    applicable: (ctx) => filterable(ctx) &&
+        conv(ctx).search !== undefined &&
+        (ctx.query?.searchable.length ?? 0) > 0 &&
+        ctx.records.length > 2,
     dependsOn: [
         "list.read-after-write",
         "create.persists-submitted-fields",
@@ -1849,8 +1834,7 @@ const searchAndFilterCompose = {
                 break;
         }
         if (field === undefined || target === undefined || token === null) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, "no filterable field and search token overlap without nesting, so dropping either "
-                + "axis would be invisible");
+            return ctx.findings.unresolved(this.id, ctx.entityName, "no filterable field and search token overlap without nesting, so dropping either " + "axis would be invisible");
         }
         const term = filterTerm(conventions, field, "eq", String(target[field]));
         if (term === null) {
@@ -1882,13 +1866,13 @@ const searchAndFilterCompose = {
         const extraIds = [...got].filter((id) => !expected.has(id));
         if (missing.length === 0 && extraIds.length === 0)
             return;
-        ctx.findings.backend(this.id, ctx.entityName, "a filter and a search do not compose as their intersection", `filter on "${field}" matched ${filterIds.size}; q=${JSON.stringify(token)} matched `
-            + `${searchIds.size}; both together matched ${got.size} (intersection is `
-            + `${expected.size}). `
-            + (missing.length > 0 ? `Missing: ${missing.slice(0, 3).join(", ")}. ` : "")
-            + (extraIds.length > 0 ? `Extra: ${extraIds.slice(0, 3).join(", ")}. ` : "")
-            + "A structured predicate and a free-text search must narrow each other. When they "
-            + "do not, one of them is being dropped the moment the other is present.", [filtered.last.exchange, searched.last.exchange, both.last.exchange]);
+        ctx.findings.backend(this.id, ctx.entityName, "a filter and a search do not compose as their intersection", `filter on "${field}" matched ${filterIds.size}; q=${JSON.stringify(token)} matched ` +
+            `${searchIds.size}; both together matched ${got.size} (intersection is ` +
+            `${expected.size}). ` +
+            (missing.length > 0 ? `Missing: ${missing.slice(0, 3).join(", ")}. ` : "") +
+            (extraIds.length > 0 ? `Extra: ${extraIds.slice(0, 3).join(", ")}. ` : "") +
+            "A structured predicate and a free-text search must narrow each other. When they " +
+            "do not, one of them is being dropped the moment the other is present.", [filtered.last.exchange, searched.last.exchange, both.last.exchange]);
     },
 };
 /**
@@ -1901,11 +1885,11 @@ const searchAndFilterCompose = {
  * pairs: the filter alone and the filter with both extras must return the same set.
  */
 const filterSortSelectCompose = {
-    applicable: (ctx) => filterable(ctx)
-        && conv(ctx).order !== undefined
-        && conv(ctx).select !== undefined
-        && (ctx.query?.sortable.length ?? 0) > 0
-        && ctx.records.length > 2,
+    applicable: (ctx) => filterable(ctx) &&
+        conv(ctx).order !== undefined &&
+        conv(ctx).select !== undefined &&
+        (ctx.query?.sortable.length ?? 0) > 0 &&
+        ctx.records.length > 2,
     dependsOn: [
         "list.read-after-write",
         "create.persists-submitted-fields",
@@ -1932,8 +1916,7 @@ const filterSortSelectCompose = {
         const term = filterTerm(conventions, field, "eq", String(target[field]));
         const extra = (ctx.query?.selectable ?? []).find((name) => name !== ctx.identity) ?? ctx.identity;
         const projection = selectTerm(conventions, [ctx.identity, extra], ctx.entityName);
-        const sortField = (ctx.query?.sortable ?? []).find((name) => name !== field && name !== ctx.identity)
-            ?? ctx.identity;
+        const sortField = (ctx.query?.sortable ?? []).find((name) => name !== field && name !== ctx.identity) ?? ctx.identity;
         if (term === null || projection === null) {
             return ctx.findings.unresolved(this.id, ctx.entityName, "this API cannot express the filter, the sort or the select together");
         }
@@ -1954,13 +1937,13 @@ const filterSortSelectCompose = {
         const extraIds = [...combined].filter((id) => !alone.has(id));
         if (missing.length === 0 && extraIds.length === 0)
             return;
-        ctx.findings.backend(this.id, ctx.entityName, "adding a sort and a select together changes which records a filter returns", `filter on "${field}" alone matched ${alone.size}; the same filter with `
-            + `order=${sortField} desc and select=${[ctx.identity, extra].join(",")} matched `
-            + `${combined.size}. `
-            + (missing.length > 0 ? `Dropped: ${missing.slice(0, 3).join(", ")}. ` : "")
-            + (extraIds.length > 0 ? `Appeared: ${extraIds.slice(0, 3).join(", ")}. ` : "")
-            + "Each pair composes; the triple must too. A filter that only holds until both a "
-            + "sort and a projection are present is one a three-axis query plan is dropping.", [filtered.last.exchange, triple.last.exchange]);
+        ctx.findings.backend(this.id, ctx.entityName, "adding a sort and a select together changes which records a filter returns", `filter on "${field}" alone matched ${alone.size}; the same filter with ` +
+            `order=${sortField} desc and select=${[ctx.identity, extra].join(",")} matched ` +
+            `${combined.size}. ` +
+            (missing.length > 0 ? `Dropped: ${missing.slice(0, 3).join(", ")}. ` : "") +
+            (extraIds.length > 0 ? `Appeared: ${extraIds.slice(0, 3).join(", ")}. ` : "") +
+            "Each pair composes; the triple must too. A filter that only holds until both a " +
+            "sort and a projection are present is one a three-axis query plan is dropping.", [filtered.last.exchange, triple.last.exchange]);
     },
 };
 /**
@@ -1971,12 +1954,12 @@ const filterSortSelectCompose = {
  * structured predicate. Pairwise, filter+search and filter+sort both hold; together they do not.
  */
 const filterSearchSortCompose = {
-    applicable: (ctx) => filterable(ctx)
-        && conv(ctx).search !== undefined
-        && conv(ctx).order !== undefined
-        && (ctx.query?.searchable.length ?? 0) > 0
-        && (ctx.query?.sortable.length ?? 0) > 0
-        && ctx.records.length > 2,
+    applicable: (ctx) => filterable(ctx) &&
+        conv(ctx).search !== undefined &&
+        conv(ctx).order !== undefined &&
+        (ctx.query?.searchable.length ?? 0) > 0 &&
+        (ctx.query?.sortable.length ?? 0) > 0 &&
+        ctx.records.length > 2,
     dependsOn: [
         "list.read-after-write",
         "create.persists-submitted-fields",
@@ -2002,8 +1985,7 @@ const filterSearchSortCompose = {
         if (term === null) {
             return ctx.findings.unresolved(this.id, ctx.entityName, `this API's filter grammar cannot express equality on "${field}"`);
         }
-        const sortField = (ctx.query?.sortable ?? []).find((name) => name !== field && name !== ctx.identity)
-            ?? ctx.identity;
+        const sortField = (ctx.query?.sortable ?? []).find((name) => name !== field && name !== ctx.identity) ?? ctx.identity;
         const pair = await collectSet(ctx, limit, {
             ...term,
             ...q(ctx, { search: token }),
@@ -2021,11 +2003,11 @@ const filterSearchSortCompose = {
         const extraIds = [...got].filter((id) => !expected.has(id));
         if (missing.length === 0 && extraIds.length === 0)
             return;
-        ctx.findings.backend(this.id, ctx.entityName, "adding a sort changes which records a filter and a search return", `filter on "${field}" with q=${JSON.stringify(token)} matched ${expected.size}; `
-            + `the same request with order=${sortField} desc matched ${got.size}. `
-            + (missing.length > 0 ? `Dropped: ${missing.slice(0, 3).join(", ")}. ` : "")
-            + (extraIds.length > 0 ? `Appeared: ${extraIds.slice(0, 3).join(", ")}. ` : "")
-            + "A sort must reorder the intersection, never change it.", [pair.last.exchange, triple.last.exchange]);
+        ctx.findings.backend(this.id, ctx.entityName, "adding a sort changes which records a filter and a search return", `filter on "${field}" with q=${JSON.stringify(token)} matched ${expected.size}; ` +
+            `the same request with order=${sortField} desc matched ${got.size}. ` +
+            (missing.length > 0 ? `Dropped: ${missing.slice(0, 3).join(", ")}. ` : "") +
+            (extraIds.length > 0 ? `Appeared: ${extraIds.slice(0, 3).join(", ")}. ` : "") +
+            "A sort must reorder the intersection, never change it.", [pair.last.exchange, triple.last.exchange]);
     },
 };
 /**
@@ -2033,11 +2015,11 @@ const filterSearchSortCompose = {
  * intersection of filter and search.
  */
 const filterSearchSelectCompose = {
-    applicable: (ctx) => filterable(ctx)
-        && conv(ctx).search !== undefined
-        && conv(ctx).select !== undefined
-        && (ctx.query?.searchable.length ?? 0) > 0
-        && ctx.records.length > 2,
+    applicable: (ctx) => filterable(ctx) &&
+        conv(ctx).search !== undefined &&
+        conv(ctx).select !== undefined &&
+        (ctx.query?.searchable.length ?? 0) > 0 &&
+        ctx.records.length > 2,
     dependsOn: [
         "list.read-after-write",
         "create.persists-submitted-fields",
@@ -2088,12 +2070,12 @@ const filterSearchSelectCompose = {
         const extraIds = [...got].filter((id) => !expected.has(id));
         if (missing.length === 0 && extraIds.length === 0)
             return;
-        ctx.findings.backend(this.id, ctx.entityName, "adding a select changes which records a filter and a search return", `filter on "${field}" with q=${JSON.stringify(token)} matched ${expected.size}; `
-            + `the same request with select=${[ctx.identity, extra].join(",")} matched ${got.size}. `
-            + (missing.length > 0 ? `Dropped: ${missing.slice(0, 3).join(", ")}. ` : "")
-            + (extraIds.length > 0 ? `Appeared: ${extraIds.slice(0, 3).join(", ")}. ` : "")
-            + "A projection must change columns, never the intersection a filter and a search "
-            + "already agreed on.", [pair.last.exchange, triple.last.exchange]);
+        ctx.findings.backend(this.id, ctx.entityName, "adding a select changes which records a filter and a search return", `filter on "${field}" with q=${JSON.stringify(token)} matched ${expected.size}; ` +
+            `the same request with select=${[ctx.identity, extra].join(",")} matched ${got.size}. ` +
+            (missing.length > 0 ? `Dropped: ${missing.slice(0, 3).join(", ")}. ` : "") +
+            (extraIds.length > 0 ? `Appeared: ${extraIds.slice(0, 3).join(", ")}. ` : "") +
+            "A projection must change columns, never the intersection a filter and a search " +
+            "already agreed on.", [pair.last.exchange, triple.last.exchange]);
     },
 };
 /** A filterable field whose value selects a proper subset of the cohort. */
@@ -2156,7 +2138,9 @@ function overlappingSearchToken(ctx, filterIds) {
         const needle = token.toLowerCase();
         const hit = new Set();
         for (const record of ctx.records) {
-            if (fields.some((field) => String(record[field] ?? "").toLowerCase().includes(needle))) {
+            if (fields.some((field) => String(record[field] ?? "")
+                .toLowerCase()
+                .includes(needle))) {
                 hit.add(String(record[ctx.identity]));
             }
         }
@@ -2203,10 +2187,10 @@ function overlappingSearchToken(ctx, filterIds) {
  * stands down, which is right when the field was merely inferred and wrong when it was declared.
  */
 const declaredFilterableWorks = {
-    applicable: (ctx) => conv(ctx).filter !== undefined
-        && ctx.query?.source === "tag"
-        && (ctx.query?.filterable.length ?? 0) > 0
-        && ctx.records.length > 0,
+    applicable: (ctx) => conv(ctx).filter !== undefined &&
+        ctx.query?.source === "tag" &&
+        (ctx.query?.filterable.length ?? 0) > 0 &&
+        ctx.records.length > 0,
     dependsOn: [
         "list.read-after-write",
         /* The evidence is a *rejection*. A backend that silently drops unknown filter fields never
@@ -2244,11 +2228,11 @@ const declaredFilterableWorks = {
         }
         if (rejected.length === 0)
             return;
-        ctx.findings.spec(this.id, ctx.entityName, "the document declares a filter the backend does not accept", `x-query lists ${rejected.length} field(s) as filterable that the backend rejects: `
-            + `${rejected.map((r) => `${r.field} (${r.status})`).join(", ")}. `
-            + "Every client generated from this document will offer a filter that fails at runtime. "
-            + "Either the column needs an index or the declaration needs removing — but the "
-            + "document and the backend currently disagree about what this API can do.", []);
+        ctx.findings.spec(this.id, ctx.entityName, "the document declares a filter the backend does not accept", `x-query lists ${rejected.length} field(s) as filterable that the backend rejects: ` +
+            `${rejected.map((r) => `${r.field} (${r.status})`).join(", ")}. ` +
+            "Every client generated from this document will offer a filter that fails at runtime. " +
+            "Either the column needs an index or the declaration needs removing — but the " +
+            "document and the backend currently disagree about what this API can do.", []);
     },
 };
 /**
@@ -2257,10 +2241,10 @@ const declaredFilterableWorks = {
  * the same way a rejected filter does.
  */
 const declaredSortableWorks = {
-    applicable: (ctx) => conv(ctx).order !== undefined
-        && ctx.query?.source === "tag"
-        && (ctx.query?.sortable.length ?? 0) > 0
-        && ctx.records.length > 0,
+    applicable: (ctx) => conv(ctx).order !== undefined &&
+        ctx.query?.source === "tag" &&
+        (ctx.query?.sortable.length ?? 0) > 0 &&
+        ctx.records.length > 0,
     dependsOn: [
         "list.read-after-write",
         /* ERROR_500_ON_BAD_FILTER, despite its name, turns *any* SqlError the reference throws
@@ -2296,11 +2280,11 @@ const declaredSortableWorks = {
         }
         if (rejected.length === 0)
             return;
-        ctx.findings.spec(this.id, ctx.entityName, "the document declares a sort field the backend does not accept", `x-query lists ${rejected.length} field(s) as sortable that the backend rejects: `
-            + `${rejected.map((r) => `${r.field} (${r.status})`).join(", ")}. `
-            + "Every client generated from this document will offer an order value that fails at "
-            + "runtime. Either the column needs an index or the declaration needs removing — but "
-            + "the document and the backend currently disagree about what this API can do.", []);
+        ctx.findings.spec(this.id, ctx.entityName, "the document declares a sort field the backend does not accept", `x-query lists ${rejected.length} field(s) as sortable that the backend rejects: ` +
+            `${rejected.map((r) => `${r.field} (${r.status})`).join(", ")}. ` +
+            "Every client generated from this document will offer an order value that fails at " +
+            "runtime. Either the column needs an index or the declaration needs removing — but " +
+            "the document and the backend currently disagree about what this API can do.", []);
     },
 };
 /**
@@ -2309,10 +2293,10 @@ const declaredSortableWorks = {
  * client generated from the document exactly the same way a rejected filter or sort does.
  */
 const declaredSelectableWorks = {
-    applicable: (ctx) => conv(ctx).select !== undefined
-        && ctx.query?.source === "tag"
-        && (ctx.query?.selectable.length ?? 0) > 0
-        && ctx.records.length > 0,
+    applicable: (ctx) => conv(ctx).select !== undefined &&
+        ctx.query?.source === "tag" &&
+        (ctx.query?.selectable.length ?? 0) > 0 &&
+        ctx.records.length > 0,
     dependsOn: [
         "list.read-after-write",
         /* Same masking risk as the filter and sort overclaim checks: ERROR_500_ON_BAD_FILTER turns
@@ -2348,12 +2332,12 @@ const declaredSelectableWorks = {
         }
         if (rejected.length === 0)
             return;
-        ctx.findings.spec(this.id, ctx.entityName, "the document declares a select field the backend does not accept", `x-query lists ${rejected.length} field(s) as selectable that the backend rejects: `
-            + `${rejected.map((r) => `${r.field} (${r.status})`).join(", ")}. `
-            + "Every client generated from this document will offer a sparse fieldset that fails at "
-            + "runtime. Either the field needs to stay projectable or the declaration needs "
-            + "removing — but the document and the backend currently disagree about what this API "
-            + "can do.", []);
+        ctx.findings.spec(this.id, ctx.entityName, "the document declares a select field the backend does not accept", `x-query lists ${rejected.length} field(s) as selectable that the backend rejects: ` +
+            `${rejected.map((r) => `${r.field} (${r.status})`).join(", ")}. ` +
+            "Every client generated from this document will offer a sparse fieldset that fails at " +
+            "runtime. Either the field needs to stay projectable or the declaration needs " +
+            "removing — but the document and the backend currently disagree about what this API " +
+            "can do.", []);
     },
 };
 const crossTenantItemRead = {
@@ -2398,10 +2382,7 @@ const crossTenantItemRead = {
     },
 };
 const crossTenantFilterBypass = {
-    applicable: (ctx) => ctx.altAuth !== undefined &&
-        ctx.altScope !== undefined &&
-        filterable(ctx) &&
-        ctx.records.length > 0,
+    applicable: (ctx) => ctx.altAuth !== undefined && ctx.altScope !== undefined && filterable(ctx) && ctx.records.length > 0,
     /* The probe filters, so anything that stops a filter from selecting over the whole collection
      * hides the very record whose visibility is in question — a leak that cannot be observed is
      * not a leak that can be reported. */
@@ -2498,7 +2479,10 @@ const rankIsMonotonic = {
     },
 };
 function pointerValue(body, pointer) {
-    const path = pointer.replace(/^\$\.?/, "").split(".").filter(Boolean);
+    const path = pointer
+        .replace(/^\$\.?/, "")
+        .split(".")
+        .filter(Boolean);
     let node = body;
     for (const segment of path) {
         if (node === null || typeof node !== "object")
@@ -2514,12 +2498,12 @@ function pointerValue(body, pointer) {
  * at the same check — the timeline is the property.
  */
 const inviteGrantsThenRevokes = {
-    applicable: (ctx) => ctx.invite !== null
-        && ctx.readOp !== undefined
-        && ctx.records.length > 0
-        && ctx.actors.some((actor) => actor.inviteAs !== undefined
-            && ctx.actors[0] !== undefined
-            && !sameTenantScope(actor.roots, ctx.actors[0].roots)),
+    applicable: (ctx) => ctx.invite !== null &&
+        ctx.readOp !== undefined &&
+        ctx.records.length > 0 &&
+        ctx.actors.some((actor) => actor.inviteAs !== undefined &&
+            ctx.actors[0] !== undefined &&
+            !sameTenantScope(actor.roots, ctx.actors[0].roots)),
     dependsOn: ["list.read-after-write", "tenant.item-not-readable-cross-tenant"],
     id: "auth.invite-grants-then-revokes",
     needs: "x-invite naming invite/accept/revoke, a peer principal with inviteAs, and an item route",
@@ -2569,7 +2553,9 @@ const inviteGrantsThenRevokes = {
         if (token === undefined) {
             return ctx.findings.unresolved(this.id, ctx.entityName, `invite response has no token at ${spec.tokenPointer}`);
         }
-        const accepted = await ctx.client.request(acceptOp.method, fillPath(acceptOp.path, { token }), { headers: delegate.headers() });
+        const accepted = await ctx.client.request(acceptOp.method, fillPath(acceptOp.path, { token }), {
+            headers: delegate.headers(),
+        });
         if (accepted.status >= 300) {
             return ctx.findings.unresolved(this.id, ctx.entityName, `accept returned ${accepted.status}`);
         }
@@ -2683,7 +2669,10 @@ const orderChangesResult = {
         if (JSON.stringify(values) === JSON.stringify(sorted))
             return;
         ctx.findings.backend(this.id, ctx.entityName, "order is accepted but the result is not sorted", `order=${field}.asc returned records whose "${field}" values are not ascending: ` +
-            `${values.slice(0, 5).map((v) => JSON.stringify(v)).join(", ")}. A sort parameter the ` +
+            `${values
+                .slice(0, 5)
+                .map((v) => JSON.stringify(v))
+                .join(", ")}. A sort parameter the ` +
             "backend ignores silently gives every caller arbitrary ordering.", [ascending.exchange]);
     },
 };
@@ -2699,9 +2688,7 @@ function compareValues(a, b) {
     return as < bs ? -1 : as > bs ? 1 : 0;
 }
 const searchNarrowsResult = {
-    applicable: (ctx) => conv(ctx).search !== undefined &&
-        (ctx.query?.searchable.length ?? 0) > 0 &&
-        ctx.records.length > 2,
+    applicable: (ctx) => conv(ctx).search !== undefined && (ctx.query?.searchable.length ?? 0) > 0 && ctx.records.length > 2,
     dependsOn: ["list.read-after-write"],
     id: "search.q-narrows-result",
     needs: "a free-text `q` parameter and declared searchable fields",
@@ -2907,8 +2894,8 @@ const successSchemaHonoured = {
         if (exchange === undefined)
             return;
         if (!validator.documents(raw, exchange.status)) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, `create returned ${exchange.status}, which the document declares no schema for — `
-                + "there is nothing to validate the body against");
+            return ctx.findings.unresolved(this.id, ctx.entityName, `create returned ${exchange.status}, which the document declares no schema for — ` +
+                "there is nothing to validate the body against");
         }
         const result = validator.validate(createOp.operationId, raw, exchange.status, exchange.responseBody);
         if (result.ok)
@@ -2947,9 +2934,7 @@ function findConstrained(schema, predicate) {
             return { name, schema: raw };
         const union = raw.oneOf ?? raw.anyOf;
         if (Array.isArray(union)) {
-            const branch = union.find((candidate) => candidate !== null &&
-                typeof candidate === "object" &&
-                predicate(candidate));
+            const branch = union.find((candidate) => candidate !== null && typeof candidate === "object" && predicate(candidate));
             if (branch !== undefined)
                 return { name, schema: branch };
         }
@@ -2977,9 +2962,7 @@ function findConstrained(schema, predicate) {
  * subset rather than an error, which is why it survives in production.
  */
 const numericComparisonIsNumeric = {
-    applicable: (ctx) => filterable(ctx) &&
-        numericFilterField(ctx) !== null &&
-        ctx.records.length > 2,
+    applicable: (ctx) => filterable(ctx) && numericFilterField(ctx) !== null && ctx.records.length > 2,
     dependsOn: ["list.read-after-write", "filter.unknown-field-rejected"],
     id: "filter.numeric-comparison-is-numeric",
     needs: "a `filter` parameter and a numeric field",
@@ -2987,9 +2970,7 @@ const numericComparisonIsNumeric = {
         const field = numericFilterField(ctx);
         if (field === null)
             return;
-        const values = ctx.records
-            .map((r) => r[field])
-            .filter((v) => typeof v === "number");
+        const values = ctx.records.map((r) => r[field]).filter((v) => typeof v === "number");
         if (values.length < 3)
             return;
         /* A threshold that partitions the cohort, chosen so the lexical and numeric answers
@@ -3072,8 +3053,7 @@ const noLostUpdate = {
         const params = { ...ctx.scope, ...itemParamFor(ctx, id) };
         const before = await ctx.client.get(fillPath(ctx.readOp.path, params), { headers: ctx.auth() });
         if (before.status >= 300) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, `reading the record back returned ${before.status}, so there was no baseline to race `
-                + "against");
+            return ctx.findings.unresolved(this.id, ctx.entityName, `reading the record back returned ${before.status}, so there was no baseline to race ` + "against");
         }
         const original = (before.responseBody ?? {});
         /* Two distinct writable string fields, so the writes cannot legitimately clobber each
@@ -3081,8 +3061,8 @@ const noLostUpdate = {
         const fields = writableStringFields(ctx, original).slice(0, 2);
         const [first, second] = fields;
         if (first === undefined || second === undefined) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, `only ${fields.length} writable string field(s) are present on the record; two are `
-                + "needed so the concurrent writes cannot legitimately clobber each other");
+            return ctx.findings.unresolved(this.id, ctx.entityName, `only ${fields.length} writable string field(s) are present on the record; two are ` +
+                "needed so the concurrent writes cannot legitimately clobber each other");
         }
         const path = fillPath(ctx.updateOp.path, params);
         const [firstWrite, secondWrite] = await Promise.all([
@@ -3096,8 +3076,8 @@ const noLostUpdate = {
             }),
         ]);
         if (firstWrite.status >= 300 || secondWrite.status >= 300) {
-            return ctx.findings.unresolved(this.id, ctx.entityName, `a concurrent PATCH was rejected (${firstWrite.status}, ${secondWrite.status}), so no `
-                + "race actually took place");
+            return ctx.findings.unresolved(this.id, ctx.entityName, `a concurrent PATCH was rejected (${firstWrite.status}, ${secondWrite.status}), so no ` +
+                "race actually took place");
         }
         const after = await ctx.client.get(fillPath(ctx.readOp.path, params), { headers: ctx.auth() });
         if (after.status >= 300) {
@@ -3201,11 +3181,7 @@ const declaredEffectsOccur = {
                 const delta = after.ids.length - before.ids.length;
                 const added = after.ids.filter((id) => !before.ids.includes(id));
                 const removed = before.ids.filter((id) => !after.ids.includes(id));
-                const wanted = effect.op === "create" || effect.op === "append"
-                    ? expected
-                    : effect.op === "delete"
-                        ? -expected
-                        : 0;
+                const wanted = effect.op === "create" || effect.op === "append" ? expected : effect.op === "delete" ? -expected : 0;
                 if (effect.op === "create" || effect.op === "append") {
                     if (delta === wanted && added.length === expected)
                         continue;
@@ -3259,9 +3235,7 @@ const asyncReachesTerminalState = {
             const spec = op.async;
             if (spec === null)
                 continue;
-            const body = op.hasRequestBody
-                ? validBody(ctx, requestSchemaOf(ctx, op) ?? {})
-                : undefined;
+            const body = op.hasRequestBody ? validBody(ctx, requestSchemaOf(ctx, op) ?? {}) : undefined;
             const start = await ctx.client.request(op.method, fillPath(op.path, ctx.scope), {
                 headers: ctx.auth(),
                 ...(body === undefined ? {} : { body }),
@@ -3311,7 +3285,10 @@ const asyncReceiptIsResolvable = {
             if (started === undefined)
                 continue;
             const body = started.responseBody;
-            const path = spec.idFrom.replace(/^\$\.?/, "").split(".").filter(Boolean);
+            const path = spec.idFrom
+                .replace(/^\$\.?/, "")
+                .split(".")
+                .filter(Boolean);
             let node = body;
             for (const segment of path) {
                 if (node === null || typeof node !== "object") {