@sanoma-ai/workflows 0.2.0 → 0.4.1

package/dist/scenarios.d.ts

@@ -8,14 +8,18 @@ export interface RunScenarioOptions {
     client: SanomaClient;
     /** What the scenario was loaded from (`loadScenarios`), whose feature files its run is checked against: the resolved config. */
     scope: Scope;
-    /** Who starts the run. Defaults to `{ id: "scenarios" }`. */
-    startedBy?: Principal;
+    /**
+     * Who starts the run, by id (`"ada"` or `{ id: "ada" }`), unless the scenario says who is acting.
+     * Defaults to `scenarios`, one of the runtime's own agents.
+     */
+    startedBy?: Principal | string;
     /** How long the run may take, passed to `drive`. */
     timeoutMs?: number;
 }
 /**
- * Runs a scenario as a sandbox run: starts its workflow with its input, decides its approvals
- * as it says, and checks the run's ledger against it (`check`: Cucumber runs its `Then` steps).
+ * Runs a scenario as a sandbox run: starts its workflow with its input, as whoever it says is
+ * acting, decides its approvals as it says, and checks the run's ledger against it (`check`:
+ * Cucumber runs its `Then` steps).
  */
 export declare function runScenario(scenario: Scenario, { client, scope, startedBy, timeoutMs }: RunScenarioOptions): Promise<{
     runId: string;
@@ -33,8 +37,8 @@ export interface ScenarioFailure {
 export interface RunScenariosOptions {
     /** The Postgres the worker and the client run on, instead of the config's: a database of its own. */
     databaseUrl: string;
-    /** Who starts the runs. Defaults to `{ id: "scenarios" }`. */
-    startedBy?: Principal;
+    /** Who starts the runs whose scenario does not say who is acting (`runScenario`'s). */
+    startedBy?: Principal | string;
     /** How long each run may take (`drive`'s; 15 seconds by default). */
     timeoutMs?: number;
     /** Receives a line per scenario as it ends. */

package/dist/scenarios.js

@@ -5,11 +5,15 @@ import { check, drive, loadScenarios } from "./scenario.js";
 import { errorMessage } from "./shared.js";
 import { startWorker } from "./worker.js";
 /**
- * Runs a scenario as a sandbox run: starts its workflow with its input, decides its approvals
- * as it says, and checks the run's ledger against it (`check`: Cucumber runs its `Then` steps).
+ * Runs a scenario as a sandbox run: starts its workflow with its input, as whoever it says is
+ * acting, decides its approvals as it says, and checks the run's ledger against it (`check`:
+ * Cucumber runs its `Then` steps).
  */
-export async function runScenario(scenario, { client, scope, startedBy = { id: "scenarios" }, timeoutMs }) {
-    const runId = await client.start(scenario.workflow, scenario.input, { startedBy, sandbox: scenario.name });
+export async function runScenario(scenario, { client, scope, startedBy = "scenarios", timeoutMs }) {
+    const runId = await client.start(scenario.workflow, scenario.input, {
+        startedBy: scenario.startedBy ?? startedBy,
+        sandbox: scenario.name,
+    });
     const run = await drive(client, runId, scenario, { timeoutMs });
     const ledger = await client.ledger(runId);
     return { runId, run, ledger, checks: await check(scope, scenario, ledger) };

package/dist/scenarios.js.map

@@ -1 +1 @@
-{"version":3,"file":"scenarios.js","sourceRoot":"","sources":["../src/scenarios.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,YAAY,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAqB,MAAM,aAAa,CAAC;AAE/D,OAAO,EAAqB,YAAY,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAc,KAAK,EAAE,KAAK,EAAE,aAAa,EAA6B,MAAM,eAAe,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAoB1C;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,QAAkB,EAClB,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,GAAG,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,SAAS,EAAsB;IAEjF,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3G,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1C,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;AAC9E,CAAC;AAqBD;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAoB,EACpB,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAuB;IAE/D,MAAM,MAAM,GAAiB,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,CAAC;IAChF,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAsB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QACnE,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,cAAc;QACpB,OAAO;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAEtD,8EAA8E;IAC9E,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzE,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC;YACH,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;gBAC7B,IAAI,CAAC;oBACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;oBAClG,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;wBACvB,IAAI,CAAC,CAAC,CAAC,EAAE;4BAAE,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,IAAI,cAAc,EAAE,CAAC,CAAC;oBACzG,CAAC;gBACH,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,IAAI,GAAG,QAAQ,CAAC,QAAQ,OAAO,CAAC;oBAChG,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACnF,CAAC;gBACD,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC;gBACpC,IAAI,EAAE;oBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACnC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;QACvB,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC"}
+{"version":3,"file":"scenarios.js","sourceRoot":"","sources":["../src/scenarios.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,YAAY,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAqB,MAAM,aAAa,CAAC;AAE/D,OAAO,EAAqB,YAAY,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAc,KAAK,EAAE,KAAK,EAAE,aAAa,EAA6B,MAAM,eAAe,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAuB1C;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,QAAkB,EAClB,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,GAAG,WAAW,EAAE,SAAS,EAAsB;IAEzE,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE;QAClE,SAAS,EAAE,QAAQ,CAAC,SAAS,IAAI,SAAS;QAC1C,OAAO,EAAE,QAAQ,CAAC,IAAI;KACvB,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1C,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;AAC9E,CAAC;AAqBD;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAoB,EACpB,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAuB;IAE/D,MAAM,MAAM,GAAiB,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,CAAC;IAChF,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAsB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QACnE,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,cAAc;QACpB,OAAO;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAEtD,8EAA8E;IAC9E,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzE,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC;YACH,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;gBAC7B,IAAI,CAAC;oBACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;oBAClG,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;wBACvB,IAAI,CAAC,CAAC,CAAC,EAAE;4BAAE,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,IAAI,cAAc,EAAE,CAAC,CAAC;oBACzG,CAAC;gBACH,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,IAAI,GAAG,QAAQ,CAAC,QAAQ,OAAO,CAAC;oBAChG,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACnF,CAAC;gBACD,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC;gBACpC,IAAI,EAAE;oBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACnC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;QACvB,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,32 @@
+import type { DetailedError, RecordType, SchemaJson, Type } from "@cedar-policy/cedar-wasm/nodejs";
+import type { ResolvedConfig } from "./config.ts";
+import { type PeopleResource } from "./shared.ts";
+/** `@cedar-policy/cedar-wasm`'s Node build, loaded (synchronously, once) on first use, so a process that never decides with Cedar never loads it. */
+export declare const cedarWasm: () => typeof import("@cedar-policy/cedar-wasm/nodejs");
+/** The schema as Cedar's JSON format has it. */
+export type CedarSchemaJson = SchemaJson<string>;
+/** Where the schema's text is written, under a company's root. */
+export declare const SCHEMA_FILE: string;
+/** The schema's namespace: policies name `Sanoma::Group::"finance"`, `Sanoma::Action::"effect:money"`. */
+export declare const NAMESPACE = "Sanoma";
+/** The action group every workflow start (`workflow:<name>`) is in. */
+export declare const START = "start";
+/**
+ * The Cedar schema for a resolved config and its people (`buildSchema`), made once for each pair:
+ * validating, deciding and writing it share one.
+ */
+export declare function schemaOf(resolved: Pick<ResolvedConfig, "ops" | "workflows" | "collections">, people: readonly PeopleResource[]): CedarSchemaJson;
+/** The schema as Cedar's text, through the package's own `schemaToText`: what `.sanoma/schema.cedarschema` holds. */
+export declare function schemaText(schema: CedarSchemaJson): string;
+/** Cedar's message, with its help when it has one. */
+export declare const messageOf: (e: DetailedError) => string;
+/** An action's context type in the schema: a record, when the action is there. */
+export declare const contextTypeOf: (schema: CedarSchemaJson, action: string) => (RecordType<string> & {
+    type: "Record";
+}) | undefined;
+/**
+ * A value as Cedar takes it for a type `schemaOf` wrote (`cedarType`'s other side): a record's
+ * fields it declares only, a set's elements, a number where it is a `String` as text. An unknown
+ * (`{ __extn: unknown }`) passes as it is; what does not fit is left out (undefined), as `null` is.
+ */
+export declare function cedarValue(value: unknown, type: Type<string>): unknown;

package/dist/schema.js

@@ -0,0 +1,225 @@
+import { createRequire } from "node:module";
+import { join } from "node:path";
+import { recordSchemaOf } from "./collection.js";
+import { jsonSchemaOf } from "./define.js";
+import { isObject } from "./resource.js";
+import { DATA_VENDOR, EFFECTS, groupNamesOf, WORKFLOW_ACTION } from "./shared.js";
+// The Cedar schema a company's policies are validated and decided against: made from the
+// resolved config and the people, in memory for the evaluator, and written as text to
+// `.sanoma/schema.cedarschema` for the policies' author.
+const require = createRequire(import.meta.url);
+let wasm;
+/** `@cedar-policy/cedar-wasm`'s Node build, loaded (synchronously, once) on first use, so a process that never decides with Cedar never loads it. */
+export const cedarWasm = () => (wasm ??= require("@cedar-policy/cedar-wasm/nodejs"));
+/** Where the schema's text is written, under a company's root. */
+export const SCHEMA_FILE = join(".sanoma", "schema.cedarschema");
+/** The schema's namespace: policies name `Sanoma::Group::"finance"`, `Sanoma::Action::"effect:money"`. */
+export const NAMESPACE = "Sanoma";
+/** The action group every workflow start (`workflow:<name>`) is in. */
+export const START = "start";
+const STRING = { type: "EntityOrCommon", name: "String" };
+const LONG = { type: "EntityOrCommon", name: "Long" };
+const BOOL = { type: "EntityOrCommon", name: "Bool" };
+const entity = (name) => ({ type: "Entity", name });
+const record = (attributes) => ({
+    type: "Record",
+    attributes,
+});
+const optional = (type) => ({ ...type, required: false });
+/**
+ * The Cedar type of a zod schema's parsed value (`io: "output"`: what the policy is given, defaults
+ * filled and transforms applied), through its JSON Schema; undefined when it has none.
+ */
+const typeOf = (schema) => {
+    const json = jsonSchemaOf(schema, "output");
+    return cedarType(json, { root: json, seen: new Set() });
+};
+/** A context's `input`, typed from a zod schema: none when it has no Cedar type. */
+const input = (schema) => {
+    const type = typeOf(schema);
+    return type ? { input: type } : {};
+};
+/** A collection's operations that change a record, whose context has the record as it was (`before`). */
+const WRITES = new Set(["save", "delete"]);
+/**
+ * The Cedar schema for a resolved config and its people, namespace `Sanoma`:
+ *
+ * - `entity Group enum [...]`, the declared groups and `agents`, so a policy naming another fails
+ *   validation; `entity Principal in [Group] { onBehalfOf?: Principal }`; `Collection`;
+ *   `Target in [Collection]`; `Workflow`;
+ * - an action per operation id, in its effect's group (`effect:money`), on a `Target`, with
+ *   `context` `{ input, before? }`: `input` from the operation's input schema, `before` the record
+ *   as it was for a collection's `save` and `delete`;
+ * - `workflow:<name>` per workflow, in the group `start`, on a `Workflow`, with its `input`.
+ *
+ * Zod to Cedar, through the JSON Schema of the parsed value: string and enum `String`, integer `Long`, boolean `Bool`,
+ * object a record (its optional and nullable fields optional), array a `Set`; a decimal number
+ * is a `String`; a field with no Cedar type (a union of types, a map, a recursive type) is left
+ * out, so a policy naming it fails validation. Pure: the same config and people give the same schema.
+ */
+function buildSchema(resolved, people) {
+    const applies = (resource, context) => ({
+        principalTypes: ["Principal"],
+        resourceTypes: [resource],
+        context: record(context),
+    });
+    const actions = { [START]: {} };
+    for (const effect of EFFECTS)
+        actions[`effect:${effect}`] = {};
+    for (const op of [...resolved.ops.values()].toSorted((a, b) => a.id.localeCompare(b.id))) {
+        const collection = op.vendor === DATA_VENDOR && WRITES.has(op.name) ? resolved.collections.get(op.resource) : undefined;
+        const before = collection && typeOf(recordSchemaOf(collection));
+        actions[op.id] = {
+            memberOf: [{ id: `effect:${op.effect}` }],
+            appliesTo: applies("Target", { ...input(op.input), ...(before && { before: optional(before) }) }),
+        };
+    }
+    for (const name of [...resolved.workflows.keys()].toSorted()) {
+        actions[`${WORKFLOW_ACTION}${name}`] = {
+            memberOf: [{ id: START }],
+            appliesTo: applies("Workflow", input(resolved.workflows.get(name).input)),
+        };
+    }
+    const entityTypes = {
+        Group: { enum: groupNamesOf(people) },
+        Principal: { memberOfTypes: ["Group"], shape: record({ onBehalfOf: optional(entity("Principal")) }) },
+        Collection: {},
+        Target: { memberOfTypes: ["Collection"] },
+        Workflow: {},
+    };
+    return { [NAMESPACE]: { entityTypes, actions } };
+}
+const schemas = new WeakMap();
+/**
+ * The Cedar schema for a resolved config and its people (`buildSchema`), made once for each pair:
+ * validating, deciding and writing it share one.
+ */
+export function schemaOf(resolved, people) {
+    let byPeople = schemas.get(resolved.ops);
+    if (!byPeople)
+        schemas.set(resolved.ops, (byPeople = new WeakMap()));
+    let schema = byPeople.get(people);
+    if (!schema)
+        byPeople.set(people, (schema = buildSchema(resolved, people)));
+    return schema;
+}
+/** The schema as Cedar's text, through the package's own `schemaToText`: what `.sanoma/schema.cedarschema` holds. */
+export function schemaText(schema) {
+    const answer = cedarWasm().schemaToText(schema);
+    if (answer.type === "failure") {
+        throw new Error(`The Cedar schema does not print: ${answer.errors.map(messageOf).join("; ")}`);
+    }
+    return answer.text;
+}
+/** The Cedar type of a JSON Schema (`jsonSchemaOf`'s, draft 2020-12), or undefined when it has none. */
+function cedarType(schema, typing) {
+    if (!isObject(schema) || typing.seen.has(schema))
+        return undefined;
+    if (typeof schema.$ref === "string") {
+        const defs = typing.root.$defs;
+        const target = schema.$ref.startsWith("#/$defs/") ? defs?.[schema.$ref.slice("#/$defs/".length)] : undefined;
+        return within(schema, typing, () => cedarType(target, typing));
+    }
+    const variants = schema.anyOf ?? schema.oneOf;
+    if (Array.isArray(variants)) {
+        const each = within(schema, typing, () => variants.filter((v) => !isNull(v)).map((v) => cedarType(v, typing)));
+        const first = each[0];
+        return first && each.every((t) => t && JSON.stringify(t) === JSON.stringify(first)) ? first : undefined;
+    }
+    const values = Array.isArray(schema.enum) ? schema.enum : "const" in schema ? [schema.const] : undefined;
+    if (values) {
+        if (values.every((v) => typeof v === "string"))
+            return STRING;
+        if (values.every((v) => Number.isSafeInteger(v)))
+            return LONG;
+        return values.every((v) => typeof v === "boolean") ? BOOL : undefined;
+    }
+    const types = Array.isArray(schema.type) ? schema.type.filter((t) => t !== "null") : [schema.type];
+    if (types.length !== 1)
+        return undefined;
+    switch (types[0]) {
+        case "string":
+        case "number":
+            // Cedar has no decimal number: one is compared as text.
+            return STRING;
+        case "integer":
+            return LONG;
+        case "boolean":
+            return BOOL;
+        case "array": {
+            const element = within(schema, typing, () => cedarType(schema.items, typing));
+            return element && { type: "Set", element };
+        }
+        case "object": {
+            // A map's keys are not known: it has no Cedar type.
+            if (!isObject(schema.properties))
+                return schema.additionalProperties ? undefined : record({});
+            const required = new Set(Array.isArray(schema.required) ? schema.required : []);
+            const attributes = {};
+            for (const [name, property] of Object.entries(schema.properties)) {
+                const type = within(schema, typing, () => cedarType(property, typing));
+                if (type)
+                    attributes[name] = required.has(name) && !allowsNull(property) ? type : optional(type);
+            }
+            return record(attributes);
+        }
+        default:
+            return undefined;
+    }
+}
+/** `type()` with `schema` marked as being typed, so a reference back to it is not followed. */
+function within(schema, typing, type) {
+    typing.seen.add(schema);
+    try {
+        return type();
+    }
+    finally {
+        typing.seen.delete(schema);
+    }
+}
+const isNull = (schema) => isObject(schema) && schema.type === "null";
+/** True when a JSON Schema accepts `null`: its value is then optional in Cedar, which has no null. */
+const allowsNull = (schema) => isObject(schema) &&
+    (isNull(schema) ||
+        (Array.isArray(schema.type) && schema.type.includes("null")) ||
+        [schema.anyOf, schema.oneOf].some((v) => Array.isArray(v) && v.some(isNull)));
+/** Cedar's message, with its help when it has one. */
+export const messageOf = (e) => (e.help ? `${e.message} (${e.help})` : e.message);
+/** An action's context type in the schema: a record, when the action is there. */
+export const contextTypeOf = (schema, action) => schema[NAMESPACE]?.actions[action]?.appliesTo?.context;
+/**
+ * A value as Cedar takes it for a type `schemaOf` wrote (`cedarType`'s other side): a record's
+ * fields it declares only, a set's elements, a number where it is a `String` as text. An unknown
+ * (`{ __extn: unknown }`) passes as it is; what does not fit is left out (undefined), as `null` is.
+ */
+export function cedarValue(value, type) {
+    if (value === null || value === undefined)
+        return undefined;
+    if (isObject(value) && "__extn" in value)
+        return value;
+    const t = type;
+    if (t.attributes) {
+        if (!isObject(value))
+            return undefined;
+        return Object.fromEntries(Object.entries(t.attributes).flatMap(([name, field]) => {
+            const shaped = cedarValue(value[name], field);
+            return shaped === undefined ? [] : [[name, shaped]];
+        }));
+    }
+    if (t.type === "Set") {
+        return Array.isArray(value)
+            ? value.map((v) => cedarValue(v, t.element)).filter((v) => v !== undefined)
+            : undefined;
+    }
+    switch (t.name) {
+        case STRING.name:
+            return typeof value === "string" ? value : typeof value === "number" ? String(value) : undefined;
+        case LONG.name:
+            return Number.isSafeInteger(value) ? value : undefined;
+        case BOOL.name:
+            return typeof value === "boolean" ? value : undefined;
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AASjC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAuB,eAAe,EAAE,MAAM,aAAa,CAAC;AAEvG,yFAAyF;AACzF,sFAAsF;AACtF,yDAAyD;AAEzD,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,IAAI,IAAkE,CAAC;AAEvE,qJAAqJ;AACrJ,MAAM,CAAC,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,iCAAiC,CAAgB,CAAE,CAAC;AAKrG,kEAAkE;AAClE,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;AAEjE,0GAA0G;AAC1G,MAAM,CAAC,MAAM,SAAS,GAAG,QAAQ,CAAC;AAElC,uEAAuE;AACvE,MAAM,CAAC,MAAM,KAAK,GAAG,OAAO,CAAC;AAE7B,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAW,CAAC;AACnE,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAW,CAAC;AAC/D,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAW,CAAC;AAC/D,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAU,CAAC;AACrE,MAAM,MAAM,GAAG,CAAC,UAAmD,EAA2C,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,QAAQ;IACd,UAAU;CACX,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,IAAkB,EAA2B,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AAEjG;;;GAGG;AACH,MAAM,MAAM,GAAG,CAAC,MAA0C,EAAE,EAAE;IAC5D,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5C,OAAO,SAAS,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;AAC1D,CAAC,CAAC;AAEF,oFAAoF;AACpF,MAAM,KAAK,GAAG,CAAC,MAA0C,EAA2C,EAAE;IACpG,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5B,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF,yGAAyG;AACzG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE3C;;;;;;;;;;;;;;;GAeG;AACH,SAAS,WAAW,CAClB,QAAmE,EACnE,MAAiC;IAEjC,MAAM,OAAO,GAAG,CAAC,QAAgB,EAAE,OAAgD,EAAE,EAAE,CAAC,CAAC;QACvF,cAAc,EAAE,CAAC,WAAW,CAAC;QAC7B,aAAa,EAAE,CAAC,QAAQ,CAAC;QACzB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;KACzB,CAAC,CAAC;IACH,MAAM,OAAO,GAAuC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC;IACpE,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,OAAO,CAAC,UAAU,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC;IAC/D,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACzF,MAAM,UAAU,GACd,EAAE,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvG,MAAM,MAAM,GAAG,UAAU,IAAI,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC;QAChE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG;YACf,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;SAClG,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC7D,OAAO,CAAC,GAAG,eAAe,GAAG,IAAI,EAAE,CAAC,GAAG;YACrC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;YACzB,SAAS,EAAE,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC,CAAC;SAC3E,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAuC;QACtD,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE;QACrC,SAAS,EAAE,EAAE,aAAa,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE;QACrG,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,EAAE,aAAa,EAAE,CAAC,YAAY,CAAC,EAAE;QACzC,QAAQ,EAAE,EAAE;KACb,CAAC;IACF,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,OAAO,EAA+D,CAAC;AAE3F;;;GAGG;AACH,MAAM,UAAU,QAAQ,CACtB,QAAmE,EACnE,MAAiC;IAEjC,IAAI,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,QAAQ,GAAG,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC;IACrE,IAAI,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM;QAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,MAAM,GAAG,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5E,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,UAAU,CAAC,MAAuB;IAChD,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,oCAAoC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAQD,wGAAwG;AACxG,SAAS,SAAS,CAAC,MAAe,EAAE,MAAc;IAChD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IACnE,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAA4C,CAAC;QACtE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7G,OAAO,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;IAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/G,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1G,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzG,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YAAE,OAAO,MAAM,CAAC;QAC9D,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9D,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnG,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,QAAQ,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACjB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,wDAAwD;YACxD,OAAO,MAAM,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YAC9E,OAAO,OAAO,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAC7C,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,oDAAoD;YACpD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC;gBAAE,OAAO,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC9F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAChF,MAAM,UAAU,GAA4C,EAAE,CAAC;YAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;gBACvE,IAAI,IAAI;oBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACnG,CAAC;YACD,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;QAC5B,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+FAA+F;AAC/F,SAAS,MAAM,CAAI,MAAe,EAAE,MAAc,EAAE,IAAa;IAC/D,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxB,IAAI,CAAC;QACH,OAAO,IAAI,EAAE,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,MAAe,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC;AAE/E,sGAAsG;AACtG,MAAM,UAAU,GAAG,CAAC,MAAe,EAAW,EAAE,CAC9C,QAAQ,CAAC,MAAM,CAAC;IAChB,CAAC,MAAM,CAAC,MAAM,CAAC;QACb,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC5D,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAElF,sDAAsD;AACtD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAEjG,kFAAkF;AAClF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAuB,EAAE,MAAc,EAAE,EAAE,CACvE,MAAM,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,OAAgE,CAAC;AAElH;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,KAAc,EAAE,IAAkB;IAC3D,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACvD,MAAM,CAAC,GAAG,IAA0G,CAAC;IACrH,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;QACjB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACvC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE;YACrD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YAC9C,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CACH,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACzB,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,OAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;YAC5E,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,IAAI;YACd,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnG,KAAK,IAAI,CAAC,IAAI;YACZ,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACzD,KAAK,IAAI,CAAC,IAAI;YACZ,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/sdk.d.ts

@@ -0,0 +1,34 @@
+import type { ConfigDescription } from "./describe.ts";
+import { type CedarSchemaJson } from "./schema.ts";
+/** Where `writeApi` writes, under a company's root. */
+export declare const API_FILE: string;
+/** `describeConfig`'s problem on a workflow whose api name is taken: `taken` says by what. */
+export declare const apiNameProblem: (api: string, taken: string) => string;
+/**
+ * `.sanoma/api.ts` for a description: one record type per collection, and `CompanyApi` (not `Api`,
+ * which inside `declare module "sanoma/site"` is the module's own), one member per
+ * workflow (`apiNameOf`), per vendor of the operations a person may call directly (`OpEntry.direct`,
+ * by resource) and `data` for the collections, each with its JSDoc; then `Register`'s
+ * augmentation. Pure: the same description gives the same text. A workflow whose api name another
+ * has, `describeConfig`'s problem on its entry, is left out, and its problem is in `problems`.
+ */
+export declare function generateApi(description: ConfigDescription): {
+    source: string;
+    problems: string[];
+};
+/**
+ * Writes `<root>/.sanoma/api.ts` (`generateApi`) when its text differs from the file's, so an
+ * editor or a dev server sees no change when there is none; `wrote` says whether it did.
+ */
+export declare function writeApi(root: string, description: ConfigDescription): Promise<{
+    wrote: boolean;
+    file: string;
+}>;
+/**
+ * The generated files, each written when its text changed: `.sanoma/api.ts` (`writeApi`) and the
+ * Cedar schema's text, `.sanoma/schema.cedarschema` (`schemaText` of `schemaOf`). `wrote` lists
+ * those written, relative to the root.
+ */
+export declare function writeGenerated(root: string, description: ConfigDescription, schema: CedarSchemaJson): Promise<{
+    wrote: string[];
+}>;

package/dist/sdk.js

@@ -0,0 +1,168 @@
+import { mkdir, readFile, writeFile } from "node:fs/promises";
+import { dirname, join } from "node:path";
+import { isObject } from "./resource.js";
+import { SCHEMA_FILE, schemaText } from "./schema.js";
+import { apiNameOf, DATA_VENDOR, problemLine } from "./shared.js";
+// A company's generated SDK, `.sanoma/api.ts`: the types of a site's `api` from `sanoma/site`,
+// written from `describeConfig` (types and JSDoc only: `api` itself is one generic client). It
+// augments `sanoma/site`'s `Register`, so it is type-checked only through the sites' generated
+// tsconfig, never the company's root one (Node, no DOM).
+/** Where `writeApi` writes, under a company's root. */
+export const API_FILE = join(".sanoma", "api.ts");
+const API_NAME_PROBLEM = "A site calls this workflow api.";
+/** `describeConfig`'s problem on a workflow whose api name is taken: `taken` says by what. */
+export const apiNameProblem = (api, taken) => `${API_NAME_PROBLEM}${api}, ${taken}: rename it`;
+/**
+ * `.sanoma/api.ts` for a description: one record type per collection, and `CompanyApi` (not `Api`,
+ * which inside `declare module "sanoma/site"` is the module's own), one member per
+ * workflow (`apiNameOf`), per vendor of the operations a person may call directly (`OpEntry.direct`,
+ * by resource) and `data` for the collections, each with its JSDoc; then `Register`'s
+ * augmentation. Pure: the same description gives the same text. A workflow whose api name another
+ * has, `describeConfig`'s problem on its entry, is left out, and its problem is in `problems`.
+ */
+export function generateApi(description) {
+    const problems = [];
+    const members = [];
+    for (const wf of description.workflows) {
+        const taken = wf.problems.filter((p) => p.message.startsWith(API_NAME_PROBLEM));
+        if (taken.length)
+            problems.push(...taken.map((p) => problemLine({ file: wf.file, ...p })));
+        else
+            members.push(workflowMember(wf));
+    }
+    // The ops are sorted by id, so by vendor and then resource.
+    const direct = description.ops.filter((op) => op.direct && op.vendor !== DATA_VENDOR);
+    for (const [vendor, ops] of Map.groupBy(direct, (op) => op.vendor)) {
+        const title = description.vendors[vendor]?.title ?? vendor;
+        const resources = [...Map.groupBy(ops, (op) => op.resource)].map(([resource, own]) => member(undefined, resource, block(own.map(opMember))));
+        members.push(member(`${title}: the operations a person may call directly.`, vendor, block(resources)));
+    }
+    if (description.collections.length) {
+        const data = description.collections.map((c) => member(collectionDoc(c), c.name, `CollectionApi<${recordName(c)}>`));
+        members.push(member("The company's collections.", DATA_VENDOR, block(data)));
+    }
+    const source = [
+        "// Generated by sanoma from sanoma.config.ts and the connectors it names; do not edit.",
+        "// The types of `api` from sanoma/site: what a site may call, as the person on the page.",
+        'import type { CollectionApi, OpFn, WorkflowFn } from "sanoma/site";',
+        ...description.collections.map((c) => `\n${jsdoc(`A record of ${c.title ?? c.name}.`)}type ${recordName(c)} = ${typeOf(c.record)};`),
+        "",
+        `interface CompanyApi ${block(members)}`,
+        "",
+        'declare module "sanoma/site" {',
+        "  interface Register {",
+        "    api: CompanyApi;",
+        "  }",
+        "}",
+        "",
+        "export {};",
+        "",
+    ].join("\n");
+    return { source, problems };
+}
+/**
+ * Writes `<root>/.sanoma/api.ts` (`generateApi`) when its text differs from the file's, so an
+ * editor or a dev server sees no change when there is none; `wrote` says whether it did.
+ */
+export async function writeApi(root, description) {
+    const file = join(root, API_FILE);
+    return { wrote: await writeChanged(file, generateApi(description).source), file };
+}
+/**
+ * The generated files, each written when its text changed: `.sanoma/api.ts` (`writeApi`) and the
+ * Cedar schema's text, `.sanoma/schema.cedarschema` (`schemaText` of `schemaOf`). `wrote` lists
+ * those written, relative to the root.
+ */
+export async function writeGenerated(root, description, schema) {
+    const [api, cedar] = await Promise.all([
+        writeApi(root, description),
+        writeChanged(join(root, SCHEMA_FILE), schemaText(schema)),
+    ]);
+    return { wrote: [...(api.wrote ? [API_FILE] : []), ...(cedar ? [SCHEMA_FILE] : [])] };
+}
+/** Writes `text` to `file` unless the file holds it already; true when it wrote. */
+async function writeChanged(file, text) {
+    if ((await readFile(file, "utf8").catch(() => undefined)) === text)
+        return false;
+    await mkdir(dirname(file), { recursive: true });
+    await writeFile(file, text);
+    return true;
+}
+const workflowMember = (wf) => member(`${wf.title ?? wf.name}: the workflow \`${wf.name}\`${wf.builtin ? ", built in" : ""}.`, apiNameOf(wf.name), `WorkflowFn<${typeOf(wf.input)}, unknown>`);
+const opMember = (op) => member(`${op.description ? `${op.description}\n\n` : ""}\`${op.id}\`, a ${op.effect}.`, op.name, `OpFn<${typeOf(op.input)}, unknown>`);
+const collectionDoc = (c) => `${c.title ?? c.name}: the collection \`${c.name}\`, keyed by \`${c.key}\`.`;
+/** A collection's record type's name: `outbound` gives `OutboundRecord`, never `CompanyApi` nor an imported type's. */
+const recordName = (c) => `${c.name[0].toUpperCase()}${c.name.slice(1)}Record`;
+/**
+ * A JSON Schema as a TypeScript type, for the kinds a start form draws (`fieldsOf` in the app):
+ * strings (a date-time among them), numbers, integers, booleans, enums and constants, objects and
+ * arrays, each property with its description, and unions of those, `null` among them (a
+ * collection's date, a date or a date-time; a nullable field); anything else is `unknown`.
+ */
+const typeOf = (schema) => union(alternatives(schema));
+/** One type of several: `unknown` when any is. */
+function union(types) {
+    const distinct = new Set(types);
+    return distinct.has("unknown") ? "unknown" : [...distinct].join(" | ");
+}
+/** The types a schema allows, one per alternative. */
+function alternatives(schema) {
+    if (!isObject(schema))
+        return ["unknown"];
+    if ("const" in schema && !isObject(schema.const) && !Array.isArray(schema.const)) {
+        return [JSON.stringify(schema.const)];
+    }
+    if (Array.isArray(schema.enum) && schema.enum.length && schema.enum.every((v) => v === null || !isObject(v))) {
+        return schema.enum.map((v) => JSON.stringify(v));
+    }
+    if (Array.isArray(schema.anyOf) && schema.anyOf.length)
+        return schema.anyOf.flatMap(alternatives);
+    if (Array.isArray(schema.type) && schema.type.length) {
+        return schema.type.flatMap((type) => alternatives({ ...schema, type }));
+    }
+    switch (schema.type) {
+        case "string":
+            return ["string"];
+        case "number":
+        case "integer":
+            return ["number"];
+        case "boolean":
+            return ["boolean"];
+        case "null":
+            return ["null"];
+        case "array": {
+            const item = typeOf(schema.items);
+            return [new Set(alternatives(schema.items)).size > 1 && item !== "unknown" ? `(${item})[]` : `${item}[]`];
+        }
+        case "object":
+            return [isObject(schema.properties) ? objectType(schema) : "Record<string, unknown>"];
+        default:
+            return ["unknown"];
+    }
+}
+function objectType(schema) {
+    const required = new Set(Array.isArray(schema.required) ? schema.required : []);
+    const lines = Object.entries(schema.properties).map(([name, prop]) => {
+        const doc = isObject(prop) && typeof prop.description === "string" ? jsdoc(prop.description) : "";
+        return `${doc}${key(name)}${required.has(name) ? "" : "?"}: ${typeOf(prop)};`;
+    });
+    // An object that takes other keys too.
+    if (schema.additionalProperties !== undefined && schema.additionalProperties !== false) {
+        lines.push("[key: string]: unknown;");
+    }
+    return block(lines);
+}
+/** A property's name, quoted when it is not an identifier. */
+const key = (name) => (/^[A-Za-z_$][\w$]*$/.test(name) ? name : JSON.stringify(name));
+/** A member, under its JSDoc when there is one. */
+const member = (doc, name, type) => `${doc ? jsdoc(doc) : ""}${key(name)}: ${type};`;
+/** `{ … }` around lines, each indented a level (a nested block's lines with it); `{}` for none. */
+const block = (lines) => lines.length ? `{\n${lines.map((l) => l.replace(/^(?=.)/gm, "  ")).join("\n")}\n}` : "{}";
+/** A JSDoc comment and the line break after it; `*\/` in the text cannot end it. */
+function jsdoc(text) {
+    const lines = text.replaceAll("*/", "*\\/").split("\n");
+    return lines.length === 1
+        ? `/** ${lines[0]} */\n`
+        : `/**\n${lines.map((l) => ` *${l ? ` ${l}` : ""}`).join("\n")}\n */\n`;
+}
+//# sourceMappingURL=sdk.js.map

package/dist/sdk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sdk.js","sourceRoot":"","sources":["../src/sdk.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAwB,WAAW,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAElE,+FAA+F;AAC/F,+FAA+F;AAC/F,+FAA+F;AAC/F,yDAAyD;AAEzD,uDAAuD;AACvD,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;AAElD,MAAM,gBAAgB,GAAG,iCAAiC,CAAC;AAE3D,8FAA8F;AAC9F,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAAW,EAAE,KAAa,EAAE,EAAE,CAAC,GAAG,gBAAgB,GAAG,GAAG,KAAK,KAAK,aAAa,CAAC;AAI/G;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,WAA8B;IACxD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAChF,IAAI,KAAK,CAAC,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;;YACtF,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,4DAA4D;IAC5D,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IACtF,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,MAAM,CAAC;QAC3D,MAAM,SAAS,GAAG,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,CACnF,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CACtD,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,8CAA8C,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACzG,CAAC;IACD,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,iBAAiB,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CACpE,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,4BAA4B,EAAE,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,MAAM,GAAG;QACb,wFAAwF;QACxF,0FAA0F;QAC1F,qEAAqE;QACrE,GAAG,WAAW,CAAC,WAAW,CAAC,GAAG,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,eAAe,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,QAAQ,UAAU,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CACrG;QACD,EAAE;QACF,wBAAwB,KAAK,CAAC,OAAO,CAAC,EAAE;QACxC,EAAE;QACF,gCAAgC;QAChC,wBAAwB;QACxB,sBAAsB;QACtB,KAAK;QACL,GAAG;QACH,EAAE;QACF,YAAY;QACZ,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAY,EACZ,WAA8B;IAE9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;AACpF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,IAAY,EACZ,WAA8B,EAC9B,MAAuB;IAEvB,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACrC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;QAC3B,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;KAC1D,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,oFAAoF;AACpF,KAAK,UAAU,YAAY,CAAC,IAAY,EAAE,IAAY;IACpD,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjF,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,MAAM,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,EAAiB,EAAE,EAAE,CAC3C,MAAM,CACJ,GAAG,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,oBAAoB,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,EACvF,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,EAClB,cAAc,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAC3C,CAAC;AAEJ,MAAM,QAAQ,GAAG,CAAC,EAAW,EAAE,EAAE,CAC/B,MAAM,CACJ,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,WAAW,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,MAAM,GAAG,EAC/E,EAAE,CAAC,IAAI,EACP,QAAQ,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CACrC,CAAC;AAEJ,MAAM,aAAa,GAAG,CAAC,CAAkB,EAAE,EAAE,CAC3C,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,sBAAsB,CAAC,CAAC,IAAI,kBAAkB,CAAC,CAAC,GAAG,KAAK,CAAC;AAE/E,uHAAuH;AACvH,MAAM,UAAU,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAEjG;;;;;GAKG;AACH,MAAM,MAAM,GAAG,CAAC,MAAe,EAAU,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;AAExE,kDAAkD;AAClD,SAAS,KAAK,CAAC,KAAe;IAC5B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AAED,sDAAsD;AACtD,SAAS,YAAY,CAAC,MAAe;IACnC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,OAAO,IAAI,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjF,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7G,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAClG,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACrD,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,CAAC,QAAQ,CAAC,CAAC;QACpB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,CAAC,QAAQ,CAAC,CAAC;QACpB,KAAK,SAAS;YACZ,OAAO,CAAC,SAAS,CAAC,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,CAAC,MAAM,CAAC,CAAC;QAClB,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAClC,OAAO,CAAC,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;QAC5G,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;QACxF;YACE,OAAO,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAAc;IAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE;QAC7E,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClG,OAAO,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;IAChF,CAAC,CAAC,CAAC;IACH,uCAAuC;IACvC,IAAI,MAAM,CAAC,oBAAoB,KAAK,SAAS,IAAI,MAAM,CAAC,oBAAoB,KAAK,KAAK,EAAE,CAAC;QACvF,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;AACtB,CAAC;AAED,8DAA8D;AAC9D,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AAE9F,mDAAmD;AACnD,MAAM,MAAM,GAAG,CAAC,GAAuB,EAAE,IAAY,EAAE,IAAY,EAAE,EAAE,CACrE,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC;AAEnD,mGAAmG;AACnG,MAAM,KAAK,GAAG,CAAC,KAAe,EAAE,EAAE,CAChC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAE5F,oFAAoF;AACpF,SAAS,KAAK,CAAC,IAAY;IACzB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;QACvB,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,OAAO;QACxB,CAAC,CAAC,QAAQ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;AAC5E,CAAC"}