@aegis-engine/core 0.3.0 → 0.4.0

package/dist/engine/index.d.ts

@@ -5,3 +5,4 @@ export * from './registry.js';
 export * from './reads.js';
 export * from './quotes.js';
 export * from './actions.js';
+export * from './positionAmounts.js';

package/dist/engine/positionAmounts.d.ts

@@ -0,0 +1,37 @@
+/** Conservative cap to size a withdrawal preview against. */
+export declare function enginePreviewMaxLtvPips(marketMaxLtvPips: number): number;
+export type AegisEngineIdleWithdrawSide = 'token0' | 'token1';
+export type AegisEngineIdleWithdrawAmountInput = {
+    /** Same-frame live idle token amounts. */
+    idle0: bigint;
+    idle1: bigint;
+    /**
+     * Same-frame accrued debt in L units, rounded up by position hydration.
+     * Using the rounded-up value makes this preview no less conservative than
+     * the Engine's exact rL × borrow-index residual check.
+     */
+    debtLLatest: bigint;
+    maxLtvPips: number;
+    side: AegisEngineIdleWithdrawSide;
+};
+/**
+ * Mirrors the idle-only residual-LTV inequality used by the Engine lifecycle
+ * quote. Engine idle balances are int128-packed, so their product fits uint256
+ * and `floor(sqrt(idle0 × idle1)) >= requiredFloor` is exactly equivalent to
+ * `idle0 × idle1 >= requiredFloor²`.
+ */
+export declare function engineIdleWithdrawPassesResidualLtv(input: AegisEngineIdleWithdrawAmountInput): boolean;
+/**
+ * Maximum independently withdrawable idle amount for one selected token.
+ * The opposite token remains untouched. This is a conservative preview; the
+ * exact amount is always re-quoted from a fresh block before submission.
+ */
+export declare function computeEngineMaxIdleWithdraw(input: AegisEngineIdleWithdrawAmountInput): bigint;
+/**
+ * Projected idle-only LTV after one exact withdrawal. Returns null for a
+ * debt-free vault or an invalid/zero-collateral post-state. The exact action
+ * remains quote-driven; this is display math over the same hydrated frame.
+ */
+export declare function computeEngineIdleWithdrawPostLtvPips(input: AegisEngineIdleWithdrawAmountInput & {
+    withdrawAmount: bigint;
+}): number | null;

package/dist/engine/quotes.d.ts

@@ -1,6 +1,7 @@
-import type { AegisEngineBorrowCapacity, AegisEngineBorrowCapacityInput, AegisEngineBorrowQuote, AegisEngineBorrowQuoteInput, AegisEngineCloseQuoteInput, AegisEngineDepositQuote, AegisEngineDepositQuoteInput, AegisEngineIdleWithdrawQuoteInput, AegisEnginePositionActionQuote, AegisEngineRedeemQuoteInput, AegisEngineRepayQuoteInput } from './types.js';
+import type { AegisEngineBorrowCapacity, AegisEngineBorrowCapacityInput, AegisEngineBorrowQuote, AegisEngineBorrowQuoteInput, AegisEngineAddCollateralQuoteInput, AegisEngineCloseQuoteInput, AegisEngineDepositQuote, AegisEngineDepositQuoteInput, AegisEngineIdleWithdrawQuoteInput, AegisEnginePositionActionQuote, AegisEngineRedeemQuoteInput, AegisEngineRepayQuoteInput } from './types.js';
 export declare function quoteEngineDeposit(input: AegisEngineDepositQuoteInput): Promise<AegisEngineDepositQuote>;
 export declare function quoteEngineBorrow(input: AegisEngineBorrowQuoteInput): Promise<AegisEngineBorrowQuote>;
+export declare function quoteEngineAddCollateral(input: AegisEngineAddCollateralQuoteInput): Promise<AegisEnginePositionActionQuote>;
 export declare function quoteEngineBorrowCapacity(input: AegisEngineBorrowCapacityInput): Promise<AegisEngineBorrowCapacity>;
 export declare function quoteEngineRepay(input: AegisEngineRepayQuoteInput): Promise<AegisEnginePositionActionQuote>;
 export declare function quoteEngineCloseVault(input: AegisEngineCloseQuoteInput): Promise<AegisEnginePositionActionQuote>;

package/dist/engine/reads.d.ts

@@ -9,6 +9,8 @@ export declare function readEngineMarketSnapshot(input: AegisEngineMarketReadInp
 export declare function readEngineBorrowQuoteContext(input: AegisEngineMarketReadInput, execution?: {
     owner: Address;
     vaultId?: bigint;
+}, options?: {
+    forceRefresh?: boolean;
 }): Promise<AegisEngineBorrowQuoteContext>;
 /**
  * Hydrates REST/subgraph-discovered borrow and lender positions in one

package/dist/engine/types.d.ts

@@ -430,7 +430,7 @@ export type AegisEngineReadFrame = {
     /** Local wall-clock time when the frame was assembled, in Unix milliseconds. */
     observedAt: number;
 };
-export type AegisEngineVersion = 'v0.4.0' | 'v1.0.2';
+export type AegisEngineVersion = 'v0.4.0' | 'v1.0.2' | 'v1.0.3';
 export type AegisEngineBorrowMarketContext = {
     poolId: Hex;
     poolKey: AegisEngineMarket['poolKey'];
@@ -681,7 +681,7 @@ export type AegisEngineBorrowQuote = {
     costProjection: AegisEngineBorrowCostProjection;
     tx: AegisEnginePreparedTransaction | null;
 };
-export type AegisEnginePositionActionKind = 'repay' | 'close' | 'withdraw' | 'redeem';
+export type AegisEnginePositionActionKind = 'add-collateral' | 'repay' | 'close' | 'withdraw' | 'redeem';
 export type AegisEngineBorrowPositionTarget = {
     kind: 'borrow_vault';
     positionId: string;
@@ -749,8 +749,9 @@ export type AegisEnginePositionActionQuote = {
     shareBalance: bigint | null;
     postShareBalance: bigint | null;
     /**
-     * Live, block-pinned lend exit capacity. Present only for redeem quotes
-     * requested with `shares: "available"`.
+     * Live, block-pinned lend exit amount. Present only for redeem quotes
+     * requested with `shares: "available"`. An authorization-gated amount is
+     * re-quoted against the SDK's synchronized Router preflight after approval.
      */
     redeemAvailability?: {
         /** Whether the live frame can return the whole position or only part. */
@@ -780,6 +781,14 @@ export type AegisEngineRepayQuoteInput = AegisEnginePositionActionQuoteBase & {
     repayRl?: bigint | 'full';
     slippageBps: number;
 };
+export type AegisEngineAddCollateralQuoteInput = AegisEngineQuoteBase & {
+    target: AegisEngineBorrowPositionTarget;
+    /** Live existing-vault state. Add collateral never opens a fresh vault. */
+    vault: AegisEngineBorrowVaultContext;
+    collateralIn: bigint;
+    /** Bypass the short read cache after an authorization transaction lands. */
+    forceExecutionEvidenceRefresh?: boolean;
+};
 export type AegisEngineCloseQuoteInput = AegisEnginePositionActionQuoteBase & {
     target: AegisEngineBorrowPositionTarget;
 };