@agoric/ertp 0.16.3-dev-d6fae11.0.d6fae11 → 0.16.3-dev-64cee5a.0.64cee5a

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/ertp",
-  "version": "0.16.3-dev-d6fae11.0.d6fae11",
+  "version": "0.16.3-dev-64cee5a.0.64cee5a",
   "description": "Electronic Rights Transfer Protocol (ERTP). A smart contract framework for exchanging electronic rights",
   "type": "module",
   "main": "src/index.js",
@@ -39,10 +39,10 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/notifier": "0.6.3-dev-d6fae11.0.d6fae11",
-    "@agoric/store": "0.9.3-dev-d6fae11.0.d6fae11",
-    "@agoric/vat-data": "0.5.3-dev-d6fae11.0.d6fae11",
-    "@agoric/zone": "0.2.3-dev-d6fae11.0.d6fae11",
+    "@agoric/notifier": "0.6.3-dev-64cee5a.0.64cee5a",
+    "@agoric/store": "0.9.3-dev-64cee5a.0.64cee5a",
+    "@agoric/vat-data": "0.5.3-dev-64cee5a.0.64cee5a",
+    "@agoric/zone": "0.2.3-dev-64cee5a.0.64cee5a",
     "@endo/errors": "^1.2.13",
     "@endo/eventual-send": "^1.3.4",
     "@endo/far": "^1.1.14",
@@ -52,7 +52,7 @@
     "@endo/promise-kit": "^1.1.13"
   },
   "devDependencies": {
-    "@agoric/swingset-vat": "0.32.3-dev-d6fae11.0.d6fae11",
+    "@agoric/swingset-vat": "0.32.3-dev-64cee5a.0.64cee5a",
     "@endo/bundle-source": "^4.1.2",
     "@fast-check/ava": "^1.1.5",
     "ava": "^5.3.0",
@@ -79,5 +79,5 @@
   "typeCoverage": {
     "atLeast": 92.99
   },
-  "gitHead": "d6fae11a6db28b1122089468183eccd4d47b83c9"
+  "gitHead": "64cee5ae5d1a3488a30ce042d6f3f561ac2a6e82"
 }

package/src/mathHelpers/copyBagMathHelpers.d.ts

@@ -1,4 +1,5 @@
-/** @type {MathHelpers<import('@endo/patterns').CopyBag>} */
-export const copyBagMathHelpers: MathHelpers<import("@endo/patterns").CopyBag>;
+/** @type {MathHelpers<CopyBag>} */
+export const copyBagMathHelpers: MathHelpers<CopyBag>;
+import type { CopyBag } from '@endo/patterns';
 import type { MathHelpers } from '../types.js';
 //# sourceMappingURL=copyBagMathHelpers.d.ts.map

package/src/mathHelpers/copyBagMathHelpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"copyBagMathHelpers.d.ts","sourceRoot":"","sources":["copyBagMathHelpers.js"],"names":[],"mappings":"AAkBA,4DAA4D;AAC5D,iCADW,YAAY,OAAO,gBAAgB,EAAE,OAAO,CAAC,CAYrD;iCAjB4B,aAAa"}
+{"version":3,"file":"copyBagMathHelpers.d.ts","sourceRoot":"","sources":["copyBagMathHelpers.js"],"names":[],"mappings":"AAqBA,mCAAmC;AACnC,iCADW,YAAY,OAAO,CAAC,CAY5B;6BAlBuB,gBAAgB;iCADZ,aAAa"}

package/src/mathHelpers/copyBagMathHelpers.js

@@ -11,12 +11,15 @@ import {
   bagDisjointSubtract,
 } from '@agoric/store';
 
-/** @import {MathHelpers} from '../types.js' */
+/**
+ * @import {MathHelpers} from '../types.js'
+ * @import {CopyBag} from '@endo/patterns';
+ */
 
-/** @type {import('@endo/patterns').CopyBag} */
+/** @type {CopyBag} */
 const empty = makeCopyBag([]);
 
-/** @type {MathHelpers<import('@endo/patterns').CopyBag>} */
+/** @type {MathHelpers<CopyBag>} */
 export const copyBagMathHelpers = harden({
   doCoerce: bag => {
     mustMatch(bag, M.bag(), 'bag of amount');

package/src/payment.d.ts

@@ -1,5 +1,7 @@
-export function preparePaymentKind<K extends AssetKind>(issuerZone: import("@agoric/zone").Zone, name: string, brand: Brand<K>, PaymentI: import("@endo/patterns").InterfaceGuard<any>): () => Payment<K, any>;
+export function preparePaymentKind<K extends AssetKind>(issuerZone: Zone, name: string, brand: Brand<K>, PaymentI: InterfaceGuard<any>): () => Payment<K, any>;
 import type { AssetKind } from './types.js';
+import type { Zone } from '@agoric/zone';
 import type { Brand } from './types.js';
+import type { InterfaceGuard } from '@endo/patterns';
 import type { Payment } from './types.js';
 //# sourceMappingURL=payment.d.ts.map

package/src/payment.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"payment.d.ts","sourceRoot":"","sources":["payment.js"],"names":[],"mappings":"AAeO,mCAPkB,CAAC,SAAb,SAAW,cACb,OAAO,cAAc,EAAE,IAAI,QAC3B,MAAM,SACN,MAAM,CAAC,CAAC,YACR,OAAO,gBAAgB,EAAE,cAAc,CAAC,GAAG,CAAC,GAC1C,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,CAejC;+BAxB4C,YAAY;2BAAZ,YAAY;6BAAZ,YAAY"}
+{"version":3,"file":"payment.d.ts","sourceRoot":"","sources":["payment.js"],"names":[],"mappings":"AAmBO,mCAPkB,CAAC,SAAb,SAAW,cACb,IAAI,QACJ,MAAM,SACN,MAAM,CAAC,CAAC,YACR,eAAe,GAAG,CAAC,GACjB,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,CAejC;+BA3B2C,YAAY;0BACjC,cAAc;2BADO,YAAY;oCAEvB,gBAAgB;6BAFL,YAAY"}

package/src/payment.js

@@ -2,15 +2,19 @@
 
 import { initEmpty } from '@agoric/store';
 
-/** @import {AssetKind, Brand, Payment} from './types.js' */
+/**
+ * @import {AssetKind, Brand, Payment} from './types.js'
+ * @import {Zone} from '@agoric/zone';
+ * @import {InterfaceGuard} from '@endo/patterns';
+ */
 
 // TODO Type InterfaceGuard better than InterfaceGuard<any>
 /**
  * @template {AssetKind} K
- * @param {import('@agoric/zone').Zone} issuerZone
+ * @param {Zone} issuerZone
  * @param {string} name
  * @param {Brand<K>} brand
- * @param {import('@endo/patterns').InterfaceGuard<any>} PaymentI
+ * @param {InterfaceGuard<any>} PaymentI
  * @returns {() => Payment<K, any>}
  */
 export const preparePaymentKind = (issuerZone, name, brand, PaymentI) => {

package/src/purse.d.ts

@@ -1,6 +1,6 @@
-export function preparePurseKind(issuerZone: import("@agoric/zone").Zone, name: string, assetKind: AssetKind, brand: Brand, PurseIKit: {
-    purse: import("@endo/patterns").InterfaceGuard<any>;
-    depositFacet: import("@endo/patterns").InterfaceGuard<any>;
+export function preparePurseKind(issuerZone: Zone, name: string, assetKind: AssetKind, brand: Brand, PurseIKit: {
+    purse: InterfaceGuard<any>;
+    depositFacet: InterfaceGuard<any>;
 }, purseMethods: {
     depositInternal: any;
     withdrawInternal: any;
@@ -16,8 +16,10 @@ export function preparePurseKind(issuerZone: import("@agoric/zone").Zone, name:
     getRecoverySet(): import("@endo/patterns").CopySet<any>;
     recoverAll(): import("./types.js").NatAmount | import("./types.js").CopySetAmount<import("@endo/patterns").Key> | import("./types.js").SetAmount<import("@endo/patterns").Key> | import("./types.js").CopyBagAmount<import("@endo/patterns").Key>;
 }>;
+import type { Zone } from '@agoric/zone';
 import type { AssetKind } from './types.js';
 import type { Brand } from './types.js';
+import type { InterfaceGuard } from '@endo/patterns';
 import type { RecoverySetsOption } from './types.js';
 import type { Payment } from './types.js';
 //# sourceMappingURL=purse.d.ts.map

package/src/purse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"purse.d.ts","sourceRoot":"","sources":["purse.js"],"names":[],"mappings":"AA2BO,6CAfI,OAAO,cAAc,EAAE,IAAI,QAC3B,MAAM,aACN,SAAS,SACT,KAAK,aACL;IACN,KAAK,EAAE,OAAO,gBAAgB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC;IACpD,YAAY,EAAE,OAAO,gBAAgB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC;CAC5D,gBACO;IACN,eAAe,EAAE,GAAG,CAAC;IACrB,gBAAgB,EAAE,GAAG,CAAC;CACvB,qBACO,kBAAkB,uBAClB,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;;;;;;;;;;;GA4JlD;+BA/KgE,YAAY;2BAAZ,YAAY;wCAAZ,YAAY;6BAAZ,YAAY"}
+{"version":3,"file":"purse.d.ts","sourceRoot":"","sources":["purse.js"],"names":[],"mappings":"AA+BO,6CAfI,IAAI,QACJ,MAAM,aACN,SAAS,SACT,KAAK,aACL;IACN,KAAK,EAAE,eAAe,GAAG,CAAC,CAAC;IAC3B,YAAY,EAAE,eAAe,GAAG,CAAC,CAAC;CACnC,gBACO;IACN,eAAe,EAAE,GAAG,CAAC;IACrB,gBAAgB,EAAE,GAAG,CAAC;CACvB,qBACO,kBAAkB,uBAClB,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;;;;;;;;;;;GA4JlD;0BAjLsB,cAAc;+BAD2B,YAAY;2BAAZ,YAAY;oCAE3C,gBAAgB;wCAFe,YAAY;6BAAZ,YAAY"}

package/src/purse.js

@@ -4,19 +4,23 @@ import { AmountMath } from './amountMath.js';
 import { makeTransientNotifierKit } from './transientNotifier.js';
 import { makeAmountStore } from './amountStore.js';
 
-/** @import {AssetKind, RecoverySetsOption, Brand, Payment} from './types.js' */
+/**
+ * @import {AssetKind, RecoverySetsOption, Brand, Payment} from './types.js'
+ * @import {Zone} from '@agoric/zone';
+ * @import {InterfaceGuard} from '@endo/patterns';
+ */
 
 const EMPTY_COPY_SET = makeCopySet([]);
 
 // TODO Type InterfaceGuard better than InterfaceGuard<any>
 /**
- * @param {import('@agoric/zone').Zone} issuerZone
+ * @param {Zone} issuerZone
  * @param {string} name
  * @param {AssetKind} assetKind
  * @param {Brand} brand
  * @param {{
- *   purse: import('@endo/patterns').InterfaceGuard<any>;
- *   depositFacet: import('@endo/patterns').InterfaceGuard<any>;
+ *   purse: InterfaceGuard<any>;
+ *   depositFacet: InterfaceGuard<any>;
  * }} PurseIKit
  * @param {{
  *   depositInternal: any;

package/src/typeGuards.d.ts

@@ -2,6 +2,7 @@
  * @import {AmountValue, Ratio} from './types.js'
  * @import {TypedPattern} from '@agoric/internal'
  * @import {CopyBag, CopySet, Pattern} from '@endo/patterns';
+ * @import {NatValue} from './types.js';
  */
 export const BrandShape: import("@endo/patterns").Matcher;
 export const IssuerShape: import("@endo/patterns").Matcher;
@@ -28,7 +29,7 @@ export namespace AmountShape {
 export const AmountPatternShape: import("@endo/patterns").Matcher;
 /** @type {TypedPattern<Ratio>} */
 export const RatioShape: TypedPattern<Ratio>;
-export function isNatValue(value: AmountValue): value is import("./types.js").NatValue;
+export function isNatValue(value: AmountValue): value is NatValue;
 export function isCopySetValue(value: AmountValue): value is CopySet;
 export function isSetValue(value: AmountValue): value is SetValue;
 export function isCopyBagValue(value: AmountValue): value is CopyBag;
@@ -86,6 +87,7 @@ declare const AmountValueShape: import("@endo/patterns").Matcher;
 import type { Ratio } from './types.js';
 import type { TypedPattern } from '@agoric/internal';
 import type { AmountValue } from './types.js';
+import type { NatValue } from './types.js';
 import type { CopySet } from '@endo/patterns';
 import type { CopyBag } from '@endo/patterns';
 import type { Pattern } from '@endo/patterns';

package/src/typeGuards.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAGA;;;;GAIG;AAEH,0DAA+C;AAC/C,2DAAiD;AACjD,4DAAmD;AACnD,0DAA+C;AAC/C,iEAA6D;AAC7D,6DAAqD;AACrD,yDAA6C;;;;;AAkE7C;;;;;;;;;;GAUG;AACH,kEAA8C;AAE9C,kCAAkC;AAClC,yBADW,aAAa,KAAK,CAAC,CACiD;AASxE,kCAHI,WAAW,GACT,KAAK,IAAI,OAAO,YAAY,EAAE,QAAQ,CAEa;AASzD,sCAHI,WAAW,GACT,KAAK,IAAI,OAAO,CAE2C;AAYjE,kCAHI,WAAW,GACT,KAAK,IAAI,QAAQ,CAEkC;AASzD,sCAHI,WAAW,GACT,KAAK,IAAI,OAAO,CAE2C;AAIxE,0CAA2C,GAAG,CAAC;AAE/C,8DAAuE;AAEvE,gEAaE;;;;;;;;AAaF;;;;;GAKG;AAOI,kDAJI,OAAO,mBACP,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqEjB;AAhLD,iEAKE;2BAxEmC,YAAY;kCAClB,kBAAkB;iCADZ,YAAY;6BAEL,gBAAgB;6BAAhB,gBAAgB;6BAAhB,gBAAgB"}
+{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAGA;;;;;GAKG;AAEH,0DAA+C;AAC/C,2DAAiD;AACjD,4DAAmD;AACnD,0DAA+C;AAC/C,iEAA6D;AAC7D,6DAAqD;AACrD,yDAA6C;;;;;AAkE7C;;;;;;;;;;GAUG;AACH,kEAA8C;AAE9C,kCAAkC;AAClC,yBADW,aAAa,KAAK,CAAC,CACiD;AASxE,kCAHI,WAAW,GACT,KAAK,IAAI,QAAQ,CAEkC;AASzD,sCAHI,WAAW,GACT,KAAK,IAAI,OAAO,CAE2C;AAYjE,kCAHI,WAAW,GACT,KAAK,IAAI,QAAQ,CAEkC;AASzD,sCAHI,WAAW,GACT,KAAK,IAAI,OAAO,CAE2C;AAIxE,0CAA2C,GAAG,CAAC;AAE/C,8DAAuE;AAEvE,gEAaE;;;;;;;;AAaF;;;;;GAKG;AAOI,kDAJI,OAAO,mBACP,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqEjB;AAhLD,iEAKE;2BAzEmC,YAAY;kCAClB,kBAAkB;iCADZ,YAAY;8BAGtB,YAAY;6BADK,gBAAgB;6BAAhB,gBAAgB;6BAAhB,gBAAgB"}

package/src/typeGuards.js

@@ -5,6 +5,7 @@ import { M, matches, getInterfaceGuardPayload } from '@endo/patterns';
  * @import {AmountValue, Ratio} from './types.js'
  * @import {TypedPattern} from '@agoric/internal'
  * @import {CopyBag, CopySet, Pattern} from '@endo/patterns';
+ * @import {NatValue} from './types.js';
  */
 
 export const BrandShape = M.remotable('Brand');
@@ -100,7 +101,7 @@ harden(RatioShape);
  * Returns true if value is a Nat bigint.
  *
  * @param {AmountValue} value
- * @returns {value is import('./types.js').NatValue}
+ * @returns {value is NatValue}
  */
 export const isNatValue = value => matches(value, NatValueShape);
 harden(isNatValue);