@agoric/vats 0.15.2-dev-727e4af.0 → 0.15.2-dev-96c9ff5.0

package/src/lib-board.d.ts

@@ -1,4 +1,7 @@
-/** @import {Key} from '@endo/patterns') */
+/**
+ * @import {PassableCap} from '@endo/marshal';
+ * @import {Key} from '@endo/patterns');
+ */
 export const DEFAULT_CRC_DIGITS: 2;
 export const DEFAULT_PREFIX: "board0";
 export function prepareBoardKit(baggage: import("@agoric/vat-data").Baggage): (initSequence?: number | bigint | undefined, args_1?: {
@@ -17,15 +20,15 @@ export function prepareBoardKit(baggage: import("@agoric/vat-data").Baggage): (i
          * `value` for its entire lifetime. For a well-known board, this is
          * essentially forever.
          *
-         * @param {Key} value
+         * @param {PassableCap} value
          * @throws if `value` is not a Key in the @agoric/store sense
          */
-        getId(value: any): string;
+        getId(value: PassableCap): string;
         /**
          * @param {BoardId} id
          * @throws if id is not in the mapping
          */
-        getValue(id: BoardId): any;
+        getValue(id: BoardId): PassableCap;
         /**
          * Convenience method for recursively traversing boards and board-like
          * remotables to get data associated with a sequence of ids
@@ -37,8 +40,8 @@ export function prepareBoardKit(baggage: import("@agoric/vat-data").Baggage): (i
          * @param {...string} path
          */
         lookup(...path: string[]): Promise<any>;
-        /** @param {Key} val */
-        has(val: any): boolean;
+        /** @param {PassableCap} val */
+        has(val: PassableCap): boolean;
         ids(): string[];
         /**
          * Get a marshaller that implements the convertValToSlot hook using
@@ -94,6 +97,7 @@ export type BoardId = string;
  *   Key from
  */
 export type BoardState = ReturnType<typeof initDurableBoardState>;
+import type { PassableCap } from '@endo/marshal';
 /**
  * @typedef {ReturnType<typeof initDurableBoardState>} BoardState // TODO: use
  *   Key from @agoric/store when available
@@ -115,8 +119,8 @@ declare function initDurableBoardState(initSequence?: number | bigint | undefine
     crcDigits?: number | undefined;
 } | undefined): {
     lastSequence: bigint;
-    idToVal: globalThis.MapStore<string, any>;
-    valToId: globalThis.MapStore<any, string>;
+    idToVal: globalThis.MapStore<string, PassableCap>;
+    valToId: globalThis.MapStore<PassableCap, string>;
     prefix: string;
     crcDigits: number;
 };

package/src/lib-board.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lib-board.d.ts","sourceRoot":"","sources":["lib-board.js"],"names":[],"mappings":"AAiBA,2CAA2C;AAE3C,mCAAoC;AACpC,sCAAuC;AAmOhC,yCAHI,OAAO,kBAAkB,EAAE,OAAO;;;;;QAWrC;;;;;;;;;;;;;WAaG;;QAIH;;;WAGG;qBAFQ,OAAO;QAMlB;;;;;;;;;WASG;wBADW,MAAM;QAgBpB,uBAAuB;;;QASvB;;;WAGG;;;;;;;QAIH;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;GAuCV;AAGM,6CADK,OAAO,cAAc,EAAE,IAAI,WAS1B,MAAM,cACN,UAAU,sBA1NqB,WAAW,GAAG,QAAQ,OAC7D,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,0KAqOrC;;;;;;;;;;sBA3UY,MAAM;;;;;yBAmBN,UAAU,CAAC,OAAO,qBAAqB,CAAC;AADrD;;;;;;GAMG;AAGH;;;;;;;;GAQG;AACH;;;;;;;;;EA0BC"}
+{"version":3,"file":"lib-board.d.ts","sourceRoot":"","sources":["lib-board.js"],"names":[],"mappings":"AAiBA;;;GAGG;AAEH,mCAAoC;AACpC,sCAAuC;AAmOhC,yCAHI,OAAO,kBAAkB,EAAE,OAAO;;;;;QAWrC;;;;;;;;;;;;;WAaG;;QAIH;;;WAGG;qBAFQ,OAAO;QAMlB;;;;;;;;;WASG;wBADW,MAAM;QAiBpB,+BAA+B;;;QAS/B;;;WAGG;;;;;;;QAIH;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;GAuCV;AAGM,6CADK,OAAO,cAAc,EAAE,IAAI,WAS1B,MAAM,cACN,UAAU,sBA5NrB,WAAW,GAAE,QAAS,OAAO,WAC/B,EACE,MADM,CAAC,WAAW,CAAC,CAAC,0KAuOrB;;;;;;;;;;sBA5UY,MAAM;;;;;yBAmBN,UAAU,CAAC,OAAO,qBAAqB,CAAC;iCA9DvB,eAAe;AA6D7C;;;;;;GAMG;AAGH;;;;;;;;GAQG;AACH;;;;;;;;;EA0BC"}

package/src/lib-board.js

@@ -15,7 +15,10 @@ import { makeMarshal } from '@endo/marshal';
 
 import { crc6 } from './crc.js';
 
-/** @import {Key} from '@endo/patterns') */
+/**
+ * @import {PassableCap} from '@endo/marshal';
+ * @import {Key} from '@endo/patterns');
+ */
 
 export const DEFAULT_CRC_DIGITS = 2;
 export const DEFAULT_PREFIX = 'board0';
@@ -99,13 +102,13 @@ const initDurableBoardState = (
   const immutable = { prefix, crcDigits };
 
   const lastSequence = BigInt(initSequence);
-  /** @type {MapStore<BoardId, Key>} */
+  /** @type {MapStore<BoardId, PassableCap>} */
   const idToVal = makeScalarBigMapStore('idToVal', {
     durable: true,
     keyShape: IdShape,
     valueShape: ValShape,
   });
-  /** @type {MapStore<Key, BoardId>} */
+  /** @type {MapStore<PassableCap, BoardId>} */
   const valToId = makeScalarBigMapStore('valToId', {
     durable: true,
     keyShape: ValShape,
@@ -127,7 +130,7 @@ const initDurableBoardState = (
 // transient marshallers that get GCed when the function completes.
 
 /**
- * @param {Key} value
+ * @param {PassableCap} value
  * @param {BoardState} state
  */
 const getId = (value, state) => {
@@ -185,7 +188,7 @@ const makeSlotToVal = state => {
   /**
    * @param {BoardId} slot
    * @param {string} iface
-   * @returns {unknown}
+   * @returns {any}
    */
   const slotToVal = (slot, iface) => {
     if (slot !== null) {
@@ -264,7 +267,7 @@ export const prepareBoardKit = baggage => {
          * `value` for its entire lifetime. For a well-known board, this is
          * essentially forever.
          *
-         * @param {Key} value
+         * @param {PassableCap} value
          * @throws if `value` is not a Key in the @agoric/store sense
          */
         getId(value) {
@@ -295,13 +298,14 @@ export const prepareBoardKit = baggage => {
             return board;
           }
           const [first, ...rest] = path;
+          /** @type {any} */
           const firstValue = board.getValue(/** @type {BoardId} */ (first));
           if (rest.length === 0) {
             return firstValue;
           }
           return E(firstValue).lookup(...rest);
         },
-        /** @param {Key} val */
+        /** @param {PassableCap} val */
         has(val) {
           const { state } = this;
           return state.valToId.has(val);

package/src/localchain.d.ts

@@ -42,7 +42,7 @@ export function prepareLocalChainTools(zone: import("@agoric/base-zone").Zone):
                  *
                  * @param {Payment} payment
                  */
-                deposit(payment: Payment): Promise<globalThis.Amount<globalThis.AssetKind>>;
+                deposit(payment: Payment): Promise<import("@agoric/ertp/exported.js").NatAmount | import("@agoric/ertp/exported.js").CopySetAmount<import("@endo/patterns").Key> | import("@agoric/ertp/exported.js").SetAmount<import("@endo/patterns").Key> | import("@agoric/ertp/exported.js").CopyBagAmount<import("@endo/patterns").Key>>;
                 /**
                  * @param {import('@agoric/cosmic-proto').TypedJson<unknown>[]} messages
                  * @returns {Promise<import('@agoric/cosmic-proto').TypedJson[]>}
@@ -97,7 +97,7 @@ declare function prepareLocalChainAccount(zone: import("@agoric/base-zone").Zone
      *
      * @param {Payment} payment
      */
-    deposit(payment: Payment): Promise<globalThis.Amount<globalThis.AssetKind>>;
+    deposit(payment: Payment): Promise<import("@agoric/ertp/exported.js").NatAmount | import("@agoric/ertp/exported.js").CopySetAmount<import("@endo/patterns").Key> | import("@agoric/ertp/exported.js").SetAmount<import("@endo/patterns").Key> | import("@agoric/ertp/exported.js").CopyBagAmount<import("@endo/patterns").Key>>;
     /**
      * @param {import('@agoric/cosmic-proto').TypedJson<unknown>[]} messages
      * @returns {Promise<import('@agoric/cosmic-proto').TypedJson[]>}

package/src/mintHolder.d.ts

@@ -1,8 +1,8 @@
 /** @type {ContractMeta} */
 export const meta: ContractMeta;
 export function start<K extends globalThis.AssetKind>(zcf: ZCF<IssuerInfo<K>>, _privateArgs: undefined, instanceBaggage: Baggage): {
-    publicFacet: globalThis.Issuer<K>;
-    creatorFacet: globalThis.Mint<K>;
+    publicFacet: globalThis.Issuer<K, import("@endo/patterns").Key>;
+    creatorFacet: globalThis.Mint<K, import("@endo/patterns").Key>;
 };
 /**
  * <K>

package/src/nameHub.js

@@ -9,7 +9,7 @@ import {
   prepareGuardedAttenuator,
 } from '@agoric/internal/src/callback.js';
 import { makeHeapZone } from '@agoric/zone';
-import { deeplyFulfilled } from '@endo/marshal';
+import { deeplyFulfilledObject } from '@agoric/internal';
 
 const { Fail, quote: q } = assert;
 
@@ -118,7 +118,7 @@ const updated = (updateCallback, hub, _newValue = undefined) => {
   }
 
   // wait for values to settle before writing
-  return E.when(deeplyFulfilled(hub.entries()), settledEntries =>
+  return E.when(deeplyFulfilledObject(hub.entries()), settledEntries =>
     E(updateCallback).write(settledEntries),
   );
 };

package/src/proposals/localchain-test.js

@@ -1,6 +1,6 @@
 // @ts-check
 import { E } from '@endo/far';
-import { typedJson } from '@agoric/cosmic-proto';
+import { typedJson } from '@agoric/cosmic-proto/vatsafe';
 
 /**
  * @param {BootstrapPowers & {

package/src/proposals/upgrade-zoe-proposal.d.ts

@@ -192,34 +192,34 @@ export function upgradeZoe({ consume: { vatAdminSvc, vatStore } }: WellKnownSpac
                 (...data: any[]): void;
                 (message?: any, ...optionalParams: any[]): void;
             } | undefined, reserved?: Record<string, Record<string, unknown>>) => Promise<{
-                agoricNames: import("../types.js").NameHub;
+                agoricNames: import("../types.js").NameHub<any>;
                 agoricNamesAdmin: import("../types.js").NameAdmin;
                 spaces: WellKnownSpaces;
             }>;
             makeMyAddressNameAdminKit: (address: string) => {
-                nameHub: import("../types.js").NameHub;
+                nameHub: import("../types.js").NameHub<any>;
                 myAddressNameAdmin: import("../types.js").MyAddressNameAdmin;
             };
             makeVatSpace: (svc: ERef<ReturnType<Awaited<VatAdminVat>["createVatAdminService"]>>, criticalVatKey: unknown, log?: ((...args: any) => void) | undefined, label?: string | undefined) => {
                 space: {
                     consume: {
                         agoricNames: Promise<{
-                            getNameHub: () => import("../types.js").NameHub;
+                            getNameHub: () => import("../types.js").NameHub<any>;
                             getNameHubKit: () => import("../types.js").NameHubKit;
                             publishNameHubs: (nameStorage: ERef<StorageNode>, vatBoard: ERef<BoardVat>, kinds: string[]) => Promise<void>;
                             provideInertBrand: (keyword: string, displayInfo: DisplayInfo) => any;
-                        } & import("@endo/eventual-send").RemotableBrand<{}, {
-                            getNameHub: () => import("../types.js").NameHub;
+                        } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+                            getNameHub: () => import("../types.js").NameHub<any>;
                             getNameHubKit: () => import("../types.js").NameHubKit;
                             publishNameHubs: (nameStorage: ERef<StorageNode>, vatBoard: ERef<BoardVat>, kinds: string[]) => Promise<void>;
                             provideInertBrand: (keyword: string, displayInfo: DisplayInfo) => any;
                         }>>;
                         board: Promise<{
                             getBoard: () => import("@endo/exo").Guarded<{
-                                getId(value: any): string;
-                                getValue(id: BoardId): any;
+                                getId(value: import("@endo/pass-style").PassableCap): string;
+                                getValue(id: BoardId): import("@endo/pass-style").PassableCap;
                                 lookup(...path: string[]): Promise<any>;
-                                has(val: any): boolean;
+                                has(val: import("@endo/pass-style").PassableCap): boolean;
                                 ids(): string[];
                                 getPublishingMarshaller(): import("@endo/exo").Guarded<{
                                     toCapData(val: any): import("@endo/marshal").CapData<string>;
@@ -236,12 +236,12 @@ export function upgradeZoe({ consume: { vatAdminSvc, vatStore } }: WellKnownSpac
                             }>;
                             makePublishingRecorderKit: <T>(storageNode: StorageNode | Awaited<import("@endo/far").FarRef<StorageNode>>, valueShape?: import("@agoric/zoe/src/contractSupport/recorder.js").TypedMatcher<T> | undefined) => import("@agoric/zoe/src/contractSupport/recorder.js").RecorderKit<T>;
                             makeReadOnlyRecorderKit: <T>(storageNode: StorageNode | Awaited<import("@endo/far").FarRef<StorageNode>>, valueShape?: import("@agoric/zoe/src/contractSupport/recorder.js").TypedMatcher<T> | undefined) => import("@agoric/zoe/src/contractSupport/recorder.js").RecorderKit<T>;
-                        } & import("@endo/eventual-send").RemotableBrand<{}, {
+                        } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
                             getBoard: () => import("@endo/exo").Guarded<{
-                                getId(value: any): string;
-                                getValue(id: BoardId): any;
+                                getId(value: import("@endo/pass-style").PassableCap): string;
+                                getValue(id: BoardId): import("@endo/pass-style").PassableCap;
                                 lookup(...path: string[]): Promise<any>;
-                                has(val: any): boolean;
+                                has(val: import("@endo/pass-style").PassableCap): boolean;
                                 ids(): string[];
                                 getPublishingMarshaller(): import("@endo/exo").Guarded<{
                                     toCapData(val: any): import("@endo/marshal").CapData<string>;

package/src/proposals/upgrade-zoe-proposal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"upgrade-zoe-proposal.d.ts","sourceRoot":"","sources":["upgrade-zoe-proposal.js"],"names":[],"mappings":"AAeO;;;;;;;;;;;;;;;;;wCA2B6I,eAAe;mIAAykF,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;2DAAwX,eAAe;8LAA8J,eAAe;yFAA4hE,cAAc,kBAAoB;gBAAC,QAAS,CAAC,EAAC,uBAAwB,CAAA;aAAE;oMAAskF,eAAe;gNAA2gB,YAAY,YAAY,CAAC,GAAE,cAAoB,GAAE;gBAAE,SAAgB;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAO;yLAAkhC,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;mLAA+2B,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;gJAA0wC,eAAe,GAAE,cAAe;gGAA6hB,eAAe,wCAAoB;gBAAC,OAAa,CAAC,EAAC;oBAAE,kBAA0B,CAAC,EAAC;wBAAE,QAAkB,CAAC,EAAC,QAAS,CAAC;qBAAS,CAAC;iBAAO,CAAC;aAAK;0DAA8xC,eAAe;iIAAjgb,eAAe,KAAK;8CAAqnE,KAAK,mBAAmB,EAAC,SAAU,CAAC;wFAAwb,cAAc,GAAE;gBAAE,MAAM,OAAQ,cAAc,EAAE,IAAI,CAAA;aAAE;qMAA68G,cAAc,GAAE;gBAAE,MAAW,OAAQ,cAAc,EAAE,IAAI,CAAC;gBAAA,SAAc;oBAAE,+BAAsC,OAAQ,wDAAwD,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC,+BAA+B,CAAC,CAAC;iBAAO,CAAC;aAAK;8NAAigD,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,MAAM,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;8FAAo4B,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,iBAAiB,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;iHAA4vB,eAAe,GAAE,cAAe;8HAA+V,eAAe,GAAE,cAAe;mHAA4W,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,QAAQ,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;6JAAgxB,eAAe;gGAAigC,cAAc;qHAA8mC,cAAc;kIAAk9B,cAAc;;;;;;;;;;;;;;;;;;;;;;;;gTAAkpD,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,OAAO,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kEAA1pd;gBAAC,MAAM;oBAAE,OAAO,QAAS,CAAC;oBAAA,OAAO,YAAa,CAAA;iBAAE,CAAA;aAAE;uCAA6P,CAAC,CAAC,GAAG,SAAI,KAAI,uBAAwB,CAAC,EAAE;gCAAgT,IAAI,YAAW,mBAAoB;oCAAunC,IAAI,YAAW,mBAAoB;;gBAAyhB,SAAS;gBAA0C,SAAS,EAAvC,uBAAuB;gBAA0E,QAAQ,EAAtD,eAAc,uBAAwB,CAAC;gBAA4F,UAAU,EAA3E,CAAC,YAAY,EAAC,QAAQ,uBAAwB,YAAY;;oDAAw1B,KAAK,OAAO,aAAa,EAAE,SAAS,CAAC;0BAAs7orC,KAAM;mDAAztjrC,KAAM;;+CAA/mE,KAAK,OAAO,aAAa,EAAE,SAAS,CAAC;;;;;;;sCAAm8B,eAAc,uBAAwB,CAAC;;;;;;;;;gCAA+gD,KAAK,WAAW,QAAQ,WAAW,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC;;;;;;2DAA/gQ,KAAK,WAAW,CAAC,YAA2B,KAAK,QAAQ,CAAC,SAAwB,QAAQ;8EAAovB,WAAW;;;;;;;;;;6CAA+pL,OAAO;;;;;;;;;;;;;;;;;wEAApzG,WAAW,GAAE,QAAS,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;gHAApB,MAAM;;;;;;;;;;;;;;;;;;;;;kHAAN,MAAM;gHAAN,MAAM;;;;;;;;;;;kBApC3xH,QAAQ,CACxB,MAAc,EACd,OAAe,sBAAsB,EAAE,gBAAgB,CAChD;;;IAI2D,OAAO,EAA/D;QAAE,MAAM,EAAE,YAAY,CAAC;QAAC,MAAM,EAAE,YAAY,CAAA;KAAE;kBAexD;AAEM;;;;;;;;;;;;;;;EAWL"}
+{"version":3,"file":"upgrade-zoe-proposal.d.ts","sourceRoot":"","sources":["upgrade-zoe-proposal.js"],"names":[],"mappings":"AAeO;;;;;;;;;;;;;;;;;wCA2B6I,eAAe;mIAAykF,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;2DAAwX,eAAe;8LAA8J,eAAe;yFAA4hE,cAAc,kBAAoB;gBAAC,QAAS,CAAC,EAAC,uBAAwB,CAAA;aAAE;oMAAskF,eAAe;gNAA2gB,YAAY,YAAY,CAAC,GAAE,cAAoB,GAAE;gBAAE,SAAgB;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAO;yLAAkhC,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;mLAA+2B,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;gJAA0wC,eAAe,GAAE,cAAe;gGAA6hB,eAAe,wCAAoB;gBAAC,OAAa,CAAC,EAAC;oBAAE,kBAA0B,CAAC,EAAC;wBAAE,QAAkB,CAAC,EAAC,QAAS,CAAC;qBAAS,CAAC;iBAAO,CAAC;aAAK;0DAA8xC,eAAe;iIAAjgb,eAAe,KAAK;8CAAitE,KAAK,mBAAmB,EAAC,SAAU,CAAC;wFAAwb,cAAc,GAAE;gBAAE,MAAM,OAAQ,cAAc,EAAE,IAAI,CAAA;aAAE;qMAA68G,cAAc,GAAE;gBAAE,MAAW,OAAQ,cAAc,EAAE,IAAI,CAAC;gBAAA,SAAc;oBAAE,+BAAsC,OAAQ,wDAAwD,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC,+BAA+B,CAAC,CAAC;iBAAO,CAAC;aAAK;8NAAigD,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,MAAM,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;8FAAo4B,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,iBAAiB,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;iHAA4vB,eAAe,GAAE,cAAe;8HAA+V,eAAe,GAAE,cAAe;mHAA4W,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,QAAQ,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;6JAAgxB,eAAe;gGAAigC,cAAc;qHAA8mC,cAAc;kIAAk9B,cAAc;;;;;;;;;;;;;;;;;;;;;;;;gTAAkpD,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,OAAO,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kEAAtvd;gBAAC,MAAM;oBAAE,OAAO,QAAS,CAAC;oBAAA,OAAO,YAAa,CAAA;iBAAE,CAAA;aAAE;uCAA6P,CAAC,CAAC,GAAG,SAAI,KAAI,uBAAwB,CAAC,EAAE;gCAAgT,IAAI,YAAW,mBAAoB;oCAAunC,IAAI,YAAW,mBAAoB;;gBAAyhB,SAAS;gBAA0C,SAAS,EAAvC,uBAAuB;gBAA0E,QAAQ,EAAtD,eAAc,uBAAwB,CAAC;gBAA4F,UAAU,EAA3E,CAAC,YAAY,EAAC,QAAQ,uBAAwB,YAAY;;oDAAw1B,KAAK,OAAO,aAAa,EAAE,SAAS,CAAC;0BAAs7orC,KAAM;mDAAztjrC,KAAM;;+CAA/mE,KAAK,OAAO,aAAa,EAAE,SAAS,CAAC;;;;;;;sCAAm8B,eAAc,uBAAwB,CAAC;;;;;;;;;gCAA+gD,KAAK,WAAW,QAAQ,WAAW,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC;;;;;;2DAA/gQ,KAAK,WAAW,CAAC,YAA2B,KAAK,QAAQ,CAAC,SAAwB,QAAQ;8EAAovB,WAAW;;;;;;;;;;6CAA+uL,OAAO;;;;;;;;;;;;;;;;;wEAA54G,WAAW,GAAE,QAAS,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;gHAApB,MAAM;;;;;;;;;;;;;;;;;;;;;kHAAN,MAAM;gHAAN,MAAM;;;;;;;;;;;kBApCnxH,QAAQ,CACxB,MAAc,EACd,OAAe,sBAAsB,EAAE,gBAAgB,CAChD;;;IAI2D,OAAO,EAA/D;QAAE,MAAM,EAAE,YAAY,CAAC;QAAC,MAAM,EAAE,YAAY,CAAA;KAAE;kBAexD;AAEM;;;;;;;;;;;;;;;EAWL"}

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

@@ -192,34 +192,34 @@ export function upgradeZcf({ consume: { vatAdminSvc, vatStore } }: WellKnownSpac
                 (...data: any[]): void;
                 (message?: any, ...optionalParams: any[]): void;
             } | undefined, reserved?: Record<string, Record<string, unknown>>) => Promise<{
-                agoricNames: import("../types.js").NameHub;
+                agoricNames: import("../types.js").NameHub<any>;
                 agoricNamesAdmin: import("../types.js").NameAdmin;
                 spaces: WellKnownSpaces;
             }>;
             makeMyAddressNameAdminKit: (address: string) => {
-                nameHub: import("../types.js").NameHub;
+                nameHub: import("../types.js").NameHub<any>;
                 myAddressNameAdmin: import("../types.js").MyAddressNameAdmin;
             };
             makeVatSpace: (svc: ERef<ReturnType<Awaited<VatAdminVat>["createVatAdminService"]>>, criticalVatKey: unknown, log?: ((...args: any) => void) | undefined, label?: string | undefined) => {
                 space: {
                     consume: {
                         agoricNames: Promise<{
-                            getNameHub: () => import("../types.js").NameHub;
+                            getNameHub: () => import("../types.js").NameHub<any>;
                             getNameHubKit: () => import("../types.js").NameHubKit;
                             publishNameHubs: (nameStorage: ERef<StorageNode>, vatBoard: ERef<BoardVat>, kinds: string[]) => Promise<void>;
                             provideInertBrand: (keyword: string, displayInfo: DisplayInfo) => any;
-                        } & import("@endo/eventual-send").RemotableBrand<{}, {
-                            getNameHub: () => import("../types.js").NameHub;
+                        } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+                            getNameHub: () => import("../types.js").NameHub<any>;
                             getNameHubKit: () => import("../types.js").NameHubKit;
                             publishNameHubs: (nameStorage: ERef<StorageNode>, vatBoard: ERef<BoardVat>, kinds: string[]) => Promise<void>;
                             provideInertBrand: (keyword: string, displayInfo: DisplayInfo) => any;
                         }>>;
                         board: Promise<{
                             getBoard: () => import("@endo/exo").Guarded<{
-                                getId(value: any): string;
-                                getValue(id: BoardId): any;
+                                getId(value: import("@endo/pass-style").PassableCap): string;
+                                getValue(id: BoardId): import("@endo/pass-style").PassableCap;
                                 lookup(...path: string[]): Promise<any>;
-                                has(val: any): boolean;
+                                has(val: import("@endo/pass-style").PassableCap): boolean;
                                 ids(): string[];
                                 getPublishingMarshaller(): import("@endo/exo").Guarded<{
                                     toCapData(val: any): import("@endo/marshal").CapData<string>;
@@ -236,12 +236,12 @@ export function upgradeZcf({ consume: { vatAdminSvc, vatStore } }: WellKnownSpac
                             }>;
                             makePublishingRecorderKit: <T>(storageNode: StorageNode | Awaited<import("@endo/far").FarRef<StorageNode>>, valueShape?: import("@agoric/zoe/src/contractSupport/recorder.js").TypedMatcher<T> | undefined) => import("@agoric/zoe/src/contractSupport/recorder.js").RecorderKit<T>;
                             makeReadOnlyRecorderKit: <T>(storageNode: StorageNode | Awaited<import("@endo/far").FarRef<StorageNode>>, valueShape?: import("@agoric/zoe/src/contractSupport/recorder.js").TypedMatcher<T> | undefined) => import("@agoric/zoe/src/contractSupport/recorder.js").RecorderKit<T>;
-                        } & import("@endo/eventual-send").RemotableBrand<{}, {
+                        } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
                             getBoard: () => import("@endo/exo").Guarded<{
-                                getId(value: any): string;
-                                getValue(id: BoardId): any;
+                                getId(value: import("@endo/pass-style").PassableCap): string;
+                                getValue(id: BoardId): import("@endo/pass-style").PassableCap;
                                 lookup(...path: string[]): Promise<any>;
-                                has(val: any): boolean;
+                                has(val: import("@endo/pass-style").PassableCap): boolean;
                                 ids(): string[];
                                 getPublishingMarshaller(): import("@endo/exo").Guarded<{
                                     toCapData(val: any): import("@endo/marshal").CapData<string>;

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

@@ -1 +1 @@
-{"version":3,"file":"zcf-proposal.d.ts","sourceRoot":"","sources":["zcf-proposal.js"],"names":[],"mappings":"AAgBO;;;;;;;;;;;;;;;;;wCAyBD,eACG;mIAQ4/E,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;2DAAwX,eAAe;8LAA8J,eAAe;yFAA4hE,cAAc,kBAAoB;gBAAC,QAAS,CAAC,EAAC,uBAAwB,CAAA;aAAE;oMAAskF,eAAe;gNAA2gB,YAAY,YAAY,CAAC,GAAE,cAAoB,GAAE;gBAAE,SAAgB;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAO;yLAAkhC,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;mLAA+2B,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;gJAA0wC,eAAe,GAAE,cAAe;gGAA6hB,eAAe,wCAAoB;gBAAC,OAAa,CAAC,EAAC;oBAAE,kBAA0B,CAAC,EAAC;wBAAE,QAAkB,CAAC,EAAC,QAAS,CAAC;qBAAS,CAAC;iBAAO,CAAC;aAAK;0DAA8xC,eAAe;iIAAjgb,eAAe,KAAK;8CAAqnE,KAAK,mBAAmB,EAAC,SAAU,CAAC;wFAAwb,cAAc,GAAE;gBAAE,MAAM,OAAQ,cAAc,EAAE,IAAI,CAAA;aAAE;qMAA68G,cAAc,GAAE;gBAAE,MAAW,OAAQ,cAAc,EAAE,IAAI,CAAC;gBAAA,SAAc;oBAAE,+BAAsC,OAAQ,wDAAwD,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC,+BAA+B,CAAC,CAAC;iBAAO,CAAC;aAAK;8NAAigD,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,MAAM,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;8FAAo4B,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,iBAAiB,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;iHAA4vB,eAAe,GAAE,cAAe;8HAA+V,eAAe,GAAE,cAAe;mHAA4W,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,QAAQ,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;6JAAgxB,eAAe;gGAAigC,cAAc;qHAA8mC,cAAc;kIAAk9B,cAAc;;;;;;;;;;;;;;;;;;;;;;;;gTAAkpD,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,OAAO,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kEAA1pd;gBAAC,MAAM;oBAAE,OAAO,QAAS,CAAC;oBAAA,OAAO,YAAa,CAAA;iBAAE,CAAA;aAAE;uCAA6P,CAAC,CAAC,GAAG,SAAI,KAAI,uBAAwB,CAAC,EAAE;gCAAgT,IAAI,YAAW,mBAAoB;oCAAunC,IAAI,YAAW,mBAAoB;;gBAAyhB,SAAS;gBAA0C,SAAS,EAAvC,uBAAuB;gBAA0E,QAAQ,EAAtD,eAAc,uBAAwB,CAAC;gBAA4F,UAAU,EAA3E,CAAC,YAAY,EAAC,QAAQ,uBAAwB,YAAY;;oDAAw1B,KAAK,OAAO,aAAa,EAAE,SAAS,CAAC;0BAAs7orC,KAAM;mDAAztjrC,KAAM;;+CAA/mE,KAAK,OAAO,aAAa,EAAE,SAAS,CAAC;;;;;;;sCAAm8B,eAAc,uBAAwB,CAAC;;;;;;;;;gCAA+gD,KAAK,WAAW,QAAQ,WAAW,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC;;;;;;2DAA/gQ,KAAK,WAAW,CAAC,YAA2B,KAAK,QAAQ,CAAC,SAAwB,QAAQ;8EAAovB,WAAW;;;;;;;;;;6CAA+pL,OAAO;;;;;;;;;;;;;;;;;wEAApzG,WAAW,GAAE,QAAS,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;gHAApB,MAAM;;;;;;;;;;;;;;;;;;;;;kHAAN,MAAM;gHAAN,MAAM;;;;;;;;;;;kBA3CpjH,QAAQ,CACxB,MAAc,EACd,OAAe,sBAAsB,EAAE,gBAAgB,CAChD;;;IAI2D,OAAO,EAA/D;QAAE,MAAM,EAAE,YAAY,CAAC;QAAC,MAAM,EAAE,YAAY,CAAA;KAAE;kBAmBxD;AAEM;;;;;;;;;;;;;;;;;EAcL"}
+{"version":3,"file":"zcf-proposal.d.ts","sourceRoot":"","sources":["zcf-proposal.js"],"names":[],"mappings":"AAgBO;;;;;;;;;;;;;;;;;wCAyBD,eACG;mIAQ4/E,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;2DAAwX,eAAe;8LAA8J,eAAe;yFAA4hE,cAAc,kBAAoB;gBAAC,QAAS,CAAC,EAAC,uBAAwB,CAAA;aAAE;oMAAskF,eAAe;gNAA2gB,YAAY,YAAY,CAAC,GAAE,cAAoB,GAAE;gBAAE,SAAgB;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAO;yLAAkhC,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;mLAA+2B,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,eAAe,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;gJAA0wC,eAAe,GAAE,cAAe;gGAA6hB,eAAe,wCAAoB;gBAAC,OAAa,CAAC,EAAC;oBAAE,kBAA0B,CAAC,EAAC;wBAAE,QAAkB,CAAC,EAAC,QAAS,CAAC;qBAAS,CAAC;iBAAO,CAAC;aAAK;0DAA8xC,eAAe;iIAAjgb,eAAe,KAAK;8CAAitE,KAAK,mBAAmB,EAAC,SAAU,CAAC;wFAAwb,cAAc,GAAE;gBAAE,MAAM,OAAQ,cAAc,EAAE,IAAI,CAAA;aAAE;qMAA68G,cAAc,GAAE;gBAAE,MAAW,OAAQ,cAAc,EAAE,IAAI,CAAC;gBAAA,SAAc;oBAAE,+BAAsC,OAAQ,wDAAwD,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC,+BAA+B,CAAC,CAAC;iBAAO,CAAC;aAAK;8NAAigD,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,MAAM,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;8FAAo4B,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,iBAAiB,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;iHAA4vB,eAAe,GAAE,cAAe;8HAA+V,eAAe,GAAE,cAAe;mHAA4W,eAAe,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,QAAQ,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;6JAAgxB,eAAe;gGAAigC,cAAc;qHAA8mC,cAAc;kIAAk9B,cAAc;;;;;;;;;;;;;;;;;;;;;;;;gTAAkpD,cAAc,GAAE;gBAAE,SAAc;oBAAE,iBAAiB,KAAM,UAAU,OAAO,CAAC,CAAC,CAAA;iBAAE,CAAC;aAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kEAAtvd;gBAAC,MAAM;oBAAE,OAAO,QAAS,CAAC;oBAAA,OAAO,YAAa,CAAA;iBAAE,CAAA;aAAE;uCAA6P,CAAC,CAAC,GAAG,SAAI,KAAI,uBAAwB,CAAC,EAAE;gCAAgT,IAAI,YAAW,mBAAoB;oCAAunC,IAAI,YAAW,mBAAoB;;gBAAyhB,SAAS;gBAA0C,SAAS,EAAvC,uBAAuB;gBAA0E,QAAQ,EAAtD,eAAc,uBAAwB,CAAC;gBAA4F,UAAU,EAA3E,CAAC,YAAY,EAAC,QAAQ,uBAAwB,YAAY;;oDAAw1B,KAAK,OAAO,aAAa,EAAE,SAAS,CAAC;0BAAs7orC,KAAM;mDAAztjrC,KAAM;;+CAA/mE,KAAK,OAAO,aAAa,EAAE,SAAS,CAAC;;;;;;;sCAAm8B,eAAc,uBAAwB,CAAC;;;;;;;;;gCAA+gD,KAAK,WAAW,QAAQ,WAAW,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC;;;;;;2DAA/gQ,KAAK,WAAW,CAAC,YAA2B,KAAK,QAAQ,CAAC,SAAwB,QAAQ;8EAAovB,WAAW;;;;;;;;;;6CAA+uL,OAAO;;;;;;;;;;;;;;;;;wEAA54G,WAAW,GAAE,QAAS,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;gHAApB,MAAM;;;;;;;;;;;;;;;;;;;;;kHAAN,MAAM;gHAAN,MAAM;;;;;;;;;;;kBA3C5iH,QAAQ,CACxB,MAAc,EACd,OAAe,sBAAsB,EAAE,gBAAgB,CAChD;;;IAI2D,OAAO,EAA/D;QAAE,MAAM,EAAE,YAAY,CAAC;QAAC,MAAM,EAAE,YAAY,CAAA;KAAE;kBAmBxD;AAEM;;;;;;;;;;;;;;;;;EAcL"}

package/src/repl.d.ts

@@ -3,17 +3,17 @@ export function getReplHandler(replObjects: any, send: any): {
         onOpen(_obj: any, meta: any): void;
         onClose(_obj: any, meta: any): void;
         onMessage(obj: any, meta: any): any;
-    } & import("@endo/eventual-send").RemotableBrand<{}, {
+    } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
         onOpen(_obj: any, meta: any): void;
         onClose(_obj: any, meta: any): void;
         onMessage(obj: any, meta: any): any;
     }>;
-} & import("@endo/eventual-send").RemotableBrand<{}, {
+} & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
     getCommandHandler(): {
         onOpen(_obj: any, meta: any): void;
         onClose(_obj: any, meta: any): void;
         onMessage(obj: any, meta: any): any;
-    } & import("@endo/eventual-send").RemotableBrand<{}, {
+    } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
         onOpen(_obj: any, meta: any): void;
         onClose(_obj: any, meta: any): void;
         onMessage(obj: any, meta: any): any;

package/src/types.d.ts

@@ -1,3 +1,5 @@
+import type { Guarded } from '@endo/exo';
+
 export type Board = ReturnType<
   ReturnType<typeof import('./lib-board.js').prepareBoardKit>
 >['board'];
@@ -9,7 +11,7 @@ export type Board = ReturnType<
  * allow passing a remote iterable, there would be an inordinate number of round
  * trips for the contents of even the simplest nameHub.
  */
-export type NameHub = {
+export type NameHub<Value = any> = {
   has: (key: string) => boolean;
   /**
    * Look up a path of keys starting from the current NameHub. Wait on any
@@ -17,11 +19,11 @@ export type NameHub = {
    */
   lookup: (...path: string[]) => Promise<any>;
   /** get all the entries available in the current NameHub */
-  entries: (includeReserved?: boolean) => [string, unknown][];
+  entries: (includeReserved?: boolean) => [string, Value][];
   /** get all names available in the current NameHub */
   keys: () => string[];
   /** get all values available in the current NameHub */
-  values: () => unknown[];
+  values: () => Value[];
 };
 
 /** write access to a node in a name hierarchy */
@@ -39,13 +41,13 @@ export type NameAdmin = {
    */
   default: <T>(key: string, newValue: T, newAdmin?: NameAdmin) => T;
   /** Update only if already initialized. Reject if not. */
-  set: (key: string, newValue: unknown, newAdmin?: NameAdmin) => void;
+  set: (key: string, newValue: V, newAdmin?: NameAdmin) => void;
   /**
    * Fulfill an outstanding reserved promise (if any) to the newValue and set
    * the key to the newValue. If newAdmin is provided, set that to return via
    * lookupAdmin.
    */
-  update: (key: string, newValue: unknown, newAdmin?: NameAdmin) => void;
+  update: (key: string, newValue: V, newAdmin?: NameAdmin) => void;
   /**
    * Look up the `newAdmin` from the path of keys starting from the current
    * NameAdmin. Wait on any reserved promises.
@@ -59,7 +61,7 @@ export type NameAdmin = {
 };
 
 export type NameHubUpdateHandler = {
-  write: (entries: [string, unknown][]) => void;
+  write: (entries: [string, V][]) => void;
 };
 
 /** a node in a name hierarchy */
@@ -91,12 +93,12 @@ export type BridgeHandler = {
 };
 
 /** An object which handles messages for a specific bridge */
-export type ScopedBridgeManager = {
+export type ScopedBridgeManager = Guarded<{
   toBridge: (obj: any) => Promise<any>;
   fromBridge: (obj: any) => PromiseVow<void>;
   initHandler: (handler: ERef<BridgeHandler>) => void;
   setHandler: (handler: ERef<BridgeHandler>) => void;
-};
+}>;
 
 /** The object to manage this bridge */
 export type BridgeManager = {

package/src/vat-agoricNames.d.ts

@@ -1,5 +1,5 @@
 export function buildRootObject(_vatPowers: unknown, _vatParameters: unknown, baggage: import("@agoric/vat-data").Baggage): {
-    getNameHub: () => import("./types.js").NameHub;
+    getNameHub: () => import("./types.js").NameHub<any>;
     getNameHubKit: () => import("./types.js").NameHubKit;
     publishNameHubs: (nameStorage: ERef<StorageNode>, vatBoard: ERef<BoardVat>, kinds: string[]) => Promise<void>;
     /**
@@ -9,8 +9,8 @@ export function buildRootObject(_vatPowers: unknown, _vatParameters: unknown, ba
      * @param {DisplayInfo} displayInfo
      */
     provideInertBrand: (keyword: string, displayInfo: DisplayInfo) => any;
-} & import("@endo/eventual-send").RemotableBrand<{}, {
-    getNameHub: () => import("./types.js").NameHub;
+} & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+    getNameHub: () => import("./types.js").NameHub<any>;
     getNameHubKit: () => import("./types.js").NameHubKit;
     publishNameHubs: (nameStorage: ERef<StorageNode>, vatBoard: ERef<BoardVat>, kinds: string[]) => Promise<void>;
     /**