@the-situation/starknet 0.5.0-alpha.0

package/dist/contracts/amm-types.d.ts

@@ -0,0 +1,319 @@
+/**
+ * Type definitions for AMM contract interactions.
+ *
+ * @module
+ */
+import type { NormalSqrtHintsRaw } from '@the-situation/abi';
+import { NormalDistribution, SQ128x128, type SQ128x128Raw } from '@the-situation/core';
+/**
+ * Parsed AMM parameters with SQ128x128 values.
+ */
+export interface AmmParams {
+    readonly k: SQ128x128;
+    readonly backing: SQ128x128;
+    readonly tolerance: SQ128x128;
+    readonly minTradeCollateral: SQ128x128;
+}
+/**
+ * Parsed market status.
+ */
+export interface MarketStatus {
+    readonly isInitialized: boolean;
+    readonly isPaused: boolean;
+    readonly isSettled: boolean;
+    readonly settlementValue: SQ128x128 | null;
+}
+/**
+ * Parsed AMM configuration.
+ */
+export interface AmmConfig {
+    readonly collateralToken: string;
+    readonly tokenDecimals: number;
+    readonly internalDecimals: number;
+    readonly decimalShift: number;
+    readonly params: AmmParams;
+}
+/**
+ * Parsed position data.
+ */
+export interface Position {
+    readonly distribution: NormalDistribution;
+    readonly collateralLocked: SQ128x128;
+    readonly exists: boolean;
+}
+/**
+ * Compact position information with original distribution.
+ *
+ * Contains the trader's original distribution (the market state before their first trade)
+ * plus position flags. Used for close_position operations.
+ */
+export interface PositionCompact {
+    /** Original mean when trader first entered */
+    readonly originalMean: SQ128x128;
+    /** Original variance when trader first entered */
+    readonly originalVariance: SQ128x128;
+    /** Original sigma when trader first entered */
+    readonly originalSigma: SQ128x128;
+    /** Whether the trader has ever traded in this market */
+    readonly exists: boolean;
+    /** Whether the position has been claimed after market settlement */
+    readonly claimed: boolean;
+    /** Whether the trader closed their position before market settlement */
+    readonly earlySettled: boolean;
+}
+/**
+ * Parsed LP pool information.
+ */
+export interface LPInfo {
+    readonly totalShares: SQ128x128;
+    readonly totalBackingDeposited: SQ128x128;
+}
+/**
+ * Fee configuration (in basis points).
+ */
+export interface FeeConfig {
+    readonly lpFeeBps: number;
+    readonly protocolFeeBps: number;
+    readonly settlementFeeBps: number;
+}
+/**
+ * Trade parameters for check_trade and execute_trade.
+ */
+export interface TradeParams {
+    /** Candidate distribution mean */
+    readonly candidateMean: SQ128x128Raw;
+    /** Candidate distribution variance */
+    readonly candidateVariance: SQ128x128Raw;
+    /** Candidate distribution sigma (sqrt of variance) */
+    readonly candidateSigma: SQ128x128Raw;
+    /** x* value for collateral computation */
+    readonly xStar: SQ128x128Raw;
+    /** Collateral supplied by trader */
+    readonly suppliedCollateral: SQ128x128Raw;
+    /** Precomputed sqrt hints */
+    readonly hints: NormalSqrtHintsRaw;
+}
+/**
+ * Parsed backing check result.
+ */
+export interface BackingCheck {
+    readonly maxValueUpper: SQ128x128;
+    readonly isValid: boolean;
+    readonly computationSucceeded: boolean;
+}
+/**
+ * Parsed collateral verification result.
+ */
+export interface CollateralVerification {
+    readonly sideValid: boolean;
+    readonly stationaryValid: boolean;
+    readonly curvatureValid: boolean;
+    readonly computedCollateral: SQ128x128;
+    readonly collateralSufficient: boolean;
+    readonly computationValid: boolean;
+}
+/**
+ * Parsed trade check result.
+ */
+export interface TradeCheck {
+    readonly backingCheck: BackingCheck;
+    readonly verification: CollateralVerification;
+    readonly minTradeCollateral: SQ128x128;
+    readonly collateralAboveMin: boolean;
+    readonly isValid: boolean;
+}
+/**
+ * Parsed trade execution result.
+ */
+export interface TradeExecution {
+    readonly check: TradeCheck;
+    readonly tokenAmount: bigint;
+    readonly deltaIndex: number;
+}
+/**
+ * Result of execute_trade with clear success/rejection semantics.
+ *
+ * **IMPORTANT (v0.4.0 change):** The contract NOW REVERTS on invalid trades.
+ * This type is returned only for SUCCESSFUL trades. For rejected trades,
+ * the transaction will throw with one of these error messages:
+ * - `'INVALID_DISTRIBUTION'` - candidate distribution is invalid (negative variance, sigma mismatch)
+ * - `'INVALID_HINTS'` - sqrt hints computation failed
+ * - `'BACKING_CONSTRAINT_FAILED'` - trade violates backing invariant
+ * - `'INSUFFICIENT_COLLATERAL'` - collateral below required amount
+ * - `'VERIFICATION_FAILED'` - collateral verification failed
+ *
+ * Use MathLibrary.check_trade_view() to preview trade validity before executing.
+ *
+ * @example
+ * ```typescript
+ * try {
+ *   const result = await amm.execute_trade(...);
+ *   // Trade succeeded - result.success is always true here
+ * } catch (error) {
+ *   // Trade rejected - parse error message for rejection reason
+ *   console.log('Trade rejected:', error.message);
+ * }
+ * ```
+ */
+export interface TradeResult {
+    /** Always true if returned (v0.4.0+ reverts on failure) */
+    readonly success: true;
+    /** The trade execution details */
+    readonly execution: TradeExecution;
+}
+/**
+ * Details about why a trade was rejected.
+ *
+ * Populated when `TradeResult.success` is false.
+ */
+export interface TradeRejectionInfo {
+    /** Human-readable reason for rejection */
+    readonly reason: string;
+    /** The trade check that failed */
+    readonly check: TradeCheck;
+}
+/**
+ * Determines the reason for trade rejection from a TradeCheck.
+ */
+export declare function getTradeRejectionReason(check: TradeCheck): string;
+/**
+ * Settlement state of a position.
+ *
+ * Provides clear semantics for position lifecycle:
+ * - `never_traded`: Trader has never participated in this market
+ * - `active`: Trader has an open position (net deltas != 0)
+ * - `flat`: Trader has traded but net position is zero (not yet settled)
+ * - `early_settled`: Trader called close_position() before market settlement
+ * - `claimed`: Trader called claim() after market settlement
+ */
+export type SettlementState = 'never_traded' | 'active' | 'flat' | 'early_settled' | 'claimed';
+/**
+ * Extended position information with settlement state.
+ */
+export interface PositionExtended {
+    /** Number of position deltas (cumulative, only increases) */
+    readonly deltaCount: number;
+    /** Total collateral locked across all deltas */
+    readonly totalCollateralLocked: SQ128x128;
+    /** Whether the position has been claimed after market settlement */
+    readonly claimed: boolean;
+    /** Whether the trader closed their position before market settlement */
+    readonly earlySettled: boolean;
+    /** Whether the trader has ever traded in this market */
+    readonly exists: boolean;
+    /** Computed settlement state */
+    readonly settlementState: SettlementState;
+}
+/**
+ * Reason for close position rejection.
+ */
+export declare enum CloseRejection {
+    None = "None",
+    NoPosition = "NoPosition",
+    MarketSettled = "MarketSettled",
+    MarketPaused = "MarketPaused",
+    AlreadyClosed = "AlreadyClosed",
+    AlreadyClaimed = "AlreadyClaimed",
+    InvalidAdditionalCollateral = "InvalidAdditionalCollateral",
+    InvalidPositionState = "InvalidPositionState",
+    InvalidHints = "InvalidHints",
+    BackingFail = "BackingFail",
+    LowCollateral = "LowCollateral",
+    VerificationFailed = "VerificationFailed",
+    CollateralTooLarge = "CollateralTooLarge",
+    InvalidState = "InvalidState"
+}
+/**
+ * Parsed close position preview.
+ */
+export interface ClosePreview {
+    readonly effectiveDistribution: NormalDistribution;
+    readonly targetDistribution: NormalDistribution;
+    readonly marketDistribution: NormalDistribution;
+    readonly wouldBeFlat: boolean;
+    readonly collateralRequired: SQ128x128;
+    readonly existingCollateral: SQ128x128;
+    readonly additionalRequired: SQ128x128;
+    readonly estimatedPayout: bigint;
+    readonly lpFee: bigint;
+    readonly protocolFee: bigint;
+    readonly canClose: boolean;
+    readonly rejectionReason: CloseRejection;
+}
+/**
+ * Parsed position close result.
+ */
+export interface PositionCloseResult {
+    readonly tradeExecuted: boolean;
+    readonly tradeResult: TradeExecution | null;
+    readonly isFlat: boolean;
+    readonly immediatePayout: bigint;
+    readonly collateralRequired: SQ128x128;
+    readonly existingCollateral: SQ128x128;
+    readonly additionalRequired: SQ128x128;
+    readonly netAdditionalCollateral: SQ128x128;
+    readonly lpFee: bigint;
+    readonly protocolFee: bigint;
+    readonly rejectionReason: CloseRejection;
+}
+/**
+ * Parameters for closing a position.
+ */
+export interface ClosePositionParams {
+    /** x* value for collateral computation */
+    readonly xStar: SQ128x128Raw;
+    /** Additional collateral to supply (if needed) */
+    readonly additionalCollateral: SQ128x128Raw;
+    /** Precomputed hints for target distribution */
+    readonly targetHints: NormalSqrtHintsRaw;
+}
+/**
+ * Raw call points from contract (snake_case).
+ */
+export interface CallPointsRaw {
+    readonly before_initialize: boolean;
+    readonly after_initialize: boolean;
+    readonly before_trade: boolean;
+    readonly after_trade: boolean;
+    readonly before_add_liquidity: boolean;
+    readonly after_add_liquidity: boolean;
+    readonly before_remove_liquidity: boolean;
+    readonly after_remove_liquidity: boolean;
+    readonly before_claim: boolean;
+    readonly after_claim: boolean;
+    readonly before_settle: boolean;
+    readonly after_settle: boolean;
+}
+/**
+ * Parsed call points for an extension (camelCase).
+ *
+ * Each flag indicates whether the extension has registered to receive
+ * the corresponding hook callback from the AMM.
+ */
+export interface CallPointsResult {
+    /** Called before market initialization */
+    readonly beforeInitialize: boolean;
+    /** Called after market initialization */
+    readonly afterInitialize: boolean;
+    /** Called before each trade execution */
+    readonly beforeTrade: boolean;
+    /** Called after each trade execution */
+    readonly afterTrade: boolean;
+    /** Called before liquidity is added */
+    readonly beforeAddLiquidity: boolean;
+    /** Called after liquidity is added */
+    readonly afterAddLiquidity: boolean;
+    /** Called before liquidity is removed */
+    readonly beforeRemoveLiquidity: boolean;
+    /** Called after liquidity is removed */
+    readonly afterRemoveLiquidity: boolean;
+    /** Called before a position is claimed */
+    readonly beforeClaim: boolean;
+    /** Called after a position is claimed */
+    readonly afterClaim: boolean;
+    /** Called before market settlement */
+    readonly beforeSettle: boolean;
+    /** Called after market settlement */
+    readonly afterSettle: boolean;
+}
+//# sourceMappingURL=amm-types.d.ts.map

package/dist/contracts/amm-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"amm-types.d.ts","sourceRoot":"","sources":["../../src/contracts/amm-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,KAAK,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAMvF;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC;CACxC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,SAAS,GAAG,IAAI,CAAC;CAC5C;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,8CAA8C;IAC9C,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC;IACjC,kDAAkD;IAClD,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAC;IACrC,+CAA+C;IAC/C,QAAQ,CAAC,aAAa,EAAE,SAAS,CAAC;IAClC,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;IAChC,QAAQ,CAAC,qBAAqB,EAAE,SAAS,CAAC;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAMD;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,kCAAkC;IAClC,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC;IACrC,sCAAsC;IACtC,QAAQ,CAAC,iBAAiB,EAAE,YAAY,CAAC;IACzC,sDAAsD;IACtD,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC;IACtC,0CAA0C;IAC1C,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,YAAY,CAAC;IAC1C,6BAA6B;IAC7B,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,aAAa,EAAE,SAAS,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC;IACvC,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,sBAAsB,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,WAAW,WAAW;IAC1B,2DAA2D;IAC3D,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;CACpC;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,0CAA0C;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kCAAkC;IAClC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CA0BjE;AAMD;;;;;;;;;GASG;AACH,MAAM,MAAM,eAAe,GACvB,cAAc,GACd,QAAQ,GACR,MAAM,GACN,eAAe,GACf,SAAS,CAAC;AAEd;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6DAA6D;IAC7D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,gDAAgD;IAChD,QAAQ,CAAC,qBAAqB,EAAE,SAAS,CAAC;IAC1C,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,gCAAgC;IAChC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;CAC3C;AAMD;;GAEG;AACH,oBAAY,cAAc;IACxB,IAAI,SAAS;IACb,UAAU,eAAe;IACzB,aAAa,kBAAkB;IAC/B,YAAY,iBAAiB;IAC7B,aAAa,kBAAkB;IAC/B,cAAc,mBAAmB;IACjC,2BAA2B,gCAAgC;IAC3D,oBAAoB,yBAAyB;IAC7C,YAAY,iBAAiB;IAC7B,WAAW,gBAAgB;IAC3B,aAAa,kBAAkB;IAC/B,kBAAkB,uBAAuB;IACzC,kBAAkB,uBAAuB;IACzC,YAAY,iBAAiB;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;IACnD,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAChD,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAChD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,cAAc,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,cAAc,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,CAAC;IACvC,QAAQ,CAAC,uBAAuB,EAAE,SAAS,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,eAAe,EAAE,cAAc,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,0CAA0C;IAC1C,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,oBAAoB,EAAE,YAAY,CAAC;IAC5C,gDAAgD;IAChD,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;CAC1C;AAMD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;CAChC;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,0CAA0C;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,yCAAyC;IACzC,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,yCAAyC;IACzC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,wCAAwC;IACxC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,uCAAuC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,sCAAsC;IACtC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,yCAAyC;IACzC,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,wCAAwC;IACxC,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,0CAA0C;IAC1C,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,yCAAyC;IACzC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,sCAAsC;IACtC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,qCAAqC;IACrC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B"}

package/dist/contracts/amm-types.js

@@ -0,0 +1,59 @@
+/**
+ * Type definitions for AMM contract interactions.
+ *
+ * @module
+ */
+/**
+ * Determines the reason for trade rejection from a TradeCheck.
+ */
+export function getTradeRejectionReason(check) {
+    if (!check.backingCheck.computationSucceeded) {
+        return 'Backing computation failed';
+    }
+    if (!check.backingCheck.isValid) {
+        return 'Backing constraint violated';
+    }
+    if (!check.verification.computationValid) {
+        return 'Collateral verification computation failed';
+    }
+    if (!check.verification.sideValid) {
+        return 'Side constraint violated (position direction)';
+    }
+    if (!check.verification.stationaryValid) {
+        return 'Stationary constraint violated';
+    }
+    if (!check.verification.curvatureValid) {
+        return 'Curvature constraint violated';
+    }
+    if (!check.verification.collateralSufficient) {
+        return 'Insufficient collateral supplied';
+    }
+    if (!check.collateralAboveMin) {
+        return 'Collateral below minimum trade amount';
+    }
+    return 'Unknown rejection reason';
+}
+// ============================================================================
+// Close Position Types (v0.1.4)
+// ============================================================================
+/**
+ * Reason for close position rejection.
+ */
+export var CloseRejection;
+(function (CloseRejection) {
+    CloseRejection["None"] = "None";
+    CloseRejection["NoPosition"] = "NoPosition";
+    CloseRejection["MarketSettled"] = "MarketSettled";
+    CloseRejection["MarketPaused"] = "MarketPaused";
+    CloseRejection["AlreadyClosed"] = "AlreadyClosed";
+    CloseRejection["AlreadyClaimed"] = "AlreadyClaimed";
+    CloseRejection["InvalidAdditionalCollateral"] = "InvalidAdditionalCollateral";
+    CloseRejection["InvalidPositionState"] = "InvalidPositionState";
+    CloseRejection["InvalidHints"] = "InvalidHints";
+    CloseRejection["BackingFail"] = "BackingFail";
+    CloseRejection["LowCollateral"] = "LowCollateral";
+    CloseRejection["VerificationFailed"] = "VerificationFailed";
+    CloseRejection["CollateralTooLarge"] = "CollateralTooLarge";
+    CloseRejection["InvalidState"] = "InvalidState";
+})(CloseRejection || (CloseRejection = {}));
+//# sourceMappingURL=amm-types.js.map

package/dist/contracts/amm-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"amm-types.js","sourceRoot":"","sources":["../../src/contracts/amm-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAsMH;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAiB;IACvD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,oBAAoB,EAAE,CAAC;QAC7C,OAAO,4BAA4B,CAAC;IACtC,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;QAChC,OAAO,6BAA6B,CAAC;IACvC,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,gBAAgB,EAAE,CAAC;QACzC,OAAO,4CAA4C,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;QAClC,OAAO,+CAA+C,CAAC;IACzD,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,EAAE,CAAC;QACxC,OAAO,gCAAgC,CAAC;IAC1C,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC;QACvC,OAAO,+BAA+B,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,oBAAoB,EAAE,CAAC;QAC7C,OAAO,kCAAkC,CAAC;IAC5C,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC9B,OAAO,uCAAuC,CAAC;IACjD,CAAC;IACD,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAyCD,+EAA+E;AAC/E,gCAAgC;AAChC,+EAA+E;AAE/E;;GAEG;AACH,MAAM,CAAN,IAAY,cAeX;AAfD,WAAY,cAAc;IACxB,+BAAa,CAAA;IACb,2CAAyB,CAAA;IACzB,iDAA+B,CAAA;IAC/B,+CAA6B,CAAA;IAC7B,iDAA+B,CAAA;IAC/B,mDAAiC,CAAA;IACjC,6EAA2D,CAAA;IAC3D,+DAA6C,CAAA;IAC7C,+CAA6B,CAAA;IAC7B,6CAA2B,CAAA;IAC3B,iDAA+B,CAAA;IAC/B,2DAAyC,CAAA;IACzC,2DAAyC,CAAA;IACzC,+CAA6B,CAAA;AAC/B,CAAC,EAfW,cAAc,KAAd,cAAc,QAezB"}