SPIKE: use offer result without zoe offer

packages/boot/package.json

@@ -48,6 +48,7 @@
     "@endo/far": "^1.1.11",
     "@endo/init": "^1.1.9",
     "@endo/marshal": "^1.6.4",
+    "@endo/patterns": "^1.5.0",
     "@endo/promise-kit": "^1.1.10",
     "@endo/stream": "^1.2.10",
     "import-meta-resolve": "^4.1.0",
@@ -60,7 +61,6 @@
     "@agoric/store": "^0.9.2",
     "@agoric/swingset-liveslots": "^0.10.2",
     "@endo/base64": "^1.0.9",
-    "@endo/patterns": "^1.5.0",
     "ava": "^5.3.0",
     "c8": "^10.1.2",
     "node-fetch-cache": "^4.1.2",

packages/boot/test/bootstrapTests/walletFactory.ts

@@ -8,6 +8,8 @@
   makeSwingsetTestKit,
 } from '../../tools/supports.js';
 import { makeWalletFactoryDriver } from '../../tools/drivers.js';
+import type { StakingView } from '@agoric/smart-wallet/src/types.js';
+import { mockStakingViewKit } from '../smartWallet/staking-vew.mock.js';
 
 export const makeWalletFactoryContext = async (
   t,
@@ -52,6 +54,24 @@
     }
   };
 
+  {
+    const produceStakingView = async (
+      powers: PromiseSpaceOf<{ stakingView: StakingView }>,
+    ) => {
+      const { view } = mockStakingViewKit();
+      powers.produce.stakingView.resolve(view);
+    };
+
+    const js_code = `
+    const mockStakingViewKit = (${mockStakingViewKit});
+    (${produceStakingView})
+    `;
+    await swingsetTestKit.evalProposal({
+      evals: [{ js_code, json_permits: 'true' }],
+      bundles: [],
+    });
+  }
+
   const walletFactoryDriver = await makeWalletFactoryDriver(
     runUtils,
     storage,

packages/boot/test/smartWallet/staking-vew.mock.ts

@@ -0,0 +1,15 @@
+import type { StakingView } from '@agoric/smart-wallet/src/types.ts';
+import { Far } from '@endo/marshal';
+
+// NOTE: only coreEval scope (e.g. Far) allowed
+export const mockStakingViewKit = () => {
+  const view: StakingView = Far('StakingView', {
+    get: addr => {
+      assert.typeof(addr, 'string'); // no exo guard
+      const qty = BigInt((addr.match(/\d+/g) || []).join(''));
+      //   console.debug(addr, 'stake:', qty);
+      return qty;
+    },
+  });
+  return { view }; // leave room for write facet
+};

packages/boot/test/smartWallet/wallet-fun-carrier.contract.js

@@ -0,0 +1,44 @@
+/** @file contract to pass a capability to an admin */
+import { makeTracer } from '@agoric/internal';
+import { makeDurableZone } from '@agoric/zone/durable.js';
+import { M } from '@endo/patterns';
+
+const trace = makeTracer('WFun2');
+
+const meta = {
+  privateArgsShape: { prize: M.record() },
+};
+harden(meta);
+
+/**
+ * @template {Record<string, unknown>} P
+ * @param {ZCF} zcf
+ * @param {{ prize: P }} privateArgs
+ * @param {import("@agoric/swingset-liveslots").Baggage} baggage
+ */
+export const start = (zcf, { prize }, baggage) => {
+  const zone = makeDurableZone(baggage);
+  const creatorFacet = zone.exo(
+    'cf',
+    M.interface('cf', {
+      makeInvitation: M.callWhen().returns(M.remotable('Invitation')),
+    }),
+    {
+      makeInvitation() {
+        return zcf.makeInvitation(
+          seat => {
+            trace('admin invitation handler');
+            seat.exit();
+            zcf.shutdown();
+            return prize;
+          },
+          'admin',
+          undefined,
+          harden(M.splitRecord({ give: {}, want: {} })),
+        );
+      },
+    },
+  );
+  return { creatorFacet };
+};
+harden(start);

packages/boot/test/smartWallet/wallet-fun.contract.js

@@ -0,0 +1,91 @@
+/** @file contract that can invite participants to set prices */
+import { makeTracer } from '@agoric/internal';
+import { makeDurableZone } from '@agoric/zone/durable.js';
+import { M } from '@endo/patterns';
+
+const trace = makeTracer('WFun');
+
+/**
+ * @param {ZCF} zcf
+ * @param {unknown} _pa
+ * @param {import('@agoric/swingset-liveslots').Baggage} baggage
+ */
+export const start = (zcf, _pa, baggage) => {
+  const zone = makeDurableZone(baggage);
+  const incarnation = (() => {
+    if (!baggage.has('incarnation')) {
+      baggage.init('incarnation', 0n);
+      return 0n;
+    }
+    const post = /** @type {bigint} */ (baggage.get('incarnation')) + 1n;
+    baggage.set('incarnation', post);
+    return post;
+  })();
+
+  /** @type {import('@agoric/store').SetStore<ReturnType<typeof makeAdmin>>} */
+  const admins = zone.setStore('admins');
+
+  const publicFacet = zone.exo(
+    'pf',
+    M.interface('pf', {
+      getIncarnation: M.call().returns(M.nat()),
+      getPrices: M.call().returns(M.arrayOf(M.nat())),
+    }),
+    {
+      getIncarnation() {
+        return incarnation;
+      },
+      getPrices() {
+        return [...admins.values()].map(a => a.getPrice());
+      },
+    },
+  );
+
+  const makeAdmin = zone.exoClass(
+    'Admin',
+    M.interface('Admin', {
+      getPrice: M.call().returns(M.nat()),
+      setPrice: M.call(M.nat()).returns(),
+    }),
+    () => ({ price: 0n }),
+    {
+      getPrice() {
+        return this.state.price;
+      },
+      /** @param {import('@agoric/ertp').NatValue} p */
+      setPrice(p) {
+        this.state.price = p;
+        console.log('price', p);
+      },
+    },
+  );
+
+  const creatorFacet = zone.exo(
+    'cf',
+    M.interface('cf', {
+      makeAdminInvitation: M.callWhen().returns(M.remotable('Invitation')),
+    }),
+    {
+      makeAdminInvitation() {
+        return zcf.makeInvitation(
+          seat => {
+            trace('admin invitation handler', { incarnation });
+            const it = makeAdmin();
+            admins.add(it);
+            seat.exit();
+            return it;
+          },
+          'admin',
+          undefined,
+          harden(M.splitRecord({ give: {}, want: {} })),
+        );
+      },
+    },
+  );
+
+  return {
+    publicFacet,
+    creatorFacet,
+  };
+};
+harden(start);