@hyperscale0/udl 2.6.1 → 3.0.1

package/dist/allocation.d.ts

@@ -1,60 +0,0 @@
-export type AllocationBucketKey = "principal" | "profit" | "cost" | "fine";
-export interface AllocationBalance {
-    readonly key: AllocationBucketKey;
-    readonly assessmentId: string;
-    readonly destinationAccountId: string;
-    readonly amount: bigint;
-    readonly consumed: bigint;
-}
-export interface AllocationSlice {
-    readonly id: string;
-    readonly dueAt: string;
-    readonly position: number;
-    readonly paid: boolean;
-    readonly buckets: readonly AllocationBalance[];
-}
-export interface AllocationInput {
-    readonly asOf: string;
-    readonly earningRule: "per_slice_on_due" | "on_disbursement";
-    readonly mode: "payment" | "payoff" | "write_off";
-    readonly payment?: bigint | undefined;
-    readonly assessmentId?: string;
-    readonly slices: readonly AllocationSlice[];
-}
-export interface AllocationPosting {
-    readonly sliceId: string;
-    readonly assessmentId: string;
-    readonly bucket: AllocationBucketKey;
-    readonly destinationAccountId: string;
-    readonly amount: bigint;
-}
-export interface AllocationCancellation {
-    readonly sliceId: string;
-    readonly assessmentId: string;
-    readonly bucket: AllocationBucketKey;
-    readonly amount: bigint;
-    readonly reason: "unearned_profit" | "write_off";
-}
-/** Plan from locked balances. The engine owns identity claims and atomic posting. */
-export declare function planAllocation(contract: {
-    readonly buckets: readonly {
-        readonly key: AllocationBucketKey;
-    }[];
-}, input: AllocationInput): {
-    postings: AllocationPosting[];
-    cancellations: AllocationCancellation[];
-    amount: bigint;
-};
-/** Reverse recorded postings once, without reopening the consumed assessment. */
-export declare function planAllocationRefund(postings: readonly AllocationPosting[], originalPayer: string, refundedAssessments: readonly string[], assessmentId?: string): {
-    assessmentId: string;
-    amount: bigint;
-    sourceAccountId: string;
-    destinationAccountId: string;
-}[];
-/** Evaluate a slice gate from the same locked consumption balances used to allocate. */
-export declare function matchesAllocationConsumption(clause: {
-    readonly buckets: readonly AllocationBucketKey[];
-    readonly check: "settled" | "outstanding";
-}, slice: AllocationSlice): boolean;
-//# sourceMappingURL=allocation.d.ts.map

package/dist/allocation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"allocation.d.ts","sourceRoot":"","sources":["../src/allocation.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,mBAAmB,GAAG,WAAW,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;AAC3E,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AACD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD;AACD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,kBAAkB,GAAG,iBAAiB,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,QAAQ,GAAG,WAAW,CAAC;IAClD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;CAC7C;AACD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AACD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,iBAAiB,GAAG,WAAW,CAAC;CAClD;AAcD,qFAAqF;AACrF,wBAAgB,cAAc,CAC5B,QAAQ,EAAE;IACR,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAA;KAAE,EAAE,CAAC;CACpE,EACD,KAAK,EAAE,eAAe;cA4HK,iBAAiB,EAAE;;;EAoB/C;AAED,iFAAiF;AACjF,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,EACtC,aAAa,EAAE,MAAM,EACrB,mBAAmB,EAAE,SAAS,MAAM,EAAE,EACtC,YAAY,CAAC,EAAE,MAAM;;;;;IA2BtB;AAED,wFAAwF;AACxF,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE;IACN,QAAQ,CAAC,OAAO,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,aAAa,CAAC;CAC3C,EACD,KAAK,EAAE,eAAe,GACrB,OAAO,CAgBT"}

package/dist/allocation.js

@@ -1,177 +0,0 @@
-function clock(value) {
-    if (!/^\d{4}-\d\d-\d\d(?:T\d\d:\d\d:\d\d(?:\.\d+)?Z)?$/.test(value))
-        throw new Error("allocation needs an authoritative UTC time");
-    const result = Date.parse(value);
-    if (!Number.isFinite(result) ||
-        new Date(`${value.slice(0, 10)}T00:00:00Z`).toISOString().slice(0, 10) !==
-            value.slice(0, 10))
-        throw new Error("invalid allocation time");
-    return result;
-}
-/** Plan from locked balances. The engine owns identity claims and atomic posting. */
-export function planAllocation(contract, input) {
-    const priority = contract.buckets.map((bucket) => bucket.key);
-    const keys = new Set(priority);
-    if (priority.length < 2 ||
-        priority.length > 4 ||
-        keys.size !== priority.length ||
-        !keys.has("principal") ||
-        !keys.has("profit") ||
-        priority.some((key) => !["principal", "profit", "cost", "fine"].includes(key)))
-        throw new Error("invalid allocation priority");
-    if (!["per_slice_on_due", "on_disbursement"].includes(input.earningRule) ||
-        !["payment", "payoff", "write_off"].includes(input.mode))
-        throw new Error("invalid earning rule or allocation mode");
-    if (!input.slices.length || input.slices.length > 366)
-        throw new Error("allocation requires 1 to 366 slices");
-    if (input.assessmentId !== undefined &&
-        (input.mode !== "payment" || !input.assessmentId))
-        throw new Error("assessment selection requires payment mode");
-    const asOf = clock(input.asOf);
-    if (input.mode === "write_off"
-        ? input.payment !== undefined
-        : input.payment === undefined
-            ? input.mode !== "payoff" && input.assessmentId === undefined
-            : typeof input.payment !== "bigint" ||
-                input.payment < 0n ||
-                (input.mode === "payment" && input.payment === 0n))
-        throw new Error("invalid allocation payment");
-    const ids = new Set();
-    const positions = new Set();
-    const assessments = new Set();
-    const slices = input.slices
-        .map((slice) => {
-        const due = clock(slice.dueAt);
-        if (!slice.id ||
-            ids.has(slice.id) ||
-            !Number.isInteger(slice.position) ||
-            slice.position < 1 ||
-            positions.has(slice.position) ||
-            typeof slice.paid !== "boolean" ||
-            slice.buckets.length > 256)
-            throw new Error("invalid or duplicate slice");
-        ids.add(slice.id);
-        positions.add(slice.position);
-        for (const balance of slice.buckets) {
-            if (!keys.has(balance.key) ||
-                !balance.assessmentId ||
-                assessments.has(balance.assessmentId) ||
-                !balance.destinationAccountId ||
-                typeof balance.amount !== "bigint" ||
-                typeof balance.consumed !== "bigint" ||
-                balance.amount < 0n ||
-                balance.consumed < 0n ||
-                balance.consumed > balance.amount)
-                throw new Error("invalid or duplicate assessment balance");
-            assessments.add(balance.assessmentId);
-        }
-        return { slice, due };
-    })
-        .sort((a, b) => a.due - b.due || a.slice.position - b.slice.position);
-    const candidates = [];
-    const cancellations = [];
-    for (const { slice, due } of slices) {
-        const earned = input.earningRule === "on_disbursement" || due <= asOf || slice.paid;
-        for (const key of priority) {
-            // Multiple assessed charges of one kind have a deterministic identity order.
-            const balances = slice.buckets
-                .filter((balance) => balance.key === key)
-                .sort((a, b) => a.assessmentId < b.assessmentId
-                ? -1
-                : a.assessmentId > b.assessmentId
-                    ? 1
-                    : 0);
-            for (const balance of balances) {
-                const amount = balance.amount - balance.consumed;
-                if (input.assessmentId !== undefined &&
-                    balance.assessmentId !== input.assessmentId)
-                    continue;
-                if (amount === 0n)
-                    continue;
-                const unearned = key === "profit" && !earned;
-                if (input.mode === "write_off" ||
-                    (input.mode === "payoff" && unearned)) {
-                    cancellations.push({
-                        sliceId: slice.id,
-                        assessmentId: balance.assessmentId,
-                        bucket: key,
-                        amount,
-                        reason: unearned ? "unearned_profit" : "write_off",
-                    });
-                }
-                else {
-                    candidates.push({
-                        sliceId: slice.id,
-                        assessmentId: balance.assessmentId,
-                        bucket: key,
-                        destinationAccountId: balance.destinationAccountId,
-                        amount,
-                    });
-                }
-            }
-        }
-    }
-    const outstanding = candidates.reduce((sum, row) => sum + row.amount, 0n);
-    if (input.mode === "write_off")
-        return { postings: [], cancellations, amount: 0n };
-    if (input.assessmentId !== undefined && !assessments.has(input.assessmentId))
-        throw new Error("assessment is not in the allocation");
-    const payment = input.payment ?? outstanding;
-    if (input.mode === "payment" && payment === 0n)
-        throw new Error("assessment already consumed");
-    if (payment > outstanding ||
-        (input.mode === "payoff" && payment !== outstanding))
-        throw new Error("payment does not match outstanding allocation");
-    let remaining = payment;
-    const postings = [];
-    for (const candidate of candidates) {
-        const amount = candidate.amount < remaining ? candidate.amount : remaining;
-        if (amount > 0n)
-            postings.push({ ...candidate, amount });
-        remaining -= amount;
-        if (remaining === 0n)
-            break;
-    }
-    return { postings, cancellations, amount: payment };
-}
-/** Reverse recorded postings once, without reopening the consumed assessment. */
-export function planAllocationRefund(postings, originalPayer, refundedAssessments, assessmentId) {
-    if (!originalPayer || postings.length > 366 * 256)
-        throw new Error("invalid allocation receipt");
-    const selected = postings.filter((row) => assessmentId === undefined || row.assessmentId === assessmentId);
-    if (!selected.length)
-        throw new Error("assessment has no recorded allocation");
-    const seen = new Set();
-    return selected.map((row) => {
-        if (row.amount <= 0n ||
-            !row.destinationAccountId ||
-            !row.assessmentId ||
-            seen.has(row.assessmentId) ||
-            refundedAssessments.includes(row.assessmentId))
-            throw new Error("assessment already refunded or invalid receipt");
-        seen.add(row.assessmentId);
-        return {
-            assessmentId: row.assessmentId,
-            amount: row.amount,
-            sourceAccountId: row.destinationAccountId,
-            destinationAccountId: originalPayer,
-        };
-    });
-}
-/** Evaluate a slice gate from the same locked consumption balances used to allocate. */
-export function matchesAllocationConsumption(clause, slice) {
-    if (!clause.buckets.length ||
-        new Set(clause.buckets).size !== clause.buckets.length)
-        throw new Error("allocation gate needs distinct buckets");
-    const settled = clause.buckets
-        .map((key) => {
-        const rows = slice.buckets.filter((bucket) => bucket.key === key);
-        for (const row of rows)
-            if (row.consumed < 0n || row.consumed > row.amount || row.amount < 0n)
-                throw new Error("invalid consumption");
-        return rows.every((row) => row.consumed === row.amount);
-    })
-        .every(Boolean);
-    return clause.check === "settled" ? settled : !settled;
-}
-//# sourceMappingURL=allocation.js.map

package/dist/allocation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"allocation.js","sourceRoot":"","sources":["../src/allocation.ts"],"names":[],"mappings":"AAqCA,SAAS,KAAK,CAAC,KAAa;IAC1B,IAAI,CAAC,kDAAkD,CAAC,IAAI,CAAC,KAAK,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjC,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YACpE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAEpB,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,cAAc,CAC5B,QAEC,EACD,KAAsB;IAEtB,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/B,IACE,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM;QAC7B,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC;QACtB,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,QAAQ,CAAC,IAAI,CACX,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAChE;QAED,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACjD,IACE,CAAC,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC;QACpE,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QAExD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG;QACnD,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,IACE,KAAK,CAAC,YAAY,KAAK,SAAS;QAChC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;QAEjD,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,IACE,KAAK,CAAC,IAAI,KAAK,WAAW;QACxB,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;QAC7B,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;YAC3B,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;YAC7D,CAAC,CAAC,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;gBACjC,KAAK,CAAC,OAAO,GAAG,EAAE;gBAClB,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,EAAE,CAAC;QAExD,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM;SACxB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,IACE,CAAC,KAAK,CAAC,EAAE;YACT,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC;YACjC,KAAK,CAAC,QAAQ,GAAG,CAAC;YAClB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC7B,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS;YAC/B,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG;YAE1B,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAChD,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,IACE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC;gBACtB,CAAC,OAAO,CAAC,YAAY;gBACrB,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC;gBACrC,CAAC,OAAO,CAAC,oBAAoB;gBAC7B,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ;gBAClC,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ;gBACpC,OAAO,CAAC,MAAM,GAAG,EAAE;gBACnB,OAAO,CAAC,QAAQ,GAAG,EAAE;gBACrB,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC,MAAM;gBAEjC,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC7D,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACxB,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxE,MAAM,UAAU,GAAwB,EAAE,CAAC;IAC3C,MAAM,aAAa,GAA6B,EAAE,CAAC;IACnD,KAAK,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,MAAM,EAAE,CAAC;QACpC,MAAM,MAAM,GACV,KAAK,CAAC,WAAW,KAAK,iBAAiB,IAAI,GAAG,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC;QACvE,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,6EAA6E;YAC7E,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO;iBAC3B,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,KAAK,GAAG,CAAC;iBACxC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY;gBAC7B,CAAC,CAAC,CAAC,CAAC;gBACJ,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY;oBAC/B,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,CAAC,CACR,CAAC;YACJ,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC;gBACjD,IACE,KAAK,CAAC,YAAY,KAAK,SAAS;oBAChC,OAAO,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;oBAE3C,SAAS;gBACX,IAAI,MAAM,KAAK,EAAE;oBAAE,SAAS;gBAC5B,MAAM,QAAQ,GAAG,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC;gBAC7C,IACE,KAAK,CAAC,IAAI,KAAK,WAAW;oBAC1B,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,EACrC,CAAC;oBACD,aAAa,CAAC,IAAI,CAAC;wBACjB,OAAO,EAAE,KAAK,CAAC,EAAE;wBACjB,YAAY,EAAE,OAAO,CAAC,YAAY;wBAClC,MAAM,EAAE,GAAG;wBACX,MAAM;wBACN,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW;qBACnD,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,IAAI,CAAC;wBACd,OAAO,EAAE,KAAK,CAAC,EAAE;wBACjB,YAAY,EAAE,OAAO,CAAC,YAAY;wBAClC,MAAM,EAAE,GAAG;wBACX,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;wBAClD,MAAM;qBACP,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;QAC5B,OAAO,EAAE,QAAQ,EAAE,EAAyB,EAAE,aAAa,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAC5E,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,WAAW,CAAC;IAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,EAAE;QAC5C,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACjD,IACE,OAAO,GAAG,WAAW;QACrB,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,WAAW,CAAC;QAEpD,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,IAAI,SAAS,GAAG,OAAO,CAAC;IACxB,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,IAAI,MAAM,GAAG,EAAE;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,SAAS,IAAI,MAAM,CAAC;QACpB,IAAI,SAAS,KAAK,EAAE;YAAE,MAAM;IAC9B,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACtD,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,oBAAoB,CAClC,QAAsC,EACtC,aAAqB,EACrB,mBAAsC,EACtC,YAAqB;IAErB,IAAI,CAAC,aAAa,IAAI,QAAQ,CAAC,MAAM,GAAG,GAAG,GAAG,GAAG;QAC/C,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAC9B,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,KAAK,SAAS,IAAI,GAAG,CAAC,YAAY,KAAK,YAAY,CACzE,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,MAAM;QAClB,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC1B,IACE,GAAG,CAAC,MAAM,IAAI,EAAE;YAChB,CAAC,GAAG,CAAC,oBAAoB;YACzB,CAAC,GAAG,CAAC,YAAY;YACjB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC;YAC1B,mBAAmB,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC;YAE9C,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACpE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC3B,OAAO;YACL,YAAY,EAAE,GAAG,CAAC,YAAY;YAC9B,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,eAAe,EAAE,GAAG,CAAC,oBAAoB;YACzC,oBAAoB,EAAE,aAAa;SACpC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,4BAA4B,CAC1C,MAGC,EACD,KAAsB;IAEtB,IACE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM;QACtB,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM;QAEtD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO;SAC3B,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACX,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QAClE,KAAK,MAAM,GAAG,IAAI,IAAI;YACpB,IAAI,GAAG,CAAC,QAAQ,GAAG,EAAE,IAAI,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE;gBACnE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAC3C,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1D,CAAC,CAAC;SACD,KAAK,CAAC,OAAO,CAAC,CAAC;IAClB,OAAO,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AACzD,CAAC"}

package/dist/check-profiles.d.ts

@@ -1,57 +0,0 @@
-/**
- * Evidence profiles that an instrument action may require before it runs.
- * The public grammar and the runtime both read this table. A pair absent here
- * cannot gate an action.
- */
-export interface UdlCheckEvidenceProfile {
-    readonly family: string;
-    readonly checkKind: string;
-    readonly kindField?: string;
-    readonly statusField: string;
-    readonly statuses: readonly string[];
-}
-export declare const udlCheckEvidenceProfiles: readonly [{
-    readonly family: "national_identity";
-    readonly checkKind: "identity_verification";
-    readonly kindField: "checkKind";
-    readonly statusField: "verificationStatus";
-    readonly statuses: readonly ["requested", "waiting", "completed", "rejected", "expired", "error"];
-}, {
-    readonly family: "national_identity";
-    readonly checkKind: "contact_ownership_verification";
-    readonly kindField: "checkKind";
-    readonly statusField: "matchResult";
-    readonly statuses: readonly ["match", "no_match"];
-}, {
-    readonly family: "credit_bureau";
-    readonly checkKind: "consumer_inquiry";
-    readonly kindField: "inquiryType";
-    readonly statusField: "bureauStatus";
-    readonly statuses: readonly ["returned", "acknowledged", "correction_required"];
-}, {
-    readonly family: "credit_bureau";
-    readonly checkKind: "commercial_inquiry";
-    readonly kindField: "inquiryType";
-    readonly statusField: "bureauStatus";
-    readonly statuses: readonly ["returned", "acknowledged", "correction_required"];
-}, {
-    readonly family: "credit_bureau";
-    readonly checkKind: "facility_report";
-    readonly kindField: "inquiryType";
-    readonly statusField: "bureauStatus";
-    readonly statuses: readonly ["returned", "acknowledged", "correction_required"];
-}, {
-    readonly family: "sanctions_screening";
-    readonly checkKind: "screen";
-    readonly kindField: "checkKind";
-    readonly statusField: "screeningStatus";
-    readonly statuses: readonly ["clear", "hit", "manual_review"];
-}, {
-    readonly family: "enforcement_instrument";
-    readonly checkKind: "note_request";
-    readonly statusField: "requestStatus";
-    readonly statuses: readonly ["debtor_approved", "debtor_rejected", "auto_cancelled"];
-}];
-/** Returns the tenant-gateable evidence profile for one family and check. */
-export declare function udlCheckEvidenceProfile(family: string, checkKind: string): UdlCheckEvidenceProfile | undefined;
-//# sourceMappingURL=check-profiles.d.ts.map

package/dist/check-profiles.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"check-profiles.d.ts","sourceRoot":"","sources":["../src/check-profiles.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,eAAO,MAAM,wBAAwB;qBAEzB,mBAAmB;wBAChB,uBAAuB;wBACvB,WAAW;0BACT,oBAAoB;;;qBAWzB,mBAAmB;wBAChB,gCAAgC;wBAChC,WAAW;0BACT,aAAa;;;qBAIlB,eAAe;wBACZ,kBAAkB;wBAClB,aAAa;0BACX,cAAc;;;qBAInB,eAAe;wBACZ,oBAAoB;wBACpB,aAAa;0BACX,cAAc;;;qBAInB,eAAe;wBACZ,iBAAiB;wBACjB,aAAa;0BACX,cAAc;;;qBAInB,qBAAqB;wBAClB,QAAQ;wBACR,WAAW;0BACT,iBAAiB;;;qBAItB,wBAAwB;wBACrB,cAAc;0BACZ,eAAe;;EAGuB,CAAC;AAExD,6EAA6E;AAC7E,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,GAChB,uBAAuB,GAAG,SAAS,CAIrC"}

package/dist/check-profiles.js

@@ -1,62 +0,0 @@
-export const udlCheckEvidenceProfiles = [
-    {
-        family: "national_identity",
-        checkKind: "identity_verification",
-        kindField: "checkKind",
-        statusField: "verificationStatus",
-        statuses: [
-            "requested",
-            "waiting",
-            "completed",
-            "rejected",
-            "expired",
-            "error",
-        ],
-    },
-    {
-        family: "national_identity",
-        checkKind: "contact_ownership_verification",
-        kindField: "checkKind",
-        statusField: "matchResult",
-        statuses: ["match", "no_match"],
-    },
-    {
-        family: "credit_bureau",
-        checkKind: "consumer_inquiry",
-        kindField: "inquiryType",
-        statusField: "bureauStatus",
-        statuses: ["returned", "acknowledged", "correction_required"],
-    },
-    {
-        family: "credit_bureau",
-        checkKind: "commercial_inquiry",
-        kindField: "inquiryType",
-        statusField: "bureauStatus",
-        statuses: ["returned", "acknowledged", "correction_required"],
-    },
-    {
-        family: "credit_bureau",
-        checkKind: "facility_report",
-        kindField: "inquiryType",
-        statusField: "bureauStatus",
-        statuses: ["returned", "acknowledged", "correction_required"],
-    },
-    {
-        family: "sanctions_screening",
-        checkKind: "screen",
-        kindField: "checkKind",
-        statusField: "screeningStatus",
-        statuses: ["clear", "hit", "manual_review"],
-    },
-    {
-        family: "enforcement_instrument",
-        checkKind: "note_request",
-        statusField: "requestStatus",
-        statuses: ["debtor_approved", "debtor_rejected", "auto_cancelled"],
-    },
-];
-/** Returns the tenant-gateable evidence profile for one family and check. */
-export function udlCheckEvidenceProfile(family, checkKind) {
-    return udlCheckEvidenceProfiles.find((profile) => profile.family === family && profile.checkKind === checkKind);
-}
-//# sourceMappingURL=check-profiles.js.map

package/dist/check-profiles.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"check-profiles.js","sourceRoot":"","sources":["../src/check-profiles.ts"],"names":[],"mappings":"AAaA,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC;QACE,MAAM,EAAE,mBAAmB;QAC3B,SAAS,EAAE,uBAAuB;QAClC,SAAS,EAAE,WAAW;QACtB,WAAW,EAAE,oBAAoB;QACjC,QAAQ,EAAE;YACR,WAAW;YACX,SAAS;YACT,WAAW;YACX,UAAU;YACV,SAAS;YACT,OAAO;SACR;KACF;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,SAAS,EAAE,gCAAgC;QAC3C,SAAS,EAAE,WAAW;QACtB,WAAW,EAAE,aAAa;QAC1B,QAAQ,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC;KAChC;IACD;QACE,MAAM,EAAE,eAAe;QACvB,SAAS,EAAE,kBAAkB;QAC7B,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,cAAc;QAC3B,QAAQ,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,qBAAqB,CAAC;KAC9D;IACD;QACE,MAAM,EAAE,eAAe;QACvB,SAAS,EAAE,oBAAoB;QAC/B,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,cAAc;QAC3B,QAAQ,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,qBAAqB,CAAC;KAC9D;IACD;QACE,MAAM,EAAE,eAAe;QACvB,SAAS,EAAE,iBAAiB;QAC5B,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,cAAc;QAC3B,QAAQ,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,qBAAqB,CAAC;KAC9D;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,SAAS,EAAE,QAAQ;QACnB,SAAS,EAAE,WAAW;QACtB,WAAW,EAAE,iBAAiB;QAC9B,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,eAAe,CAAC;KAC5C;IACD;QACE,MAAM,EAAE,wBAAwB;QAChC,SAAS,EAAE,cAAc;QACzB,WAAW,EAAE,eAAe;QAC5B,QAAQ,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,gBAAgB,CAAC;KACnE;CACoD,CAAC;AAExD,6EAA6E;AAC7E,MAAM,UAAU,uBAAuB,CACrC,MAAc,EACd,SAAiB;IAEjB,OAAO,wBAAwB,CAAC,IAAI,CAClC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,CAC1E,CAAC;AACJ,CAAC"}

package/dist/distribution.d.ts

@@ -1,15 +0,0 @@
-import type { UdlAction } from "./schema.js";
-/** Arithmetic only. The host resolves and consumes the receipt and snapshot under locks. */
-export declare function distributeReceiptAmounts(clause: NonNullable<UdlAction["receiptDistribution"]>, principal: bigint, profit: bigint, tickets: readonly {
-    readonly id: string;
-    readonly weight: bigint;
-}[]): {
-    fee: bigint;
-    vat: bigint;
-    residual: bigint;
-    shares: {
-        id: string;
-        amount: bigint;
-    }[];
-};
-//# sourceMappingURL=distribution.d.ts.map

package/dist/distribution.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"distribution.d.ts","sourceRoot":"","sources":["../src/distribution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,4FAA4F;AAC5F,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,EACrD,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE;;;;;;;;EAqDrE"}

package/dist/distribution.js

@@ -1,49 +0,0 @@
-/** Arithmetic only. The host resolves and consumes the receipt and snapshot under locks. */
-export function distributeReceiptAmounts(clause, principal, profit, tickets) {
-    if (principal < 0n || profit < 0n || tickets.length === 0)
-        throw new Error("distribution requires nonnegative receipt amounts and tickets");
-    if (new Set(tickets.map((ticket) => ticket.id)).size !== tickets.length ||
-        tickets.some((ticket) => ticket.weight <= 0n))
-        throw new Error("snapshot tickets must have unique identities and positive weights");
-    const loss = clause.mode === "loss";
-    if (loss && (profit !== 0n || clause.feeBps !== 0 || clause.vatBps !== 0))
-        throw new Error("loss allocation contains only principal and no fees");
-    const totalWeight = tickets.reduce((sum, ticket) => sum + ticket.weight, 0n);
-    const fee = (profit * BigInt(clause.feeBps)) / 10000n;
-    const vat = (fee * BigInt(clause.vatBps)) / 10000n;
-    const amount = principal + profit - fee - vat;
-    if (amount < 0n)
-        throw new Error("fee and VAT exceed the receipt");
-    const shares = tickets.map((ticket) => ({
-        id: ticket.id,
-        amount: (amount * ticket.weight) / totalWeight,
-    }));
-    let residual = amount - shares.reduce((sum, share) => sum + share.amount, 0n);
-    if (loss) {
-        // A loss cannot be paid to a residual cash beneficiary. Largest remainder
-        // assigns every lost minor unit to an investor, with identity breaking ties.
-        const ordered = tickets
-            .map((ticket, index) => ({
-            index,
-            id: ticket.id,
-            remainder: (amount * ticket.weight) % totalWeight,
-        }))
-            .sort((a, b) => a.remainder === b.remainder
-            ? a.id < b.id
-                ? -1
-                : a.id > b.id
-                    ? 1
-                    : 0
-            : a.remainder > b.remainder
-                ? -1
-                : 1);
-        for (const ticket of ordered) {
-            if (residual === 0n)
-                break;
-            shares[ticket.index].amount += 1n;
-            residual -= 1n;
-        }
-    }
-    return { fee, vat, residual, shares };
-}
-//# sourceMappingURL=distribution.js.map

package/dist/distribution.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"distribution.js","sourceRoot":"","sources":["../src/distribution.ts"],"names":[],"mappings":"AAEA,4FAA4F;AAC5F,MAAM,UAAU,wBAAwB,CACtC,MAAqD,EACrD,SAAiB,EACjB,MAAc,EACd,OAAoE;IAEpE,IAAI,SAAS,GAAG,EAAE,IAAI,MAAM,GAAG,EAAE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QACvD,MAAM,IAAI,KAAK,CACb,+DAA+D,CAChE,CAAC;IACJ,IACE,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM;QACnE,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QAE7C,MAAM,IAAI,KAAK,CACb,mEAAmE,CACpE,CAAC;IACJ,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC;IACpC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,EAAE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC7E,MAAM,GAAG,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC;IACtD,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC;IACnD,MAAM,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC;IAC9C,IAAI,MAAM,GAAG,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACtC,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,WAAW;KAC/C,CAAC,CAAC,CAAC;IACJ,IAAI,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC9E,IAAI,IAAI,EAAE,CAAC;QACT,0EAA0E;QAC1E,6EAA6E;QAC7E,MAAM,OAAO,GAAG,OAAO;aACpB,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACvB,KAAK;YACL,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,SAAS,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,WAAW;SAClD,CAAC,CAAC;aACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS;YACzB,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE;gBACX,CAAC,CAAC,CAAC,CAAC;gBACJ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE;oBACX,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS;gBACzB,CAAC,CAAC,CAAC,CAAC;gBACJ,CAAC,CAAC,CAAC,CACR,CAAC;QACJ,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,QAAQ,KAAK,EAAE;gBAAE,MAAM;YAC3B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,MAAM,IAAI,EAAE,CAAC;YACnC,QAAQ,IAAI,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACxC,CAAC"}

package/dist/effects.d.ts

@@ -1,58 +0,0 @@
-import { type UdlIssue } from "./diagnostics.js";
-import { type UdlEffectKind, type UdlInstrument, type UdlMove, type UdlStep } from "./schema.js";
-export { udlEffectKinds, type UdlEffectKind } from "./schema.js";
-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;
-}
-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 interface ResolvedActionPlanLeaf {
-    readonly effects: readonly {
-        readonly kind: UdlEffectKind;
-        readonly signature: string;
-    }[];
-    readonly evidence: string;
-    readonly originPath: readonly string[];
-    readonly step: UdlMove | (Omit<UdlStep, "operation"> & {
-        readonly operation: UdlStep["operation"] | "payout.create";
-    });
-}
-export interface ResolvedActionPlan {
-    readonly action: string;
-    readonly effects: DerivedUdlEffects;
-    readonly leaves: readonly ResolvedActionPlanLeaf[];
-    readonly pieceId?: string;
-}
-export interface ResolvedActionPlansResult {
-    readonly issues: readonly UdlIssue[];
-    readonly plans: readonly ResolvedActionPlan[];
-}
-export declare function deriveActionEffectsFromPlan(leaves: readonly ResolvedActionPlanLeaf[]): DerivedUdlEffects;
-export declare function resolveUdlActionPlans(instrument: UdlInstrument): ResolvedActionPlansResult;
-//# sourceMappingURL=effects.d.ts.map

package/dist/effects.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,EAGL,KAAK,aAAa,EAGlB,KAAK,aAAa,EAClB,KAAK,OAAO,EAIZ,KAAK,OAAO,EACb,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjE,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;AAmCD,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,CA4CnB;AAyDD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS;QACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,EAAE,CAAC;IACJ,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,IAAI,EACT,OAAO,GACP,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG;QAC5B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,eAAe,CAAC;KAC5D,CAAC,CAAC;CACR;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC/C;AAED,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,SAAS,sBAAsB,EAAE,GACxC,iBAAiB,CAYnB;AA6KD,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,aAAa,GACxB,yBAAyB,CA+8C3B"}