@agoric/portfolio-api 0.1.1-dev-423d565.0.423d565 → 0.1.1-dev-412bc11.0.412bc11

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/portfolio-api",
-  "version": "0.1.1-dev-423d565.0.423d565",
+  "version": "0.1.1-dev-412bc11.0.412bc11",
   "description": "API for Portfolio management",
   "type": "module",
   "files": [
@@ -11,6 +11,8 @@
   "bin": "./src/cli/bin.js",
   "scripts": {
     "build": "exit 0",
+    "prepack": "yarn run -T tsc --build tsconfig.build.json",
+    "postpack": "git clean -f '*.d.*ts*' '*.tsbuildinfo'",
     "test": "ava",
     "test:c8": "c8 --all $C8_OPTIONS ava",
     "test:xs": "exit 0",
@@ -20,33 +22,10 @@
     "lint:types": "yarn run -T tsc"
   },
   "devDependencies": {
-    "@fast-check/ava": "^2.0.1",
     "ava": "^5.3.0",
     "c8": "^10.1.3",
     "ts-blank-space": "^0.6.2"
   },
-  "dependencies": {
-    "@agoric/client-utils": "0.1.1-dev-423d565.0.423d565",
-    "@agoric/cosmic-proto": "0.4.1-dev-423d565.0.423d565",
-    "@agoric/ertp": "0.16.3-dev-423d565.0.423d565",
-    "@agoric/internal": "0.3.3-dev-423d565.0.423d565",
-    "@agoric/notifier": "0.6.3-dev-423d565.0.423d565",
-    "@agoric/orchestration": "0.1.1-dev-423d565.0.423d565",
-    "@agoric/zoe": "0.26.3-dev-423d565.0.423d565",
-    "@cosmjs/proto-signing": "^0.36.0",
-    "@cosmjs/stargate": "^0.36.0",
-    "@endo/base64": "^1.0.12",
-    "@endo/common": "^1.2.13",
-    "@endo/errors": "^1.2.13",
-    "@endo/eventual-send": "^1.3.4",
-    "@endo/far": "^1.1.14",
-    "@endo/init": "^1.1.12",
-    "@endo/marshal": "^1.8.0",
-    "@endo/nat": "^5.1.3",
-    "@endo/pass-style": "^1.6.3",
-    "@endo/patterns": "^1.7.0",
-    "@endo/promise-kit": "^1.1.13"
-  },
   "ava": {
     "extensions": {
       "js": true,
@@ -71,5 +50,5 @@
   "engines": {
     "node": "^20.9 || ^22.11"
   },
-  "gitHead": "423d5657fc5bf6ffdb9d778fcc3cb9adc6c4adf1"
+  "gitHead": "412bc11a50bd7a9712ca431e1d7c7d300be6e130"
 }

package/src/constants.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Yield protocols for Proof of Concept.
+ */
+export type YieldProtocol = (typeof YieldProtocol)[keyof typeof YieldProtocol];
+export namespace YieldProtocol {
+    let Aave: "Aave";
+    let Compound: "Compound";
+    let USDN: "USDN";
+    let Beefy: "Beefy";
+}
+/**
+ * EVM chain wallet operations that incur different gas costs.
+ * Supply: user is supplying assets to a yield protocol on the target chain.
+ * Withdraw: user is withdrawing assets from a yield protocol on the target chain.
+ * DepositForBurn: user is transferring assets off the target chain via CCTP.
+ */
+export type EvmWalletOperationType = (typeof EvmWalletOperationType)[keyof typeof EvmWalletOperationType];
+export namespace EvmWalletOperationType {
+    let Supply: "supply";
+    let Withdraw: "withdraw";
+    let DepositForBurn: "depositforburn";
+}
+export type AxelarChain = (typeof AxelarChain)[keyof typeof AxelarChain];
+export namespace AxelarChain {
+    let Arbitrum: "Arbitrum";
+    let Avalanche: "Avalanche";
+    let Base: "Base";
+    let Ethereum: "Ethereum";
+    let Optimism: "Optimism";
+}
+export type SupportedChain = (typeof SupportedChain)[keyof typeof SupportedChain];
+export namespace SupportedChain {
+    let agoric: "agoric";
+    let noble: "noble";
+}
+/**
+ * Strategies for portfolio rebalancing of bulk deposits.
+ */
+export type RebalanceStrategy = (typeof RebalanceStrategy)[keyof typeof RebalanceStrategy];
+export namespace RebalanceStrategy {
+    let Preset: "preset";
+    let PreserveExistingProportions: "pep";
+}
+//# sourceMappingURL=constants.d.ts.map

package/src/constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["constants.js"],"names":[],"mappings":";;;4BAOU,CAAC,OAAO,aAAa,EAAE,MAAM,OAAO,aAAa,CAAC;;;;;;;;;;;;;qCAgBlD,CAAC,OAAO,sBAAsB,EAAE,MAAM,OAAO,sBAAsB,CAAC;;;;;;0BAUpE,CAAC,OAAO,WAAW,EAAE,MAAM,OAAO,WAAW,CAAC;;;;;;;;6BAY9C,CAAC,OAAO,cAAc,EAAE,MAAM,OAAO,cAAc,CAAC;;;;;;;;gCAapD,CAAC,OAAO,iBAAiB,EAAE,MAAM,OAAO,iBAAiB,CAAC"}

package/src/constants.js

@@ -15,6 +15,21 @@ export const YieldProtocol = /** @type {const} */ ({
 });
 harden(YieldProtocol);
 
+/**
+ * EVM chain wallet operations that incur different gas costs.
+ * Supply: user is supplying assets to a yield protocol on the target chain.
+ * Withdraw: user is withdrawing assets from a yield protocol on the target chain.
+ * DepositForBurn: user is transferring assets off the target chain via CCTP.
+ *
+ * @enum {(typeof EvmWalletOperationType)[keyof typeof EvmWalletOperationType]}
+ */
+export const EvmWalletOperationType = /** @type {const} */ ({
+  Supply: 'supply',
+  Withdraw: 'withdraw',
+  DepositForBurn: 'depositforburn',
+});
+harden(EvmWalletOperationType);
+
 /**
  * @enum {(typeof AxelarChain)[keyof typeof AxelarChain]}
  */

package/src/instruments.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Mnemonic IDs for supported financial instruments in which a portfolio can use
+ * assets to take a position.
+ *
+ * Treat these identifers as opaque strings. There are separate data structures
+ * to map them to functional interfaces for interoperation.
+ */
+export type InstrumentId = (typeof InstrumentId)[keyof typeof InstrumentId];
+export namespace InstrumentId {
+    let Aave_Arbitrum: "Aave_Arbitrum";
+    let Aave_Avalanche: "Aave_Avalanche";
+    let Aave_Base: "Aave_Base";
+    let Aave_Ethereum: "Aave_Ethereum";
+    let Aave_Optimism: "Aave_Optimism";
+    let Beefy_compoundUsdc_Arbitrum: "Beefy_compoundUsdc_Arbitrum";
+    let Beefy_compoundUsdc_Optimism: "Beefy_compoundUsdc_Optimism";
+    let Beefy_morphoGauntletUsdc_Ethereum: "Beefy_morphoGauntletUsdc_Ethereum";
+    let Beefy_morphoSeamlessUsdc_Base: "Beefy_morphoSeamlessUsdc_Base";
+    let Beefy_morphoSmokehouseUsdc_Ethereum: "Beefy_morphoSmokehouseUsdc_Ethereum";
+    let Beefy_re7_Avalanche: "Beefy_re7_Avalanche";
+    let Compound_Arbitrum: "Compound_Arbitrum";
+    let Compound_Base: "Compound_Base";
+    let Compound_Ethereum: "Compound_Ethereum";
+    let Compound_Optimism: "Compound_Optimism";
+    let USDN: "USDN";
+    let USDNVault: "USDNVault";
+}
+//# sourceMappingURL=instruments.d.ts.map

package/src/instruments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"instruments.d.ts","sourceRoot":"","sources":["instruments.js"],"names":[],"mappings":";;;;;;;2BAOU,CAAC,OAAO,YAAY,EAAE,MAAM,OAAO,YAAY,CAAC"}

package/src/instruments.js

@@ -0,0 +1,29 @@
+/**
+ * Mnemonic IDs for supported financial instruments in which a portfolio can use
+ * assets to take a position.
+ *
+ * Treat these identifers as opaque strings. There are separate data structures
+ * to map them to functional interfaces for interoperation.
+ *
+ * @enum {(typeof InstrumentId)[keyof typeof InstrumentId]}
+ */
+export const InstrumentId = /** @type {const} */ ({
+  Aave_Arbitrum: 'Aave_Arbitrum',
+  Aave_Avalanche: 'Aave_Avalanche',
+  Aave_Base: 'Aave_Base',
+  Aave_Ethereum: 'Aave_Ethereum',
+  Aave_Optimism: 'Aave_Optimism',
+  Beefy_compoundUsdc_Arbitrum: 'Beefy_compoundUsdc_Arbitrum',
+  Beefy_compoundUsdc_Optimism: 'Beefy_compoundUsdc_Optimism',
+  Beefy_morphoGauntletUsdc_Ethereum: 'Beefy_morphoGauntletUsdc_Ethereum',
+  Beefy_morphoSeamlessUsdc_Base: 'Beefy_morphoSeamlessUsdc_Base',
+  Beefy_morphoSmokehouseUsdc_Ethereum: 'Beefy_morphoSmokehouseUsdc_Ethereum',
+  Beefy_re7_Avalanche: 'Beefy_re7_Avalanche',
+  Compound_Arbitrum: 'Compound_Arbitrum',
+  Compound_Base: 'Compound_Base',
+  Compound_Ethereum: 'Compound_Ethereum',
+  Compound_Optimism: 'Compound_Optimism',
+  USDN: 'USDN',
+  USDNVault: 'USDNVault',
+});
+harden(InstrumentId);

package/src/main.d.ts

@@ -0,0 +1,5 @@
+export * from "./constants.js";
+export * from "./instruments.js";
+export * from "./resolver.js";
+export * from "./types.js";
+//# sourceMappingURL=main.d.ts.map

package/src/main.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.d.ts","sourceRoot":"","sources":["main.js"],"names":[],"mappings":""}

package/src/main.js

@@ -1,2 +1,4 @@
 export * from './constants.js';
+export * from './instruments.js';
+export * from './resolver.js';
 export * from './types.js';

package/src/resolver.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Tx statuses for published transactions. Exhaustive state machine flows:
+ *   - pending -> success (when cross-chain operation completes successfully)
+ *   - pending -> failed (when operation fails or times out)
+ */
+export type TxStatus = (typeof TxStatus)[keyof typeof TxStatus];
+export namespace TxStatus {
+    let PENDING: "pending";
+    let SUCCESS: "success";
+    let FAILED: "failed";
+}
+/**
+ * Tx types for published transactions
+ */
+export type TxType = (typeof TxType)[keyof typeof TxType];
+export namespace TxType {
+    let CCTP_TO_EVM: "CCTP_TO_EVM";
+    let GMP: "GMP";
+    let CCTP_TO_AGORIC: "CCTP_TO_AGORIC";
+    let CCTP_TO_NOBLE: "CCTP_TO_NOBLE";
+}
+/**
+ * Represents a published transaction with its type, optional amount, destination, and status.
+ */
+export type PublishedTx = {
+    /**
+     * - The type of transaction (CCTP_TO_EVM, GMP, CCTP_TO_AGORIC, or CCTP_TO_NOBLE)
+     */
+    type: TxType;
+    /**
+     * - Optional transaction amount as a bigint
+     */
+    amount?: bigint | undefined;
+    /**
+     * - The destination account identifier for the transaction
+     */
+    destinationAddress: AccountId;
+    /**
+     * - Current status of the transaction (pending, success, or failed)
+     */
+    status: TxStatus;
+};
+import type { AccountId } from '@agoric/orchestration';
+//# sourceMappingURL=resolver.d.ts.map

package/src/resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.d.ts","sourceRoot":"","sources":["resolver.js"],"names":[],"mappings":";;;;;uBAmBU,CAAC,OAAO,QAAQ,EAAE,MAAM,OAAO,QAAQ,CAAC;;;;;;;;;qBAYxC,CAAC,OAAO,MAAM,EAAE,MAAM,OAAO,MAAM,CAAC;;;;;;;;;;;;;;UAvBhC,MAAM;;;;;;;;wBAEN,SAAS;;;;YACT,QAAQ;;+BAVM,uBAAuB"}

package/src/resolver.js

@@ -0,0 +1,41 @@
+/**
+ * @import {AccountId} from '@agoric/orchestration';
+ */
+
+/**
+ * Represents a published transaction with its type, optional amount, destination, and status.
+ *
+ * @typedef {object} PublishedTx
+ * @property {TxType} type - The type of transaction (CCTP_TO_EVM, GMP, CCTP_TO_AGORIC, or CCTP_TO_NOBLE)
+ * @property {bigint} [amount] - Optional transaction amount as a bigint
+ * @property {AccountId} destinationAddress - The destination account identifier for the transaction
+ * @property {TxStatus} status - Current status of the transaction (pending, success, or failed)
+ */
+
+/**
+ * Tx statuses for published transactions. Exhaustive state machine flows:
+ *   - pending -> success (when cross-chain operation completes successfully)
+ *   - pending -> failed (when operation fails or times out)
+ *
+ * @enum {(typeof TxStatus)[keyof typeof TxStatus]}
+ */
+export const TxStatus = /** @type {const} */ ({
+  PENDING: 'pending',
+  SUCCESS: 'success',
+  FAILED: 'failed',
+});
+harden(TxStatus);
+
+/**
+ * Tx types for published transactions
+ *
+ * @enum {(typeof TxType)[keyof typeof TxType]}
+ */
+export const TxType = /** @type {const} */ ({
+  CCTP_TO_EVM: 'CCTP_TO_EVM',
+  GMP: 'GMP',
+  CCTP_TO_AGORIC: 'CCTP_TO_AGORIC',
+  /** @deprecated - only supports 20 byte addresses */
+  CCTP_TO_NOBLE: 'CCTP_TO_NOBLE',
+});
+harden(TxType);

package/src/types.d.ts

@@ -0,0 +1,120 @@
+import type { NatAmount } from '@agoric/ertp';
+import { type AccountId, type Bech32Address, type CosmosChainAddress } from '@agoric/orchestration';
+import type { SupportedChain, YieldProtocol } from './constants.js';
+import type { InstrumentId } from './instruments.js';
+import type { PublishedTx } from './resolver.js';
+export type SeatKeyword = 'Cash' | 'Deposit';
+export type AssetPlaceRef = `<${SeatKeyword}>` | '+agoric' | `@${SupportedChain}` | InstrumentId;
+type Empty = Record<never, NatAmount>;
+/**
+ * Proposal shapes for portfolio operations.
+ *
+ * **openPortfolio**: Create portfolio with initial funding across protocols
+ * **rebalance**: Add funds (give) or withdraw funds (want) from protocols
+ */
+export type ProposalType = {
+    openPortfolio: {
+        give: {
+            /** required iff the contract was started with an Access issuer */
+            Access?: NatAmount;
+            Deposit?: NatAmount;
+        };
+        want?: Empty;
+    };
+    rebalance: {
+        give: {
+            Deposit?: NatAmount;
+        };
+        want: Empty;
+    } | {
+        want: {
+            Cash: NatAmount;
+        };
+        give: Empty;
+    };
+    withdraw: {
+        want: {
+            Cash: NatAmount;
+        };
+        give: Empty;
+    };
+    deposit: {
+        give: {
+            Deposit: NatAmount;
+        };
+        want: Empty;
+    };
+};
+/**
+ * Target allocation mapping from PoolKey to numerator (typically in basis points).
+ * Denominator is implicitly the sum of all numerators.
+ */
+export type TargetAllocation = Partial<Record<InstrumentId, bigint>>;
+export type FlowDetail = {
+    type: 'withdraw';
+    amount: NatAmount;
+} | {
+    type: 'deposit';
+    amount: NatAmount;
+} | {
+    type: 'rebalance';
+};
+export type FlowStatus = {
+    state: 'run';
+    step: number;
+    how: string;
+} | {
+    state: 'undo';
+    step: number;
+    how: string;
+} | {
+    state: 'done';
+} | {
+    state: 'fail';
+    step: number;
+    how: string;
+    error: string;
+    where?: string;
+};
+export type FlowStep = {
+    how: string;
+    amount: NatAmount;
+    src: AssetPlaceRef;
+    dest: AssetPlaceRef;
+};
+export type PortfolioKey = `portfolio${number}`;
+export type FlowKey = `flow${number}`;
+export type StatusFor = {
+    contract: {
+        contractAccount: CosmosChainAddress['value'];
+    };
+    pendingTx: PublishedTx;
+    portfolios: {
+        addPortfolio: PortfolioKey;
+    };
+    portfolio: {
+        positionKeys: InstrumentId[];
+        accountIdByChain: Partial<Record<SupportedChain, AccountId>>;
+        accountsPending?: SupportedChain[];
+        depositAddress?: Bech32Address;
+        targetAllocation?: TargetAllocation;
+        /** incremented by the contract every time the user sends a transaction that the planner should respond to */
+        policyVersion: number;
+        /** the count of acknowledged submissions [from the planner] associated with the current policyVersion */
+        rebalanceCount: number;
+        /** @deprecated in favor of flowsRunning */
+        flowCount: number;
+        flowsRunning?: Record<FlowKey, FlowDetail>;
+    };
+    position: {
+        protocol: YieldProtocol;
+        accountId: AccountId;
+        netTransfers: NatAmount;
+        totalIn: NatAmount;
+        totalOut: NatAmount;
+    };
+    flow: FlowStatus;
+    flowSteps: FlowStep[];
+};
+export {};
+//# sourceMappingURL=types.d.ts.map

package/src/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EACL,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACxB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEjD,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,SAAS,CAAC;AAE7C,MAAM,MAAM,aAAa,GACrB,IAAI,WAAW,GAAG,GAClB,SAAS,GACT,IAAI,cAAc,EAAE,GACpB,YAAY,CAAC;AAEjB,KAAK,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,aAAa,EAAE;QACb,IAAI,EAAE;YACJ,kEAAkE;YAClE,MAAM,CAAC,EAAE,SAAS,CAAC;YACnB,OAAO,CAAC,EAAE,SAAS,CAAC;SACrB,CAAC;QACF,IAAI,CAAC,EAAE,KAAK,CAAC;KACd,CAAC;IACF,SAAS,EACL;QAAE,IAAI,EAAE;YAAE,OAAO,CAAC,EAAE,SAAS,CAAA;SAAE,CAAC;QAAC,IAAI,EAAE,KAAK,CAAA;KAAE,GAC9C;QAAE,IAAI,EAAE;YAAE,IAAI,EAAE,SAAS,CAAA;SAAE,CAAC;QAAC,IAAI,EAAE,KAAK,CAAA;KAAE,CAAC;IAC/C,QAAQ,EAAE;QAAE,IAAI,EAAE;YAAE,IAAI,EAAE,SAAS,CAAA;SAAE,CAAC;QAAC,IAAI,EAAE,KAAK,CAAA;KAAE,CAAC;IACrD,OAAO,EAAE;QAAE,IAAI,EAAE;YAAE,OAAO,EAAE,SAAS,CAAA;SAAE,CAAC;QAAC,IAAI,EAAE,KAAK,CAAA;KAAE,CAAC;CACxD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;AAErE,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAE1B,MAAM,MAAM,UAAU,GAClB;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC5C;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,GACjB;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhF,MAAM,MAAM,QAAQ,GAAG;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,SAAS,CAAC;IAClB,GAAG,EAAE,aAAa,CAAC;IACnB,IAAI,EAAE,aAAa,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,YAAY,MAAM,EAAE,CAAC;AAChD,MAAM,MAAM,OAAO,GAAG,OAAO,MAAM,EAAE,CAAC;AAEtC,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE;QACR,eAAe,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;KAC9C,CAAC;IACF,SAAS,EAAE,WAAW,CAAC;IACvB,UAAU,EAAE;QACV,YAAY,EAAE,YAAY,CAAC;KAC5B,CAAC;IACF,SAAS,EAAE;QACT,YAAY,EAAE,YAAY,EAAE,CAAC;QAC7B,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;QAC7D,eAAe,CAAC,EAAE,cAAc,EAAE,CAAC;QACnC,cAAc,CAAC,EAAE,aAAa,CAAC;QAC/B,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;QACpC,6GAA6G;QAC7G,aAAa,EAAE,MAAM,CAAC;QACtB,yGAAyG;QACzG,cAAc,EAAE,MAAM,CAAC;QACvB,2CAA2C;QAC3C,SAAS,EAAE,MAAM,CAAC;QAClB,YAAY,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;KAC5C,CAAC;IACF,QAAQ,EAAE;QACR,QAAQ,EAAE,aAAa,CAAC;QACxB,SAAS,EAAE,SAAS,CAAC;QACrB,YAAY,EAAE,SAAS,CAAC;QACxB,OAAO,EAAE,SAAS,CAAC;QACnB,QAAQ,EAAE,SAAS,CAAC;KACrB,CAAC;IACF,IAAI,EAAE,UAAU,CAAC;IACjB,SAAS,EAAE,QAAQ,EAAE,CAAC;CACvB,CAAC"}

package/src/types.ts

@@ -1 +1,101 @@
-export type * from './constants.js';
+import type { NatAmount } from '@agoric/ertp';
+import {
+  type AccountId,
+  type Bech32Address,
+  type CosmosChainAddress,
+} from '@agoric/orchestration';
+import type { SupportedChain, YieldProtocol } from './constants.js';
+import type { InstrumentId } from './instruments.js';
+import type { PublishedTx } from './resolver.js';
+
+export type SeatKeyword = 'Cash' | 'Deposit';
+
+export type AssetPlaceRef =
+  | `<${SeatKeyword}>`
+  | '+agoric' // deposit LCA
+  | `@${SupportedChain}`
+  | InstrumentId;
+
+type Empty = Record<never, NatAmount>;
+
+/**
+ * Proposal shapes for portfolio operations.
+ *
+ * **openPortfolio**: Create portfolio with initial funding across protocols
+ * **rebalance**: Add funds (give) or withdraw funds (want) from protocols
+ */
+export type ProposalType = {
+  openPortfolio: {
+    give: {
+      /** required iff the contract was started with an Access issuer */
+      Access?: NatAmount;
+      Deposit?: NatAmount;
+    };
+    want?: Empty;
+  };
+  rebalance:
+    | { give: { Deposit?: NatAmount }; want: Empty }
+    | { want: { Cash: NatAmount }; give: Empty };
+  withdraw: { want: { Cash: NatAmount }; give: Empty };
+  deposit: { give: { Deposit: NatAmount }; want: Empty };
+};
+
+/**
+ * Target allocation mapping from PoolKey to numerator (typically in basis points).
+ * Denominator is implicitly the sum of all numerators.
+ */
+export type TargetAllocation = Partial<Record<InstrumentId, bigint>>;
+
+export type FlowDetail =
+  | { type: 'withdraw'; amount: NatAmount }
+  | { type: 'deposit'; amount: NatAmount }
+  | { type: 'rebalance' }; // aka simpleRebalance
+
+export type FlowStatus =
+  | { state: 'run'; step: number; how: string }
+  | { state: 'undo'; step: number; how: string }
+  | { state: 'done' }
+  | { state: 'fail'; step: number; how: string; error: string; where?: string };
+
+export type FlowStep = {
+  how: string;
+  amount: NatAmount;
+  src: AssetPlaceRef;
+  dest: AssetPlaceRef;
+};
+
+export type PortfolioKey = `portfolio${number}`;
+export type FlowKey = `flow${number}`;
+
+export type StatusFor = {
+  contract: {
+    contractAccount: CosmosChainAddress['value'];
+  };
+  pendingTx: PublishedTx;
+  portfolios: {
+    addPortfolio: PortfolioKey;
+  };
+  portfolio: {
+    positionKeys: InstrumentId[];
+    accountIdByChain: Partial<Record<SupportedChain, AccountId>>;
+    accountsPending?: SupportedChain[];
+    depositAddress?: Bech32Address;
+    targetAllocation?: TargetAllocation;
+    /** incremented by the contract every time the user sends a transaction that the planner should respond to */
+    policyVersion: number;
+    /** the count of acknowledged submissions [from the planner] associated with the current policyVersion */
+    rebalanceCount: number;
+    /** @deprecated in favor of flowsRunning */
+    flowCount: number;
+    flowsRunning?: Record<FlowKey, FlowDetail>;
+  };
+  position: {
+    protocol: YieldProtocol;
+    accountId: AccountId;
+    netTransfers: NatAmount;
+    totalIn: NatAmount;
+    totalOut: NatAmount;
+  };
+  flow: FlowStatus;
+  flowSteps: FlowStep[];
+};