@agoric/swingset-liveslots 0.10.3-ymax-v0.2-alpha-dev-8e37faa.0 → 0.11.0-u22.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/swingset-liveslots",
-  "version": "0.10.3-ymax-v0.2-alpha-dev-8e37faa.0+8e37faa",
+  "version": "0.11.0-u22.1",
   "description": "SwingSet ocap support layer",
   "type": "module",
   "main": "src/index.js",
@@ -19,22 +19,22 @@
     "postpack": "git clean -f ':!src/types-index.d.ts' '*.d.ts*' '*.tsbuildinfo'"
   },
   "dependencies": {
-    "@agoric/internal": "workspace:*",
-    "@agoric/store": "workspace:*",
-    "@endo/env-options": "^1.1.8",
-    "@endo/errors": "^1.2.10",
-    "@endo/eventual-send": "^1.3.1",
-    "@endo/exo": "^1.5.9",
-    "@endo/far": "^1.1.11",
-    "@endo/init": "^1.1.9",
-    "@endo/marshal": "^1.6.4",
-    "@endo/nat": "^5.1.0",
-    "@endo/pass-style": "^1.5.0",
-    "@endo/patterns": "^1.5.0",
-    "@endo/promise-kit": "^1.1.10"
+    "@agoric/internal": "0.4.0-u22.1",
+    "@agoric/store": "0.10.0-u22.1",
+    "@endo/env-options": "^1.1.11",
+    "@endo/errors": "^1.2.13",
+    "@endo/eventual-send": "^1.3.4",
+    "@endo/exo": "^1.5.12",
+    "@endo/far": "^1.1.14",
+    "@endo/init": "^1.1.12",
+    "@endo/marshal": "^1.8.0",
+    "@endo/nat": "^5.1.3",
+    "@endo/pass-style": "^1.6.3",
+    "@endo/patterns": "^1.7.0",
+    "@endo/promise-kit": "^1.1.13"
   },
   "devDependencies": {
-    "@agoric/kmarshal": "workspace:*",
+    "@agoric/kmarshal": "0.2.0-u22.1",
     "ava": "^5.3.0"
   },
   "files": [
@@ -66,7 +66,7 @@
     "access": "public"
   },
   "typeCoverage": {
-    "atLeast": 75.21
+    "atLeast": 75.22
   },
-  "gitHead": "8e37faaf5265f55433fc80e67c8785a66480c7f4"
+  "gitHead": "83a42d0f343b01448a918631dce159b5bdb69b7e"
 }

package/src/vatstore-usage.md

@@ -103,12 +103,13 @@ The KindHandle is a durable virtual object of a special internal Kind. This is t
 
 # Kind Metadata
 
-For each virtual object kind that is defined, we store a metadata record for purposes of scanning directly through the defined kinds when a vat is stopped or upgraded. For durable kinds this record is stored in `vom.dkind.${kindID}`; for non-durable kinds it is stored in `vom.vkind.${kindID}`. Currently this metadata takes the form of a JSON-serialized record with the following properties:
+For each virtual object kind that is defined, we store a metadata record for purposes of scanning directly through the defined kinds when a vat is stopped or upgraded. For durable kinds this record is stored in `vom.dkind.${kindID}.descriptor`; for non-durable kinds it is stored in `vom.vkind.${kindID}.descriptor`. Currently this metadata takes the form of a JSON-serialized record with the following properties:
 * `kindID`, the kind ID as a numeric string (redundantly with the storage key)
 * `tag`, the tag string as provided in the `defineKind` or `makeKindHandle` call
 * `nextInstanceID`, an integer that is present only for durable kinds. It ensures that all versions share a single sequence of unique instance IDs. `nextInstanceID` is added to the metadata record upon allocation of the first instance of the kind and updated after each subsequent allocation.
 * `unfaceted`, a property with boolean value `true` that is present only for single-facet durable kinds.
 * `facets`, an array that is present only for multi-facet durable kinds. Its elements are the names of the kind's facets, in the same order as the assignment of facet indices within the cohort record.
+* `stateShapeCapData`, a property with a `{ body, slots }` CapData record that decodes into `undefined`, or else into a CopyRecord [Pattern](https://www.npmjs.com/package/@endo/patterns) for constraining instance `state` records.
 
 `unfaceted` and `facets` are required so that kind definitions in upgraded versions of the containing vat are maintained in a backwards compatible manner over time.
 

package/test/collections.test.js

@@ -326,7 +326,7 @@ test('constrain map key shape', t => {
   t.throws(
     () => noStrings.init('foo', 'string not ok?'),
     m(
-      'invalid key type for collection "map key no strings": "foo" - Must fail negated pattern: "[match:string]"',
+      /^invalid key type for collection "map key no strings": "foo" - Must fail negated pattern: (.*)$/,
     ),
   );
   t.is(noStrings.get(47), 'number ok');
@@ -335,7 +335,14 @@ test('constrain map key shape', t => {
   t.throws(
     () => noStrings.get('foo'),
     m(
-      'invalid key type for collection "map key no strings": "foo" - Must fail negated pattern: "[match:string]"',
+      // TODO https://github.com/Agoric/agoric-sdk/issues/11605
+      // This is a golden error message test. We're currently in transition
+      // from having pattern error messages quote nested patterns using
+      // `q` to quoting them using `qp`. In order to tolerate both during
+      // this transition at reasonable cost, this golden error message
+      // pattern accepts anything in the position of the quoted nested
+      // pattern.
+      /^invalid key type for collection "map key no strings": "foo" - Must fail negated pattern: (.*)$/,
     ),
   );
 
@@ -397,7 +404,14 @@ test('constrain map value shape', t => {
   t.throws(
     () => noStrings.init('skey', 'string not ok?'),
     m(
-      'invalid value type for collection "map value no strings": "string not ok?" - Must fail negated pattern: "[match:string]"',
+      // TODO https://github.com/Agoric/agoric-sdk/issues/11605
+      // This is a golden error message test. We're currently in transition
+      // from having pattern error messages quote nested patterns using
+      // `q` to quoting them using `qp`. In order to tolerate both during
+      // this transition at reasonable cost, this golden error message
+      // pattern accepts anything in the position of the quoted nested
+      // pattern.
+      /^invalid value type for collection "map value no strings": "string not ok\?" - Must fail negated pattern: (.*)$/,
     ),
   );
   t.is(noStrings.get('nkey'), 47);
@@ -458,7 +472,14 @@ test('constrain set key shape', t => {
   t.throws(
     () => noStrings.add('foo?'),
     m(
-      'invalid key type for collection "no strings set": "foo?" - Must fail negated pattern: "[match:string]"',
+      // TODO https://github.com/Agoric/agoric-sdk/issues/11605
+      // This is a golden error message test. We're currently in transition
+      // from having pattern error messages quote nested patterns using
+      // `q` to quoting them using `qp`. In order to tolerate both during
+      // this transition at reasonable cost, this golden error message
+      // pattern accepts anything in the position of the quoted nested
+      // pattern.
+      /^invalid key type for collection "no strings set": "foo\?" - Must fail negated pattern: (.*)$/,
     ),
   );
   t.truthy(noStrings.has(47));