@agoric/orchestration 0.1.1-dev-6b5e706.0 → 0.1.1-dev-2dc53d7.0

package/src/examples/stakeBld.contract.d.ts

@@ -0,0 +1,39 @@
+export function start(zcf: ZCF, privateArgs: {
+    localchain: import("@agoric/vats/src/localchain.js").LocalChain;
+    marshaller: Marshaller;
+    storageNode: StorageNode;
+}, baggage: import("@agoric/vat-data").Baggage): Promise<{
+    publicFacet: import("@endo/exo").Guarded<{
+        makeStakeBldInvitation(): Promise<Invitation<{
+            publicSubscribers: {
+                account: {
+                    description: string;
+                    subscriber: globalThis.Subscriber<import("../exos/localchainAccountKit.js").LocalChainAccountNotification>;
+                    storagePath: Promise<string>;
+                };
+            };
+            invitationMakers: import("@endo/exo").Guarded<{
+                Delegate(validatorAddress: any, amount: any): Promise<Invitation<(import("@agoric/cosmic-proto/cosmos/staking/v1beta1/tx.js").MsgDelegateResponse & {
+                    '@type': "/cosmos.staking.v1beta1.MsgDelegateResponse";
+                })[], undefined>>;
+                CloseAccount(): never;
+                TransferAccount(): never;
+            }>;
+            account: import("@endo/exo").Guarded<{
+                getPublicTopics(): {
+                    account: {
+                        description: string;
+                        subscriber: globalThis.Subscriber<import("../exos/localchainAccountKit.js").LocalChainAccountNotification>;
+                        storagePath: Promise<string>;
+                    };
+                };
+                makeDelegateInvitation(validatorAddress: string, ertpAmount: Amount<"nat">): Promise<Invitation<(import("@agoric/cosmic-proto/cosmos/staking/v1beta1/tx.js").MsgDelegateResponse & {
+                    '@type': "/cosmos.staking.v1beta1.MsgDelegateResponse";
+                })[], undefined>>;
+                makeCloseAccountInvitation(): never;
+                makeTransferAccountInvitation(): never;
+            }>;
+        }, undefined>>;
+    }>;
+}>;
+//# sourceMappingURL=stakeBld.contract.d.ts.map

package/src/examples/stakeBld.contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stakeBld.contract.d.ts","sourceRoot":"","sources":["stakeBld.contract.js"],"names":[],"mappings":"AAyBO,2BARI,GAAG,eACH;IACV,UAAc,EAAE,OAAO,gCAAgC,EAAE,UAAU,CAAC;IACpE,UAAc,EAAE,UAAU,CAAC;IAC3B,WAAe,EAAE,WAAW,CAAC;CAC1B,WACO,OAAO,kBAAkB,EAAE,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;6EA0DyqC,OAAO,KAAK,CAAC;;;;;;;;GADluC"}

package/src/examples/stakeBld.contract.js

@@ -1,4 +1,3 @@
-// @ts-check
 /**
  * @file Stake BLD contract
  *

package/src/examples/swapExample.contract.d.ts

@@ -0,0 +1,31 @@
+export function start(zcf: ZCF, privateArgs: {
+    orchestrationService: ERef<import("@endo/exo").Guarded<{
+        makeAccount(hostConnectionId: `connection-${number}`, controllerConnectionId: `connection-${number}`): Promise<IcaAccount>;
+        provideICQConnection(controllerConnectionId: `connection-${number}`): Promise<import("@endo/exo").Guarded<{
+            getLocalAddress(): `/ibc-port/${string}`;
+            getRemoteAddress(): `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}`;
+            query(msgs: import("@agoric/cosmic-proto").JsonSafe<import("@agoric/cosmic-proto/tendermint/abci/types.js").RequestQuery>[]): Promise<import("@agoric/cosmic-proto").Base64Any<import("@agoric/cosmic-proto/tendermint/abci/types.js").ResponseQuery>[]>;
+        }>>;
+    }>>;
+    storageNode: ERef<globalThis.StorageNode>;
+    timerService: ERef<TimerService>;
+    zone: Zone;
+}): Promise<{
+    publicFacet: {
+        makeSwapAndStakeInvitation: () => Promise<Invitation<unknown, {
+            staked: Amount<"nat">;
+            validator: CosmosValidatorAddress;
+        }>>;
+    } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+        makeSwapAndStakeInvitation: () => Promise<Invitation<unknown, {
+            staked: Amount<"nat">;
+            validator: CosmosValidatorAddress;
+        }>>;
+    }>;
+}>;
+import type { IcaAccount } from '../types.js';
+import type { ERef } from '@endo/far';
+import type { TimerService } from '@agoric/time';
+import type { Zone } from '@agoric/zone';
+import type { CosmosValidatorAddress } from '../types.js';
+//# sourceMappingURL=swapExample.contract.d.ts.map

package/src/examples/swapExample.contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"swapExample.contract.d.ts","sourceRoot":"","sources":["swapExample.contract.js"],"names":[],"mappings":"AAwBO,2BARI,GAAG;;;;;;;;;;;;;;;oBAoB8B,MAAM,CAAC,KAAK,CAAC;;;;;oBAAb,MAAM,CAAC,KAAK,CAAC;;;;GAgExD;gCA5FkE,aAAa;0BAEzD,WAAW;kCADH,cAAc;0BAGtB,cAAc;4CAJ8B,aAAa"}

package/src/examples/swapExample.contract.js

@@ -1,4 +1,3 @@
-// @ts-check
 import { Fail } from '@agoric/assert';
 import { AmountMath, AmountShape } from '@agoric/ertp';
 import { E, Far } from '@endo/far';
@@ -7,7 +6,7 @@ import { makeOrchestrationFacade } from '../facade.js';
 import { orcUtils } from '../utils/orc.js';
 
 /**
- * @import {Orchestrator, ChainAccount, CosmosValidatorAddress} from '../types.js'
+ * @import {Orchestrator, IcaAccount, CosmosValidatorAddress} from '../types.js'
  * @import {TimerService} from '@agoric/time';
  * @import {ERef} from '@endo/far'
  * @import {OrchestrationService} from '../service.js';
@@ -35,7 +34,7 @@ export const start = async (zcf, privateArgs) => {
   });
 
   /** deprecated historical example */
-  /** @type {OfferHandler} */
+  /** @type {OfferHandler<unknown, {staked: Amount<'nat'>, validator: CosmosValidatorAddress}>} */
   const swapAndStakeHandler = orchestrate(
     'LSTTia',
     { zcf },

package/src/examples/unbondExample.contract.d.ts

@@ -0,0 +1,24 @@
+export function start(zcf: ZCF, privateArgs: {
+    orchestrationService: ERef<import("@endo/exo").Guarded<{
+        makeAccount(hostConnectionId: `connection-${number}`, controllerConnectionId: `connection-${number}`): Promise<IcaAccount>;
+        provideICQConnection(controllerConnectionId: `connection-${number}`): Promise<import("@endo/exo").Guarded<{
+            getLocalAddress(): `/ibc-port/${string}`;
+            getRemoteAddress(): `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}`;
+            query(msgs: import("@agoric/cosmic-proto").JsonSafe<import("@agoric/cosmic-proto/tendermint/abci/types.js").RequestQuery>[]): Promise<import("@agoric/cosmic-proto").Base64Any<import("@agoric/cosmic-proto/tendermint/abci/types.js").ResponseQuery>[]>;
+        }>>;
+    }>>;
+    storageNode: ERef<globalThis.StorageNode>;
+    timerService: ERef<TimerService>;
+    zone: Zone;
+}): Promise<{
+    publicFacet: {
+        makeUnbondAndLiquidStakeInvitation: () => Promise<Invitation<unknown, never>>;
+    } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+        makeUnbondAndLiquidStakeInvitation: () => Promise<Invitation<unknown, never>>;
+    }>;
+}>;
+import type { IcaAccount } from '../types.js';
+import type { ERef } from '@endo/far';
+import type { TimerService } from '@agoric/time';
+import type { Zone } from '@agoric/zone';
+//# sourceMappingURL=unbondExample.contract.d.ts.map

package/src/examples/unbondExample.contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unbondExample.contract.d.ts","sourceRoot":"","sources":["unbondExample.contract.js"],"names":[],"mappings":"AAuBO,2BARI,GAAG;;;;;;;;;;;;;;;;;;GAoEb;gCA5EkE,aAAa;0BAEzD,WAAW;kCADH,cAAc;0BAGtB,cAAc"}

package/src/examples/unbondExample.contract.js

@@ -1,4 +1,3 @@
-// @ts-check
 import { Fail } from '@agoric/assert';
 import { AmountMath, AmountShape } from '@agoric/ertp';
 import { Far } from '@endo/far';
@@ -6,7 +5,7 @@ import { M } from '@endo/patterns';
 import { makeOrchestrationFacade } from '../facade.js';
 
 /**
- * @import {Orchestrator, ChainAccount, CosmosValidatorAddress} from '../types.js'
+ * @import {Orchestrator, IcaAccount, CosmosValidatorAddress} from '../types.js'
  * @import {TimerService} from '@agoric/time';
  * @import {ERef} from '@endo/far'
  * @import {OrchestrationService} from '../service.js';

package/src/exos/chainAccountKit.d.ts

@@ -0,0 +1,71 @@
+export const ChainAccountI: import("@endo/patterns").InterfaceGuard<{
+    getAddress: import("@endo/patterns").MethodGuard;
+    getLocalAddress: import("@endo/patterns").MethodGuard;
+    getRemoteAddress: import("@endo/patterns").MethodGuard;
+    getPort: import("@endo/patterns").MethodGuard;
+    executeTx: import("@endo/patterns").MethodGuard;
+    executeEncodedTx: import("@endo/patterns").MethodGuard;
+    close: import("@endo/patterns").MethodGuard;
+    deposit: import("@endo/patterns").MethodGuard;
+    getPurse: import("@endo/patterns").MethodGuard;
+    prepareTransfer: import("@endo/patterns").MethodGuard;
+}>;
+export function prepareChainAccountKit(zone: Zone): (port: Port, requestedRemoteAddress: string) => import("@endo/exo").GuardedKit<{
+    account: {
+        /**
+         * @returns {ChainAddress}
+         */
+        getAddress(): ChainAddress;
+        getLocalAddress(): `/ibc-port/${string}`;
+        getRemoteAddress(): `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}`;
+        getPort(): Port;
+        executeTx(): never;
+        /**
+         * Submit a transaction on behalf of the remote account for execution on the remote chain.
+         * @param {AnyJson[]} msgs
+         * @param {Omit<TxBody, 'messages'>} [opts]
+         * @returns {Promise<string>} - base64 encoded bytes string. Can be decoded using the corresponding `Msg*Response` object.
+         * @throws {Error} if packet fails to send or an error is returned
+         */
+        executeEncodedTx(msgs: AnyJson[], opts?: Omit<TxBody, "messages"> | undefined): Promise<string>;
+        /**
+         * Close the remote account
+         */
+        close(): Promise<void>;
+        deposit(payment: any): Promise<never>;
+        /**
+         * get Purse for a brand to .withdraw() a Payment from the account
+         * @param {Brand} brand
+         */
+        getPurse(brand: Brand): Promise<never>;
+        prepareTransfer(): Promise<never>;
+    };
+    connectionHandler: {
+        /**
+         * @param {Remote<Connection>} connection
+         * @param {LocalIbcAddress} localAddr
+         * @param {RemoteIbcAddress} remoteAddr
+         */
+        onOpen(connection: Remote<Connection>, localAddr: `/ibc-port/${string}`, remoteAddr: `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}`): Promise<void>;
+        onClose(_connection: any, reason: any): Promise<void>;
+        onReceive(connection: any, bytes: any): Promise<string>;
+    };
+}>;
+export type UnparsableChainAddress = "UNPARSABLE_CHAIN_ADDRESS";
+export type State = {
+    port: Port;
+    connection: Remote<Connection> | undefined;
+    localAddress: `/ibc-port/${string}` | undefined;
+    requestedRemoteAddress: string;
+    remoteAddress: `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}` | undefined;
+    chainAddress: ChainAddress | undefined;
+};
+export type ChainAccountKit = ReturnType<ReturnType<typeof prepareChainAccountKit>>;
+import type { Zone } from '@agoric/base-zone';
+import type { Port } from '@agoric/network';
+import type { ChainAddress } from '../types.js';
+import type { AnyJson } from '@agoric/cosmic-proto';
+import type { TxBody } from '@agoric/cosmic-proto/cosmos/tx/v1beta1/tx.js';
+import type { Connection } from '@agoric/network';
+import type { Remote } from '@agoric/vow';
+//# sourceMappingURL=chainAccountKit.d.ts.map

package/src/exos/chainAccountKit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chainAccountKit.d.ts","sourceRoot":"","sources":["chainAccountKit.js"],"names":[],"mappings":"AAmCA;;;;;;;;;;;GAaG;AAcI;;QAqBC;;WAEG;;;;;;QAyBH;;;;;;WAMG;wFAFU,OAAO,CAAC,MAAM,CAAC;QAY5B;;WAEG;;;QAaH;;;WAGG;wBADQ,KAAK;;;;QAahB;;;;WAIG;;;;;GAyBR;qCAzJW,0BAA0B;;;;;4BAuBX,MAAM;;;;8BAoIrB,UAAU,CAAC,UAAU,CAAC,OAAO,sBAAsB,CAAC,CAAC;0BAvK1C,mBAAmB;0BACP,iBAAiB;kCAKrB,aAAa;6BAHlB,sBAAsB;4BACvB,8CAA8C;gCAHpC,iBAAiB;4BAC3B,aAAa"}

package/src/exos/chainAccountKit.js

@@ -1,4 +1,3 @@
-// @ts-check
 /** @file ChainAccount exo */
 
 // XXX ambient types runtime imports until https://github.com/Agoric/agoric-sdk/issues/6512

package/src/exos/icqConnectionKit.d.ts

@@ -0,0 +1,43 @@
+export const ICQMsgShape: import("@endo/patterns").Matcher;
+export const ICQConnectionI: import("@endo/patterns").InterfaceGuard<{
+    getLocalAddress: import("@endo/patterns").MethodGuard;
+    getRemoteAddress: import("@endo/patterns").MethodGuard;
+    query: import("@endo/patterns").MethodGuard;
+}>;
+export function prepareICQConnectionKit(zone: Zone): (port: Port) => import("@endo/exo").GuardedKit<{
+    connection: {
+        getLocalAddress(): `/ibc-port/${string}`;
+        getRemoteAddress(): `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}`;
+        /**
+         * @param {RequestQueryJson[]} msgs
+         * @returns {Promise<Base64Any<ResponseQuery>[]>}
+         * @throws {Error} if packet fails to send or an error is returned
+         */
+        query(msgs: import("@agoric/cosmic-proto").JsonSafe<import("@agoric/cosmic-proto/tendermint/abci/types.js").RequestQuery>[]): Promise<Base64Any<ResponseQuery>[]>;
+    };
+    connectionHandler: {
+        /**
+         * @param {Remote<Connection>} connection
+         * @param {LocalIbcAddress} localAddr
+         * @param {RemoteIbcAddress} remoteAddr
+         */
+        onOpen(connection: Remote<Connection>, localAddr: `/ibc-port/${string}`, remoteAddr: `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}`): Promise<void>;
+        onClose(_connection: any, reason: any): Promise<void>;
+        onReceive(connection: any, bytes: any): Promise<string>;
+    };
+}>;
+export type ICQConnectionKitState = {
+    port: Port;
+    connection: Remote<Connection> | undefined;
+    localAddress: `/ibc-port/${string}` | undefined;
+    remoteAddress: `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}` | undefined;
+};
+export type ICQConnectionKit = ReturnType<ReturnType<typeof prepareICQConnectionKit>>;
+export type ICQConnection = ICQConnectionKit["connection"];
+import type { Zone } from '@agoric/base-zone';
+import type { Port } from '@agoric/network';
+import type { ResponseQuery } from '@agoric/cosmic-proto/tendermint/abci/types.js';
+import type { Base64Any } from '@agoric/cosmic-proto';
+import type { Connection } from '@agoric/network';
+import type { Remote } from '@agoric/vow';
+//# sourceMappingURL=icqConnectionKit.d.ts.map

package/src/exos/icqConnectionKit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"icqConnectionKit.d.ts","sourceRoot":"","sources":["icqConnectionKit.js"],"names":[],"mappings":"AAoBA,2DAGE;AAEF;;;;GAIG;AAyBI;;;;QA8BC;;;;WAIG;;;;QAYH;;;;WAIG;;;;;GAgBR;;;;;;;+BAEW,UAAU,CAAC,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC;4BACtD,gBAAgB,CAAC,YAAY,CAAC;0BAlHrB,mBAAmB;0BACP,iBAAiB;mCAGpB,+CAA+C;+BADjC,sBAAsB;gCAFjC,iBAAiB;4BAC3B,aAAa"}

package/src/exos/icqConnectionKit.js

@@ -1,4 +1,3 @@
-// @ts-check
 /** @file ICQConnection Exo */
 import { NonNullish } from '@agoric/assert';
 import { makeTracer } from '@agoric/internal';

package/src/exos/localchainAccountKit.d.ts

@@ -0,0 +1,68 @@
+export function prepareLocalchainAccountKit(baggage: import("@agoric/swingset-liveslots").Baggage, makeRecorderKit: import("@agoric/zoe/src/contractSupport/recorder.js").MakeRecorderKit, zcf: ZCF): (account: import("@endo/exo").Guarded<{
+    getAddress(): Promise<string>;
+    /**
+     * @param {import('@agoric/swingset-liveslots').Baggage} baggage
+     * @param {import('@agoric/zoe/src/contractSupport/recorder.js').MakeRecorderKit} makeRecorderKit
+     * @param {ZCF} zcf
+     */
+    deposit(payment: Payment): Promise<import("@agoric/ertp/exported.js").NatAmount | import("@agoric/ertp/exported.js").CopySetAmount<import("@endo/patterns").Key> | import("@agoric/ertp/exported.js").SetAmount<import("@endo/patterns").Key> | import("@agoric/ertp/exported.js").CopyBagAmount<import("@endo/patterns").Key>>;
+    executeTx<MT extends {
+        '@type': string;
+    }[]>(messages: MT): Promise<{ [K in keyof MT]: import("@agoric/cosmic-proto/vatsafe").ResponseTo<MT[K]>; }>;
+}>, storageNode: globalThis.StorageNode) => import("@endo/exo").GuardedKit<{
+    helper: {
+        /** @throws if this holder no longer owns the account */
+        owned(): import("@endo/exo").Guarded<{
+            getAddress(): Promise<string>;
+            /**
+             * @param {import('@agoric/swingset-liveslots').Baggage} baggage
+             * @param {import('@agoric/zoe/src/contractSupport/recorder.js').MakeRecorderKit} makeRecorderKit
+             * @param {ZCF} zcf
+             */
+            deposit(payment: Payment): Promise<import("@agoric/ertp/exported.js").NatAmount | import("@agoric/ertp/exported.js").CopySetAmount<import("@endo/patterns").Key> | import("@agoric/ertp/exported.js").SetAmount<import("@endo/patterns").Key> | import("@agoric/ertp/exported.js").CopyBagAmount<import("@endo/patterns").Key>>;
+            executeTx<MT extends {
+                '@type': string;
+            }[]>(messages: MT): Promise<{ [K in keyof MT]: import("@agoric/cosmic-proto/vatsafe").ResponseTo<MT[K]>; }>;
+        }>;
+        getUpdater(): import("@agoric/zoe/src/contractSupport/recorder.js").Recorder<LocalChainAccountNotification>;
+    };
+    invitationMakers: {
+        Delegate(validatorAddress: any, amount: any): Promise<Invitation<(import("@agoric/cosmic-proto/cosmos/staking/v1beta1/tx.js").MsgDelegateResponse & {
+            '@type': "/cosmos.staking.v1beta1.MsgDelegateResponse";
+        })[], undefined>>;
+        CloseAccount(): never;
+        TransferAccount(): never;
+    };
+    holder: {
+        getPublicTopics(): {
+            account: {
+                description: string;
+                subscriber: globalThis.Subscriber<LocalChainAccountNotification>;
+                storagePath: Promise<string>;
+            };
+        };
+        /**
+         *
+         * @param {string} validatorAddress
+         * @param {Amount<'nat'>} ertpAmount
+         */
+        makeDelegateInvitation(validatorAddress: string, ertpAmount: Amount<"nat">): Promise<Invitation<(import("@agoric/cosmic-proto/cosmos/staking/v1beta1/tx.js").MsgDelegateResponse & {
+            '@type': "/cosmos.staking.v1beta1.MsgDelegateResponse";
+        })[], undefined>>;
+        makeCloseAccountInvitation(): never;
+        /**
+         * Starting a transfer revokes the account holder. The associated updater
+         * will get a special notification that the account is being transferred.
+         */
+        makeTransferAccountInvitation(): never;
+    };
+}>;
+export type LocalChainAccountNotification = {
+    address: string;
+};
+export type State = {
+    topicKit: import("@agoric/zoe/src/contractSupport/recorder.js").RecorderKit<LocalChainAccountNotification>;
+    account: import("@agoric/vats/src/localchain.js").LocalChainAccount | null;
+};
+export type LocalchainAccountKit = ReturnType<ReturnType<typeof prepareLocalchainAccountKit>>;
+//# sourceMappingURL=localchainAccountKit.d.ts.map

package/src/exos/localchainAccountKit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"localchainAccountKit.d.ts","sourceRoot":"","sources":["localchainAccountKit.js"],"names":[],"mappings":"AAyCO,qDAJI,OAAO,4BAA4B,EAAE,OAAO,mBAC5C,OAAO,6CAA6C,EAAE,eAAe,OACrE,GAAG;;IAHd;;;;OAIG;qBACwE,OACzE;;;mBAeG,EAAA;;;QAYG,wDAAwD;;;YAjChE;;;;eAIG;6BACwE,OACzE;;;2BAeG,EAAA;;;;;;;;;;;;;;;;;;;QAiDG;;;;WAIG;iDAFQ,MAAM,cACN,MAAM,CAAC,KAAK,CAAC;;;;QAiCxB;;;WAGG;;;GAQV;;aA3Ia,MAAM;;oBAIP;IACZ,QAAY,EAAE,OAAO,6CAA6C,EAAE,WAAW,CAAC,6BAA6B,CAAC,CAAC;IAC/G,OAAW,EAAE,OAAO,gCAAgC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC5E;mCAqIU,UAAU,CAAC,UAAU,CAAC,OAAO,2BAA2B,CAAC,CAAC"}

package/src/exos/localchainAccountKit.js

@@ -1,4 +1,3 @@
-// @ts-check
 /** @file Use-object for the owner of a localchain account */
 import { typedJson } from '@agoric/cosmic-proto/vatsafe';
 import { AmountShape } from '@agoric/ertp';

package/src/exos/stakingAccountKit.d.ts

@@ -0,0 +1,146 @@
+/** maximum clock skew, in seconds, for unbonding time reported from other chain */
+export const maxClockSkew: bigint;
+/**
+ * @typedef {object} StakingAccountNotification
+ * @property {ChainAddress} chainAddress
+ */
+/**
+ * @typedef {{
+ *  topicKit: RecorderKit<StakingAccountNotification>;
+ *  account: IcaAccount;
+ *  chainAddress: ChainAddress;
+ *  icqConnection: ICQConnection;
+ *  bondDenom: string;
+ *  timer: TimerService;
+ * }} State
+ */
+export const IcaAccountHolderI: import("@endo/patterns").InterfaceGuard<{
+    getPublicTopics: import("@endo/patterns").MethodGuard;
+    getAddress: import("@endo/patterns").MethodGuard;
+    getBalance: import("@endo/patterns").MethodGuard;
+    delegate: import("@endo/patterns").MethodGuard;
+    redelegate: import("@endo/patterns").MethodGuard;
+    withdrawReward: import("@endo/patterns").MethodGuard;
+    withdrawRewards: import("@endo/patterns").MethodGuard;
+    undelegate: import("@endo/patterns").MethodGuard;
+}>;
+export function encodeTxResponse(response: any, toProtoMsg: any): string;
+export const trivialDelegateResponse: string;
+export function tryDecodeResponse<T>(ackStr: string, fromProtoMsg: (p: {
+    typeUrl: string;
+    value: Uint8Array;
+}) => T): T;
+export function prepareStakingAccountKit(baggage: Baggage, makeRecorderKit: <T>(storageNode: StorageNode | Awaited<import("@endo/far").FarRef<StorageNode>>, valueShape?: import("@agoric/zoe/src/contractSupport/recorder.js").TypedMatcher<T> | undefined) => RecorderKit<T>, zcf: ZCF): (chainAddress: ChainAddress, bondDenom: string, io: {
+    account: IcaAccount;
+    storageNode: StorageNode;
+    icqConnection: import("@endo/exo").Guarded<{
+        getLocalAddress(): `/ibc-port/${string}`;
+        getRemoteAddress(): `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}`;
+        query(msgs: import("@agoric/cosmic-proto").JsonSafe<import("@agoric/cosmic-proto/tendermint/abci/types.js").RequestQuery>[]): Promise<import("@agoric/cosmic-proto").Base64Any<import("@agoric/cosmic-proto/tendermint/abci/types.js").ResponseQuery>[]>;
+    }>;
+    timer: TimerService;
+}) => import("@endo/exo").GuardedKit<{
+    helper: {
+        /** @throws if this holder no longer owns the account */
+        owned(): IcaAccount;
+        getUpdater(): import("@agoric/zoe/src/contractSupport/recorder.js").Recorder<StakingAccountNotification>;
+        /**
+         * @param {AmountArg} amount
+         * @returns {Coin}
+         */
+        amountToCoin(amount: AmountArg): Coin;
+    };
+    invitationMakers: {
+        /**
+         *
+         * @param {CosmosValidatorAddress} validator
+         * @param {Amount<'nat'>} amount
+         */
+        Delegate(validator: CosmosValidatorAddress, amount: Amount<"nat">): Promise<Invitation<void, undefined>>;
+        /**
+         * @param {CosmosValidatorAddress} srcValidator
+         * @param {CosmosValidatorAddress} dstValidator
+         * @param {AmountArg} amount
+         */
+        Redelegate(srcValidator: CosmosValidatorAddress, dstValidator: CosmosValidatorAddress, amount: AmountArg): Promise<Invitation<void, undefined>>;
+        /** @param {CosmosValidatorAddress} validator */
+        WithdrawReward(validator: CosmosValidatorAddress): Promise<Invitation<DenomAmount[], undefined>>;
+        /**
+         * @param {Delegation[]} delegations
+         */
+        Undelegate(delegations: Delegation[]): Promise<Invitation<void, undefined>>;
+        CloseAccount(): never;
+        /**
+         * Starting a transfer revokes the account holder. The associated updater
+         * will get a special notification that the account is being transferred.
+         */
+        TransferAccount(): never;
+    };
+    holder: {
+        getPublicTopics(): {
+            account: {
+                description: string;
+                subscriber: globalThis.Subscriber<StakingAccountNotification>;
+                storagePath: Promise<string>;
+            };
+        };
+        /** @returns {ChainAddress} */
+        getAddress(): ChainAddress;
+        /**
+         * _Assumes users has already sent funds to their ICA, until #9193
+         * @param {CosmosValidatorAddress} validator
+         * @param {AmountArg} amount
+         */
+        delegate(validator: CosmosValidatorAddress, amount: AmountArg): Promise<void>;
+        /**
+         * _Assumes users has already sent funds to their ICA, until #9193
+         * @param {CosmosValidatorAddress} srcValidator
+         * @param {CosmosValidatorAddress} dstValidator
+         * @param {AmountArg} amount
+         */
+        redelegate(srcValidator: CosmosValidatorAddress, dstValidator: CosmosValidatorAddress, amount: AmountArg): Promise<void>;
+        /**
+         * @param {CosmosValidatorAddress} validator
+         * @returns {Promise<DenomAmount[]>}
+         */
+        withdrawReward(validator: CosmosValidatorAddress): Promise<DenomAmount[]>;
+        /**
+         * @param {DenomAmount['denom']} [denom] - defaults to bondDenom
+         * @returns {Promise<DenomAmount>}
+         */
+        getBalance(denom?: string | undefined): Promise<DenomAmount>;
+        withdrawRewards(): never;
+        /**
+         * @param {Delegation[]} delegations
+         */
+        undelegate(delegations: Delegation[]): Promise<void>;
+    };
+}>;
+export type StakingAccountNotification = {
+    chainAddress: ChainAddress;
+};
+export type State = {
+    topicKit: RecorderKit<StakingAccountNotification>;
+    account: IcaAccount;
+    chainAddress: ChainAddress;
+    icqConnection: import("@endo/exo").Guarded<{
+        getLocalAddress(): `/ibc-port/${string}`;
+        getRemoteAddress(): `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}`;
+        query(msgs: import("@agoric/cosmic-proto").JsonSafe<import("@agoric/cosmic-proto/tendermint/abci/types.js").RequestQuery>[]): Promise<import("@agoric/cosmic-proto").Base64Any<import("@agoric/cosmic-proto/tendermint/abci/types.js").ResponseQuery>[]>;
+    }>;
+    bondDenom: string;
+    timer: TimerService;
+};
+export type StakingAccountKit = ReturnType<ReturnType<typeof prepareStakingAccountKit>>;
+export type StakingAccounHolder = StakingAccountKit["holder"];
+import type { Baggage } from '@agoric/swingset-liveslots';
+import type { RecorderKit } from '@agoric/zoe/src/contractSupport/recorder.js';
+import type { ChainAddress } from '../types.js';
+import type { IcaAccount } from '../types.js';
+import type { TimerService } from '@agoric/time';
+import type { AmountArg } from '../types.js';
+import type { Coin } from '@agoric/cosmic-proto/cosmos/base/v1beta1/coin.js';
+import type { CosmosValidatorAddress } from '../types.js';
+import type { DenomAmount } from '../types.js';
+import type { Delegation } from '@agoric/cosmic-proto/cosmos/staking/v1beta1/staking.js';
+//# sourceMappingURL=stakingAccountKit.d.ts.map

package/src/exos/stakingAccountKit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stakingAccountKit.d.ts","sourceRoot":"","sources":["stakingAccountKit.js"],"names":[],"mappings":"AAiCA,mFAAmF;AACnF,kCAAsC;AAetC;;;GAGG;AAEH;;;;;;;;;GASG;AAEH;;;;;;;;;GAeG;AAcI,yEAMN;AAED,6CAGE;AAaK,kCAFiD,CAAC,UAD9C,MAAM,gBACN,CAAC,CAAC,EAAE;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAC,KAAK,CAAC,KAYxD;AAUM,6FAQ8C,WACpD,GAAK,QACA,OAAG,WAAW,EAAE,MAAM,CAAC,WACtB,CAAC,CAAC,0HAbE,GAAG;;iBAmCC,WAAW;;;;;;;;;QAelB,wDAAwD;;;QAWxD;;;WAGG;;;;QAgBH;;;;WAIG;4DADQ,MAAM,CAAC,KAAK,CAAC;QAUxB;;;;WAIG;;QAaH,gDAAgD;;QAShD;;WAEG;;;QAYH;;;WAGG;;;;;;;;;;;QAmBH,8BAA8B;;QAI9B;;;;WAIG;;QAkBH;;;;;WAKG;;QAmBH;;;WAGG;;QAmBH;;;WAGG;;;QA0BH;;WAEG;;;GA2CV;;;;;;;;;;;;;eAzXc,MAAM;;;gCA2XP,UAAU,CAAC,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAC;kCACvD,iBAAiB,CAAC,QAAQ,CAAC;6BAjZf,4BAA4B;iCADP,6CAA6C;kCADkD,aAAa;gCAAb,aAAa;kCAM5H,cAAc;+BANiG,aAAa;0BAIlI,kDAAkD;4CAJmE,aAAa;iCAAb,aAAa;gCAK5H,wDAAwD"}

package/src/exos/stakingAccountKit.js

@@ -1,4 +1,3 @@
-// @ts-check
 /** @file Use-object for the owner of a staking account */
 import {
   MsgWithdrawDelegatorReward,
@@ -36,7 +35,7 @@ import {
 export const maxClockSkew = 10n * 60n;
 
 /**
- * @import {AmountArg, ChainAccount, ChainAddress, ChainAmount, CosmosValidatorAddress, ICQConnection, StakingAccountActions} from '../types.js';
+ * @import {AmountArg, IcaAccount, ChainAddress, ChainAmount, CosmosValidatorAddress, ICQConnection, StakingAccountActions, DenomAmount} from '../types.js';
  * @import {RecorderKit, MakeRecorderKit} from '@agoric/zoe/src/contractSupport/recorder.js';
  * @import {Baggage} from '@agoric/swingset-liveslots';
  * @import {AnyJson} from '@agoric/cosmic-proto';
@@ -56,7 +55,7 @@ const { Fail } = assert;
 /**
  * @typedef {{
  *  topicKit: RecorderKit<StakingAccountNotification>;
- *  account: ChainAccount;
+ *  account: IcaAccount;
  *  chainAddress: ChainAddress;
  *  icqConnection: ICQConnection;
  *  bondDenom: string;
@@ -64,7 +63,7 @@ const { Fail } = assert;
  * }} State
  */
 
-export const ChainAccountHolderI = M.interface('ChainAccountHolder', {
+export const IcaAccountHolderI = M.interface('IcaAccountHolder', {
   getPublicTopics: M.call().returns(TopicsRecordShape),
   getAddress: M.call().returns(ChainAddressShape),
   getBalance: M.callWhen().optional(M.string()).returns(CoinShape),
@@ -129,8 +128,8 @@ export const tryDecodeResponse = (ackStr, fromProtoMsg) => {
   }
 };
 
-/** @type {(c: { denom: string, amount: string }) => ChainAmount} */
-const toChainAmount = c => ({ denom: c.denom, value: BigInt(c.amount) });
+/** @type {(c: { denom: string, amount: string }) => DenomAmount} */
+const toDenomAmount = c => ({ denom: c.denom, value: BigInt(c.amount) });
 
 /**
  * @param {Baggage} baggage
@@ -147,7 +146,7 @@ export const prepareStakingAccountKit = (baggage, makeRecorderKit, zcf) => {
         getUpdater: M.call().returns(M.remotable()),
         amountToCoin: M.call(AmountShape).returns(M.record()),
       }),
-      holder: ChainAccountHolderI,
+      holder: IcaAccountHolderI,
       invitationMakers: M.interface('invitationMakers', {
         Delegate: M.callWhen(ChainAddressShape, AmountShape).returns(
           InvitationShape,
@@ -169,7 +168,7 @@ export const prepareStakingAccountKit = (baggage, makeRecorderKit, zcf) => {
      * @param {ChainAddress} chainAddress
      * @param {string} bondDenom e.g. 'uatom'
      * @param {object} io
-     * @param {ChainAccount} io.account
+     * @param {IcaAccount} io.account
      * @param {StorageNode} io.storageNode
      * @param {ICQConnection} io.icqConnection
      * @param {TimerService} io.timer
@@ -342,7 +341,7 @@ export const prepareStakingAccountKit = (baggage, makeRecorderKit, zcf) => {
 
         /**
          * @param {CosmosValidatorAddress} validator
-         * @returns {Promise<ChainAmount[]>}
+         * @returns {Promise<DenomAmount[]>}
          */
         async withdrawReward(validator) {
           trace('withdrawReward', validator);
@@ -360,11 +359,11 @@ export const prepareStakingAccountKit = (baggage, makeRecorderKit, zcf) => {
           );
           trace('withdrawReward response', response);
           const { amount: coins } = response;
-          return harden(coins.map(toChainAmount));
+          return harden(coins.map(toDenomAmount));
         },
         /**
-         * @param {ChainAmount['denom']} [denom] - defaults to bondDenom
-         * @returns {Promise<ChainAmount>}
+         * @param {DenomAmount['denom']} [denom] - defaults to bondDenom
+         * @returns {Promise<DenomAmount>}
          */
         async getBalance(denom) {
           const { chainAddress, icqConnection, bondDenom } = this.state;
@@ -384,7 +383,7 @@ export const prepareStakingAccountKit = (baggage, makeRecorderKit, zcf) => {
             decodeBase64(result.key),
           );
           if (!balance) throw Fail`Result lacked balance key: ${result}`;
-          return harden(toChainAmount(balance));
+          return harden(toDenomAmount(balance));
         },
 
         withdrawRewards() {

package/src/facade.d.ts

@@ -0,0 +1,29 @@
+export function makeOrchestrationFacade({ zone, timerService, zcf, storageNode, orchestrationService, }: {
+    zone: Zone;
+    timerService: globalThis.ERef<TimerService>;
+    zcf: ERef<ZCF>;
+    storageNode: ERef<StorageNode>;
+    orchestrationService: globalThis.ERef<import("@endo/exo").Guarded<{
+        makeAccount(hostConnectionId: `connection-${number}`, controllerConnectionId: `connection-${number}`): Promise<import("./cosmos-api.js").IcaAccount>;
+        provideICQConnection(controllerConnectionId: `connection-${number}`): Promise<import("@endo/exo").Guarded<{
+            getLocalAddress(): `/ibc-port/${string}`;
+            getRemoteAddress(): `/${string}ibc-port/${string}/ordered/${string}` | `/${string}ibc-port/${string}/unordered/${string}`;
+            query(msgs: import("@agoric/cosmic-proto").JsonSafe<import("@agoric/cosmic-proto/tendermint/abci/types.js").RequestQuery>[]): Promise<import("@agoric/cosmic-proto").Base64Any<import("@agoric/cosmic-proto/tendermint/abci/types.js").ResponseQuery>[]>;
+        }>>;
+    }>>;
+}): {
+    /**
+     * @template Context
+     * @template {any[]} Args
+     * @param {string} durableName
+     * @param {Context} ctx
+     * @param {(orc: Orchestrator, ctx2: Context, ...args: Args) => object} fn
+     * @returns {(...args: Args) => Promise<unknown>}
+     */
+    orchestrate<Context, Args extends any[]>(durableName: string, ctx: Context, fn: (orc: Orchestrator, ctx2: Context, ...args: Args) => object): (...args: Args) => Promise<unknown>;
+};
+export type OrchestrationFacade = ReturnType<typeof makeOrchestrationFacade>;
+import type { Zone } from '@agoric/zone';
+import type { TimerService } from '@agoric/time';
+import type { Orchestrator } from './types.js';
+//# sourceMappingURL=facade.d.ts.map