@hyperscale0/udl 4.5.1 → 4.6.0

package/dist/object-semantics-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-semantics-schema.d.ts","sourceRoot":"","sources":["../src/object-semantics-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAgBzB,eAAO,MAAM,iBAAiB;;;kBAI5B,CAAC;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;oBAK9B,CAAC;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAShC,CAAC;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;oBAI7B,CAAC;AACH,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;kBAOrC,CAAC;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAYpC,CAAC;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA6B/B,CAAC;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;EAUlC,CAAC;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAoBnC,CAAC;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAelC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AACxE,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAC1E,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAClE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AACpE,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAChE,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC9E,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}

package/dist/object-semantics-schema.js

@@ -0,0 +1,119 @@
+import * as z from "zod";
+import { udlActionSchema, udlCalculationSchema, udlFieldSchema, udlInstrumentSchema, udlObjectKindSchema, udlObjectAttachmentSchema, udlPartySchema, udlRequirementSchema, udlValueSchema, udlKernelOperationSchema, subjectPartyRoles, } from "./schema.js";
+const text = z.string();
+export const cardinalitySchema = z.strictObject({
+    min: z.number().int().nonnegative(),
+    // null means the declarations supply no upper bound.
+    max: z.number().int().nonnegative().nullable(),
+});
+export const semanticOwnerSchema = z.union([
+    z.strictObject({ kind: z.literal("instrument"), instrument: text }),
+    z.strictObject({ kind: z.literal("role"), role: z.enum(subjectPartyRoles) }),
+    z.strictObject({ kind: z.literal("party"), party: text }),
+    z.strictObject({ kind: z.literal("adapter"), adapter: text }),
+]);
+export const semanticAccountSchema = z.strictObject({
+    path: text,
+    scope: text,
+    instrument: text,
+    field: text,
+    owner: semanticOwnerSchema,
+    book: z.enum(["cash", "claim"]),
+    key: text.optional(),
+    contra: z.boolean(),
+});
+export const semanticRoleSchema = z.union([
+    semanticOwnerSchema,
+    z.strictObject({ kind: z.enum(["caller", "clock"]) }),
+    z.strictObject({ kind: z.literal("parent"), instruments: z.array(text) }),
+]);
+export const semanticRelationshipSchema = z.strictObject({
+    kind: z.enum(["reference", "child"]),
+    via: z.enum(["field", "attachment", "invocation", "parent_actor"]),
+    name: text,
+    targetKind: z.enum(["instrument", "object"]),
+    targets: z.array(text),
+    cardinality: cardinalitySchema,
+});
+export const semanticMoneyEffectSchema = z.strictObject({
+    key: text,
+    operation: udlKernelOperationSchema,
+    amount: udlValueSchema.nullable(),
+    from: z.array(semanticAccountSchema),
+    to: z.array(semanticAccountSchema),
+    // Expressions describe declared effects, never a receipt or evaluated quote.
+    disposition: z.enum(["held", "paid", "released", "claim", "unresolved"]),
+    transfer: text.nullable(),
+    reservations: z.array(z.strictObject({ instrument: text, action: text, key: text })),
+});
+export const semanticActionSchema = z.strictObject({
+    name: text,
+    alias: text.nullable(),
+    title: text,
+    actor: udlActionSchema.shape.actor,
+    roles: z.array(semanticRoleSchema),
+    from: z.array(text),
+    to: text.nullable(),
+    references: z.array(udlFieldSchema).optional(),
+    invokedBy: z
+        .array(z.strictObject({
+        instrument: text,
+        action: text,
+        alias: text.nullable(),
+        invocation: udlActionSchema.shape.invoke.unwrap().element,
+    }))
+        .optional(),
+    inputs: udlActionSchema.shape.input,
+    subject: udlActionSchema.shape.subject,
+    prerequisites: udlActionSchema.shape.requires,
+    due: udlActionSchema.shape.due.unwrap().nullable(),
+    deadline: udlActionSchema.shape.deadline.unwrap().nullable(),
+    calculations: z.array(udlCalculationSchema),
+    assignments: udlActionSchema.shape.set.unwrap(),
+    moves: udlActionSchema.shape.moves,
+    moneyEffects: z.array(semanticMoneyEffectSchema),
+    invokes: udlActionSchema.shape.invoke.unwrap(),
+});
+export const semanticStructureSchema = z.enum([
+    "stage_and_decisions",
+    "payment_review",
+    "held_funds",
+    "reserved_payment",
+    "payment_calendar",
+    "funding_progress",
+    "cancellation_review",
+    "external_checks",
+    "report_view",
+]);
+export const semanticInstrumentSchema = z.strictObject({
+    id: text,
+    title: text,
+    subject: text.optional(),
+    fields: z.array(udlFieldSchema),
+    accounts: z.array(semanticAccountSchema),
+    relationships: z.array(semanticRelationshipSchema),
+    calculations: z.array(udlCalculationSchema),
+    invariants: z.array(udlRequirementSchema),
+    initialState: text,
+    lifecycle: z.strictObject({
+        initial: text,
+        states: z.array(z.strictObject({ name: text, label: text, terminal: z.boolean() })),
+        cancellationActions: z.array(text),
+    }),
+    actions: z.array(semanticActionSchema),
+    reports: udlInstrumentSchema.shape.reports.unwrap(),
+    structures: z.array(semanticStructureSchema),
+});
+export const documentSemanticsSchema = z.strictObject({
+    currency: text,
+    parties: z.record(text, udlPartySchema),
+    objects: z.array(z.strictObject({
+        ...udlObjectKindSchema.shape,
+        attachments: z.array(z.strictObject({
+            ...udlObjectAttachmentSchema.shape,
+            cardinality: cardinalitySchema,
+        })),
+    })),
+    instruments: z.array(semanticInstrumentSchema),
+});
+//# sourceMappingURL=object-semantics-schema.js.map

package/dist/object-semantics-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-semantics-schema.js","sourceRoot":"","sources":["../src/object-semantics-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,yBAAyB,EACzB,cAAc,EACd,oBAAoB,EACpB,cAAc,EACd,wBAAwB,EACxB,iBAAiB,GAClB,MAAM,aAAa,CAAC;AAErB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;AACxB,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC9C,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACnC,qDAAqD;IACrD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;CAC/C,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC;IACzC,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACnE,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;IAC5E,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACzD,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;CAC9D,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,YAAY,CAAC;IAClD,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,IAAI;IACX,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,mBAAmB;IAC1B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE;IACpB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;CACpB,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC;IACxC,mBAAmB;IACnB,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IACrD,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;CAC1E,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC;IACvD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACpC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;IAClE,IAAI,EAAE,IAAI;IACV,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC5C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACtB,WAAW,EAAE,iBAAiB;CAC/B,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,YAAY,CAAC;IACtD,GAAG,EAAE,IAAI;IACT,SAAS,EAAE,wBAAwB;IACnC,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE;IACjC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAClC,6EAA6E;IAC7E,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IACxE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;IACzB,YAAY,EAAE,CAAC,CAAC,KAAK,CACnB,CAAC,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAC9D;CACF,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC;IACjD,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE;IACtB,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK;IAClC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACnB,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE;IACnB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE;IAC9C,SAAS,EAAE,CAAC;SACT,KAAK,CACJ,CAAC,CAAC,YAAY,CAAC;QACb,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE;QACtB,UAAU,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,OAAO;KAC1D,CAAC,CACH;SACA,QAAQ,EAAE;IACb,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK;IACnC,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,OAAO;IACtC,aAAa,EAAE,eAAe,CAAC,KAAK,CAAC,QAAQ;IAC7C,GAAG,EAAE,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClD,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5D,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAC3C,WAAW,EAAE,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE;IAC/C,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK;IAClC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC;IAChD,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE;CAC/C,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC5C,qBAAqB;IACrB,gBAAgB;IAChB,YAAY;IACZ,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;IAClB,qBAAqB;IACrB,iBAAiB;IACjB,aAAa;CACd,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,YAAY,CAAC;IACrD,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI;IACX,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE;IACxB,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;IAC/B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IACxC,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC;IAClD,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAC3C,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACzC,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,CAAC,CAAC,YAAY,CAAC;QACxB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,CAAC,CAAC,KAAK,CACb,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CACnE;QACD,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;KACnC,CAAC;IACF,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACtC,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE;IACnD,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;CAC7C,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,YAAY,CAAC;IACpD,QAAQ,EAAE,IAAI;IACd,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC;IACvC,OAAO,EAAE,CAAC,CAAC,KAAK,CACd,CAAC,CAAC,YAAY,CAAC;QACb,GAAG,mBAAmB,CAAC,KAAK;QAC5B,WAAW,EAAE,CAAC,CAAC,KAAK,CAClB,CAAC,CAAC,YAAY,CAAC;YACb,GAAG,yBAAyB,CAAC,KAAK;YAClC,WAAW,EAAE,iBAAiB;SAC/B,CAAC,CACH;KACF,CAAC,CACH;IACD,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAC/C,CAAC,CAAC"}

package/dist/object-semantics.d.ts

@@ -0,0 +1,6 @@
+import { type UdlDocument } from "./schema.js";
+import type { DocumentSemantics } from "./object-semantics-schema.js";
+export declare function presentationLabel(name: string): string;
+/** Shared static meaning for authoring and discovery. No balances or eligibility are evaluated here. */
+export declare function projectDocumentSemantics(document: UdlDocument): DocumentSemantics;
+//# sourceMappingURL=object-semantics.d.ts.map

package/dist/object-semantics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-semantics.d.ts","sourceRoot":"","sources":["../src/object-semantics.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,WAAW,EAIjB,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,EACV,iBAAiB,EAMlB,MAAM,8BAA8B,CAAC;AAGtC,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAKtD;AA8SD,wGAAwG;AACxG,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,WAAW,GACpB,iBAAiB,CAiDnB"}

package/dist/object-semantics.js

@@ -0,0 +1,279 @@
+import { subjectPartyRoles, } from "./schema.js";
+import { resolveField } from "./validation.js";
+import { projectStructures } from "./object-structures.js";
+export function presentationLabel(name) {
+    return name
+        .replace(/([a-z0-9])([A-Z])/g, "$1 $2")
+        .replace(/_/g, " ")
+        .replace(/^./, (letter) => letter.toUpperCase());
+}
+const labelled = (field) => ({
+    ...field,
+    label: field.label ?? presentationLabel(field.name),
+});
+const targets = (target) => typeof target === "string" ? [target] : target;
+function owner(document, instrument, value) {
+    if (typeof value !== "string")
+        return { kind: "adapter", adapter: value.adapter };
+    if (value === "self")
+        return { kind: "instrument", instrument: instrument.id };
+    const binding = document.objects
+        .flatMap((object) => object.attachments)
+        .find((attachment) => attachment.instrument === instrument.id)?.parties[value];
+    if (binding)
+        return "role" in binding
+            ? { kind: "role", role: binding.role }
+            : { kind: "party", party: binding.party };
+    const role = subjectPartyRoles.find((role) => role === value);
+    return instrument.subject && role
+        ? { kind: "role", role }
+        : { kind: "party", party: value };
+}
+/** Follow typed references, retaining every union member instead of guessing an owner. */
+function scopes(document, instrument, path) {
+    const [root, key, ...rest] = path.split(".");
+    const field = instrument.fields.find((field) => field.name === key);
+    if (root === "self" &&
+        rest.length &&
+        field?.type === "ref" &&
+        field.targetKind === "instrument")
+        return document.instruments
+            .filter((candidate) => targets(field.target).includes(candidate.id))
+            .flatMap((candidate) => scopes(document, candidate, `self.${rest.join(".")}`));
+    return [{ instrument, path }];
+}
+function accounts(document, instrument, path, action) {
+    return scopes(document, instrument, path).flatMap((scope) => {
+        const field = resolveField(document, scope.instrument, scope.path, action?.input, action);
+        if (field?.type !== "account")
+            return [];
+        return [
+            {
+                path,
+                scope: instrument.id,
+                instrument: scope.instrument.id,
+                field: field.name,
+                owner: owner(document, scope.instrument, field.owner),
+                book: field.book,
+                key: field.key ?? (field.owner === "self" ? field.name : "balance"),
+                contra: field.contra ?? false,
+            },
+        ];
+    });
+}
+function moneyEffects(document, instrument, action) {
+    return action.moves.map((move) => {
+        const reservations = "transfer" in move
+            ? scopes(document, instrument, move.transfer).flatMap((scope) => scope.instrument.actionOrder.flatMap((name) => scope.instrument.actions[name].moves.flatMap((candidate) => candidate.operation === "internal_transfer.reserve" &&
+                scope.path === `self.${candidate.capture}`
+                ? [
+                    {
+                        instrument: scope.instrument,
+                        action: name,
+                        move: candidate,
+                    },
+                ]
+                : [])))
+            : [];
+        const movements = "amount" in move ? [{ instrument, move }] : reservations;
+        const from = movements.flatMap((entry) => accounts(document, entry.instrument, entry.move.from, action));
+        const to = movements.flatMap((entry) => accounts(document, entry.instrument, entry.move.to, action));
+        const amount = "amount" in move
+            ? move.amount
+            : reservations.length === 1
+                ? reservations[0].move.amount
+                : null;
+        return {
+            key: move.key,
+            operation: move.operation,
+            amount,
+            from,
+            to,
+            disposition: !from.length || !to.length
+                ? "unresolved"
+                : move.operation === "internal_transfer.void"
+                    ? "released"
+                    : move.operation === "internal_transfer.reserve"
+                        ? "held"
+                        : to.some((account) => account.book === "claim")
+                            ? "claim"
+                            : to.some((account) => account.owner.kind === "instrument")
+                                ? "held"
+                                : "paid",
+            transfer: "transfer" in move
+                ? move.transfer
+                : move.operation === "internal_transfer.reserve"
+                    ? `self.${move.capture}`
+                    : null,
+            reservations: reservations.map((entry) => ({
+                instrument: entry.instrument.id,
+                action: entry.action,
+                key: entry.move.key,
+            })),
+        };
+    });
+}
+function relationships(document, instrument) {
+    const references = instrument.fields.flatMap((field) => {
+        if (field.type === "ref")
+            return [
+                {
+                    kind: "reference",
+                    via: "field",
+                    name: field.name,
+                    targetKind: field.targetKind,
+                    targets: targets(field.target),
+                    cardinality: { min: field.optional ? 0 : 1, max: 1 },
+                },
+            ];
+        if (field.type === "list" && field.item === "ref" && field.target)
+            return [
+                {
+                    kind: "reference",
+                    via: "field",
+                    name: field.name,
+                    targetKind: field.targetKind ?? "instrument",
+                    targets: [field.target],
+                    cardinality: { min: 0, max: field.maxItems },
+                },
+            ];
+        return [];
+    });
+    for (const object of document.objects) {
+        const attachment = object.attachments.find((item) => item.instrument === instrument.id);
+        if (!attachment)
+            continue;
+        for (const child of object.attachments.filter((item) => item.parent === attachment.name))
+            references.push({
+                kind: "child",
+                via: "attachment",
+                name: child.name,
+                targetKind: "instrument",
+                targets: [child.instrument],
+                cardinality: { min: 0, max: null },
+            });
+    }
+    for (const name of instrument.actionOrder)
+        for (const call of instrument.actions[name].invoke ?? [])
+            if ("instrument" in call)
+                references.push({
+                    kind: "child",
+                    via: "invocation",
+                    name,
+                    targetKind: "instrument",
+                    targets: [call.instrument],
+                    // This bound is per invocation, not the lifetime number of children.
+                    cardinality: { min: 0, max: call.range?.maximum ?? 1 },
+                });
+    for (const child of document.instruments) {
+        const parentActor = Object.values(child.actions).some((action) => typeof action.actor === "object" &&
+            "parent" in action.actor &&
+            targets(action.actor.parent).includes(instrument.id));
+        if (parentActor &&
+            child.fields.some((field) => field.type === "ref" &&
+                field.targetKind === "instrument" &&
+                targets(field.target).includes(instrument.id)))
+            references.push({
+                kind: "child",
+                via: "parent_actor",
+                name: child.id,
+                targetKind: "instrument",
+                targets: [child.id],
+                cardinality: { min: 0, max: null },
+            });
+    }
+    return references;
+}
+function projectAction(document, instrument, name) {
+    const action = instrument.actions[name];
+    const transition = instrument.lifecycle.transitions[name];
+    const actor = action.actor;
+    return {
+        name,
+        alias: action.publicAction ?? null,
+        title: action.title ?? presentationLabel(action.publicAction ?? name),
+        actor,
+        roles: [
+            typeof actor === "string"
+                ? { kind: actor }
+                : "party" in actor
+                    ? owner(document, instrument, actor.party)
+                    : { kind: "parent", instruments: targets(actor.parent) },
+        ],
+        from: transition?.from ?? [],
+        to: name === "create"
+            ? instrument.lifecycle.initial
+            : (transition?.to ?? null),
+        ...(name === "create"
+            ? {
+                references: instrument.fields.filter((field) => field.type === "ref" ||
+                    (field.type === "list" && field.item === "ref")),
+                invokedBy: document.instruments.flatMap((parent) => parent.actionOrder.flatMap((parentName) => (parent.actions[parentName].invoke ?? []).flatMap((call) => "instrument" in call && call.instrument === instrument.id
+                    ? [
+                        {
+                            instrument: parent.id,
+                            action: parentName,
+                            alias: parent.actions[parentName].publicAction ?? null,
+                            invocation: call,
+                        },
+                    ]
+                    : []))),
+            }
+            : {}),
+        inputs: action.input.map(labelled),
+        subject: action.subject,
+        prerequisites: action.requires,
+        due: action.due ?? null,
+        deadline: action.deadline ?? null,
+        calculations: action.calculate ?? [],
+        assignments: action.set ?? {},
+        moves: action.moves,
+        moneyEffects: moneyEffects(document, instrument, action),
+        invokes: action.invoke ?? [],
+    };
+}
+/** Shared static meaning for authoring and discovery. No balances or eligibility are evaluated here. */
+export function projectDocumentSemantics(document) {
+    const instruments = document.instruments.map((instrument) => ({
+        id: instrument.id,
+        title: instrument.title,
+        subject: instrument.subject,
+        fields: instrument.fields.map(labelled),
+        accounts: instrument.fields.flatMap((field) => field.type === "account"
+            ? accounts(document, instrument, `self.${field.name}`)
+            : []),
+        relationships: relationships(document, instrument),
+        calculations: instrument.calculate,
+        invariants: instrument.invariants ?? [],
+        initialState: instrument.lifecycle.initial,
+        lifecycle: {
+            initial: instrument.lifecycle.initial,
+            states: instrument.lifecycle.states.map((name) => ({
+                name,
+                label: instrument.lifecycle.labels?.[name] ?? presentationLabel(name),
+                terminal: !Object.values(instrument.lifecycle.transitions).some((transition) => transition.from.includes(name)),
+            })),
+            cancellationActions: [],
+        },
+        actions: instrument.actionOrder.map((name) => projectAction(document, instrument, name)),
+        reports: instrument.reports ?? [],
+        structures: [],
+    }));
+    for (const instrument of instruments)
+        projectStructures(instrument, instruments);
+    return {
+        currency: document.currency,
+        parties: document.parties,
+        objects: document.objects.map((object) => ({
+            ...object,
+            fields: object.fields.map(labelled),
+            attachments: object.attachments.map((attachment) => ({
+                ...attachment,
+                title: attachment.title ?? presentationLabel(attachment.name),
+                cardinality: { min: 0, max: null },
+            })),
+        })),
+        instruments,
+    };
+}
+//# sourceMappingURL=object-semantics.js.map

package/dist/object-semantics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-semantics.js","sourceRoot":"","sources":["../src/object-semantics.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,GAKlB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAS/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAE3D,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,IAAI;SACR,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC;SACtC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;SAClB,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;AACrD,CAAC;AACD,MAAM,QAAQ,GAAG,CAAqB,KAAQ,EAAK,EAAE,CAAC,CAAC;IACrD,GAAG,KAAK;IACR,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC;CACpD,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,CAAC,MAAyB,EAAE,EAAE,CAC5C,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAEjD,SAAS,KAAK,CACZ,QAAqB,EACrB,UAAyB,EACzB,KAAsD;IAEtD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IACrD,IAAI,KAAK,KAAK,MAAM;QAClB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;IAC3D,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO;SAC7B,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC;SACvC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,KAAK,UAAU,CAAC,EAAE,CAAC,EAAE,OAAO,CACvE,KAAK,CACN,CAAC;IACF,IAAI,OAAO;QACT,OAAO,MAAM,IAAI,OAAO;YACtB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;YACtC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IAC9D,OAAO,UAAU,CAAC,OAAO,IAAI,IAAI;QAC/B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;QACxB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAED,0FAA0F;AAC1F,SAAS,MAAM,CACb,QAAqB,EACrB,UAAyB,EACzB,IAAY;IAEZ,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IACpE,IACE,IAAI,KAAK,MAAM;QACf,IAAI,CAAC,MAAM;QACX,KAAK,EAAE,IAAI,KAAK,KAAK;QACrB,KAAK,CAAC,UAAU,KAAK,YAAY;QAEjC,OAAO,QAAQ,CAAC,WAAW;aACxB,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;aACnE,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACrB,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CACtD,CAAC;IACN,OAAO,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;AAChC,CAAC;AACD,SAAS,QAAQ,CACf,QAAqB,EACrB,UAAyB,EACzB,IAAY,EACZ,MAAkB;IAElB,OAAO,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1D,MAAM,KAAK,GAAG,YAAY,CACxB,QAAQ,EACR,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,IAAI,EACV,MAAM,EAAE,KAAK,EACb,MAAM,CACP,CAAC;QACF,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACzC,OAAO;YACL;gBACE,IAAI;gBACJ,KAAK,EAAE,UAAU,CAAC,EAAE;gBACpB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE;gBAC/B,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC;gBACrD,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;gBACnE,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,KAAK;aAC9B;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AACD,SAAS,YAAY,CACnB,QAAqB,EACrB,UAAyB,EACzB,MAAiB;IAEjB,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/B,MAAM,YAAY,GAChB,UAAU,IAAI,IAAI;YAChB,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5D,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5C,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAC1D,SAAS,CAAC,SAAS,KAAK,2BAA2B;gBACnD,KAAK,CAAC,IAAI,KAAK,QAAQ,SAAS,CAAC,OAAO,EAAE;gBACxC,CAAC,CAAC;oBACE;wBACE,UAAU,EAAE,KAAK,CAAC,UAAU;wBAC5B,MAAM,EAAE,IAAI;wBACZ,IAAI,EAAE,SAAS;qBAChB;iBACF;gBACH,CAAC,CAAC,EAAE,CACP,CACF,CACF;YACH,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,SAAS,GAAG,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;QAC3E,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACvC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAC9D,CAAC;QACF,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACrC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAC5D,CAAC;QACF,MAAM,MAAM,GACV,QAAQ,IAAI,IAAI;YACd,CAAC,CAAC,IAAI,CAAC,MAAM;YACb,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;gBACzB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,MAAM;gBAC9B,CAAC,CAAC,IAAI,CAAC;QACb,OAAO;YACL,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,MAAM;YACN,IAAI;YACJ,EAAE;YACF,WAAW,EACT,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,MAAM;gBACxB,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,wBAAwB;oBAC3C,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,2BAA2B;wBAC9C,CAAC,CAAC,MAAM;wBACR,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC;4BAC9C,CAAC,CAAC,OAAO;4BACT,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC;gCACzD,CAAC,CAAC,MAAM;gCACR,CAAC,CAAC,MAAM;YACpB,QAAQ,EACN,UAAU,IAAI,IAAI;gBAChB,CAAC,CAAC,IAAI,CAAC,QAAQ;gBACf,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,2BAA2B;oBAC9C,CAAC,CAAC,QAAQ,IAAI,CAAC,OAAO,EAAE;oBACxB,CAAC,CAAC,IAAI;YACZ,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACzC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE;gBAC/B,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG;aACpB,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AACD,SAAS,aAAa,CACpB,QAAqB,EACrB,UAAyB;IAEzB,MAAM,UAAU,GAA2B,UAAU,CAAC,MAAM,CAAC,OAAO,CAClE,CAAC,KAAK,EAAE,EAAE;QACR,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;YACtB,OAAO;gBACL;oBACE,IAAI,EAAE,WAAoB;oBAC1B,GAAG,EAAE,OAAgB;oBACrB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,UAAU,EAAE,KAAK,CAAC,UAAU;oBAC5B,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;oBAC9B,WAAW,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;iBACrD;aACF,CAAC;QACJ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM;YAC/D,OAAO;gBACL;oBACE,IAAI,EAAE,WAAoB;oBAC1B,GAAG,EAAE,OAAgB;oBACrB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,YAAY;oBAC5C,OAAO,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;oBACvB,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,EAAE;iBAC7C;aACF,CAAC;QACJ,OAAO,EAAE,CAAC;IACZ,CAAC,CACF,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CACxC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC,EAAE,CAC5C,CAAC;QACF,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,CAC3C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,IAAI,CAC1C;YACC,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,YAAY;gBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,UAAU,EAAE,YAAY;gBACxB,OAAO,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC;gBAC3B,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE;aACnC,CAAC,CAAC;IACP,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,WAAW;QACvC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,MAAM,IAAI,EAAE;YACvD,IAAI,YAAY,IAAI,IAAI;gBACtB,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,OAAO;oBACb,GAAG,EAAE,YAAY;oBACjB,IAAI;oBACJ,UAAU,EAAE,YAAY;oBACxB,OAAO,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;oBAC1B,qEAAqE;oBACrE,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,EAAE;iBACvD,CAAC,CAAC;IACT,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACzC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CACnD,CAAC,MAAM,EAAE,EAAE,CACT,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ;YAChC,QAAQ,IAAI,MAAM,CAAC,KAAK;YACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CACvD,CAAC;QACF,IACE,WAAW;YACX,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,KAAK;gBACpB,KAAK,CAAC,UAAU,KAAK,YAAY;gBACjC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAChD;YAED,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,cAAc;gBACnB,IAAI,EAAE,KAAK,CAAC,EAAE;gBACd,UAAU,EAAE,YAAY;gBACxB,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnB,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE;aACnC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AACD,SAAS,aAAa,CACpB,QAAqB,EACrB,UAAyB,EACzB,IAAY;IAEZ,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC;IACzC,MAAM,UAAU,GAAG,UAAU,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3B,OAAO;QACL,IAAI;QACJ,KAAK,EAAE,MAAM,CAAC,YAAY,IAAI,IAAI;QAClC,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,iBAAiB,CAAC,MAAM,CAAC,YAAY,IAAI,IAAI,CAAC;QACrE,KAAK;QACL,KAAK,EAAE;YACL,OAAO,KAAK,KAAK,QAAQ;gBACvB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE;gBACjB,CAAC,CAAC,OAAO,IAAI,KAAK;oBAChB,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC;oBAC1C,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;SAC7D;QACD,IAAI,EAAE,UAAU,EAAE,IAAI,IAAI,EAAE;QAC5B,EAAE,EACA,IAAI,KAAK,QAAQ;YACf,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,OAAO;YAC9B,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,IAAI,IAAI,CAAC;QAC9B,GAAG,CAAC,IAAI,KAAK,QAAQ;YACnB,CAAC,CAAC;gBACE,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,CAClC,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,KAAK;oBACpB,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAClD;gBACD,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACjD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CACxC,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAE,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1D,YAAY,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC,EAAE;oBACvD,CAAC,CAAC;wBACE;4BACE,UAAU,EAAE,MAAM,CAAC,EAAE;4BACrB,MAAM,EAAE,UAAU;4BAClB,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAE,CAAC,YAAY,IAAI,IAAI;4BACvD,UAAU,EAAE,IAAI;yBACjB;qBACF;oBACH,CAAC,CAAC,EAAE,CACP,CACF,CACF;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,aAAa,EAAE,MAAM,CAAC,QAAQ;QAC9B,GAAG,EAAE,MAAM,CAAC,GAAG,IAAI,IAAI;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI;QACjC,YAAY,EAAE,MAAM,CAAC,SAAS,IAAI,EAAE;QACpC,WAAW,EAAE,MAAM,CAAC,GAAG,IAAI,EAAE;QAC7B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,YAAY,EAAE,YAAY,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC;QACxD,OAAO,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE;KAC7B,CAAC;AACJ,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,wBAAwB,CACtC,QAAqB;IAErB,MAAM,WAAW,GACf,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACxC,EAAE,EAAE,UAAU,CAAC,EAAE;QACjB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5C,KAAK,CAAC,IAAI,KAAK,SAAS;YACtB,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACtD,CAAC,CAAC,EAAE,CACP;QACD,aAAa,EAAE,aAAa,CAAC,QAAQ,EAAE,UAAU,CAAC;QAClD,YAAY,EAAE,UAAU,CAAC,SAAS;QAClC,UAAU,EAAE,UAAU,CAAC,UAAU,IAAI,EAAE;QACvC,YAAY,EAAE,UAAU,CAAC,SAAS,CAAC,OAAO;QAC1C,SAAS,EAAE;YACT,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,OAAO;YACrC,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACjD,IAAI;gBACJ,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC;gBACrE,QAAQ,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,IAAI,CAC7D,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC/C;aACF,CAAC,CAAC;YACH,mBAAmB,EAAE,EAAE;SACxB;QACD,OAAO,EAAE,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3C,aAAa,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAC1C;QACD,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,EAAE;QACjC,UAAU,EAAE,EAAE;KACf,CAAC,CAAC,CAAC;IACN,KAAK,MAAM,UAAU,IAAI,WAAW;QAClC,iBAAiB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAC7C,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACzC,GAAG,MAAM;YACT,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACnC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBACnD,GAAG,UAAU;gBACb,KAAK,EAAE,UAAU,CAAC,KAAK,IAAI,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC7D,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE;aACnC,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,WAAW;KACZ,CAAC;AACJ,CAAC"}

package/dist/object-structures.d.ts

@@ -0,0 +1,4 @@
+import type { SemanticInstrument } from "./object-semantics-schema.js";
+/** Select only structures proved by declarations. Names, families and prose carry no authority. */
+export declare function projectStructures(instrument: SemanticInstrument, instruments: SemanticInstrument[]): void;
+//# sourceMappingURL=object-structures.d.ts.map

package/dist/object-structures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-structures.d.ts","sourceRoot":"","sources":["../src/object-structures.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,kBAAkB,EACnB,MAAM,8BAA8B,CAAC;AAWtC,mGAAmG;AACnG,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,kBAAkB,EAC9B,WAAW,EAAE,kBAAkB,EAAE,GAChC,IAAI,CA2ON"}

package/dist/object-structures.js

@@ -0,0 +1,134 @@
+const hasMoney = (instrument) => instrument.actions.some((action) => action.moneyEffects.length > 0);
+const timed = (action) => action.due !== null || action.deadline !== null;
+const sameAccount = (left, right) => left.book === right.book &&
+    left.key === right.key &&
+    JSON.stringify(left.owner) === JSON.stringify(right.owner);
+/** Select only structures proved by declarations. Names, families and prose carry no authority. */
+export function projectStructures(instrument, instruments) {
+    const actions = instrument.actions;
+    const effects = actions.flatMap((action) => action.moneyEffects);
+    const precedes = (before, after) => {
+        const pending = before.to === null ? [] : [before.to];
+        const seen = new Set();
+        while (pending.length) {
+            const state = pending.pop();
+            if (after.from.includes(state))
+                return true;
+            if (seen.has(state))
+                continue;
+            seen.add(state);
+            for (const next of actions)
+                if (next !== after && next.from.includes(state) && next.to !== null)
+                    pending.push(next.to);
+        }
+        return false;
+    };
+    const returnsMoney = (action) => {
+        for (const effect of action.moneyEffects) {
+            if (effect.operation === "internal_transfer.void" &&
+                effect.reservations.length)
+                return true;
+            if (effect.operation !== "internal_transfer.create")
+                continue;
+            for (const prior of actions) {
+                if (prior === action || !precedes(prior, action))
+                    continue;
+                for (const earlier of prior.moneyEffects) {
+                    if (earlier.operation !== "internal_transfer.create")
+                        continue;
+                    if (effect.from.some((from) => earlier.to.some((to) => sameAccount(from, to))) &&
+                        effect.to.some((to) => earlier.from.some((from) => sameAccount(to, from))))
+                        return true;
+                }
+            }
+        }
+        return false;
+    };
+    const abandonsInitial = (action) => action.from.includes(instrument.initialState) &&
+        !action.moneyEffects.length &&
+        !action.invokes.length &&
+        !actions.find((candidate) => candidate.name === "create")?.moneyEffects
+            .length &&
+        actions.some((alternative) => alternative !== action &&
+            alternative.moneyEffects.length > 0 &&
+            alternative.from.some((from) => action.from.includes(from)));
+    const cancellation = actions.filter((action) => action.from.length &&
+        instrument.lifecycle.states.some((state) => state.name === action.to && state.terminal) &&
+        (returnsMoney(action) || abandonsInitial(action)));
+    instrument.lifecycle.cancellationActions = cancellation.map((action) => action.name);
+    const linked = instruments.filter((candidate) => instrument.relationships.some((relationship) => relationship.kind === "child" &&
+        relationship.targets.includes(candidate.id)));
+    const calendar = (candidate) => hasMoney(candidate) &&
+        candidate.actions.some((action) => action.due !== null) &&
+        candidate.relationships.some((relationship) => relationship.kind === "reference" &&
+            relationship.targetKind === "instrument");
+    const hasParent = instruments.some((parent) => parent.relationships.some((relationship) => relationship.kind === "child" &&
+        relationship.targets.includes(instrument.id)));
+    const reserved = actions.some((action) => action.moneyEffects.some((reserve) => reserve.operation === "internal_transfer.reserve" &&
+        ["internal_transfer.post", "internal_transfer.void"].every((operation) => effects.some((effect) => effect.operation === operation &&
+            effect.reservations.some((reference) => reference.instrument === instrument.id &&
+                reference.action === action.name &&
+                reference.key === reserve.key)))));
+    const contributions = [
+        ...[
+            ...instrument.invariants,
+            ...actions.flatMap((action) => action.prerequisites),
+        ].flatMap((requirement) => requirement.kind === "aggregate" ? [requirement.selection] : []),
+        ...[
+            ...instrument.calculations,
+            ...actions.flatMap((action) => action.calculations),
+        ].flatMap((calculation) => calculation.op === "aggregate" ? [calculation.selection] : []),
+        ...actions.flatMap((action) => action.invokes.flatMap((call) => "selection" in call ? [call.selection] : [])),
+    ];
+    const fundedAccount = instrument.accounts.filter((account) => account.owner.kind === "instrument" && account.book === "cash");
+    const funding = contributions.some((selection) => {
+        if (selection.anchor !== "self.id")
+            return false;
+        const ids = typeof selection.instrument === "string"
+            ? [selection.instrument]
+            : selection.instrument;
+        const children = instruments.filter((candidate) => ids.includes(candidate.id) &&
+            candidate.relationships.some((reference) => reference.name === selection.reference &&
+                reference.targets.includes(instrument.id)));
+        const receivesContribution = children.some((child) => child.actions.some((action) => action.moneyEffects.some((effect) => effect.operation === "internal_transfer.create" &&
+            effect.to.some((to) => fundedAccount.some((account) => sameAccount(to, account))))));
+        const balanceTarget = actions.some((action) => action.prerequisites.some((requirement) => {
+            if (requirement.kind !== "compare")
+                return false;
+            const values = [requirement.left, requirement.right];
+            return (values.some((value) => "field" in value &&
+                fundedAccount.some((account) => value.field === `${account.path}.balance`)) &&
+                values.some((value) => "field" in value &&
+                    instrument.fields.some((field) => field.type === "money" &&
+                        value.field === `self.${field.name}`)));
+        }));
+        return receivesContribution && balanceTarget;
+    });
+    const structures = [];
+    if (actions.some((action) => action.alias !== null && action.from.length))
+        structures.push("stage_and_decisions");
+    if (effects.some((effect) => effect.from.length &&
+        effect.to.length &&
+        effect.operation !== "internal_transfer.void"))
+        structures.push("payment_review");
+    if (fundedAccount.some((account) => actions.some((action) => action.from.length &&
+        action.moneyEffects.some((effect) => [...effect.from, ...effect.to].some((endpoint) => sameAccount(account, endpoint))))))
+        structures.push("held_funds");
+    if (reserved)
+        structures.push("reserved_payment");
+    if ((hasParent && calendar(instrument)) || linked.some(calendar))
+        structures.push("payment_calendar");
+    if (funding)
+        structures.push("funding_progress");
+    if (cancellation.some((action) => actions.some((alternative) => alternative !== action &&
+        alternative.from.some((state) => action.from.includes(state)) &&
+        (timed(action) || timed(alternative)))))
+        structures.push("cancellation_review");
+    if (actions.some((action) => action.subject?.adapters.length ||
+        action.prerequisites.some((requirement) => requirement.kind === "evidence")))
+        structures.push("external_checks");
+    if (instrument.reports.length)
+        structures.push("report_view");
+    instrument.structures = structures;
+}
+//# sourceMappingURL=object-structures.js.map

package/dist/object-structures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-structures.js","sourceRoot":"","sources":["../src/object-structures.ts"],"names":[],"mappings":"AAMA,MAAM,QAAQ,GAAG,CAAC,UAA8B,EAAE,EAAE,CAClD,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACtE,MAAM,KAAK,GAAG,CAAC,MAAsB,EAAE,EAAE,CACvC,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC;AAClD,MAAM,WAAW,GAAG,CAAC,IAAqB,EAAE,KAAsB,EAAE,EAAE,CACpE,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;IACxB,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG;IACtB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAE7D,mGAAmG;AACnG,MAAM,UAAU,iBAAiB,CAC/B,UAA8B,EAC9B,WAAiC;IAEjC,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC;IACnC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,CAAC,MAAsB,EAAE,KAAqB,EAAE,EAAE;QACjE,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;YAC7B,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAChB,KAAK,MAAM,IAAI,IAAI,OAAO;gBACxB,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;oBACjE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,MAAsB,EAAE,EAAE;QAC9C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACzC,IACE,MAAM,CAAC,SAAS,KAAK,wBAAwB;gBAC7C,MAAM,CAAC,YAAY,CAAC,MAAM;gBAE1B,OAAO,IAAI,CAAC;YACd,IAAI,MAAM,CAAC,SAAS,KAAK,0BAA0B;gBAAE,SAAS;YAC9D,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,IAAI,KAAK,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;oBAAE,SAAS;gBAC3D,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;oBACzC,IAAI,OAAO,CAAC,SAAS,KAAK,0BAA0B;wBAAE,SAAS;oBAC/D,IACE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACxB,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAC/C;wBACD,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CACpB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CACnD;wBAED,OAAO,IAAI,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,eAAe,GAAG,CAAC,MAAsB,EAAE,EAAE,CACjD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC;QAC7C,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM;QAC3B,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM;QACtB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,YAAY;aACpE,MAAM;QACT,OAAO,CAAC,IAAI,CACV,CAAC,WAAW,EAAE,EAAE,CACd,WAAW,KAAK,MAAM;YACtB,WAAW,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YACnC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAC9D,CAAC;IACJ,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CACjC,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,CAAC,MAAM;QAClB,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAC9B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,QAAQ,CACtD;QACD,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,CACpD,CAAC;IACF,UAAU,CAAC,SAAS,CAAC,mBAAmB,GAAG,YAAY,CAAC,GAAG,CACzD,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CACxB,CAAC;IAEF,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,UAAU,CAAC,aAAa,CAAC,IAAI,CAC3B,CAAC,YAAY,EAAE,EAAE,CACf,YAAY,CAAC,IAAI,KAAK,OAAO;QAC7B,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAC9C,CACF,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,SAA6B,EAAE,EAAE,CACjD,QAAQ,CAAC,SAAS,CAAC;QACnB,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC;QACvD,SAAS,CAAC,aAAa,CAAC,IAAI,CAC1B,CAAC,YAAY,EAAE,EAAE,CACf,YAAY,CAAC,IAAI,KAAK,WAAW;YACjC,YAAY,CAAC,UAAU,KAAK,YAAY,CAC3C,CAAC;IACJ,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5C,MAAM,CAAC,aAAa,CAAC,IAAI,CACvB,CAAC,YAAY,EAAE,EAAE,CACf,YAAY,CAAC,IAAI,KAAK,OAAO;QAC7B,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAC/C,CACF,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACvC,MAAM,CAAC,YAAY,CAAC,IAAI,CACtB,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,SAAS,KAAK,2BAA2B;QACjD,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC,KAAK,CACxD,CAAC,SAAS,EAAE,EAAE,CACZ,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,SAAS,KAAK,SAAS;YAC9B,MAAM,CAAC,YAAY,CAAC,IAAI,CACtB,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,UAAU,KAAK,UAAU,CAAC,EAAE;gBACtC,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI;gBAChC,SAAS,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,CAChC,CACJ,CACJ,CACJ,CACF,CAAC;IACF,MAAM,aAAa,GAAG;QACpB,GAAG;YACD,GAAG,UAAU,CAAC,UAAU;YACxB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC;SACrD,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CACxB,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAChE;QACD,GAAG;YACD,GAAG,UAAU,CAAC,YAAY;YAC1B,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC;SACpD,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CACxB,WAAW,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAC9D;QACD,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC9B,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAC5C,CACF;KACF,CAAC;IACF,MAAM,aAAa,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAC9C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,CAC5E,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QAC/C,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACjD,MAAM,GAAG,GACP,OAAO,SAAS,CAAC,UAAU,KAAK,QAAQ;YACtC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC;YACxB,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC;QAC3B,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CACjC,CAAC,SAAS,EAAE,EAAE,CACZ,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1B,SAAS,CAAC,aAAa,CAAC,IAAI,CAC1B,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,SAAS;gBACtC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAC5C,CACJ,CAAC;QACF,MAAM,oBAAoB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACnD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,MAAM,CAAC,YAAY,CAAC,IAAI,CACtB,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,SAAS,KAAK,0BAA0B;YAC/C,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CACpB,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAC1D,CACJ,CACF,CACF,CAAC;QACF,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5C,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE;YACxC,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YACjD,MAAM,MAAM,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC;YACrD,OAAO,CACL,MAAM,CAAC,IAAI,CACT,CAAC,KAAK,EAAE,EAAE,CACR,OAAO,IAAI,KAAK;gBAChB,aAAa,CAAC,IAAI,CAChB,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,GAAG,OAAO,CAAC,IAAI,UAAU,CACvD,CACJ;gBACD,MAAM,CAAC,IAAI,CACT,CAAC,KAAK,EAAE,EAAE,CACR,OAAO,IAAI,KAAK;oBAChB,UAAU,CAAC,MAAM,CAAC,IAAI,CACpB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,OAAO;wBACtB,KAAK,CAAC,KAAK,KAAK,QAAQ,KAAK,CAAC,IAAI,EAAE,CACvC,CACJ,CACF,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;QACF,OAAO,oBAAoB,IAAI,aAAa,CAAC;IAC/C,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAqC,EAAE,CAAC;IACxD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QACvE,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACzC,IACE,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,CAAC,MAAM;QAClB,MAAM,CAAC,EAAE,CAAC,MAAM;QAChB,MAAM,CAAC,SAAS,KAAK,wBAAwB,CAChD;QAED,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACpC,IACE,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC7B,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,CAAC,MAAM;QAClB,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAClC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC/C,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,CAC/B,CACF,CACJ,CACF;QAED,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChC,IAAI,QAAQ;QAAE,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAClD,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC9D,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACtC,IAAI,OAAO;QAAE,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACjD,IACE,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3B,OAAO,CAAC,IAAI,CACV,CAAC,WAAW,EAAE,EAAE,CACd,WAAW,KAAK,MAAM;QACtB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7D,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,CAAC,CACxC,CACF;QAED,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACzC,IACE,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM;QAC/B,MAAM,CAAC,aAAa,CAAC,IAAI,CACvB,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CACjD,CACJ;QAED,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACrC,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM;QAAE,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC9D,UAAU,CAAC,UAAU,GAAG,UAAU,CAAC;AACrC,CAAC"}