@agoric/zoe 0.26.3-dev-727699e.0 → 0.26.3-dev-3d98aac.0

package/src/zoeService/types.ts

@@ -0,0 +1,299 @@
+import type {
+  AnyAmount,
+  AssetKind,
+  DisplayInfo,
+  Issuer,
+  NatValue,
+  Payment,
+} from '@agoric/ertp';
+import type { Subscriber } from '@agoric/notifier';
+import type { ERef, EReturn } from '@endo/eventual-send';
+import type { Bundle, BundleID } from '@agoric/swingset-vat';
+import type { ContractStartFunction, StartParams } from './utils.js';
+
+export type IssuerKeywordRecord = Record<Keyword, Issuer<any>>;
+
+/** @see {@link https://github.com/sindresorhus/type-fest/blob/main/source/is-any.d.ts} */
+type IsAny<T> = 0 extends 1 & NoInfer<T> ? true : false;
+
+/**
+ * Zoe provides a framework for deploying and working with smart
+ * contracts. It is accessed as a long-lived and well-trusted service
+ * that enforces offer safety for the contracts that use it. Zoe has a
+ * single `invitationIssuer` for the entirety of its lifetime. By
+ * having a reference to Zoe, a user can get the `invitationIssuer`
+ * and thus validate any `invitation` they receive from someone else.
+ *
+ * Zoe has two different facets: the public Zoe service and the
+ * contract facet (ZCF). Each contract instance has a copy of ZCF
+ * within its vat. The contract and ZCF never have direct access to
+ * the users' payments or the Zoe purses.
+ */
+export type ZoeService = {
+  /**
+   * Zoe has a single `invitationIssuer` for the entirety of its
+   * lifetime. By having a reference to Zoe, a user can get the
+   * `invitationIssuer` and thus validate any `invitation` they receive
+   * from someone else. The mint associated with the invitationIssuer
+   * creates the ERTP payments that represent the right to interact with
+   * a smart contract in particular ways.
+   */
+  getInvitationIssuer: GetInvitationIssuer;
+  install: InstallBundle;
+  installBundleID: InstallBundleID;
+  startInstance: import('./utils.js').StartInstance;
+  offer: Offer;
+  getPublicFacet: <I extends Instance>(
+    instance: ERef<I>,
+  ) => Promise<
+    IsAny<I> extends true
+      ? any
+      : I extends import('./utils.js').Instance<
+            infer SF extends ContractStartFunction
+          >
+        ? IsAny<SF> extends true
+          ? unknown
+          : EReturn<SF>['publicFacet']
+        : never
+  >;
+  getIssuers: GetIssuers;
+  getBrands: GetBrands;
+  getTerms: <I extends ERef<Instance>>(
+    instance: I,
+  ) => IsAny<I> extends true
+    ? Promise<any>
+    : I extends ERef<
+          import('./utils.js').Instance<infer SF extends ContractStartFunction>
+        >
+      ? IsAny<SF> extends true
+        ? Promise<unknown>
+        : Promise<StartParams<SF>['terms']>
+      : never;
+  getOfferFilter: (instance: ERef<Instance>) => Promise<string[]>;
+  getInstallationForInstance: GetInstallationForInstance;
+  getInstance: GetInstance;
+  getInstallation: GetInstallation;
+  /**
+   *   Return an object with the instance, installation, description, invitation
+   *   handle, and any custom properties specific to the contract.
+   */
+  getInvitationDetails: GetInvitationDetails;
+  getFeeIssuer: GetFeeIssuer;
+  getConfiguration: GetConfiguration;
+  getBundleIDFromInstallation: GetBundleIDFromInstallation;
+  /**
+   *   Return the pattern (if any) associated with the invitationHandle that a
+   *   proposal is required to match to be accepted by zoe.offer().
+   */
+  getProposalShapeForInvitation: (
+    invitationHandle: InvitationHandle,
+  ) => import('@endo/patterns').Pattern | undefined;
+};
+type GetInvitationIssuer = () => Promise<Issuer<'set', InvitationDetails>>;
+type GetFeeIssuer = () => Promise<Issuer<'nat'>>;
+type GetConfiguration = () => {
+  feeIssuerConfig: FeeIssuerConfig;
+};
+export type GetIssuers = (
+  instance: import('./utils.js').Instance<any>,
+) => Promise<IssuerKeywordRecord>;
+export type GetBrands = (
+  instance: import('./utils.js').Instance<any>,
+) => Promise<BrandKeywordRecord>;
+type GetInstallationForInstance = (
+  instance: import('./utils.js').Instance<any>,
+) => Promise<Installation>;
+export type GetInstance = (
+  invitation: ERef<import('../types-index.js').Invitation>,
+) => Promise<import('./utils.js').Instance<any>>;
+export type GetInstallation = (
+  invitation: ERef<import('../types-index.js').Invitation>,
+) => Promise<Installation>;
+export type GetInvitationDetails = (
+  invitation: ERef<import('../types-index.js').Invitation<any, any>>,
+) => Promise<InvitationDetails>;
+/**
+ * Create an installation by safely evaluating the code and
+ * registering it with Zoe. Returns an installation.
+ */
+export type InstallBundle = (
+  bundle: Bundle | SourceBundle,
+  bundleLabel?: string | undefined,
+) => Promise<Installation>;
+/**
+ * Create an installation from a Bundle ID. Returns an installation.
+ */
+export type InstallBundleID = (
+  bundleID: BundleID,
+  bundleLabel?: string | undefined,
+) => Promise<Installation>;
+/**
+ * Verify that an alleged Installation is real, and return the Bundle ID it
+ * will use for contract code.
+ */
+export type GetBundleIDFromInstallation = (
+  allegedInstallation: ERef<Installation>,
+) => Promise<string>;
+/**
+ * To redeem an invitation, the user normally provides a proposal (their
+ * rules for the offer) as well as payments to be escrowed by Zoe.  If
+ * either the proposal or payments would be empty, indicate this by
+ * omitting that argument or passing undefined, rather than passing an
+ * empty record.
+ *
+ * The proposal has three parts: `want` and `give` are used by Zoe to
+ * enforce offer safety, and `exit` is used to specify the particular
+ * payout-liveness policy that Zoe can guarantee. `want` and `give`
+ * are objects with keywords as keys and amounts as values.
+ * `paymentKeywordRecord` is a record with keywords as keys, and the
+ * values are the actual payments to be escrowed. A payment is
+ * expected for every rule under `give`.
+ */
+export type Offer = <Result, Args = undefined>(
+  invitation: ERef<import('../types-index.js').Invitation<Result, Args>>,
+  proposal?: Proposal,
+  paymentKeywordRecord?: PaymentPKeywordRecord,
+  offerArgs?: Args,
+) => Promise<UserSeat<Result>>;
+/**
+ * Zoe uses seats to access or manipulate offers. They let contracts and users
+ * interact with them. Zoe has two kinds of seats. ZCFSeats are used within
+ * contracts and with zcf methods. UserSeats represent offers external to Zoe
+ * and the contract. The party who exercises an invitation and sends the offer()
+ * message to Zoe gets a UserSeat that can check payouts' status or retrieve the
+ * result of processing the offer in the contract. This varies, but examples are
+ * a string and an invitation for another seat.
+ *
+ * Also, a UserSeat can be handed to an agent outside Zoe and the contract,
+ * letting them query or monitor the current state, access the payouts and
+ * result, and, if it's allowed for this seat, call tryExit().
+ *
+ * Since anyone can attempt to exit the seat if they have a reference to it, you
+ * should only share a UserSeat with trusted parties.
+ *
+ * UserSeat includes queries for the associated offer's current state and an
+ * operation to request that the offer exit, as follows:
+ */
+export type UserSeat<OR = unknown> = {
+  getProposal: () => Promise<ProposalRecord>;
+  /**
+   * returns a promise for a KeywordPaymentRecord containing all the payouts from
+   * this seat. The promise will resolve after the seat has exited.
+   */
+  getPayouts: () => Promise<PaymentPKeywordRecord>;
+  /**
+   * returns a promise for the Payment corresponding to the indicated keyword.
+   * The promise will resolve after the seat has exited. If there is no payment
+   * corresponding to the keyword, an error will be thrown. (It used to return
+   * undefined.)
+   */
+  getPayout: (keyword: Keyword) => Promise<Payment<any, any>>;
+  getOfferResult: () => Promise<OR>;
+  /**
+   * Note: Only works if the seat's `proposal` has an `OnDemand` `exit` clause. Zoe's
+   * offer-safety guarantee applies no matter how a seat's interaction with a
+   * contract ends. Under normal circumstances, the participant might be able to
+   * call `tryExit()`, or the contract might do something explicitly. On exiting,
+   * the seat holder gets its current `allocation` and the `seat` can no longer
+   * interact with the contract.
+   */
+  tryExit?: (() => void) | undefined;
+  /**
+   * Returns true if the seat has exited, false if it is still active.
+   */
+  hasExited: () => Promise<boolean>;
+  /**
+   * returns 1 if the proposal's
+   * want clause was satisfied by the final allocation, otherwise 0. This is
+   * numeric to support a planned enhancement called "multiples" which will allow
+   * the return value to be any non-negative number. The promise will resolve
+   * after the seat has exited.
+   */
+  numWantsSatisfied: () => Promise<0 | 1>;
+  /**
+   * return a promise for the final allocation. The promise will resolve after the
+   * seat has exited.
+   */
+  getFinalAllocation: () => Promise<Allocation>;
+  /**
+   * returns a subscriber that
+   * will be notified when the seat has exited or failed.
+   */
+  getExitSubscriber: () => Subscriber<import('../types-index.js').Completion>;
+};
+export type Proposal = Partial<ProposalRecord>;
+export type ProposalRecord = {
+  give: AmountKeywordRecord;
+  want: AmountKeywordRecord;
+  exit: ExitRule;
+};
+/**
+ * The keys are keywords, and the values are amounts. For example:
+ * { Asset: AmountMath.make(assetBrand, 5n), Price:
+ * AmountMath.make(priceBrand, 9n) }
+ */
+export type AmountKeywordRecord = Record<Keyword, AnyAmount>;
+export type Waker = {
+  wake: () => void;
+};
+export type OnDemandExitRule = {
+  onDemand: null;
+};
+export type WaivedExitRule = {
+  waived: null;
+};
+export type AfterDeadlineExitRule = {
+  afterDeadline: {
+    timer: import('@agoric/time').TimerService;
+    deadline: import('@agoric/time').Timestamp;
+  };
+};
+/**
+ * The possible keys are 'waived', 'onDemand', and 'afterDeadline'.
+ * `timer` and `deadline` only are used for the `afterDeadline` key.
+ * The possible records are:
+ * `{ waived: null }`
+ * `{ onDemand: null }`
+ * `{ afterDeadline: { timer :Timer<Deadline>, deadline :Deadline } }`
+ */
+export type ExitRule =
+  | OnDemandExitRule
+  | WaivedExitRule
+  | AfterDeadlineExitRule;
+export type Instance<SF = any> = import('./utils.js').Instance<SF>;
+export type ZCFSpec =
+  | {
+      bundleCap: import('@agoric/swingset-vat').BundleCap;
+    }
+  | {
+      name: string;
+    }
+  | {
+      /** Bundle ID */
+      id: string;
+    };
+/**
+ * Opaque type for a JSONable source bundle
+ */
+export type SourceBundle = Record<string, any>;
+export type PaymentPKeywordRecord = Record<Keyword, ERef<Payment<any>>>;
+export type PaymentKeywordRecord = Record<Keyword, Payment<any>>;
+export type InvitationDetails = {
+  installation: Installation;
+  instance: import('./utils.js').Instance<any>;
+  handle: InvitationHandle;
+  description: string;
+  customDetails?: Record<string, any> | undefined;
+};
+export type Installation<SF = any> = import('./utils.js').Installation<SF>;
+export type InstallationStart<I extends Installation> =
+  import('./utils.js').InstallationStart<I>;
+export type FeeIssuerConfig = {
+  name: string;
+  assetKind: AssetKind;
+  displayInfo: DisplayInfo;
+};
+export type ZoeFeesConfig = {
+  getPublicFacetFee: NatValue;
+};
+export type FeeMintAccess = Handle<'feeMintAccess'>;

package/src/zoeService/utils.d.ts

@@ -1,13 +1,10 @@
-// Ambient types
-import '../types-ambient.js';
-import '../contractFacet/types-ambient.js';
-
 import type { Issuer } from '@agoric/ertp/src/types.js';
 import type { TagContainer } from '@agoric/internal/src/tagged.js';
 import type { Baggage } from '@agoric/swingset-liveslots';
 import type { VatUpgradeResults } from '@agoric/swingset-vat';
 import type { RemotableObject } from '@endo/marshal';
 import type { FarRef } from '@endo/far';
+import type { ZCF } from '../types-index.js';
 
 // XXX https://github.com/Agoric/agoric-sdk/issues/4565
 type SourceBundle = Record<string, any>;

package/src/zoeService/utils.test-d.ts

@@ -1,5 +1,6 @@
 import { E } from '@endo/far';
 import type { StartedInstanceKit } from './utils.js';
+import type { ZCF } from '../types-index.js';
 
 const someContractStartFn = (
   zcf: ZCF,

package/src/zoeService/zoe.d.ts

@@ -1,5 +1,10 @@
+export * from "../types-index.js";
 export type ZoeKit = ReturnType<typeof makeDurableZoeKit>;
-/** @import {Baggage} from '@agoric/vat-data' */
+/**
+ * @import {VatAdminSvc} from '@agoric/swingset-vat';
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {FeeIssuerConfig, FeeMintAccess, ZCFSpec, ZoeService} from './types.js';
+ */
 /**
  * Create a durable instance of Zoe.
  *
@@ -55,4 +60,9 @@ export function makeZoeKit(vatAdminSvc?: Promise<VatAdminSvc> | VatAdminSvc, shu
     setVatAdminService: ((lateVatAdminSvc: any) => void) & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, (lateVatAdminSvc: any) => void>;
 };
 import type { Baggage } from '@agoric/vat-data';
+import type { VatAdminSvc } from '@agoric/swingset-vat';
+import type { FeeIssuerConfig } from './types.js';
+import type { ZCFSpec } from './types.js';
+import type { ZoeService } from './types.js';
+import type { FeeMintAccess } from './types.js';
 //# sourceMappingURL=zoe.d.ts.map

package/src/zoeService/zoe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"zoe.d.ts","sourceRoot":"","sources":["zoe.js"],"names":[],"mappings":"qBAiSa,UAAU,CAAC,OAAO,iBAAiB,CAAC;AAnQjD,gDAAgD;AAEhD;;;;;;;;;;;;;GAaG;AACH,0GAVG;IAAyB,UAAU,EAA3B,OAAO;IACsC,WAAW;IAGK,cAAc;IAGjD,eAAe;IACvB,OAAO;CACnC;;;;;IAgNG,4BAA4B;mBAAjB,aAAa;;EAK3B;AAED;;;;;;;;;;;;;;;GAeG;AACH,yCATW,OAAO,CAAC,WAAW,CAAC,GAAG,WAAW,mBAGlC,OAAO,sBAAsB,EAAE,mBAAmB,oBAGlD,eAAe,YACf,OAAO;;;;;IArBd,4BAA4B;mBAAjB,aAAa;;EA8BxB;6BA7PuB,kBAAkB"}
+{"version":3,"file":"zoe.d.ts","sourceRoot":"","sources":["zoe.js"],"names":[],"mappings":";qBAqSa,UAAU,CAAC,OAAO,iBAAiB,CAAC;AAvQjD;;;;GAIG;AAEH;;;;;;;;;;;;;GAaG;AACH,0GAVG;IAAyB,UAAU,EAA3B,OAAO;IACsC,WAAW;IAGK,cAAc;IAGjD,eAAe;IACvB,OAAO;CACnC;;;;;IAgNG,4BAA4B;mBAAjB,aAAa;;EAK3B;AAED;;;;;;;;;;;;;;;GAeG;AACH,yCATW,OAAO,CAAC,WAAW,CAAC,GAAG,WAAW,mBAGlC,OAAO,sBAAsB,EAAE,mBAAmB,oBAGlD,eAAe,YACf,OAAO;;;;;IArBd,4BAA4B;mBAAjB,aAAa;;EA8BxB;6BA/PsB,kBAAkB;iCADd,sBAAsB;qCAEkB,YAAY;6BAAZ,YAAY;gCAAZ,YAAY;mCAAZ,YAAY"}

package/src/zoeService/zoe.js

@@ -28,7 +28,11 @@ import { getZcfBundleCap } from './createZCFVat.js';
 import { defaultFeeIssuerConfig, prepareFeeMint } from './feeMint.js';
 import { ZoeServiceI } from '../typeGuards.js';
 
-/** @import {Baggage} from '@agoric/vat-data' */
+/**
+ * @import {VatAdminSvc} from '@agoric/swingset-vat';
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {FeeIssuerConfig, FeeMintAccess, ZCFSpec, ZoeService} from './types.js';
+ */
 
 /**
  * Create a durable instance of Zoe.
@@ -289,3 +293,6 @@ export { makeDurableZoeKit, makeZoeKit };
 /**
  * @typedef {ReturnType<typeof makeDurableZoeKit>} ZoeKit
  */
+
+// eslint-disable-next-line import/export -- no named value exports; only types
+export * from '../types-index.js';

package/src/zoeService/zoeStorageManager.d.ts

@@ -4,7 +4,7 @@ export function makeZoeStorageManager(createZCFVat: CreateZCFVat, getBundleCapFo
     getFeeBrand: () => Brand;
 }, zoeBaggage: Baggage): import("@endo/exo").GuardedKit<{
     zoeServiceDataAccess: {
-        getInvitationIssuer: () => globalThis.Issuer<"set", InvitationDetails>;
+        getInvitationIssuer: () => globalThis.Issuer<"set", import("@agoric/zoe").InvitationDetails>;
         getBundleIDFromInstallation(allegedInstallation: any): Promise<string | undefined>;
         getPublicFacet(instance: any): any;
         getBrands(instance: any): any;
@@ -13,14 +13,14 @@ export function makeZoeStorageManager(createZCFVat: CreateZCFVat, getBundleCapFo
         getTerms(instance: any): any;
         getInstallation(instance: any): any;
         getProposalShapeForInvitation: (invitationHandle: any) => any;
-        installBundle: (allegedBundle: any, bundleLabel: any) => Promise<Installation<any>>;
-        installBundleID(bundleID: any, bundleLabel: any): Promise<Installation<unknown>>;
+        installBundle: (allegedBundle: any, bundleLabel: any) => Promise<globalThis.Installation>;
+        installBundleID(bundleID: any, bundleLabel: any): Promise<globalThis.Installation<unknown>>;
     };
     makeOfferAccess: {
         getAssetKindByBrand: GetAssetKindByBrand;
         getInstanceAdmin(instance: any): any;
         getProposalShapeForInvitation: (invitationHandle: any) => any;
-        getInvitationIssuer: () => globalThis.Issuer<"set", InvitationDetails>;
+        getInvitationIssuer: () => globalThis.Issuer<"set", import("@agoric/zoe").InvitationDetails>;
         depositPayments(proposal: any, payments: any): Promise<Allocation>;
     };
     startInstanceAccess: {
@@ -33,7 +33,7 @@ export function makeZoeStorageManager(createZCFVat: CreateZCFVat, getBundleCapFo
         }>;
     };
     invitationIssuerAccess: {
-        getInvitationIssuer: () => globalThis.Issuer<"set", InvitationDetails>;
+        getInvitationIssuer: () => globalThis.Issuer<"set", import("@agoric/zoe").InvitationDetails>;
     };
 }>;
 import type { Baggage } from '@agoric/vat-data';

package/src/zoeService/zoeStorageManager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"zoeStorageManager.d.ts","sourceRoot":"","sources":["zoeStorageManager.js"],"names":[],"mappings":"AAwDO,oDAXI,YAAY,qBAEZ,iBAAiB,kBACjB,OAAO,sBAAsB,EAAE,mBAAmB,WAClD;IACL,eAAe,EAAE,eAAe,CAAC;IACjC,YAAY,EAAE,MAAM,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,KAAK,CAAC;CAC3B,cACO,OAAO;;;;;;;;;;;;;;;;;;;;;;;;kBAZkC,CAAC;qBAC3B,CAAC;oBAA0B,CAAC;;;;;;;GAsbrD;6BAlc0B,kBAAkB"}
+{"version":3,"file":"zoeStorageManager.d.ts","sourceRoot":"","sources":["zoeStorageManager.js"],"names":[],"mappings":"AA2DO,oDAXI,YAAY,qBAEZ,iBAAiB,kBACjB,OAAO,sBAAsB,EAAE,mBAAmB,WAClD;IACL,eAAe,EAAE,eAAe,CAAC;IACjC,YAAY,EAAE,MAAM,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,KAAK,CAAC;CAC3B,cACO,OAAO;;;;;;;;;;;;;;;;;;;;;;;;kBAXmC,CAAC,EAAC,YAAa;qBAE5D,CAAC;oBAA0B,CAAC;;;;;;;GAobnC;6BApcyB,kBAAkB"}

package/src/zoeService/zoeStorageManager.js

@@ -29,7 +29,10 @@ import {
   ZoeStorageManagerIKit,
 } from '../typeGuards.js';
 
-/** @import {Baggage} from '@agoric/vat-data' */
+/**
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {ContractMeta, ContractStartFn, InvitationAmount, OfferHandler, TransferPart, ZCF, ZCFSeat} from '@agoric/zoe';
+ */
 
 const { ownKeys } = Reflect;
 

package/tools/scriptedOracle.d.ts

@@ -1,3 +1,6 @@
+/**
+ * @import {ZoeService} from '../src/types-index.js';
+ */
 /**
  * Start an instance of an Oracle that follows a script. The Oracle has access
  * to a timer, and looks in the script for events indexed by the current time.
@@ -17,11 +20,12 @@
 export function makeScriptedOracle(script: Record<string, any>, oracleInstallation: Installation<import("../src/contracts/oracle.js").OracleStart>, timer: import("@agoric/time").TimerService, zoe: ZoeService, feeIssuer: Issuer): Promise<{
     publicFacet: object & {
         query(query: OracleQuery): Promise<unknown>;
-        makeQueryInvitation(query: OracleQuery): Promise<Invitation<unknown, never>>;
+        makeQueryInvitation(query: OracleQuery): Promise<globalThis.Invitation<unknown, never>>;
     } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
         query(query: OracleQuery): Promise<unknown>;
-        makeQueryInvitation(query: OracleQuery): Promise<Invitation<unknown, never>>;
+        makeQueryInvitation(query: OracleQuery): Promise<globalThis.Invitation<unknown, never>>;
     }>;
     creatorFacet: OracleCreatorFacet;
 }>;
+import type { ZoeService } from '../src/types-index.js';
 //# sourceMappingURL=scriptedOracle.d.ts.map

package/tools/scriptedOracle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scriptedOracle.d.ts","sourceRoot":"","sources":["scriptedOracle.js"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;GAeG;AACH,2CANW,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,sBACnB,YAAY,CAAC,OAAO,4BAA4B,EAAE,WAAW,CAAC,SAC9D,OAAO,cAAc,EAAE,YAAY,OACnC,UAAU,aACV,MAAM;;;;;;;;;GAqChB"}
+{"version":3,"file":"scriptedOracle.d.ts","sourceRoot":"","sources":["scriptedOracle.js"],"names":[],"mappings":"AAIA;;GAEG;AAEH;;;;;;;;;;;;;;;GAeG;AACH,2CANW,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,sBACnB,YAAY,CAAC,OAAO,4BAA4B,EAAE,WAAW,CAAC,SAC9D,OAAO,cAAc,EAAE,YAAY,OACnC,UAAU,aACV,MAAM;;;;;;;;;GAqChB;gCAtD4B,uBAAuB"}

package/tools/scriptedOracle.js

@@ -2,6 +2,10 @@ import { TimeMath } from '@agoric/time';
 import { E } from '@endo/eventual-send';
 import { Far } from '@endo/marshal';
 
+/**
+ * @import {ZoeService} from '../src/types-index.js';
+ */
+
 /**
  * Start an instance of an Oracle that follows a script. The Oracle has access
  * to a timer, and looks in the script for events indexed by the current time.

package/tools/setup-zoe.d.ts

@@ -1,19 +1,19 @@
 export function makeZoeKitForTest(vatAdminSvc?: VatAdminSvc): {
-    zoeService: import("@endo/exo").Guarded<ZoeService>;
+    zoeService: import("@endo/exo").Guarded<globalThis.ZoeService>;
     zoeConfigFacet: import("@endo/exo").Guarded<{
         updateZcfBundleId(bundleId: any): void;
     }>;
     feeMintAccess: FeeMintAccess;
     setVatAdminService: ((lateVatAdminSvc: any) => void) & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, (lateVatAdminSvc: any) => void>;
 };
-export function makeZoeForTest(vatAdminSvc?: VatAdminSvc): import("@endo/exo").Guarded<ZoeService>;
+export function makeZoeForTest(vatAdminSvc?: VatAdminSvc): import("@endo/exo").Guarded<globalThis.ZoeService>;
 export function setUpZoeForTest<T extends unknown = any>({ setJig, feeIssuerConfig, vatAdminSvc, useNearRemote, }?: {
     setJig?: ((jig: T) => void) | undefined;
     feeIssuerConfig?: FeeIssuerConfig | undefined;
     vatAdminSvc?: VatAdminSvc | undefined;
     useNearRemote?: boolean | undefined;
 }): Promise<{
-    zoe: import("@endo/exo").Guarded<ZoeService>;
+    zoe: import("@endo/exo").Guarded<globalThis.ZoeService>;
     feeMintAccessP: FeeMintAccess;
     bundleAndInstall: (path: string) => Promise<Installation>;
     vatAdminSvc: VatAdminSvc;
@@ -31,4 +31,5 @@ export function setUpZoeForTest<T extends unknown = any>({ setJig, feeIssuerConf
         };
     } | undefined;
 }>;
+import type { FeeIssuerConfig } from '../src/types-index.js';
 //# sourceMappingURL=setup-zoe.d.ts.map

package/tools/setup-zoe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"setup-zoe.d.ts","sourceRoot":"","sources":["setup-zoe.js"],"names":[],"mappings":"AAUO,gDAFI,WAAW;;;;;;;EAOrB;AAKM,6CAFI,WAAW,2CAGqB;AAapC,gCAPgB,CAAC,mFAErB;IAAmC,MAAM,UAA3B,CAAC,KAAK,IAAI;IACU,eAAe;IACnB,WAAW;IACf,aAAa;CAAC;;;6BA2B9B,MAAM,KACJ,OAAO,CAAC,YAAY,CAAC;;;;;;;;;;;;;;;GAiBnC"}
+{"version":3,"file":"setup-zoe.d.ts","sourceRoot":"","sources":["setup-zoe.js"],"names":[],"mappings":"AAcO,gDAFI,WAAW;;;;;;;EAOrB;AAKM,6CAFI,WAAW,sDAGqB;AAapC,gCAPgB,CAAC,mFAErB;IAAmC,MAAM,UAA3B,CAAC,KAAK,IAAI;IACU,eAAe;IACnB,WAAW;IACf,aAAa;CAAC;;;6BA2B9B,MAAM,KACJ,OAAO,CAAC,YAAY,CAAC;;;;;;;;;;;;;;;GAiBnC;qCAzEiC,uBAAuB"}

package/tools/setup-zoe.js

@@ -5,6 +5,10 @@ import bundleSource from '@endo/bundle-source';
 import { makeDurableZoeKit } from '../src/zoeService/zoe.js';
 import fakeVatAdmin, { makeFakeVatAdmin } from './fakeVatAdmin.js';
 
+/**
+ * @import {FeeIssuerConfig} from '../src/types-index.js';
+ */
+
 /**
  * @param {VatAdminSvc} [vatAdminSvc]
  */

package/src/contractFacet/internal-types.d.ts

@@ -1,8 +0,0 @@
-type TestJigSetter = ({ zcf }: {
-    zcf: ZCF;
-}) => void;
-type ZCFZygote = {
-    startContract: (instanceAdminFromZoe: ERef<ZoeInstanceAdmin>, instanceRecordFromZoe: InstanceRecord, issuerStorageFromZoe: IssuerRecords, privateArgs?: object) => Promise<ExecuteContractResult>;
-    restartContract: (privateArgs?: object) => void;
-};
-//# sourceMappingURL=internal-types.d.ts.map

package/src/contractFacet/internal-types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":"qBAGa,CAAE,EAAC,GAAG,EAAC,EAAE;IAAC,GAAG,EAAE,GAAG,CAAA;CAAC,KAAM,IAAI;;mBAK5B,CAAC,oBAAoB,EAAE,IAAI,CAAC,gBAAgB,CAAC,EACpD,qBAAqB,EAAE,cAAc,EACrC,oBAAoB,EAAE,aAAa,EACnC,WAAW,CAAC,EAAE,MAAM,KACnB,OAAO,CAAC,qBAAqB,CAAC;qBACxB,CAAC,WAAW,CAAC,EAAE,MAAM,KAAK,IAAI"}

package/src/contractFacet/internal-types.js

@@ -1,15 +0,0 @@
-// @jessie-check
-
-/**
- * @typedef {( {zcf}: {zcf: ZCF} ) => void} TestJigSetter
- */
-
-/**
- * @typedef ZCFZygote
- * @property {(instanceAdminFromZoe: ERef<ZoeInstanceAdmin>,
- *     instanceRecordFromZoe: InstanceRecord,
- *     issuerStorageFromZoe: IssuerRecords,
- *     privateArgs?: object,
- * ) => Promise<ExecuteContractResult>} startContract
- * @property {(privateArgs?: object) => void} restartContract
- */

package/src/contractFacet/types-ambient.js

@@ -1 +0,0 @@
-// Dummy file for .d.ts twin to declare ambients