@agoric/smart-wallet 0.5.4-ymax-v0.2-alpha-dev-a527ef4.0 → 0.6.0-u22.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/smart-wallet",
-  "version": "0.5.4-ymax-v0.2-alpha-dev-a527ef4.0+a527ef4",
+  "version": "0.6.0-u22.0",
   "description": "Wallet contract",
   "type": "module",
   "main": "src/index.js",
@@ -8,8 +8,9 @@
     "build": "yarn build:bundles",
     "build:bundles": "node ./scripts/build-bundles.js",
     "prepack": "yarn run -T tsc --build tsconfig.build.json",
-    "postpack": "git clean -f '*.d.ts*' '*.tsbuildinfo'",
+    "postpack": "git clean -f '*.d.*ts*' '*.tsbuildinfo'",
     "test": "ava",
+    "test:c8": "c8 --all $C8_OPTIONS ava",
     "test:xs": "exit 0",
     "lint": "yarn run -T run-s --continue-on-error 'lint:*'",
     "lint-fix": "yarn lint:eslint --fix",
@@ -17,31 +18,32 @@
     "lint:eslint": "yarn run -T eslint ."
   },
   "devDependencies": {
-    "@agoric/casting": "workspace:*",
-    "@agoric/cosmic-proto": "workspace:*",
-    "@agoric/swingset-vat": "workspace:*",
-    "@endo/bundle-source": "^4.0.0",
-    "@endo/captp": "^4.4.5",
-    "@endo/init": "^1.1.9",
+    "@agoric/casting": "0.5.0-u22.0",
+    "@agoric/cosmic-proto": "0.5.0-u22.0",
+    "@agoric/swingset-vat": "0.33.0-u22.0",
+    "@endo/bundle-source": "^4.1.2",
+    "@endo/captp": "^4.4.8",
+    "@endo/init": "^1.1.12",
     "ava": "^5.3.0",
     "import-meta-resolve": "^4.1.0"
   },
   "dependencies": {
-    "@agoric/ertp": "workspace:*",
-    "@agoric/internal": "workspace:*",
-    "@agoric/notifier": "workspace:*",
-    "@agoric/store": "workspace:*",
-    "@agoric/vat-data": "workspace:*",
-    "@agoric/vats": "workspace:*",
-    "@agoric/vow": "workspace:*",
-    "@agoric/zoe": "workspace:*",
-    "@agoric/zone": "workspace:*",
-    "@endo/errors": "^1.2.10",
-    "@endo/eventual-send": "^1.3.1",
-    "@endo/far": "^1.1.11",
-    "@endo/marshal": "^1.6.4",
-    "@endo/nat": "^5.1.0",
-    "@endo/promise-kit": "^1.1.10"
+    "@agoric/ertp": "0.17.0-u22.0",
+    "@agoric/internal": "0.4.0-u22.0",
+    "@agoric/notifier": "0.7.0-u22.0",
+    "@agoric/store": "0.10.0-u22.0",
+    "@agoric/vat-data": "0.6.0-u22.0",
+    "@agoric/vats": "0.16.0-u22.0",
+    "@agoric/vow": "0.2.0-u22.0",
+    "@agoric/zoe": "0.27.0-u22.0",
+    "@agoric/zone": "0.3.0-u22.0",
+    "@endo/errors": "^1.2.13",
+    "@endo/eventual-send": "^1.3.4",
+    "@endo/far": "^1.1.14",
+    "@endo/marshal": "^1.8.0",
+    "@endo/nat": "^5.1.3",
+    "@endo/patterns": "^1.7.0",
+    "@endo/promise-kit": "^1.1.13"
   },
   "files": [
     "src/"
@@ -72,5 +74,8 @@
   "typeCoverage": {
     "atLeast": 94.51
   },
-  "gitHead": "a527ef456b970107c2395833dce9abd87689959e"
+  "engines": {
+    "node": "^20.9 || ^22.11"
+  },
+  "gitHead": "dbf78c32d14bf4a38bfd7a10d061011a0ff368e6"
 }

package/src/offerWatcher.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"offerWatcher.d.ts","sourceRoot":"","sources":["offerWatcher.js"],"names":[],"mappings":"AAyEO,iDADK,QAAQ,cAKP,eAAe,QACf,QAAQ,oBAiBpB;AAmCM,6CAHI,OAAO,YACP,QAAQ;aAWO,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC;;;QAgBvD;;WAEG;yCADQ,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;QAQlC;;;;;WAKG;sCAJQ,MAAM,oBACN,MAAM,CAAC,KAAK,CAAC,oBACb,OAAO,YAAY,EAAE,gBAAgB,qBACrC,OAAO,YAAY,EAAE,iBAAiB;QAkBjD,uDAAuD;8BAA3C,QAAQ,GAAG,qBAAqB;QAoC5C;;;;;;WAMG;yBADQ,KAAK;;IAclB,gDAAgD;oBAArC,eAAe,CAAC,gBAAgB,CAAC;IA+B5C,+CAA+C;mBAApC,eAAe,CAAC,eAAe,CAAC;IA0B3C,iDAAiD;qBAAtC,eAAe,CAAC,iBAAiB,CAAC;GA2BlD;;;;gCA5SkB,CAAC,oBACP,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;8BAI7B;IACR,aAAa,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC7C,eAAe,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC7C,cAAc,EAAE,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;CAC5D;+BAsSU,UAAU,CAAC,OAAO,mBAAmB,CAAC;2BACtC,UAAU,CAAC,gBAAgB,CAAC;8BArTV,aAAa;8BAC2B,aAAa;6BAF3D,kBAAkB;+BAJhB,aAAa;8BAEd,kBAAkB;2CADL,YAAY;oCAEnB,4BAA4B;2CAGW,aAAa"}
+{"version":3,"file":"offerWatcher.d.ts","sourceRoot":"","sources":["offerWatcher.js"],"names":[],"mappings":"AAyEO,iDADK,QAAQ,cAKP,eAAe,QACf,QAAQ,oBAiBpB;AAmCM,6CAHI,OAAO,YACP,QAAQ;aAWO,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC;;;QAgBvD;;WAEG;yCADQ,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;QAQlC;;;;;WAKG;sCAJQ,MAAM,oBACN,MAAM,CAAC,KAAK,CAAC,oBACb,OAAO,YAAY,EAAE,gBAAgB,qBACrC,OAAO,YAAY,EAAE,iBAAiB;QAkBjD,uDAAuD;8BAA3C,QAAQ,GAAG,qBAAqB;QAoC5C;;;;;;WAMG;yBADQ,KAAK;;IAclB,gDAAgD;oBAArC,eAAe,CAAC,gBAAgB,CAAC;IA+B5C,+CAA+C;mBAApC,eAAe,CAAC,eAAe,CAAC;IAuC3C,iDAAiD;qBAAtC,eAAe,CAAC,iBAAiB,CAAC;GA2BlD;;;;gCAzTkB,CAAC,oBACP,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;8BAI7B;IACR,aAAa,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC7C,eAAe,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC7C,cAAc,EAAE,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;CAC5D;+BAmTU,UAAU,CAAC,OAAO,mBAAmB,CAAC;2BACtC,UAAU,CAAC,gBAAgB,CAAC;8BAlUV,aAAa;8BAC2B,aAAa;6BAF3D,kBAAkB;+BAJhB,aAAa;8BAEd,kBAAkB;2CADL,YAAY;oCAEnB,4BAA4B;2CAGW,aAAa"}

package/src/offerWatcher.js

@@ -274,7 +274,20 @@ export const prepareOfferWatcher = (baggage, vowTools) => {
       resultWatcher: {
         onFulfilled(result) {
           const { facets } = this;
-          facets.helper.publishResult(result);
+          const { walletHelper } = this.state;
+          const { saveResult } = this.state.status;
+          if (saveResult) {
+            // Note: result is passable and storable since it was received from another vat
+            const name = walletHelper.saveEntry(saveResult, result);
+            facets.helper.updateStatus({
+              result: {
+                name,
+                passStyle: passStyleOf(result),
+              },
+            });
+          } else {
+            facets.helper.publishResult(result);
+          }
         },
         /**
          * If promise disconnected, watch again. Or if there's an Error, handle

package/src/offers.d.ts

@@ -1,31 +1,81 @@
 /**
- * @import {InvitationDetails, Proposal} from '@agoric/zoe';
+ * @import {Proposal} from '@agoric/zoe';
+ * @import {Passable} from '@endo/pass-style';
  */
 /**
  * @typedef {number | string} OfferId
  */
+/**
+ * @typedef {object} ResultPlan
+ * @property {string} name by which to save the item
+ * @property {boolean} [overwrite=false] whether to overwrite an existing item.
+ *   If false and there is a conflict, the contract will autogen a similar
+ *   name.
+ */
+/**
+ * @typedef {{
+ *   targetName: string;
+ *   method: string;
+ *   args: Passable[];
+ *   saveResult?: ResultPlan;
+ *   id?: number | string;
+ * }} InvokeEntryMessage
+ */
 /**
  * @typedef {{
  *   id: OfferId;
  *   invitationSpec: import('./invitations.js').InvitationSpec;
  *   proposal: Proposal;
  *   offerArgs?: any;
+ *   saveResult?: ResultPlan;
  * }} OfferSpec
+ *   If `saveResult` is provided, the result of the invocation will be saved to
+ *   the specified location. Otherwise it will be published directly to vstorage
+ *   (or 'UNPUBLISHED' if it cannot be).
  */
 /** Value for "result" field when the result can't be published */
 export const UNPUBLISHED_RESULT: "UNPUBLISHED";
 export type OfferId = number | string;
+export type ResultPlan = {
+    /**
+     * by which to save the item
+     */
+    name: string;
+    /**
+     * whether to overwrite an existing item.
+     * If false and there is a conflict, the contract will autogen a similar
+     * name.
+     */
+    overwrite?: boolean | undefined;
+};
+export type InvokeEntryMessage = {
+    targetName: string;
+    method: string;
+    args: Passable[];
+    saveResult?: ResultPlan;
+    id?: number | string;
+};
+/**
+ * If `saveResult` is provided, the result of the invocation will be saved to
+ * the specified location. Otherwise it will be published directly to vstorage
+ * (or 'UNPUBLISHED' if it cannot be).
+ */
 export type OfferSpec = {
     id: OfferId;
     invitationSpec: import("./invitations.js").InvitationSpec;
     proposal: Proposal;
     offerArgs?: any;
+    saveResult?: ResultPlan;
 };
 export type OfferStatus = OfferSpec & {
     error?: string;
     numWantsSatisfied?: number;
-    result?: unknown | typeof UNPUBLISHED_RESULT;
+    result?: unknown | typeof UNPUBLISHED_RESULT | {
+        name: string;
+        passStyle: string;
+    };
     payouts?: AmountKeywordRecord;
 };
+import type { Passable } from '@endo/pass-style';
 import type { Proposal } from '@agoric/zoe';
 //# sourceMappingURL=offers.d.ts.map

package/src/offers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"offers.d.ts","sourceRoot":"","sources":["offers.js"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AAEH;;;;;;;GAOG;AAEH,kEAAkE;AAClE,iCAAkC,aAAa,CAAC;sBAbnC,MAAM,GAAG,MAAM;wBAIf;IACR,EAAE,EAAE,OAAO,CAAC;IACZ,cAAc,EAAE,OAAO,kBAAkB,EAAE,cAAc,CAAC;IAC1D,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,CAAC,EAAE,GAAG,CAAC;CACjB;0BAOS,SAAS,GAAG;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,kBAAkB,CAAC;IAC7C,OAAO,CAAC,EAAE,mBAAmB,CAAC;CAC/B;8BAzB0C,aAAa"}
+{"version":3,"file":"offers.d.ts","sourceRoot":"","sources":["offers.js"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AAEH;;;;;;GAMG;AAEH;;;;;;;;GAQG;AAEH;;;;;;;;;;;GAWG;AAEH,kEAAkE;AAClE,iCAAkC,aAAa,CAAC;sBAnCnC,MAAM,GAAG,MAAM;;;;;UAKd,MAAM;;;;;;;;iCAOP;IACR,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CACtB;;;;;;wBAIS;IACR,EAAE,EAAE,OAAO,CAAC;IACZ,cAAc,EAAE,OAAO,kBAAkB,EAAE,cAAc,CAAC;IAC1D,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,CAAC,EAAE,GAAG,CAAC;IAChB,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;0BAUS,SAAS,GAAG;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,MAAM,CAAC,EACH,OAAO,GACP,OAAO,kBAAkB,GACzB;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IACxC,OAAO,CAAC,EAAE,mBAAmB,CAAC;CAC/B;8BAlDuB,kBAAkB;8BADlB,aAAa"}

package/src/offers.js

@@ -1,18 +1,41 @@
 /**
- * @import {InvitationDetails, Proposal} from '@agoric/zoe';
+ * @import {Proposal} from '@agoric/zoe';
+ * @import {Passable} from '@endo/pass-style';
  */
 
 /**
  * @typedef {number | string} OfferId
  */
 
+/**
+ * @typedef {object} ResultPlan
+ * @property {string} name by which to save the item
+ * @property {boolean} [overwrite=false] whether to overwrite an existing item.
+ *   If false and there is a conflict, the contract will autogen a similar
+ *   name.
+ */
+
+/**
+ * @typedef {{
+ *   targetName: string;
+ *   method: string;
+ *   args: Passable[];
+ *   saveResult?: ResultPlan;
+ *   id?: number | string;
+ * }} InvokeEntryMessage
+ */
+
 /**
  * @typedef {{
  *   id: OfferId;
  *   invitationSpec: import('./invitations.js').InvitationSpec;
  *   proposal: Proposal;
  *   offerArgs?: any;
+ *   saveResult?: ResultPlan;
  * }} OfferSpec
+ *   If `saveResult` is provided, the result of the invocation will be saved to
+ *   the specified location. Otherwise it will be published directly to vstorage
+ *   (or 'UNPUBLISHED' if it cannot be).
  */
 
 /** Value for "result" field when the result can't be published */
@@ -22,7 +45,10 @@ export const UNPUBLISHED_RESULT = 'UNPUBLISHED';
  * @typedef {OfferSpec & {
  *   error?: string;
  *   numWantsSatisfied?: number;
- *   result?: unknown | typeof UNPUBLISHED_RESULT;
+ *   result?:
+ *     | unknown
+ *     | typeof UNPUBLISHED_RESULT
+ *     | { name: string; passStyle: string };
  *   payouts?: AmountKeywordRecord;
  * }} OfferStatus
  */

package/src/smartWallet.d.ts

@@ -25,6 +25,12 @@ export function prepareSmartWallet(baggage: import("@agoric/vat-data").Baggage,
          */
         receive(payment: Payment): Promise<Amount>;
     }>;
+    getInvokeFacet(): import("@endo/exo").Guarded<{
+        /**
+         * @param {InvokeEntryMessage} message
+         */
+        invokeEntry(message: InvokeEntryMessage): Promise<void>;
+    }>;
     getOffersFacet(): import("@endo/exo").Guarded<{
         /**
          * Take an offer description provided in capData, augment it with
@@ -63,13 +69,6 @@ export function prepareSmartWallet(baggage: import("@agoric/vat-data").Baggage,
         };
     };
 }>>;
-export type OfferId = number | string;
-export type OfferSpec = {
-    id: OfferId;
-    invitationSpec: import("./invitations").InvitationSpec;
-    proposal: Proposal;
-    offerArgs?: any;
-};
 export type ExecutorPowers = {
     logger: {
         info: (...args: any[]) => void;
@@ -86,7 +85,17 @@ export type TryExitOfferAction = {
     method: "tryExitOffer";
     offerId: OfferId;
 };
-export type BridgeAction = ExecuteOfferAction | TryExitOfferAction;
+export type InvokeStoreEntryAction = {
+    /**
+     * BridgeAction discriminator
+     */
+    method: "invokeEntry";
+    /**
+     * object method call to make
+     */
+    message: InvokeEntryMessage;
+};
+export type BridgeAction = ExecuteOfferAction | TryExitOfferAction | InvokeStoreEntryAction;
 /**
  * Purses is an array to support a future requirement of multiple purses per
  * brand.
@@ -145,6 +154,14 @@ export type UpdateRecord = {
     status: {
         error: string;
     };
+} | {
+    updated: "invocation";
+    id: string | number;
+    error?: string;
+    result?: {
+        name?: string;
+        passStyle: string;
+    };
 };
 /**
  * For use by clients to describe brands to users. Includes `displayInfo` to
@@ -194,6 +211,7 @@ export type ImmutableState = Readonly<UniqueParams & {
     liveOffers: MapStore<OfferId, OfferStatus>;
     liveOfferSeats: MapStore<OfferId, UserSeat<unknown>>;
     liveOfferPayments: MapStore<OfferId, MapStore<Brand, Payment>>;
+    myStore: MapStore;
 }>;
 export type PurseRecord = BrandDescriptor & {
     purse: Purse;
@@ -202,8 +220,9 @@ export type MutableState = {};
 export type SmartWallet = EReturn<EReturn<typeof prepareSmartWallet>>;
 import type { Payment } from '@agoric/ertp';
 import type { Amount } from '@agoric/ertp';
+import type { InvokeEntryMessage } from './offers.js';
+import type { OfferSpec } from './offers.js';
 import type { OfferId } from './offers.js';
-import type { Proposal } from '@agoric/zoe';
 import type { Brand } from '@agoric/ertp';
 import type { OfferStatus } from './offers.js';
 import type { Issuer } from '@agoric/ertp';

package/src/smartWallet.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"smartWallet.d.ts","sourceRoot":"","sources":["smartWallet.js"],"names":[],"mappings":"AAkQA,kCAAmC,eAAe,CAAC;AAiB5C,4CAHI,OAAO,kBAAkB,EAAE,OAAO,UAClC,YAAY,6BAi1BV,IAAI,CACV,YAAY,EAChB,oBAAwB,GAAG,mBAAmB,CAC3C,GAAG;IACF,iBAAiB,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;CACtC;IAzGE;;;;;;;;OAQG;sCAJQ,OAAO,eAAe,EAAE,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,aAE9C,OAAO,GACL,OAAO,CAAC,IAAI,CAAC;;QApR1B;;;;;;;;;WASG;yBAJQ,OAAO,GACL,OAAO,CAAC,MAAM,CAAC;;;QA8H5B;;;;;;;;;WASG;gCALQ,SAAS,GACP,OAAO,CAAC,IAAI,CAAC;QA0G1B;;;;;;WAMG;8BAHQ,OAAO,GACL,OAAO,CAAC,IAAI,CAAC;;IAkF1B,sCAAsC;;IAKtC,sCAAsC;;;;;;;;;;;;;;IAyD7C;sBA1jCa,MAAM,GAAG,MAAM;wBAGhB;IACR,EAAE,EAAE,OAAO,CAAC;IACZ,cAAc,EAAE,OAAO,eAAe,EAAE,cAAc,CAAC;IACvD,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,CAAC,EAAE,GAAG,CAAC;CACjB;6BAIS;IACR,MAAM,EAAE;QACN,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,IAAI,CAAC;QAC/B,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,IAAI,CAAC;KACjC,CAAC;IACF,gBAAgB,EAAE,OAAO,mBAAmB,EAAE,gBAAgB,CAAC;IAC/D,kBAAkB,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;CACtC;iCAIS;IACR,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,EAAE,SAAS,CAAC;CAClB;iCAIS;IACR,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC;CAClB;2BAMU,kBAAkB,GAAG,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;kCAyBxC;IACR,MAAM,EAAE;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5C,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC;IACnE,4BAA4B,EAAE,CAC5B,OAAO,EAAE,MAAM,EACf,YAAY,EAAE;QAAE,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CACnD,EAAE,CAAC;IACJ,UAAU,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;CACtC;;;;;;;;;;;;;;2BAIS;IAAE,OAAO,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,GACrD;IAAE,OAAO,EAAE,SAAS,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,OAAO,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE;;;;;8BAehD;IACR,KAAK,EAAE,KAAK,CAAC;IACb,WAAW,EAAE,WAAW,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,YAAY,EAAE,OAAO,CAAC;CACvC;2BAMS;IACR,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,IAAI,CAAC,OAAO,8BAA8B,EAAE,IAAI,CAAC,CAAC;IACxD,kBAAkB,EAAE,WAAW,CAAC;IAChC,eAAe,EAAE,MAAM,KAAK,EAAE,iBAAiB,CAAC,CAAC;IACjD,iBAAiB,EAAE,WAAW,CAAC;CAChC;sCAGS,IAAI,CAAC,SAAS,KAAK,EAAE,eAAe,CAAC,EAAE,KAAK,GAAG,KAAK,GAAG,QAAQ,CAAC;2BAGhE;IACR,WAAW,EAAE,IAAI,CAAC,OAAO,cAAc,EAAE,OAAO,CAAC,CAAC;IAClD,QAAQ,EAAE,uBAAuB,CAAC;IAClC,gBAAgB,EAAE,OAAO,KAAK,CAAC,CAAC;IAChC,eAAe,EAAE,MAAM,KAAK,CAAC,CAAC;IAC9B,qBAAqB,EAAE,WAAW,CAAC;IACnC,gBAAgB,EAAE,UAAU,CAAC;IAC7B,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;CACvB;;;;;;;;;;oBAGS,cAAc,GAAG,YAAY;6BAS7B,QAAQ,CAChB,YAAY,GAAG;IACb,aAAa,EAAE,SAAS,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1C,uBAAuB,EAAE,SAC/B,MAAc,EACd,OAAe,YAAY,EAAE,gBAAgB,CACtC,CAAC;IACF,4BAA4B,EAAE,SAAS,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,qBAAqB,EAAE,SAAS,MAAM,EAAE,OAAO,KAAK,CAAC,CAAC,CAAC;IACvD,aAAa,EAAE,SAAS,KAAK,EAAE,MAAM,CAAC,CAAC;IACvC,iBAAiB,EAAE,OAAO,6CAA6C,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IACnG,kBAAkB,EAAE,OAAO,6CAA6C,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;IAC3G,UAAU,EAAE,SAAS,OAAO,EAAE,WAAW,CAAC,CAAC;IAC3C,cAAc,EAAE,SAAS,OAAO,EAAE,SAAS,OAAO,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,SAAS,OAAO,EAAE,SAAS,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;CAChE,CACF;0BAGS,eAAe,GAAG;IAAE,KAAK,EAAE,KAAK,CAAA;CAAE;2BAElC,EAAE;0BA+5BD,QAAQ,QAAQ,OAAO,kBAAkB,CAAC,CAAC;6BA1kCD,cAAc;4BAAd,cAAc;6BAI/B,aAAa;8BAF2B,aAAa;2BAFpC,cAAc;iCAI/B,aAAa;4BAJI,cAAc;uCAES,aAAa;2BAFpC,cAAc;8BAC7B,eAAe;8BACuB,aAAa;6BAClE,WAAW"}
+{"version":3,"file":"smartWallet.d.ts","sourceRoot":"","sources":["smartWallet.js"],"names":[],"mappings":"AAqQA,kCAAmC,eAAe,CAAC;AAiB5C,4CAHI,OAAO,kBAAkB,EAAE,OAAO,UAClC,YAAY,6BAs9BV,IAAI,CACV,YAAY,EAChB,oBAAwB,GAAG,mBAAmB,CAC3C,GAAG;IACF,iBAAiB,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;CACtC;IAvHE;;;;;;;;OAQG;sCAJQ,OAAO,eAAe,EAAE,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,aAE9C,OAAO,GACL,OAAO,CAAC,IAAI,CAAC;;QA5V1B;;;;;;;;;WASG;yBAJQ,OAAO,GACL,OAAO,CAAC,MAAM,CAAC;;;QAwQ5B;;WAEG;6BADQ,kBAAkB;;;QA3I7B;;;;;;;;;WASG;gCALQ,SAAS,GACP,OAAO,CAAC,IAAI,CAAC;QA0G1B;;;;;;WAMG;8BAHQ,OAAO,GACL,OAAO,CAAC,IAAI,CAAC;;IAwK1B,sCAAsC;;IAKtC,sCAAsC;;;;;;;;;;;;;;IAyD7C;6BAhsCY;IACR,MAAM,EAAE;QACN,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,IAAI,CAAC;QAC/B,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,IAAI,CAAC;KACjC,CAAC;IACF,gBAAgB,EAAE,OAAO,mBAAmB,EAAE,gBAAgB,CAAC;IAC/D,kBAAkB,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;CACtC;iCAIS;IACR,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,EAAE,SAAS,CAAC;CAClB;iCAIS;IACR,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC;CAClB;;;;;YAKU,aAAa;;;;aACb,kBAAkB;;2BAMlB,kBAAkB,GAAG,kBAAkB,GAAG,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;kCAyBjE;IACR,MAAM,EAAE;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5C,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC;IACnE,4BAA4B,EAAE,CAC5B,OAAO,EAAE,MAAM,EACf,YAAY,EAAE;QAAE,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CACnD,EAAE,CAAC;IACJ,UAAU,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;CACtC;;;;;;;;;;;;;;2BAIS;IAAE,OAAO,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,GACrD;IAAE,OAAO,EAAE,SAAS,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,OAAO,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GACtD;IACE,OAAO,EAAE,YAAY,CAAC;IACtB,EAAE,EAAE,MAAM,GAAG,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CAC/C;;;;;8BAeK;IACR,KAAK,EAAE,KAAK,CAAC;IACb,WAAW,EAAE,WAAW,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,YAAY,EAAE,OAAO,CAAC;CACvC;2BAMS;IACR,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,IAAI,CAAC,OAAO,8BAA8B,EAAE,IAAI,CAAC,CAAC;IACxD,kBAAkB,EAAE,WAAW,CAAC;IAChC,eAAe,EAAE,MAAM,KAAK,EAAE,iBAAiB,CAAC,CAAC;IACjD,iBAAiB,EAAE,WAAW,CAAC;CAChC;sCAGS,IAAI,CAAC,SAAS,KAAK,EAAE,eAAe,CAAC,EAAE,KAAK,GAAG,KAAK,GAAG,QAAQ,CAAC;2BAGhE;IACR,WAAW,EAAE,IAAI,CAAC,OAAO,cAAc,EAAE,OAAO,CAAC,CAAC;IAClD,QAAQ,EAAE,uBAAuB,CAAC;IAClC,gBAAgB,EAAE,OAAO,KAAK,CAAC,CAAC;IAChC,eAAe,EAAE,MAAM,KAAK,CAAC,CAAC;IAC9B,qBAAqB,EAAE,WAAW,CAAC;IACnC,gBAAgB,EAAE,UAAU,CAAC;IAC7B,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;CACvB;;;;;;;;;;oBAGS,cAAc,GAAG,YAAY;6BAS7B,QAAQ,CAChB,YAAY,GAAG;IACb,aAAa,EAAE,SAAS,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1C,uBAAuB,EAAE,SAC/B,MAAc,EACd,OAAe,YAAY,EAAE,gBAAgB,CACtC,CAAC;IACF,4BAA4B,EAAE,SAAS,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,qBAAqB,EAAE,SAAS,MAAM,EAAE,OAAO,KAAK,CAAC,CAAC,CAAC;IACvD,aAAa,EAAE,SAAS,KAAK,EAAE,MAAM,CAAC,CAAC;IACvC,iBAAiB,EAAE,OAAO,6CAA6C,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IACnG,kBAAkB,EAAE,OAAO,6CAA6C,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;IAC3G,UAAU,EAAE,SAAS,OAAO,EAAE,WAAW,CAAC,CAAC;IAC3C,cAAc,EAAE,SAAS,OAAO,EAAE,SAAS,OAAO,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,SAAS,OAAO,EAAE,SAAS,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,OAAO,EAAE,QAAQ,CAAC;CACnB,CACF;0BAGS,eAAe,GAAG;IAAE,KAAK,EAAE,KAAK,CAAA;CAAE;2BAElC,EAAE;0BAoiCD,QAAQ,QAAQ,OAAO,kBAAkB,CAAC,CAAC;6BAltCD,cAAc;4BAAd,cAAc;wCAKY,aAAa;+BAAb,aAAa;6BAAb,aAAa;2BALvC,cAAc;iCAKY,aAAa;4BALvC,cAAc;uCAES,aAAa;2BAFpC,cAAc;8BAC7B,eAAe;8BACuB,aAAa;6BAElE,WAAW"}

package/src/smartWallet.js

@@ -1,5 +1,5 @@
 import { Fail, q } from '@endo/errors';
-import { E } from '@endo/far';
+import { E, passStyleOf } from '@endo/far';
 import {
   AmountShape,
   BrandShape,
@@ -49,8 +49,9 @@ import { prepareOfferWatcher, makeWatchOfferOutcomes } from './offerWatcher.js';
  * @import {Amount, Brand, Issuer, Payment, Purse} from '@agoric/ertp';
  * @import {WeakMapStore, MapStore} from '@agoric/store'
  * @import {InvitationDetails, PaymentPKeywordRecord, Proposal, UserSeat} from '@agoric/zoe';
+ * @import {CopyRecord} from '@endo/pass-style';
  * @import {EReturn} from '@endo/far';
- * @import {OfferId, OfferStatus} from './offers.js';
+ * @import {OfferId, OfferStatus, OfferSpec, InvokeEntryMessage, ResultPlan} from './offers.js';
  */
 
 const trace = makeTracer('SmrtWlt');
@@ -60,17 +61,6 @@ const trace = makeTracer('SmrtWlt');
  * @see {@link ../README.md} }
  */
 
-/** @typedef {number | string} OfferId */
-
-/**
- * @typedef {{
- *   id: OfferId;
- *   invitationSpec: import('./invitations').InvitationSpec;
- *   proposal: Proposal;
- *   offerArgs?: any;
- * }} OfferSpec
- */
-
 /**
  * @typedef {{
  *   logger: {
@@ -96,10 +86,16 @@ const trace = makeTracer('SmrtWlt');
  * }} TryExitOfferAction
  */
 
+/**
+ * @typedef {object} InvokeStoreEntryAction
+ * @property {'invokeEntry'} method BridgeAction discriminator
+ * @property {InvokeEntryMessage} message object method call to make
+ */
+
 // Discriminated union. Possible future messages types:
 // maybe suggestIssuer for https://github.com/Agoric/agoric-sdk/issues/6132
 // setting petnames and adding brands for https://github.com/Agoric/agoric-sdk/issues/6126
-/** @typedef {ExecuteOfferAction | TryExitOfferAction} BridgeAction */
+/** @typedef {ExecuteOfferAction | TryExitOfferAction | InvokeStoreEntryAction} BridgeAction */
 
 /**
  * Purses is an array to support a future requirement of multiple purses per
@@ -138,7 +134,13 @@ const trace = makeTracer('SmrtWlt');
 /**
  * @typedef {{ updated: 'offerStatus'; status: OfferStatus }
  *   | { updated: 'balance'; currentAmount: Amount }
- *   | { updated: 'walletAction'; status: { error: string } }} UpdateRecord
+ *   | { updated: 'walletAction'; status: { error: string } }
+ *   | {
+ *       updated: 'invocation';
+ *       id: string | number;
+ *       error?: string;
+ *       result?: { name?: string; passStyle: string };
+ *     }} UpdateRecord
  *   Record of an update to the state of this wallet.
  *
  *   Client is responsible for coalescing updates into a current state. See
@@ -211,6 +213,7 @@ const trace = makeTracer('SmrtWlt');
  *     liveOffers: MapStore<OfferId, OfferStatus>;
  *     liveOfferSeats: MapStore<OfferId, UserSeat<unknown>>;
  *     liveOfferPayments: MapStore<OfferId, MapStore<Brand, Payment>>;
+ *     myStore: MapStore;
  *   }
  * >} ImmutableState
  *
@@ -400,6 +403,9 @@ export const prepareSmartWallet = (baggage, shared) => {
           durable: true,
         },
       ),
+      // NB: Wallets before this state property was added do not support
+      // saving results or invoking the saved items.
+      myStore: zone.detached().mapStore('my items'),
     };
 
     /** @type {import('@agoric/zoe/src/contractSupport/recorder.js').RecorderKit<UpdateRecord>} */
@@ -432,6 +438,11 @@ export const prepareSmartWallet = (baggage, shared) => {
     };
   };
 
+  const invocationResultShape = M.splitRecord(
+    {},
+    { id: M.or(M.string(), M.number()), saveResult: shape.ResultPlan },
+  );
+
   const behaviorGuards = {
     helper: M.interface('helperFacetI', {
       assertUniqueOfferId: M.call(M.string()).returns(),
@@ -453,6 +464,8 @@ export const prepareSmartWallet = (baggage, shared) => {
       logWalletInfo: M.call().rest(M.arrayOf(M.any())).returns(),
       logWalletError: M.call().rest(M.arrayOf(M.any())).returns(),
       getLiveOfferPayments: M.call().returns(M.remotable('mapStore')),
+      saveEntry: M.call(shape.ResultPlan, M.any()).returns(M.string()),
+      findUnusedName: M.call(M.string()).returns(M.string()),
     }),
 
     deposit: M.interface('depositFacetI', {
@@ -471,11 +484,19 @@ export const prepareSmartWallet = (baggage, shared) => {
       executeOffer: M.call(shape.OfferSpec).returns(M.promise()),
       tryExitOffer: M.call(M.scalar()).returns(M.promise()),
     }),
+    invoke: M.interface('invoke', {
+      invokeEntry: M.callWhen(shape.InvokeEntryMessage).returns(),
+    }),
+    resultStepWatcher: M.interface('resultStepWatcher', {
+      onFulfilled: M.call(M.any(), invocationResultShape).returns(),
+      onRejected: M.call(M.any(), invocationResultShape).returns(),
+    }),
     self: M.interface('selfFacetI', {
       handleBridgeAction: M.call(shape.StringCapData, M.boolean()).returns(
         M.promise(),
       ),
       getDepositFacet: M.call().returns(M.remotable()),
+      getInvokeFacet: M.call().returns(M.remotable()),
       getOffersFacet: M.call().returns(M.remotable()),
       getCurrentSubscriber: M.call().returns(SubscriberShape),
       getUpdatesSubscriber: M.call().returns(SubscriberShape),
@@ -745,6 +766,35 @@ export const prepareSmartWallet = (baggage, shared) => {
           }
           return baggage.get(state.address);
         },
+        /** @param {string} suggestion */
+        findUnusedName(suggestion) {
+          const { myStore } = this.state;
+          let nonce = 0;
+          let name = suggestion;
+          while (myStore.has(name)) {
+            nonce += myStore.getSize(); // avoid linear work
+            name = `${suggestion}.${nonce}`;
+          }
+          return name;
+        },
+        /**
+         * @param {ResultPlan} plan
+         * @param {unknown} value
+         */
+        saveEntry(plan, value) {
+          const { myStore } = this.state;
+          const name = plan.overwrite
+            ? plan.name
+            : this.facets.helper.findUnusedName(plan.name);
+
+          if (myStore.has(name)) {
+            myStore.set(name, value);
+          } else {
+            myStore.init(name, value);
+          }
+          trace('set', name, '=', value);
+          return name;
+        },
       },
       /**
        * Similar to {DepositFacet} but async because it has to look up the
@@ -1019,6 +1069,78 @@ export const prepareSmartWallet = (baggage, shared) => {
           await E(seatRef).tryExit();
         },
       },
+
+      invoke: {
+        /**
+         * @param {InvokeEntryMessage} message
+         */
+        async invokeEntry(message) {
+          trace('invokeEntry', message);
+          const { myStore } = this.state;
+          const { resultStepWatcher } = this.facets;
+
+          const { targetName: name, method, args, saveResult, id } = message;
+          myStore.has(name) || Fail`cannot invoke ${q(name)}: no such item`;
+          const value = myStore.get(name);
+          trace('entry', name, value);
+          trace('invoke', value, '.', method, '(', args, ')');
+          if (id) {
+            const { updateRecorderKit } = this.state;
+            void updateRecorderKit.recorder.write({
+              updated: 'invocation',
+              id,
+            });
+          }
+          const callP = E(value)[method](...args);
+          if (id || saveResult) {
+            vowTools.watch(callP, resultStepWatcher, { id, saveResult });
+          } else {
+            void callP;
+          }
+        },
+      },
+
+      resultStepWatcher: {
+        /**
+         * @param {unknown} result
+         * @param {{ id?: string | number; saveResult?: ResultPlan }} opts
+         */
+        onFulfilled(result, opts) {
+          trace('resultStepWatcher opts', opts);
+          const { id, saveResult } = opts;
+          if (saveResult) {
+            this.facets.helper.saveEntry(saveResult, result);
+          }
+          const passStyle = passStyleOf(result);
+          const { updateRecorderKit } = this.state;
+          if (id) {
+            void updateRecorderKit.recorder.write({
+              updated: 'invocation',
+              id,
+              result: {
+                ...(saveResult?.name ? { name: saveResult.name } : {}),
+                passStyle,
+              },
+            });
+          }
+        },
+        /**
+         * @param {unknown} reason
+         * @param {{ id: string | number; saveResult?: ResultPlan }} opts
+         */
+        onRejected(reason, opts) {
+          trace('rejected', reason, opts);
+          if (opts.id) {
+            const { updateRecorderKit } = this.state;
+            void updateRecorderKit.recorder.write({
+              updated: 'invocation',
+              id: opts.id,
+              error: String(reason),
+            });
+          }
+        },
+      },
+
       self: {
         /**
          * Umarshals the actionCapData and delegates to the appropriate action
@@ -1030,8 +1152,8 @@ export const prepareSmartWallet = (baggage, shared) => {
          * @returns {Promise<void>}
          */
         handleBridgeAction(actionCapData, canSpend = false) {
-          const { facets } = this;
-          const { offers } = facets;
+          const { facets, state } = this;
+          const { offers, invoke } = facets;
           const { publicMarshaller } = shared;
 
           /** @param {Error} err */
@@ -1044,6 +1166,8 @@ export const prepareSmartWallet = (baggage, shared) => {
             });
           };
 
+          const walletHasNameHub = 'myStore' in state && state.myStore != null;
+
           // use E.when to retain distributed stack trace
           return E.when(
             E(publicMarshaller).fromCapData(actionCapData),
@@ -1053,12 +1177,21 @@ export const prepareSmartWallet = (baggage, shared) => {
                 switch (action.method) {
                   case 'executeOffer': {
                     canSpend || Fail`executeOffer requires spend authority`;
+                    if (action.offer.saveResult != null && !walletHasNameHub) {
+                      Fail`executeOffer saveResult requires a new smart wallet with myStore`;
+                    }
+
                     return offers.executeOffer(action.offer);
                   }
                   case 'tryExitOffer': {
                     assert(canSpend, 'tryExitOffer requires spend authority');
                     return offers.tryExitOffer(action.offerId);
                   }
+                  case 'invokeEntry': {
+                    walletHasNameHub ||
+                      Fail`invokeEntry requires a new smart wallet with myStore`;
+                    return invoke.invokeEntry(action.message);
+                  }
                   default: {
                     throw Fail`invalid handle bridge action ${q(action)}`;
                   }
@@ -1077,6 +1210,9 @@ export const prepareSmartWallet = (baggage, shared) => {
         getDepositFacet() {
           return this.facets.deposit;
         },
+        getInvokeFacet() {
+          return this.facets.invoke;
+        },
         getOffersFacet() {
           return this.facets.offers;
         },

package/src/typeGuards.js

@@ -4,6 +4,28 @@ import {
   ProposalShape,
 } from '@agoric/zoe/src/typeGuards.js';
 
+/**
+ * @import {TypedPattern} from '@agoric/internal';
+ * @import {InvokeEntryMessage, ResultPlan} from './offers';
+ */
+
+/** @type {TypedPattern<ResultPlan>} */
+const ResultPlanShape = M.splitRecord(
+  { name: M.string() },
+  { overwrite: M.boolean() },
+  {},
+);
+/** @type {TypedPattern<InvokeEntryMessage>} */
+const InvokeEntryMessageShape = M.splitRecord(
+  {
+    targetName: M.string(),
+    method: M.string(),
+    args: M.array(),
+  },
+  { saveResult: ResultPlanShape, id: M.or(M.number(), M.string()) },
+  {},
+);
+
 export const shape = {
   // smartWallet
   StringCapData: {
@@ -51,8 +73,14 @@ export const shape = {
       invitationSpec: M.any(),
       proposal: ProposalShape,
     },
-    { offerArgs: M.any() },
+    {
+      offerArgs: M.any(),
+      saveResult: ResultPlanShape,
+    },
+    {},
   ),
+  ResultPlan: ResultPlanShape,
+  InvokeEntryMessage: InvokeEntryMessageShape,
 
   // walletFactory
   /**