@owlmeans/server-planning 0.1.18-rc.16 → 0.1.18-rc.17

package/README.md

@@ -10,7 +10,7 @@ the `@owlmeans/server-planning/store` subpath.
 ## Installation
 
 ```sh
-bun add @owlmeans/server-planning@^0.1.18-rc.16 @owlmeans/planning@^0.1.18-rc.14 ajv
+bun add @owlmeans/server-planning@^0.1.18-rc.17 @owlmeans/planning@^0.1.18-rc.14 ajv
 ```
 
 ## Concepts

package/agent-meta/manifest.json

@@ -1,8 +1,8 @@
 {
   "schemaVersion": 2,
   "package": "@owlmeans/server-planning",
-  "version": "0.1.18-rc.16",
-  "generatedAt": "2026-10-01T23:27:48.721Z",
+  "version": "0.1.18-rc.17",
+  "generatedAt": "2026-10-02T19:07:09.538Z",
   "canonicalRepo": "https://github.com/owlmeans/common",
   "entries": [
     {

package/agent-meta/skills/server-planning/SKILL.md

@@ -8,7 +8,7 @@ user-invocable: false
 # @owlmeans/server-planning
 
 **Layer:** Server
-**Install:** `"@owlmeans/server-planning": "^0.1.18-rc.16"` in `dependencies` (`ajv` is a peer)
+**Install:** `"@owlmeans/server-planning": "^0.1.18-rc.17"` in `dependencies` (`ajv` is a peer)
 
 The general implementation of `@owlmeans/planning`: the planning service (a plugin host), the
 scoped facade, the executor every write goes through, the in-memory reference store, the commit
@@ -31,7 +31,7 @@ reuses the `./store` subpath (`foldPending`, `makeCommitHub`) without pulling fa
 | `PlanningAccessResolver`, `PlanningAccess`, `PlanningAccessGrants`, `PlanningGrant` | The optional access decision a hosting app supplies |
 | `listCards` … `executePlanning`, `getCommit`, `watchCommits`, `listSchemas`, `defineSchemas`, `applySchemaRequest` | The handlers, to bind one by hand |
 | `scopeOf(req, extra?)`, `accessScopeOf(req, access, extra?)`, `handlerScopeOf`, `assertGranted`, `actorOf(req)`, `concealed(run)`, `clampSeconds` | Scope and security helpers |
-| `makeDefinitions(runtime, facade)`, `makeSchemaViews(opts)`, `projectCriteriaOf(projects)` | Data-defined schemas and the project narrowing |
+| `makeDefinitions(runtime, facade)`, `makeSchemaViews(opts)`, `projectCriteriaOf(projects, through?)` | Data-defined schemas and the project narrowing |
 | `makeProjectionProcessor(ctx, opts?)`, `planningQueueHooks(ctx, opts?)` | A generic projection job body and its `onJobDead` |
 | `./store`: `makeMemoryPlanningStore`, `foldPending`, `failPending`, `revisionsFromLog`, `commitEventOf`, `makeCommitHub`, `makeCompositeStore`, `wantsSpecifications` | What stores are built from |
 | `./conformance`: `planningConformance`, `conformanceCasesFor`, `planningConformancePlugin`, `conformanceClock`, `ConformanceFailure` | The store conformance suite, runner-agnostic |
@@ -293,7 +293,8 @@ mapping external records (`mappers`) belongs to that plugin's own store adapter.
   `unset` names `createdBy` — an update can never re-own a card).
 - The organization of a scope is the one the request ACTS IN. Behind the integrated IAM
   (`@owlmeans/server-iam`) that is the session's acting organization, attached to the request by the
-  OIDC guard, so `requireEntityKey(req)` is the right tenant key for a product whose people belong
+  OIDC guard and keyed by its frozen `entityKey` (stable across renames), so `requireEntityKey(req)`
+  is the right tenant key for a product whose people belong
   to several organizations — and, for a product with one shared organization (every person acts in
   the application's own), the same key for everybody. Take it from the request in the handler and
   pass it down; never read it from the context or from a body.
@@ -309,12 +310,17 @@ decision per request; a throw is the request's answer (an `AuthForbidden` answer
 
 - `entityId` is the resolver's — never the token's, never `opts.scope`'s.
 - `projects` becomes `PlanningScope.projects`, which the server facade enforces everywhere: the
-  projects themselves and every card whose `parents` name one are visible (a specification
-  through its parent card); anything else reads as absent (`WorkcardNotFound`, `null`, an empty
-  list), a create under an invisible parent is `ParentNotFound` (the executor's own parent load),
-  lists, counts and summaries are AND'd with `projectCriteriaOf`, links and transitions are
-  filtered by `project` (and post-filtered, for a store that ignores the field), commit
-  subscriptions drop events outside the set and a status or wait refuses them.
+  projects themselves and every card whose `parents` name one are visible, and so is a
+  specification whose parent card is (its `parents` hold only that card); anything else reads as
+  absent (`WorkcardNotFound`, `null`, an empty list), a create under an invisible parent is
+  `ParentNotFound` (the executor's own parent load), lists, counts and summaries are AND'd with
+  `projectCriteriaOf(projects, through)`, links and transitions are filtered by `project` (and
+  post-filtered, for a store that ignores the field), commit subscriptions drop events outside the
+  set and a status or wait refuses them.
+- A narrowed list or count admits exactly the cards a single read admits. When its criteria ask
+  for specifications (`wantsSpecifications`) the facade resolves `through` — the parent cards a
+  specification is seen through — with ONE read per call: the query's `parent` loaded, or else the
+  ids of the projects' own cards. A summary counts no specification and pays nothing extra.
 - A person who may see only SOME projects of their organization (a lending library's member given
   one branch) is expressed here: the resolver answers the project ids the person's grants list as
   `projects`, and omits the key when a grant covers every project — never a hand-written filter in

package/build/facade.d.ts

@@ -2,10 +2,12 @@ import type { PlanningFacade, PlanningScope, Workcard } from '@owlmeans/planning
 import type { Criteria } from '@owlmeans/resource';
 import type { PlanningRuntime } from './service.js';
 /**
- * The criteria a scope narrowed to `projects` adds to every card read: the projects themselves and
- * every card whose `parents` name one of them.
+ * The criteria a scope narrowed to `projects` adds to every card list, count and summary: the
+ * projects themselves, every card whose `parents` name one of them, and the specifications whose
+ * parent card is one of `through` — the cards of those projects a specification is seen through,
+ * exactly as a single read sees it (a specification's `parents` hold only its own card).
  */
-export declare const projectCriteriaOf: (projects: readonly string[]) => Criteria<Workcard>;
+export declare const projectCriteriaOf: (projects: readonly string[], through?: readonly string[]) => Criteria<Workcard>;
 /**
  * The scoped facade over the service's stores.
  *
@@ -14,9 +16,12 @@ export declare const projectCriteriaOf: (projects: readonly string[]) => Criteri
  * `WorkcardNotFound`, exactly as for an id that never existed. Reads go through the composite
  * store (the default store plus the stores plugins own); writes go through the executor.
  *
- * A scope naming `projects` sees those projects and the cards whose `parents` name one of them (a
- * card's specification through its card); everything else reads as absent, lists are narrowed by
- * an AND'd criteria, and commit events and transitions outside the set are dropped or refused.
+ * A scope naming `projects` sees those projects, the cards whose `parents` name one of them, and a
+ * specification whose parent card is one of those (a card's specification through its card);
+ * everything else reads as absent. Lists, counts and summaries are narrowed by an AND'd criteria
+ * that admits the same cards a single read does — the parent cards a specification is seen through
+ * are resolved once per call ({@link projectCriteriaOf}) — and commit events and transitions
+ * outside the set are dropped or refused.
  *
  * `definitions` is present when the default store holds data-defined schemas; a model is then
  * built over the registry of the card's own project.

package/build/facade.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"facade.d.ts","sourceRoot":"","sources":["../src/facade.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACiB,cAAc,EAAE,aAAa,EACxD,QAAQ,EACT,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAGlD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAGnD;;;GAGG;AACH,eAAO,MAAM,iBAAiB,aAAc,SAAS,MAAM,EAAE,KAAG,QAAQ,CAAC,QAAQ,CAEzD,CAAA;AAExB;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,eAAe,YAAa,eAAe,SAAS,aAAa,KAAG,cAmNhF,CAAA"}
+{"version":3,"file":"facade.d.ts","sourceRoot":"","sources":["../src/facade.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACiB,cAAc,EAAE,aAAa,EACxD,QAAQ,EACT,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAGlD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAInD;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,aAAc,SAAS,MAAM,EAAE,YAAW,SAAS,MAAM,EAAE,KAAQ,QAAQ,CAAC,QAAQ,CAM1F,CAAA;AAExB;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,eAAe,YAAa,eAAe,SAAS,aAAa,KAAG,cA+OhF,CAAA"}

package/build/facade.js

@@ -1,12 +1,19 @@
 import { criteriaOf, currentSpecification, isProject, isSpecification, linkWhereOf, listOptionsOf, modelOf, projectOf, PlanningUnsupported, specCriteriaOf, transitionWhereOf, WorkcardKind, WorkcardNotFound, } from '@owlmeans/planning';
 import { makeDefinitions } from './definitions.js';
 import { executeTransition } from './executor.js';
+import { wantsSpecifications } from './store/memory.js';
 /**
- * The criteria a scope narrowed to `projects` adds to every card read: the projects themselves and
- * every card whose `parents` name one of them.
+ * The criteria a scope narrowed to `projects` adds to every card list, count and summary: the
+ * projects themselves, every card whose `parents` name one of them, and the specifications whose
+ * parent card is one of `through` — the cards of those projects a specification is seen through,
+ * exactly as a single read sees it (a specification's `parents` hold only its own card).
  */
-export const projectCriteriaOf = (projects) => ({
-    $or: [{ id: { $in: [...projects] } }, { parents: { $overlaps: [...projects] } }],
+export const projectCriteriaOf = (projects, through = []) => ({
+    $or: [
+        { id: { $in: [...projects] } },
+        { parents: { $overlaps: [...projects] } },
+        ...(through.length > 0 ? [{ kind: WorkcardKind.Specification, parent: { $in: [...through] } }] : []),
+    ],
 });
 /**
  * The scoped facade over the service's stores.
@@ -16,9 +23,12 @@ export const projectCriteriaOf = (projects) => ({
  * `WorkcardNotFound`, exactly as for an id that never existed. Reads go through the composite
  * store (the default store plus the stores plugins own); writes go through the executor.
  *
- * A scope naming `projects` sees those projects and the cards whose `parents` name one of them (a
- * card's specification through its card); everything else reads as absent, lists are narrowed by
- * an AND'd criteria, and commit events and transitions outside the set are dropped or refused.
+ * A scope naming `projects` sees those projects, the cards whose `parents` name one of them, and a
+ * specification whose parent card is one of those (a card's specification through its card);
+ * everything else reads as absent. Lists, counts and summaries are narrowed by an AND'd criteria
+ * that admits the same cards a single read does — the parent cards a specification is seen through
+ * are resolved once per call ({@link projectCriteriaOf}) — and commit events and transitions
+ * outside the set are dropped or refused.
  *
  * `definitions` is present when the default store holds data-defined schemas; a model is then
  * built over the registry of the card's own project.
@@ -42,9 +52,35 @@ export const makeStoreFacade = (runtime, scope) => {
         }
         return null;
     };
-    const narrow = (where) => projects == null
+    /**
+     * The cards a narrowed list or count may see specifications THROUGH — what {@link visible} admits
+     * one by: its parent card in the scope's projects. One read per call, and only for criteria that
+     * ask for specifications at all (`wantsSpecifications`, the rule every store routes a list by): the
+     * parent the query names, or else the projects' own cards. A summary counts no specification.
+     */
+    const throughOf = async (where, parent) => {
+        if (projects == null || projects.length === 0 || !wantsSpecifications(where)) {
+            return [];
+        }
+        if (parent != null) {
+            const card = mine(await reader().cards.get(parent, entityId));
+            return card != null && inProjects(card) ? [parent] : [];
+        }
+        const listed = await reader().cards.list({ entityId, parents: { $overlaps: projects } }, { size: 0 });
+        // A project's own specifications are matched by their `parents` already.
+        return listed.items.filter(card => card.id != null && !projects.includes(card.id) && inProjects(card)).map(card => card.id);
+    };
+    /** A narrowed list's or count's criteria — `through` as {@link throughOf} resolved it. */
+    const narrowed = async (query) => {
+        const where = criteriaOf(query, scope);
+        return narrow(where, await throughOf(where, query?.parent));
+    };
+    const narrow = (where, through = []) => projects == null
         ? where
-        : { ...where, $and: [...(where.$and ?? []), projectCriteriaOf(projects)] };
+        : {
+            ...where,
+            $and: [...(where.$and ?? []), projectCriteriaOf(projects, through)],
+        };
     const projectVisible = (project) => projects == null || (project != null && projects.includes(project));
     const commitSource = () => {
         const commits = reader().commits;
@@ -87,8 +123,8 @@ export const makeStoreFacade = (runtime, scope) => {
                 }
                 return card;
             },
-            list: async (query) => await reader().cards.list(narrow(criteriaOf(query, scope)), listOptionsOf(query)),
-            count: async (query) => await reader().cards.count(narrow(criteriaOf(query, scope))),
+            list: async (query) => await reader().cards.list(await narrowed(query), listOptionsOf(query)),
+            count: async (query) => await reader().cards.count(await narrowed(query)),
             summary: async (parents, query) => parents.length === 0
                 ? {}
                 : await reader().cards.summary(parents, narrow(criteriaOf({ kind: query?.kind, type: query?.type }, scope))),

package/build/facade.js.map

@@ -1 +1 @@
-{"version":3,"file":"facade.js","sourceRoot":"","sources":["../src/facade.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EAAE,oBAAoB,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS,EAC5G,mBAAmB,EAAE,cAAc,EAAE,iBAAiB,EAAE,YAAY,EAAE,gBAAgB,GACvF,MAAM,oBAAoB,CAAA;AAM3B,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAIjD;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,QAA2B,EAAsB,EAAE,CAAC,CAAC;IACrF,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,CAAC;CACjF,CAAuB,CAAA;AAExB;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAwB,EAAE,KAAoB,EAAkB,EAAE;IAChG,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAA;IAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAClF,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,CAAA;IACrC,MAAM,IAAI,GAAG,CAAiC,MAA4B,EAAY,EAAE,CACtF,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;IAEhE,MAAM,UAAU,GAAG,CAAC,IAAc,EAAW,EAAE,CAAC,QAAQ,IAAI,IAAI;WAC3D,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;WAC/C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;IAE3D,2EAA2E;IAC3E,MAAM,OAAO,GAAG,KAAK,EAAE,IAAqB,EAA4B,EAAE;QACxE,IAAI,IAAI,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;YACpE,OAAO,MAAM,IAAI,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;QAC3D,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC,CAAA;IAED,MAAM,MAAM,GAAG,CAAC,KAAyB,EAAsB,EAAE,CAAC,QAAQ,IAAI,IAAI;QAChF,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAE,KAAyC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,EAAwB,CAAA;IAEvI,MAAM,cAAc,GAAG,CAAC,OAAuB,EAAW,EAAE,CAC1D,QAAQ,IAAI,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;IAErE,MAAM,YAAY,GAAG,GAAiB,EAAE;QACtC,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAA;QAChC,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAmB,CAAC,SAAS,CAAC,CAAA;QAC1C,CAAC;QACD,OAAO,OAAO,CAAA;IAChB,CAAC,CAAA;IAED,8GAA8G;IAC9G,MAAM,gBAAgB,GAAG,KAAK,EAAE,UAAkB,EAAiB,EAAE;QACnE,MAAM,GAAG,GAAG,MAAM,MAAM,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,UAAU,CAAC,CAAA;QACvD,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;YAChB,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9D,MAAM,IAAI,gBAAgB,CAAC,cAAc,UAAU,EAAE,CAAC,CAAA;YACxD,CAAC;YACD,OAAM;QACR,CAAC;QACD,MAAM,QAAQ,GAAI,MAAM,EAAE,CAAC,OAA0C,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,CAAA;QAC3F,IAAI,QAAQ,IAAI,IAAI,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5F,MAAM,IAAI,gBAAgB,CAAC,cAAc,UAAU,EAAE,CAAC,CAAA;QACxD,CAAC;IACH,CAAC,CAAA;IAED,6DAA6D;IAC7D,MAAM,UAAU,GAAG,KAAK,EAAE,IAAc,EAA+B,EAAE;QACvE,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC;YAC3C,OAAO,SAAS,CAAC,IAAI,CAAC,CAAA;QACxB,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;QACpE,OAAO,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAChC,CAAC,CAAA;IAED,MAAM,MAAM,GAAmB;QAC7B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAE7E,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO;QAElC,KAAK,EAAE;YACL,IAAI,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;YAE7E,GAAG,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE;gBACd,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACxC,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;oBACjB,MAAM,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAA;gBAChC,CAAC;gBACD,OAAO,IAAI,CAAA;YACb,CAAC;YAED,IAAI,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;YAEtG,KAAK,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YAElF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBACrD,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;SAC/G;QAED,cAAc,EAAE;YACd,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE;gBAClC,IAAI,QAAQ,IAAI,IAAI,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBAChE,OAAO,IAAI,CAAA;gBACb,CAAC;gBACD,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,KAAK,CAAA;gBAC5B,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;oBAClB,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;gBAC9D,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,KAAK,CAAU,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAA;gBAC3G,OAAO,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;YACrD,CAAC;YAED,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE;gBAC5B,IAAI,QAAQ,IAAI,IAAI,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBAChE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;gBAChC,CAAC;gBACD,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,KAAK,CAAA;gBAC5B,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;oBAClB,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;gBAClD,CAAC;gBACD,OAAO,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAU,EAAE,aAAa,CAAC,KAAK,CAAU,CAAU,CAAA;YACzH,CAAC;YAED,GAAG,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE;gBACd,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACxC,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3C,MAAM,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAA;gBAChC,CAAC;gBACD,OAAO,IAAqB,CAAA;YAC9B,CAAC;YAED,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;gBAC7B,MAAM,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBACnC,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,KAAK,CAAA;gBAC5B,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;oBAClB,MAAM,IAAI,mBAAmB,CAAC,WAAW,CAAC,CAAA;gBAC5C,CAAC;gBACD,OAAO,MAAM,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YACnD,CAAC;SACF;QAED,aAAa,EAAE;YACb,IAAI,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;gBAClB,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,KAAK,CAAA;gBAC5B,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;oBAClB,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;gBAChC,CAAC;gBACD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;oBACrB,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;gBAC1E,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;gBAC1G,0FAA0F;gBAC1F,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAkB,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;gBACvF,OAAO,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAA;YACzI,CAAC;SACF;QAED,WAAW,EAAE;YACX,GAAG,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE;gBACd,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,MAAM,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC5D,IAAI,UAAU,IAAI,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC9D,MAAM,IAAI,gBAAgB,CAAC,cAAc,EAAE,EAAE,CAAC,CAAA;gBAChD,CAAC;gBACD,OAAO,UAAU,CAAA;YACnB,CAAC;YAED,IAAI,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;gBAClB,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,WAAW,CAAA;gBACxC,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;oBACxB,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;gBAChC,CAAC;gBACD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;oBACrB,OAAO,MAAM,WAAW,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;gBACtF,CAAC;gBACD,IAAI,KAAK,CAAC,OAAO,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC/D,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;gBAChC,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,IAAI,CACnC,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,QAAQ,EAAE,EAAE,aAAa,CAAC,KAAK,CAAC,CACjG,CAAA;gBACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,UAAsB,EAAE,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;gBACjG,OAAO,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAA;YACzI,CAAC;SACF;QAED,OAAO,EAAE;YACP,MAAM,EAAE,KAAK,EAAC,UAAU,EAAC,EAAE;gBACzB,MAAM,gBAAgB,CAAC,UAAU,CAAC,CAAA;gBAClC,OAAO,MAAM,YAAY,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YAChD,CAAC;YAED,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,EAAE,CAAC,SAAS,CAAC,QAAQ,IAAI,IAAI;gBACxE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,CAAC,KAAkB,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,EACvF,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC;YAExB,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE;gBAC/B,MAAM,gBAAgB,CAAC,UAAU,CAAC,CAAA;gBAClC,OAAO,MAAM,YAAY,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;YACpD,CAAC;SACF;QAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC;QAEnF,KAAK,EAAE,KAAK,EAAiC,IAAgB,EAA6B,EAAE;YAC1F,MAAM,MAAM,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAM,CAAC,CAAC,CAAC,IAAI,CAAA;YAClF,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACjC,MAAM,IAAI,gBAAgB,CAAC,MAAM,CAAC,EAAE,IAAI,YAAY,CAAC,IAAI,CAAC,CAAA;YAC5D,CAAC;YACD,IAAI,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC;gBAClC,OAAO,OAAO,CAAI,MAAM,EAAE,MAAM,CAAC,CAAA;YACnC,CAAC;YACD,2EAA2E;YAC3E,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,UAAU,CAAC,MAAM,CAAC,CAAC,CAAA;YAC5E,OAAO,OAAO,CAAI,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,CAAC,CAAA;QACnD,CAAC;KACF,CAAA;IAED,IAAI,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC;QAClC,MAAM,CAAC,WAAW,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACvD,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAA"}
+{"version":3,"file":"facade.js","sourceRoot":"","sources":["../src/facade.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EAAE,oBAAoB,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS,EAC5G,mBAAmB,EAAE,cAAc,EAAE,iBAAiB,EAAE,YAAY,EAAE,gBAAgB,GACvF,MAAM,oBAAoB,CAAA;AAM3B,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAEjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAGvD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,QAA2B,EAAE,OAAO,GAAsB,EAAE,EAAsB,EAAE,CAAC,CAAC;IACtH,GAAG,EAAE;QACH,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE;QAC9B,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE;QACzC,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,aAAa,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACrG;CACF,CAAuB,CAAA;AAExB;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAwB,EAAE,KAAoB,EAAkB,EAAE;IAChG,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAA;IAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAClF,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,CAAA;IACrC,MAAM,IAAI,GAAG,CAAiC,MAA4B,EAAY,EAAE,CACtF,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;IAEhE,MAAM,UAAU,GAAG,CAAC,IAAc,EAAW,EAAE,CAAC,QAAQ,IAAI,IAAI;WAC3D,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;WAC/C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;IAE3D,2EAA2E;IAC3E,MAAM,OAAO,GAAG,KAAK,EAAE,IAAqB,EAA4B,EAAE;QACxE,IAAI,IAAI,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;YACpE,OAAO,MAAM,IAAI,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;QAC3D,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC,CAAA;IAED;;;;;OAKG;IACH,MAAM,SAAS,GAAG,KAAK,EAAE,KAAyB,EAAE,MAAe,EAAqB,EAAE;QACxF,IAAI,QAAQ,IAAI,IAAI,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7E,OAAO,EAAE,CAAA;QACX,CAAC;QACD,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;YAC7D,OAAO,IAAI,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QACzD,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAmC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAA;QACtI,yEAAyE;QACzE,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAG,CAAC,CAAA;IAC9H,CAAC,CAAA;IAED,0FAA0F;IAC1F,MAAM,QAAQ,GAAG,KAAK,EAAE,KAA4B,EAA+B,EAAE;QACnF,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACtC,OAAO,MAAM,CAAC,KAAK,EAAE,MAAM,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;IAC7D,CAAC,CAAA;IAED,MAAM,MAAM,GAAG,CAAC,KAAyB,EAAE,OAAO,GAAsB,EAAE,EAAsB,EAAE,CAAC,QAAQ,IAAI,IAAI;QACjH,CAAC,CAAC,KAAK;QACP,CAAC,CAAC;YACA,GAAG,KAAK;YACR,IAAI,EAAE,CAAC,GAAG,CAAE,KAAyC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;SACnF,CAAA;IAEzB,MAAM,cAAc,GAAG,CAAC,OAAuB,EAAW,EAAE,CAC1D,QAAQ,IAAI,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;IAErE,MAAM,YAAY,GAAG,GAAiB,EAAE;QACtC,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAA;QAChC,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAmB,CAAC,SAAS,CAAC,CAAA;QAC1C,CAAC;QACD,OAAO,OAAO,CAAA;IAChB,CAAC,CAAA;IAED,8GAA8G;IAC9G,MAAM,gBAAgB,GAAG,KAAK,EAAE,UAAkB,EAAiB,EAAE;QACnE,MAAM,GAAG,GAAG,MAAM,MAAM,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,UAAU,CAAC,CAAA;QACvD,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;YAChB,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9D,MAAM,IAAI,gBAAgB,CAAC,cAAc,UAAU,EAAE,CAAC,CAAA;YACxD,CAAC;YACD,OAAM;QACR,CAAC;QACD,MAAM,QAAQ,GAAI,MAAM,EAAE,CAAC,OAA0C,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,CAAA;QAC3F,IAAI,QAAQ,IAAI,IAAI,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5F,MAAM,IAAI,gBAAgB,CAAC,cAAc,UAAU,EAAE,CAAC,CAAA;QACxD,CAAC;IACH,CAAC,CAAA;IAED,6DAA6D;IAC7D,MAAM,UAAU,GAAG,KAAK,EAAE,IAAc,EAA+B,EAAE;QACvE,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC;YAC3C,OAAO,SAAS,CAAC,IAAI,CAAC,CAAA;QACxB,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;QACpE,OAAO,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAChC,CAAC,CAAA;IAED,MAAM,MAAM,GAAmB;QAC7B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAE7E,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO;QAElC,KAAK,EAAE;YACL,IAAI,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;YAE7E,GAAG,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE;gBACd,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACxC,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;oBACjB,MAAM,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAA;gBAChC,CAAC;gBACD,OAAO,IAAI,CAAA;YACb,CAAC;YAED,IAAI,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;YAE3F,KAAK,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,CAAC;YAEvE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBACrD,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;SAC/G;QAED,cAAc,EAAE;YACd,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE;gBAClC,IAAI,QAAQ,IAAI,IAAI,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBAChE,OAAO,IAAI,CAAA;gBACb,CAAC;gBACD,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,KAAK,CAAA;gBAC5B,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;oBAClB,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;gBAC9D,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,KAAK,CAAU,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAA;gBAC3G,OAAO,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;YACrD,CAAC;YAED,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE;gBAC5B,IAAI,QAAQ,IAAI,IAAI,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBAChE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;gBAChC,CAAC;gBACD,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,KAAK,CAAA;gBAC5B,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;oBAClB,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;gBAClD,CAAC;gBACD,OAAO,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAU,EAAE,aAAa,CAAC,KAAK,CAAU,CAAU,CAAA;YACzH,CAAC;YAED,GAAG,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE;gBACd,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACxC,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3C,MAAM,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAA;gBAChC,CAAC;gBACD,OAAO,IAAqB,CAAA;YAC9B,CAAC;YAED,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;gBAC7B,MAAM,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBACnC,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,KAAK,CAAA;gBAC5B,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;oBAClB,MAAM,IAAI,mBAAmB,CAAC,WAAW,CAAC,CAAA;gBAC5C,CAAC;gBACD,OAAO,MAAM,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YACnD,CAAC;SACF;QAED,aAAa,EAAE;YACb,IAAI,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;gBAClB,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,KAAK,CAAA;gBAC5B,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;oBAClB,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;gBAChC,CAAC;gBACD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;oBACrB,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;gBAC1E,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;gBAC1G,0FAA0F;gBAC1F,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAkB,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;gBACvF,OAAO,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAA;YACzI,CAAC;SACF;QAED,WAAW,EAAE;YACX,GAAG,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE;gBACd,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,MAAM,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC5D,IAAI,UAAU,IAAI,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC9D,MAAM,IAAI,gBAAgB,CAAC,cAAc,EAAE,EAAE,CAAC,CAAA;gBAChD,CAAC;gBACD,OAAO,UAAU,CAAA;YACnB,CAAC;YAED,IAAI,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;gBAClB,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,WAAW,CAAA;gBACxC,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;oBACxB,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;gBAChC,CAAC;gBACD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;oBACrB,OAAO,MAAM,WAAW,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;gBACtF,CAAC;gBACD,IAAI,KAAK,CAAC,OAAO,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC/D,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;gBAChC,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,IAAI,CACnC,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,QAAQ,EAAE,EAAE,aAAa,CAAC,KAAK,CAAC,CACjG,CAAA;gBACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,UAAsB,EAAE,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;gBACjG,OAAO,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAA;YACzI,CAAC;SACF;QAED,OAAO,EAAE;YACP,MAAM,EAAE,KAAK,EAAC,UAAU,EAAC,EAAE;gBACzB,MAAM,gBAAgB,CAAC,UAAU,CAAC,CAAA;gBAClC,OAAO,MAAM,YAAY,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YAChD,CAAC;YAED,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,EAAE,CAAC,SAAS,CAAC,QAAQ,IAAI,IAAI;gBACxE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,CAAC,KAAkB,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,EACvF,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC;YAExB,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE;gBAC/B,MAAM,gBAAgB,CAAC,UAAU,CAAC,CAAA;gBAClC,OAAO,MAAM,YAAY,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;YACpD,CAAC;SACF;QAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC;QAEnF,KAAK,EAAE,KAAK,EAAiC,IAAgB,EAA6B,EAAE;YAC1F,MAAM,MAAM,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAM,CAAC,CAAC,CAAC,IAAI,CAAA;YAClF,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACjC,MAAM,IAAI,gBAAgB,CAAC,MAAM,CAAC,EAAE,IAAI,YAAY,CAAC,IAAI,CAAC,CAAA;YAC5D,CAAC;YACD,IAAI,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC;gBAClC,OAAO,OAAO,CAAI,MAAM,EAAE,MAAM,CAAC,CAAA;YACnC,CAAC;YACD,2EAA2E;YAC3E,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,UAAU,CAAC,MAAM,CAAC,CAAC,CAAA;YAC5E,OAAO,OAAO,CAAI,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,CAAC,CAAA;QACnD,CAAC;KACF,CAAA;IAED,IAAI,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC;QAClC,MAAM,CAAC,WAAW,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACvD,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@owlmeans/server-planning",
-  "version": "0.1.18-rc.16",
+  "version": "0.1.18-rc.17",
   "license": "MIT",
   "description": "The general planning implementation — the planning service and its plugin/middleware registry, the transition executor, the in-memory store, the protocol handlers and the commit feed.",
   "type": "module",

package/src/facade.ts

@@ -4,20 +4,27 @@ import {
 } from '@owlmeans/planning'
 import type {
   CommitEvent, CommitSource, PlanningFacade, PlanningScope, Relationship, Specification, Transition,
-  Workcard, WorkcardModel,
+  Workcard, WorkcardModel, WorkcardQuery,
 } from '@owlmeans/planning'
 import type { Criteria } from '@owlmeans/resource'
 import { makeDefinitions } from './definitions.js'
 import { executeTransition } from './executor.js'
 import type { PlanningRuntime } from './service.js'
+import { wantsSpecifications } from './store/memory.js'
 import type { CommitHub } from './store/types.js'
 
 /**
- * The criteria a scope narrowed to `projects` adds to every card read: the projects themselves and
- * every card whose `parents` name one of them.
+ * The criteria a scope narrowed to `projects` adds to every card list, count and summary: the
+ * projects themselves, every card whose `parents` name one of them, and the specifications whose
+ * parent card is one of `through` — the cards of those projects a specification is seen through,
+ * exactly as a single read sees it (a specification's `parents` hold only its own card).
  */
-export const projectCriteriaOf = (projects: readonly string[]): Criteria<Workcard> => ({
-  $or: [{ id: { $in: [...projects] } }, { parents: { $overlaps: [...projects] } }],
+export const projectCriteriaOf = (projects: readonly string[], through: readonly string[] = []): Criteria<Workcard> => ({
+  $or: [
+    { id: { $in: [...projects] } },
+    { parents: { $overlaps: [...projects] } },
+    ...(through.length > 0 ? [{ kind: WorkcardKind.Specification, parent: { $in: [...through] } }] : []),
+  ],
 }) as Criteria<Workcard>
 
 /**
@@ -28,9 +35,12 @@ export const projectCriteriaOf = (projects: readonly string[]): Criteria<Workcar
  * `WorkcardNotFound`, exactly as for an id that never existed. Reads go through the composite
  * store (the default store plus the stores plugins own); writes go through the executor.
  *
- * A scope naming `projects` sees those projects and the cards whose `parents` name one of them (a
- * card's specification through its card); everything else reads as absent, lists are narrowed by
- * an AND'd criteria, and commit events and transitions outside the set are dropped or refused.
+ * A scope naming `projects` sees those projects, the cards whose `parents` name one of them, and a
+ * specification whose parent card is one of those (a card's specification through its card);
+ * everything else reads as absent. Lists, counts and summaries are narrowed by an AND'd criteria
+ * that admits the same cards a single read does — the parent cards a specification is seen through
+ * are resolved once per call ({@link projectCriteriaOf}) — and commit events and transitions
+ * outside the set are dropped or refused.
  *
  * `definitions` is present when the default store holds data-defined schemas; a model is then
  * built over the registry of the card's own project.
@@ -58,9 +68,37 @@ export const makeStoreFacade = (runtime: PlanningRuntime, scope: PlanningScope):
     return null
   }
 
-  const narrow = (where: Criteria<Workcard>): Criteria<Workcard> => projects == null
+  /**
+   * The cards a narrowed list or count may see specifications THROUGH — what {@link visible} admits
+   * one by: its parent card in the scope's projects. One read per call, and only for criteria that
+   * ask for specifications at all (`wantsSpecifications`, the rule every store routes a list by): the
+   * parent the query names, or else the projects' own cards. A summary counts no specification.
+   */
+  const throughOf = async (where: Criteria<Workcard>, parent?: string): Promise<string[]> => {
+    if (projects == null || projects.length === 0 || !wantsSpecifications(where)) {
+      return []
+    }
+    if (parent != null) {
+      const card = mine(await reader().cards.get(parent, entityId))
+      return card != null && inProjects(card) ? [parent] : []
+    }
+    const listed = await reader().cards.list({ entityId, parents: { $overlaps: projects } } as unknown as Criteria<Workcard>, { size: 0 })
+    // A project's own specifications are matched by their `parents` already.
+    return listed.items.filter(card => card.id != null && !projects.includes(card.id) && inProjects(card)).map(card => card.id!)
+  }
+
+  /** A narrowed list's or count's criteria — `through` as {@link throughOf} resolved it. */
+  const narrowed = async (query?: WorkcardQuery | null): Promise<Criteria<Workcard>> => {
+    const where = criteriaOf(query, scope)
+    return narrow(where, await throughOf(where, query?.parent))
+  }
+
+  const narrow = (where: Criteria<Workcard>, through: readonly string[] = []): Criteria<Workcard> => projects == null
     ? where
-    : { ...where, $and: [...((where as { $and?: Criteria<Workcard>[] }).$and ?? []), projectCriteriaOf(projects)] } as Criteria<Workcard>
+    : {
+      ...where,
+      $and: [...((where as { $and?: Criteria<Workcard>[] }).$and ?? []), projectCriteriaOf(projects, through)],
+    } as Criteria<Workcard>
 
   const projectVisible = (project?: string | null): boolean =>
     projects == null || (project != null && projects.includes(project))
@@ -113,9 +151,9 @@ export const makeStoreFacade = (runtime: PlanningRuntime, scope: PlanningScope):
         return card
       },
 
-      list: async query => await reader().cards.list(narrow(criteriaOf(query, scope)), listOptionsOf(query)),
+      list: async query => await reader().cards.list(await narrowed(query), listOptionsOf(query)),
 
-      count: async query => await reader().cards.count(narrow(criteriaOf(query, scope))),
+      count: async query => await reader().cards.count(await narrowed(query)),
 
       summary: async (parents, query) => parents.length === 0
         ? {}

package/tests/narrowing.spec.ts

@@ -0,0 +1,94 @@
+import { describe, expect, test } from 'bun:test'
+import { WorkcardKind, WorkcardNotFound } from '@owlmeans/planning'
+import type { PlanningFacade, Workcard } from '@owlmeans/planning'
+import { createProject, createTask, ENTITY, makeTestPlanning, PROFILE } from './context.js'
+
+/**
+ * Two projects with a task each, a design document on each task and a plan on the first project —
+ * a specification's `parents` hold only its own card, so a scope narrowed to one project sees the
+ * task's document through the task.
+ */
+const fixture = async () => {
+  const planning = await makeTestPlanning()
+  const owner = planning.facade()
+  const granted = await createProject(owner, 'Granted')
+  const hidden = await createProject(owner, 'Hidden')
+  const seen = (await createTask(owner, granted.id!, 'Seen')).card!
+  const unseen = (await createTask(owner, hidden.id!, 'Unseen')).card!
+  const write = async (card: Workcard, category: string, body: string): Promise<Workcard> =>
+    (await (await owner.model(card)).write(category, body, { wait: true })).card!
+  const design = await write(seen, 'design', '{"steps":[1]}')
+  const hiddenDesign = await write(unseen, 'design', '{"steps":[2]}')
+  const plan = await write(granted, 'plan', '{"steps":[3]}')
+  const scoped = (projects: string[]): PlanningFacade =>
+    planning.service.for({ entityId: ENTITY, profileId: PROFILE, channel: 'test', projects })
+
+  return { ...planning, owner, granted, hidden, seen, unseen, design, hiddenDesign, plan, scoped }
+}
+
+const ids = (items: Workcard[]): string[] => items.map(card => card.id!).sort()
+
+describe('@owlmeans/server-planning — a narrowed scope lists what it reads', () => {
+  test('a granted card\'s specification is listed and counted as it is read', async () => {
+    const { seen, unseen, design, hiddenDesign, plan, granted, scoped } = await fixture()
+    const member = scoped([granted.id!])
+
+    expect((await member.cards.get(design.id!)).id).toBe(design.id!)
+    await expect(member.cards.get(hiddenDesign.id!)).rejects.toBeInstanceOf(WorkcardNotFound)
+
+    const underCard = await member.cards.list({ parent: seen.id!, kind: WorkcardKind.Specification })
+    expect(ids(underCard.items)).toEqual([design.id!])
+    expect(underCard.total).toBe(1)
+    expect(await member.cards.count({ parent: seen.id!, kind: WorkcardKind.Specification })).toBe(1)
+    expect((await member.cards.list({ parent: unseen.id!, kind: WorkcardKind.Specification })).items).toEqual([])
+    expect(await member.cards.count({ parent: unseen.id! })).toBe(0)
+
+    const everyDocument = await member.cards.list({ kind: WorkcardKind.Specification })
+    expect(ids(everyDocument.items)).toEqual([design.id!, plan.id!].sort())
+    expect(await member.cards.count({ kind: WorkcardKind.Specification })).toBe(2)
+    expect(ids((await member.cards.list({ kind: WorkcardKind.Card })).items)).toEqual([seen.id!])
+
+    expect(ids((await member.cards.list({ parent: seen.id!, category: 'design' })).items)).toEqual([design.id!])
+    expect((await member.specifications.list(seen.id!)).total).toBe(1)
+    // A summary counts a parent's cards, never its documents.
+    expect(Object.keys(await member.cards.summary([granted.id!, seen.id!, unseen.id!]))).toEqual([granted.id!])
+  })
+
+  test('every card the narrowed scope reads is the one it lists, and no other', async () => {
+    const { owner, granted, scoped } = await fixture()
+    const member = scoped([granted.id!])
+    const every = { size: 0, kind: [WorkcardKind.Project, WorkcardKind.Card, WorkcardKind.Specification] }
+    const everything = (await owner.cards.list(every)).items
+    const listed = new Set(ids((await member.cards.list(every)).items))
+
+    expect(everything.length).toBe(7)
+    for (const card of everything) {
+      expect([card.id, (await member.cards.load(card.id!)) != null]).toEqual([card.id, listed.has(card.id!)])
+    }
+    expect(listed.size).toBe(4)
+    expect(await member.cards.count(every)).toBe(listed.size)
+  })
+
+  test('a scope with no project, or another one, sees none of the granted project\'s documents', async () => {
+    const { seen, design, plan, hidden, scoped } = await fixture()
+
+    for (const outsider of [scoped([]), scoped([hidden.id!])]) {
+      await expect(outsider.cards.get(design.id!)).rejects.toBeInstanceOf(WorkcardNotFound)
+      expect((await outsider.cards.list({ parent: seen.id!, kind: WorkcardKind.Specification })).items).toEqual([])
+      expect(await outsider.cards.count({ parent: seen.id! })).toBe(0)
+      const documents = ids((await outsider.cards.list({ kind: WorkcardKind.Specification })).items)
+      expect(documents).not.toContain(design.id!)
+      expect(documents).not.toContain(plan.id!)
+    }
+    expect((await scoped([]).cards.list({ size: 0, kind: [WorkcardKind.Card, WorkcardKind.Specification] })).total).toBe(0)
+  })
+
+  test('an unnarrowed scope sees every document of the organization', async () => {
+    const { owner, unseen, design, hiddenDesign, plan } = await fixture()
+
+    expect(ids((await owner.cards.list({ kind: WorkcardKind.Specification })).items))
+      .toEqual([design.id!, hiddenDesign.id!, plan.id!].sort())
+    expect(await owner.cards.count({ kind: WorkcardKind.Specification })).toBe(3)
+    expect(ids((await owner.cards.list({ parent: unseen.id!, kind: WorkcardKind.Specification })).items)).toEqual([hiddenDesign.id!])
+  })
+})