@agoric/orchestration 0.1.1-dev-81ac381.0 → 0.1.1-dev-ac88da5.0

package/README.md

@@ -3,3 +3,18 @@
 Build feature-rich applications that can orchestrate assets and services across the interchain.
 
 Usage examples can be found under [src/examples](https://github.com/Agoric/agoric-sdk/tree/master/packages/orchestration/src/examples). They are exported for integration testing with other packages.
+
+## Orchestration flows
+
+Flows to orchestrate are regular Javascript functions but have some constraints to fulfill the requirements of resumability after termination of the enclosing vat. Some requirements for each orchestration flow:
+- must not close over any values that could change between invocations
+- must satisfy the `OrchestrationFlow` interface
+- must be hardened
+- must not use `E()` (eventual send)
+
+The call to `orchestrate` using a flow function in reincarnations of the vat must have the same `durableName` as before. To help enforce these constraints, we recommend:
+
+- keeping flows in a `.flows.js` module
+- importing them all with `import * as flows` to get a single object keyed by the export name
+- using `orchestrateAll` to treat each export name as the `durableName` of the flow
+- adopting `@agoric/eslint-config` that has rules to help detect problems

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/orchestration",
-  "version": "0.1.1-dev-81ac381.0+81ac381",
+  "version": "0.1.1-dev-ac88da5.0+ac88da5",
   "description": "Chain abstraction for Agoric's orchestration clients",
   "type": "module",
   "main": "index.js",
@@ -33,19 +33,19 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/async-flow": "0.1.1-dev-81ac381.0+81ac381",
-    "@agoric/cosmic-proto": "0.4.1-dev-81ac381.0+81ac381",
-    "@agoric/ertp": "0.16.3-dev-81ac381.0+81ac381",
-    "@agoric/internal": "0.3.3-dev-81ac381.0+81ac381",
-    "@agoric/network": "0.1.1-dev-81ac381.0+81ac381",
-    "@agoric/notifier": "0.6.3-dev-81ac381.0+81ac381",
-    "@agoric/store": "0.9.3-dev-81ac381.0+81ac381",
-    "@agoric/time": "0.3.3-dev-81ac381.0+81ac381",
-    "@agoric/vat-data": "0.5.3-dev-81ac381.0+81ac381",
-    "@agoric/vats": "0.15.2-dev-81ac381.0+81ac381",
-    "@agoric/vow": "0.1.1-dev-81ac381.0+81ac381",
-    "@agoric/zoe": "0.26.3-dev-81ac381.0+81ac381",
-    "@agoric/zone": "0.2.3-dev-81ac381.0+81ac381",
+    "@agoric/async-flow": "0.1.1-dev-ac88da5.0+ac88da5",
+    "@agoric/cosmic-proto": "0.4.1-dev-ac88da5.0+ac88da5",
+    "@agoric/ertp": "0.16.3-dev-ac88da5.0+ac88da5",
+    "@agoric/internal": "0.3.3-dev-ac88da5.0+ac88da5",
+    "@agoric/network": "0.1.1-dev-ac88da5.0+ac88da5",
+    "@agoric/notifier": "0.6.3-dev-ac88da5.0+ac88da5",
+    "@agoric/store": "0.9.3-dev-ac88da5.0+ac88da5",
+    "@agoric/time": "0.3.3-dev-ac88da5.0+ac88da5",
+    "@agoric/vat-data": "0.5.3-dev-ac88da5.0+ac88da5",
+    "@agoric/vats": "0.15.2-dev-ac88da5.0+ac88da5",
+    "@agoric/vow": "0.1.1-dev-ac88da5.0+ac88da5",
+    "@agoric/zoe": "0.26.3-dev-ac88da5.0+ac88da5",
+    "@agoric/zone": "0.2.3-dev-ac88da5.0+ac88da5",
     "@endo/base64": "^1.0.5",
     "@endo/errors": "^1.2.2",
     "@endo/far": "^1.1.2",
@@ -54,7 +54,7 @@
     "@noble/hashes": "github:paulmillr/noble-hashes#ae060da"
   },
   "devDependencies": {
-    "@agoric/swingset-liveslots": "0.10.3-dev-81ac381.0+81ac381",
+    "@agoric/swingset-liveslots": "0.10.3-dev-ac88da5.0+ac88da5",
     "@chain-registry/client": "^1.47.4",
     "@cosmjs/amino": "^0.32.3",
     "@cosmjs/proto-signing": "^0.32.3",
@@ -92,7 +92,7 @@
     "access": "public"
   },
   "typeCoverage": {
-    "atLeast": 98.09
+    "atLeast": 98.05
   },
-  "gitHead": "81ac38153db929618831ac19f57c019769d3cbef"
+  "gitHead": "ac88da5f5661e8c366b7956edd064729dc9b86e3"
 }

package/src/examples/auto-stake-it.contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"auto-stake-it.contract.d.ts","sourceRoot":"","sources":["auto-stake-it.contract.js"],"names":[],"mappings":"AAyLA;gBAhDiB,UAAU;;;;;;;;;;;uBA5FX,MAAM;uBACN,sBAAsB;wBACrB,KAAK;;;;;;;;;;;;;GA0I2B;kCA9JpC;IACZ,UAAc,EAAE,OAAO,UAAU,CAAC,CAAC;IACnC,oBAAwB,EAAE,OAAO,uBAAuB,CAAC,CAAC;IAC1D,WAAe,EAAE,OAAO,WAAW,CAAC,CAAC;IACrC,YAAgB,EAAE,OAAO,YAAY,CAAC,CAAC;IACvC,WAAe,EAAE,OAAO,OAAO,CAAC,CAAC;CAC9B;4BA0JU,OAAO,KAAK;yCA9KY,2CAA2C;4CAMmD,uBAAuB;2BAAvB,uBAAuB;gCAL9H,gCAAgC;4BAEpC,aAAa;6CAG8F,uBAAuB;kCAP5H,cAAc;6BAGnB,cAAc"}
+{"version":3,"file":"auto-stake-it.contract.d.ts","sourceRoot":"","sources":["auto-stake-it.contract.js"],"names":[],"mappings":"AA0LA;gBAhDiB,UAAU;;;;;;;;;;;uBA5FX,MAAM;uBACN,sBAAsB;wBACrB,KAAK;;;;;;;;;;;;;GA0I2B;kCA/JpC;IACZ,UAAc,EAAE,OAAO,UAAU,CAAC,CAAC;IACnC,oBAAwB,EAAE,OAAO,uBAAuB,CAAC,CAAC;IAC1D,WAAe,EAAE,OAAO,WAAW,CAAC,CAAC;IACrC,YAAgB,EAAE,OAAO,YAAY,CAAC,CAAC;IACvC,WAAe,EAAE,OAAO,OAAO,CAAC,CAAC;CAC9B;4BA2JU,OAAO,KAAK;yCA/KY,2CAA2C;4CAMsE,uBAAuB;2BAAvB,uBAAuB;gCALjJ,gCAAgC;4BAEpC,aAAa;6CAGiH,uBAAuB;kCAP/I,cAAc;6BAGnB,cAAc"}

package/src/examples/auto-stake-it.contract.js

@@ -17,7 +17,7 @@ import { preparePortfolioHolder } from '../exos/portfolio-holder-kit.js';
  * @import {Remote} from '@agoric/vow';
  * @import {Zone} from '@agoric/zone';
  * @import {GuestInterface} from '@agoric/async-flow';
- * @import {CosmosValidatorAddress, Orchestrator, CosmosInterchainService, Denom, OrchestrationAccount, StakingAccountActions} from '@agoric/orchestration';
+ * @import {CosmosValidatorAddress, Orchestrator, CosmosInterchainService, Denom, OrchestrationAccount, StakingAccountActions, OrchestrationFlow} from '@agoric/orchestration';
  * @import {MakeStakingTap} from './auto-stake-it-tap-kit.js';
  * @import {MakePortfolioHolder} from '../exos/portfolio-holder-kit.js';
  * @import {ChainHub} from '../exos/chain-hub.js';
@@ -35,6 +35,7 @@ import { preparePortfolioHolder } from '../exos/portfolio-holder-kit.js';
  */
 
 /**
+ * @satisfies {OrchestrationFlow}
  * @param {Orchestrator} orch
  * @param {{
  *   makeStakingTap: MakeStakingTap;

package/src/examples/basic-flows.contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"basic-flows.contract.d.ts","sourceRoot":"","sources":["basic-flows.contract.js"],"names":[],"mappings":"AAmIA;gBAhDiB,UAAU;;;;uBA1DH,MAAM;;;;;;;;;;wBAmBL,MAAM,EAAE;;;GAuFgB;2BAEnC,OAAO,KAAK;yCAxHY,0BAA0B;yCAD1B,2CAA2C"}
+{"version":3,"file":"basic-flows.contract.d.ts","sourceRoot":"","sources":["basic-flows.contract.js"],"names":[],"mappings":"AAqIA;gBAhDiB,UAAU;;;;uBA3DH,MAAM;;;;;;;;;;wBAoBL,MAAM,EAAE;;;GAuFgB;2BAEnC,OAAO,KAAK;yCA1HY,0BAA0B;yCAD1B,2CAA2C"}

package/src/examples/basic-flows.contract.js

@@ -9,7 +9,7 @@ import { preparePortfolioHolder } from '../exos/portfolio-holder-kit.js';
 
 /**
  * @import {Zone} from '@agoric/zone';
- * @import {OrchestrationAccount, Orchestrator} from '@agoric/orchestration';
+ * @import {OrchestrationAccount, OrchestrationFlow, Orchestrator} from '@agoric/orchestration';
  * @import {ResolvedPublicTopic} from '@agoric/zoe/src/contractSupport/topics.js';
  * @import {OrchestrationPowers} from '../utils/start-helper.js';
  * @import {MakePortfolioHolder} from '../exos/portfolio-holder-kit.js';
@@ -20,6 +20,7 @@ import { preparePortfolioHolder } from '../exos/portfolio-holder-kit.js';
  * Create an account on a Cosmos chain and return a continuing offer with
  * invitations makers for Delegate, WithdrawRewards, Transfer, etc.
  *
+ * @satisfies {OrchestrationFlow}
  * @param {Orchestrator} orch
  * @param {undefined} _ctx
  * @param {ZCFSeat} seat
@@ -39,6 +40,7 @@ const makeOrchAccountHandler = async (orch, _ctx, seat, { chainName }) => {
  * Calls to the underlying invitationMakers are proxied through the
  * `MakeInvitation` invitation maker.
  *
+ * @satisfies {OrchestrationFlow}
  * @param {Orchestrator} orch
  * @param {MakePortfolioHolder} makePortfolioHolder
  * @param {ZCFSeat} seat

package/src/examples/sendAnywhere.contract.js

@@ -5,7 +5,7 @@ import { Fail } from '@endo/errors';
 import { E } from '@endo/far';
 import { M } from '@endo/patterns';
 import { withOrchestration } from '../utils/start-helper.js';
-import { orchestrationFns } from './sendAnywhereFlows.js';
+import * as flows from './sendAnywhere.flows.js';
 import { prepareChainHubAdmin } from '../exos/chain-hub-admin.js';
 
 /**
@@ -76,7 +76,7 @@ const contract = async (
   );
 
   // orchestrate uses the names on orchestrationFns to do a "prepare" of the associated behavior
-  const orchFns = orchestrateAll(orchestrationFns, {
+  const orchFns = orchestrateAll(flows, {
     zcf,
     contractState,
     localTransfer: zoeTools.localTransfer,

package/src/examples/sendAnywhere.flows.d.ts

@@ -0,0 +1,27 @@
+/**
+ * @satisfies {OrchestrationFlow}
+ * @param {Orchestrator} orch
+ * @param {object} ctx
+ * @param {{ account?: OrchestrationAccountI & LocalAccountMethods }} ctx.contractState
+ * @param {GuestOf<ZoeTools['localTransfer']>} ctx.localTransfer
+ * @param {(brand: Brand) => Promise<VBankAssetDetail>} ctx.findBrandInVBank
+ * @param {ZCFSeat} seat
+ * @param {{ chainName: string; destAddr: string }} offerArgs
+ */
+export function sendIt(orch: Orchestrator, { contractState, localTransfer, findBrandInVBank }: {
+    contractState: {
+        account?: OrchestrationAccountI & LocalAccountMethods;
+    };
+    localTransfer: GuestOf<ZoeTools["localTransfer"]>;
+    findBrandInVBank: (brand: Brand) => Promise<VBankAssetDetail>;
+}, seat: ZCFSeat, offerArgs: {
+    chainName: string;
+    destAddr: string;
+}): Promise<void>;
+import type { Orchestrator } from '../types.js';
+import type { OrchestrationAccountI } from '../types.js';
+import type { LocalAccountMethods } from '../types.js';
+import type { ZoeTools } from '../utils/zoe-tools.js';
+import type { GuestOf } from '@agoric/async-flow';
+import type { VBankAssetDetail } from '@agoric/vats/tools/board-utils.js';
+//# sourceMappingURL=sendAnywhere.flows.d.ts.map

package/src/examples/sendAnywhere.flows.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sendAnywhere.flows.d.ts","sourceRoot":"","sources":["sendAnywhere.flows.js"],"names":[],"mappings":"AAcA;;;;;;;;;GASG;AACH,6BARW,YAAY,sDAEpB;IAAuE,aAAa,EAA5E;QAAE,OAAO,CAAC,EAAE,qBAAqB,GAAG,mBAAmB,CAAA;KAAE;IACjB,aAAa,EAArD,QAAQ,QAAQ,CAAC,eAAe,CAAC,CAAC;IACe,gBAAgB,EAAjE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,gBAAgB,CAAC;CACnD,QAAQ,OAAO,aACP;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,iBAmCjD;kCAnD6F,aAAa;2CAAb,aAAa;yCAAb,aAAa;8BADhF,uBAAuB;6BAFxB,oBAAoB;sCACX,mCAAmC"}

package/src/examples/sendAnywhere.flows.js

@@ -0,0 +1,59 @@
+import { M, mustMatch } from '@endo/patterns';
+
+/**
+ * @import {GuestOf} from '@agoric/async-flow';
+ * @import {VBankAssetDetail} from '@agoric/vats/tools/board-utils.js';
+ * @import {ZoeTools} from '../utils/zoe-tools.js';
+ * @import {Orchestrator, LocalAccountMethods, OrchestrationAccountI, OrchestrationFlow} from '../types.js';
+ */
+
+const { entries } = Object;
+
+// in guest file (the orchestration functions)
+// the second argument is all the endowments provided
+
+/**
+ * @satisfies {OrchestrationFlow}
+ * @param {Orchestrator} orch
+ * @param {object} ctx
+ * @param {{ account?: OrchestrationAccountI & LocalAccountMethods }} ctx.contractState
+ * @param {GuestOf<ZoeTools['localTransfer']>} ctx.localTransfer
+ * @param {(brand: Brand) => Promise<VBankAssetDetail>} ctx.findBrandInVBank
+ * @param {ZCFSeat} seat
+ * @param {{ chainName: string; destAddr: string }} offerArgs
+ */
+export async function sendIt(
+  orch,
+  { contractState, localTransfer, findBrandInVBank },
+  seat,
+  offerArgs,
+) {
+  mustMatch(offerArgs, harden({ chainName: M.scalar(), destAddr: M.string() }));
+  const { chainName, destAddr } = offerArgs;
+  // NOTE the proposal shape ensures that the `give` is a single asset
+  const { give } = seat.getProposal();
+  const [[_kw, amt]] = entries(give);
+  const { denom } = await findBrandInVBank(amt.brand);
+  const chain = await orch.getChain(chainName);
+
+  if (!contractState.account) {
+    const agoricChain = await orch.getChain('agoric');
+    contractState.account = await agoricChain.makeAccount();
+  }
+
+  const info = await chain.getChainInfo();
+  const { chainId } = info;
+  assert(typeof chainId === 'string', 'bad chainId');
+
+  await localTransfer(seat, contractState.account, give);
+
+  await contractState.account.transfer(
+    { denom, value: amt.value },
+    {
+      value: destAddr,
+      encoding: 'bech32',
+      chainId,
+    },
+  );
+}
+harden(sendIt);

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

@@ -1 +1 @@
-{"version":3,"file":"swapExample.contract.d.ts","sourceRoot":"","sources":["swapExample.contract.js"],"names":[],"mappings":"AA6DA,yCAAyC;AACzC,mBADW,YAAY,CAAC,OAAO,KAAK,CAAC,CAWnC;AASK,0CAHI,KAAK;;;EAIsC;AA6CtD;iBAtCkB,OAAO,OAAO,CAAC;gBAChB,OAAO,UAAU,CAAC;0BACR,OAAO,uBAAuB,CAAC;iBACxC,OAAO,WAAW,CAAC;kBAClB,OAAO,YAAY,CAAC;gBACtB,UAAU;;;;oBAtEhB,MAAM,CAAC,KAAK,CAAC;uBACb,sBAAsB;;;GAsGgB;6BAlHvB,cAAc;4BAFf,kBAAkB;gCADd,gCAAgC;6CAEnB,sCAAsC;kCAHjD,cAAc;4CADU,aAAa"}
+{"version":3,"file":"swapExample.contract.d.ts","sourceRoot":"","sources":["swapExample.contract.js"],"names":[],"mappings":"AA8DA,yCAAyC;AACzC,mBADW,YAAY,CAAC,OAAO,KAAK,CAAC,CAWnC;AASK,0CAHI,KAAK;;;EAIsC;AA6CtD;iBAtCkB,OAAO,OAAO,CAAC;gBAChB,OAAO,UAAU,CAAC;0BACR,OAAO,uBAAuB,CAAC;iBACxC,OAAO,WAAW,CAAC;kBAClB,OAAO,YAAY,CAAC;gBACtB,UAAU;;;;oBAtEhB,MAAM,CAAC,KAAK,CAAC;uBACb,sBAAsB;;;GAsGgB;6BAnHvB,cAAc;4BAFf,kBAAkB;gCADd,gCAAgC;6CAEnB,sCAAsC;kCAHjD,cAAc;4CAD6B,aAAa"}

package/src/examples/swapExample.contract.js

@@ -6,7 +6,7 @@ import { withOrchestration } from '../utils/start-helper.js';
 
 /**
  * @import {LocalTransfer} from '../utils/zoe-tools.js';
- * @import {Orchestrator, CosmosValidatorAddress} from '../types.js'
+ * @import {Orchestrator, CosmosValidatorAddress, OrchestrationFlow} from '../types.js'
  * @import {TimerService} from '@agoric/time';
  * @import {LocalChain} from '@agoric/vats/src/localchain.js';
  * @import {Remote} from '@agoric/internal';
@@ -17,6 +17,7 @@ import { withOrchestration } from '../utils/start-helper.js';
  */
 
 /**
+ * @satisfies {OrchestrationFlow}
  * @param {Orchestrator} orch
  * @param {object} ctx
  * @param {LocalTransfer} ctx.localTransfer

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

@@ -1 +1 @@
-{"version":3,"file":"unbondExample.contract.d.ts","sourceRoot":"","sources":["unbondExample.contract.js"],"names":[],"mappings":"AAqFA;iBApCkB,OAAO,OAAO,CAAC;gBAChB,OAAO,UAAU,CAAC;0BACR,OAAO,uBAAuB,CAAC;iBACxC,OAAO,WAAW,CAAC;gBACpB,UAAU;kBACR,OAAO,YAAY,CAAC;;;;;GA+BU;6BA9EvB,cAAc;4BACf,kBAAkB;gCAFd,gCAAgC;6CAInB,sCAAsC;kCALjD,cAAc"}
+{"version":3,"file":"unbondExample.contract.d.ts","sourceRoot":"","sources":["unbondExample.contract.js"],"names":[],"mappings":"AAsFA;iBApCkB,OAAO,OAAO,CAAC;gBAChB,OAAO,UAAU,CAAC;0BACR,OAAO,uBAAuB,CAAC;iBACxC,OAAO,WAAW,CAAC;gBACpB,UAAU;kBACR,OAAO,YAAY,CAAC;;;;;GA+BU;6BA/EvB,cAAc;4BACf,kBAAkB;gCAFd,gCAAgC;6CAInB,sCAAsC;kCALjD,cAAc"}

package/src/examples/unbondExample.contract.js

@@ -2,7 +2,7 @@ import { M } from '@endo/patterns';
 import { withOrchestration } from '../utils/start-helper.js';
 
 /**
- * @import {Orchestrator, IcaAccount, CosmosValidatorAddress} from '../types.js'
+ * @import {Orchestrator, OrchestrationFlow} from '../types.js'
  * @import {TimerService} from '@agoric/time';
  * @import {LocalChain} from '@agoric/vats/src/localchain.js';
  * @import {NameHub} from '@agoric/vats';
@@ -13,6 +13,7 @@ import { withOrchestration } from '../utils/start-helper.js';
  */
 
 /**
+ * @satisfies {OrchestrationFlow}
  * @param {Orchestrator} orch
  * @param {object} ctx
  * @param {ZCF} ctx.zcf

package/src/facade.d.ts

@@ -14,15 +14,15 @@ export function makeOrchestrationFacade({ zone, timerService, zcf, storageNode,
         wakeAll(): void;
         getFlowForOutcomeVow(outcomeVow: any): any;
     }>;
-    orchestrate: <GR, HC, GA extends any[]>(durableName: string, hostCtx: HC, guestFn: (guestOrc: Orchestrator, guestCtx: GuestInterface<HC>, ...args: GA) => Promise<GR>) => (...args: HostArgs<GA>) => Vow<GR>;
+    orchestrate: <HC, GF extends OrchestrationFlow<GuestInterface<HC>>>(durableName: string, hostCtx: HC, guestFn: GF) => HostForGuest<GF>;
     orchestrateAll: <HC, GFM extends {
-        [durableName: string]: (orc: Orchestrator, ctx: GuestInterface<HC>, ...args: any[]) => Promise<any>;
+        [durableName: string]: OrchestrationFlow<GuestInterface<HC>>;
     }>(guestFns: GFM, hostCtx: HC) => { [N in keyof GFM]: HostForGuest<GFM[N]>; };
 };
 /**
  * For a given guest passed to orchestrate(), return the host-side form.
  */
-export type HostForGuest<GF extends (orc: Orchestrator, ctx: any, ...args: any[]) => Promise<any>> = GF extends (orc: Orchestrator, ctx: any, ...args: infer GA) => Promise<infer GR> ? (...args: HostArgs<GA>) => Vow<GR> : never;
+export type HostForGuest<GF extends OrchestrationFlow> = GF extends (orc: Orchestrator, ctx: any, ...args: infer GA) => Promise<infer GR> ? (...args: HostArgs<GA>) => Vow<GR> : never;
 export type OrchestrationFacade = ReturnType<typeof makeOrchestrationFacade>;
 import type { Zone } from '@agoric/zone';
 import type { TimerService } from '@agoric/time';
@@ -32,8 +32,9 @@ import type { MakeRecorderKit } from '@agoric/zoe/src/contractSupport/recorder.j
 import type { HostOrchestrator } from './exos/orchestrator.js';
 import type { VowTools } from '@agoric/vow';
 import type { AsyncFlowTools } from '@agoric/async-flow';
-import type { Orchestrator } from './types.js';
 import type { GuestInterface } from '@agoric/async-flow';
+import type { OrchestrationFlow } from './types.js';
+import type { Orchestrator } from './types.js';
 import type { HostArgs } from '@agoric/async-flow';
 import type { Vow } from '@agoric/vow';
 //# sourceMappingURL=facade.d.ts.map

package/src/facade.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"facade.d.ts","sourceRoot":"","sources":["facade.js"],"names":[],"mappings":"AA0CO,sKAZI;IACV,IAAQ,EAAE,IAAI,CAAC;IACf,YAAgB,EAAE,OAAO,YAAY,CAAC,CAAC;IACvC,GAAO,EAAE,GAAG,CAAC;IACb,WAAe,EAAE,OAAO,WAAW,CAAC,CAAC;IACrC,oBAAwB,EAAE,OAAO,uBAAuB,CAAC,CAAC;IAC1D,eAAmB,EAAE,eAAe,CAAC;IACrC,gBAAoB,EAAE,MAAM,gBAAgB,CAAC;IAC7C,QAAY,EAAE,QAAQ,CAAC;IACvB,cAAkB,EAAE,cAAc,CAAC;CAChC;;;;;;kBA4BW,EAAE,EACF,EAAE,EACM,EAAE,SAAT,GAAG,EAAG,eACT,MAAM,WAEN,EAAE,WACF,CACV,QAAY,EAAE,YAAY,EAC1B,QAAY,EAAE,eAAe,EAAE,CAAC,EAChC,GAAO,IAAI,EAAE,EAAE,KACR,OAAO,CAAC,EAAE,CAAC,KACN,CAAC,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;qBA2BlC,EAAE,EAOT,GAAG,SANI;QACZ,CAAK,WAAW,EAAE,MAAM,GAAG,CAC3B,GAAS,EAAE,YAAY,EACvB,GAAS,EAAE,eAAe,EAAE,CAAC,EAC7B,GAAS,IAAI,EAAE,GAAG,EAAE,KACX,OAAO,CAAC,GAAG,CAAC,CAAC;KAClB,YAEM,GAAG,WACH,EAAE,KACA,GAAG,CAAc,IAAT,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAE;EAiBxD;;;;yBAnH4E,EAAE,SAAlE,CAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,OAAO,CAAC,GAAG,CAAE,IAC/D,EAAE,SAAS,CACvB,GAAO,EAAE,YAAY,EACrB,GAAO,EAAE,GAAG,EACZ,GAAO,IAAI,EAAE,MAAM,EAAE,KACd,OAAO,CAAC,MAAM,EAAE,CAAC,GAClB,CAAC,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAClC,KAAK;kCA8GE,UAAU,CAAC,OAAO,uBAAuB,CAAC;0BAlIjC,cAAc;kCAEN,cAAc;4BAGpB,kBAAkB;6CACD,qCAAqC;qCAHhC,6CAA6C;sCACzD,wBAAwB;8BAH3B,aAAa;oCAFsB,oBAAoB;kCAQoB,YAAY;oCARpD,oBAAoB;8BAApB,oBAAoB;yBAEvD,aAAa"}
+{"version":3,"file":"facade.d.ts","sourceRoot":"","sources":["facade.js"],"names":[],"mappings":"AA0CO,sKAZI;IACV,IAAQ,EAAE,IAAI,CAAC;IACf,YAAgB,EAAE,OAAO,YAAY,CAAC,CAAC;IACvC,GAAO,EAAE,GAAG,CAAC;IACb,WAAe,EAAE,OAAO,WAAW,CAAC,CAAC;IACrC,oBAAwB,EAAE,OAAO,uBAAuB,CAAC,CAAC;IAC1D,eAAmB,EAAE,eAAe,CAAC;IACrC,gBAAoB,EAAE,MAAM,gBAAgB,CAAC;IAC7C,QAAY,EAAE,QAAQ,CAAC;IACvB,cAAkB,EAAE,cAAc,CAAC;CAChC;;;;;;kBA4BW,EAAE,EACsC,EAAE,SAA1C,kBAAmB,eAAe,EAAE,CAAC,CAAE,eACzC,MAAM,WAEN,EAAE,WACF,EAAE,KACA,YAAY,CAAC,EAAE,CAAC;qBA2BhB,EAAE,EAGT,GAAG,SAFI;QACZ,CAAK,WAAW,EAAE,MAAM,GAAG,kBAAkB,eAAe,EAAE,CAAC,CAAC,CAAC;KAC7D,YAEM,GAAG,WACH,EAAE,KACA,GAAG,CAAc,IAAT,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAE;EAiBxD;;;;yBA1GgC,EAAE,SAAtB,iBAAmB,IACnB,EAAE,SAAS,CACvB,GAAO,EAAE,YAAY,EACrB,GAAO,EAAE,GAAG,EACZ,GAAO,IAAI,EAAE,MAAM,EAAE,KACd,OAAO,CAAC,MAAM,EAAE,CAAC,GAClB,CAAC,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAClC,KAAK;kCAqGE,UAAU,CAAC,OAAO,uBAAuB,CAAC;0BAzHjC,cAAc;kCAEN,cAAc;4BAGpB,kBAAkB;6CACD,qCAAqC;qCAHhC,6CAA6C;sCACzD,wBAAwB;8BAH3B,aAAa;oCAFsB,oBAAoB;oCAApB,oBAAoB;uCAQuC,YAAY;kCAAZ,YAAY;8BARvE,oBAAoB;yBAEvD,aAAa"}

package/src/facade.js

@@ -11,13 +11,13 @@ import { assertAllDefined } from '@agoric/internal';
  * @import {HostOrchestrator} from './exos/orchestrator.js';
  * @import {Remote} from '@agoric/internal';
  * @import {CosmosInterchainService} from './exos/cosmos-interchain-service.js';
- * @import {Chain, ChainInfo, CosmosChainInfo, IBCConnectionInfo, OrchestrationAccount, Orchestrator} from './types.js';
+ * @import {Chain, ChainInfo, CosmosChainInfo, IBCConnectionInfo, OrchestrationAccount, OrchestrationFlow, Orchestrator} from './types.js';
  */
 
 /**
  * For a given guest passed to orchestrate(), return the host-side form.
  *
- * @template {(orc: Orchestrator, ctx: any, ...args: any[]) => Promise<any>} GF
+ * @template {OrchestrationFlow} GF
  * @typedef {GF extends (
  *   orc: Orchestrator,
  *   ctx: any,
@@ -66,18 +66,13 @@ export const makeOrchestrationFacade = ({
   const { prepareEndowment, asyncFlow, adminAsyncFlow } = asyncFlowTools;
 
   /**
-   * @template GR - return type
    * @template HC - host context
-   * @template {any[]} GA - guest args
+   * @template {OrchestrationFlow<GuestInterface<HC>>} GF guest fn
    * @param {string} durableName - the orchestration flow identity in the zone
    *   (to resume across upgrades)
    * @param {HC} hostCtx - values to pass through the async flow membrane
-   * @param {(
-   *   guestOrc: Orchestrator,
-   *   guestCtx: GuestInterface<HC>,
-   *   ...args: GA
-   * ) => Promise<GR>} guestFn
-   * @returns {(...args: HostArgs<GA>) => Vow<GR>}
+   * @param {GF} guestFn
+   * @returns {HostForGuest<GF>}
    */
   const orchestrate = (durableName, hostCtx, guestFn) => {
     const subZone = zone.subZone(durableName);
@@ -92,7 +87,7 @@ export const makeOrchestrationFacade = ({
     const hostFn = asyncFlow(subZone, 'asyncFlow', guestFn);
 
     // cast because return could be arbitrary subtype
-    const orcFn = /** @type {(...args: HostArgs<GA>) => Vow<GR>} */ (
+    const orcFn = /** @type {HostForGuest<GF>} */ (
       (...args) => hostFn(wrappedOrc, wrappedCtx, ...args)
     );
 
@@ -106,11 +101,7 @@ export const makeOrchestrationFacade = ({
    *
    * @template HC - host context
    * @template {{
-   *   [durableName: string]: (
-   *     orc: Orchestrator,
-   *     ctx: GuestInterface<HC>,
-   *     ...args: any[]
-   *   ) => Promise<any>;
+   *   [durableName: string]: OrchestrationFlow<GuestInterface<HC>>;
    * }} GFM
    *   guest fn map
    * @param {GFM} guestFns

package/src/orchestration-api.d.ts

@@ -7,6 +7,7 @@ import type { Amount, Brand, NatAmount } from '@agoric/ertp/src/types.js';
 import type { Timestamp } from '@agoric/time';
 import type { LocalChainAccount } from '@agoric/vats/src/localchain.js';
 import type { ResolvedPublicTopic } from '@agoric/zoe/src/contractSupport/topics.js';
+import type { Passable } from '@endo/marshal';
 import type { ChainInfo, CosmosChainAccountMethods, CosmosChainInfo, IBCMsgTransferOptions, KnownChains, LocalAccountMethods } from './types.js';
 import type { ResolvedContinuingOfferResult } from './utils/zoe-tools.js';
 /**
@@ -141,6 +142,9 @@ export interface OrchestrationAccountI {
      */
     getPublicTopics: () => Promise<Record<string, ResolvedPublicTopic<unknown>>>;
 }
+export interface OrchestrationFlow<CT = unknown> {
+    (orc: Orchestrator, ctx: CT, ...args: Passable[]): Promise<unknown>;
+}
 /**
  * Internal structure for TransferMsgs.
  * The type must be able to express transfers across different chains and transports.

package/src/orchestration-api.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"orchestration-api.d.ts","sourceRoot":"","sources":["orchestration-api.ts"],"names":[],"mappings":"AACA;;;;GAIG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2CAA2C,CAAC;AACrF,OAAO,KAAK,EACV,SAAS,EACT,yBAAyB,EACzB,eAAe,EACf,qBAAqB,EACrB,WAAW,EACX,mBAAmB,EACpB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAE1E;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAI3B;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,KAAK,CAAC;AAErC;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,2EAA2E;AAC3E,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,MAAM,CAAC;AAE7C,6DAA6D;AAC7D,MAAM,MAAM,YAAY,GAAG;IACzB,uEAAuE;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,QAAQ,GAAG,UAAU,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,oBAAoB,CAAC,EAAE,SAAS,SAAS,IAAI,qBAAqB,GAC5E,CAAC,EAAE,SAAS,eAAe,GACvB,EAAE,CAAC,SAAS,CAAC,SAAS,SAAS,MAAM,EAAE,GACrC,yBAAyB,CAAC,EAAE,CAAC,GAAG,mBAAmB,GACnD,yBAAyB,CAAC,EAAE,CAAC,GAC/B,EAAE,CAAC,CAAC;AAEV;;;;;GAKG;AACH,MAAM,WAAW,KAAK,CAAC,EAAE,SAAS,SAAS;IACzC,YAAY,EAAE,MAAM,OAAO,CAAC,EAAE,CAAC,CAAC;IAGhC;;;OAGG;IACH,WAAW,EAAE,MAAM,OAAO,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC;CAItD;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,CAAC,CAAC,SAAS,MAAM,EACzB,SAAS,EAAE,CAAC,KACT,OAAO,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IAExE,gBAAgB,EAAE,MAAM,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACnD;;;;;OAKG;IACH,YAAY,EAAE,CACZ,YAAY,SAAS,MAAM,WAAW,EACtC,YAAY,SAAS,MAAM,WAAW,EAEtC,KAAK,EAAE,KAAK,KACT;QACH,0DAA0D;QAC1D,KAAK,CAAC,EAAE,KAAK,CAAC;QACd,yFAAyF;QACzF,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QACxC,2DAA2D;QAC3D,IAAI,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QACvC,6DAA6D;QAC7D,SAAS,EAAE,KAAK,CAAC;KAClB,CAAC;IAEF;;;;OAIG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,SAAS,CAAC;CAC9C;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC;;OAEG;IACH,UAAU,EAAE,MAAM,YAAY,CAAC;IAE/B,qEAAqE;IACrE,WAAW,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAE1C,gEAAgE;IAChE,UAAU,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;IAEtD;;;;;OAKG;IACH,IAAI,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpE;;;;;;;;;OASG;IACH,QAAQ,EAAE,CACR,MAAM,EAAE,SAAS,EACjB,WAAW,EAAE,YAAY,EACzB,IAAI,CAAC,EAAE,qBAAqB,KACzB,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnB;;;;;;OAMG;IACH,aAAa,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtE;;;;OAIG;IACH,iBAAiB,EAAE,MAAM,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAEhE;;;;;OAKG;IACH,eAAe,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;CAC9E;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,SAAS,EAAE,YAAY,CAAC;IACxB,OAAO,CAAC,EAAE,SAAS,CAAC;IACpB,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,YAAY,CAAA;CAAE,CAAC;AAC3E,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAChE,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,KAAK,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC"}
+{"version":3,"file":"orchestration-api.d.ts","sourceRoot":"","sources":["orchestration-api.ts"],"names":[],"mappings":"AACA;;;;GAIG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2CAA2C,CAAC;AACrF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EACV,SAAS,EACT,yBAAyB,EACzB,eAAe,EACf,qBAAqB,EACrB,WAAW,EACX,mBAAmB,EACpB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAE1E;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAI3B;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,KAAK,CAAC;AAErC;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,2EAA2E;AAC3E,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,MAAM,CAAC;AAE7C,6DAA6D;AAC7D,MAAM,MAAM,YAAY,GAAG;IACzB,uEAAuE;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,QAAQ,GAAG,UAAU,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,oBAAoB,CAAC,EAAE,SAAS,SAAS,IAAI,qBAAqB,GAC5E,CAAC,EAAE,SAAS,eAAe,GACvB,EAAE,CAAC,SAAS,CAAC,SAAS,SAAS,MAAM,EAAE,GACrC,yBAAyB,CAAC,EAAE,CAAC,GAAG,mBAAmB,GACnD,yBAAyB,CAAC,EAAE,CAAC,GAC/B,EAAE,CAAC,CAAC;AAEV;;;;;GAKG;AACH,MAAM,WAAW,KAAK,CAAC,EAAE,SAAS,SAAS;IACzC,YAAY,EAAE,MAAM,OAAO,CAAC,EAAE,CAAC,CAAC;IAGhC;;;OAGG;IACH,WAAW,EAAE,MAAM,OAAO,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC;CAItD;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,CAAC,CAAC,SAAS,MAAM,EACzB,SAAS,EAAE,CAAC,KACT,OAAO,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IAExE,gBAAgB,EAAE,MAAM,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACnD;;;;;OAKG;IACH,YAAY,EAAE,CACZ,YAAY,SAAS,MAAM,WAAW,EACtC,YAAY,SAAS,MAAM,WAAW,EAEtC,KAAK,EAAE,KAAK,KACT;QACH,0DAA0D;QAC1D,KAAK,CAAC,EAAE,KAAK,CAAC;QACd,yFAAyF;QACzF,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QACxC,2DAA2D;QAC3D,IAAI,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QACvC,6DAA6D;QAC7D,SAAS,EAAE,KAAK,CAAC;KAClB,CAAC;IAEF;;;;OAIG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,SAAS,CAAC;CAC9C;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC;;OAEG;IACH,UAAU,EAAE,MAAM,YAAY,CAAC;IAE/B,qEAAqE;IACrE,WAAW,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAE1C,gEAAgE;IAChE,UAAU,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;IAEtD;;;;;OAKG;IACH,IAAI,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpE;;;;;;;;;OASG;IACH,QAAQ,EAAE,CACR,MAAM,EAAE,SAAS,EACjB,WAAW,EAAE,YAAY,EACzB,IAAI,CAAC,EAAE,qBAAqB,KACzB,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnB;;;;;;OAMG;IACH,aAAa,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtE;;;;OAIG;IACH,iBAAiB,EAAE,MAAM,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAEhE;;;;;OAKG;IACH,eAAe,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;CAC9E;AAED,MAAM,WAAW,iBAAiB,CAAC,EAAE,GAAG,OAAO;IAC7C,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACrE;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,SAAS,EAAE,YAAY,CAAC;IACxB,OAAO,CAAC,EAAE,SAAS,CAAC;IACpB,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,YAAY,CAAA;CAAE,CAAC;AAC3E,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAChE,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,KAAK,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC"}

package/src/orchestration-api.ts

@@ -9,6 +9,7 @@ import type { CurrentWalletRecord } from '@agoric/smart-wallet/src/smartWallet.j
 import type { Timestamp } from '@agoric/time';
 import type { LocalChainAccount } from '@agoric/vats/src/localchain.js';
 import type { ResolvedPublicTopic } from '@agoric/zoe/src/contractSupport/topics.js';
+import type { Passable } from '@endo/marshal';
 import type {
   ChainInfo,
   CosmosChainAccountMethods,
@@ -192,6 +193,10 @@ export interface OrchestrationAccountI {
   getPublicTopics: () => Promise<Record<string, ResolvedPublicTopic<unknown>>>;
 }
 
+export interface OrchestrationFlow<CT = unknown> {
+  (orc: Orchestrator, ctx: CT, ...args: Passable[]): Promise<unknown>;
+}
+
 /**
  * Internal structure for TransferMsgs.
  * The type must be able to express transfers across different chains and transports.

package/src/utils/start-helper.d.ts

@@ -28,9 +28,9 @@ export function provideOrchestration(zcf: ZCF, baggage: Baggage, remotePowers: O
         wakeAll(): void;
         getFlowForOutcomeVow(outcomeVow: any): any;
     }>;
-    orchestrate: <GR, HC, GA extends any[]>(durableName: string, hostCtx: HC, guestFn: (guestOrc: import("../orchestration-api.js").Orchestrator, guestCtx: import("@agoric/async-flow").GuestInterface<HC>, ...args: GA) => Promise<GR>) => (...args: import("@agoric/async-flow").HostArgs<GA>) => import("@agoric/vow").Vow<GR>;
+    orchestrate: <HC, GF extends import("../orchestration-api.js").OrchestrationFlow<import("@agoric/async-flow").GuestInterface<HC>>>(durableName: string, hostCtx: HC, guestFn: GF) => HostForGuest<GF>;
     orchestrateAll: <HC, GFM extends {
-        [durableName: string]: (orc: import("../orchestration-api.js").Orchestrator, ctx: import("@agoric/async-flow").GuestInterface<HC>, ...args: any[]) => Promise<any>;
+        [durableName: string]: import("../orchestration-api.js").OrchestrationFlow<import("@agoric/async-flow").GuestInterface<HC>>;
     }>(guestFns: GFM, hostCtx: HC) => { [N in keyof GFM]: HostForGuest<GFM[N]>; };
 };
 export function withOrchestration<CT extends Record<string, unknown>, PA extends OrchestrationPowers & {

package/src/utils/start-helper.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"start-helper.d.ts","sourceRoot":"","sources":["start-helper.js"],"names":[],"mappings":"AA8CO,0CALI,GAAG,WACH,OAAO,gBACP,mBAAmB,cACnB,UAAU;;;;;;;;;;;;;;;;;wCA+B+B,GAAG;;+BAjDjD,GAAG,+EAIY,GAAG,yCACA,GAAG;;;;;;;;;;;6MAgCG,GAAW,8BAE9B,GAAG;;2IAkCM,GAAa;;EAiDhC;AAuBM,kCAdgC,EAAE,SAA3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAE,EAGhC,EAAE,SAFM,mBAAmB,GAAG;IACnC,UAAc,EAAE,UAAU,CAAC;CACvB,EACQ,CAAC,cACH,CACV,GAAO,EAAE,GAAG,CAAC,EAAE,CAAC,EAChB,WAAe,EAAE,EAAE,EACnB,IAAQ,EAAE,IAAI,EACd,KAAS,EAAE,kBAAkB,KACtB,OAAO,CAAC,CAAC,CAAC,GACL,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,CAYzE;kCA1JU;IACZ,UAAc,EAAE,OAAO,UAAU,CAAC,CAAC;IACnC,oBAAwB,EAAE,OAAO,uBAAuB,CAAC,CAAC;IAC1D,WAAe,EAAE,OAAO,WAAW,CAAC,CAAC;IACrC,YAAgB,EAAE,OAAO,YAAY,CAAC,CAAC;IACvC,WAAe,EAAE,OAAO,OAAO,CAAC,CAAC;CAC9B;iCAuHU,IAAI,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,EAAE,MAAM,CAAC;6BArIzC,kBAAkB;0BAGrB,cAAc;gCALR,gCAAgC;4BAIpC,aAAa;6CAEI,sCAAsC;kCALrC,cAAc;6BAE/B,cAAc"}
+{"version":3,"file":"start-helper.d.ts","sourceRoot":"","sources":["start-helper.js"],"names":[],"mappings":"AA8CO,0CALI,GAAG,WACH,OAAO,gBACP,mBAAmB,cACnB,UAAU;;;;;;;;;;;;;;;;;wCA+B+B,GAAG;;+BAjDjD,GAAG,+EAIY,GAAG,yCACA,GAAG;;;;;;;;;;;;;;;EAqH1B;AAuBM,kCAdgC,EAAE,SAA3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAE,EAGhC,EAAE,SAFM,mBAAmB,GAAG;IACnC,UAAc,EAAE,UAAU,CAAC;CACvB,EACQ,CAAC,cACH,CACV,GAAO,EAAE,GAAG,CAAC,EAAE,CAAC,EAChB,WAAe,EAAE,EAAE,EACnB,IAAQ,EAAE,IAAI,EACd,KAAS,EAAE,kBAAkB,KACtB,OAAO,CAAC,CAAC,CAAC,GACL,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,CAYzE;kCA1JU;IACZ,UAAc,EAAE,OAAO,UAAU,CAAC,CAAC;IACnC,oBAAwB,EAAE,OAAO,uBAAuB,CAAC,CAAC;IAC1D,WAAe,EAAE,OAAO,WAAW,CAAC,CAAC;IACrC,YAAgB,EAAE,OAAO,YAAY,CAAC,CAAC;IACvC,WAAe,EAAE,OAAO,OAAO,CAAC,CAAC;CAC9B;iCAuHU,IAAI,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,EAAE,MAAM,CAAC;6BArIzC,kBAAkB;0BAGrB,cAAc;gCALR,gCAAgC;4BAIpC,aAAa;6CAEI,sCAAsC;kCALrC,cAAc;6BAE/B,cAAc"}

package/src/examples/sendAnywhereFlows.d.ts

@@ -1,28 +0,0 @@
-export namespace orchestrationFns {
-    /**
-     * @param {Orchestrator} orch
-     * @param {object} ctx
-     * @param {{ account?: OrchestrationAccountI & LocalAccountMethods }} ctx.contractState
-     * @param {GuestOf<ZoeTools['localTransfer']>} ctx.localTransfer
-     * @param {(brand: Brand) => Promise<VBankAssetDetail>} ctx.findBrandInVBank
-     * @param {ZCFSeat} seat
-     * @param {{ chainName: string; destAddr: string }} offerArgs
-     */
-    function sendIt(orch: Orchestrator, { contractState, localTransfer, findBrandInVBank }: {
-        contractState: {
-            account?: OrchestrationAccountI & LocalAccountMethods;
-        };
-        localTransfer: GuestOf<ZoeTools["localTransfer"]>;
-        findBrandInVBank: (brand: Brand) => Promise<VBankAssetDetail>;
-    }, seat: ZCFSeat, offerArgs: {
-        chainName: string;
-        destAddr: string;
-    }): Promise<void>;
-}
-import type { Orchestrator } from '../types.js';
-import type { OrchestrationAccountI } from '../types.js';
-import type { LocalAccountMethods } from '../types.js';
-import type { ZoeTools } from '../utils/zoe-tools.js';
-import type { GuestOf } from '@agoric/async-flow';
-import type { VBankAssetDetail } from '@agoric/vats/tools/board-utils.js';
-//# sourceMappingURL=sendAnywhereFlows.d.ts.map

package/src/examples/sendAnywhereFlows.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"sendAnywhereFlows.d.ts","sourceRoot":"","sources":["sendAnywhereFlows.js"],"names":[],"mappings":";IAeE;;;;;;;;OAQG;IACH,sBARW,YAAY,sDAEpB;QAAuE,aAAa,EAA5E;YAAE,OAAO,CAAC,EAAE,qBAAqB,GAAG,mBAAmB,CAAA;SAAE;QACjB,aAAa,EAArD,QAAQ,QAAQ,CAAC,eAAe,CAAC,CAAC;QACe,gBAAgB,EAAjE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,gBAAgB,CAAC;KACnD,QAAQ,OAAO,aACP;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,iBAsCjD;;kCAtD8F,aAAa;2CAAb,aAAa;yCAAb,aAAa;8BADnF,uBAAuB;6BAFxB,oBAAoB;sCACX,mCAAmC"}

package/src/examples/sendAnywhereFlows.js

@@ -1,62 +0,0 @@
-import { M, mustMatch } from '@endo/patterns';
-
-/**
- * @import {GuestOf} from '@agoric/async-flow';
- * @import {VBankAssetDetail} from '@agoric/vats/tools/board-utils.js';
- * @import {ZoeTools} from '../utils/zoe-tools.js';
- * @import {Orchestrator, OrchestrationAccount, LocalAccountMethods, OrchestrationAccountI} from '../types.js';
- */
-
-const { entries } = Object;
-
-// in guest file (the orchestration functions)
-// the second argument is all the endowments provided
-
-export const orchestrationFns = harden({
-  /**
-   * @param {Orchestrator} orch
-   * @param {object} ctx
-   * @param {{ account?: OrchestrationAccountI & LocalAccountMethods }} ctx.contractState
-   * @param {GuestOf<ZoeTools['localTransfer']>} ctx.localTransfer
-   * @param {(brand: Brand) => Promise<VBankAssetDetail>} ctx.findBrandInVBank
-   * @param {ZCFSeat} seat
-   * @param {{ chainName: string; destAddr: string }} offerArgs
-   */
-  async sendIt(
-    orch,
-    { contractState, localTransfer, findBrandInVBank },
-    seat,
-    offerArgs,
-  ) {
-    mustMatch(
-      offerArgs,
-      harden({ chainName: M.scalar(), destAddr: M.string() }),
-    );
-    const { chainName, destAddr } = offerArgs;
-    // NOTE the proposal shape ensures that the `give` is a single asset
-    const { give } = seat.getProposal();
-    const [[_kw, amt]] = entries(give);
-    const { denom } = await findBrandInVBank(amt.brand);
-    const chain = await orch.getChain(chainName);
-
-    if (!contractState.account) {
-      const agoricChain = await orch.getChain('agoric');
-      contractState.account = await agoricChain.makeAccount();
-    }
-
-    const info = await chain.getChainInfo();
-    const { chainId } = info;
-    assert(typeof chainId === 'string', 'bad chainId');
-
-    await localTransfer(seat, contractState.account, give);
-
-    await contractState.account.transfer(
-      { denom, value: amt.value },
-      {
-        value: destAddr,
-        encoding: 'bech32',
-        chainId,
-      },
-    );
-  },
-});