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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/zoe",
-  "version": "0.26.3-dev-727699e.0+727699e",
+  "version": "0.26.3-dev-baa7c08.0+baa7c08",
   "description": "Zoe: the Smart Contract Framework for Offer Enforcement",
   "type": "module",
   "main": "./src/zoeService/zoe.js",
@@ -43,17 +43,17 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/base-zone": "0.1.1-dev-727699e.0+727699e",
-    "@agoric/ertp": "0.16.3-dev-727699e.0+727699e",
-    "@agoric/internal": "0.3.3-dev-727699e.0+727699e",
-    "@agoric/notifier": "0.6.3-dev-727699e.0+727699e",
-    "@agoric/store": "0.9.3-dev-727699e.0+727699e",
-    "@agoric/swingset-liveslots": "0.10.3-dev-727699e.0+727699e",
-    "@agoric/swingset-vat": "0.32.3-dev-727699e.0+727699e",
-    "@agoric/time": "0.3.3-dev-727699e.0+727699e",
-    "@agoric/vat-data": "0.5.3-dev-727699e.0+727699e",
-    "@agoric/vow": "0.1.1-dev-727699e.0+727699e",
-    "@agoric/zone": "0.2.3-dev-727699e.0+727699e",
+    "@agoric/base-zone": "0.1.1-dev-baa7c08.0+baa7c08",
+    "@agoric/ertp": "0.16.3-dev-baa7c08.0+baa7c08",
+    "@agoric/internal": "0.3.3-dev-baa7c08.0+baa7c08",
+    "@agoric/notifier": "0.6.3-dev-baa7c08.0+baa7c08",
+    "@agoric/store": "0.9.3-dev-baa7c08.0+baa7c08",
+    "@agoric/swingset-liveslots": "0.10.3-dev-baa7c08.0+baa7c08",
+    "@agoric/swingset-vat": "0.32.3-dev-baa7c08.0+baa7c08",
+    "@agoric/time": "0.3.3-dev-baa7c08.0+baa7c08",
+    "@agoric/vat-data": "0.5.3-dev-baa7c08.0+baa7c08",
+    "@agoric/vow": "0.1.1-dev-baa7c08.0+baa7c08",
+    "@agoric/zone": "0.2.3-dev-baa7c08.0+baa7c08",
     "@endo/bundle-source": "^3.5.1",
     "@endo/captp": "^4.4.4",
     "@endo/common": "^1.2.9",
@@ -70,7 +70,7 @@
     "yargs-parser": "^21.1.1"
   },
   "devDependencies": {
-    "@agoric/kmarshal": "0.1.1-dev-727699e.0+727699e",
+    "@agoric/kmarshal": "0.1.1-dev-baa7c08.0+baa7c08",
     "@endo/init": "^1.1.8",
     "ava": "^5.3.0",
     "c8": "^10.1.2",
@@ -98,7 +98,7 @@
     "access": "public"
   },
   "typeCoverage": {
-    "atLeast": 85.11
+    "atLeast": 85.04
   },
-  "gitHead": "727699e98ab06db2fc47fcc4dce7bbe3354b64c7"
+  "gitHead": "baa7c08ac81c53b4cf10a2bd76fe86baa7878c8a"
 }

package/src/cleanProposal.d.ts

@@ -6,4 +6,5 @@ export function cleanKeywords(uncleanKeywordRecord: {
 export function coerceAmountPatternKeywordRecord(allegedAmountKeywordRecord: any, getAssetKindByBrand: any): Record<string | number | symbol, any>;
 export function coerceAmountKeywordRecord(allegedAmountKeywordRecord: unknown, getAssetKindByBrand: any): AmountKeywordRecord;
 export function cleanProposal(proposal: Proposal, getAssetKindByBrand: GetAssetKindByBrand): ProposalRecord;
+import type { Proposal } from '@agoric/zoe';
 //# sourceMappingURL=cleanProposal.d.ts.map

package/src/cleanProposal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cleanProposal.d.ts","sourceRoot":"","sources":["cleanProposal.js"],"names":[],"mappings":"AAWA,iCAAkC,GAAG,CAAC;AAa/B,sDAYN;AAMM,oDAHI;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAA;CAAC,GACnB,MAAM,EAAE,CAcpB;AAEM,mJAsBN;AAQM,sEAJI,OAAO,uBACP,GAAC,GACC,mBAAmB,CAa/B;AA4CM,wCAJI,QAAQ,uBACR,mBAAmB,GACjB,cAAc,CA6B1B"}
+{"version":3,"file":"cleanProposal.d.ts","sourceRoot":"","sources":["cleanProposal.js"],"names":[],"mappings":"AAWA,iCAAkC,GAAG,CAAC;AAiB/B,sDAYN;AAMM,oDAHI;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAA;CAAC,GACnB,MAAM,EAAE,CAcpB;AAEM,mJAsBN;AAQM,sEAJI,OAAO,uBACP,GAAC,GACC,mBAAmB,CAa/B;AA4CM,wCAJI,QAAQ,uBACR,mBAAmB,GACjB,cAAc,CA6B1B;8BA9JoC,aAAa"}

package/src/cleanProposal.js

@@ -11,6 +11,10 @@ const { ownKeys } = Reflect;
 
 export const MAX_KEYWORD_LENGTH = 100;
 
+/**
+ * @import {ExitRule, Proposal} from '@agoric/zoe';
+ */
+
 const firstCapASCII = /^[A-Z][a-zA-Z0-9_$]*$/;
 
 // We adopt simple requirements on keywords so that they do not accidentally

package/src/contractFacet/exit.d.ts

@@ -1,2 +1,2 @@
-export function makeMakeExiter(baggage: any): (proposal: ProposalRecord, zcfSeat: ZCFSeat) => ExitObj;
+export function makeMakeExiter(baggage: any): (proposal: globalThis.ProposalRecord, zcfSeat: globalThis.ZCFSeat) => ExitObj;
 //# sourceMappingURL=exit.d.ts.map

package/src/contractFacet/exit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"exit.d.ts","sourceRoot":"","sources":["exit.js"],"names":[],"mappings":"AAwBO,sGAwGN"}
+{"version":3,"file":"exit.d.ts","sourceRoot":"","sources":["exit.js"],"names":[],"mappings":"AAwBO,4HAwGN"}

package/src/contractFacet/types.d.ts

@@ -0,0 +1,174 @@
+import type { Passable } from '@endo/pass-style';
+import type { ERef } from '@endo/far';
+import type { Pattern } from '@endo/patterns';
+import type { AdditionalDisplayInfo, Amount, AssetKind, Brand, Issuer, Payment } from '@agoric/ertp';
+import type { Subscriber } from '@agoric/notifier';
+import type { AmountKeywordRecord, ExitRule, FeeMintAccess, Instance, InvitationDetails, ProposalRecord, UserSeat, ZoeService } from '../types-index.js';
+/**
+ * Any passable non-thenable. Often an explanatory string.
+ */
+export type Completion = Passable;
+export type ZCFMakeEmptySeatKit = (exit?: ExitRule | undefined) => ZcfSeatKit;
+export type InvitationAmount = Amount<'set', InvitationDetails>;
+/**
+ * Zoe Contract Facet
+ *
+ * The Zoe interface specific to a contract instance. The Zoe Contract
+ * Facet is an API object used by running contract instances to access
+ * the Zoe state for that instance. The Zoe Contract Facet is accessed
+ * synchronously from within the contract, and usually is referred to
+ * in code as zcf.
+ */
+export type ZCF<CT = Record<string, unknown>> = {
+    /**
+     * - atomically reallocate amounts among seats.
+     */
+    atomicRearrange: (transfers: TransferPart[]) => void;
+    /**
+     * - check
+     * whether a keyword is valid and unique and could be added in
+     * `saveIssuer`
+     */
+    assertUniqueKeyword: (keyword: Keyword) => void;
+    /**
+     * Informs Zoe about an issuer and returns a promise for acknowledging
+     * when the issuer is added and ready.
+     *
+     * @returns the AmountMath and brand synchronously accessible after
+     * saving
+     */
+    saveIssuer: <I extends Issuer>(issuerP: ERef<I>, keyword: Keyword) => Promise<I extends Issuer<infer K, infer M> ? IssuerRecord<K, M> : never>;
+    /**
+     * Make a credible Zoe invitation for a particular smart contract
+     * indicated by the `instance` in the details of the invitation. Zoe
+     * also puts the `installation` and a unique `handle` in the details
+     * of the invitation. The contract must provide a `description` for
+     * the invitation and should include whatever information is necessary
+     * for a potential buyer of the invitation to know what they are
+     * getting in the `customDetails`. `customDetails` will be
+     * placed in the details of the invitation.
+     */
+    makeInvitation: <R, A = undefined>(offerHandler: OfferHandler<ERef<R>, A>, description: string, customDetails?: object, proposalShape?: Pattern) => Promise<Invitation<R, A>>;
+    shutdown: (completion: Completion) => void;
+    shutdownWithFailure: import('@agoric/swingset-vat').ShutdownWithFailure;
+    getZoeService: () => ERef<ZoeService>;
+    getInvitationIssuer: () => Issuer<'set'>;
+    getTerms: () => StandardTerms & CT;
+    getBrandForIssuer: <K extends AssetKind>(issuer: Issuer<K>) => Brand<K>;
+    getIssuerForBrand: <K_1 extends AssetKind>(brand: Brand<K_1>) => Issuer<K_1>;
+    getAssetKind: (brand: Brand) => AssetKind;
+    makeZCFMint: <K_2 extends AssetKind = 'nat'>(keyword: Keyword, assetKind?: K_2 | undefined, displayInfo?: AdditionalDisplayInfo, options?: import('@agoric/ertp').IssuerOptionsRecord) => Promise<ZCFMint<K_2>>;
+    registerFeeMint: ZCFRegisterFeeMint;
+    makeEmptySeatKit: ZCFMakeEmptySeatKit;
+    setTestJig: SetTestJig;
+    stopAcceptingOffers: () => Promise<void>;
+    setOfferFilter: (strings: Array<string>) => Promise<void>;
+    getOfferFilter: () => Promise<Array<string>>;
+    getInstance: () => Instance;
+};
+export type TransferPart = [
+    fromSeat?: ZCFSeat,
+    toSeat?: ZCFSeat,
+    fromAmounts?: AmountKeywordRecord,
+    toAmounts?: AmountKeywordRecord
+];
+export type ZCFRegisterFeeMint = (keyword: Keyword, allegedFeeMintAccess: FeeMintAccess) => Promise<ZCFMint<'nat'>>;
+/**
+ * Provide a jig object for testing purposes only.
+ *
+ * The contract code provides a callback whose return result will
+ * be made available to the test that started this contract. The
+ * supplied callback will only be called in a testing context,
+ * never in production; i.e., it is only called if `testJigSetter`
+ * was supplied.
+ *
+ * If no `testFn` is supplied, then an empty jig will be used.
+ * An additional `zcf` property set to the current ContractFacet
+ * will be appended to the returned jig object (overriding any
+ * provided by the `testFn`).
+ */
+export type SetTestJig = (testFn?: () => Record<string, unknown>) => void;
+export type ZCFMint<K extends AssetKind = AssetKind> = {
+    getIssuerRecord: () => IssuerRecord<K>;
+    /**
+     * All the amounts in gains must be of this ZCFMint's brand.
+     * The gains' keywords are in the namespace of that seat.
+     * Add the gains to that seat's allocation.
+     * The resulting state must be offer safe. (Currently, increasing assets can
+     * never violate offer safety anyway.)
+     *
+     * Mint that amount of assets into the pooled purse.
+     * If a seat is provided, it is returned. Otherwise a new seat is
+     * returned.
+     */
+    mintGains: (gains: AmountKeywordRecord, zcfSeat?: ZCFSeat) => ZCFSeat;
+    /**
+     * All the amounts in losses must be of this ZCFMint's brand.
+     * The losses' keywords are in the namespace of that seat.
+     * Subtract losses from that seat's allocation.
+     * The resulting state must be offer safe.
+     *
+     * Burn that amount of assets from the pooled purse.
+     */
+    burnLosses: (losses: AmountKeywordRecord, zcfSeat: ZCFSeat) => void;
+};
+/**
+ * fail called with the reason for this failure, where reason is
+ * normally an instanceof Error.
+ */
+export type ZCFSeatFail = (reason: unknown) => Error;
+export type ZCFSeat = import('@endo/pass-style').RemotableObject & {
+    exit: (completion?: Completion) => void;
+    fail: ZCFSeatFail;
+    getSubscriber: () => Promise<Subscriber<Allocation>>;
+    hasExited: () => boolean;
+    getProposal: () => ProposalRecord;
+    /**
+     * @param brand used for filling in an empty amount if the `keyword`
+     * is not present in the allocation
+     */
+    getAmountAllocated: <B extends Brand>(keyword: Keyword, brand?: B) => B extends Brand<infer K> ? Amount<K> : Amount;
+    getCurrentAllocation: () => Allocation;
+    isOfferSafe: (newAllocation: Allocation) => boolean;
+};
+export type ZcfSeatKit = {
+    zcfSeat: ZCFSeat;
+    userSeat: Promise<UserSeat>;
+};
+export type HandleOffer<OR, OA> = (seat: ZCFSeat, offerArgs: OA) => OR;
+export type OfferHandler<OR = unknown, OA = never> = HandleOffer<OR, OA> | {
+    handle: HandleOffer<OR, OA>;
+};
+export type ContractMeta<SF extends import('../zoeService/utils').ContractStartFunction = import('../zoeService/utils').ContractStartFunction> = {
+    customTermsShape?: Record<Parameters<SF>[0] extends ZCF<infer CT> ? keyof CT : never, Pattern>;
+    privateArgsShape?: {
+        [K in keyof Parameters<SF>[1]]: Pattern;
+    };
+    /**
+     * - `none` means that the contract is not upgradable.
+     * - `canUpgrade` means this code can perform an upgrade
+     * - `canBeUpgraded` means that the contract stores kinds durably such that the next version can upgrade
+     */
+    upgradability?: 'none' | 'canBeUpgraded' | 'canUpgrade' | undefined;
+};
+/**
+ * API for a contract start function.
+ *
+ * CAVEAT: assumes synchronous
+ */
+export type ContractStartFn<PF = any, CF = any, CT = any, PA = any> = (zcf: ZCF<CT>, privateArgs: PA, baggage: import('@agoric/vat-data').Baggage) => ContractStartFnResult<PF, CF>;
+export type ContractStartFnResult<PF, CF> = {
+    publicFacet?: PF;
+    creatorFacet?: CF;
+    creatorInvitation?: Promise<Invitation<any, any>> | undefined;
+};
+export type ContractOf<S extends (...args: any) => any> = import('../zoeService/utils').ContractOf<S>;
+export type AdminFacet = import('../zoeService/utils').AdminFacet<any>;
+declare const OfferReturn: unique symbol;
+declare const OfferArgs: unique symbol;
+export type Invitation<R = unknown, A = undefined> = Payment<'set', InvitationDetails> & {
+    [OfferReturn]?: R;
+    [OfferArgs]?: A;
+};
+export {};
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,EACV,qBAAqB,EACrB,MAAM,EACN,SAAS,EACT,KAAK,EACL,MAAM,EACN,OAAO,EACR,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,iBAAiB,EACjB,cAAc,EACd,QAAQ,EACR,UAAU,EACX,MAAM,mBAAmB,CAAC;AAE3B;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;AAClC,MAAM,MAAM,mBAAmB,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,SAAS,KAAK,UAAU,CAAC;AAE9E,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;AAEhE;;;;;;;;GAQG;AACH,MAAM,MAAM,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IAC9C;;OAEG;IACH,eAAe,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,IAAI,CAAC;IACrD;;;;OAIG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;IAChD;;;;;;OAMG;IACH,UAAU,EAAE,CAAC,CAAC,SAAS,MAAM,EAC3B,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAChB,OAAO,EAAE,OAAO,KACb,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAE9E;;;;;;;;;OASG;IACH,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,EAC/B,YAAY,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EACtC,WAAW,EAAE,MAAM,EACnB,aAAa,CAAC,EAAE,MAAM,EACtB,aAAa,CAAC,EAAE,OAAO,KACpB,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI,CAAC;IAC3C,mBAAmB,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC;IACxE,aAAa,EAAE,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,mBAAmB,EAAE,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC;IACzC,QAAQ,EAAE,MAAM,aAAa,GAAG,EAAE,CAAC;IACnC,iBAAiB,EAAE,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACxE,iBAAiB,EAAE,CAAC,GAAG,SAAS,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7E,YAAY,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC;IAC1C,WAAW,EAAE,CAAC,GAAG,SAAS,SAAS,GAAG,KAAK,EACzC,OAAO,EAAE,OAAO,EAChB,SAAS,CAAC,EAAE,GAAG,GAAG,SAAS,EAC3B,WAAW,CAAC,EAAE,qBAAqB,EACnC,OAAO,CAAC,EAAE,OAAO,cAAc,EAAE,mBAAmB,KACjD,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,eAAe,EAAE,kBAAkB,CAAC;IACpC,gBAAgB,EAAE,mBAAmB,CAAC;IACtC,UAAU,EAAE,UAAU,CAAC;IACvB,mBAAmB,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,cAAc,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,cAAc,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7C,WAAW,EAAE,MAAM,QAAQ,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,EAAE,OAAO;IAClB,MAAM,CAAC,EAAE,OAAO;IAChB,WAAW,CAAC,EAAE,mBAAmB;IACjC,SAAS,CAAC,EAAE,mBAAmB;CAChC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,CAC/B,OAAO,EAAE,OAAO,EAChB,oBAAoB,EAAE,aAAa,KAChC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7B;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;AAC1E,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI;IACrD,eAAe,EAAE,MAAM,YAAY,CAAC,CAAC,CAAC,CAAC;IACvC;;;;;;;;;;OAUG;IACH,SAAS,EAAE,CAAC,KAAK,EAAE,mBAAmB,EAAE,OAAO,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC;IACtE;;;;;;;OAOG;IACH,UAAU,EAAE,CAAC,MAAM,EAAE,mBAAmB,EAAE,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;CACrE,CAAC;AACF;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,OAAO,KAAK,KAAK,CAAC;AACrD,MAAM,MAAM,OAAO,GAAG,OAAO,kBAAkB,EAAE,eAAe,GAAG;IACjE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,KAAK,IAAI,CAAC;IACxC,IAAI,EAAE,WAAW,CAAC;IAClB,aAAa,EAAE,MAAM,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACrD,SAAS,EAAE,MAAM,OAAO,CAAC;IACzB,WAAW,EAAE,MAAM,cAAc,CAAC;IAClC;;;OAGG;IACH,kBAAkB,EAAE,CAAC,CAAC,SAAS,KAAK,EAClC,OAAO,EAAE,OAAO,EAChB,KAAK,CAAC,EAAE,CAAC,KACN,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;IACnD,oBAAoB,EAAE,MAAM,UAAU,CAAC;IACvC,WAAW,EAAE,CAAC,aAAa,EAAE,UAAU,KAAK,OAAO,CAAC;CACrD,CAAC;AACF,MAAM,MAAM,UAAU,GAAG;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;CAC7B,CAAC;AACF,MAAM,MAAM,WAAW,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC;AACvE,MAAM,MAAM,YAAY,CAAC,EAAE,GAAG,OAAO,EAAE,EAAE,GAAG,KAAK,IAC7C,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,GACnB;IACE,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;CAC7B,CAAC;AACN,MAAM,MAAM,YAAY,CACtB,EAAE,SACA,OAAO,qBAAqB,EAAE,qBAAqB,GAAG,OAAO,qBAAqB,EAAE,qBAAqB,IACzG;IACF,gBAAgB,CAAC,EAAE,MAAM,CACvB,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,EAC1D,OAAO,CACR,CAAC;IACF,gBAAgB,CAAC,EAAE;SAAG,CAAC,IAAI,MAAM,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO;KAAE,CAAC;IAC/D;;;;OAIG;IACH,aAAa,CAAC,EAAE,MAAM,GAAG,eAAe,GAAG,YAAY,GAAG,SAAS,CAAC;CACrE,CAAC;AACF;;;;GAIG;AACH,MAAM,MAAM,eAAe,CAAC,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,GAAG,IAAI,CACpE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EACZ,WAAW,EAAE,EAAE,EACf,OAAO,EAAE,OAAO,kBAAkB,EAAE,OAAO,KACxC,qBAAqB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AACnC,MAAM,MAAM,qBAAqB,CAAC,EAAE,EAAE,EAAE,IAAI;IAC1C,WAAW,CAAC,EAAE,EAAE,CAAC;IACjB,YAAY,CAAC,EAAE,EAAE,CAAC;IAClB,iBAAiB,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC;CAC/D,CAAC;AAGF,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,GAAG,IACpD,OAAO,qBAAqB,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;AAC9C,MAAM,MAAM,UAAU,GAAG,OAAO,qBAAqB,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;AAEvE,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AACzC,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAC;AACvC,MAAM,MAAM,UAAU,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,SAAS,IAAI,OAAO,CAC1D,KAAK,EACL,iBAAiB,CAClB,GAAG;IAEF,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;CACjB,CAAC"}

package/src/contractFacet/{types-ambient.d.ts → types.ts}

@@ -1,14 +1,33 @@
-/// <reference types="@agoric/ertp/exported" />
-/// <reference types="@endo/pass-style" />
-/// <reference path="../zoeService/utils.d.ts" />
+import type { Passable } from '@endo/pass-style';
+import type { ERef } from '@endo/far';
+import type { Pattern } from '@endo/patterns';
+import type {
+  AdditionalDisplayInfo,
+  Amount,
+  AssetKind,
+  Brand,
+  Issuer,
+  Payment,
+} from '@agoric/ertp';
+import type { Subscriber } from '@agoric/notifier';
+import type {
+  AmountKeywordRecord,
+  ExitRule,
+  FeeMintAccess,
+  Instance,
+  InvitationDetails,
+  ProposalRecord,
+  UserSeat,
+  ZoeService,
+} from '../types-index.js';
 
 /**
  * Any passable non-thenable. Often an explanatory string.
  */
-type Completion = import('@endo/pass-style').Passable;
-type ZCFMakeEmptySeatKit = (exit?: ExitRule | undefined) => ZcfSeatKit;
+export type Completion = Passable;
+export type ZCFMakeEmptySeatKit = (exit?: ExitRule | undefined) => ZcfSeatKit;
 
-type InvitationAmount = Amount<'set', InvitationDetails>;
+export type InvitationAmount = Amount<'set', InvitationDetails>;
 
 /**
  * Zoe Contract Facet
@@ -19,7 +38,7 @@ type InvitationAmount = Amount<'set', InvitationDetails>;
  * synchronously from within the contract, and usually is referred to
  * in code as zcf.
  */
-type ZCF<CT = Record<string, unknown>> = {
+export type ZCF<CT = Record<string, unknown>> = {
   /**
    * - atomically reallocate amounts among seats.
    */
@@ -65,7 +84,7 @@ type ZCF<CT = Record<string, unknown>> = {
   getTerms: () => StandardTerms & CT;
   getBrandForIssuer: <K extends AssetKind>(issuer: Issuer<K>) => Brand<K>;
   getIssuerForBrand: <K_1 extends AssetKind>(brand: Brand<K_1>) => Issuer<K_1>;
-  getAssetKind: GetAssetKindByBrand;
+  getAssetKind: (brand: Brand) => AssetKind;
   makeZCFMint: <K_2 extends AssetKind = 'nat'>(
     keyword: Keyword,
     assetKind?: K_2 | undefined,
@@ -81,14 +100,14 @@ type ZCF<CT = Record<string, unknown>> = {
   getInstance: () => Instance;
 };
 
-type TransferPart = [
+export type TransferPart = [
   fromSeat?: ZCFSeat,
   toSeat?: ZCFSeat,
   fromAmounts?: AmountKeywordRecord,
   toAmounts?: AmountKeywordRecord,
 ];
 
-type ZCFRegisterFeeMint = (
+export type ZCFRegisterFeeMint = (
   keyword: Keyword,
   allegedFeeMintAccess: FeeMintAccess,
 ) => Promise<ZCFMint<'nat'>>;
@@ -106,8 +125,8 @@ type ZCFRegisterFeeMint = (
  * will be appended to the returned jig object (overriding any
  * provided by the `testFn`).
  */
-type SetTestJig = (testFn?: () => Record<string, unknown>) => void;
-type ZCFMint<K extends AssetKind = AssetKind> = {
+export type SetTestJig = (testFn?: () => Record<string, unknown>) => void;
+export type ZCFMint<K extends AssetKind = AssetKind> = {
   getIssuerRecord: () => IssuerRecord<K>;
   /**
    * All the amounts in gains must be of this ZCFMint's brand.
@@ -135,8 +154,8 @@ type ZCFMint<K extends AssetKind = AssetKind> = {
  * fail called with the reason for this failure, where reason is
  * normally an instanceof Error.
  */
-type ZCFSeatFail = (reason: unknown) => Error;
-type ZCFSeat = import('@endo/pass-style').RemotableObject & {
+export type ZCFSeatFail = (reason: unknown) => Error;
+export type ZCFSeat = import('@endo/pass-style').RemotableObject & {
   exit: (completion?: Completion) => void;
   fail: ZCFSeatFail;
   getSubscriber: () => Promise<Subscriber<Allocation>>;
@@ -153,17 +172,17 @@ type ZCFSeat = import('@endo/pass-style').RemotableObject & {
   getCurrentAllocation: () => Allocation;
   isOfferSafe: (newAllocation: Allocation) => boolean;
 };
-type ZcfSeatKit = {
+export type ZcfSeatKit = {
   zcfSeat: ZCFSeat;
   userSeat: Promise<UserSeat>;
 };
-type HandleOffer<OR, OA> = (seat: ZCFSeat, offerArgs: OA) => OR;
-type OfferHandler<OR = unknown, OA = never> =
+export type HandleOffer<OR, OA> = (seat: ZCFSeat, offerArgs: OA) => OR;
+export type OfferHandler<OR = unknown, OA = never> =
   | HandleOffer<OR, OA>
   | {
       handle: HandleOffer<OR, OA>;
     };
-type ContractMeta<
+export type ContractMeta<
   SF extends // import inline to maintain ambient mode
     import('../zoeService/utils').ContractStartFunction = import('../zoeService/utils').ContractStartFunction,
 > = {
@@ -184,25 +203,25 @@ type ContractMeta<
  *
  * CAVEAT: assumes synchronous
  */
-type ContractStartFn<PF = any, CF = any, CT = any, PA = any> = (
+export type ContractStartFn<PF = any, CF = any, CT = any, PA = any> = (
   zcf: ZCF<CT>,
   privateArgs: PA,
   baggage: import('@agoric/vat-data').Baggage,
 ) => ContractStartFnResult<PF, CF>;
-type ContractStartFnResult<PF, CF> = {
+export type ContractStartFnResult<PF, CF> = {
   publicFacet?: PF;
   creatorFacet?: CF;
   creatorInvitation?: Promise<Invitation<any, any>> | undefined;
 };
 
 // XXX redef, losing documentation
-type ContractOf<S extends (...args: any) => any> =
+export type ContractOf<S extends (...args: any) => any> =
   import('../zoeService/utils').ContractOf<S>;
-type AdminFacet = import('../zoeService/utils').AdminFacet<any>;
+export type AdminFacet = import('../zoeService/utils').AdminFacet<any>;
 
 declare const OfferReturn: unique symbol;
 declare const OfferArgs: unique symbol;
-type Invitation<R = unknown, A = undefined> = Payment<
+export type Invitation<R = unknown, A = undefined> = Payment<
   'set',
   InvitationDetails
 > & {

package/src/contractFacet/vatRoot.d.ts

@@ -1,14 +1,20 @@
 /**
- * @param {VatPowers & { testJigSetter: TestJigSetter }} powers
+ * @import {ZoeService} from '@agoric/zoe';
+ */
+/**
+ * @param {VatPowers & { testJigSetter: ( {zcf}: {zcf: ZCF} ) => void }} powers
  * @param {{contractBundleCap: BundleCap, zoeService: ZoeService, invitationIssuer: Issuer<'set'>, privateArgs?: any}} vatParameters
  * @param {import('@agoric/vat-data').Baggage} baggage
  */
 export function buildRootObject(powers: VatPowers & {
-    testJigSetter: TestJigSetter;
+    testJigSetter: ({ zcf }: {
+        zcf: ZCF;
+    }) => void;
 }, vatParameters: {
     contractBundleCap: BundleCap;
     zoeService: ZoeService;
     invitationIssuer: Issuer<"set">;
     privateArgs?: any;
 }, baggage: import("@agoric/vat-data").Baggage): Promise<import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {}>>;
+import type { ZoeService } from '@agoric/zoe';
 //# sourceMappingURL=vatRoot.d.ts.map

package/src/contractFacet/vatRoot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vatRoot.d.ts","sourceRoot":"","sources":["vatRoot.js"],"names":[],"mappings":"AAiBA;;;;GAIG;AACH,wCAJW,SAAS,GAAG;IAAE,aAAa,EAAE,aAAa,CAAA;CAAE,iBAC5C;IAAC,iBAAiB,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAA;CAAC,WAC1G,OAAO,kBAAkB,EAAE,OAAO,oIA+D5C"}
+{"version":3,"file":"vatRoot.d.ts","sourceRoot":"","sources":["vatRoot.js"],"names":[],"mappings":"AAeA;;GAEG;AAEH;;;;GAIG;AACH,wCAJW,SAAS,GAAG;IAAE,aAAa,EAAE,CAAE,EAAC,GAAG,EAAC,EAAE;QAAC,GAAG,EAAE,GAAG,CAAA;KAAC,KAAM,IAAI,CAAA;CAAE,iBAC5D;IAAC,iBAAiB,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAA;CAAC,WAC1G,OAAO,kBAAkB,EAAE,OAAO,oIA8D5C;gCApE4B,aAAa"}

package/src/contractFacet/vatRoot.js

@@ -11,12 +11,14 @@ import { Fail } from '@endo/errors';
 import { Far } from '@endo/marshal';
 import { E } from '@endo/far';
 
-import '../internal-types.js';
-
 import { makeZCFZygote } from './zcfZygote.js';
 
 /**
- * @param {VatPowers & { testJigSetter: TestJigSetter }} powers
+ * @import {ZoeService} from '@agoric/zoe';
+ */
+
+/**
+ * @param {VatPowers & { testJigSetter: ( {zcf}: {zcf: ZCF} ) => void }} powers
  * @param {{contractBundleCap: BundleCap, zoeService: ZoeService, invitationIssuer: Issuer<'set'>, privateArgs?: any}} vatParameters
  * @param {import('@agoric/vat-data').Baggage} baggage
  */
@@ -72,7 +74,6 @@ export async function buildRootObject(powers, vatParameters, baggage) {
       issuerStorageFromZoe,
       privateArgs = undefined,
     ) => {
-      /** @type {ZCFZygote} */
       return E(zcfZygote).startContract(
         zoeInstanceAdmin,
         instanceRecordFromZoe,

package/src/contractFacet/zcfMint.d.ts

@@ -5,4 +5,5 @@ export function prepareZcMint(zcfBaggage: import("@agoric/vat-data").Baggage, re
     zcfSeat: any;
     userSeat: Promise<UserSeat>;
 }, reallocator: ZcfMintReallocator): (keyword: string, zoeMintP: ERef<ZoeMint<K>>) => Promise<ZCFMint<K>>;
+import type { ZCFMint } from '@agoric/zoe';
 //# sourceMappingURL=zcfMint.d.ts.map

package/src/contractFacet/zcfMint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"zcfMint.d.ts","sourceRoot":"","sources":["zcfMint.js"],"names":[],"mappings":"AAmBO,4CAJI,mBAAmB,gBACnB,YAAY,GACV,MAAM,CAYlB;AASM,0CANI,OAAO,kBAAkB,EAAE,OAAO,gBAClC;IAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,GAAG,IAAI,CAAA;CAAE,uBACvD,mBAAmB,oBACnB,CAAC,IAAI,CAAC,EAAE,SAAS,KAAK;IAAE,OAAO,EAAE,GAAG,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAA;CAAE,eACnE,kBAAkB,IA0Gb,SAJH,MAIU,EAAE,UAHZ,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAGK,KAFlB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAWjC"}
+{"version":3,"file":"zcfMint.d.ts","sourceRoot":"","sources":["zcfMint.js"],"names":[],"mappings":"AAqBO,4CAJI,mBAAmB,gBACnB,YAAY,GACV,MAAM,CAYlB;AASM,0CANI,OAAO,kBAAkB,EAAE,OAAO,gBAClC;IAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,GAAG,IAAI,CAAA;CAAE,uBACvD,mBAAmB,oBACnB,CAAC,IAAI,CAAC,EAAE,SAAS,KAAK;IAAE,OAAO,EAAE,GAAG,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAA;CAAE,eACnE,kBAAkB,IA0Gb,SAJH,MAIU,EAAE,UAHZ,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAGK,KAFlB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAWjC;6BA5I8G,aAAa"}

package/src/contractFacet/zcfMint.js

@@ -9,8 +9,10 @@ import { addToAllocation, subtractFromAllocation } from './allocationMath.js';
 
 import '../internal-types.js';
 import { ZcfMintI } from './typeGuards.js';
-import './internal-types.js';
-import './types-ambient.js';
+
+/**
+ * @import {ContractMeta, ContractStartFn, Invitation, OfferHandler, TransferPart, ZCF, ZCFMint, ZCFSeat} from '@agoric/zoe';
+ */
 
 /**
  * @param {AmountKeywordRecord} amr

package/src/contractFacet/zcfSeat.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"zcfSeat.d.ts","sourceRoot":"","sources":["zcfSeat.js"],"names":[],"mappings":"AAqCO,oDANI,IAAI,CAAC,gBAAgB,CAAC,uBACtB,mBAAmB,uBACnB,OAAO,sBAAsB,EAAE,mBAAmB,cAClD,OAAO,kBAAkB,EAAE,OAAO,GAChC;IAAE,WAAW,EAAE,cAAc,CAAC;IAAC,kBAAkB,EAAE,kBAAkB,CAAA;CAAE,CAuTnF"}
+{"version":3,"file":"zcfSeat.d.ts","sourceRoot":"","sources":["zcfSeat.js"],"names":[],"mappings":"AAsCO,oDANI,IAAI,CAAC,gBAAgB,CAAC,uBACtB,mBAAmB,uBACnB,OAAO,sBAAsB,EAAE,mBAAmB,cAClD,OAAO,kBAAkB,EAAE,OAAO,GAChC;IAAE,WAAW,EAAE,cAAc,CAAC;IAAC,kBAAkB,EAAE,kBAAkB,CAAA;CAAE,CAuTnF"}

package/src/contractFacet/zcfSeat.js

@@ -23,6 +23,7 @@ import { TransferPartShape } from '../contractSupport/atomicTransfer.js';
 /**
  * @import {LegacyWeakMap, WeakMapStore} from '@agoric/store';
  * @import {MapStore} from '@agoric/swingset-liveslots';
+ * @import {ContractMeta, Invitation, OfferHandler, TransferPart, ZCF, ZCFSeat} from '@agoric/zoe';
  */
 
 /**

package/src/contractFacet/zcfZygote.d.ts

@@ -1,2 +1,10 @@
-export function makeZCFZygote(powers: VatPowers, zoeService: ERef<ZoeService>, invitationIssuer: Issuer<"set">, testJigSetter: TestJigSetter, contractBundleCap: BundleCap, zcfBaggage?: import("@agoric/vat-data").Baggage): Promise<ZCFZygote>;
+export function makeZCFZygote(powers: VatPowers, zoeService: ERef<ZoeService>, invitationIssuer: Issuer<"set">, testJigSetter: ({ zcf }: {
+    zcf: ZCF;
+}) => void, contractBundleCap: BundleCap, zcfBaggage?: import("@agoric/vat-data").Baggage): Promise<ZCFZygote>;
+export type ZCFZygote = {
+    startContract: (instanceAdminFromZoe: ERef<ZoeInstanceAdmin>, instanceRecordFromZoe: InstanceRecord, issuerStorageFromZoe: IssuerRecords, privateArgs?: object) => Promise<ExecuteContractResult>;
+    restartContract: (privateArgs?: object) => void;
+};
+import type { ZoeService } from '@agoric/zoe';
+import type { ZCF } from '@agoric/zoe';
 //# sourceMappingURL=zcfZygote.d.ts.map

package/src/contractFacet/zcfZygote.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"zcfZygote.d.ts","sourceRoot":"","sources":["zcfZygote.js"],"names":[],"mappings":"AAiDO,sCARI,SAAS,cACT,IAAI,CAAC,UAAU,CAAC,oBAChB,MAAM,CAAC,KAAK,CAAC,iBACb,aAAa,qBACb,SAAS,eACT,OAAO,kBAAkB,EAAE,OAAO,GAChC,OAAO,CAAC,SAAS,CAAC,CAod9B"}
+{"version":3,"file":"zcfZygote.d.ts","sourceRoot":"","sources":["zcfZygote.js"],"names":[],"mappings":"AA6DO,sCARI,SAAS,cACT,IAAI,CAAC,UAAU,CAAC,oBAChB,MAAM,CAAC,KAAK,CAAC,iBACb,CAAE,EAAC,GAAG,EAAC,EAAE;IAAC,GAAG,EAAE,GAAG,CAAA;CAAC,KAAM,IAAI,qBAC7B,SAAS,eACT,OAAO,kBAAkB,EAAE,OAAO,GAChC,OAAO,CAAC,SAAS,CAAC,CAod9B;;mBAvea,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;;gCAVsG,aAAa;yBAAb,aAAa"}

package/src/contractFacet/zcfZygote.js

@@ -30,9 +30,21 @@ import { prepareZcMint } from './zcfMint.js';
 import { ZcfI } from './typeGuards.js';
 
 /// <reference path="../internal-types.js" />
-/// <reference path="./internal-types.js" />
 
-/** @import {IssuerOptionsRecord} from '@agoric/ertp' */
+/**
+ * @import {IssuerOptionsRecord} from '@agoric/ertp';
+ * @import {ContractMeta, ContractStartFn, Invitation, OfferHandler, SetTestJig, TransferPart, ZCF, ZCFMint, ZCFRegisterFeeMint, ZoeService} from '@agoric/zoe';
+ */
+
+/**
+ * @typedef ZCFZygote
+ * @property {(instanceAdminFromZoe: ERef<ZoeInstanceAdmin>,
+ *     instanceRecordFromZoe: InstanceRecord,
+ *     issuerStorageFromZoe: IssuerRecords,
+ *     privateArgs?: object,
+ * ) => Promise<ExecuteContractResult>} startContract
+ * @property {(privateArgs?: object) => void} restartContract
+ */
 
 /**
  * Make the ZCF vat in zygote-usable form. First, a generic ZCF is
@@ -42,7 +54,7 @@ import { ZcfI } from './typeGuards.js';
  * @param {VatPowers} powers
  * @param {ERef<ZoeService>} zoeService
  * @param {Issuer<'set'>} invitationIssuer
- * @param {TestJigSetter} testJigSetter
+ * @param {( {zcf}: {zcf: ZCF} ) => void} testJigSetter
  * @param {BundleCap} contractBundleCap
  * @param {import('@agoric/vat-data').Baggage} zcfBaggage
  * @returns {Promise<ZCFZygote>}

package/src/contractSupport/atomicTransfer.d.ts

@@ -1,6 +1,12 @@
+/**
+ * @import {ContractMeta, Invitation, OfferHandler, TransferPart, ZCF, ZCFSeat} from '@agoric/zoe';
+ */
 export const TransferPartShape: import("@endo/patterns").Matcher;
 export function atomicRearrange(zcf: ZCF, transfers: TransferPart[]): void;
 export function fromOnly(fromSeat: ZCFSeat, fromAmounts: AmountKeywordRecord): TransferPart;
 export function toOnly(toSeat: ZCFSeat, toAmounts: AmountKeywordRecord): TransferPart;
 export function atomicTransfer(zcf: ZCF, fromSeat?: ZCFSeat, toSeat?: ZCFSeat, fromAmounts?: AmountKeywordRecord, toAmounts?: AmountKeywordRecord): void;
+import type { ZCF } from '@agoric/zoe';
+import type { TransferPart } from '@agoric/zoe';
+import type { ZCFSeat } from '@agoric/zoe';
 //# sourceMappingURL=atomicTransfer.d.ts.map

package/src/contractSupport/atomicTransfer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"atomicTransfer.d.ts","sourceRoot":"","sources":["atomicTransfer.js"],"names":[],"mappings":"AAGA,iEAGE;AAyCK,qCAHI,GAAG,aACH,YAAY,EAAE,QAIxB;AAcM,mCAJI,OAAO,eACP,mBAAmB,GACjB,YAAY,CAGmB;AAcrC,+BAJI,OAAO,aACP,mBAAmB,GACjB,YAAY,CAG0B;AAW5C,oCANI,GAAG,aACH,OAAO,WACP,OAAO,gBACP,mBAAmB,cACnB,mBAAmB,QAQgD"}
+{"version":3,"file":"atomicTransfer.d.ts","sourceRoot":"","sources":["atomicTransfer.js"],"names":[],"mappings":"AAGA;;GAEG;AAEH,iEAGE;AAyCK,qCAHI,GAAG,aACH,YAAY,EAAE,QAIxB;AAcM,mCAJI,OAAO,eACP,mBAAmB,GACjB,YAAY,CAGmB;AAcrC,+BAJI,OAAO,aACP,mBAAmB,GACjB,YAAY,CAG0B;AAW5C,oCANI,GAAG,aACH,OAAO,WACP,OAAO,gBACP,mBAAmB,cACnB,mBAAmB,QAQgD;yBAhGO,aAAa;kCAAb,aAAa;6BAAb,aAAa"}

package/src/contractSupport/atomicTransfer.js

@@ -1,6 +1,10 @@
 import { M } from '@agoric/store';
 import { AmountKeywordRecordShape, SeatShape } from '../typeGuards.js';
 
+/**
+ * @import {ContractMeta, Invitation, OfferHandler, TransferPart, ZCF, ZCFSeat} from '@agoric/zoe';
+ */
+
 export const TransferPartShape = M.splitArray(
   harden([M.opt(SeatShape), M.opt(SeatShape), M.opt(AmountKeywordRecordShape)]),
   harden([M.opt(AmountKeywordRecordShape)]),

package/src/contractSupport/priceAuthorityInitial.d.ts

@@ -1,4 +1,6 @@
 export function makeInitialTransform(priceOutPerIn: Ratio, priceAuthority: PriceAuthority, quoteMint: ERef<Mint<"set", PriceDescription>>, brandIn: Brand<"nat">, brandOut: Brand<"nat">): PriceAuthority;
 import type { PriceAuthority } from '@agoric/zoe/tools/types.js';
 import type { PriceDescription } from '@agoric/zoe/tools/types.js';
+import type { Mint } from '@agoric/ertp';
+import type { Brand } from '@agoric/ertp';
 //# sourceMappingURL=priceAuthorityInitial.d.ts.map

package/src/contractSupport/priceAuthorityInitial.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"priceAuthorityInitial.d.ts","sourceRoot":"","sources":["priceAuthorityInitial.js"],"names":[],"mappings":"AA6BO,oDAPI,KAAK,kBACL,cAAc,aACd,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,WACnC,KAAK,CAAC,KAAK,CAAC,YACZ,KAAK,CAAC,KAAK,CAAC,GACV,cAAc,CAyF1B;oCAvG4F,4BAA4B;sCAA5B,4BAA4B"}
+{"version":3,"file":"priceAuthorityInitial.d.ts","sourceRoot":"","sources":["priceAuthorityInitial.js"],"names":[],"mappings":"AA8BO,oDAPI,KAAK,kBACL,cAAc,aACd,IAAI,CAAC,KAAK,KAAK,EAAE,gBAAgB,CAAC,CAAC,WACnC,MAAM,KAAK,CAAC,YACZ,MAAM,KAAK,CAAC,GACV,cAAc,CAyF1B;oCAvG4F,4BAA4B;sCAA5B,4BAA4B;0BADnF,cAAc;2BAAd,cAAc"}

package/src/contractSupport/priceAuthorityInitial.js

@@ -11,6 +11,7 @@ import { multiplyBy } from './ratio.js';
 import { mintQuote } from './priceAuthorityTransform.js';
 
 /**
+ * @import {Amount, Brand, Mint} from '@agoric/ertp';
  * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
  */
 

package/src/contractSupport/types-ambient.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";UAMc,OAAO;;;;;WACP,mBAAmB;;;;;;;;YAEnB,mBAAmB;;;;;;;;;;;;;;;kBAqBtB,GAAG,YACH,OAAO,aACP,OAAO,KACL,MAAM;;;;;;;;;;uBAcR,GAAG,YACH,OAAO,aACP,OAAO,KACL,MAAM;;;;4BAIN,MAAM,CAAC,OAAO,EAAC,OAAO,CAAC;;;;;;qEAYvB,oBAAoB;;;;;;;mCAWtB,mBAAmB,GAAG,qBAAqB,GAAG,mBAAmB,GAAG,SAAS,kBAC7E,oBAAoB;;eAKjB,MAAM,CAAC,KAAK,CAAC;iBACb,MAAM,CAAC,KAAK,CAAC;;4BAKhB,MAAM,CAAC,KAAK,CAAC,SACb,KAAK,KACH,MAAM,CAAC,KAAK,CAAC"}
+{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";UAOc,OAAO;;;;;WACP,mBAAmB;;;;;;;;YAEnB,mBAAmB;;;;;;;;;;;;;;;kBAqBtB,GAAG,YACH,OAAO,aACP,OAAO,KACL,MAAM;;;;;;;;;;uBAcR,GAAG,YACH,OAAO,aACP,OAAO,KACL,MAAM;;;;4BAIN,MAAM,CAAC,OAAO,EAAC,OAAO,CAAC;;;;;;qEAYvB,oBAAoB;;;;;;;mCAWtB,mBAAmB,GAAG,qBAAqB,GAAG,mBAAmB,GAAG,SAAS,kBAC7E,oBAAoB;;eAKjB,MAAM,CAAC,KAAK,CAAC;iBACb,MAAM,CAAC,KAAK,CAAC;;4BAKhB,MAAM,CAAC,KAAK,CAAC,SACb,KAAK,KACH,MAAM,CAAC,KAAK,CAAC"}