@distrohelena/canton-typescript-sdk 0.1.28 → 0.1.30

package/dist/cjs/daml-lf/interpreter/daml-lf-builtin-dispatch.js

@@ -0,0 +1,939 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DamlLfBuiltinDispatch = void 0;
+const validation_error_js_1 = require("../../core/errors/validation-error.js");
+const daml_lf_runtime_value_js_1 = require("./daml-lf-runtime-value.js");
+class DamlLfBuiltinDispatch {
+    applyOrThrow(builtin, argumentValues) {
+        const appliedArguments = [
+            ...builtin.appliedArguments,
+            ...argumentValues,
+        ];
+        const nonUnitArguments = appliedArguments.filter((argument) => argument.kind !== "unit");
+        const numericArguments = appliedArguments.filter((argument) => this.isNumericCompatible(argument));
+        switch (builtin.builtinFunction) {
+            case "equal":
+                if (appliedArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "boolean",
+                    value: this.areEqual(appliedArguments[0], appliedArguments[1]),
+                };
+            case "LESS":
+                if (nonUnitArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "boolean",
+                    value: this.compareValues(nonUnitArguments[0], nonUnitArguments[1]) < 0,
+                };
+            case "LESS_EQ":
+                if (nonUnitArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "boolean",
+                    value: this.compareValues(nonUnitArguments[0], nonUnitArguments[1]) <= 0,
+                };
+            case "ADD_INT64":
+                if (nonUnitArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "int64",
+                    value: String(this.readInt64(nonUnitArguments[0])
+                        + this.readInt64(nonUnitArguments[1])),
+                };
+            case "SUB_INT64":
+                if (nonUnitArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "int64",
+                    value: String(this.readInt64(nonUnitArguments[0])
+                        - this.readInt64(nonUnitArguments[1])),
+                };
+            case "GREATER_EQ":
+                if (nonUnitArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "boolean",
+                    value: this.compareValues(nonUnitArguments[0], nonUnitArguments[1]) >= 0,
+                };
+            case "greater":
+            case "GREATER":
+                if (nonUnitArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "boolean",
+                    value: this.compareValues(nonUnitArguments[0], nonUnitArguments[1]) > 0,
+                };
+            case "ADD_NUMERIC":
+                if (numericArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const addNumericOperands = numericArguments.slice(-2);
+                return {
+                    kind: "numeric",
+                    value: this.formatExactDecimal(this.addExactDecimals(this.readExactDecimal(addNumericOperands[0]), this.readExactDecimal(addNumericOperands[1]))),
+                };
+            case "SUB_NUMERIC":
+                if (numericArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const subNumericOperands = numericArguments.slice(-2);
+                return {
+                    kind: "numeric",
+                    value: this.formatExactDecimal(this.subtractExactDecimals(this.readExactDecimal(subNumericOperands[0]), this.readExactDecimal(subNumericOperands[1]))),
+                };
+            case "MUL_NUMERIC":
+                if (numericArguments.length < 3) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const mulNumericScale = this.readNumericScaleWitnessOrThrow(numericArguments[0]);
+                return {
+                    kind: "numeric",
+                    value: this.formatExactNumeric(this.quantizeExactDecimal(this.multiplyExactDecimals(this.readExactDecimal(numericArguments[1]), this.readExactDecimal(numericArguments[2])), mulNumericScale, "halfEven"), mulNumericScale),
+                };
+            case "DIV_NUMERIC":
+                if (numericArguments.length < 3) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const divNumericScale = this.readNumericScaleWitnessOrThrow(numericArguments[0]);
+                return {
+                    kind: "numeric",
+                    value: this.formatExactNumeric(this.divideExactDecimals(this.readExactDecimal(numericArguments[1]), this.readExactDecimal(numericArguments[2]), divNumericScale), divNumericScale),
+                };
+            case "INT64_TO_NUMERIC":
+                if (numericArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const int64ToNumericScale = this.readNumericScaleWitnessOrThrow(numericArguments[0]);
+                return {
+                    kind: "numeric",
+                    value: this.formatExactNumeric(this.quantizeExactDecimal({
+                        significand: this.readInt64(numericArguments[1]),
+                        scale: 0,
+                    }, int64ToNumericScale, "unnecessary"), int64ToNumericScale),
+                };
+            case "NUMERIC_TO_INT64":
+                if (numericArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "int64",
+                    value: String(this.truncateExactDecimalToInt64(this.readExactDecimal(numericArguments.at(-1)))),
+                };
+            case "CAST_NUMERIC":
+                if (numericArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const castNumericScale = this.readNumericScaleWitnessOrThrow(numericArguments[0]);
+                return {
+                    kind: "numeric",
+                    value: this.formatExactNumeric(this.quantizeExactDecimal(this.readExactDecimal(numericArguments[1]), castNumericScale, "unnecessary"), castNumericScale),
+                };
+            case "SHIFT_NUMERIC":
+                if (numericArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const shiftNumericScale = this.readNumericScaleWitnessOrThrow(numericArguments[0]);
+                return {
+                    kind: "numeric",
+                    value: this.formatExactNumeric(this.shiftExactDecimal(this.readExactDecimal(numericArguments[1]), shiftNumericScale), shiftNumericScale),
+                };
+            case "ROUND_NUMERIC":
+                if (appliedArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const roundNumericScale = Number(this.readInt64(appliedArguments[0]));
+                return {
+                    kind: "numeric",
+                    value: this.formatExactDecimal(this.quantizeExactDecimal(this.readExactDecimal(appliedArguments[1]), roundNumericScale, "halfEven")),
+                };
+            case "INT64_TO_TEXT":
+                if (nonUnitArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "text",
+                    value: String(this.readInt64(nonUnitArguments[0])),
+                };
+            case "PARTY_TO_TEXT":
+                if (nonUnitArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "text",
+                    value: this.readPartyLike(nonUnitArguments[0]),
+                };
+            case "COERCE_CONTRACT_ID":
+                if (nonUnitArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "contractId",
+                    value: this.readContractIdLike(nonUnitArguments[0]),
+                };
+            case "TEXTMAP_EMPTY":
+                return {
+                    kind: "ledgerValue",
+                    value: {},
+                };
+            case "TEXTMAP_INSERT":
+                if (appliedArguments.length < 3) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "ledgerValue",
+                    value: {
+                        ...this.readTextMap(appliedArguments[2]),
+                        [this.readText(appliedArguments[0])]: this.unwrapValue(appliedArguments[1]),
+                    },
+                };
+            case "TEXTMAP_LOOKUP":
+                if (appliedArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const textMapLookupValue = this.readTextMap(appliedArguments[1])[this.readText(appliedArguments[0])];
+                return textMapLookupValue === undefined
+                    ? {
+                        kind: "unit",
+                    }
+                    : this.hydrateValue(textMapLookupValue);
+            case "TEXTMAP_DELETE":
+                if (appliedArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const textMapAfterDelete = {
+                    ...this.readTextMap(appliedArguments[1]),
+                };
+                delete textMapAfterDelete[this.readText(appliedArguments[0])];
+                return {
+                    kind: "ledgerValue",
+                    value: textMapAfterDelete,
+                };
+            case "TEXTMAP_TO_LIST":
+                if (appliedArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "ledgerValue",
+                    value: Object.entries(this.readTextMap(appliedArguments[0])).map(([key, value]) => ({
+                        "0": key,
+                        "1": value,
+                    })),
+                };
+            case "TEXTMAP_SIZE":
+                if (appliedArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "int64",
+                    value: String(Object.keys(this.readTextMap(appliedArguments[0])).length),
+                };
+            case "GENMAP_EMPTY":
+                return {
+                    kind: "ledgerValue",
+                    value: [],
+                };
+            case "GENMAP_INSERT":
+                if (appliedArguments.length < 3) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "ledgerValue",
+                    value: this.insertGenMapEntry(this.readGenMap(appliedArguments[2]), appliedArguments[0], appliedArguments[1]),
+                };
+            case "GENMAP_LOOKUP":
+                if (appliedArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const matchingGenMapEntry = this.readGenMap(appliedArguments[1]).find((entry) => this.areEqual(this.hydrateValue(entry.key), appliedArguments[0]));
+                return matchingGenMapEntry === undefined
+                    ? {
+                        kind: "unit",
+                    }
+                    : this.hydrateValue(matchingGenMapEntry.value);
+            case "GENMAP_DELETE":
+                if (appliedArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "ledgerValue",
+                    value: this.readGenMap(appliedArguments[1]).filter((entry) => !this.areEqual(this.hydrateValue(entry.key), appliedArguments[0])),
+                };
+            case "GENMAP_KEYS":
+                if (appliedArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "ledgerValue",
+                    value: this.readGenMap(appliedArguments[0]).map((entry) => entry.key),
+                };
+            case "GENMAP_VALUES":
+                if (appliedArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "ledgerValue",
+                    value: this.readGenMap(appliedArguments[0]).map((entry) => entry.value),
+                };
+            case "GENMAP_SIZE":
+                if (appliedArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "int64",
+                    value: String(this.readGenMap(appliedArguments[0]).length),
+                };
+            case "appendText":
+                if (appliedArguments.length < 2) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "text",
+                    value: this.readText(appliedArguments[0])
+                        + this.readText(appliedArguments[1]),
+                };
+            case "EXPLODE_TEXT":
+                if (nonUnitArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "ledgerValue",
+                    value: [...this.readText(nonUnitArguments.at(-1))],
+                };
+            case "IMPLODE_TEXT":
+                if (nonUnitArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "text",
+                    value: this.readTextList(nonUnitArguments.at(-1)).join(""),
+                };
+            case "NUMERIC_TO_TEXT":
+                if (appliedArguments.length < 1) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                const numericArgument = numericArguments.at(-1);
+                if (numericArgument === undefined) {
+                    return {
+                        kind: "builtin",
+                        builtinFunction: builtin.builtinFunction,
+                        appliedArguments,
+                    };
+                }
+                return {
+                    kind: "text",
+                    value: this.readTextLike(numericArgument),
+                };
+            default:
+                throw new validation_error_js_1.ValidationError(`daml lf builtin '${builtin.builtinFunction}' is not supported yet`);
+        }
+    }
+    areEqual(left, right) {
+        const leftString = this.readStringLikeOrUndefined(left);
+        const rightString = this.readStringLikeOrUndefined(right);
+        if (leftString !== undefined && rightString !== undefined) {
+            return leftString === rightString;
+        }
+        return JSON.stringify(left) === JSON.stringify(right);
+    }
+    readInt64(value) {
+        if (value.kind === "int64") {
+            return BigInt(value.value);
+        }
+        if (value.kind === "text") {
+            return BigInt(value.value);
+        }
+        if (value.kind === "ledgerValue"
+            && "value" in value
+            && (typeof value.value === "string"
+                || typeof value.value === "number"
+                || typeof value.value === "bigint")) {
+            return BigInt(value.value);
+        }
+        throw new validation_error_js_1.ValidationError(`daml lf builtin expected int64, got '${value.kind}'`);
+    }
+    compareValues(left, right) {
+        const leftDecimal = this.tryReadExactDecimal(left);
+        const rightDecimal = this.tryReadExactDecimal(right);
+        if (leftDecimal !== undefined && rightDecimal !== undefined) {
+            return this.compareExactDecimals(leftDecimal, rightDecimal);
+        }
+        const leftString = this.readTextLike(left);
+        const rightString = this.readTextLike(right);
+        if (leftString < rightString) {
+            return -1;
+        }
+        if (leftString > rightString) {
+            return 1;
+        }
+        return 0;
+    }
+    readText(value) {
+        if (value.kind !== "text") {
+            throw new validation_error_js_1.ValidationError(`daml lf builtin expected text, got '${value.kind}'`);
+        }
+        return value.value;
+    }
+    readPartyLike(value) {
+        if (value.kind === "party" || value.kind === "text") {
+            return value.value;
+        }
+        if (value.kind === "ledgerValue"
+            && "value" in value
+            && typeof value.value === "string") {
+            return value.value;
+        }
+        throw new validation_error_js_1.ValidationError(`daml lf builtin expected party, got '${value.kind}'`);
+    }
+    readTextLike(value) {
+        if (value.kind === "text"
+            || value.kind === "numeric"
+            || value.kind === "int64") {
+            return String(value.value);
+        }
+        if (value.kind === "ledgerValue"
+            && "value" in value
+            && (typeof value.value === "string"
+                || typeof value.value === "number"
+                || typeof value.value === "bigint")) {
+            return String(value.value);
+        }
+        throw new validation_error_js_1.ValidationError(`daml lf builtin expected a text-compatible value, got '${value.kind}'`);
+    }
+    readStringLikeOrUndefined(value) {
+        if (value.kind === "text"
+            || value.kind === "numeric"
+            || value.kind === "party"
+            || value.kind === "int64") {
+            return String(value.value);
+        }
+        if (value.kind === "ledgerValue"
+            && "value" in value
+            && typeof value.value === "string") {
+            return value.value;
+        }
+        return undefined;
+    }
+    readContractIdLike(value) {
+        if (value.kind === "contractId"
+            || value.kind === "text") {
+            return String(value.value);
+        }
+        if (value.kind === "ledgerValue"
+            && "contractId" in value
+            && typeof value.contractId === "string") {
+            return value.contractId;
+        }
+        if (value.kind === "ledgerValue"
+            && "value" in value
+            && value.value !== null
+            && typeof value.value === "object"
+            && daml_lf_runtime_value_js_1.DAML_LF_CONTRACT_ID_MARKER_KEY in value.value
+            && typeof value.value[daml_lf_runtime_value_js_1.DAML_LF_CONTRACT_ID_MARKER_KEY] === "string") {
+            return value.value[daml_lf_runtime_value_js_1.DAML_LF_CONTRACT_ID_MARKER_KEY];
+        }
+        throw new validation_error_js_1.ValidationError(`daml lf builtin expected contract id, got '${value.kind}'`);
+    }
+    readExactDecimal(value) {
+        if (value.kind === "numeric") {
+            return this.parseExactDecimal(value.value);
+        }
+        return this.parseExactDecimal(this.readTextLike(value));
+    }
+    tryReadExactDecimal(value) {
+        try {
+            return this.readExactDecimal(value);
+        }
+        catch {
+            return undefined;
+        }
+    }
+    parseExactDecimal(value) {
+        const trimmed = value.trim();
+        if (!/^-?\d+(?:\.\d+)?$/.test(trimmed)) {
+            throw new validation_error_js_1.ValidationError(`daml lf builtin expected an exact decimal-compatible value, got '${value}'`);
+        }
+        const negative = trimmed.startsWith("-");
+        const unsigned = negative ? trimmed.slice(1) : trimmed;
+        const [integerPart, fractionalPart = ""] = unsigned.split(".");
+        const normalizedInteger = integerPart.replace(/^0+(?=\d)/, "") || "0";
+        const normalizedFraction = fractionalPart.replace(/0+$/, "");
+        const scale = normalizedFraction.length;
+        const digits = `${normalizedInteger}${normalizedFraction}`.replace(/^0+(?=\d)/, "") || "0";
+        const significand = BigInt(negative ? `-${digits}` : digits);
+        return {
+            significand,
+            scale,
+        };
+    }
+    addExactDecimals(left, right) {
+        const scale = Math.max(left.scale, right.scale);
+        return this.normalizeExactDecimal({
+            significand: left.significand * this.pow10(scale - left.scale)
+                + right.significand * this.pow10(scale - right.scale),
+            scale,
+        });
+    }
+    subtractExactDecimals(left, right) {
+        const scale = Math.max(left.scale, right.scale);
+        return this.normalizeExactDecimal({
+            significand: left.significand * this.pow10(scale - left.scale)
+                - right.significand * this.pow10(scale - right.scale),
+            scale,
+        });
+    }
+    multiplyExactDecimals(left, right) {
+        return this.normalizeExactDecimal({
+            significand: left.significand * right.significand,
+            scale: left.scale + right.scale,
+        });
+    }
+    divideExactDecimals(left, right, targetScale) {
+        if (right.significand === 0n) {
+            throw new validation_error_js_1.ValidationError("daml lf builtin DIV_NUMERIC cannot divide by zero");
+        }
+        const exponent = targetScale + right.scale - left.scale;
+        const scaleFactor = this.pow10(Math.max(exponent, 0));
+        const dividend = exponent >= 0
+            ? left.significand * scaleFactor
+            : left.significand;
+        const divisor = exponent >= 0
+            ? right.significand
+            : right.significand * this.pow10(-exponent);
+        return this.assertNumericBoundsOrThrow(this.quantizeQuotientToScale(dividend, divisor, targetScale, "halfEven"), targetScale);
+    }
+    compareExactDecimals(left, right) {
+        const scale = Math.max(left.scale, right.scale);
+        const leftValue = left.significand * this.pow10(scale - left.scale);
+        const rightValue = right.significand * this.pow10(scale - right.scale);
+        if (leftValue < rightValue) {
+            return -1;
+        }
+        if (leftValue > rightValue) {
+            return 1;
+        }
+        return 0;
+    }
+    normalizeExactDecimal(value) {
+        let significand = value.significand;
+        let scale = value.scale;
+        while (scale > 0 && significand % 10n === 0n) {
+            significand /= 10n;
+            scale -= 1;
+        }
+        return {
+            significand,
+            scale,
+        };
+    }
+    quantizeExactDecimal(value, targetScale, roundingMode) {
+        if (targetScale >= value.scale) {
+            const scaledValue = this.normalizeExactDecimal({
+                significand: value.significand * this.pow10(targetScale - value.scale),
+                scale: targetScale,
+            });
+            return this.assertNumericBoundsOrThrow(scaledValue, targetScale);
+        }
+        const delta = value.scale - targetScale;
+        const divisor = this.pow10(delta);
+        const truncated = value.significand / divisor;
+        const remainder = value.significand % divisor;
+        if (remainder === 0n) {
+            return this.assertNumericBoundsOrThrow(this.createExactDecimalFromScaledSignificand(truncated, targetScale), targetScale);
+        }
+        if (roundingMode === "unnecessary") {
+            throw new validation_error_js_1.ValidationError("daml lf builtin CAST_NUMERIC requires an exact representation");
+        }
+        const rounded = this.roundHalfEvenQuotient(truncated, remainder, divisor);
+        return this.assertNumericBoundsOrThrow(this.createExactDecimalFromScaledSignificand(rounded, targetScale), targetScale);
+    }
+    shiftExactDecimal(value, targetScale) {
+        return this.assertNumericBoundsOrThrow(this.normalizeExactDecimal({
+            significand: value.significand,
+            scale: targetScale,
+        }), targetScale);
+    }
+    quantizeQuotientToScale(dividend, divisor, targetScale, roundingMode) {
+        const quotient = dividend / divisor;
+        const remainder = dividend % divisor;
+        if (remainder === 0n) {
+            return this.createExactDecimalFromScaledSignificand(quotient, targetScale);
+        }
+        if (roundingMode === "unnecessary") {
+            throw new validation_error_js_1.ValidationError("daml lf builtin DIV_NUMERIC requires an exact representation");
+        }
+        return this.createExactDecimalFromScaledSignificand(this.roundHalfEvenQuotient(quotient, remainder, divisor), targetScale);
+    }
+    roundHalfEvenQuotient(quotient, remainder, divisor) {
+        const absoluteRemainder = remainder < 0n ? -remainder : remainder;
+        const absoluteDivisor = divisor < 0n ? -divisor : divisor;
+        const doubledRemainder = absoluteRemainder * 2n;
+        if (doubledRemainder < absoluteDivisor) {
+            return quotient;
+        }
+        const shouldRoundAwayFromZero = doubledRemainder > absoluteDivisor
+            || quotient % 2n !== 0n;
+        if (!shouldRoundAwayFromZero) {
+            return quotient;
+        }
+        const direction = quotient !== 0n
+            ? (quotient < 0n ? -1n : 1n)
+            : ((remainder < 0n) !== (divisor < 0n)
+                ? -1n
+                : 1n);
+        return quotient + direction;
+    }
+    createExactDecimalFromScaledSignificand(significand, scale) {
+        if (scale >= 0) {
+            return this.normalizeExactDecimal({
+                significand,
+                scale,
+            });
+        }
+        return this.normalizeExactDecimal({
+            significand: significand * this.pow10(-scale),
+            scale: 0,
+        });
+    }
+    formatExactDecimal(value) {
+        const normalized = this.normalizeExactDecimal(value);
+        const negative = normalized.significand < 0n;
+        const digits = (negative
+            ? -normalized.significand
+            : normalized.significand).toString();
+        if (normalized.scale === 0) {
+            return `${negative ? "-" : ""}${digits}`;
+        }
+        const paddedDigits = digits.padStart(normalized.scale + 1, "0");
+        const splitIndex = paddedDigits.length - normalized.scale;
+        const integerPart = paddedDigits.slice(0, splitIndex);
+        const fractionalPart = paddedDigits.slice(splitIndex);
+        return `${negative ? "-" : ""}${integerPart}.${fractionalPart}`;
+    }
+    formatExactNumeric(value, _targetScale) {
+        return this.formatExactDecimal(value);
+    }
+    truncateExactDecimalToInt64(value) {
+        if (value.scale === 0) {
+            return value.significand;
+        }
+        return value.significand / this.pow10(value.scale);
+    }
+    readNumericScaleWitnessOrThrow(value) {
+        const text = this.readTextLike(value).trim();
+        const match = /^-?\d+(?:\.(\d+))?$/.exec(text);
+        if (match === null) {
+            throw new validation_error_js_1.ValidationError(`daml lf builtin expected a numeric scale witness, got '${text}'`);
+        }
+        return match[1]?.length ?? 0;
+    }
+    assertNumericBoundsOrThrow(value, targetScale) {
+        const normalized = this.normalizeExactDecimal(value);
+        const scaledSignificand = targetScale !== undefined
+            && targetScale >= 0
+            && targetScale >= normalized.scale
+            ? normalized.significand * this.pow10(targetScale - normalized.scale)
+            : normalized.significand;
+        const digits = (scaledSignificand < 0n
+            ? -scaledSignificand
+            : scaledSignificand).toString().length;
+        if (digits > 38) {
+            throw new validation_error_js_1.ValidationError("daml lf numeric overflow");
+        }
+        return normalized;
+    }
+    pow10(exponent) {
+        return 10n ** BigInt(exponent);
+    }
+    readTextList(value) {
+        if (value.kind === "ledgerValue"
+            && "value" in value
+            && Array.isArray(value.value)) {
+            return value.value.map((item) => {
+                if (typeof item !== "string") {
+                    throw new validation_error_js_1.ValidationError("daml lf builtin expected a text list");
+                }
+                return item;
+            });
+        }
+        throw new validation_error_js_1.ValidationError(`daml lf builtin expected a text-list-compatible value, got '${value.kind}'`);
+    }
+    readTextMap(value) {
+        if (value.kind === "builtin"
+            && "builtinFunction" in value
+            && value.builtinFunction === "TEXTMAP_EMPTY") {
+            const builtinValue = value;
+            if (builtinValue.appliedArguments.length === 0) {
+                return {};
+            }
+        }
+        if (value.kind === "ledgerValue"
+            && "value" in value
+            && value.value !== null
+            && typeof value.value === "object"
+            && !Array.isArray(value.value)) {
+            return value.value;
+        }
+        throw new validation_error_js_1.ValidationError(`daml lf builtin expected a text-map-compatible value, got '${value.kind}'`);
+    }
+    readGenMap(value) {
+        if (value.kind === "builtin"
+            && "builtinFunction" in value
+            && value.builtinFunction === "GENMAP_EMPTY") {
+            const builtinValue = value;
+            if (builtinValue.appliedArguments.length === 0) {
+                return [];
+            }
+        }
+        if (value.kind === "ledgerValue"
+            && "value" in value
+            && Array.isArray(value.value)) {
+            return value.value.map((entry) => {
+                if (entry === null
+                    || typeof entry !== "object"
+                    || !("key" in entry)
+                    || !("value" in entry)) {
+                    throw new validation_error_js_1.ValidationError("daml lf builtin expected a gen-map entry");
+                }
+                return entry;
+            });
+        }
+        throw new validation_error_js_1.ValidationError(`daml lf builtin expected a gen-map-compatible value, got '${value.kind}'`);
+    }
+    unwrapValue(value) {
+        if (value.kind === "record" && "fields" in value) {
+            const recordFields = value.fields;
+            return Object.fromEntries(Object.entries(recordFields).map(([fieldName, fieldValue]) => [
+                fieldName,
+                this.unwrapValue(fieldValue),
+            ]));
+        }
+        if (value.kind === "contractId") {
+            return {
+                [daml_lf_runtime_value_js_1.DAML_LF_CONTRACT_ID_MARKER_KEY]: value.value,
+            };
+        }
+        if (value.kind === "party") {
+            return {
+                [daml_lf_runtime_value_js_1.DAML_LF_PARTY_MARKER_KEY]: value.value,
+            };
+        }
+        if (value.kind === "unit") {
+            return null;
+        }
+        if ("value" in value) {
+            return value.value;
+        }
+        return value;
+    }
+    hydrateValue(value) {
+        if (value === null || value === undefined) {
+            return {
+                kind: "unit",
+            };
+        }
+        if (typeof value === "string") {
+            return {
+                kind: "text",
+                value,
+            };
+        }
+        if (typeof value === "boolean") {
+            return {
+                kind: "boolean",
+                value,
+            };
+        }
+        if (typeof value === "number" || typeof value === "bigint") {
+            return {
+                kind: "text",
+                value: String(value),
+            };
+        }
+        if (typeof value === "object"
+            && value !== null
+            && daml_lf_runtime_value_js_1.DAML_LF_CONTRACT_ID_MARKER_KEY in value
+            && typeof value[daml_lf_runtime_value_js_1.DAML_LF_CONTRACT_ID_MARKER_KEY] === "string") {
+            return {
+                kind: "contractId",
+                value: value[daml_lf_runtime_value_js_1.DAML_LF_CONTRACT_ID_MARKER_KEY],
+            };
+        }
+        if (typeof value === "object"
+            && value !== null
+            && daml_lf_runtime_value_js_1.DAML_LF_PARTY_MARKER_KEY in value
+            && typeof value[daml_lf_runtime_value_js_1.DAML_LF_PARTY_MARKER_KEY] === "string") {
+            return {
+                kind: "party",
+                value: value[daml_lf_runtime_value_js_1.DAML_LF_PARTY_MARKER_KEY],
+            };
+        }
+        return {
+            kind: "ledgerValue",
+            value,
+        };
+    }
+    insertGenMapEntry(entries, key, value) {
+        const unwrappedKey = this.unwrapValue(key);
+        const nextEntry = {
+            key: unwrappedKey,
+            value: this.unwrapValue(value),
+        };
+        const retainedEntries = entries.filter((entry) => !this.areEqual(this.hydrateValue(entry.key), key));
+        return [...retainedEntries, nextEntry];
+    }
+    isNumericCompatible(value) {
+        return (value.kind === "int64"
+            || value.kind === "numeric"
+            || value.kind === "text"
+            || (value.kind === "ledgerValue"
+                && "value" in value
+                && (typeof value.value === "string"
+                    || typeof value.value === "number"
+                    || typeof value.value === "bigint")));
+    }
+}
+exports.DamlLfBuiltinDispatch = DamlLfBuiltinDispatch;