@reiy-finance/contracts-sdk 0.1.0

package/dist/generated/reiy/price_adapter.d.ts

@@ -0,0 +1,131 @@
+/**************************************************************
+ * THIS FILE IS GENERATED AND SHOULD NOT BE MANUALLY MODIFIED *
+ **************************************************************/
+/** DeepBook price reader and pure SBBO / normalization helpers. */
+import { type Transaction } from '@mysten/sui/transactions';
+import { type RawTransactionArgument } from '../utils/index.js';
+export interface FloatScalingOptions {
+    package?: string;
+    arguments?: [
+    ];
+}
+export declare function floatScaling(options?: FloatScalingOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface ExpectedOutBaseToQuoteArguments {
+    baseAmount: RawTransactionArgument<number | bigint>;
+    midPrice: RawTransactionArgument<number | bigint>;
+}
+export interface ExpectedOutBaseToQuoteOptions {
+    package?: string;
+    arguments: ExpectedOutBaseToQuoteArguments | [
+        baseAmount: RawTransactionArgument<number | bigint>,
+        midPrice: RawTransactionArgument<number | bigint>
+    ];
+}
+/** Expected quote out for `base_amount`: `base * mid / 1e9`. */
+export declare function expectedOutBaseToQuote(options: ExpectedOutBaseToQuoteOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface ExpectedOutQuoteToBaseArguments {
+    quoteAmount: RawTransactionArgument<number | bigint>;
+    midPrice: RawTransactionArgument<number | bigint>;
+}
+export interface ExpectedOutQuoteToBaseOptions {
+    package?: string;
+    arguments: ExpectedOutQuoteToBaseArguments | [
+        quoteAmount: RawTransactionArgument<number | bigint>,
+        midPrice: RawTransactionArgument<number | bigint>
+    ];
+}
+/** Expected base out for `quote_amount`: `quote * 1e9 / mid`. */
+export declare function expectedOutQuoteToBase(options: ExpectedOutQuoteToBaseOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface ApplySlippageFloorArguments {
+    expectedOut: RawTransactionArgument<number | bigint>;
+    sigmaBps: RawTransactionArgument<number | bigint>;
+}
+export interface ApplySlippageFloorOptions {
+    package?: string;
+    arguments: ApplySlippageFloorArguments | [
+        expectedOut: RawTransactionArgument<number | bigint>,
+        sigmaBps: RawTransactionArgument<number | bigint>
+    ];
+}
+/** Apply slippage bps to an expected output (ceil — never rounds below floor). */
+export declare function applySlippageFloor(options: ApplySlippageFloorOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface SbboFloorBaseToQuoteArguments {
+    sellAmount: RawTransactionArgument<number | bigint>;
+    midPrice: RawTransactionArgument<number | bigint>;
+    sigmaBps: RawTransactionArgument<number | bigint>;
+}
+export interface SbboFloorBaseToQuoteOptions {
+    package?: string;
+    arguments: SbboFloorBaseToQuoteArguments | [
+        sellAmount: RawTransactionArgument<number | bigint>,
+        midPrice: RawTransactionArgument<number | bigint>,
+        sigmaBps: RawTransactionArgument<number | bigint>
+    ];
+}
+/** SBBO floor when the sold token is the pool's BASE. */
+export declare function sbboFloorBaseToQuote(options: SbboFloorBaseToQuoteOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface SbboFloorQuoteToBaseArguments {
+    sellAmount: RawTransactionArgument<number | bigint>;
+    midPrice: RawTransactionArgument<number | bigint>;
+    sigmaBps: RawTransactionArgument<number | bigint>;
+}
+export interface SbboFloorQuoteToBaseOptions {
+    package?: string;
+    arguments: SbboFloorQuoteToBaseArguments | [
+        sellAmount: RawTransactionArgument<number | bigint>,
+        midPrice: RawTransactionArgument<number | bigint>,
+        sigmaBps: RawTransactionArgument<number | bigint>
+    ];
+}
+/** SBBO floor when the sold token is the pool's QUOTE. */
+export declare function sbboFloorQuoteToBase(options: SbboFloorQuoteToBaseOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface NormalizeBaseToQuoteArguments {
+    amount: RawTransactionArgument<number | bigint>;
+    price: RawTransactionArgument<number | bigint>;
+}
+export interface NormalizeBaseToQuoteOptions {
+    package?: string;
+    arguments: NormalizeBaseToQuoteArguments | [
+        amount: RawTransactionArgument<number | bigint>,
+        price: RawTransactionArgument<number | bigint>
+    ];
+}
+/**
+ * Convert an amount of the numeraire-pool's BASE token into quote (numeraire)
+ * units.
+ */
+export declare function normalizeBaseToQuote(options: NormalizeBaseToQuoteOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface NormalizeQuoteToBaseArguments {
+    amount: RawTransactionArgument<number | bigint>;
+    price: RawTransactionArgument<number | bigint>;
+}
+export interface NormalizeQuoteToBaseOptions {
+    package?: string;
+    arguments: NormalizeQuoteToBaseArguments | [
+        amount: RawTransactionArgument<number | bigint>,
+        price: RawTransactionArgument<number | bigint>
+    ];
+}
+/**
+ * Convert an amount of the numeraire-pool's QUOTE token into base (numeraire)
+ * units.
+ */
+export declare function normalizeQuoteToBase(options: NormalizeQuoteToBaseOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface ReadMidPriceArguments {
+    pool: RawTransactionArgument<string>;
+    config: RawTransactionArgument<string>;
+}
+export interface ReadMidPriceOptions {
+    package?: string;
+    arguments: ReadMidPriceArguments | [
+        pool: RawTransactionArgument<string>,
+        config: RawTransactionArgument<string>
+    ];
+    typeArguments: [
+        string,
+        string
+    ];
+}
+/** Read DeepBook mid price and assert it meets the configured minimum. */
+export declare function readMidPrice(options: ReadMidPriceOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+//# sourceMappingURL=price_adapter.d.ts.map

package/dist/generated/reiy/price_adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"price_adapter.d.ts","sourceRoot":"","sources":["../../../src/generated/reiy/price_adapter.ts"],"names":[],"mappings":"AAAA;;gEAEgE;AAGhE,mEAAmE;AAEnE,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAA0B,KAAK,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AACxF,MAAM,WAAW,mBAAmB;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE;KACX,CAAC;CACL;AACD,wBAAgB,YAAY,CAAC,OAAO,GAAE,mBAAwB,IAElD,IAAI,WAAW,0DAK1B;AACD,MAAM,WAAW,+BAA+B;IAC5C,UAAU,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IACpD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;CACrD;AACD,MAAM,WAAW,6BAA6B;IAC1C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,+BAA+B,GAAG;QACzC,UAAU,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;QACnD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;KACpD,CAAC;CACL;AACD,gEAAgE;AAChE,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,6BAA6B,IAOjE,IAAI,WAAW,0DAM1B;AACD,MAAM,WAAW,+BAA+B;IAC5C,WAAW,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IACrD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;CACrD;AACD,MAAM,WAAW,6BAA6B;IAC1C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,+BAA+B,GAAG;QACzC,WAAW,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;QACpD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;KACpD,CAAC;CACL;AACD,iEAAiE;AACjE,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,6BAA6B,IAOjE,IAAI,WAAW,0DAM1B;AACD,MAAM,WAAW,2BAA2B;IACxC,WAAW,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IACrD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;CACrD;AACD,MAAM,WAAW,yBAAyB;IACtC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,2BAA2B,GAAG;QACrC,WAAW,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;QACpD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;KACpD,CAAC;CACL;AACD,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,yBAAyB,IAOzD,IAAI,WAAW,0DAM1B;AACD,MAAM,WAAW,6BAA6B;IAC1C,UAAU,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IACpD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IAClD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;CACrD;AACD,MAAM,WAAW,2BAA2B;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,6BAA6B,GAAG;QACvC,UAAU,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;QACnD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;QACjD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;KACpD,CAAC;CACL;AACD,yDAAyD;AACzD,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,2BAA2B,IAQ7D,IAAI,WAAW,0DAM1B;AACD,MAAM,WAAW,6BAA6B;IAC1C,UAAU,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IACpD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IAClD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;CACrD;AACD,MAAM,WAAW,2BAA2B;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,6BAA6B,GAAG;QACvC,UAAU,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;QACnD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;QACjD,QAAQ,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;KACpD,CAAC;CACL;AACD,0DAA0D;AAC1D,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,2BAA2B,IAQ7D,IAAI,WAAW,0DAM1B;AACD,MAAM,WAAW,6BAA6B;IAC1C,MAAM,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IAChD,KAAK,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;CAClD;AACD,MAAM,WAAW,2BAA2B;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,6BAA6B,GAAG;QACvC,MAAM,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;QAC/C,KAAK,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;KACjD,CAAC;CACL;AACD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,2BAA2B,IAO7D,IAAI,WAAW,0DAM1B;AACD,MAAM,WAAW,6BAA6B;IAC1C,MAAM,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IAChD,KAAK,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;CAClD;AACD,MAAM,WAAW,2BAA2B;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,6BAA6B,GAAG;QACvC,MAAM,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;QAC/C,KAAK,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;KACjD,CAAC;CACL;AACD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,2BAA2B,IAO7D,IAAI,WAAW,0DAM1B;AACD,MAAM,WAAW,qBAAqB;IAClC,IAAI,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;CAC1C;AACD,MAAM,WAAW,mBAAmB;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,qBAAqB,GAAG;QAC/B,IAAI,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACpC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC;KACzC,CAAC;IACF,aAAa,EAAE;QACX,MAAM;QACN,MAAM;KACT,CAAC;CACL;AACD,0EAA0E;AAC1E,wBAAgB,YAAY,CAAC,OAAO,EAAE,mBAAmB,IAQ7C,IAAI,WAAW,0DAO1B"}

package/dist/generated/reiy/price_adapter.js

@@ -0,0 +1,145 @@
+/**************************************************************
+ * THIS FILE IS GENERATED AND SHOULD NOT BE MANUALLY MODIFIED *
+ **************************************************************/
+/** DeepBook price reader and pure SBBO / normalization helpers. */
+import {} from '@mysten/sui/transactions';
+import { normalizeMoveArguments } from '../utils/index.js';
+export function floatScaling(options = {}) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'price_adapter',
+        function: 'float_scaling',
+    });
+}
+/** Expected quote out for `base_amount`: `base * mid / 1e9`. */
+export function expectedOutBaseToQuote(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        'u64',
+        'u64'
+    ];
+    const parameterNames = ["baseAmount", "midPrice"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'price_adapter',
+        function: 'expected_out_base_to_quote',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+    });
+}
+/** Expected base out for `quote_amount`: `quote * 1e9 / mid`. */
+export function expectedOutQuoteToBase(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        'u64',
+        'u64'
+    ];
+    const parameterNames = ["quoteAmount", "midPrice"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'price_adapter',
+        function: 'expected_out_quote_to_base',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+    });
+}
+/** Apply slippage bps to an expected output (ceil — never rounds below floor). */
+export function applySlippageFloor(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        'u64',
+        'u64'
+    ];
+    const parameterNames = ["expectedOut", "sigmaBps"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'price_adapter',
+        function: 'apply_slippage_floor',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+    });
+}
+/** SBBO floor when the sold token is the pool's BASE. */
+export function sbboFloorBaseToQuote(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        'u64',
+        'u64',
+        'u64'
+    ];
+    const parameterNames = ["sellAmount", "midPrice", "sigmaBps"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'price_adapter',
+        function: 'sbbo_floor_base_to_quote',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+    });
+}
+/** SBBO floor when the sold token is the pool's QUOTE. */
+export function sbboFloorQuoteToBase(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        'u64',
+        'u64',
+        'u64'
+    ];
+    const parameterNames = ["sellAmount", "midPrice", "sigmaBps"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'price_adapter',
+        function: 'sbbo_floor_quote_to_base',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+    });
+}
+/**
+ * Convert an amount of the numeraire-pool's BASE token into quote (numeraire)
+ * units.
+ */
+export function normalizeBaseToQuote(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        'u64',
+        'u64'
+    ];
+    const parameterNames = ["amount", "price"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'price_adapter',
+        function: 'normalize_base_to_quote',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+    });
+}
+/**
+ * Convert an amount of the numeraire-pool's QUOTE token into base (numeraire)
+ * units.
+ */
+export function normalizeQuoteToBase(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        'u64',
+        'u64'
+    ];
+    const parameterNames = ["amount", "price"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'price_adapter',
+        function: 'normalize_quote_to_base',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+    });
+}
+/** Read DeepBook mid price and assert it meets the configured minimum. */
+export function readMidPrice(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        null,
+        null,
+        '0x2::clock::Clock'
+    ];
+    const parameterNames = ["pool", "config"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'price_adapter',
+        function: 'read_mid_price',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+        typeArguments: options.typeArguments
+    });
+}
+//# sourceMappingURL=price_adapter.js.map

package/dist/generated/reiy/price_adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"price_adapter.js","sourceRoot":"","sources":["../../../src/generated/reiy/price_adapter.ts"],"names":[],"mappings":"AAAA;;gEAEgE;AAGhE,mEAAmE;AAEnE,OAAO,EAAoB,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,sBAAsB,EAA+B,MAAM,mBAAmB,CAAC;AAMxF,MAAM,UAAU,YAAY,CAAC,UAA+B,EAAE;IAC1D,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,eAAe;KAC5B,CAAC,CAAC;AACP,CAAC;AAYD,gEAAgE;AAChE,MAAM,UAAU,sBAAsB,CAAC,OAAsC;IACzE,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,KAAK;QACL,KAAK;KACoB,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IAClD,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,4BAA4B;QACtC,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;KACvF,CAAC,CAAC;AACP,CAAC;AAYD,iEAAiE;AACjE,MAAM,UAAU,sBAAsB,CAAC,OAAsC;IACzE,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,KAAK;QACL,KAAK;KACoB,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IACnD,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,4BAA4B;QACtC,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;KACvF,CAAC,CAAC;AACP,CAAC;AAYD,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,OAAkC;IACjE,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,KAAK;QACL,KAAK;KACoB,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IACnD,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,sBAAsB;QAChC,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;KACvF,CAAC,CAAC;AACP,CAAC;AAcD,yDAAyD;AACzD,MAAM,UAAU,oBAAoB,CAAC,OAAoC;IACrE,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,KAAK;QACL,KAAK;QACL,KAAK;KACoB,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,YAAY,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC9D,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,0BAA0B;QACpC,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;KACvF,CAAC,CAAC;AACP,CAAC;AAcD,0DAA0D;AAC1D,MAAM,UAAU,oBAAoB,CAAC,OAAoC;IACrE,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,KAAK;QACL,KAAK;QACL,KAAK;KACoB,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,YAAY,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC9D,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,0BAA0B;QACpC,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;KACvF,CAAC,CAAC;AACP,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAoC;IACrE,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,KAAK;QACL,KAAK;KACoB,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3C,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,yBAAyB;QACnC,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;KACvF,CAAC,CAAC;AACP,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAoC;IACrE,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,KAAK;QACL,KAAK;KACoB,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3C,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,yBAAyB;QACnC,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;KACvF,CAAC,CAAC;AACP,CAAC;AAgBD,0EAA0E;AAC1E,MAAM,UAAU,YAAY,CAAC,OAA4B;IACrD,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,IAAI;QACJ,IAAI;QACJ,mBAAmB;KACM,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1C,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,gBAAgB;QAC1B,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;QACpF,aAAa,EAAE,OAAO,CAAC,aAAa;KACvC,CAAC,CAAC;AACP,CAAC"}

package/dist/generated/reiy/settlement.d.ts

@@ -0,0 +1,167 @@
+/**************************************************************
+ * THIS FILE IS GENERATED AND SHOULD NOT BE MANUALLY MODIFIED *
+ **************************************************************/
+/**
+ * Intent settlement, EPSR verification, dual close, net-safe rewards, and fallback
+ * slashing.
+ */
+import { MoveStruct, type RawTransactionArgument } from '../utils/index.js';
+import { type Transaction } from '@mysten/sui/transactions';
+export declare const SettlementReceipt: MoveStruct<{
+    intent_id: import("@mysten/sui/bcs").BcsType<string, string | Uint8Array<ArrayBufferLike>, "bytes[32]">;
+    owner: import("@mysten/sui/bcs").BcsType<string, string | Uint8Array<ArrayBufferLike>, "bytes[32]">;
+    solver: import("@mysten/sui/bcs").BcsType<string, string | Uint8Array<ArrayBufferLike>, "bytes[32]">;
+    pair: MoveStruct<{
+        sell: MoveStruct<{
+            name: import("@mysten/sui/bcs").BcsType<string, string, "string">;
+        }, "std::type_name::TypeName">;
+        buy: MoveStruct<{
+            name: import("@mysten/sui/bcs").BcsType<string, string, "string">;
+        }, "std::type_name::TypeName">;
+    }, "@local-pkg/reiy::types::PairKey">;
+    m_eff: import("@mysten/sui/bcs").BcsType<string, string | number | bigint, "u64">;
+    floor: import("@mysten/sui/bcs").BcsType<string, string | number | bigint, "u64">;
+    sell_amount: import("@mysten/sui/bcs").BcsType<string, string | number | bigint, "u64">;
+}, "@local-pkg/reiy::settlement::SettlementReceipt<phantom Sell, phantom Buy>">;
+export interface TakeIntentFullArguments {
+    state: RawTransactionArgument<string>;
+    intent: RawTransactionArgument<string>;
+}
+export interface TakeIntentFullOptions {
+    package?: string;
+    arguments: TakeIntentFullArguments | [
+        state: RawTransactionArgument<string>,
+        intent: RawTransactionArgument<string>
+    ];
+    typeArguments: [
+        string,
+        string
+    ];
+}
+/**
+ * Take a fully-filled winning intent. Consumes the intent, hands the solver the
+ * locked sell asset, and returns a hot-potato receipt that MUST be consumed by a
+ * `settle_*` call in the same PTB.
+ */
+export declare function takeIntentFull(options: TakeIntentFullOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface TakeIntentPartialArguments {
+    state: RawTransactionArgument<string>;
+    intent: RawTransactionArgument<string>;
+    fillAmount: RawTransactionArgument<number | bigint>;
+}
+export interface TakeIntentPartialOptions {
+    package?: string;
+    arguments: TakeIntentPartialArguments | [
+        state: RawTransactionArgument<string>,
+        intent: RawTransactionArgument<string>,
+        fillAmount: RawTransactionArgument<number | bigint>
+    ];
+    typeArguments: [
+        string,
+        string
+    ];
+}
+/**
+ * Take a partially-filled winning intent. Splits `fill_amount` off the locked
+ * balance, advances the intent to the next epoch, and re-queues its residual so it
+ * re-enters the next batch.
+ */
+export declare function takeIntentPartial(options: TakeIntentPartialOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface SettleIntentNumeraireArguments {
+    state: RawTransactionArgument<string>;
+    registry: RawTransactionArgument<string>;
+    config: RawTransactionArgument<string>;
+    receipt: RawTransactionArgument<string>;
+    payout: RawTransactionArgument<string>;
+}
+export interface SettleIntentNumeraireOptions {
+    package?: string;
+    arguments: SettleIntentNumeraireArguments | [
+        state: RawTransactionArgument<string>,
+        registry: RawTransactionArgument<string>,
+        config: RawTransactionArgument<string>,
+        receipt: RawTransactionArgument<string>,
+        payout: RawTransactionArgument<string>
+    ];
+    typeArguments: [
+        string,
+        string
+    ];
+}
+/** Settle a winning intent whose BUY token IS the protocol numeraire. */
+export declare function settleIntentNumeraire(options: SettleIntentNumeraireOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface SettleIntentArguments {
+    state: RawTransactionArgument<string>;
+    registry: RawTransactionArgument<string>;
+    config: RawTransactionArgument<string>;
+    receipt: RawTransactionArgument<string>;
+    payout: RawTransactionArgument<string>;
+    numPool: RawTransactionArgument<string>;
+}
+export interface SettleIntentOptions {
+    package?: string;
+    arguments: SettleIntentArguments | [
+        state: RawTransactionArgument<string>,
+        registry: RawTransactionArgument<string>,
+        config: RawTransactionArgument<string>,
+        receipt: RawTransactionArgument<string>,
+        payout: RawTransactionArgument<string>,
+        numPool: RawTransactionArgument<string>
+    ];
+    typeArguments: [
+        string,
+        string,
+        string,
+        string
+    ];
+}
+/**
+ * Settle a winning intent, normalizing its surplus into numeraire units using the
+ * allowlisted `Buy/Numeraire` DeepBook pool.
+ */
+export declare function settleIntent(options: SettleIntentOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface CloseBatchArguments {
+    state: RawTransactionArgument<string>;
+    config: RawTransactionArgument<string>;
+    treasury: RawTransactionArgument<string>;
+    fee: RawTransactionArgument<string>;
+}
+export interface CloseBatchOptions {
+    package?: string;
+    arguments: CloseBatchArguments | [
+        state: RawTransactionArgument<string>,
+        config: RawTransactionArgument<string>,
+        treasury: RawTransactionArgument<string>,
+        fee: RawTransactionArgument<string>
+    ];
+    typeArguments: [
+        string
+    ];
+}
+/**
+ * Close the batch: dual verification (score + per-pair k), fee collection, and
+ * reward distribution. All winning intents must be settled before calling.
+ */
+export declare function closeBatch(options: CloseBatchOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+export interface TriggerFallbackArguments {
+    state: RawTransactionArgument<string>;
+    registry: RawTransactionArgument<string>;
+    config: RawTransactionArgument<string>;
+}
+export interface TriggerFallbackOptions {
+    package?: string;
+    arguments: TriggerFallbackArguments | [
+        state: RawTransactionArgument<string>,
+        registry: RawTransactionArgument<string>,
+        config: RawTransactionArgument<string>
+    ];
+}
+/**
+ * Permissionless fallback after the settlement deadline. A solver is slashed only
+ * for intents that were still settleable (not expired) yet left unsettled — i.e.
+ * genuine solver fault. Intents that expired before settlement are neither slashed
+ * nor re-queued; the owner reclaims them via cancel. Still-valid unsettled intents
+ * are re-queued for the next epoch. The epoch moves to Failed.
+ */
+export declare function triggerFallback(options: TriggerFallbackOptions): (tx: Transaction) => import("@mysten/sui/transactions").TransactionResult;
+//# sourceMappingURL=settlement.d.ts.map

package/dist/generated/reiy/settlement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"settlement.d.ts","sourceRoot":"","sources":["../../../src/generated/reiy/settlement.ts"],"names":[],"mappings":"AAAA;;gEAEgE;AAGhE;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAA0B,KAAK,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAEpG,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAG5D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;+EAQtB,CAAC;AACT,MAAM,WAAW,uBAAuB;IACpC,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;CAC1C;AACD,MAAM,WAAW,qBAAqB;IAClC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,uBAAuB,GAAG;QACjC,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACrC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC;KACzC,CAAC;IACF,aAAa,EAAE;QACX,MAAM;QACN,MAAM;KACT,CAAC;CACL;AACD;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,qBAAqB,IAQjD,IAAI,WAAW,0DAO1B;AACD,MAAM,WAAW,0BAA0B;IACvC,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACvC,UAAU,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;CACvD;AACD,MAAM,WAAW,wBAAwB;IACrC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,0BAA0B,GAAG;QACpC,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACrC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACtC,UAAU,EAAE,sBAAsB,CAAC,MAAM,GAAG,MAAM,CAAC;KACtD,CAAC;IACF,aAAa,EAAE;QACX,MAAM;QACN,MAAM;KACT,CAAC;CACL;AACD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,wBAAwB,IASvD,IAAI,WAAW,0DAO1B;AACD,MAAM,WAAW,8BAA8B;IAC3C,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;CAC1C;AACD,MAAM,WAAW,4BAA4B;IACzC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,8BAA8B,GAAG;QACxC,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACrC,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACxC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACtC,OAAO,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACvC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC;KACzC,CAAC;IACF,aAAa,EAAE;QACX,MAAM;QACN,MAAM;KACT,CAAC;CACL;AACD,yEAAyE;AACzE,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,4BAA4B,IAU/D,IAAI,WAAW,0DAO1B;AACD,MAAM,WAAW,qBAAqB;IAClC,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;CAC3C;AACD,MAAM,WAAW,mBAAmB;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,qBAAqB,GAAG;QAC/B,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACrC,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACxC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACtC,OAAO,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACvC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACtC,OAAO,EAAE,sBAAsB,CAAC,MAAM,CAAC;KAC1C,CAAC;IACF,aAAa,EAAE;QACX,MAAM;QACN,MAAM;QACN,MAAM;QACN,MAAM;KACT,CAAC;CACL;AACD;;;GAGG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,mBAAmB,IAY7C,IAAI,WAAW,0DAO1B;AACD,MAAM,WAAW,mBAAmB;IAChC,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACzC,GAAG,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;CACvC;AACD,MAAM,WAAW,iBAAiB;IAC9B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,mBAAmB,GAAG;QAC7B,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACrC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACtC,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACxC,GAAG,EAAE,sBAAsB,CAAC,MAAM,CAAC;KACtC,CAAC;IACF,aAAa,EAAE;QACX,MAAM;KACT,CAAC;CACL;AACD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,iBAAiB,IAUzC,IAAI,WAAW,0DAO1B;AACD,MAAM,WAAW,wBAAwB;IACrC,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;CAC1C;AACD,MAAM,WAAW,sBAAsB;IACnC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,wBAAwB,GAAG;QAClC,KAAK,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACrC,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC;QACxC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC;KACzC,CAAC;CACL;AACD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,sBAAsB,IASnD,IAAI,WAAW,0DAM1B"}

package/dist/generated/reiy/settlement.js

@@ -0,0 +1,153 @@
+/**************************************************************
+ * THIS FILE IS GENERATED AND SHOULD NOT BE MANUALLY MODIFIED *
+ **************************************************************/
+/**
+ * Intent settlement, EPSR verification, dual close, net-safe rewards, and fallback
+ * slashing.
+ */
+import { MoveStruct, normalizeMoveArguments } from '../utils/index.js';
+import { bcs } from '@mysten/sui/bcs';
+import {} from '@mysten/sui/transactions';
+import * as types from './types.js';
+const $moduleName = '@local-pkg/reiy::settlement';
+export const SettlementReceipt = new MoveStruct({ name: `${$moduleName}::SettlementReceipt<phantom Sell, phantom Buy>`, fields: {
+        intent_id: bcs.Address,
+        owner: bcs.Address,
+        solver: bcs.Address,
+        pair: types.PairKey,
+        m_eff: bcs.u64(),
+        floor: bcs.u64(),
+        sell_amount: bcs.u64()
+    } });
+/**
+ * Take a fully-filled winning intent. Consumes the intent, hands the solver the
+ * locked sell asset, and returns a hot-potato receipt that MUST be consumed by a
+ * `settle_*` call in the same PTB.
+ */
+export function takeIntentFull(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        null,
+        null,
+        '0x2::clock::Clock'
+    ];
+    const parameterNames = ["state", "intent"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'settlement',
+        function: 'take_intent_full',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+        typeArguments: options.typeArguments
+    });
+}
+/**
+ * Take a partially-filled winning intent. Splits `fill_amount` off the locked
+ * balance, advances the intent to the next epoch, and re-queues its residual so it
+ * re-enters the next batch.
+ */
+export function takeIntentPartial(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        null,
+        null,
+        'u64',
+        '0x2::clock::Clock'
+    ];
+    const parameterNames = ["state", "intent", "fillAmount"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'settlement',
+        function: 'take_intent_partial',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+        typeArguments: options.typeArguments
+    });
+}
+/** Settle a winning intent whose BUY token IS the protocol numeraire. */
+export function settleIntentNumeraire(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        null,
+        null,
+        null,
+        null,
+        null
+    ];
+    const parameterNames = ["state", "registry", "config", "receipt", "payout"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'settlement',
+        function: 'settle_intent_numeraire',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+        typeArguments: options.typeArguments
+    });
+}
+/**
+ * Settle a winning intent, normalizing its surplus into numeraire units using the
+ * allowlisted `Buy/Numeraire` DeepBook pool.
+ */
+export function settleIntent(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        null,
+        null,
+        null,
+        null,
+        null,
+        null,
+        '0x2::clock::Clock'
+    ];
+    const parameterNames = ["state", "registry", "config", "receipt", "payout", "numPool"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'settlement',
+        function: 'settle_intent',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+        typeArguments: options.typeArguments
+    });
+}
+/**
+ * Close the batch: dual verification (score + per-pair k), fee collection, and
+ * reward distribution. All winning intents must be settled before calling.
+ */
+export function closeBatch(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        null,
+        null,
+        null,
+        null,
+        '0x2::clock::Clock'
+    ];
+    const parameterNames = ["state", "config", "treasury", "fee"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'settlement',
+        function: 'close_batch',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+        typeArguments: options.typeArguments
+    });
+}
+/**
+ * Permissionless fallback after the settlement deadline. A solver is slashed only
+ * for intents that were still settleable (not expired) yet left unsettled — i.e.
+ * genuine solver fault. Intents that expired before settlement are neither slashed
+ * nor re-queued; the owner reclaims them via cancel. Still-valid unsettled intents
+ * are re-queued for the next epoch. The epoch moves to Failed.
+ */
+export function triggerFallback(options) {
+    const packageAddress = options.package ?? '@local-pkg/reiy';
+    const argumentsTypes = [
+        null,
+        null,
+        null,
+        '0x2::clock::Clock'
+    ];
+    const parameterNames = ["state", "registry", "config"];
+    return (tx) => tx.moveCall({
+        package: packageAddress,
+        module: 'settlement',
+        function: 'trigger_fallback',
+        arguments: normalizeMoveArguments(options.arguments, argumentsTypes, parameterNames),
+    });
+}
+//# sourceMappingURL=settlement.js.map

package/dist/generated/reiy/settlement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"settlement.js","sourceRoot":"","sources":["../../../src/generated/reiy/settlement.ts"],"names":[],"mappings":"AAAA;;gEAEgE;AAGhE;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAA+B,MAAM,mBAAmB,CAAC;AACpG,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAoB,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,MAAM,WAAW,GAAG,6BAA6B,CAAC;AAClD,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,GAAG,WAAW,gDAAgD,EAAE,MAAM,EAAE;QACxH,SAAS,EAAE,GAAG,CAAC,OAAO;QACtB,KAAK,EAAE,GAAG,CAAC,OAAO;QAClB,MAAM,EAAE,GAAG,CAAC,OAAO;QACnB,IAAI,EAAE,KAAK,CAAC,OAAO;QACnB,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE;QAChB,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE;QAChB,WAAW,EAAE,GAAG,CAAC,GAAG,EAAE;KACzB,EAAE,CAAC,CAAC;AAgBT;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,OAA8B;IACzD,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,IAAI;QACJ,IAAI;QACJ,mBAAmB;KACM,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3C,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,kBAAkB;QAC5B,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;QACpF,aAAa,EAAE,OAAO,CAAC,aAAa;KACvC,CAAC,CAAC;AACP,CAAC;AAkBD;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAiC;IAC/D,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,IAAI;QACJ,IAAI;QACJ,KAAK;QACL,mBAAmB;KACM,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IACzD,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,qBAAqB;QAC/B,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;QACpF,aAAa,EAAE,OAAO,CAAC,aAAa;KACvC,CAAC,CAAC;AACP,CAAC;AAsBD,yEAAyE;AACzE,MAAM,UAAU,qBAAqB,CAAC,OAAqC;IACvE,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,IAAI;QACJ,IAAI;QACJ,IAAI;QACJ,IAAI;QACJ,IAAI;KACqB,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC5E,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,yBAAyB;QACnC,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;QACpF,aAAa,EAAE,OAAO,CAAC,aAAa;KACvC,CAAC,CAAC;AACP,CAAC;AA0BD;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,OAA4B;IACrD,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,IAAI;QACJ,IAAI;QACJ,IAAI;QACJ,IAAI;QACJ,IAAI;QACJ,IAAI;QACJ,mBAAmB;KACM,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IACvF,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;QACpF,aAAa,EAAE,OAAO,CAAC,aAAa;KACvC,CAAC,CAAC;AACP,CAAC;AAmBD;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,OAA0B;IACjD,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,IAAI;QACJ,IAAI;QACJ,IAAI;QACJ,IAAI;QACJ,mBAAmB;KACM,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAC9D,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,aAAa;QACvB,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;QACpF,aAAa,EAAE,OAAO,CAAC,aAAa;KACvC,CAAC,CAAC;AACP,CAAC;AAcD;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,OAA+B;IAC3D,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC;IAC5D,MAAM,cAAc,GAAG;QACnB,IAAI;QACJ,IAAI;QACJ,IAAI;QACJ,mBAAmB;KACM,CAAC;IAC9B,MAAM,cAAc,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IACvD,OAAO,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,kBAAkB;QAC5B,SAAS,EAAE,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC;KACvF,CAAC,CAAC;AACP,CAAC"}