@agoric/vats 0.15.2-dev-e2e36cc.0 → 0.15.2-dev-e6cde48.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/vats",
-  "version": "0.15.2-dev-e2e36cc.0+e2e36cc",
+  "version": "0.15.2-dev-e6cde48.0+e6cde48",
   "description": "Agoric's Vat library",
   "type": "module",
   "main": "./index.js",
@@ -22,19 +22,19 @@
   "author": "Agoric",
   "license": "Apache-2.0",
   "dependencies": {
-    "@agoric/assert": "0.6.1-dev-e2e36cc.0+e2e36cc",
-    "@agoric/cosmic-proto": "0.4.1-dev-e2e36cc.0+e2e36cc",
-    "@agoric/ertp": "0.16.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/governance": "0.10.4-dev-e2e36cc.0+e2e36cc",
-    "@agoric/internal": "0.3.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/network": "0.1.1-dev-e2e36cc.0+e2e36cc",
-    "@agoric/notifier": "0.6.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/store": "0.9.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/swingset-vat": "0.32.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/time": "0.3.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/vat-data": "0.5.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/zoe": "0.26.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/zone": "0.2.3-dev-e2e36cc.0+e2e36cc",
+    "@agoric/assert": "0.6.1-dev-e6cde48.0+e6cde48",
+    "@agoric/cosmic-proto": "0.4.1-dev-e6cde48.0+e6cde48",
+    "@agoric/ertp": "0.16.3-dev-e6cde48.0+e6cde48",
+    "@agoric/governance": "0.10.4-dev-e6cde48.0+e6cde48",
+    "@agoric/internal": "0.3.3-dev-e6cde48.0+e6cde48",
+    "@agoric/network": "0.1.1-dev-e6cde48.0+e6cde48",
+    "@agoric/notifier": "0.6.3-dev-e6cde48.0+e6cde48",
+    "@agoric/store": "0.9.3-dev-e6cde48.0+e6cde48",
+    "@agoric/swingset-vat": "0.32.3-dev-e6cde48.0+e6cde48",
+    "@agoric/time": "0.3.3-dev-e6cde48.0+e6cde48",
+    "@agoric/vat-data": "0.5.3-dev-e6cde48.0+e6cde48",
+    "@agoric/zoe": "0.26.3-dev-e6cde48.0+e6cde48",
+    "@agoric/zone": "0.2.3-dev-e6cde48.0+e6cde48",
     "@endo/far": "^1.1.1",
     "@endo/import-bundle": "^1.1.1",
     "@endo/marshal": "^1.4.1",
@@ -45,7 +45,7 @@
     "jessie.js": "^0.3.4"
   },
   "devDependencies": {
-    "@agoric/swingset-liveslots": "0.10.3-dev-e2e36cc.0+e2e36cc",
+    "@agoric/swingset-liveslots": "0.10.3-dev-e6cde48.0+e6cde48",
     "@endo/bundle-source": "^3.2.2",
     "@endo/init": "^1.1.1",
     "ava": "^5.3.0",
@@ -78,5 +78,5 @@
   "typeCoverage": {
     "atLeast": 91.5
   },
-  "gitHead": "e2e36cc1e1c015fc517a179019184fdc81f3e809"
+  "gitHead": "e6cde482e02072514bda74657b7e1a6928b1e8ec"
 }

package/src/ibc.d.ts

@@ -10,11 +10,11 @@ export function prepareIBCConnectionHandler(zone: Zone): (args_0: {
     order: 'ORDERED' | 'UNORDERED';
 }) => import("@endo/exo").Guarded<{
     /** @type {Required<ConnectionHandler>['onOpen']} */
-    onOpen(connection: globalThis.Remote<Connection>, localAddr: string, remoteAddr: string, c: globalThis.Remote<ConnectionHandler>): PromiseVow<void>;
+    onOpen(connection: Remote<Connection>, localAddr: string, remoteAddr: string, c: Remote<ConnectionHandler>): PromiseVow<void>;
     /** @type {Required<ConnectionHandler>['onReceive']} */
-    onReceive(connection: globalThis.Remote<Connection>, ack: string, c: globalThis.Remote<ConnectionHandler>, opts?: Record<string, any> | undefined): PromiseVow<string>;
+    onReceive(connection: Remote<Connection>, ack: string, c: Remote<ConnectionHandler>, opts?: Record<string, any> | undefined): PromiseVow<string>;
     /** @type {Required<ConnectionHandler>['onClose']} */
-    onClose(connection: globalThis.Remote<Connection>, reason?: any, c?: globalThis.Remote<ConnectionHandler> | undefined): PromiseVow<void>;
+    onClose(connection: Remote<Connection>, reason?: any, c?: Remote<ConnectionHandler> | undefined): PromiseVow<void>;
 }>;
 export function prepareIBCProtocol(zone: Zone, powers: {
     when: <T, TResult1 = import("@agoric/vow").Unwrap<T>, TResult2 = never>(specimenP: T, onFulfilled?: ((value: import("@agoric/vow").Unwrap<T>) => TResult1 | PromiseLike<TResult1>) | undefined, onRejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | undefined) => Promise<TResult1 | TResult2>;
@@ -29,21 +29,21 @@ export function prepareIBCProtocol(zone: Zone, powers: {
 } | {
     protocolHandler: import("@endo/exo").Guarded<{
         /** @type {Required<ProtocolHandler>['onCreate']} */
-        onCreate(protocol: globalThis.Remote<ProtocolImpl>, p: globalThis.Remote<ProtocolHandler>): PromiseVow<void>;
+        onCreate(protocol: Remote<ProtocolImpl>, p: Remote<ProtocolHandler>): PromiseVow<void>;
         /** @type {Required<ProtocolHandler>['onInstantiate']} */
-        onInstantiate(port: globalThis.Remote<Port>, localAddr: string, remote: string, p: globalThis.Remote<ProtocolHandler>): PromiseVow<string>;
+        onInstantiate(port: Remote<Port>, localAddr: string, remote: string, p: Remote<ProtocolHandler>): PromiseVow<string>;
         /** @type {Required<ProtocolHandler>['generatePortID']} */
-        generatePortID(localAddr: string, p: globalThis.Remote<ProtocolHandler>): PromiseVow<string>;
+        generatePortID(localAddr: string, p: Remote<ProtocolHandler>): PromiseVow<string>;
         /** @type {Required<ProtocolHandler>['onBind']} */
-        onBind(port: globalThis.Remote<Port>, localAddr: string, p: globalThis.Remote<ProtocolHandler>): PromiseVow<void>;
+        onBind(port: Remote<Port>, localAddr: string, p: Remote<ProtocolHandler>): PromiseVow<void>;
         /** @type {Required<ProtocolHandler>['onConnect']} */
-        onConnect(port: globalThis.Remote<Port>, localAddr: string, remote: string, c: globalThis.Remote<ConnectionHandler>, p: globalThis.Remote<ProtocolHandler>): PromiseVow<AttemptDescription>;
+        onConnect(port: Remote<Port>, localAddr: string, remote: string, c: Remote<ConnectionHandler>, p: Remote<ProtocolHandler>): PromiseVow<AttemptDescription>;
         /** @type {Required<ProtocolHandler>['onListen']} */
-        onListen(port: globalThis.Remote<Port>, localAddr: string, listenHandler: globalThis.Remote<ListenHandler>, p: globalThis.Remote<ProtocolHandler>): PromiseVow<void>;
+        onListen(port: Remote<Port>, localAddr: string, listenHandler: Remote<ListenHandler>, p: Remote<ProtocolHandler>): PromiseVow<void>;
         /** @type {Required<ProtocolHandler>['onListenRemove']} */
-        onListenRemove(port: globalThis.Remote<Port>, localAddr: string, listenHandler: globalThis.Remote<ListenHandler>, p: globalThis.Remote<ProtocolHandler>): PromiseVow<void>;
+        onListenRemove(port: Remote<Port>, localAddr: string, listenHandler: Remote<ListenHandler>, p: Remote<ProtocolHandler>): PromiseVow<void>;
         /** @type {Required<ProtocolHandler>['onRevoke']} */
-        onRevoke(port: globalThis.Remote<Port>, localAddr: string, p: globalThis.Remote<ProtocolHandler>): PromiseVow<void>;
+        onRevoke(port: Remote<Port>, localAddr: string, p: Remote<ProtocolHandler>): PromiseVow<void>;
     }>;
     bridgeHandler: import("@endo/exo").Guarded<{
         /** @param {IBCEvent<IBCBridgeEvent>} obj */
@@ -69,6 +69,7 @@ export type Outbound = Omit<ConnectingInfo, "counterparty" | "channelID" | "coun
     };
 };
 import type { Zone } from '@agoric/base-zone';
+import type { Remote } from '@agoric/vow';
 import type { VowKit } from '@agoric/vow';
 import type { BridgeHandler } from './types.js';
 import type { IBCBridgeEvent } from './types.js';

package/src/ibc.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ibc.d.ts","sourceRoot":"","sources":["ibc.js"],"names":[],"mappings":"AA6CO;mBAciB,GAAG;uBACC,SACvB,MAAY,EACZ,OAAa,aAAa,EAAE,MAAM,CAAC,UAAU,CAAC,CACzC;wBACmB,SACxB,MAAY,EACZ,SAAe,MAAM,EAAE,OAAO,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CACtD;;;YAIO,MAAM;;aAEL,MAAM;WACR,SAAS,GAAG,WAAW;;IAuBjC,oDAAoD;;IAepD,uDAAuD;;IAoBvD,qDAAqD;;GA0B1D;AAMM;;;;;;cAOS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,QAAQ,GAAG,CAAC;;qBAOpC,eAAe;;;;QAoDjC,oDAAoD;;QAKpD,yDAAyD;;QAKzD,0DAA0D;;QAK1D,kDAAkD;;QAalD,qDAAqD;;QAiDrD,oDAAoD;;QAIpD,0DAA0D;;QAI1D,oDAAoD;;;;QAgBpD,4CAA4C;;;EAudnD;AAIM;IAOD;;;OAGG;qBAFQ,MAAM,OACN,GAAG;GAYnB;;;;;;eArxBe,QAAQ;gBACP,UAAU;kBACR;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE;;0BAbf,mBAAmB;4BACc,aAAa;mCAFqI,YAAY;oCAAZ,YAAY;8BAAZ,YAAY;yCAAZ,YAAY;iCAE9J,aAAa;oCAFqI,YAAY"}
+{"version":3,"file":"ibc.d.ts","sourceRoot":"","sources":["ibc.js"],"names":[],"mappings":"AA6CO;mBAciB,GAAG;uBACC,SACvB,MAAY,EACZ,OAAa,aAAa,EAAE,MAAM,CAAC,UAAU,CAAC,CACzC;wBACmB,SACxB,MAAY,EACZ,SAAe,MAAM,EAAE,OAAO,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CACtD;;;YAIO,MAAM;;aAEL,MAAM;WACR,SAAS,GAAG,WAAW;;IAuBjC,oDAAoD;;IAepD,uDAAuD;;IAoBvD,qDAAqD;;GA0B1D;AAMM;;;;;;cAOS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,QAAQ,GAAG,CAAC;;qBAOpC,eAAe;;;;QAoDjC,oDAAoD;;QAKpD,yDAAyD;;QAKzD,0DAA0D;;QAK1D,kDAAkD;;QAalD,qDAAqD;;QAiDrD,oDAAoD;;QAIpD,0DAA0D;;QAI1D,oDAAoD;;;;QAgBpD,4CAA4C;;;EAudnD;AAIM;IAOD;;;OAGG;qBAFQ,MAAM,OACN,GAAG;GAYnB;;;;;;eArxBe,QAAQ;gBACP,UAAU;kBACR;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE;;0BAbf,mBAAmB;4BACc,aAAa;4BAAb,aAAa;mCAFqI,YAAY;oCAAZ,YAAY;8BAAZ,YAAY;yCAAZ,YAAY;iCAE9J,aAAa;oCAFqI,YAAY"}

package/src/proposals/zcf-only-proposal.d.ts

@@ -0,0 +1,33 @@
+export function upgradeZcfOnly({ consume: { vatStore } }: BootstrapPowers, options: {
+    options: {
+        zcfRef: VatSourceRef;
+    };
+}): Promise<void>;
+export function main({ consume: { vatStore } }: BootstrapPowers, options: {
+    options: {
+        zcfRef: VatSourceRef;
+    };
+}): Promise<void>;
+export namespace permit {
+    namespace consume {
+        let vatStore: boolean;
+    }
+}
+export const manifest: {
+    [x: string]: {
+        consume: {
+            vatStore: boolean;
+        };
+    };
+};
+export function getManifestForUpgradingZcf(_powers: any, options: any): {
+    manifest: {
+        [x: string]: {
+            consume: {
+                vatStore: boolean;
+            };
+        };
+    };
+    options: any;
+};
+//# sourceMappingURL=zcf-only-proposal.d.ts.map

package/src/proposals/zcf-only-proposal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zcf-only-proposal.d.ts","sourceRoot":"","sources":["zcf-only-proposal.js"],"names":[],"mappings":"AAQO,0DAJI,eAAe;IAEmB,OAAO,EAAzC;QAAE,MAAM,EAAE,YAAY,CAAA;KAAE;kBAUlC;AARM,gDAJI,eAAe;IAEmB,OAAO,EAAzC;QAAE,MAAM,EAAE,YAAY,CAAA;KAAE;kBAUlC;;;;;;AAYD;;;;;;EAEE;AAEK;;;;;;;;;EAGL"}

package/src/proposals/zcf-only-proposal.js

@@ -0,0 +1,36 @@
+// @ts-check
+import { E } from '@endo/far';
+
+/**
+ * @param {BootstrapPowers} powers
+ * @param {object} options
+ * @param {{ zcfRef: VatSourceRef }} options.options
+ */
+export const upgradeZcfOnly = async ({ consume: { vatStore } }, options) => {
+  const { zcfRef } = options.options;
+
+  const { root: zoeRoot } = await E(vatStore).get('zoe');
+
+  const zoeConfigFacet = await E(zoeRoot).getZoeConfigFacet();
+  await E(zoeConfigFacet).updateZcfBundleId(zcfRef.bundleID);
+  console.log(`ZCF BUNDLE ID: `, zcfRef.bundleID);
+};
+harden(upgradeZcfOnly);
+
+// main and permit are for use with rollup-plugin-core-eval.js
+export const main = upgradeZcfOnly;
+
+export const permit = {
+  consume: {
+    vatStore: true,
+  },
+};
+
+export const manifest = {
+  [upgradeZcfOnly.name]: permit,
+};
+
+export const getManifestForUpgradingZcf = (_powers, options) => ({
+  manifest,
+  options,
+});

package/src/virtual-purse.d.ts

@@ -38,8 +38,117 @@ export function prepareVirtualPurse(zone: import('@agoric/zone').Zone): (vpc: ER
     brand: Brand;
     mint?: ERef<globalThis.Mint> | undefined;
     escrowPurse?: ERef<globalThis.Purse> | undefined;
-}) => Promise<Awaited<EOnly<Purse>>>;
-export type EOnly<T> = import('@endo/far').EOnly<T>;
+}) => Promise<{
+    /**
+     * Get the alleged Brand for this
+     * Purse
+     */
+    getAllegedBrand: () => ERef<{
+        /**
+         *   Should be used with `issuer.getBrand` to ensure an issuer and brand match.
+         */
+        isMyIssuer: (allegedIssuer: ERef<globalThis.Issuer>) => ERef<boolean>;
+        getAllegedName: () => ERef<string>;
+        /**
+         * Give information to UI on how
+         * to display the amount.
+         */
+        getDisplayInfo: () => ERef<globalThis.DisplayInfo<globalThis.AssetKind>>;
+        getAmountShape: () => any;
+    }>;
+    /**
+     * Get the amount contained in this
+     * purse.
+     */
+    getCurrentAmount: () => ERef<globalThis.Amount<globalThis.AssetKind>>;
+    /**
+     * Get a lossy
+     * notifier for changes to this purse's balance.
+     */
+    getCurrentAmountNotifier: () => ERef<{
+        /**
+         * Returns a promise for an update record as of an update count.
+         * If the `updateCount` argument is omitted or differs from the current update count,
+         * the promise promptly resolves to the current record.
+         * Otherwise, after the next state change, the promise resolves to the resulting record.
+         * This is an attenuated form of `subscribeAfter` whose return value stands alone and
+         * does not allow consumers to pin a chain of historical PublicationRecords.
+         * Used to make lossy ("latest") iterators.
+         * NOTE: Use of `number` as an `updateCount` is deprecated.
+         */
+        getUpdateSince: (updateCount?: number | bigint | undefined) => ERef<UpdateRecord<globalThis.Amount<globalThis.AssetKind>>>;
+    }>;
+    /**
+     * Deposit all the contents of payment into
+     * this purse, returning the amount. If the optional argument `optAmount` does
+     * not equal the amount of digital assets in the payment, throw an error.
+     *
+     * If payment is a promise, throw an error.
+     */
+    deposit: (args_0: globalThis.Payment<globalThis.AssetKind>, args_1?: any) => ERef<globalThis.Amount<globalThis.AssetKind>>;
+    /**
+     * Return an object whose
+     * `receive` method deposits to the current Purse.
+     */
+    getDepositFacet: () => ERef<{
+        /**
+         * Deposit all the contents of payment
+         * into the purse that made this facet, returning the amount. If the optional
+         * argument `optAmount` does not equal the amount of digital assets in the
+         * payment, throw an error.
+         *
+         * If payment is a promise, throw an error.
+         */
+        receive: (args_0: globalThis.Payment, args_1?: any) => ERef<globalThis.Amount>;
+    }>;
+    /**
+     * Withdraw amount from
+     * this purse into a new Payment.
+     */
+    withdraw: (amount: globalThis.Amount<globalThis.AssetKind>) => ERef<{
+        /**
+         * Get the allegedBrand, indicating
+         * the type of digital asset this payment purports to be, and which issuer to
+         * use. Because payments are not trusted, any method calls on payments should
+         * be treated with suspicion and verified elsewhere.
+         */
+        getAllegedBrand: () => ERef<{
+            /**
+             *   Should be used with `issuer.getBrand` to ensure an issuer and brand match.
+             */
+            isMyIssuer: (allegedIssuer: ERef<globalThis.Issuer>) => ERef<boolean>;
+            getAllegedName: () => ERef<string>;
+            /**
+             * Give information to UI on how
+             * to display the amount.
+             */
+            getDisplayInfo: () => ERef<globalThis.DisplayInfo<globalThis.AssetKind>>;
+            getAmountShape: () => any;
+        }>;
+    }>;
+    /**
+     * The set of payments
+     * withdrawn from this purse that are still live. These are the payments that
+     * can still be recovered in emergencies by, for example, depositing into this
+     * purse. Such a deposit action is like canceling an outstanding check because
+     * you're tired of waiting for it. Once your cancellation is acknowledged, you
+     * can spend the assets at stake on other things. Afterwards, if the recipient
+     * of the original check finally gets around to depositing it, their deposit
+     * fails.
+     *
+     * Returns an empty set if this issuer does not support recovery sets.
+     */
+    getRecoverySet: () => ERef<import("@endo/patterns").CopySet<globalThis.Payment<globalThis.AssetKind>>>;
+    /**
+     * For use in emergencies, such as coming
+     * back from a traumatic crash and upgrade. This deposits all the payments in
+     * this purse's recovery set into the purse itself, returning the total amount
+     * of assets recovered.
+     *
+     * Returns an empty amount if this issuer does not support recovery sets.
+     */
+    recoverAll: () => ERef<globalThis.Amount<globalThis.AssetKind>>;
+}>;
 export type Retain = (pmt: Payment, optAmountShape?: Pattern) => Promise<Amount>;
 export type Redeem = (amt: Amount) => Promise<Payment>;
 /**

package/src/virtual-purse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"virtual-purse.d.ts","sourceRoot":"","sources":["virtual-purse.js"],"names":[],"mappings":"AAsBO,qDAHI,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6DjB;AA2LM,0CADK,OAAO,cAAc,EAAE,IAAI;;WASzB,KAAK;;;MAWJ,QAAQ,QAAQ,MAAM,KAAK,CAAC,CAAC,CAAC,CAyB5C;uBAnOY,OAAO,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;qBAG3B,CAAC,GAAG,EAAE,OAAO,EAAE,cAAc,CAAC,EAAE,OAAO,KAAK,QAAQ,MAAM,CAAC;qBAC3D,CAAC,GAAG,EAAE,MAAM,KAAK,QAAQ,OAAO,CAAC;;;;;;;;;;;;gBAKjC,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ,IAAI,CAAC;;;;;;;gBAIjC,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ,IAAI,CAAC;;;;;iBAIjC,CAAC,KAAK,EAAE,KAAK,KAAK,YAAY,MAAM,CAAC"}
+{"version":3,"file":"virtual-purse.d.ts","sourceRoot":"","sources":["virtual-purse.js"],"names":[],"mappings":"AAsBO,qDAHI,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6DjB;AAwLM,0CADK,OAAO,cAAc,EAAE,IAAI;;WASzB,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoClB;qBAhOa,CAAC,GAAG,EAAE,OAAO,EAAE,cAAc,CAAC,EAAE,OAAO,KAAK,QAAQ,MAAM,CAAC;qBAC3D,CAAC,GAAG,EAAE,MAAM,KAAK,QAAQ,OAAO,CAAC;;;;;;;;;;;;gBAKjC,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ,IAAI,CAAC;;;;;;;gBAIjC,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ,IAAI,CAAC;;;;;iBAIjC,CAAC,KAAK,EAAE,KAAK,KAAK,YAAY,MAAM,CAAC"}

package/src/virtual-purse.js

@@ -81,10 +81,7 @@ export const makeVirtualPurseKitIKit = (
   return { VirtualPurseIKit, VirtualPurseControllerI };
 };
 
-/**
- * @template T
- * @typedef {import('@endo/far').EOnly<T>} EOnly
- */
+/** @import {EOnly} from '@endo/far'; */
 
 /** @typedef {(pmt: Payment, optAmountShape?: Pattern) => Promise<Amount>} Retain */
 /** @typedef {(amt: Amount) => Promise<Payment>} Redeem */