@owlmeans/planning 0.1.18-rc.29 → 0.1.18-rc.30

package/README.md

@@ -9,7 +9,7 @@ the executor with `@owlmeans/server-planning` and reads remotely with `@owlmeans
 ## Installation
 
 ```sh
-bun add @owlmeans/planning@^0.1.18-rc.29 ajv ajv-formats
+bun add @owlmeans/planning@^0.1.18-rc.30 ajv ajv-formats
 ```
 
 ## Concepts

package/agent-meta/manifest.json

@@ -1,8 +1,8 @@
 {
   "schemaVersion": 3,
   "package": "@owlmeans/planning",
-  "version": "0.1.18-rc.29",
-  "generatedAt": "2026-10-20T23:19:58.625Z",
+  "version": "0.1.18-rc.30",
+  "generatedAt": "2026-10-24T21:07:16.900Z",
   "canonicalRepo": "https://github.com/owlmeans/common",
   "entries": [
     {
@@ -109,7 +109,7 @@
         {
           "name": "types",
           "file": "skills/planning/parts/types.md",
-          "description": "Declaring card, project and specification types and status flows as closed data, the data-defined layers (code, entity, project) and retirement, and the rules every record schema keeps.",
+          "description": "Declaring card, project and specification types and status flows as closed data, the application's own definition properties and base card fields (`app`), the data-defined layers (code, entity, project) and retirement, and the rules every record schema keeps.",
           "purposes": [
             "data"
           ],
@@ -129,7 +129,12 @@
             "putFlow",
             "putAssigneeType",
             "scopedCardTypes",
-            "overridable"
+            "overridable",
+            "appSchemaHelper",
+            "PlanningAppDeclarations",
+            "PlanningAppSchema",
+            "registerApp",
+            "fieldsSchema"
           ]
         }
       ]

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

@@ -8,7 +8,7 @@ user-invocable: false
 # @owlmeans/planning
 
 **Layer:** Cross-cutting domain
-**Install:** `"@owlmeans/planning": "^0.1.18-rc.29"` in `dependencies` (`ajv` and `ajv-formats` are peers)
+**Install:** `"@owlmeans/planning": "^0.1.18-rc.30"` in `dependencies` (`ajv` and `ajv-formats` are peers)
 
 The contracts of project planning: record shapes, schemas, refusals, the protocol tree, the pure
 fold and the models. No database, no fastify, no React. The executor, the plugin registry, the
@@ -46,6 +46,7 @@ forms generated code keeps writing are `server-planning` → Creating and readin
 |---|---|
 | `Workcard`, `Card`, `Project`, `Specification`, `Relationship`, `Transition` | The records |
 | `StatusFlowSchema`, `WorkcardTypeSchema`, `ProjectTypeSchema`, `SpecificationSlot`, `CodePolicy`, `RelationshipType`, `PlanningSchemaBundle` | Type declarations — data, not code |
+| `PlanningAppDeclarations`, `PlanningAppSchema`, `PlanningAppBagKind` | The application's own type/flow properties (`app` bags) and base card fields, declared in code |
 | `TransitionExecution`, `WorkcardDraft`, `TransitionReceipt`, `CommitEvent`, `CommitSource` | The write path and its commit feed |
 | `TransitionStore`, `ProjectionStore`, `SpecificationStore`, `RelationshipStore`, `SchemaStore`, `PlanningStore` | Ports a store implements (only `cards` is required) |
 | `PlanningPlugin`, `PlanningScope`, `PlanningFacade`, `PlanningService`, `PlanningDefinitions` | The plugin seam and the facade, typed here so a plugin and a client can name them |
@@ -61,7 +62,8 @@ forms generated code keeps writing are `server-planning` → Creating and readin
 | `codeHelper` — `mintCode`, `codeScopeOf`, `slugOf` | Codes |
 | `specificationHelper` — `slotOf`, `currentSpecification`, `nextRevision`, `specificationTypeOf`, `bodyCharsOf` | Specifications |
 | `makeAjv`, `validateHelper` — `validateFields`, `validateCard`, `validateSpecificationBody`, `invalidFieldKeys`, `ajvErrorText` | Validation |
-| `makeSchemaRegistry(bundle?)` | Types, flows, cached field validators; `bundle()` / `load()` |
+| `makeSchemaRegistry(bundle?)` | Types, flows, the app declarations (`registerApp`, `app`), `fieldsSchema(type)` and its cached validator; `bundle()` / `load()` |
+| `appSchemaHelper` — `merge`, `assertDeclarations`, `bagSchemaOf`, `assertBag`, `fieldsSchemaOf` | The application's declarations: merge order, closed forms, a definition's `app` bag, a type's effective fields schema |
 | `scopedSchemaHelper` — `resolveScopedBundle`, `scopedRegistryOf`, `assertTypeSchema`, `assertFlowSchema`, `assertOverridable`, `flowInUse`, `schemaRecordKey`, `schemaKeyOf` | Data-defined layers: resolution, the read-only view, the closed-form checks |
 | `makePlanningProtocols(opts)` | The protocol tree |
 | `makeWorkcardModel`, `makeProjectModel`, `makeSpecificationModel`, `modelOf`, `executeFor` | Models |
@@ -71,7 +73,8 @@ forms generated code keeps writing are `server-planning` → Creating and readin
 
 - **Base fields at the top level, provider fields under `fields`.** `title`, `description`, `code`,
   `status`, `labels`, `order`, `parent` are generic and indexable; everything a type adds lives in
-  `fields` and is validated by the type's `fields` JSON schema. Generic code reads only the top.
+  `fields` and is validated by the type's `fields` JSON schema — beside the application's base card
+  fields (`schemas.app.card`, the `types` part). Generic code reads only the top.
   A `fields` key never holds `.` or `$` at any depth (`validateHelper.invalidFieldKeys`).
 - **`entityId` is the organization's stable record id** — never the wire `entitySlug`, never a body
   value. Every read is scoped by it; where a request's comes from is `server-planning` → Scope and
@@ -150,7 +153,7 @@ Load a part on top of this core when its job is in play.
 
 | Part | Load it when |
 |---|---|
-| [types](parts/types.md) | Declaring a type or a status flow, data-defined types and flows (`scopedSchemaHelper`), or a new record schema |
+| [types](parts/types.md) | Declaring a type or a status flow, the application's own properties and base card fields (`app`, `appSchemaHelper`), data-defined types and flows (`scopedSchemaHelper`), or a new record schema |
 | [fold](parts/fold.md) | Folding transitions (`applyHelper`, `changesHelper`) or translating a `WorkcardQuery` (`queryHelper`, `wireHelper`) |
 | [mounting](parts/mounting.md) | Declaring or mounting the protocol tree (`makePlanningProtocols`), or serving it in a generated target |
 | [errors](parts/errors.md) | Throwing, matching or phrasing a planning refusal (marker, HTTP status, i18n text) |

package/agent-meta/skills/planning/parts/mounting.md

@@ -59,3 +59,6 @@ routes; domain rules are `before` plugins. This section is the hub; each package
   `overridable: true` with open `fields` (`additionalProperties: true`); the container project type
   (always sealed) carries `scopedCardTypes: true`, so the app's people override and extend them as
   data through `schema.define`.
+- What the app itself keeps about every type, flow or card (a type's `description`, an origin's
+  attribute planning has no key for) is `PLANNING.schemas.app` — never an extra key on a type or a
+  flow (the `types` part, Application-declared properties).

package/agent-meta/skills/planning/parts/types.md

@@ -1,9 +1,9 @@
 ---
 name: types
-description: Declaring card, project and specification types and status flows as closed data, the data-defined layers (code, entity, project) and retirement, and the rules every record schema keeps.
+description: Declaring card, project and specification types and status flows as closed data, the application's own definition properties and base card fields (`app`), the data-defined layers (code, entity, project) and retirement, and the rules every record schema keeps.
 metadata:
   purposes: data
-  mentions: WorkcardTypeSchema, ProjectTypeSchema, StatusFlowSchema, SpecificationSlot, CodePolicy, makeSchemaRegistry, scopedSchemaHelper, resolveScopedBundle, ScopedSchemaRecord, ScopedSchemaBundle, SchemaStore, putType, putFlow, putAssigneeType, scopedCardTypes, overridable
+  mentions: WorkcardTypeSchema, ProjectTypeSchema, StatusFlowSchema, SpecificationSlot, CodePolicy, makeSchemaRegistry, scopedSchemaHelper, resolveScopedBundle, ScopedSchemaRecord, ScopedSchemaBundle, SchemaStore, putType, putFlow, putAssigneeType, scopedCardTypes, overridable, appSchemaHelper, PlanningAppDeclarations, PlanningAppSchema, registerApp, fieldsSchema
 ---
 <!-- AUTO-GENERATED — do not edit. Regenerate via sync-agent-meta. -->
 
@@ -17,16 +17,18 @@ the keys:
 
 | Declaration | Required | Optional |
 |---|---|---|
-| card / specification type | `type` (its key), `kind`, `version`, `fields`, `flows` (at least one), `specifications` | `intrinsic`, `relationships`, `labels`, `code`, `label`, `tone`, `icon`, `overridable` |
+| card / specification type | `type` (its key), `kind`, `version`, `fields`, `flows` (at least one), `specifications` | `intrinsic`, `relationships`, `labels`, `code`, `label`, `tone`, `icon`, `overridable`, `app` |
 | project type | the same, plus `cardTypes` | `projectTypes`, `scopedCardTypes` |
-| flow | `id` (its key), `version`, `statuses` (at least one), `transitions` | `label`, `tone`, `icon`, `overridable` |
+| flow | `id` (its key), `version`, `statuses` (at least one), `transitions` | `label`, `tone`, `icon`, `overridable`, `app` |
 | status | `key`, `intrinsic` | `initial`, `terminal`, `label`, `tone` |
 | transition rule | `name`, `from` (status keys or `'*'`), `to` | `label`, `explicit` |
 
 The display name is `label` everywhere; a type or a flow has no `name`, `key` or `description`
-(`key` belongs to a status, `name` to a rule). As data, `definitions` refuses an extra key with
-`SchemaInvalid`; in code the registry does not validate a declaration, so only TypeScript's
-excess-property check catches it — keep the literal typed.
+(`key` belongs to a status, `name` to a rule). Anything else the application keeps about a type or
+a flow — a `description`, an origin's attribute — goes in its `app` bag, which the application
+declares (below). As data, `definitions` refuses an extra key with `SchemaInvalid`; in code the
+registry does not validate a declaration, so only TypeScript's excess-property check catches it —
+keep the literal typed.
 
 - `fields` — the AJV schema of `fields`; the registry compiles and caches it (`validator(type)`).
 - `specifications` — the slots this type's cards carry as children. A slot may name its
@@ -49,6 +51,48 @@ excess-property check catches it — keep the literal typed.
   `colors`). An unknown value renders the picker's fallback (`slate`, `circle`); server code and
   seeds read the data React-free from `@owlmeans/web-panel/picker/vocabulary`.
 
+## Application-declared properties (`app`)
+
+Two kinds of field exist: the custom ones a data-defined type gives its cards (its `fields`,
+written by the app's people), and the ones the APPLICATION pregenerates in code for every type,
+flow or card. The latter are `PlanningAppDeclarations { type?, flow?, card? }`, declared in
+`PlanningPlugin.schemas.app` (and `PlanningServiceOptions.schemas.app`) and served in the bundle
+(`bundle.app`, `registry.app()`):
+
+```ts
+schemas: { app: {
+  type: { properties: { description: { type: 'string', maxLength: 2000 } } },
+  flow: { properties: { description: { type: 'string' } } },
+  card: { properties: { priority: { type: 'string', enum: ['low', 'high'] } } },
+} }
+// then a type: { type: 'wm:task', …, app: { description: 'Work items' } }
+```
+
+- **Closed form** (`appSchemaHelper.assertDeclarations` → `SchemaInvalid('app:<kind>:…')`): each
+  kind is `{ type?: 'object', properties, required? }` and nothing else; property names hold no
+  `.` or `$`; every `required` name is declared in the same declaration; the schema compiles.
+- **Merge** (`appSchemaHelper.merge`, run by the server's plugin registry on every `use` and by
+  the client over the served bundle): the service's own `schemas.app` first, then each plugin's in
+  plugin order (`order` ascending, registration order among equals). Per kind `properties` are
+  united — a later declaration of a name replaces the earlier one whole — and `required` is united.
+  A plugin replaced by name takes its declarations with it. The result is normalized
+  (`type: 'object'`); nothing declared → `undefined` and no `app` key in any bundle.
+- **`type` / `flow` → the definition's `app` bag**, closed over the declared properties
+  (`additionalProperties: false`; an absent bag reads `{}`, so a `required` property makes the bag
+  mandatory). Checked on every data-defined write — `define`, `put*`, `seed`, the wire
+  `schema.define` — by `assertTypeSchema(type, flows, app)` / `assertFlowSchema(flow, app)`. A kind
+  the application does not declare refuses any bag (`<kind>:<key>:app:undeclared`). Code
+  declarations are not validated (as every code declaration); a record written under earlier
+  declarations still resolves.
+- **`card` → base `fields` of every type of kind `card`**, code or data-defined
+  (`registry.fieldsSchema(type)`, compiled by `registry.validator(type)`). The type's schema stays
+  the root (its `#/…` references still resolve); each base name absent from its top-level
+  `properties` is added as `{}` — so its `additionalProperties: false` never refuses a base field —
+  and the base object schema is appended to its `allOf`. A type that declares a base name itself
+  narrows it (both apply). Projects and specifications are untouched. A required base field, like a
+  newly required type field, refuses every later write of a card that lacks it.
+- Without declarations every behavior is the previous one: `fieldsSchema(type)` IS `type.fields`.
+
 ## Data-defined types and flows
 
 Card types, assignee types and status flows may also be DATA — `ScopedSchemaRecord`s a store keeps
@@ -64,9 +108,9 @@ assignee types layer **code → entity** and refuse a project-local declaration:
 - A record's `version` is its compare-and-set token and is written into the declaration's own
   `version`: a write lands only at its layer's next version, 1 for a new key (`SchemaConflict`).
 - The closed-form checks are shared by every store: `scopedSchemaHelper.assertFlowSchema` (the declaration's schema,
-  unique status keys, every `to` declared, `from` `'*'` or declared statuses) and
-  `scopedSchemaHelper.assertTypeSchema` (the `card` kind, a compiling `fields` schema, unique flows that resolve) —
-  `SchemaInvalid`.
+  unique status keys, every `to` declared, `from` `'*'` or declared statuses, the `app` bag) and
+  `scopedSchemaHelper.assertTypeSchema` (the `card` kind, the `app` bag, a `fields` schema that
+  compiles with the base card fields, unique flows that resolve) — `SchemaInvalid`.
 - **Retired** means offered for nothing new, still resolved for what uses it: a retired record
   gives way to a live declaration below it, and a key retired in every layer resolves retired —
   present in the bundle's `types`/`flows`, listed in `retired`. A flow cannot be retired while a
@@ -74,7 +118,7 @@ assignee types layer **code → entity** and refuse a project-local declaration:
 - `scopedSchemaHelper.resolveScopedBundle(code, records, scope)` is the ONE resolution (pure);
   `scopedRegistryOf` is its read-only registry (`originOf`, `isRetired`; `register*`/`load` refuse). A
   `ScopedSchemaBundle` extends the plain bundle with `scope`, `revision`, `origins`, `retired`, so a
-  reader of the plain bundle is unaffected.
+  reader of the plain bundle is unaffected; the code bundle's `app` passes through.
 - `SchemaStore`: `list(where)`, `put(record)` (the CAS), `purge({ entityId, project })`,
   `revision(entityId)` (monotonic per organization), optional `watch(listener)`.
 - `PlanningFacade.definitions` (present only where the store has the port): `bundle(project?)`,

package/build/helpers/app/consts.local.d.ts

@@ -0,0 +1,5 @@
+/** The kinds an application declares properties for, in merge order. */
+export declare const APP_KINDS: readonly ['type', 'flow', 'card'];
+/** The only keywords a kind's declaration may carry — a merge by name honours nothing else. */
+export declare const APP_SCHEMA_KEYS: Set<string>;
+//# sourceMappingURL=consts.local.d.ts.map

package/build/helpers/app/consts.local.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"consts.local.d.ts","sourceRoot":"","sources":["../../../src/helpers/app/consts.local.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,eAAO,MAAM,SAAS,YAAI,MAAM,EAAE,MAAM,EAAE,MAAM,CAAU,CAAA;AAE1D,+FAA+F;AAC/F,eAAO,MAAM,eAAe,aAA8C,CAAA"}

package/build/helpers/app/consts.local.js

@@ -0,0 +1,5 @@
+/** The kinds an application declares properties for, in merge order. */
+export const APP_KINDS = ['type', 'flow', 'card'];
+/** The only keywords a kind's declaration may carry — a merge by name honours nothing else. */
+export const APP_SCHEMA_KEYS = new Set(['type', 'properties', 'required']);
+//# sourceMappingURL=consts.local.js.map

package/build/helpers/app/consts.local.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"consts.local.js","sourceRoot":"","sources":["../../../src/helpers/app/consts.local.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAU,CAAA;AAE1D,+FAA+F;AAC/F,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAA"}

package/build/helpers/app/types.d.ts

@@ -0,0 +1,51 @@
+import type { AnySchema } from 'ajv';
+import type { PlanningSchemaKind } from '../../consts.js';
+import type { AnyTypeSchema, PlanningAppDeclarations } from '../../types.js';
+/** The declarations whose properties a definition carries in its `app` bag. */
+export type PlanningAppBagKind = PlanningSchemaKind.Type | PlanningSchemaKind.Flow;
+/**
+ * The application's pregenerated planning properties: the `app` bag of every type and flow
+ * declaration, and the base `fields` of every card — declared in code, beside the custom fields a
+ * data-defined type gives its cards.
+ */
+export interface AppSchemaHelper {
+    /**
+     * Merge declarations in the order given — a planning service passes its own `schemas.app` first,
+     * then every plugin's in plugin order (`order` ascending, registration order among equals). Per
+     * kind (`type`, `flow`, `card`): `properties` are united, a later declaration of a name replacing
+     * the earlier one whole; `required` is the union. `undefined` when no source declares anything.
+     *
+     * @throws {SchemaInvalid} a malformed source
+     */
+    merge: (sources: ReadonlyArray<PlanningAppDeclarations | undefined>) => PlanningAppDeclarations | undefined;
+    /**
+     * The closed form of declarations: per kind only `type` (`'object'`), `properties` (names without
+     * `.` or `$`) and `required` (each name declared), and a schema that compiles.
+     *
+     * @throws {SchemaInvalid} `app:<kind>:…`
+     */
+    assertDeclarations: (app: PlanningAppDeclarations) => void;
+    /**
+     * The schema a definition's `app` bag must match: the declared kind closed over its properties
+     * (`additionalProperties: false`). `undefined` when the kind is not declared.
+     */
+    bagSchemaOf: (app: PlanningAppDeclarations | undefined, kind: PlanningAppBagKind) => AnySchema | undefined;
+    /**
+     * Check a declaration's `app` bag: refused when the kind is undeclared and the bag is present;
+     * matched against {@link bagSchemaOf} otherwise (an absent bag is `{}`, so a required property
+     * makes the bag mandatory).
+     *
+     * @throws {SchemaInvalid} `<kind>:<key>:app:…`
+     */
+    assertBag: (kind: PlanningAppBagKind, key: string, bag: unknown, app?: PlanningAppDeclarations) => void;
+    /**
+     * The schema a type's `fields` validate against. Without base card fields, or for a project or
+     * specification type, it is the type's own `fields` object itself. Otherwise the type's schema
+     * stays the root (so its `#/…` references still resolve) and gains: each base name in its
+     * top-level `properties` as `{}` when it does not declare it (its `additionalProperties` never
+     * refuses a base field; its own declaration of the name still applies and may narrow it), and the
+     * base object schema appended to its `allOf`.
+     */
+    fieldsSchemaOf: (type: AnyTypeSchema, app?: PlanningAppDeclarations) => AnySchema;
+}
+//# sourceMappingURL=types.d.ts.map

package/build/helpers/app/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/helpers/app/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,KAAK,CAAA;AACpC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAA;AAE5E,+EAA+E;AAC/E,MAAM,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAA;AAElF;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B;;;;;;;OAOG;IACH,KAAK,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC,uBAAuB,GAAG,SAAS,CAAC,KAAK,uBAAuB,GAAG,SAAS,CAAA;IAC3G;;;;;OAKG;IACH,kBAAkB,EAAE,CAAC,GAAG,EAAE,uBAAuB,KAAK,IAAI,CAAA;IAC1D;;;OAGG;IACH,WAAW,EAAE,CAAC,GAAG,EAAE,uBAAuB,GAAG,SAAS,EAAE,IAAI,EAAE,kBAAkB,KAAK,SAAS,GAAG,SAAS,CAAA;IAC1G;;;;;;OAMG;IACH,SAAS,EAAE,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,uBAAuB,KAAK,IAAI,CAAA;IACvG;;;;;;;OAOG;IACH,cAAc,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,CAAC,EAAE,uBAAuB,KAAK,SAAS,CAAA;CAClF"}

package/build/helpers/app/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/build/helpers/app/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/helpers/app/types.ts"],"names":[],"mappings":""}

package/build/helpers/app.d.ts

@@ -0,0 +1,4 @@
+import type { AppSchemaHelper } from './app/types.js';
+export declare const createAppSchemaHelper: () => AppSchemaHelper;
+export declare const appSchemaHelper: AppSchemaHelper;
+//# sourceMappingURL=app.d.ts.map

package/build/helpers/app.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"app.d.ts","sourceRoot":"","sources":["../../src/helpers/app.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAsB,MAAM,gBAAgB,CAAA;AASzE,eAAO,MAAM,qBAAqB,QAAO,eAwIxC,CAAA;AAED,eAAO,MAAM,eAAe,iBAA0B,CAAA"}

package/build/helpers/app.js

@@ -0,0 +1,134 @@
+import { PlanningSchemaKind, WorkcardKind } from '../consts.js';
+import { SchemaInvalid } from '../errors.js';
+import { APP_KINDS, APP_SCHEMA_KEYS } from './app/consts.local.js';
+import { makeAjv, validateHelper } from './validate.js';
+const messageOf = (error) => error instanceof Error ? error.message : `${error}`;
+const isObject = (value) => value != null && typeof value === 'object' && !Array.isArray(value);
+export const createAppSchemaHelper = () => {
+    // Keyed by the declared kind object a registry keeps — a fresh ajv per entry, so a replaced
+    // declaration leaves nothing compiled behind.
+    const bags = new WeakMap();
+    const objectSchemaOf = (declared) => ({
+        type: 'object',
+        properties: declared.properties,
+        ...((declared.required?.length ?? 0) > 0 ? { required: [...declared.required] } : {}),
+    });
+    const declaredOf = (app, kind) => kind === PlanningSchemaKind.Type ? app?.type : app?.flow;
+    const assertDeclarations = app => {
+        if (!isObject(app)) {
+            throw new SchemaInvalid('app:declarations');
+        }
+        const kinds = APP_KINDS;
+        const stranger = Object.keys(app).find(key => !kinds.includes(key));
+        if (stranger != null) {
+            throw new SchemaInvalid(`app:kind:${stranger}`);
+        }
+        for (const kind of APP_KINDS) {
+            const declared = app[kind];
+            if (declared == null) {
+                continue;
+            }
+            if (!isObject(declared)) {
+                throw new SchemaInvalid(`app:${kind}:schema`);
+            }
+            const keyword = Object.keys(declared).find(key => !APP_SCHEMA_KEYS.has(key));
+            if (keyword != null) {
+                throw new SchemaInvalid(`app:${kind}:keyword:${keyword}`);
+            }
+            if (declared.type != null && declared.type !== 'object') {
+                throw new SchemaInvalid(`app:${kind}:type`);
+            }
+            if (!isObject(declared.properties)) {
+                throw new SchemaInvalid(`app:${kind}:properties`);
+            }
+            const names = Object.keys(declared.properties);
+            const badName = names.find(name => name === '' || name.includes('.') || name.includes('$'));
+            if (badName != null) {
+                throw new SchemaInvalid(`app:${kind}:name:${badName}`);
+            }
+            const required = declared.required;
+            if (required != null && (!Array.isArray(required) || required.some(name => typeof name !== 'string'))) {
+                throw new SchemaInvalid(`app:${kind}:required`);
+            }
+            const missing = required?.find(name => !names.includes(name));
+            if (missing != null) {
+                throw new SchemaInvalid(`app:${kind}:required:${missing}`);
+            }
+            try {
+                makeAjv().compile(objectSchemaOf(declared));
+            }
+            catch (error) {
+                throw new SchemaInvalid(`app:${kind}:${messageOf(error)}`);
+            }
+        }
+    };
+    const merge = sources => {
+        const merged = {};
+        for (const source of sources) {
+            if (source == null) {
+                continue;
+            }
+            assertDeclarations(source);
+            for (const kind of APP_KINDS) {
+                const next = source[kind];
+                if (next == null) {
+                    continue;
+                }
+                const current = merged[kind];
+                const required = [...new Set([...(current?.required ?? []), ...(next.required ?? [])])];
+                merged[kind] = {
+                    type: 'object',
+                    properties: { ...current?.properties, ...structuredClone(next.properties) },
+                    ...(required.length > 0 ? { required } : {}),
+                };
+            }
+        }
+        return Object.keys(merged).length > 0 ? merged : undefined;
+    };
+    const bagSchemaOf = (app, kind) => {
+        const declared = declaredOf(app, kind);
+        return declared == null ? undefined : { ...objectSchemaOf(declared), additionalProperties: false };
+    };
+    const assertBag = (kind, key, bag, app) => {
+        const declared = declaredOf(app, kind);
+        if (declared == null) {
+            if (bag != null) {
+                throw new SchemaInvalid(`${kind}:${key}:app:undeclared`);
+            }
+            return;
+        }
+        const keys = validateHelper.invalidFieldKeys(bag);
+        if (keys.length > 0) {
+            throw new SchemaInvalid(`${kind}:${key}:app:keys:${keys.join(',')}`);
+        }
+        let validate = bags.get(declared);
+        if (validate == null) {
+            validate = makeAjv().compile(bagSchemaOf(app, kind));
+            bags.set(declared, validate);
+        }
+        if (!validate(bag ?? {})) {
+            throw new SchemaInvalid(`${kind}:${key}:app:${validateHelper.ajvErrorText(validate.errors)}`);
+        }
+    };
+    const fieldsSchemaOf = (type, app) => {
+        const base = app?.card;
+        const own = type.fields;
+        if (base == null || type.kind !== WorkcardKind.Card) {
+            return own;
+        }
+        const declared = objectSchemaOf(base);
+        if (!isObject(own)) {
+            return own === false ? false : declared;
+        }
+        // The type's schema stays the root, so its own `#/…` references keep resolving.
+        const admitted = Object.fromEntries(Object.keys(base.properties).map(name => [name, {}]));
+        return {
+            ...own,
+            properties: { ...admitted, ...(isObject(own.properties) ? own.properties : {}) },
+            allOf: [...(Array.isArray(own.allOf) ? own.allOf : []), declared],
+        };
+    };
+    return { merge, assertDeclarations, bagSchemaOf, assertBag, fieldsSchemaOf };
+};
+export const appSchemaHelper = createAppSchemaHelper();
+//# sourceMappingURL=app.js.map

package/build/helpers/app.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"app.js","sourceRoot":"","sources":["../../src/helpers/app.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAG5C,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAClE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAEvD,MAAM,SAAS,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAA;AAEjG,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAoC,EAAE,CACpE,KAAK,IAAI,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAErE,MAAM,CAAC,MAAM,qBAAqB,GAAG,GAAoB,EAAE;IACzD,4FAA4F;IAC5F,8CAA8C;IAC9C,MAAM,IAAI,GAAG,IAAI,OAAO,EAAuC,CAAA;IAE/D,MAAM,cAAc,GAAG,CAAC,QAA2B,EAA2B,EAAE,CAAC,CAAC;QAChF,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvF,CAAC,CAAA;IAEF,MAAM,UAAU,GAAG,CAAC,GAAwC,EAAE,IAAwB,EAAiC,EAAE,CACvH,IAAI,KAAK,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAA;IAE1D,MAAM,kBAAkB,GAA0C,GAAG,CAAC,EAAE;QACtE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,aAAa,CAAC,kBAAkB,CAAC,CAAA;QAC7C,CAAC;QACD,MAAM,KAAK,GAAsB,SAAS,CAAA;QAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;QACnE,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,aAAa,CAAC,YAAY,QAAQ,EAAE,CAAC,CAAA;QACjD,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAY,GAAG,CAAC,IAAI,CAAC,CAAA;YACnC,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;gBACrB,SAAQ;YACV,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,aAAa,CAAC,OAAO,IAAI,SAAS,CAAC,CAAA;YAC/C,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;YAC5E,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;gBACpB,MAAM,IAAI,aAAa,CAAC,OAAO,IAAI,YAAY,OAAO,EAAE,CAAC,CAAA;YAC3D,CAAC;YACD,IAAI,QAAQ,CAAC,IAAI,IAAI,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxD,MAAM,IAAI,aAAa,CAAC,OAAO,IAAI,OAAO,CAAC,CAAA;YAC7C,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,aAAa,CAAC,OAAO,IAAI,aAAa,CAAC,CAAA;YACnD,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;YAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;YAC3F,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;gBACpB,MAAM,IAAI,aAAa,CAAC,OAAO,IAAI,SAAS,OAAO,EAAE,CAAC,CAAA;YACxD,CAAC;YACD,MAAM,QAAQ,GAAY,QAAQ,CAAC,QAAQ,CAAA;YAC3C,IAAI,QAAQ,IAAI,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC;gBACtG,MAAM,IAAI,aAAa,CAAC,OAAO,IAAI,WAAW,CAAC,CAAA;YACjD,CAAC;YACD,MAAM,OAAO,GAAI,QAAiC,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;YACvF,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;gBACpB,MAAM,IAAI,aAAa,CAAC,OAAO,IAAI,aAAa,OAAO,EAAE,CAAC,CAAA;YAC5D,CAAC;YACD,IAAI,CAAC;gBACH,OAAO,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,QAAwC,CAAC,CAAC,CAAA;YAC7E,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,IAAI,aAAa,CAAC,OAAO,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAC5D,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IAED,MAAM,KAAK,GAA6B,OAAO,CAAC,EAAE;QAChD,MAAM,MAAM,GAA4B,EAAE,CAAA;QAC1C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBACnB,SAAQ;YACV,CAAC;YACD,kBAAkB,CAAC,MAAM,CAAC,CAAA;YAC1B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;gBACzB,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;oBACjB,SAAQ;gBACV,CAAC;gBACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;gBAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;gBACvF,MAAM,CAAC,IAAI,CAAC,GAAG;oBACb,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE;oBAC3E,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC7C,CAAA;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5D,CAAC,CAAA;IAED,MAAM,WAAW,GAAmC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;QAChE,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAEtC,OAAO,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,cAAc,CAAC,QAAQ,CAAC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAA;IACpG,CAAC,CAAA;IAED,MAAM,SAAS,GAAiC,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACtE,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QACtC,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;gBAChB,MAAM,IAAI,aAAa,CAAC,GAAG,IAAI,IAAI,GAAG,iBAAiB,CAAC,CAAA;YAC1D,CAAC;YACD,OAAM;QACR,CAAC;QACD,MAAM,IAAI,GAAG,cAAc,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAA;QACjD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,aAAa,CAAC,GAAG,IAAI,IAAI,GAAG,aAAa,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACtE,CAAC;QACD,IAAI,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACjC,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,QAAQ,GAAG,OAAO,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAW,CAAC,CAAA;YAC9D,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;QAC9B,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,aAAa,CAAC,GAAG,IAAI,IAAI,GAAG,QAAQ,cAAc,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAC/F,CAAC;IACH,CAAC,CAAA;IAED,MAAM,cAAc,GAAsC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;QACtE,MAAM,IAAI,GAAG,GAAG,EAAE,IAAI,CAAA;QACtB,MAAM,GAAG,GAAc,IAAI,CAAC,MAAM,CAAA;QAClC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,CAAC;YACpD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;QACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAA;QACzC,CAAC;QACD,gFAAgF;QAChF,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;QAEzF,OAAO;YACL,GAAG,GAAG;YACN,UAAU,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YAChF,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;SAClE,CAAA;IACH,CAAC,CAAA;IAED,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,CAAA;AAC9E,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,qBAAqB,EAAE,CAAA"}

package/build/helpers/index.d.ts

@@ -1,3 +1,4 @@
+export type * from './app/types.js';
 export type * from './apply/types.js';
 export type * from './card/types.js';
 export type * from './changes/types.js';
@@ -9,6 +10,7 @@ export type * from './specification/types.js';
 export type * from './status/types.js';
 export type * from './validate/types.js';
 export type * from './wire/types.js';
+export * from './app.js';
 export * from './apply.js';
 export * from './card.js';
 export * from './changes.js';

package/build/helpers/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/helpers/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,kBAAkB,CAAA;AACrC,mBAAmB,iBAAiB,CAAA;AACpC,mBAAmB,oBAAoB,CAAA;AACvC,mBAAmB,iBAAiB,CAAA;AACpC,mBAAmB,kBAAkB,CAAA;AACrC,mBAAmB,kBAAkB,CAAA;AACrC,mBAAmB,mBAAmB,CAAA;AACtC,mBAAmB,0BAA0B,CAAA;AAC7C,mBAAmB,mBAAmB,CAAA;AACtC,mBAAmB,qBAAqB,CAAA;AACxC,mBAAmB,iBAAiB,CAAA;AAEpC,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,cAAc,CAAA;AAC5B,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA;AAC7B,cAAc,WAAW,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/helpers/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,gBAAgB,CAAA;AACnC,mBAAmB,kBAAkB,CAAA;AACrC,mBAAmB,iBAAiB,CAAA;AACpC,mBAAmB,oBAAoB,CAAA;AACvC,mBAAmB,iBAAiB,CAAA;AACpC,mBAAmB,kBAAkB,CAAA;AACrC,mBAAmB,kBAAkB,CAAA;AACrC,mBAAmB,mBAAmB,CAAA;AACtC,mBAAmB,0BAA0B,CAAA;AAC7C,mBAAmB,mBAAmB,CAAA;AACtC,mBAAmB,qBAAqB,CAAA;AACxC,mBAAmB,iBAAiB,CAAA;AAEpC,cAAc,UAAU,CAAA;AACxB,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,cAAc,CAAA;AAC5B,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA;AAC7B,cAAc,WAAW,CAAA"}

package/build/helpers/index.js

@@ -1,3 +1,4 @@
+export * from './app.js';
 export * from './apply.js';
 export * from './card.js';
 export * from './changes.js';

package/build/helpers/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/helpers/index.ts"],"names":[],"mappings":"AAYA,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,cAAc,CAAA;AAC5B,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA;AAC7B,cAAc,WAAW,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/helpers/index.ts"],"names":[],"mappings":"AAaA,cAAc,UAAU,CAAA;AACxB,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,cAAc,CAAA;AAC5B,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA;AAC7B,cAAc,WAAW,CAAA"}

package/build/helpers/scoped/types.d.ts

@@ -1,6 +1,6 @@
 import type { AssigneeTypeSchema } from '../../resources/types.js';
 import type { PlanningSchemaKind } from '../../consts.js';
-import type { PlanningSchemaBundle, PlanningSchemaRegistry, SchemaScope, ScopedSchemaBundle, ScopedSchemaRecord, ScopedSchemaRegistry, StatusFlowSchema, WorkcardTypeSchema } from '../../types.js';
+import type { PlanningAppDeclarations, PlanningSchemaBundle, PlanningSchemaRegistry, SchemaScope, ScopedSchemaBundle, ScopedSchemaRecord, ScopedSchemaRegistry, StatusFlowSchema, WorkcardTypeSchema } from '../../types.js';
 /** Data-defined (scoped) types and flows: their keys, the checks a write passes, and the layer they resolve to. */
 export interface ScopedSchemaHelper {
     /** One layer's identity of a record: organization, project (or none), kind, key. */
@@ -15,21 +15,30 @@ export interface ScopedSchemaHelper {
      */
     assertOverridable: (code: Pick<PlanningSchemaRegistry, 'has' | 'type' | 'flows' | 'assigneeTypes'>, kind: PlanningSchemaKind, key: string) => void;
     /**
-     * The closed-form checks of a data-defined flow: the declaration's own schema, at least one status,
-     * unique status keys, every rule's `to` declared, and a `from` that is `'*'` or a list of declared
-     * statuses.
+     * The closed-form checks of a data-defined assignee type: the declaration's own schema and a
+     * `fields` schema that compiles.
      *
      * @throws {SchemaInvalid}
      */
     assertAssigneeTypeSchema: (schema: AssigneeTypeSchema) => void;
-    assertFlowSchema: (flow: StatusFlowSchema) => void;
+    /**
+     * The closed-form checks of a data-defined flow: the declaration's own schema, at least one status,
+     * unique status keys, every rule's `to` declared, a `from` that is `'*'` or a list of declared
+     * statuses, and its `app` bag against the application's `flow` declaration
+     * (`appSchemaHelper.assertBag` — refused when `app` declares none).
+     *
+     * @throws {SchemaInvalid}
+     */
+    assertFlowSchema: (flow: StatusFlowSchema, app?: PlanningAppDeclarations) => void;
     /**
      * The closed-form checks of a data-defined type: the declaration's own schema, the `card` kind,
-     * a `fields` schema that compiles, and unique flow ids every one of which resolves.
+     * its `app` bag against the application's `type` declaration (refused when `app` declares none),
+     * a `fields` schema that compiles together with the application's base card fields, and unique
+     * flow ids every one of which resolves.
      *
      * @throws {SchemaInvalid}
      */
-    assertTypeSchema: (type: WorkcardTypeSchema, flows: Pick<PlanningSchemaRegistry, 'flow'>) => void;
+    assertTypeSchema: (type: WorkcardTypeSchema, flows: Pick<PlanningSchemaRegistry, 'flow'>, app?: PlanningAppDeclarations) => void;
     /**
      * One layer resolved: the code bundle, overlaid by the organization-wide records, then by the
      * project's (when `scope.project` names one). Pure — every store and both sides of the wire resolve
@@ -42,6 +51,9 @@ export interface ScopedSchemaHelper {
      * - A retired record gives way to the nearest live declaration below it; a key retired in every
      *   layer resolves retired — present in `types`/`flows`, listed in `retired`.
      * - A data-defined declaration carries its record's `version`.
+     * - The code bundle's `app` declarations pass through as they are; a record's `app` bag is not
+     *   re-checked here (the write path checks it), so a record written under earlier declarations
+     *   still resolves.
      */
     resolveScopedBundle: (code: PlanningSchemaBundle, records: readonly ScopedSchemaRecord[], scope: SchemaScope & {
         revision?: number;

package/build/helpers/scoped/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/helpers/scoped/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAClE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AACzD,OAAO,KAAK,EACV,oBAAoB,EAAE,sBAAsB,EAAE,WAAW,EAAE,kBAAkB,EAAE,kBAAkB,EACjG,oBAAoB,EAAE,gBAAgB,EAAE,kBAAkB,EAC3D,MAAM,gBAAgB,CAAA;AAEvB,mHAAmH;AACnH,MAAM,WAAW,kBAAkB;IACjC,oFAAoF;IACpF,eAAe,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,kBAAkB,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,MAAM,CAAA;IACtG,6EAA6E;IAC7E,WAAW,EAAE,CAAC,IAAI,EAAE,kBAAkB,EAAE,UAAU,EAAE,kBAAkB,GAAG,gBAAgB,GAAG,kBAAkB,KAAK,MAAM,CAAA;IACzH;;;;;OAKG;IACH,iBAAiB,EAAE,CACjB,IAAI,EAAE,IAAI,CAAC,sBAAsB,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,KAClH,IAAI,CAAA;IACT;;;;;;OAMG;IACH,wBAAwB,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,IAAI,CAAA;IAC9D,gBAAgB,EAAE,CAAC,IAAI,EAAE,gBAAgB,KAAK,IAAI,CAAA;IAClD;;;;;OAKG;IACH,gBAAgB,EAAE,CAAC,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI,CAAC,sBAAsB,EAAE,MAAM,CAAC,KAAK,IAAI,CAAA;IACjG;;;;;;;;;;;;OAYG;IACH,mBAAmB,EAAE,CACnB,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,SAAS,kBAAkB,EAAE,EAAE,KAAK,EAAE,WAAW,GAAG;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,KAC3G,kBAAkB,CAAA;IACvB;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,oBAAoB,CAAA;IACtE;;;OAGG;IACH,SAAS,EAAE,CAAC,MAAM,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAA;CAC5E"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/helpers/scoped/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAClE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AACzD,OAAO,KAAK,EACV,uBAAuB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,WAAW,EAAE,kBAAkB,EAAE,kBAAkB,EAC1H,oBAAoB,EAAE,gBAAgB,EAAE,kBAAkB,EAC3D,MAAM,gBAAgB,CAAA;AAEvB,mHAAmH;AACnH,MAAM,WAAW,kBAAkB;IACjC,oFAAoF;IACpF,eAAe,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,kBAAkB,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,MAAM,CAAA;IACtG,6EAA6E;IAC7E,WAAW,EAAE,CAAC,IAAI,EAAE,kBAAkB,EAAE,UAAU,EAAE,kBAAkB,GAAG,gBAAgB,GAAG,kBAAkB,KAAK,MAAM,CAAA;IACzH;;;;;OAKG;IACH,iBAAiB,EAAE,CACjB,IAAI,EAAE,IAAI,CAAC,sBAAsB,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,KAClH,IAAI,CAAA;IACT;;;;;OAKG;IACH,wBAAwB,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,IAAI,CAAA;IAC9D;;;;;;;OAOG;IACH,gBAAgB,EAAE,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,uBAAuB,KAAK,IAAI,CAAA;IACjF;;;;;;;OAOG;IACH,gBAAgB,EAAE,CAAC,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI,CAAC,sBAAsB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,uBAAuB,KAAK,IAAI,CAAA;IAChI;;;;;;;;;;;;;;;OAeG;IACH,mBAAmB,EAAE,CACnB,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,SAAS,kBAAkB,EAAE,EAAE,KAAK,EAAE,WAAW,GAAG;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,KAC3G,kBAAkB,CAAA;IACvB;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,oBAAoB,CAAA;IACtE;;;OAGG;IACH,SAAS,EAAE,CAAC,MAAM,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAA;CAC5E"}

package/build/helpers/scoped.d.ts

@@ -1,6 +1,6 @@
 import type { AssigneeTypeSchema } from '../resources/types.js';
 import { PlanningSchemaKind } from '../consts.js';
-import type { PlanningSchemaBundle, PlanningSchemaRegistry, SchemaScope, ScopedSchemaBundle, ScopedSchemaRecord, ScopedSchemaRegistry, StatusFlowSchema, WorkcardTypeSchema } from '../types.js';
+import type { PlanningAppDeclarations, PlanningSchemaBundle, PlanningSchemaRegistry, SchemaScope, ScopedSchemaBundle, ScopedSchemaRecord, ScopedSchemaRegistry, StatusFlowSchema, WorkcardTypeSchema } from '../types.js';
 import type { ScopedSchemaHelper } from './scoped/types.js';
 export declare const createScopedSchemaHelper: () => ScopedSchemaHelper;
 export declare const scopedSchemaHelper: ScopedSchemaHelper;
@@ -11,9 +11,9 @@ export declare const schemaKeyOf: (kind: PlanningSchemaKind, definition: Workcar
 /** @deprecated compat:factory-refactor — use `scopedSchemaHelper.assertOverridable(…)` */
 export declare const assertOverridable: (code: Pick<PlanningSchemaRegistry, 'has' | 'type' | 'flows' | 'assigneeTypes'>, kind: PlanningSchemaKind, key: string) => void;
 /** @deprecated compat:factory-refactor — use `scopedSchemaHelper.assertFlowSchema(…)` */
-export declare const assertFlowSchema: (flow: StatusFlowSchema) => void;
+export declare const assertFlowSchema: (flow: StatusFlowSchema, app?: PlanningAppDeclarations) => void;
 /** @deprecated compat:factory-refactor — use `scopedSchemaHelper.assertTypeSchema(…)` */
-export declare const assertTypeSchema: (type: WorkcardTypeSchema, flows: Pick<PlanningSchemaRegistry, 'flow'>) => void;
+export declare const assertTypeSchema: (type: WorkcardTypeSchema, flows: Pick<PlanningSchemaRegistry, 'flow'>, app?: PlanningAppDeclarations) => void;
 /** @deprecated compat:factory-refactor — use `scopedSchemaHelper.resolveScopedBundle(…)` */
 export declare const resolveScopedBundle: (code: PlanningSchemaBundle, records: readonly ScopedSchemaRecord[], scope: SchemaScope & {
     revision?: number;

package/build/helpers/scoped.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scoped.d.ts","sourceRoot":"","sources":["../../src/helpers/scoped.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAG/D,OAAO,EAAE,kBAAkB,EAA8B,MAAM,cAAc,CAAA;AAI7E,OAAO,KAAK,EACK,oBAAoB,EAAE,sBAAsB,EAAE,WAAW,EAAE,kBAAkB,EAC5F,kBAAkB,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,kBAAkB,EAC/E,MAAM,aAAa,CAAA;AACpB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AAM3D,eAAO,MAAM,wBAAwB,QAAO,kBAiO3C,CAAA;AAED,eAAO,MAAM,kBAAkB,oBAA6B,CAAA;AAE5D,wFAAwF;AACxF,eAAO,MAAM,eAAe,WAAY,IAAI,CAAC,kBAAkB,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC,KAAG,MAChE,CAAA;AAE5C,oFAAoF;AACpF,eAAO,MAAM,WAAW,SAAU,kBAAkB,cAAc,kBAAkB,GAAG,gBAAgB,GAAG,kBAAkB,KAAG,MAC7E,CAAA;AAElD,0FAA0F;AAC1F,eAAO,MAAM,iBAAiB,SACtB,IAAI,CAAC,sBAAsB,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,GAAG,eAAe,CAAC,QAAQ,kBAAkB,OAAO,MAAM,KACpH,IAA6D,CAAA;AAEhE,yFAAyF;AACzF,eAAO,MAAM,gBAAgB,SAAU,gBAAgB,KAAG,IAAiD,CAAA;AAE3G,yFAAyF;AACzF,eAAO,MAAM,gBAAgB,SAAU,kBAAkB,SAAS,IAAI,CAAC,sBAAsB,EAAE,MAAM,CAAC,KAAG,IACvD,CAAA;AAElD,4FAA4F;AAC5F,eAAO,MAAM,mBAAmB,SACxB,oBAAoB,WAAW,SAAS,kBAAkB,EAAE,SAAS,WAAW,GAAG;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,KAC7G,kBAAkF,CAAA;AAErF,yFAAyF;AACzF,eAAO,MAAM,gBAAgB,WAAY,kBAAkB,KAAG,oBAAmE,CAAA;AAEjI,kFAAkF;AAClF,eAAO,MAAM,SAAS,WAAY,kBAAkB,QAAQ,MAAM,KAAG,MAAM,GAAG,SAAuD,CAAA"}
+{"version":3,"file":"scoped.d.ts","sourceRoot":"","sources":["../../src/helpers/scoped.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAG/D,OAAO,EAAE,kBAAkB,EAA8B,MAAM,cAAc,CAAA;AAI7E,OAAO,KAAK,EACK,uBAAuB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,WAAW,EAAE,kBAAkB,EACrH,kBAAkB,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,kBAAkB,EAC/E,MAAM,aAAa,CAAA;AAEpB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AAM3D,eAAO,MAAM,wBAAwB,QAAO,kBAqO3C,CAAA;AAED,eAAO,MAAM,kBAAkB,oBAA6B,CAAA;AAE5D,wFAAwF;AACxF,eAAO,MAAM,eAAe,WAAY,IAAI,CAAC,kBAAkB,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC,KAAG,MAChE,CAAA;AAE5C,oFAAoF;AACpF,eAAO,MAAM,WAAW,SAAU,kBAAkB,cAAc,kBAAkB,GAAG,gBAAgB,GAAG,kBAAkB,KAAG,MAC7E,CAAA;AAElD,0FAA0F;AAC1F,eAAO,MAAM,iBAAiB,SACtB,IAAI,CAAC,sBAAsB,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,GAAG,eAAe,CAAC,QAAQ,kBAAkB,OAAO,MAAM,KACpH,IAA6D,CAAA;AAEhE,yFAAyF;AACzF,eAAO,MAAM,gBAAgB,SAAU,gBAAgB,QAAQ,uBAAuB,KAAG,IAAsD,CAAA;AAE/I,yFAAyF;AACzF,eAAO,MAAM,gBAAgB,SAAU,kBAAkB,SAAS,IAAI,CAAC,sBAAsB,EAAE,MAAM,CAAC,QAAQ,uBAAuB,KAAG,IACjF,CAAA;AAEvD,4FAA4F;AAC5F,eAAO,MAAM,mBAAmB,SACxB,oBAAoB,WAAW,SAAS,kBAAkB,EAAE,SAAS,WAAW,GAAG;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,KAC7G,kBAAkF,CAAA;AAErF,yFAAyF;AACzF,eAAO,MAAM,gBAAgB,WAAY,kBAAkB,KAAG,oBAAmE,CAAA;AAEjI,kFAAkF;AAClF,eAAO,MAAM,SAAS,WAAY,kBAAkB,QAAQ,MAAM,KAAG,MAAM,GAAG,SAAuD,CAAA"}