@agoric/zoe 0.28.0-u23.0 → 0.28.0-u23.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/zoe",
-  "version": "0.28.0-u23.0",
+  "version": "0.28.0-u23.1",
   "description": "Zoe: the Smart Contract Framework for Offer Enforcement",
   "type": "module",
   "main": "./src/zoeService/zoe.js",
@@ -41,16 +41,16 @@
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
     "@agoric/base-zone": "0.3.0-u23.0",
-    "@agoric/ertp": "0.18.0-u23.0",
-    "@agoric/internal": "0.5.0-u23.0",
-    "@agoric/notifier": "0.8.0-u23.0",
+    "@agoric/ertp": "0.18.0-u23.1",
+    "@agoric/internal": "0.5.0-u23.1",
+    "@agoric/notifier": "0.8.0-u23.1",
     "@agoric/store": "0.11.0-u23.0",
-    "@agoric/swingset-liveslots": "0.12.0-u23.0",
-    "@agoric/swingset-vat": "0.34.0-u23.0",
+    "@agoric/swingset-liveslots": "0.12.0-u23.1",
+    "@agoric/swingset-vat": "0.34.0-u23.1",
     "@agoric/time": "0.5.0-u23.0",
-    "@agoric/vat-data": "0.7.0-u23.0",
-    "@agoric/vow": "0.3.0-u23.0",
-    "@agoric/zone": "0.4.0-u23.0",
+    "@agoric/vat-data": "0.7.0-u23.1",
+    "@agoric/vow": "0.3.0-u23.1",
+    "@agoric/zone": "0.4.0-u23.1",
     "@endo/bundle-source": "^4.1.2",
     "@endo/captp": "^4.4.8",
     "@endo/common": "^1.2.13",
@@ -97,5 +97,5 @@
   "typeCoverage": {
     "atLeast": 84.84
   },
-  "gitHead": "1147be15b0704de17204d04e2407fa3192b98a1c"
+  "gitHead": "6a6343510742fef366aa7b4a31a862f9ef409656"
 }

package/source-spec-registry.d.ts

@@ -0,0 +1,25 @@
+export namespace zoeSourceSpecRegistry {
+    namespace zcf {
+        let bundleName: string;
+        let packagePath: string;
+        let sourceSpec: string;
+    }
+    namespace automaticRefund {
+        let bundleName_1: string;
+        export { bundleName_1 as bundleName };
+        let packagePath_1: string;
+        export { packagePath_1 as packagePath };
+        let sourceSpec_1: string;
+        export { sourceSpec_1 as sourceSpec };
+    }
+}
+export function getZoeSourceSpec(name: keyof typeof zoeSourceSpecRegistry): {
+    bundleName: string;
+    packagePath: string;
+    sourceSpec: string;
+} | {
+    bundleName: string;
+    packagePath: string;
+    sourceSpec: string;
+};
+//# sourceMappingURL=source-spec-registry.d.ts.map

package/source-spec-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-spec-registry.d.ts","sourceRoot":"","sources":["source-spec-registry.js"],"names":[],"mappings":";;;;;;;;;;;;;;;AAsBO,uCADK,MAAM,OAAO,qBAAqB;;;;;;;;EACqB"}

package/src/cleanProposal.d.ts

@@ -0,0 +1,13 @@
+export const MAX_KEYWORD_LENGTH: 100;
+export function assertKeywordName(keyword: any): void;
+export function cleanKeywords(uncleanKeywordRecord: {
+    [name: string]: any;
+}): string[];
+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 { AmountKeywordRecord } from '@agoric/zoe';
+import type { Proposal } from '@agoric/zoe';
+import type { GetAssetKindByBrand } from './internal-types.js';
+import type { ProposalRecord } from '@agoric/zoe';
+//# sourceMappingURL=cleanProposal.d.ts.map

package/src/cleanProposal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cleanProposal.d.ts","sourceRoot":"","sources":["cleanProposal.js"],"names":[],"mappings":"AASA,iCAAkC,GAAG,CAAC;AAkB/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;yCA/JyE,aAAa;8BAAb,aAAa;yCACjD,qBAAqB;oCADe,aAAa"}

package/src/contractFacet/allocationMath.d.ts

@@ -0,0 +1,11 @@
+export function addToAllocation(allocation: Allocation, amountKeywordRecord: AmountKeywordRecord): AmountKeywordRecord;
+export function subtractFromAllocation(allocation: Allocation, amountKeywordRecord: AmountKeywordRecord): AmountKeywordRecord;
+/**
+ * An operation such as add or subtract.
+ */
+export type Operation = (amount: Amount | undefined, diff: Amount | undefined, keyword: Keyword) => Amount;
+import type { Allocation } from './types.js';
+import type { AmountKeywordRecord } from '@agoric/zoe';
+import type { Amount } from '@agoric/ertp';
+import type { Keyword } from '@agoric/zoe';
+//# sourceMappingURL=allocationMath.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"allocationMath.d.ts","sourceRoot":"","sources":["allocationMath.js"],"names":[],"mappings":"AAuFO,4CAJI,UAAU,uBACV,mBAAmB,GACjB,mBAAmB,CAI/B;AAOM,mDAJI,UAAU,uBACV,mBAAmB,GACjB,mBAAmB,CAI/B;;;;iCApFU,MAAM,GAAG,SAAS,QAClB,MAAM,GAAG,SAAS,WAClB,OAAO,KACL,MAAM;gCAZU,YAAY;yCADM,aAAa;4BAEnC,cAAc;6BAFQ,aAAa"}

package/src/contractFacet/evalContractCode.d.ts

@@ -0,0 +1,2 @@
+export function evalContractBundle(bundle: any, additionalEndowments?: {}): Promise<any>;
+//# sourceMappingURL=evalContractCode.d.ts.map

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

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

package/src/contractFacet/exit.d.ts

@@ -0,0 +1,2 @@
+export function makeMakeExiter(baggage: any): (proposal: import("../types-index.js").ProposalRecord, zcfSeat: import("./types.js").ZCFSeat) => import("../internal-types.js").ExitObj;
+//# sourceMappingURL=exit.d.ts.map

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

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

package/src/contractFacet/offerHandlerStorage.d.ts

@@ -0,0 +1,14 @@
+export function makeOfferHandlerStorage(zcfBaggage: any): {
+    storeOfferHandler: (offerHandler: any) => import("@agoric/zoe").Handle<"Invitation">;
+    takeOfferHandler: (invitationHandle: InvitationHandle, details?: Details) => OfferHandler;
+};
+/**
+ * The following should work. But for some reason,
+ */
+export type Details = string | {};
+export type PassableOfferHandler = RemotableBrand<any, any> & RemotableObject & OfferHandler;
+import type { InvitationHandle } from '../types.js';
+import type { OfferHandler } from '@agoric/zoe';
+import type { RemotableBrand } from '@endo/eventual-send';
+import type { RemotableObject } from '@endo/pass-style';
+//# sourceMappingURL=offerHandlerStorage.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"offerHandlerStorage.d.ts","sourceRoot":"","sources":["offerHandlerStorage.js"],"names":[],"mappings":"AAkCO;;yCAgCwB,gBAAgB,YAAY,OAAO,KAAK,YAAY;EAsBlF;;;;sBAlEY,MAAM,GAAG,EAAE;mCASX,2BAAiB,eAAe,GAAG,YAAY;sCArBzB,aAAa;kCADjB,aAAa;oCAiBX,qBAAqB;qCACpB,kBAAkB"}

package/src/contractFacet/offerSafety.d.ts

@@ -0,0 +1,36 @@
+/**
+ * `isOfferSafe` checks offer safety for a single offer.
+ *
+ * Note: This implementation checks whether we fully satisfy
+ * `proposal.give` (giving a refund) or whether we fully satisfy
+ * `proposal.want`. Both can be fully satisfied.
+ *
+ * @param  {ProposalRecord} proposal - the rules that accompanied the
+ * escrow of payments that dictate what the user expected to get back
+ * from Zoe. A proposal is a record with keys `give`, `want`, and
+ * `exit`. `give` and `want` are records with keywords as keys and
+ * amounts as values. The proposal is a user's understanding of the
+ * contract that they are entering when they make an offer.
+ * @param  {AmountKeywordRecord} allocation - a record with keywords
+ * as keys and amounts as values. These amounts are the reallocation
+ * to be given to a user.
+ */
+export function isOfferSafe(proposal: ProposalRecord, allocation: AmountKeywordRecord): boolean;
+/**
+ * For this allocation to satisfy what the user wanted, their
+ * allocated amounts must be greater than or equal to proposal.want.
+ *
+ * @param {ProposalRecord} proposal - the rules that accompanied the
+ * escrow of payments that dictate what the user expected to get back
+ * from Zoe. A proposal is a record with keys `give`, `want`, and
+ * `exit`. `give` and `want` are records with keywords as keys and
+ * amounts as values. The proposal is a user's understanding of the
+ * contract that they are entering when they make an offer.
+ * @param {AmountKeywordRecord} allocation - a record with keywords
+ * as keys and amounts as values. These amounts are the reallocation
+ * to be given to a user.
+ */
+export function satisfiesWant(proposal: ProposalRecord, allocation: AmountKeywordRecord): 0 | 1;
+import type { ProposalRecord } from '@agoric/zoe';
+import type { AmountKeywordRecord } from '@agoric/zoe';
+//# sourceMappingURL=offerSafety.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"offerSafety.d.ts","sourceRoot":"","sources":["offerSafety.js"],"names":[],"mappings":"AAmEA;;;;;;;;;;;;;;;;GAgBG;AACH,sCAVY,cAAc,cAMd,mBAAmB,WAS9B;AAzDD;;;;;;;;;;;;;GAaG;AACH,wCAVW,cAAc,cAMd,mBAAmB,SAKgB;oCA5CQ,aAAa;yCAAb,aAAa"}

package/src/contractFacet/reallocate.d.ts

@@ -0,0 +1,6 @@
+export function makeAllocationMap(transfers: Array<TransferPart>): [ZCFSeat, AmountKeywordRecord][];
+export type TransactionList = Array<AmountKeywordRecord>;
+import type { TransferPart } from '@agoric/zoe';
+import type { ZCFSeat } from '@agoric/zoe';
+import type { AmountKeywordRecord } from '@agoric/zoe';
+//# sourceMappingURL=reallocate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reallocate.d.ts","sourceRoot":"","sources":["reallocate.js"],"names":[],"mappings":"AAqBO,6CAHI,KAAK,CAAC,YAAY,CAAC,GACjB,CAAC,OAAO,EAAE,mBAAmB,CAAC,EAAE,CA8E5C;8BAtFa,KAAK,CAAC,mBAAmB,CAAC;kCAHqB,aAAa;6BAAb,aAAa;yCAAb,aAAa"}

package/src/contractFacet/rightsConservation.d.ts

@@ -0,0 +1,13 @@
+/**
+ * `assertRightsConserved` checks that the total amount per brand is
+ * equal to the total amount per brand in the proposed reallocation
+ *
+ * @param {Amount[]} previousAmounts - an array of the amounts before the
+ * proposed reallocation
+ * @param {Amount[]} newAmounts - an array of the amounts in the
+ * proposed reallocation
+ * @returns {void}
+ */
+export function assertRightsConserved(previousAmounts: Amount[], newAmounts: Amount[]): void;
+import type { Amount } from '@agoric/ertp';
+//# sourceMappingURL=rightsConservation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rightsConservation.d.ts","sourceRoot":"","sources":["rightsConservation.js"],"names":[],"mappings":"AAsFA;;;;;;;;;GASG;AACH,uDANW,MAAM,EAAE,cAER,MAAM,EAAE,GAEN,IAAI,CAMhB;4BA9FwB,cAAc"}

package/src/contractFacet/typeGuards.d.ts

@@ -0,0 +1,8 @@
+export const ZcfSeatShape: import("@endo/patterns").Matcher;
+export const ZcfMintI: import("@endo/patterns").InterfaceGuard<{
+    getIssuerRecord: import("@endo/patterns").MethodGuard;
+    mintGains: import("@endo/patterns").MethodGuard;
+    burnLosses: import("@endo/patterns").MethodGuard;
+}>;
+export const ZcfI: import("@endo/patterns").InterfaceGuard<any>;
+//# sourceMappingURL=typeGuards.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAGA,4DAAmD;AAEnD;;;;GAMG;AAEH,gEAWE"}

package/src/contractFacet/types.d.ts

@@ -0,0 +1,182 @@
+import type { AdditionalDisplayInfo, Amount, AnyAmount, AssetKind, Brand, DisplayInfo, Issuer, Payment } from '@agoric/ertp';
+import type { Subscriber } from '@agoric/notifier';
+import type { ERef } from '@endo/far';
+import type { Passable } from '@endo/pass-style';
+import type { Key, Pattern } from '@endo/patterns';
+import type { AmountKeywordRecord, ExitRule, FeeMintAccess, Instance, InvitationDetails, Keyword, ProposalRecord, StandardTerms, UserSeat, ZoeService } from '../types-index.js';
+import type { ContractStartFunction } from '../zoeService/utils.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>;
+export type ZoeIssuerRecord<K extends AssetKind = AssetKind, M extends Key = Key> = {
+    brand: Brand<K>;
+    issuer: Issuer<K, M>;
+    assetKind: K;
+    displayInfo?: DisplayInfo<K>;
+};
+export type Allocation = Record<Keyword, AnyAmount>;
+/**
+ * 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> ? ZoeIssuerRecord<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<T extends Record<string, unknown> = Record<string, unknown>> = (testFn?: () => T) => void;
+export type ZCFMint<K extends AssetKind = AssetKind> = {
+    getIssuerRecord: () => ZoeIssuerRecord<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<any>>(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 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.
+ */
+export type ContractStartFn<PF = any, CF = any, CT = any, PA = any> = (zcf: ZCF<CT>, privateArgs: PA, baggage: import('@agoric/vat-data').Baggage) => ERef<ContractStartFnResult<PF, CF>>;
+export type ContractStartFnResult<PF, CF> = {
+    publicFacet?: PF;
+    creatorFacet?: CF;
+    creatorInvitation?: Promise<Invitation<any, any>> | undefined;
+};
+/**
+ * @deprecated use the parameterized version
+ */
+export type AdminFacet = import('../zoeService/utils.js').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,EACV,qBAAqB,EACrB,MAAM,EACN,SAAS,EACT,SAAS,EACT,KAAK,EACL,WAAW,EACX,MAAM,EACN,OAAO,EACR,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,iBAAiB,EACjB,OAAO,EACP,cAAc,EACd,aAAa,EACb,QAAQ,EACR,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAEpE;;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,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB;IACF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrB,SAAS,EAAE,CAAC,CAAC;IACb,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;CAC9B,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;AAEpD;;;;;;;;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,CACV,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CACnE,CAAC;IAEF;;;;;;;;;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,CACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IACzD,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,CAAC;AAC/B,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI;IACrD,eAAe,EAAE,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C;;;;;;;;;;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,CAAC,GAAG,CAAC,EACvC,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,CAAC,EAAE,SAAS,qBAAqB,IAAI;IAC3D,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;;GAEG;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,IAAI,CAAC,qBAAqB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AACzC,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;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,wBAAwB,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;AAE1E,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/vatRoot.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"vatRoot.d.ts","sourceRoot":"","sources":["vatRoot.js"],"names":[],"mappings":"AAaA;;;;;;;GAOG;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,OAAO,KAAK,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAA;CAAC,WAC1G,OAAO,iIA8DjB;+BAvE2B,sBAAsB;yBAFhB,aAAa;+BAGnB,sBAAsB;gCAHhB,aAAa;4BAKtB,cAAc;6BAJb,kBAAkB"}

package/src/contractFacet/zcfMint.d.ts

@@ -0,0 +1,18 @@
+export function sumAmountKeywordRecord(amr: AmountKeywordRecord, issuerRecord: ZoeIssuerRecord): Amount;
+export function prepareZcMint(zcfBaggage: Baggage, recordIssuer: {
+    (keyword: string, issuerRecord: ZoeIssuerRecord): void;
+}, getAssetKindByBrand: GetAssetKindByBrand, makeEmptySeatKit: (exit?: undefined) => {
+    zcfSeat: any;
+    userSeat: Promise<UserSeat>;
+}, reallocator: ZcfMintReallocator): (keyword: string, zoeMintP: ERef<ZoeMint<K>>) => Promise<ZCFMint<K>>;
+import type { AmountKeywordRecord } from '@agoric/zoe';
+import type { ZoeIssuerRecord } from '@agoric/zoe';
+import type { Amount } from '@agoric/ertp';
+import type { Baggage } from '@agoric/vat-data';
+import type { GetAssetKindByBrand } from '../internal-types.js';
+import type { UserSeat } from '@agoric/zoe';
+import type { ZcfMintReallocator } from '../internal-types.js';
+import type { ZCFMint } from '@agoric/zoe';
+import type { ZoeMint } from '../internal-types.js';
+import type { ERef } from '@agoric/vow';
+//# sourceMappingURL=zcfMint.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"zcfMint.d.ts","sourceRoot":"","sources":["zcfMint.js"],"names":[],"mappings":"AA0BO,4CAJI,mBAAmB,gBACnB,eAAe,GACb,MAAM,CAYlB;AASM,0CANI,OAAO,gBACP;IAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,eAAe,GAAG,IAAI,CAAA;CAAE,uBAC1D,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,KAAK,QAAQ,CAAC,CAAC,CAGK,KAFlB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAWjC;yCAnJkF,aAAa;qCAAb,aAAa;4BAMvE,cAAc;6BALb,kBAAkB;yCAEN,sBAAsB;8BAHuB,aAAa;wCAI3D,sBAAsB;6BAJwB,aAAa;6BAKtE,sBAAsB;0BAEzB,aAAa"}

package/src/contractFacet/zcfSeat.d.ts

@@ -0,0 +1,12 @@
+export function createSeatManager(zoeInstanceAdmin: ERef<ZoeInstanceAdmin>, getAssetKindByBrand: GetAssetKindByBrand, shutdownWithFailure: ShutdownWithFailure, zcfBaggage: Baggage): {
+    seatManager: ZcfSeatManager;
+    zcfMintReallocator: ZcfMintReallocator;
+};
+import type { ZoeInstanceAdmin } from '../internal-types.js';
+import type { ERef } from '@agoric/vow';
+import type { GetAssetKindByBrand } from '../internal-types.js';
+import type { ShutdownWithFailure } from '@agoric/swingset-vat';
+import type { Baggage } from '@agoric/vat-data';
+import type { ZcfSeatManager } from '../internal-types.js';
+import type { ZcfMintReallocator } from '../internal-types.js';
+//# sourceMappingURL=zcfSeat.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"zcfSeat.d.ts","sourceRoot":"","sources":["zcfSeat.js"],"names":[],"mappings":"AA6CO,oDANI,KAAK,gBAAgB,CAAC,uBACtB,mBAAmB,uBACnB,mBAAmB,cACnB,OAAO,GACL;IAAE,WAAW,EAAE,cAAc,CAAC;IAAC,kBAAkB,EAAE,kBAAkB,CAAA;CAAE,CAuTnF;sCAtUkD,sBAAsB;0BAIlD,aAAa;yCAHE,sBAAsB;yCALtB,sBAAsB;6BAClC,kBAAkB;oCAGO,sBAAsB;wCAEpC,sBAAsB"}

package/src/contractFacet/zcfZygote.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"zcfZygote.d.ts","sourceRoot":"","sources":["zcfZygote.js"],"names":[],"mappings":"AAsEO,sCARI,SAAS,cACT,KAAK,UAAU,CAAC,oBAChB,OAAO,KAAK,CAAC,iBACb,CAAE,EAAC,GAAG,EAAC,EAAE;IAAC,GAAG,EAAE,GAAG,CAAA;CAAC,KAAM,IAAI,qBAC7B,SAAS,eACT,OAAO,GACL,OAAO,CAAC,SAAS,CAAC,CAod9B;;mBAvea,CAAC,oBAAoB,EAAE,KAAK,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;;+BAtBgB,sBAAsB;gCAGhB,aAAa;0BASxD,aAAa;4BAFX,cAAc;yBAP2B,aAAa;+BAHnB,sBAAsB;6BACxD,kBAAkB;sCAIqB,sBAAsB;oCACtD,wBAAwB;mCADQ,sBAAsB;2CAE/C,sBAAsB"}

package/src/contractSupport/atomicTransfer.d.ts

@@ -0,0 +1,13 @@
+/**
+ * @import {AmountKeywordRecord, 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';
+import type { AmountKeywordRecord } from '@agoric/zoe';
+//# sourceMappingURL=atomicTransfer.d.ts.map

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

@@ -0,0 +1 @@
+{"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;yBAhGZ,aAAa;kCAAb,aAAa;6BAAb,aAAa;yCAAb,aAAa"}

package/src/contractSupport/bondingCurves.d.ts

@@ -0,0 +1,7 @@
+export function getInputPrice(inputValue: any, inputReserve: any, outputReserve: any, feeBasisPoints?: bigint): NatValue;
+export function getOutputPrice(outputValue: any, inputReserve: any, outputReserve: any, feeBasisPoints?: bigint): NatValue;
+export function calcLiqValueToMint(liqTokenSupply: bigint, inputValue: bigint, inputReserve: bigint): NatValue;
+export function calcSecondaryRequired(centralIn: any, centralPool: any, secondaryPool: any, secondaryIn: any): NatValue;
+export function calcValueToRemove(liqTokenSupply: any, poolValue: any, liquidityValueIn: any): bigint;
+import type { NatValue } from '@agoric/ertp';
+//# sourceMappingURL=bondingCurves.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bondingCurves.d.ts","sourceRoot":"","sources":["bondingCurves.js"],"names":[],"mappings":"AAoCO,0CAXI,GAAG,gBAEH,GAAG,iBAEH,GAAG,mBAEH,MAAM,GAGJ,QAAQ,CAoBpB;AAqBM,4CAXI,GAAG,gBAEH,GAAG,iBAEH,GAAG,mBAEH,MAAM,GAGJ,QAAQ,CAwBpB;AAcM,mDALI,MAAM,cACN,MAAM,gBACN,MAAM,GACJ,QAAQ,CAepB;AAcM,iDAPI,GAAG,eACH,GAAG,iBACH,GAAG,eACH,GAAG,GAED,QAAQ,CA4BpB;AAIM,sGAUN;8BA7K0B,cAAc"}

package/src/contractSupport/durability.d.ts

@@ -0,0 +1,10 @@
+export function makeEphemeraProvider<E extends {}, K extends WeakKey>(init: (key: K) => E): (key: K) => E;
+export function provideEmptySeat(zcf: ZCF, baggage: Baggage, name: string): ZCFSeat;
+export function provideAll<T extends Record<string, () => ERef<any>>>(baggage: MapStore<string, any>, thunks: T): Promise<{ [K in keyof T]: Awaited<ReturnType<T[K]>>; }>;
+export function provideSingleton<T extends () => ERef<any>>(mapStore: Baggage, key: string, makeValue: T, withValue?: (value: Awaited<ReturnType<T>>) => void): Promise<Awaited<ReturnType<T>>>;
+import type { ZCF } from '@agoric/zoe';
+import type { Baggage } from '@agoric/swingset-liveslots';
+import type { ZCFSeat } from '@agoric/zoe';
+import type { ERef } from '@agoric/vow';
+import type { MapStore } from '@agoric/swingset-liveslots';
+//# sourceMappingURL=durability.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"durability.d.ts","sourceRoot":"","sources":["durability.js"],"names":[],"mappings":"AAoBO,qCAJW,CAAC,SAAN,EAAI,EACM,CAAC,SAAV,OAAQ,QACX,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,eASA,CAAC,CAWxB;AAWM,sCALI,GAAG,WACH,OAAO,QACP,MAAM,GACJ,OAAO,CAInB;AAiCM,2BALwC,CAAC,SAAlC,MAAM,CAAC,MAAM,EAAE,MAAM,KAAK,GAAG,CAAC,CAAE,WACnC,SAAS,MAAM,EAAE,GAAG,CAAC,UACrB,CAAC,GACC,OAAO,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAE,CAAC,CAuBlE;AAgBM,iCAPwB,CAAC,SAAnB,MAAO,KAAK,GAAG,CAAE,YACnB,OAAO,OACP,MAAM,aACN,CAAC,cACD,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,GACrC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAc3C;yBA9H8B,aAAa;6BADlB,4BAA4B;6BACvB,aAAa;0BACrB,aAAa;8BAHT,4BAA4B"}

package/src/contractSupport/index.d.ts

@@ -0,0 +1,14 @@
+export { natSafeMath } from "@agoric/ertp/src/safeMath.js";
+export { makeStateMachine } from "./stateMachine.js";
+export * from "@agoric/ertp/src/ratio.js";
+export * from "./durability.js";
+export * from "./prepare-ownable.js";
+export * from "./priceAuthority.js";
+export * from "./priceQuote.js";
+export * from "./recorder.js";
+export * from "./statistics.js";
+export * from "./topics.js";
+export { calcLiqValueToMint, calcSecondaryRequired, calcValueToRemove, getInputPrice, getOutputPrice } from "./bondingCurves.js";
+export { atomicRearrange, atomicTransfer, fromOnly, toOnly } from "./atomicTransfer.js";
+export { assertIssuerKeywords, assertNatAssetKind, assertProposalShape, defaultAcceptanceMsg, depositToSeat, fitProposalShape, offerTo, satisfies, saveAllIssuers, swap, swapExact, withdrawFromSeat } from "./zoeHelpers.js";
+//# sourceMappingURL=index.d.ts.map

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

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

package/src/contractSupport/prepare-ownable.d.ts

@@ -0,0 +1,14 @@
+export function prepareOwnable<MN extends (string | symbol)[]>(zone: Zone, makeInvitation: ZCF["makeInvitation"], uKindName: string, uMethodNames: MN, options?: OwnableOptions): <U>(underlying: U) => Partial<U> & {
+    makeTransferInvitation: () => Invitation<U>;
+};
+export type OwnableOptions = {
+    /**
+     * The `interfaceName` of the underlying interface guard.
+     * Defaults to the `uKindName`.
+     */
+    uInterfaceName?: string | undefined;
+};
+import type { Zone } from '@agoric/base-zone';
+import type { ZCF } from '@agoric/zoe';
+import type { Invitation } from '../types-index.js';
+//# sourceMappingURL=prepare-ownable.d.ts.map

package/src/contractSupport/prepare-ownable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prepare-ownable.d.ts","sourceRoot":"","sources":["prepare-ownable.js"],"names":[],"mappings":"AAgDO,+BAlB4B,EAAE,SAAvB,CAAC,MAAM,GAAG,MAAM,CAAC,EAAG,QACvB,IAAI,kBACJ,GAAG,CAAC,gBAAgB,CAAC,aAQrB,MAAM,gBAEN,EAAE,YAGF,cAAc,GACZ,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG;IAAC,sBAAsB,EAAE,MAAM,WAAW,CAAC,CAAC,CAAA;CAAC,CA6D5F;;;;;;;;0BAtGsB,mBAAmB;yBACpB,aAAa;gCACN,mBAAmB"}