@hyperscale0/udl 3.1.0 → 4.0.0

package/dist/object-contract.js

@@ -0,0 +1,306 @@
+import * as z from "zod";
+import { udlExternalIdSchema, udlObjectIdSchema, udlPartyNameSchema, } from "./schema.js";
+export const requestAttributionSchema = z.union([
+    z.strictObject({
+        kind: z.literal("human"),
+        principalId: z.string().min(1),
+        humanId: z.string().min(1),
+        source: z.enum(["staff_session", "customer_session"]),
+    }),
+    z.strictObject({
+        kind: z.literal("machine"),
+        principalId: z.string().min(1),
+        source: z.enum(["api_key", "system"]),
+    }),
+    z.strictObject({
+        kind: z.literal("machine"),
+        principalId: z.string().min(1),
+        humanId: z.string().min(1),
+        source: z.literal("api_key_delegate"),
+    }),
+]);
+export const objectApprovalRequirementSchema = z.strictObject({
+    target: z.string().min(1),
+    action: udlPartyNameSchema,
+    party: udlPartyNameSchema,
+    role: udlPartyNameSchema,
+    decision: z.enum(["approved", "declined"]),
+    protectedRequest: z.string().min(1),
+    differentFromInitiator: z.boolean(),
+});
+const amount = z.string().regex(/^(0|[1-9][0-9]{0,17})$/);
+const text = z.string().min(1).max(2048);
+/** Values, rather than declarations. The same validator feeds forms and admission. */
+export function udlFieldValueSchema(field) {
+    let schema;
+    switch (field.type) {
+        case "money":
+            schema = amount
+                .refine((value) => /^(0|[1-9][0-9]{0,17})$/.test(value) &&
+                (field.minimum === undefined ||
+                    BigInt(value) >= BigInt(field.minimum)) &&
+                (field.maximum === undefined ||
+                    BigInt(value) <= BigInt(field.maximum)), "Money is outside its declared bounds")
+                .meta({
+                ...(field.minimum !== undefined
+                    ? { "x-udl-minimum": field.minimum }
+                    : {}),
+                ...(field.maximum !== undefined
+                    ? { "x-udl-maximum": field.maximum }
+                    : {}),
+            });
+            break;
+        case "account":
+            schema = text;
+            break;
+        case "ref":
+            schema = field.targetKind === "object" ? udlObjectIdSchema : text;
+            break;
+        case "date":
+            schema = z.iso.datetime({ offset: true });
+            break;
+        case "duration":
+            schema = z.number().int().safe().positive();
+            break;
+        case "text": {
+            let value = z
+                .string()
+                .min(field.minLength ?? 1)
+                .max(field.maxLength ?? 2048);
+            if (field.pattern)
+                value = value.regex(new RegExp(field.pattern));
+            schema = value;
+            break;
+        }
+        case "integer": {
+            let value = z.number().int().safe();
+            if (field.minimum !== undefined)
+                value = value.min(field.minimum);
+            if (field.maximum !== undefined)
+                value = value.max(field.maximum);
+            schema = value;
+            break;
+        }
+        case "percent":
+            schema = z.number().int().min(0).max(10000);
+            break;
+        case "boolean":
+            schema = z.boolean();
+            break;
+        case "enum":
+            schema = z.enum(field.values);
+            break;
+        case "list": {
+            const item = field.item === "money"
+                ? amount
+                : field.item === "date"
+                    ? z.iso.datetime({ offset: true })
+                    : field.item === "integer"
+                        ? z.number().int().safe()
+                        : field.item === "ref" && field.targetKind === "object"
+                            ? udlObjectIdSchema
+                            : text;
+            schema = z.array(item).max(field.maxItems);
+            break;
+        }
+    }
+    if ("value" in field && field.value !== undefined)
+        schema = z.literal(field.value);
+    if (field.description)
+        schema = schema.describe(field.description);
+    return schema;
+}
+/** Creation accepts the full metadata union, with every value optional. */
+export function objectCreateSchema(kind) {
+    return z.strictObject({
+        externalId: udlExternalIdSchema.optional(),
+        fields: z
+            .strictObject(Object.fromEntries(kind.fields.map((field) => [
+            field.name,
+            udlFieldValueSchema(field).optional(),
+        ])))
+            .optional(),
+    });
+}
+/** Canonical UDL supplies meaning; core adds authority, lifecycle and readiness. */
+export function projectObjectDiscovery(document, build) {
+    return {
+        ...build,
+        retainedKinds: [],
+        kinds: document.objects.map((kind) => ({
+            creation: true,
+            kind: kind.id,
+            title: kind.title,
+            fields: kind.fields,
+            authoredFields: kind.authoredFields,
+            columns: kind.columns,
+            createSchema: z.toJSONSchema(objectCreateSchema(kind), { io: "input" }),
+            actions: document.instruments
+                .filter((instrument) => instrument.subject === kind.id)
+                .flatMap((instrument) => {
+                const createHidden = !!instrument.actions.create &&
+                    !instrument.actions.create.publicAction;
+                const attachmentRefListFields = instrument.fields.filter((field) => field.type === "list" &&
+                    field.item === "ref" &&
+                    field.targetKind !== "object");
+                return instrument.actionOrder.flatMap((name) => {
+                    const action = instrument.actions[name];
+                    if (!action.publicAction)
+                        return [];
+                    const transition = instrument.lifecycle.transitions[name];
+                    const canStartFromInitial = Boolean(transition?.from.includes(instrument.lifecycle.initial));
+                    const isCreationAction = name === "create" || (createHidden && canStartFromInitial);
+                    const rawCreateReqs = isCreationAction
+                        ? [
+                            ...(instrument.actions.create?.subject?.requirements ?? []),
+                            ...attachmentRefListFields.map((field) => ({ field })),
+                        ]
+                        : [];
+                    const actionReqs = action.subject?.requirements ?? [];
+                    const actionReqNames = new Set(actionReqs.map((r) => r.objectField ?? r.field.name));
+                    const mergedReqs = [...actionReqs];
+                    for (const req of rawCreateReqs) {
+                        const reqName = req.objectField ?? req.field.name;
+                        if (!mergedReqs.some((r) => (r.objectField ?? r.field.name) === reqName)) {
+                            mergedReqs.push(req);
+                        }
+                    }
+                    const unbound = [
+                        ...(action.subject?.adapters ?? []),
+                        ...(isCreationAction
+                            ? (instrument.actions.create?.subject?.adapters ?? [])
+                            : []),
+                    ].find((adapter) => adapter.snapshot === null);
+                    const seenCreation = new Set();
+                    const creationRequirements = [];
+                    for (const requirement of rawCreateReqs) {
+                        const name = requirement.objectField ?? requirement.field.name;
+                        if (!seenCreation.has(name)) {
+                            seenCreation.add(name);
+                            creationRequirements.push({
+                                ...requirement.field,
+                                name,
+                            });
+                        }
+                    }
+                    const creationOnlyNames = creationRequirements
+                        .map((field) => field.name)
+                        .filter((name) => !actionReqNames.has(name));
+                    return [
+                        {
+                            ...build,
+                            target: {
+                                kind: "attachment",
+                                attachment: kind.attachments.find((attachment) => attachment.instrument === instrument.id).name,
+                            },
+                            name: action.publicAction,
+                            title: action.summary,
+                            instrument: instrument.id,
+                            action: name,
+                            approvalRequirements: action.requires.flatMap((rule) => {
+                                if (rule.kind !== "approval")
+                                    return [];
+                                const party = document.parties[rule.party];
+                                if (party?.kind !== "staff" || !party.role)
+                                    throw new Error(`Approval party ${rule.party} has no staff authority`);
+                                return [
+                                    {
+                                        target: rule.target ?? "self",
+                                        action: rule.action ?? name,
+                                        party: rule.party,
+                                        role: party.role,
+                                        decision: rule.decision,
+                                        protectedRequest: rule.protectedRequest ?? "self",
+                                        differentFromInitiator: rule.differentFromInitiator === true,
+                                    },
+                                ];
+                            }),
+                            requirements: mergedReqs.map((requirement) => ({
+                                ...requirement.field,
+                                name: requirement.objectField ?? requirement.field.name,
+                            })),
+                            ...(creationRequirements.length > 0
+                                ? { creationRequirements }
+                                : {}),
+                            ...(creationRequirements.length > 0
+                                ? { creationOnlyNames }
+                                : {}),
+                            fieldsSchema: z.toJSONSchema(z.strictObject(Object.fromEntries(mergedReqs.map((requirement) => [
+                                requirement.objectField ?? requirement.field.name,
+                                udlFieldValueSchema(requirement.field).optional(),
+                            ]))), { io: "input" }),
+                            inputSchema: z.toJSONSchema(z.strictObject(Object.fromEntries(action.input.map((field) => [
+                                field.name,
+                                field.optional
+                                    ? udlFieldValueSchema(field).optional()
+                                    : udlFieldValueSchema(field),
+                            ]))), { io: "input" }),
+                            availability: unbound
+                                ? {
+                                    status: "unavailable",
+                                    code: "subject_adapter_unbound",
+                                    message: `Adapter declaration ${unbound.binding} is unavailable`,
+                                }
+                                : { status: "available" },
+                        },
+                    ];
+                });
+            }),
+        })),
+    };
+}
+/** Object-specific values determine missing fields; global discovery cannot. */
+export function objectActionState(action, fields, options) {
+    const attached = typeof options === "boolean" ? options : (options?.attached ?? false);
+    const creationFilter = new Set(action.creationOnlyNames ?? []);
+    return {
+        ...action,
+        requiredNow: action.requirements
+            .filter((field) => {
+            const value = fields[field.name];
+            const optional = field.optional || (attached && creationFilter.has(field.name));
+            return (!(optional && value === undefined) &&
+                !udlFieldValueSchema(field).safeParse(value).success);
+        })
+            .map((field) => field.name),
+    };
+}
+/** Check merged metadata before dispatch. Runtime guards add their active child requirements. */
+export function validateObjectActionSubject(action, storedFields, submittedFields, options) {
+    const origin = `${action.instrument}.${action.action}.subject`;
+    const issues = [];
+    if (action.availability.status === "unavailable" &&
+        action.availability.code === "subject_adapter_unbound") {
+        issues.push({
+            code: "subject_adapter_unbound",
+            action: action.name,
+            origin,
+            message: action.availability.message,
+        });
+    }
+    const admitted = new Set(action.requirements.map((field) => field.name));
+    for (const field of Object.keys(submittedFields)) {
+        if (!admitted.has(field))
+            issues.push({
+                code: "subject_field_unknown",
+                action: action.name,
+                field,
+                origin,
+                message: `${field} is not admitted by ${action.name}`,
+            });
+    }
+    for (const field of objectActionState(action, {
+        ...storedFields,
+        ...submittedFields,
+    }, options).requiredNow) {
+        issues.push({
+            code: "subject_requirement_missing",
+            action: action.name,
+            field,
+            origin: `${origin}.${field}`,
+            message: `${action.name} requires a valid ${field}`,
+        });
+    }
+    return issues;
+}
+//# sourceMappingURL=object-contract.js.map

package/dist/object-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-contract.js","sourceRoot":"","sources":["../src/object-contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EACL,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,GAKnB,MAAM,aAAa,CAAC;AAErB,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC9C,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,kBAAkB,CAAC,CAAC;KACtD,CAAC;IACF,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;KACtC,CAAC;IACF,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;KACtC,CAAC;CACH,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC,YAAY,CAAC;IAC5D,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,MAAM,EAAE,kBAAkB;IAC1B,KAAK,EAAE,kBAAkB;IACzB,IAAI,EAAE,kBAAkB;IACxB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC1C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,sBAAsB,EAAE,CAAC,CAAC,OAAO,EAAE;CACpC,CAAC,CAAC;AAsGH,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;AAC1D,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAEzC,sFAAsF;AACtF,MAAM,UAAU,mBAAmB,CAAC,KAAe;IACjD,IAAI,MAAiB,CAAC;IACtB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,MAAM,GAAG,MAAM;iBACZ,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC;gBACpC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;oBAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACzC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;oBAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAC3C,sCAAsC,CACvC;iBACA,IAAI,CAAC;gBACJ,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;oBAC7B,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,OAAO,EAAE;oBACpC,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;oBAC7B,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,OAAO,EAAE;oBACpC,CAAC,CAAC,EAAE,CAAC;aACR,CAAC,CAAC;YACL,MAAM;QACR,KAAK,SAAS;YACZ,MAAM,GAAG,IAAI,CAAC;YACd,MAAM;QACR,KAAK,KAAK;YACR,MAAM,GAAG,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC;YAClE,MAAM;QACR,KAAK,MAAM;YACT,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1C,MAAM;QACR,KAAK,UAAU;YACb,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;YAC5C,MAAM;QACR,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,KAAK,GAAG,CAAC;iBACV,MAAM,EAAE;iBACR,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC;iBACzB,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;YAChC,IAAI,KAAK,CAAC,OAAO;gBAAE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAClE,MAAM,GAAG,KAAK,CAAC;YACf,MAAM;QACR,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YACf,IAAI,KAAK,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;YACpC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAAE,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAClE,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAAE,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAClE,MAAM,GAAG,KAAK,CAAC;YACf,MAAM;QACR,CAAC;QACD,KAAK,SAAS;YACZ,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC5C,MAAM;QACR,KAAK,SAAS;YACZ,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;YACrB,MAAM;QACR,KAAK,MAAM;YACT,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC9B,MAAM;QACR,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,GACR,KAAK,CAAC,IAAI,KAAK,OAAO;gBACpB,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;oBACrB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;oBAClC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;wBACxB,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE;wBACzB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ;4BACrD,CAAC,CAAC,iBAAiB;4BACnB,CAAC,CAAC,IAAI,CAAC;YACjB,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAC/C,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,KAAK,CAAC,WAAW;QAAE,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC;AAChB,CAAC;AACD,2EAA2E;AAC3E,MAAM,UAAU,kBAAkB,CAAC,IAAmB;IACpD,OAAO,CAAC,CAAC,YAAY,CAAC;QACpB,UAAU,EAAE,mBAAmB,CAAC,QAAQ,EAAE;QAC1C,MAAM,EAAE,CAAC;aACN,YAAY,CACX,MAAM,CAAC,WAAW,CAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI;YACV,mBAAmB,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;SACtC,CAAC,CACH,CACF;aACA,QAAQ,EAAE;KACd,CAAC,CAAC;AACL,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,sBAAsB,CACpC,QAAqB,EACrB,KAAyD;IAEzD,OAAO;QACL,GAAG,KAAK;QACR,aAAa,EAAE,EAAE;QACjB,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACrC,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI,CAAC,EAAE;YACb,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;YACvE,OAAO,EAAE,QAAQ,CAAC,WAAW;iBAC1B,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,KAAK,IAAI,CAAC,EAAE,CAAC;iBACtD,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;gBACtB,MAAM,YAAY,GAChB,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM;oBAC3B,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC;gBAC1C,MAAM,uBAAuB,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CACtD,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,MAAM;oBACrB,KAAK,CAAC,IAAI,KAAK,KAAK;oBACpB,KAAK,CAAC,UAAU,KAAK,QAAQ,CAChC,CAAC;gBACF,OAAO,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC;oBACzC,IAAI,CAAC,MAAM,CAAC,YAAY;wBAAE,OAAO,EAAE,CAAC;oBACpC,MAAM,UAAU,GAAG,UAAU,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;oBAC1D,MAAM,mBAAmB,GAAG,OAAO,CACjC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CACxD,CAAC;oBACF,MAAM,gBAAgB,GACpB,IAAI,KAAK,QAAQ,IAAI,CAAC,YAAY,IAAI,mBAAmB,CAAC,CAAC;oBAE7D,MAAM,aAAa,GAGb,gBAAgB;wBACpB,CAAC,CAAC;4BACE,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,IAAI,EAAE,CAAC;4BAC3D,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;yBACvD;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,YAAY,IAAI,EAAE,CAAC;oBACtD,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CACrD,CAAC;oBACF,MAAM,UAAU,GAGV,CAAC,GAAG,UAAU,CAAC,CAAC;oBACtB,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;wBAChC,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;wBAClD,IACE,CAAC,UAAU,CAAC,IAAI,CACd,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CACnD,EACD,CAAC;4BACD,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;wBACvB,CAAC;oBACH,CAAC;oBACD,MAAM,OAAO,GAAG;wBACd,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE,CAAC;wBACnC,GAAG,CAAC,gBAAgB;4BAClB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,IAAI,EAAE,CAAC;4BACtD,CAAC,CAAC,EAAE,CAAC;qBACR,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;oBAC/C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;oBACvC,MAAM,oBAAoB,GAAqB,EAAE,CAAC;oBAClD,KAAK,MAAM,WAAW,IAAI,aAAa,EAAE,CAAC;wBACxC,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC;wBAC/D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BAC5B,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;4BACvB,oBAAoB,CAAC,IAAI,CAAC;gCACxB,GAAG,WAAW,CAAC,KAAK;gCACpB,IAAI;6BACa,CAAC,CAAC;wBACvB,CAAC;oBACH,CAAC;oBACD,MAAM,iBAAiB,GAAG,oBAAoB;yBAC3C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;yBAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC/C,OAAO;wBACL;4BACE,GAAG,KAAK;4BACR,MAAM,EAAE;gCACN,IAAI,EAAE,YAAqB;gCAC3B,UAAU,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAC/B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,KAAK,UAAU,CAAC,EAAE,CACvD,CAAC,IAAI;6BACR;4BACD,IAAI,EAAE,MAAM,CAAC,YAAY;4BACzB,KAAK,EAAE,MAAM,CAAC,OAAO;4BACrB,UAAU,EAAE,UAAU,CAAC,EAAE;4BACzB,MAAM,EAAE,IAAI;4BACZ,oBAAoB,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gCACrD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;oCAAE,OAAO,EAAE,CAAC;gCACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gCAC3C,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI;oCACxC,MAAM,IAAI,KAAK,CACb,kBAAkB,IAAI,CAAC,KAAK,yBAAyB,CACtD,CAAC;gCACJ,OAAO;oCACL;wCACE,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,MAAM;wCAC7B,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI;wCAC3B,KAAK,EAAE,IAAI,CAAC,KAAK;wCACjB,IAAI,EAAE,KAAK,CAAC,IAAI;wCAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wCACvB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,IAAI,MAAM;wCACjD,sBAAsB,EACpB,IAAI,CAAC,sBAAsB,KAAK,IAAI;qCACvC;iCACF,CAAC;4BACJ,CAAC,CAAC;4BACF,YAAY,EAAE,UAAU,CAAC,GAAG,CAC1B,CAAC,WAAW,EAAE,EAAE,CACd,CAAC;gCACC,GAAG,WAAW,CAAC,KAAK;gCACpB,IAAI,EAAE,WAAW,CAAC,WAAW,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI;6BACxD,CAAmB,CACvB;4BACD,GAAG,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;gCACjC,CAAC,CAAC,EAAE,oBAAoB,EAAE;gCAC1B,CAAC,CAAC,EAAE,CAAC;4BACP,GAAG,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;gCACjC,CAAC,CAAC,EAAE,iBAAiB,EAAE;gCACvB,CAAC,CAAC,EAAE,CAAC;4BACP,YAAY,EAAE,CAAC,CAAC,YAAY,CAC1B,CAAC,CAAC,YAAY,CACZ,MAAM,CAAC,WAAW,CAChB,UAAU,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;gCAC9B,WAAW,CAAC,WAAW,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI;gCACjD,mBAAmB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;6BAClD,CAAC,CACH,CACF,EACD,EAAE,EAAE,EAAE,OAAO,EAAE,CAChB;4BACD,WAAW,EAAE,CAAC,CAAC,YAAY,CACzB,CAAC,CAAC,YAAY,CACZ,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;gCAC1B,KAAK,CAAC,IAAI;gCACV,KAAK,CAAC,QAAQ;oCACZ,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;oCACvC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC;6BAC/B,CAAC,CACH,CACF,EACD,EAAE,EAAE,EAAE,OAAO,EAAE,CAChB;4BACD,YAAY,EAAE,OAAO;gCACnB,CAAC,CAAC;oCACE,MAAM,EAAE,aAAsB;oCAC9B,IAAI,EAAE,yBAAyB;oCAC/B,OAAO,EAAE,uBAAuB,OAAO,CAAC,OAAO,iBAAiB;iCACjE;gCACH,CAAC,CAAC,EAAE,MAAM,EAAE,WAAoB,EAAE;yBACrC;qBACF,CAAC;gBACJ,CAAC,CAAC,CAAC;YACL,CAAC,CAAC;SACL,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,iBAAiB,CAC/B,MAA6B,EAC7B,MAAyC,EACzC,OAA0C;IAE1C,MAAM,QAAQ,GACZ,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,IAAI,KAAK,CAAC,CAAC;IACxE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;IAC/D,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE,MAAM,CAAC,YAAY;aAC7B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;YAChB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,QAAQ,GACZ,KAAK,CAAC,QAAQ,IAAI,CAAC,QAAQ,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACjE,OAAO,CACL,CAAC,CAAC,QAAQ,IAAI,KAAK,KAAK,SAAS,CAAC;gBAClC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CACrD,CAAC;QACJ,CAAC,CAAC;aACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;KAC9B,CAAC;AACJ,CAAC;AAYD,iGAAiG;AACjG,MAAM,UAAU,2BAA2B,CACzC,MAA6B,EAC7B,YAA+C,EAC/C,eAAkD,EAClD,OAA0C;IAE1C,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,UAAU,CAAC;IAC/D,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,IACE,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,aAAa;QAC5C,MAAM,CAAC,YAAY,CAAC,IAAI,KAAK,yBAAyB,EACtD,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,MAAM;YACN,OAAO,EAAE,MAAM,CAAC,YAAY,CAAC,OAAO;SACrC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,MAAM,CAAC,IAAI;gBACnB,KAAK;gBACL,MAAM;gBACN,OAAO,EAAE,GAAG,KAAK,uBAAuB,MAAM,CAAC,IAAI,EAAE;aACtD,CAAC,CAAC;IACP,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,iBAAiB,CACnC,MAAM,EACN;QACE,GAAG,YAAY;QACf,GAAG,eAAe;KACnB,EACD,OAAO,CACR,CAAC,WAAW,EAAE,CAAC;QACd,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,6BAA6B;YACnC,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,KAAK;YACL,MAAM,EAAE,GAAG,MAAM,IAAI,KAAK,EAAE;YAC5B,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,qBAAqB,KAAK,EAAE;SACpD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/reporting-validation.d.ts

@@ -0,0 +1,8 @@
+import type { UdlDocument } from "./schema.js";
+import type { ReportDefinition, ReportExpression, ReportType } from "./reporting.js";
+type Types = Map<string, ReportType>;
+export declare function reportExpressionTypes(expressions: readonly ReportExpression[], initial: Types): Types;
+/** Used by compilation and replay, never a report-name dispatch. */
+export declare function validateReportDefinition(report: ReportDefinition, document: UdlDocument): void;
+export {};
+//# sourceMappingURL=reporting-validation.d.ts.map

package/dist/reporting-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporting-validation.d.ts","sourceRoot":"","sources":["../src/reporting-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACX,MAAM,gBAAgB,CAAC;AAExB,KAAK,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAerC,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,SAAS,gBAAgB,EAAE,EACxC,OAAO,EAAE,KAAK,GACb,KAAK,CAqGP;AAiCD,oEAAoE;AACpE,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,gBAAgB,EACxB,QAAQ,EAAE,WAAW,GACpB,IAAI,CAsLN"}

package/dist/reporting-validation.js

@@ -0,0 +1,245 @@
+const integer = { kind: "integer" };
+const boolean = { kind: "boolean" };
+const date = { kind: "date" };
+const same = (a, b) => a.kind === b.kind &&
+    (a.kind !== "money" || (b.kind === "money" && a.currency === b.currency));
+function requireType(types, name) {
+    const value = types.get(name);
+    if (!value)
+        throw new Error(`Unknown reporting field or expression ${name}`);
+    return value;
+}
+function requireRule(condition, message) {
+    if (!condition)
+        throw new Error(message);
+}
+export function reportExpressionTypes(expressions, initial) {
+    const types = new Map(initial);
+    for (const expression of expressions) {
+        requireRule(!types.has(expression.id), `Duplicate expression ${expression.id}`);
+        const read = (name) => requireType(types, name);
+        let result;
+        switch (expression.op) {
+            case "field":
+                result = read(expression.path);
+                break;
+            case "parameter":
+                result = date;
+                break;
+            case "literal": {
+                result = expression.type;
+                const value = expression.value;
+                requireRule(result.kind === "money"
+                    ? typeof value === "string" && /^(0|[1-9][0-9]{0,17})$/.test(value)
+                    : result.kind === "integer"
+                        ? typeof value === "number" && Number.isSafeInteger(value)
+                        : result.kind === "boolean"
+                            ? typeof value === "boolean"
+                            : result.kind === "date"
+                                ? typeof value === "string" &&
+                                    Number.isFinite(Date.parse(value))
+                                : typeof value === "string", `Invalid literal ${expression.id}`);
+                break;
+            }
+            case "not":
+                requireRule(read(expression.value).kind === "boolean", "not requires boolean");
+                result = boolean;
+                break;
+            case "choose": {
+                requireRule(read(expression.condition).kind === "boolean", "choose requires boolean");
+                result = read(expression.yes);
+                requireRule(same(result, read(expression.no)), "choose branches must have matching types and currencies");
+                break;
+            }
+            case "bucket":
+                requireRule(read(expression.value).kind === "date", "bucket requires date");
+                result = { kind: "text" };
+                break;
+            case "ratio": {
+                const numerator = read(expression.numerator), denominator = read(expression.denominator);
+                requireRule(same(numerator, denominator) &&
+                    ["money", "integer"].includes(numerator.kind), "ratio needs matching numeric measures");
+                result = integer;
+                break;
+            }
+            default: {
+                const left = read(expression.left), right = read(expression.right);
+                requireRule(same(left, right), `Incompatible types or currencies in ${expression.id}`);
+                if (["equal", "less", "atMost"].includes(expression.op))
+                    result = boolean;
+                else if (expression.op === "and" || expression.op === "or") {
+                    requireRule(left.kind === "boolean", "Boolean operation requires booleans");
+                    result = boolean;
+                }
+                else if (expression.op === "daysBetween") {
+                    requireRule(left.kind === "date", "daysBetween requires dates");
+                    result = integer;
+                }
+                else {
+                    requireRule(["money", "integer"].includes(left.kind), "Arithmetic requires numeric measures");
+                    result = left;
+                }
+            }
+        }
+        types.set(expression.id, result);
+    }
+    return types;
+}
+function aggregateTypes(aggregates, input, target) {
+    for (const aggregate of aggregates) {
+        requireRule(!target.has(aggregate.name), `Duplicate aggregate ${aggregate.name}`);
+        const type = aggregate.op === "count"
+            ? integer
+            : requireType(input, aggregate.value ?? "");
+        requireRule(!["sum", "average"].includes(aggregate.op) ||
+            ["money", "integer"].includes(type.kind), "sum requires numeric values");
+        requireRule(aggregate.op !== "count" || aggregate.value === undefined, "count has no value field");
+        requireRule(aggregate.op === "average"
+            ? aggregate.rounding !== undefined
+            : aggregate.rounding === undefined, "Only average requires an explicit rounding policy");
+        target.set(aggregate.name, type);
+    }
+}
+/** Used by compilation and replay, never a report-name dispatch. */
+export function validateReportDefinition(report, document) {
+    requireRule(report.scope.currency === document.currency, "Report currency differs from Product currency");
+    const datasets = new Map();
+    for (const dataset of report.datasets) {
+        requireRule(!datasets.has(dataset.id), `Duplicate dataset ${dataset.id}`);
+        const fields = new Map();
+        for (const column of dataset.columns) {
+            requireRule(!fields.has(column.name), `Duplicate column ${column.name}`);
+            if (column.type.kind === "money")
+                requireRule(column.type.currency === report.scope.currency, "Incompatible dataset currency");
+            if (dataset.source === "instrument") {
+                requireRule(report.scope.kind === "product", "Company instrument reports require cross-Build bindings");
+                requireRule(dataset.instruments.length > 0, "Instrument source requires declared instruments");
+                for (const id of dataset.instruments) {
+                    const instrument = document.instruments.find((entry) => entry.id === id);
+                    requireRule(instrument, `Unknown report instrument ${id}`);
+                    const parts = column.field.split(".");
+                    const field = instrument.fields.find((entry) => entry.name === parts[0]);
+                    const sealed = { id: "text", status: "text", createdAt: "date" }[column.field];
+                    const actual = parts.length === 2 &&
+                        parts[1] === "balance" &&
+                        field?.type === "account"
+                        ? "money"
+                        : (sealed ??
+                            (field && ["ref", "account", "enum"].includes(field.type)
+                                ? "text"
+                                : field?.type));
+                    requireRule(actual === column.type.kind, `Unknown or mistyped report field ${id}.${column.field}`);
+                }
+            }
+            else {
+                requireRule(dataset.instruments.length === 0, "Only instrument sources bind instruments");
+                const sourceFields = {
+                    account: {
+                        id: "text",
+                        ownerParticipantId: "text",
+                        currency: "text",
+                        role: "text",
+                        status: "text",
+                        createdAt: "date",
+                        balance: "money",
+                    },
+                    identity: {
+                        id: "text",
+                        entityId: "text",
+                        participantId: "text",
+                        status: "text",
+                        createdAt: "date",
+                    },
+                    operation: {
+                        id: "text",
+                        name: "text",
+                        status: "text",
+                        createdAt: "date",
+                    },
+                };
+                requireRule(sourceFields[dataset.source]?.[column.field] === column.type.kind, `Unknown or mistyped ${dataset.source} field ${column.field}`);
+            }
+            fields.set(column.name, column.type);
+        }
+        requireRule(requireType(fields, dataset.rowKey).kind === "text", "Row key must be text");
+        const types = reportExpressionTypes(dataset.expressions, fields);
+        if (dataset.selection)
+            requireRule(requireType(types, dataset.selection).kind === "boolean", "Selection must be boolean");
+        if (dataset.selection)
+            validateSourceKey(dataset, dataset.selection);
+        datasets.set(dataset.id, types);
+    }
+    const aggregateNames = [
+        ...report.calculation.joins.flatMap((join) => join.aggregates),
+        ...report.calculation.aggregates,
+    ].map((aggregate) => aggregate.name);
+    requireRule(new Set(aggregateNames).size === aggregateNames.length, "Aggregate names must be unique across stages for null accounting");
+    const primary = datasets.get(report.selection.dataset);
+    requireRule(primary, "Unknown primary dataset");
+    let types = new Map(primary);
+    const joined = new Set();
+    for (const join of report.calculation.joins) {
+        requireRule(!joined.has(join.dataset), "Duplicate join requires a distinct dataset alias");
+        requireRule(join.dataset !== report.selection.dataset, "Self joins require a distinct dataset alias");
+        joined.add(join.dataset);
+        const foreign = datasets.get(join.dataset);
+        requireRule(foreign, `Unknown joined dataset ${join.dataset}`);
+        validateSourceKey(report.datasets.find((dataset) => dataset.id === join.dataset), join.foreign);
+        requireRule(same(requireType(types, join.local), requireType(foreign, join.foreign)), "Join keys have incompatible types");
+        requireRule(join.aggregates.length > 0, "Joins must declare aggregates; implicit row multiplication is forbidden");
+        aggregateTypes(join.aggregates, foreign, types);
+    }
+    types = reportExpressionTypes(report.calculation.expressions, types);
+    if (report.selection.predicate)
+        requireRule(requireType(types, report.selection.predicate).kind === "boolean", "Selection must be boolean");
+    for (const required of report.validation.required)
+        requireType(types, required);
+    for (const pair of report.validation.rowReconcile)
+        requireRule(same(requireType(types, pair.left), requireType(types, pair.right)), "Row reconciliation requires matching measures");
+    if (report.calculation.aggregates.length) {
+        const grouped = new Map(report.calculation.groupBy.map((key) => [key, requireType(types, key)]));
+        aggregateTypes(report.calculation.aggregates, types, grouped);
+        types = grouped;
+    }
+    else
+        requireRule(report.calculation.groupBy.length === 0, "Grouping requires aggregates");
+    types = reportExpressionTypes(report.calculation.resultExpressions, types);
+    for (const pair of report.validation.reconcile)
+        requireRule(same(requireType(types, pair.left), requireType(types, pair.right)), "Reconciliation requires matching measures");
+    const outputs = new Set();
+    for (const column of report.output.columns) {
+        requireRule(!outputs.has(column.name), "Duplicate output column");
+        outputs.add(column.name);
+        requireRule(same(requireType(types, column.name), column.type), `Output type differs for ${column.name}`);
+    }
+    for (const sort of report.output.sort)
+        requireRule(outputs.has(sort), `Sort key ${sort} must be an output column`);
+}
+function validateSourceKey(dataset, key, seen = new Set()) {
+    if (seen.has(key))
+        return;
+    seen.add(key);
+    const column = dataset.columns.find((entry) => entry.name === key);
+    if (column) {
+        requireRule(column.field !== "balance" && !column.field.endsWith(".balance"), "Source selection and join keys cannot depend on ledger balances");
+        return;
+    }
+    const expression = dataset.expressions.find((entry) => entry.id === key);
+    requireRule(expression, `Unknown source key ${key}`);
+    requireRule(expression.op !== "ratio", "Ratios belong after source selection");
+    const read = (name) => validateSourceKey(dataset, name, seen);
+    if (expression.op === "field")
+        read(expression.path);
+    else if (expression.op === "choose") {
+        read(expression.condition);
+        read(expression.yes);
+        read(expression.no);
+    }
+    else if (expression.op === "not" || expression.op === "bucket")
+        read(expression.value);
+    else if ("left" in expression) {
+        read(expression.left);
+        read(expression.right);
+    }
+}
+//# sourceMappingURL=reporting-validation.js.map

package/dist/reporting-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporting-validation.js","sourceRoot":"","sources":["../src/reporting-validation.ts"],"names":[],"mappings":"AAQA,MAAM,OAAO,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAChD,MAAM,OAAO,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAChD,MAAM,IAAI,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1C,MAAM,IAAI,GAAG,CAAC,CAAa,EAAE,CAAa,EAAE,EAAE,CAC5C,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;IACjB,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC5E,SAAS,WAAW,CAAC,KAAY,EAAE,IAAY;IAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,EAAE,CAAC,CAAC;IAC7E,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,WAAW,CAAC,SAAkB,EAAE,OAAe;IACtD,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,qBAAqB,CACnC,WAAwC,EACxC,OAAc;IAEd,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC/B,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,WAAW,CACT,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EACzB,wBAAwB,UAAU,CAAC,EAAE,EAAE,CACxC,CAAC;QACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxD,IAAI,MAAkB,CAAC;QACvB,QAAQ,UAAU,CAAC,EAAE,EAAE,CAAC;YACtB,KAAK,OAAO;gBACV,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC/B,MAAM;YACR,KAAK,WAAW;gBACd,MAAM,GAAG,IAAI,CAAC;gBACd,MAAM;YACR,KAAK,SAAS,EAAE,CAAC;gBACf,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC;gBACzB,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;gBAC/B,WAAW,CACT,MAAM,CAAC,IAAI,KAAK,OAAO;oBACrB,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC;oBACnE,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;wBACzB,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;wBAC1D,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;4BACzB,CAAC,CAAC,OAAO,KAAK,KAAK,SAAS;4BAC5B,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;gCACtB,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ;oCACzB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gCACpC,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,EACnC,mBAAmB,UAAU,CAAC,EAAE,EAAE,CACnC,CAAC;gBACF,MAAM;YACR,CAAC;YACD,KAAK,KAAK;gBACR,WAAW,CACT,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,SAAS,EACzC,sBAAsB,CACvB,CAAC;gBACF,MAAM,GAAG,OAAO,CAAC;gBACjB,MAAM;YACR,KAAK,QAAQ,EAAE,CAAC;gBACd,WAAW,CACT,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,SAAS,EAC7C,yBAAyB,CAC1B,CAAC;gBACF,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;gBAC9B,WAAW,CACT,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EACjC,yDAAyD,CAC1D,CAAC;gBACF,MAAM;YACR,CAAC;YACD,KAAK,QAAQ;gBACX,WAAW,CACT,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,MAAM,EACtC,sBAAsB,CACvB,CAAC;gBACF,MAAM,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAC1B,MAAM;YACR,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAC1C,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;gBAC7C,WAAW,CACT,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC;oBAC1B,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,EAC/C,uCAAuC,CACxC,CAAC;gBACF,MAAM,GAAG,OAAO,CAAC;gBACjB,MAAM;YACR,CAAC;YACD,SAAS,CAAC;gBACR,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAChC,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBACjC,WAAW,CACT,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EACjB,uCAAuC,UAAU,CAAC,EAAE,EAAE,CACvD,CAAC;gBACF,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;oBACrD,MAAM,GAAG,OAAO,CAAC;qBACd,IAAI,UAAU,CAAC,EAAE,KAAK,KAAK,IAAI,UAAU,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;oBAC3D,WAAW,CACT,IAAI,CAAC,IAAI,KAAK,SAAS,EACvB,qCAAqC,CACtC,CAAC;oBACF,MAAM,GAAG,OAAO,CAAC;gBACnB,CAAC;qBAAM,IAAI,UAAU,CAAC,EAAE,KAAK,aAAa,EAAE,CAAC;oBAC3C,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,4BAA4B,CAAC,CAAC;oBAChE,MAAM,GAAG,OAAO,CAAC;gBACnB,CAAC;qBAAM,CAAC;oBACN,WAAW,CACT,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EACxC,sCAAsC,CACvC,CAAC;oBACF,MAAM,GAAG,IAAI,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,cAAc,CACrB,UAAyD,EACzD,KAAY,EACZ,MAAa;IAEb,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,WAAW,CACT,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAC3B,uBAAuB,SAAS,CAAC,IAAI,EAAE,CACxC,CAAC;QACF,MAAM,IAAI,GACR,SAAS,CAAC,EAAE,KAAK,OAAO;YACtB,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAChD,WAAW,CACT,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACxC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAC1C,6BAA6B,CAC9B,CAAC;QACF,WAAW,CACT,SAAS,CAAC,EAAE,KAAK,OAAO,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,EACzD,0BAA0B,CAC3B,CAAC;QACF,WAAW,CACT,SAAS,CAAC,EAAE,KAAK,SAAS;YACxB,CAAC,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS;YAClC,CAAC,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,EACpC,mDAAmD,CACpD,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;AACH,CAAC;AACD,oEAAoE;AACpE,MAAM,UAAU,wBAAwB,CACtC,MAAwB,EACxB,QAAqB;IAErB,WAAW,CACT,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAC3C,+CAA+C,CAChD,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,WAAW,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,qBAAqB,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAU,IAAI,GAAG,EAAE,CAAC;QAChC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,WAAW,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,oBAAoB,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;YACzE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAC9B,WAAW,CACT,MAAM,CAAC,IAAI,CAAC,QAAQ,KAAK,MAAM,CAAC,KAAK,CAAC,QAAQ,EAC9C,+BAA+B,CAChC,CAAC;YACJ,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;gBACpC,WAAW,CACT,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAC/B,yDAAyD,CAC1D,CAAC;gBACF,WAAW,CACT,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAC9B,iDAAiD,CAClD,CAAC;gBACF,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;oBACrC,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAC1C,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAC3B,CAAC;oBACF,WAAW,CAAC,UAAU,EAAE,6BAA6B,EAAE,EAAE,CAAC,CAAC;oBAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBACtC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAClC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CACnC,CAAC;oBACF,MAAM,MAAM,GACV,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAIhD,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBAChB,MAAM,MAAM,GACV,KAAK,CAAC,MAAM,KAAK,CAAC;wBAClB,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS;wBACtB,KAAK,EAAE,IAAI,KAAK,SAAS;wBACvB,CAAC,CAAC,OAAO;wBACT,CAAC,CAAC,CAAC,MAAM;4BACP,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;gCACvD,CAAC,CAAC,MAAM;gCACR,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;oBACxB,WAAW,CACT,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,EAC3B,oCAAoC,EAAE,IAAI,MAAM,CAAC,KAAK,EAAE,CACzD,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,WAAW,CACT,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAChC,0CAA0C,CAC3C,CAAC;gBACF,MAAM,YAAY,GAA2C;oBAC3D,OAAO,EAAE;wBACP,EAAE,EAAE,MAAM;wBACV,kBAAkB,EAAE,MAAM;wBAC1B,QAAQ,EAAE,MAAM;wBAChB,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,MAAM;wBACd,SAAS,EAAE,MAAM;wBACjB,OAAO,EAAE,OAAO;qBACjB;oBACD,QAAQ,EAAE;wBACR,EAAE,EAAE,MAAM;wBACV,QAAQ,EAAE,MAAM;wBAChB,aAAa,EAAE,MAAM;wBACrB,MAAM,EAAE,MAAM;wBACd,SAAS,EAAE,MAAM;qBAClB;oBACD,SAAS,EAAE;wBACT,EAAE,EAAE,MAAM;wBACV,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,MAAM;wBACd,SAAS,EAAE,MAAM;qBAClB;iBACF,CAAC;gBACF,WAAW,CACT,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,EACjE,uBAAuB,OAAO,CAAC,MAAM,UAAU,MAAM,CAAC,KAAK,EAAE,CAC9D,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;QACD,WAAW,CACT,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,EACnD,sBAAsB,CACvB,CAAC;QACF,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QACjE,IAAI,OAAO,CAAC,SAAS;YACnB,WAAW,CACT,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,SAAS,EACxD,2BAA2B,CAC5B,CAAC;QACJ,IAAI,OAAO,CAAC,SAAS;YAAE,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QACrE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,cAAc,GAAG;QACrB,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9D,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU;KACjC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,WAAW,CACT,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EACtD,kEAAkE,CACnE,CAAC;IACF,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACvD,WAAW,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC;IAChD,IAAI,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QAC5C,WAAW,CACT,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EACzB,kDAAkD,CACnD,CAAC;QACF,WAAW,CACT,IAAI,CAAC,OAAO,KAAK,MAAM,CAAC,SAAS,CAAC,OAAO,EACzC,6CAA6C,CAC9C,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,WAAW,CAAC,OAAO,EAAE,0BAA0B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/D,iBAAiB,CACf,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,IAAI,CAAC,OAAO,CAAE,EAC/D,IAAI,CAAC,OAAO,CACb,CAAC;QACF,WAAW,CACT,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACxE,mCAAmC,CACpC,CAAC;QACF,WAAW,CACT,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAC1B,yEAAyE,CAC1E,CAAC;QACF,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,KAAK,GAAG,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACrE,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS;QAC5B,WAAW,CACT,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,SAAS,EACjE,2BAA2B,CAC5B,CAAC;IACJ,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,QAAQ;QAC/C,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,YAAY;QAC/C,WAAW,CACT,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EACnE,+CAA+C,CAChD,CAAC;IACJ,IAAI,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,OAAO,GAAU,IAAI,GAAG,CAC5B,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CACxE,CAAC;QACF,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9D,KAAK,GAAG,OAAO,CAAC;IAClB,CAAC;;QACC,WAAW,CACT,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EACvC,8BAA8B,CAC/B,CAAC;IACJ,KAAK,GAAG,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IAC3E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,SAAS;QAC5C,WAAW,CACT,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EACnE,2CAA2C,CAC5C,CAAC;IACJ,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QAC3C,WAAW,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,WAAW,CACT,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,EAClD,2BAA2B,MAAM,CAAC,IAAI,EAAE,CACzC,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI;QACnC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,IAAI,2BAA2B,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,iBAAiB,CACxB,OAA6C,EAC7C,GAAW,EACX,IAAI,GAAG,IAAI,GAAG,EAAU;IAExB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACd,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IACnE,IAAI,MAAM,EAAE,CAAC;QACX,WAAW,CACT,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,EAChE,iEAAiE,CAClE,CAAC;QACF,OAAO;IACT,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;IACzE,WAAW,CAAC,UAAU,EAAE,sBAAsB,GAAG,EAAE,CAAC,CAAC;IACrD,WAAW,CACT,UAAU,CAAC,EAAE,KAAK,OAAO,EACzB,sCAAsC,CACvC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACtE,IAAI,UAAU,CAAC,EAAE,KAAK,OAAO;QAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;SAChD,IAAI,UAAU,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC;SAAM,IAAI,UAAU,CAAC,EAAE,KAAK,KAAK,IAAI,UAAU,CAAC,EAAE,KAAK,QAAQ;QAC9D,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;SACpB,IAAI,MAAM,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;AACH,CAAC"}