@hyperscale0/udl 1.0.0-beta.1 → 1.0.0

package/dist/diagnostics.js

@@ -0,0 +1,164 @@
+const diagnosticDefinitions = {
+    UDL1001: {
+        category: "invalid_utf8",
+        family: "admission",
+        title: "Invalid UTF-8",
+        fix: "Encode the document as valid UTF-8.",
+    },
+    UDL1002: {
+        category: "invalid_json",
+        family: "admission",
+        title: "Invalid JSON",
+        fix: "Repair the JSON syntax before validation.",
+    },
+    UDL1003: {
+        category: "invalid_shape",
+        family: "admission",
+        title: "Invalid document shape",
+        fix: "Match the published UDL JSON Schema.",
+    },
+    UDL1004: {
+        category: "resource_limit",
+        family: "admission",
+        title: "Resource limit exceeded",
+        fix: "Reduce the source size, nesting, values, strings, references, or financial paths named by the message.",
+    },
+    UDL2001: {
+        category: "invalid_semantics",
+        family: "document",
+        title: "Duplicate declaration",
+        fix: "Give each declaration a unique name.",
+    },
+    UDL2002: {
+        category: "invalid_semantics",
+        family: "document",
+        title: "Document law violation",
+        fix: "Repair the declaration, subject contract, or derived effects named by the message.",
+    },
+    UDL2005: {
+        category: "invalid_semantics",
+        family: "document",
+        title: "Derived effects mismatch",
+        fix: "Regenerate the action effects from its clauses.",
+    },
+    UDL3001: {
+        category: "invalid_semantics",
+        family: "lifecycle",
+        title: "Lifecycle is not closed",
+        fix: "Declare every state and action transition, and make every state reachable.",
+    },
+    UDL4001: {
+        category: "invalid_semantics",
+        family: "finance",
+        title: "Money graph violation",
+        fix: "Balance every funded amount and close every hold on each lifecycle path.",
+    },
+    UDL5001: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Reference gate violation",
+        fix: "Point the gate at a declared instrument, action, state, field, and reference.",
+    },
+    UDL5002: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Check requirement violation",
+        fix: "Use a declared check with compatible evidence and recurrence.",
+    },
+    UDL5003: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Exposure gate violation",
+        fix: "Use declared account and money fields for the exposure gate.",
+    },
+    UDL5004: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Aggregate law violation",
+        fix: "Point the aggregate at compatible parent and child fields.",
+    },
+    UDL5005: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Settlement or payout violation",
+        fix: "Use a declared settlement account and a compatible payout statement line.",
+    },
+    UDL5006: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Quote and commit violation",
+        fix: "Declare one complete quote freeze set and one matching commit action.",
+    },
+    UDL5007: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Reconcile exception child violation",
+        fix: "Name a declared child whose reference points back to this instrument.",
+    },
+    UDL5008: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Action clause violation",
+        fix: "Repair the clause fields and keep incompatible clauses separate.",
+    },
+    UDL5009: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Reconcile exception amount field is missing or optional",
+        fix: "Name the exception child's required money field in amountField.",
+    },
+    UDL5010: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Reconcile exception amount field has the wrong type",
+        fix: "Point amountField at a money field declared by the exception child.",
+    },
+    UDL5011: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Reconcile exception reason field is missing or optional",
+        fix: "Name the exception child's required text field in reasonField.",
+    },
+    UDL5012: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Reconcile exception reason field has the wrong type",
+        fix: "Point reasonField at a required plain text field declared by the exception child.",
+    },
+    UDL6001: {
+        category: "invalid_semantics",
+        family: "schema",
+        title: "Unsupported JSON Schema",
+        fix: "Use only the sealed UDL JSON Schema subset.",
+    },
+    UDL7001: {
+        category: "invalid_evolution",
+        family: "evolution",
+        title: "Stored contract changed",
+        fix: "Keep stored identities and contracts unchanged, and add only allowed optional declarations.",
+    },
+    UDL7002: {
+        category: "invalid_evolution",
+        family: "evolution",
+        title: "Version was not increased",
+        fix: "Increase the product version for every semantic change.",
+    },
+};
+export const udlDiagnostics = Object.entries(diagnosticDefinitions).map(([code, diagnostic]) => ({
+    code: code,
+    ...diagnostic,
+}));
+export function udlDiagnostic(code) {
+    return udlDiagnostics.find((diagnostic) => diagnostic.code === code);
+}
+export function issue(code, path, messageDetail) {
+    const diagnostic = diagnosticDefinitions[code];
+    return {
+        category: diagnostic.category,
+        code,
+        fix: diagnostic.fix,
+        message: messageDetail ?? diagnostic.title,
+        path,
+    };
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAiBA,MAAM,qBAAqB,GAAG;IAC5B,OAAO,EAAE;QACP,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,eAAe;QACtB,GAAG,EAAE,qCAAqC;KAC3C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,cAAc;QACrB,GAAG,EAAE,2CAA2C;KACjD;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,eAAe;QACzB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,sCAAsC;KAC5C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,gBAAgB;QAC1B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,wGAAwG;KAC9G;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,sCAAsC;KAC5C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,oFAAoF;KAC1F;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,iDAAiD;KACvD;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,4EAA4E;KAClF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,0EAA0E;KAChF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,+EAA+E;KACrF;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,+DAA+D;KACrE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,8DAA8D;KACpE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,4DAA4D;KAClE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,2EAA2E;KACjF;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,uEAAuE;KAC7E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qCAAqC;QAC5C,GAAG,EAAE,uEAAuE;KAC7E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,kEAAkE;KACxE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yDAAyD;QAChE,GAAG,EAAE,iEAAiE;KACvE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qDAAqD;QAC5D,GAAG,EAAE,qEAAqE;KAC3E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yDAAyD;QAChE,GAAG,EAAE,gEAAgE;KACtE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qDAAqD;QAC5D,GAAG,EAAE,mFAAmF;KACzF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,6CAA6C;KACnD;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,6FAA6F;KACnG;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,yDAAyD;KAC/D;CASF,CAAC;AAYF,MAAM,CAAC,MAAM,cAAc,GAA6B,MAAM,CAAC,OAAO,CACpE,qBAAqB,CACtB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7B,IAAI,EAAE,IAAoB;IAC1B,GAAG,UAAU;CACd,CAAC,CAAC,CAAC;AAEJ,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACvE,CAAC;AAUD,MAAM,UAAU,KAAK,CACnB,IAAkB,EAClB,IAAY,EACZ,aAAsB;IAEtB,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC/C,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,IAAI;QACJ,GAAG,EAAE,UAAU,CAAC,GAAG;QACnB,OAAO,EAAE,aAAa,IAAI,UAAU,CAAC,KAAK;QAC1C,IAAI;KACL,CAAC;AACJ,CAAC"}

package/dist/effects.d.ts

@@ -0,0 +1,41 @@
+export declare const udlEffectKinds: readonly ["decides", "holds", "moves", "notifies", "reads", "schedules"];
+export type UdlEffectKind = (typeof udlEffectKinds)[number];
+type EffectDescriptor = {
+    readonly kind: UdlEffectKind;
+    readonly per: "clause" | "element";
+    readonly signature: {
+        readonly fixed: string;
+    } | {
+        readonly fromField: string;
+    } | {
+        readonly movementClass: true;
+    };
+};
+type ActionClauseDescriptor = {
+    readonly effects?: readonly EffectDescriptor[];
+    readonly scope: "action" | "instrument";
+    readonly target: string;
+};
+type EffectRow = {
+    readonly channel?: string;
+    readonly role?: string;
+    readonly signature: string;
+    readonly source: string;
+};
+export type DerivedUdlEffects = Partial<Readonly<Record<UdlEffectKind, readonly EffectRow[]>>>;
+export type UdlMovementClass = "collection.pay_in" | "deposit.attributed" | "payout.external" | "transfer.internal";
+interface Movement {
+    readonly bind?: Readonly<Record<string, unknown>>;
+    readonly operation: string;
+}
+/**
+ * Maps a UDL money operation to the meter and pricing class that owns it.
+ * Internal-transfer endpoint bindings are product accounts by construction.
+ * External collection, deposit, and payout operations carry their role in the
+ * operation family because their remote endpoint is not a UDL account binding.
+ */
+export declare function movementClass(move: Movement): UdlMovementClass;
+/** Derive the ABI effect rows declared by the action-clause vocabulary. */
+export declare function deriveUdlActionEffects(action: Readonly<Record<string, unknown>>, vocabulary: readonly ActionClauseDescriptor[]): DerivedUdlEffects;
+export {};
+//# sourceMappingURL=effects.d.ts.map

package/dist/effects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,cAAc,0EAOjB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D,KAAK,gBAAgB,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,SAAS,EACd;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAC1B;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAC9B;QAAE,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAA;KAAE,CAAC;CACtC,CAAC;AAEF,KAAK,sBAAsB,GAAG;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,YAAY,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,SAAS,GAAG;IACf,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,OAAO,CACrC,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC,CAAC,CACtD,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB,mBAAmB,GACnB,oBAAoB,GACpB,iBAAiB,GACjB,mBAAmB,CAAC;AAExB,UAAU,QAAQ;IAChB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AASD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,CAsB9D;AAED,2EAA2E;AAC3E,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,UAAU,EAAE,SAAS,sBAAsB,EAAE,GAC5C,iBAAiB,CAqCnB"}

package/dist/effects.js

@@ -0,0 +1,110 @@
+export const udlEffectKinds = [
+    "decides",
+    "holds",
+    "moves",
+    "notifies",
+    "reads",
+    "schedules",
+];
+function boundPath(move, endpoint) {
+    const binding = move.bind?.[endpoint];
+    if (binding === null || typeof binding !== "object")
+        return undefined;
+    const path = binding.path;
+    return typeof path === "string" ? path : undefined;
+}
+/**
+ * Maps a UDL money operation to the meter and pricing class that owns it.
+ * Internal-transfer endpoint bindings are product accounts by construction.
+ * External collection, deposit, and payout operations carry their role in the
+ * operation family because their remote endpoint is not a UDL account binding.
+ */
+export function movementClass(move) {
+    if (move.operation.startsWith("internal_transfer.")) {
+        const source = boundPath(move, "sourceAccountId");
+        const destination = boundPath(move, "destinationAccountId");
+        if (source?.startsWith("fields.") &&
+            destination === "refs.escrowAccountId") {
+            return "collection.pay_in";
+        }
+        return "transfer.internal";
+    }
+    if (move.operation.startsWith("collection.pay_in.")) {
+        return "collection.pay_in";
+    }
+    if (move.operation.startsWith("deposit.")) {
+        return "deposit.attributed";
+    }
+    if (move.operation.startsWith("payout.")) {
+        return "payout.external";
+    }
+    throw new Error(`cannot classify UDL movement operation ${move.operation}`);
+}
+/** Derive the ABI effect rows declared by the action-clause vocabulary. */
+export function deriveUdlActionEffects(action, vocabulary) {
+    const effects = {};
+    for (const clause of vocabulary) {
+        if (clause.scope !== "action" || !clause.effects)
+            continue;
+        const value = actionClauseValue(action, clause.target);
+        if (value === undefined)
+            continue;
+        for (const descriptor of clause.effects) {
+            const values = descriptor.per === "element" && Array.isArray(value) ? value : [value];
+            for (const [index, candidate] of values.entries()) {
+                const object = recordValue(candidate);
+                if (descriptor.kind === "holds" &&
+                    "fixed" in descriptor.signature &&
+                    descriptor.signature.fixed === "reserve" &&
+                    object?.operation !== "internal_transfer.reserve") {
+                    continue;
+                }
+                const suffix = effectSignatureSuffix(descriptor, object);
+                if (!suffix)
+                    continue;
+                (effects[descriptor.kind] ??= []).push({
+                    signature: `${descriptor.kind}.${suffix}`,
+                    source: descriptor.per === "element"
+                        ? `${clause.target}[${index}]`
+                        : clause.target,
+                    ...(descriptor.kind === "notifies" &&
+                        typeof object?.channel === "string" &&
+                        typeof object.role === "string"
+                        ? { channel: object.channel, role: object.role }
+                        : {}),
+                });
+            }
+        }
+    }
+    return effects;
+}
+function actionClauseValue(action, target) {
+    const [head, tail] = target.split(".");
+    if (!head)
+        return undefined;
+    const value = action[head];
+    if (!tail)
+        return value;
+    return recordValue(value)?.[tail];
+}
+function effectSignatureSuffix(descriptor, value) {
+    if ("fixed" in descriptor.signature)
+        return descriptor.signature.fixed;
+    if ("fromField" in descriptor.signature) {
+        const field = value?.[descriptor.signature.fromField];
+        return typeof field === "string" ? field : undefined;
+    }
+    if (!value || !("movementClass" in descriptor.signature))
+        return undefined;
+    const operation = value.operation;
+    const bind = recordValue(value.bind);
+    return typeof operation === "string"
+        ? movementClass({ ...(bind ? { bind } : {}), operation })
+        : undefined;
+}
+function recordValue(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : undefined;
+}
+//# sourceMappingURL=effects.js.map

package/dist/effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,SAAS;IACT,OAAO;IACP,OAAO;IACP,UAAU;IACV,OAAO;IACP,WAAW;CACH,CAAC;AAyCX,SAAS,SAAS,CAAC,IAAc,EAAE,QAAgB;IACjD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACtE,MAAM,IAAI,GAAI,OAAuC,CAAC,IAAI,CAAC;IAC3D,OAAO,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAc;IAC1C,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;QAC5D,IACE,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC;YAC7B,WAAW,KAAK,sBAAsB,EACtC,CAAC;YACD,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QACD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACpD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1C,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,0CAA0C,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,sBAAsB,CACpC,MAAyC,EACzC,UAA6C;IAE7C,MAAM,OAAO,GAAgD,EAAE,CAAC;IAChE,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAC3D,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACxC,MAAM,MAAM,GACV,UAAU,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACzE,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;gBAClD,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;gBACtC,IACE,UAAU,CAAC,IAAI,KAAK,OAAO;oBAC3B,OAAO,IAAI,UAAU,CAAC,SAAS;oBAC/B,UAAU,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS;oBACxC,MAAM,EAAE,SAAS,KAAK,2BAA2B,EACjD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM;oBAAE,SAAS;gBACtB,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC;oBACrC,SAAS,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,MAAM,EAAE;oBACzC,MAAM,EACJ,UAAU,CAAC,GAAG,KAAK,SAAS;wBAC1B,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,KAAK,GAAG;wBAC9B,CAAC,CAAC,MAAM,CAAC,MAAM;oBACnB,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU;wBAClC,OAAO,MAAM,EAAE,OAAO,KAAK,QAAQ;wBACnC,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;wBAC7B,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;wBAChD,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAyC,EACzC,MAAc;IAEd,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAA4B,EAC5B,KAAoD;IAEpD,IAAI,OAAO,IAAI,UAAU,CAAC,SAAS;QAAE,OAAO,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;IACvE,IAAI,WAAW,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtD,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,eAAe,IAAI,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3E,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAClC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,OAAO,SAAS,KAAK,QAAQ;QAClC,CAAC,CAAC,aAAa,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC;QACzD,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAClB,KAAc;IAEd,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAA2C;QAC9C,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}

package/dist/evolution.d.ts

@@ -1,4 +1,5 @@
-import type { UdlDocument, UdlNoun } from "./schema.js";
+import type { UdlDocument, UdlInstrument } from "./schema.js";
+import { type UdlIssue } from "./diagnostics.js";
 export interface EvolutionFieldSnapshot {
     readonly required: boolean;
     readonly schema: unknown;
@@ -11,35 +12,50 @@ export interface EvolutionStepSnapshot {
 export interface EvolutionMoveSnapshot extends EvolutionStepSnapshot {
     readonly key: string;
 }
-export interface EvolutionVerbSnapshot {
+export interface EvolutionActionSnapshot {
     /** Missing on snapshots written before receipt-input capture existed. */
     readonly captureInput?: unknown;
     readonly deadline: unknown;
     readonly decision: unknown;
+    /** Missing on snapshots written before UDL completeness. */
+    readonly principal?: string | null;
+    /** Missing on snapshots written before quote-commit existed. */
+    readonly commit?: string | null;
+    /** Missing on snapshots written before UDL completeness. */
+    readonly remainder?: unknown;
+    /** Missing on snapshots written before UDL completeness. */
+    readonly requiresChecks?: unknown;
+    /** Missing on snapshots written before UDL completeness. */
+    readonly sandboxFailurePoint?: string | null;
+    /** Missing on snapshots written before UDL completeness. */
+    readonly updates?: readonly string[];
     /** Missing on snapshots written before weighted distribution existed. */
     readonly distribute?: unknown;
     readonly due: unknown;
     readonly earnable: boolean;
+    /** Missing on snapshots written before derived effect rows entered UDL. */
+    readonly effects?: unknown;
     readonly eventName: string | null;
     readonly input: Readonly<Record<string, EvolutionFieldSnapshot>> | null;
     /**
      * Every top-level input schema keyword EXCEPT properties/required (those are
-     * diffed field by field). additionalProperties, oneOf, minProperties, and
-     * friends change what callers may send, so they are frozen once live.
+     * diffed field by field). additionalProperties, string and array bounds,
+     * numeric bounds, enum, const, pattern, and format change what callers may
+     * send, so they are frozen once live.
      */
     readonly inputConstraints: unknown;
     /** Missing on snapshots written before payout intents existed. */
     readonly payout?: unknown;
     readonly port: unknown;
-    /** Missing on snapshots written before public intent metadata existed. */
-    readonly publicIntent?: string | null;
+    /** Missing on snapshots written before public action metadata existed. */
+    readonly publicAction?: string | null;
     readonly requiresAggregate: unknown;
     readonly requiresDrainedAccount: unknown;
     /** Missing on snapshots written before exposure gates entered open UDL. */
     readonly requiresExposure?: unknown;
     readonly requiresRefs: unknown;
-    /** Missing on snapshots written before settlement evidence gates existed. */
-    readonly requiresSettlement?: unknown;
+    /** Missing on snapshots written before reconcile expectations existed. */
+    readonly reconcile?: unknown;
     readonly setsAt: unknown;
     /** Missing on snapshots written before signed child sums existed. */
     readonly signedSum?: unknown;
@@ -51,28 +67,45 @@ export interface EvolutionTransitionSnapshot {
     readonly to: string;
 }
 /** The complete serializable algebra protected by append-only evolution. */
-export interface NounEvolutionSnapshot {
+export interface InstrumentEvolutionSnapshot {
+    /** Missing on snapshots written before UDL carried authored action order. */
+    readonly actionOrder?: readonly string[];
     readonly aggregateInvariants: readonly string[];
-    /** Missing on snapshots written before typed computed refs entered UDL. */
-    readonly computedMoneyRefs?: readonly string[];
+    /** Missing on snapshots written before UDL completeness. */
+    readonly callerParkedStates?: Readonly<Record<string, string>>;
     readonly derivedAmounts: readonly string[];
+    /** Missing on snapshots written before UDL completeness. */
+    readonly dials?: unknown;
     readonly distinctParties?: true;
+    /** Missing on snapshots written before unified fee rules entered UDL. */
+    readonly feeRules?: unknown;
     readonly fields: Readonly<Record<string, EvolutionFieldSnapshot>>;
     readonly id: string;
     readonly idPrefix: string;
     readonly initial: string;
+    /** Missing on snapshots written before UDL completeness. */
+    readonly nav?: readonly string[];
     readonly parties: Readonly<Record<string, string>>;
     readonly partitions: readonly string[];
     readonly states: readonly string[];
     readonly subjects: readonly string[];
+    /** Missing on snapshots written before UDL completeness. */
+    readonly subjectExtensible?: boolean;
+    /** Missing on snapshots written before UDL completeness. */
+    readonly surfaceVisibility?: string | null;
+    /** Missing on snapshots written before UDL completeness. */
+    readonly templateId?: string | null;
     readonly transitions: Readonly<Record<string, EvolutionTransitionSnapshot>>;
-    readonly unwind: unknown;
+    /** Every quote-commit pair, keyed by quoting action. */
+    readonly quotes: unknown;
     readonly updateFields: readonly string[];
+    /** Missing on snapshots written before UDL completeness. */
+    readonly updateExamples?: unknown;
     readonly updateStates: readonly string[];
-    readonly verbs: Readonly<Record<string, EvolutionVerbSnapshot>>;
+    readonly actions: Readonly<Record<string, EvolutionActionSnapshot>>;
 }
-/** Project an open .udl noun into the evolution engine's exact semantic shape. */
-export declare function snapshotUdlNoun(noun: UdlNoun): NounEvolutionSnapshot;
+/** Project an open .udl instrument into the evolution engine's exact semantic shape. */
+export declare function snapshotUdlInstrument(instrument: UdlInstrument): InstrumentEvolutionSnapshot;
 /**
  * Compare two product definitions under the append-only evolution law.
  *
@@ -81,7 +114,7 @@ export declare function snapshotUdlNoun(noun: UdlNoun): NounEvolutionSnapshot;
  * it throws a RangeError out of here where the validator would have returned a
  * clean `resource_limit` issue: parse first, then diff.
  */
-export declare function diffValidatedUdlEvolution(previous: UdlDocument, next: UdlDocument): readonly string[];
-/** Diff one noun snapshot. An empty result means the change is additive. */
-export declare function diffNounEvolution(previous: NounEvolutionSnapshot, next: NounEvolutionSnapshot): readonly string[];
+export declare function diffValidatedUdlEvolution(previous: UdlDocument, next: UdlDocument): readonly UdlIssue[];
+/** Diff one instrument snapshot. An empty result means the change is additive. */
+export declare function diffInstrumentEvolution(previous: InstrumentEvolutionSnapshot, next: InstrumentEvolutionSnapshot): readonly UdlIssue[];
 //# sourceMappingURL=evolution.d.ts.map

package/dist/evolution.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evolution.d.ts","sourceRoot":"","sources":["../src/evolution.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAgB,WAAW,EAAE,OAAO,EAAW,MAAM,aAAa,CAAC;AAG/E,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,qBAAsB,SAAQ,qBAAqB;IAClE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,qBAAqB;IACpC,yEAAyE;IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,yEAAyE;IACzE,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,GAAG,IAAI,CAAC;IACxE;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,kEAAkE;IAClE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;IACzC,2EAA2E;IAC3E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,6EAA6E;IAC7E,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,qEAAqE;IACrE,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;CAClD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED,4EAA4E;AAC5E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,2EAA2E;IAC3E,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAClE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAAC,CAAC;IAC5E,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC,CAAC;CACjE;AAED,kFAAkF;AAClF,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,qBAAqB,CA4CpE;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,WAAW,EACrB,IAAI,EAAE,WAAW,GAChB,SAAS,MAAM,EAAE,CA8DnB;AAED,4EAA4E;AAC5E,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,qBAAqB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,SAAS,MAAM,EAAE,CAmGnB"}
+{"version":3,"file":"evolution.d.ts","sourceRoot":"","sources":["../src/evolution.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAEV,WAAW,EACX,aAAa,EAEd,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAS,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,qBAAsB,SAAQ,qBAAqB;IAClE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,uBAAuB;IACtC,yEAAyE;IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,gEAAgE;IAChE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,4DAA4D;IAC5D,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,4DAA4D;IAC5D,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,GAAG,IAAI,CAAC;IACxE;;;;;OAKG;IACH,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,kEAAkE;IAClE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;IACzC,2EAA2E;IAC3E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,qEAAqE;IACrE,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;CAClD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED,4EAA4E;AAC5E,MAAM,WAAW,2BAA2B;IAC1C,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,4DAA4D;IAC5D,QAAQ,CAAC,kBAAkB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/D,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;IAChC,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAClE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,4DAA4D;IAC5D,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,4DAA4D;IAC5D,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3C,4DAA4D;IAC5D,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAAC,CAAC;IAC5E,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,4DAA4D;IAC5D,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC,CAAC;CACrE;AAED,wFAAwF;AACxF,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,aAAa,GACxB,2BAA2B,CA0E7B;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,WAAW,EACrB,IAAI,EAAE,WAAW,GAChB,SAAS,QAAQ,EAAE,CAYrB;AA2ED,kFAAkF;AAClF,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,2BAA2B,EACrC,IAAI,EAAE,2BAA2B,GAChC,SAAS,QAAQ,EAAE,CAIrB"}