process-graph 1.2.0 → 1.3.0

package/dist/{index-DxWOY8f9.d.ts → index-CR8xUK3S.d.ts}

@@ -1,5 +1,5 @@
-import { k as FactRecord } from "./index-BH1aFqkJ.js";
-import { K as OpenIds, a as Overlay, d as Issue, g as Model } from "./index-CmZOswkx.js";
+import { k as FactRecord } from "./index-D4CnOhNf.js";
+import { _ as Model, f as Issue, i as ModelSchema, o as Overlay, q as OpenIds } from "./index-Dvz_I_uQ.js";
 import { z } from "zod";
 import { ContractRouterClient } from "@orpc/contract";
 import { ContractedRouter } from "@orpc/server";
@@ -31,196 +31,7 @@ declare const graphStoreContract: {
       }, never> & object>;
       save: import("@orpc/contract").ProcedureContract<z.ZodReadonly<z.ZodObject<{
         modelId: z.ZodString;
-        model: z.ZodReadonly<z.ZodObject<{
-          participants: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            label: z.ZodString;
-            kind: z.ZodEnum<{
-              role: "role";
-              system: "system";
-              entity: "entity";
-            }>;
-          }, z.core.$strict>>>>;
-          events: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            name: z.ZodString;
-            payload: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>>;
-          }, z.core.$strict>>>>;
-          actions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            name: z.ZodString;
-          }, z.core.$strict>>>>;
-          artefacts: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            name: z.ZodString;
-            deliverable: z.ZodExactOptional<z.ZodBoolean>;
-          }, z.core.$strict>>>>;
-          elements: z.ZodReadonly<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
-            kind: z.ZodLiteral<"activity">;
-            id: z.ZodString;
-            extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-            label: z.ZodString;
-            actor: z.ZodExactOptional<z.ZodString>;
-            action: z.ZodExactOptional<z.ZodString>;
-            source: z.ZodExactOptional<z.ZodString>;
-            affects: z.ZodExactOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
-            consumes: z.ZodExactOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
-            produces: z.ZodExactOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            kind: z.ZodLiteral<"decision">;
-            id: z.ZodString;
-            extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-            label: z.ZodString;
-            actor: z.ZodExactOptional<z.ZodString>;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            kind: z.ZodLiteral<"state">;
-            id: z.ZodString;
-            extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-            label: z.ZodString;
-            parent: z.ZodExactOptional<z.ZodString>;
-            entry: z.ZodExactOptional<z.ZodString>;
-            exit: z.ZodExactOptional<z.ZodString>;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            kind: z.ZodLiteral<"pseudo">;
-            id: z.ZodString;
-            extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-            role: z.ZodEnum<{
-              initial: "initial";
-              final: "final";
-              fork: "fork";
-              join: "join";
-              history: "history";
-            }>;
-            parent: z.ZodExactOptional<z.ZodString>;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            kind: z.ZodLiteral<"message">;
-            id: z.ZodString;
-            extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-            label: z.ZodString;
-            from: z.ZodString;
-            to: z.ZodString;
-            mode: z.ZodEnum<{
-              sync: "sync";
-              async: "async";
-              reply: "reply";
-              create: "create";
-              destroy: "destroy";
-            }>;
-            event: z.ZodExactOptional<z.ZodString>;
-          }, z.core.$strict>>], "kind">>>;
-          transitions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            source: z.ZodString;
-            target: z.ZodString;
-            trigger: z.ZodExactOptional<z.ZodString>;
-            guard: z.ZodExactOptional<z.ZodString>;
-            condition: z.ZodExactOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
-              kind: z.ZodLiteral<"not">;
-              operand: typeof import("trilean").PredicateNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"and">;
-              left: typeof import("trilean").PredicateNodeSchema;
-              right: typeof import("trilean").PredicateNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"or">;
-              left: typeof import("trilean").PredicateNodeSchema;
-              right: typeof import("trilean").PredicateNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"allOf">;
-              operands: z.ZodArray<typeof import("trilean").PredicateNodeSchema>;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"anyOf">;
-              operands: z.ZodArray<typeof import("trilean").PredicateNodeSchema>;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"compare">;
-              op: z.ZodEnum<{
-                gt: "gt";
-                gte: "gte";
-                lt: "lt";
-                lte: "lte";
-                eq: "eq";
-                neq: "neq";
-              }>;
-              left: typeof import("trilean").ExpressionNodeSchema;
-              right: typeof import("trilean").ExpressionNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"textCompare">;
-              op: z.ZodEnum<{
-                equals: "equals";
-                notEquals: "notEquals";
-                matches: "matches";
-                notMatches: "notMatches";
-                portableMatches: "portableMatches";
-                portableNotMatches: "portableNotMatches";
-              }>;
-              left: typeof import("trilean").ExpressionNodeSchema;
-              right: typeof import("trilean").ExpressionNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"memberOf">;
-              op: z.ZodEnum<{
-                in: "in";
-                notIn: "notIn";
-              }>;
-              operand: typeof import("trilean").ExpressionNodeSchema;
-              candidates: z.ZodArray<typeof import("trilean").ExpressionNodeSchema>;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"exists">;
-              operand: typeof import("trilean").ExpressionNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"some">;
-              collection: z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>;
-              item: typeof import("trilean").PredicateNodeSchema;
-              filter: z.ZodOptional<typeof import("trilean").PredicateNodeSchema>;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"every">;
-              collection: z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>;
-              item: typeof import("trilean").PredicateNodeSchema;
-              filter: z.ZodOptional<typeof import("trilean").PredicateNodeSchema>;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"treeReference">;
-              key: z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>;
-            }, z.core.$strip>], "kind">>;
-            effect: z.ZodExactOptional<z.ZodString>;
-          }, z.core.$strict>>>>;
-          fragments: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            operator: z.ZodEnum<{
-              alt: "alt";
-              opt: "opt";
-              loop: "loop";
-              par: "par";
-              break: "break";
-            }>;
-            operands: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-              guard: z.ZodExactOptional<z.ZodString>;
-              body: z.ZodReadonly<z.ZodArray<z.ZodString>>;
-            }, z.core.$strict>>>>;
-          }, z.core.$strict>>>>;
-          projections: z.ZodReadonly<z.ZodArray<z.ZodUnion<readonly [z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            notation: z.ZodEnum<{
-              flowchart: "flowchart";
-              swimlane: "swimlane";
-            }>;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            notation: z.ZodLiteral<"stateMachine">;
-            subject: z.ZodString;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            notation: z.ZodLiteral<"sequence">;
-            scenario: z.ZodReadonly<z.ZodArray<z.ZodString>>;
-          }, z.core.$strict>>]>>>;
-          views: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodEnum<{
-            flowchart: "flowchart";
-            swimlane: "swimlane";
-            stateMachine: "stateMachine";
-            sequence: "sequence";
-          }> & z.core.$partial, z.ZodReadonly<z.ZodRecord<z.ZodString & z.core.$partial, z.ZodReadonly<z.ZodObject<{
-            x: z.ZodNumber;
-            y: z.ZodNumber;
-          }, z.core.$strict>>>>>>>;
-        }, z.core.$strict>>;
+        model: ModelSchema;
       }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
         revision: z.ZodInt;
       }, z.core.$strict>>, Omit<{
@@ -246,196 +57,7 @@ declare const graphStoreContract: {
       }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
         modelId: z.ZodString;
         revision: z.ZodInt;
-        model: z.ZodReadonly<z.ZodObject<{
-          participants: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            label: z.ZodString;
-            kind: z.ZodEnum<{
-              role: "role";
-              system: "system";
-              entity: "entity";
-            }>;
-          }, z.core.$strict>>>>;
-          events: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            name: z.ZodString;
-            payload: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>>;
-          }, z.core.$strict>>>>;
-          actions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            name: z.ZodString;
-          }, z.core.$strict>>>>;
-          artefacts: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            name: z.ZodString;
-            deliverable: z.ZodExactOptional<z.ZodBoolean>;
-          }, z.core.$strict>>>>;
-          elements: z.ZodReadonly<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
-            kind: z.ZodLiteral<"activity">;
-            id: z.ZodString;
-            extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-            label: z.ZodString;
-            actor: z.ZodExactOptional<z.ZodString>;
-            action: z.ZodExactOptional<z.ZodString>;
-            source: z.ZodExactOptional<z.ZodString>;
-            affects: z.ZodExactOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
-            consumes: z.ZodExactOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
-            produces: z.ZodExactOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            kind: z.ZodLiteral<"decision">;
-            id: z.ZodString;
-            extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-            label: z.ZodString;
-            actor: z.ZodExactOptional<z.ZodString>;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            kind: z.ZodLiteral<"state">;
-            id: z.ZodString;
-            extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-            label: z.ZodString;
-            parent: z.ZodExactOptional<z.ZodString>;
-            entry: z.ZodExactOptional<z.ZodString>;
-            exit: z.ZodExactOptional<z.ZodString>;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            kind: z.ZodLiteral<"pseudo">;
-            id: z.ZodString;
-            extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-            role: z.ZodEnum<{
-              initial: "initial";
-              final: "final";
-              fork: "fork";
-              join: "join";
-              history: "history";
-            }>;
-            parent: z.ZodExactOptional<z.ZodString>;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            kind: z.ZodLiteral<"message">;
-            id: z.ZodString;
-            extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-            label: z.ZodString;
-            from: z.ZodString;
-            to: z.ZodString;
-            mode: z.ZodEnum<{
-              sync: "sync";
-              async: "async";
-              reply: "reply";
-              create: "create";
-              destroy: "destroy";
-            }>;
-            event: z.ZodExactOptional<z.ZodString>;
-          }, z.core.$strict>>], "kind">>>;
-          transitions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            source: z.ZodString;
-            target: z.ZodString;
-            trigger: z.ZodExactOptional<z.ZodString>;
-            guard: z.ZodExactOptional<z.ZodString>;
-            condition: z.ZodExactOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
-              kind: z.ZodLiteral<"not">;
-              operand: typeof import("trilean").PredicateNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"and">;
-              left: typeof import("trilean").PredicateNodeSchema;
-              right: typeof import("trilean").PredicateNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"or">;
-              left: typeof import("trilean").PredicateNodeSchema;
-              right: typeof import("trilean").PredicateNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"allOf">;
-              operands: z.ZodArray<typeof import("trilean").PredicateNodeSchema>;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"anyOf">;
-              operands: z.ZodArray<typeof import("trilean").PredicateNodeSchema>;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"compare">;
-              op: z.ZodEnum<{
-                gt: "gt";
-                gte: "gte";
-                lt: "lt";
-                lte: "lte";
-                eq: "eq";
-                neq: "neq";
-              }>;
-              left: typeof import("trilean").ExpressionNodeSchema;
-              right: typeof import("trilean").ExpressionNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"textCompare">;
-              op: z.ZodEnum<{
-                equals: "equals";
-                notEquals: "notEquals";
-                matches: "matches";
-                notMatches: "notMatches";
-                portableMatches: "portableMatches";
-                portableNotMatches: "portableNotMatches";
-              }>;
-              left: typeof import("trilean").ExpressionNodeSchema;
-              right: typeof import("trilean").ExpressionNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"memberOf">;
-              op: z.ZodEnum<{
-                in: "in";
-                notIn: "notIn";
-              }>;
-              operand: typeof import("trilean").ExpressionNodeSchema;
-              candidates: z.ZodArray<typeof import("trilean").ExpressionNodeSchema>;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"exists">;
-              operand: typeof import("trilean").ExpressionNodeSchema;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"some">;
-              collection: z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>;
-              item: typeof import("trilean").PredicateNodeSchema;
-              filter: z.ZodOptional<typeof import("trilean").PredicateNodeSchema>;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"every">;
-              collection: z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>;
-              item: typeof import("trilean").PredicateNodeSchema;
-              filter: z.ZodOptional<typeof import("trilean").PredicateNodeSchema>;
-            }, z.core.$strip>, z.ZodObject<{
-              kind: z.ZodLiteral<"treeReference">;
-              key: z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>;
-            }, z.core.$strip>], "kind">>;
-            effect: z.ZodExactOptional<z.ZodString>;
-          }, z.core.$strict>>>>;
-          fragments: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            operator: z.ZodEnum<{
-              alt: "alt";
-              opt: "opt";
-              loop: "loop";
-              par: "par";
-              break: "break";
-            }>;
-            operands: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-              guard: z.ZodExactOptional<z.ZodString>;
-              body: z.ZodReadonly<z.ZodArray<z.ZodString>>;
-            }, z.core.$strict>>>>;
-          }, z.core.$strict>>>>;
-          projections: z.ZodReadonly<z.ZodArray<z.ZodUnion<readonly [z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            notation: z.ZodEnum<{
-              flowchart: "flowchart";
-              swimlane: "swimlane";
-            }>;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            notation: z.ZodLiteral<"stateMachine">;
-            subject: z.ZodString;
-          }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-            id: z.ZodString;
-            notation: z.ZodLiteral<"sequence">;
-            scenario: z.ZodReadonly<z.ZodArray<z.ZodString>>;
-          }, z.core.$strict>>]>>>;
-          views: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodEnum<{
-            flowchart: "flowchart";
-            swimlane: "swimlane";
-            stateMachine: "stateMachine";
-            sequence: "sequence";
-          }> & z.core.$partial, z.ZodReadonly<z.ZodRecord<z.ZodString & z.core.$partial, z.ZodReadonly<z.ZodObject<{
-            x: z.ZodNumber;
-            y: z.ZodNumber;
-          }, z.core.$strict>>>>>>>;
-        }, z.core.$strict>>;
+        model: ModelSchema;
         overlay: z.ZodReadonly<z.ZodRecord<z.ZodString & z.core.$partial, z.ZodEnum<{
           done: "done";
           open: "open";
@@ -1234,196 +856,7 @@ declare const factRecordSchema: z.ZodReadonly<z.ZodObject<{
 declare const storedModelSchema: z.ZodReadonly<z.ZodObject<{
   modelId: z.ZodString;
   revision: z.ZodInt;
-  model: z.ZodReadonly<z.ZodObject<{
-    participants: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-      id: z.ZodString;
-      label: z.ZodString;
-      kind: z.ZodEnum<{
-        role: "role";
-        system: "system";
-        entity: "entity";
-      }>;
-    }, z.core.$strict>>>>;
-    events: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-      id: z.ZodString;
-      name: z.ZodString;
-      payload: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>>;
-    }, z.core.$strict>>>>;
-    actions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-      id: z.ZodString;
-      name: z.ZodString;
-    }, z.core.$strict>>>>;
-    artefacts: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-      id: z.ZodString;
-      name: z.ZodString;
-      deliverable: z.ZodExactOptional<z.ZodBoolean>;
-    }, z.core.$strict>>>>;
-    elements: z.ZodReadonly<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
-      kind: z.ZodLiteral<"activity">;
-      id: z.ZodString;
-      extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-      label: z.ZodString;
-      actor: z.ZodExactOptional<z.ZodString>;
-      action: z.ZodExactOptional<z.ZodString>;
-      source: z.ZodExactOptional<z.ZodString>;
-      affects: z.ZodExactOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
-      consumes: z.ZodExactOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
-      produces: z.ZodExactOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
-    }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-      kind: z.ZodLiteral<"decision">;
-      id: z.ZodString;
-      extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-      label: z.ZodString;
-      actor: z.ZodExactOptional<z.ZodString>;
-    }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-      kind: z.ZodLiteral<"state">;
-      id: z.ZodString;
-      extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-      label: z.ZodString;
-      parent: z.ZodExactOptional<z.ZodString>;
-      entry: z.ZodExactOptional<z.ZodString>;
-      exit: z.ZodExactOptional<z.ZodString>;
-    }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-      kind: z.ZodLiteral<"pseudo">;
-      id: z.ZodString;
-      extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-      role: z.ZodEnum<{
-        initial: "initial";
-        final: "final";
-        fork: "fork";
-        join: "join";
-        history: "history";
-      }>;
-      parent: z.ZodExactOptional<z.ZodString>;
-    }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-      kind: z.ZodLiteral<"message">;
-      id: z.ZodString;
-      extensions: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>>>>;
-      label: z.ZodString;
-      from: z.ZodString;
-      to: z.ZodString;
-      mode: z.ZodEnum<{
-        sync: "sync";
-        async: "async";
-        reply: "reply";
-        create: "create";
-        destroy: "destroy";
-      }>;
-      event: z.ZodExactOptional<z.ZodString>;
-    }, z.core.$strict>>], "kind">>>;
-    transitions: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-      id: z.ZodString;
-      source: z.ZodString;
-      target: z.ZodString;
-      trigger: z.ZodExactOptional<z.ZodString>;
-      guard: z.ZodExactOptional<z.ZodString>;
-      condition: z.ZodExactOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
-        kind: z.ZodLiteral<"not">;
-        operand: typeof import("trilean").PredicateNodeSchema;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"and">;
-        left: typeof import("trilean").PredicateNodeSchema;
-        right: typeof import("trilean").PredicateNodeSchema;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"or">;
-        left: typeof import("trilean").PredicateNodeSchema;
-        right: typeof import("trilean").PredicateNodeSchema;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"allOf">;
-        operands: z.ZodArray<typeof import("trilean").PredicateNodeSchema>;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"anyOf">;
-        operands: z.ZodArray<typeof import("trilean").PredicateNodeSchema>;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"compare">;
-        op: z.ZodEnum<{
-          gt: "gt";
-          gte: "gte";
-          lt: "lt";
-          lte: "lte";
-          eq: "eq";
-          neq: "neq";
-        }>;
-        left: typeof import("trilean").ExpressionNodeSchema;
-        right: typeof import("trilean").ExpressionNodeSchema;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"textCompare">;
-        op: z.ZodEnum<{
-          equals: "equals";
-          notEquals: "notEquals";
-          matches: "matches";
-          notMatches: "notMatches";
-          portableMatches: "portableMatches";
-          portableNotMatches: "portableNotMatches";
-        }>;
-        left: typeof import("trilean").ExpressionNodeSchema;
-        right: typeof import("trilean").ExpressionNodeSchema;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"memberOf">;
-        op: z.ZodEnum<{
-          in: "in";
-          notIn: "notIn";
-        }>;
-        operand: typeof import("trilean").ExpressionNodeSchema;
-        candidates: z.ZodArray<typeof import("trilean").ExpressionNodeSchema>;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"exists">;
-        operand: typeof import("trilean").ExpressionNodeSchema;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"some">;
-        collection: z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>;
-        item: typeof import("trilean").PredicateNodeSchema;
-        filter: z.ZodOptional<typeof import("trilean").PredicateNodeSchema>;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"every">;
-        collection: z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>;
-        item: typeof import("trilean").PredicateNodeSchema;
-        filter: z.ZodOptional<typeof import("trilean").PredicateNodeSchema>;
-      }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"treeReference">;
-        key: z.ZodType<import("trilean").JsonValue, unknown, z.core.$ZodTypeInternals<import("trilean").JsonValue, unknown>>;
-      }, z.core.$strip>], "kind">>;
-      effect: z.ZodExactOptional<z.ZodString>;
-    }, z.core.$strict>>>>;
-    fragments: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-      id: z.ZodString;
-      operator: z.ZodEnum<{
-        alt: "alt";
-        opt: "opt";
-        loop: "loop";
-        par: "par";
-        break: "break";
-      }>;
-      operands: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
-        guard: z.ZodExactOptional<z.ZodString>;
-        body: z.ZodReadonly<z.ZodArray<z.ZodString>>;
-      }, z.core.$strict>>>>;
-    }, z.core.$strict>>>>;
-    projections: z.ZodReadonly<z.ZodArray<z.ZodUnion<readonly [z.ZodReadonly<z.ZodObject<{
-      id: z.ZodString;
-      notation: z.ZodEnum<{
-        flowchart: "flowchart";
-        swimlane: "swimlane";
-      }>;
-    }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-      id: z.ZodString;
-      notation: z.ZodLiteral<"stateMachine">;
-      subject: z.ZodString;
-    }, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
-      id: z.ZodString;
-      notation: z.ZodLiteral<"sequence">;
-      scenario: z.ZodReadonly<z.ZodArray<z.ZodString>>;
-    }, z.core.$strict>>]>>>;
-    views: z.ZodExactOptional<z.ZodReadonly<z.ZodRecord<z.ZodEnum<{
-      flowchart: "flowchart";
-      swimlane: "swimlane";
-      stateMachine: "stateMachine";
-      sequence: "sequence";
-    }> & z.core.$partial, z.ZodReadonly<z.ZodRecord<z.ZodString & z.core.$partial, z.ZodReadonly<z.ZodObject<{
-      x: z.ZodNumber;
-      y: z.ZodNumber;
-    }, z.core.$strict>>>>>>>;
-  }, z.core.$strict>>;
+  model: ModelSchema;
   overlay: z.ZodReadonly<z.ZodRecord<z.ZodString & z.core.$partial, z.ZodEnum<{
     done: "done";
     open: "open";

package/dist/{index-CoA6vXqe.d.ts → index-D06bcdfw.d.ts}

@@ -1,4 +1,4 @@
-import { G as IdSpace, L as PseudoRole, M as FragmentOperator, N as MessageMode, P as Notation, g as Model, k as Transition, x as Element } from "./index-CmZOswkx.js";
+import { A as Transition, F as Notation, K as IdSpace, N as FragmentOperator, P as MessageMode, R as PseudoRole, S as Element, _ as Model } from "./index-Dvz_I_uQ.js";
 //#region ../../core/graph/projection/dist/loss.d.ts
 /** What an element that a notation cannot draw is: an element kind, or the role of a pseudo-state. A `message` element is one only when the notation would fold it but folding it would multiply edges. */
 type UnrepresentedKind = "activity" | "decision" | "state" | "message" | PseudoRole;

package/dist/{index-BH1aFqkJ.d.ts → index-D4CnOhNf.d.ts}

@@ -1,4 +1,4 @@
-import { G as IdSpace, a as Overlay, g as Model } from "./index-CmZOswkx.js";
+import { K as IdSpace, _ as Model, o as Overlay } from "./index-Dvz_I_uQ.js";
 import { ComputedValue, ExpressionNode, JsonValue, PredicateNode, Resolution } from "trilean";
 //#region ../../core/graph/domain/dist/status.d.ts
 /** The derived states of an element, in the order the derivation considers them. */

package/dist/{index-CmZOswkx.d.ts → index-Dvz_I_uQ.d.ts}

@@ -282,12 +282,8 @@ declare const validateOverlay: <I extends IdSpace>(model: Model<I>, overlay: Rea
 declare const parseOverlay: (input: unknown) => Overlay<OpenIds>;
 //#endregion
 //#region ../../core/graph/schema/dist/schema.d.ts
-/**
- * The open (runtime) shape of a model: identifiers are plain strings, so references are not checked here. `validate` checks what the shape cannot, and `parseModel` runs both.
- *
- * Every object is strict. The inferred type is exactly `Model<OpenIds>`, which a type-level test pins in both directions.
- */
-declare const modelSchema: z.ZodReadonly<z.ZodObject<{
+/** The strict object schema inside `modelSchema`, before it is made read-only. */
+declare const modelObjectSchema: z.ZodObject<{
   participants: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
     id: z.ZodString;
     label: z.ZodString;
@@ -476,7 +472,20 @@ declare const modelSchema: z.ZodReadonly<z.ZodObject<{
     x: z.ZodNumber;
     y: z.ZodNumber;
   }, z.core.$strict>>>>>>>;
-}, z.core.$strict>>;
+}, z.core.$strict>;
+/**
+ * The type of `modelSchema`, declared by name so that a declaration file that embeds the schema, such as a consumer's `z.object({ model: modelSchema })` under `declaration: true`, refers to `ModelSchema` rather than writing out the whole model schema with every record and trilean's JSON value inline, which can exceed the length the compiler will serialise (TS7056).
+ */
+interface ModelSchema extends z.ZodReadonly<typeof modelObjectSchema> {
+  /** The strict object schema inside, whose `shape` holds each record's own schema. */
+  readonly unwrap: () => typeof modelObjectSchema;
+}
+/**
+ * The open (runtime) shape of a model: identifiers are plain strings, so references are not checked here. `validate` checks what the shape cannot, and `parseModel` runs both.
+ *
+ * Every object is strict. The inferred type is exactly `Model<OpenIds>`, which a type-level test pins in both directions.
+ */
+declare const modelSchema: ModelSchema;
 //#endregion
 //#region ../../core/graph/schema/dist/parse.d.ts
 /** A problem found while loading a model: a shape violation located by JSON pointer, or a rule `validate` reports. */
@@ -509,4 +518,4 @@ declare class ModelParseError extends Error {
  */
 declare const parseModel: (input: unknown) => Model<OpenIds>;
 //#endregion
-export { Views as A, messageModes as B, Extensions as C, Point as D, Participant as E, OverlayStatus as F, IdSpace as G, overlayStatuses as H, ParticipantKind as I, OpenIds as K, PseudoRole as L, FragmentOperator as M, MessageMode as N, Projection as O, Notation as P, elementKinds as R, EventDef as S, FragmentOperand as T, participantKinds as U, notations as V, pseudoRoles as W, ModelParts as _, Overlay as a, ArtefactDef as b, overlaySchema as c, Issue as d, IssueCode as f, Model as g, outputsOf as h, modelSchema as i, ElementKind as j, Transition as k, parseOverlay as l, inputsOf as m, ModelParseError as n, OverlayIssue as o, validate as p, parseModel as r, OverlayParseError as s, ModelIssue as t, validateOverlay as u, defineModel as v, Fragment as w, Element as x, ActionDef as y, fragmentOperators as z };
+export { Transition as A, fragmentOperators as B, EventDef as C, Participant as D, FragmentOperand as E, Notation as F, pseudoRoles as G, notations as H, OverlayStatus as I, IdSpace as K, ParticipantKind as L, ElementKind as M, FragmentOperator as N, Point as O, MessageMode as P, PseudoRole as R, Element as S, Fragment as T, overlayStatuses as U, messageModes as V, participantKinds as W, Model as _, modelSchema as a, ActionDef as b, OverlayParseError as c, validateOverlay as d, Issue as f, outputsOf as g, inputsOf as h, ModelSchema as i, Views as j, Projection as k, overlaySchema as l, validate as m, ModelParseError as n, Overlay as o, IssueCode as p, OpenIds as q, parseModel as r, OverlayIssue as s, ModelIssue as t, parseOverlay as u, ModelParts as v, Extensions as w, ArtefactDef as x, defineModel as y, elementKinds as z };