@kumwe/studio-testkit 0.1.0-alpha.6 → 0.1.0-alpha.8

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kumwe/studio-testkit",
-  "version": "0.1.0-alpha.6",
+  "version": "0.1.0-alpha.8",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/kumwe/studio.git",
@@ -13,11 +13,12 @@
   "sideEffects": false,
   "files": [
     "LICENSE",
+    "README.md",
     "conformance",
+    "corpus-manifest.json",
     "dist",
     "fixtures",
     "invalid",
-    "README.md",
     "vectors"
   ],
   "exports": {
@@ -26,6 +27,7 @@
       "import": "./dist/index.js"
     },
     "./conformance/*": "./conformance/*",
+    "./corpus-manifest.json": "./corpus-manifest.json",
     "./fixtures/*": "./fixtures/*",
     "./invalid/*": "./invalid/*",
     "./vectors/*": "./vectors/*"
@@ -34,8 +36,8 @@
     "build": "tsc -b"
   },
   "dependencies": {
-    "@kumwe/studio-core": "0.1.0-alpha.6",
-    "@kumwe/studio-protocol": "0.1.0-alpha.4"
+    "@kumwe/studio-core": "0.1.0-alpha.8",
+    "@kumwe/studio-protocol": "0.1.0-alpha.6"
   },
   "publishConfig": {
     "access": "public",

package/vectors/canonical/array-order.json

@@ -0,0 +1,13 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.array-order",
+  "description": "Arrays keep semantic order; only object members are sorted.",
+  "value": {
+    "items": ["c", "a", "b"]
+  },
+  "expect": {
+    "canonical": "{\"items\":[\"c\",\"a\",\"b\"]}",
+    "digest": "sha256-Skzt0qRLwO/5TqmcmghEQQEADtJ5ASbjphmWAaasB7U="
+  }
+}

package/vectors/canonical/control-characters.json

@@ -0,0 +1,13 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.control-characters",
+  "description": "Control characters without a short form are escaped as four hex digits.",
+  "value": {
+    "value": "bell\u0007 unit\u001f"
+  },
+  "expect": {
+    "canonical": "{\"value\":\"bell\\u0007 unit\\u001f\"}",
+    "digest": "sha256-V332co6E4LRxsTuTQ5OLD98jGjDBZAAmzZDCJOFGDNA="
+  }
+}

package/vectors/canonical/depth-exceeded.json

@@ -0,0 +1,21 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.depth-exceeded",
+  "description": "Nesting deeper than the declared bound is refused rather than truncated.",
+  "value": {
+    "a": {
+      "a": {
+        "a": {
+          "a": {
+            "a": 1
+          }
+        }
+      }
+    }
+  },
+  "maximumDepth": 3,
+  "expect": {
+    "rejected": "depth-exceeded"
+  }
+}

package/vectors/canonical/empty-containers.json

@@ -0,0 +1,14 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.empty-containers",
+  "description": "Empty objects and arrays serialize without padding.",
+  "value": {
+    "array": [],
+    "object": {}
+  },
+  "expect": {
+    "canonical": "{\"array\":[],\"object\":{}}",
+    "digest": "sha256-E7OK6rLhiixi3ilF25YAcggBtIPkGTb1oVTb2nJhvnA="
+  }
+}

package/vectors/canonical/forbidden-member.json

@@ -0,0 +1,14 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.forbidden-member",
+  "description": "A forbidden member name is refused rather than silently dropped.",
+  "value": {
+    "__proto__": {
+      "polluted": true
+    }
+  },
+  "expect": {
+    "rejected": "forbidden-member"
+  }
+}

package/vectors/canonical/member-order.json

@@ -0,0 +1,16 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.member-order",
+  "description": "Object members sort by Unicode code unit, not by locale or insertion order.",
+  "value": {
+    "b": 1,
+    "A": 2,
+    "a": 3,
+    "Z": 4
+  },
+  "expect": {
+    "canonical": "{\"A\":2,\"Z\":4,\"a\":3,\"b\":1}",
+    "digest": "sha256-Vn19opLXri8fGzPIdqbQbXdepLMLLlGlhBb5yr19cyk="
+  }
+}

package/vectors/canonical/negative-zero.json

@@ -0,0 +1,13 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.negative-zero",
+  "description": "Negative zero canonicalizes to zero so two equal values never differ in bytes.",
+  "value": {
+    "value": -0.0
+  },
+  "expect": {
+    "canonical": "{\"value\":0}",
+    "digest": "sha256-I9eyhr1ClGC5KiocIbavw0EQRGxQNMFzY/2jY6oKfF0="
+  }
+}

package/vectors/canonical/nested-order.json

@@ -0,0 +1,19 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.nested-order",
+  "description": "Sorting is recursive: every nested object is ordered the same way.",
+  "value": {
+    "outer": {
+      "z": 1,
+      "a": {
+        "y": 2,
+        "b": 3
+      }
+    }
+  },
+  "expect": {
+    "canonical": "{\"outer\":{\"a\":{\"b\":3,\"y\":2},\"z\":1}}",
+    "digest": "sha256-3TQ80V/GRN0uwwkENcctjI199+5MjvAWVuMxlJcDZRw="
+  }
+}

package/vectors/canonical/non-ascii.json

@@ -0,0 +1,13 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.non-ascii",
+  "description": "Non-ASCII text is emitted as UTF-8, never as escape sequences.",
+  "value": {
+    "value": "héllo — 日本語"
+  },
+  "expect": {
+    "canonical": "{\"value\":\"héllo — 日本語\"}",
+    "digest": "sha256-lrSVhIWiYBcsHDXMZ3FTt4QcB2pNvqKW8TRX2F803+Y="
+  }
+}

package/vectors/canonical/numbers.json

@@ -0,0 +1,16 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.numbers",
+  "description": "Integers and decimals use the deterministic number grammar.",
+  "value": {
+    "decimal": 1.5,
+    "integer": 42,
+    "large": 9007199254740991,
+    "negative": -7
+  },
+  "expect": {
+    "canonical": "{\"decimal\":1.5,\"integer\":42,\"large\":9007199254740991,\"negative\":-7}",
+    "digest": "sha256-HI1BWhgmbgXvatESL+t+Y1QwYSfvAT4DOaYjU2fmdbQ="
+  }
+}

package/vectors/canonical/string-escapes.json

@@ -0,0 +1,13 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.string-escapes",
+  "description": "Only the characters ECMA-404 requires are escaped, using the short forms where they exist.",
+  "value": {
+    "value": "quote\" backslash\\ newline\n tab\t"
+  },
+  "expect": {
+    "canonical": "{\"value\":\"quote\\\" backslash\\\\ newline\\n tab\\t\"}",
+    "digest": "sha256-cci0wehH9sStfAleZcirUIOhCgpJKS8jPtKs34gE+ic="
+  }
+}

package/vectors/canonical/surrogate-pair.json

@@ -0,0 +1,13 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "canonical-vector",
+  "id": "vector.canonical-vector.surrogate-pair",
+  "description": "An astral character stays one code point in the UTF-8 bytes.",
+  "value": {
+    "value": "😀"
+  },
+  "expect": {
+    "canonical": "{\"value\":\"😀\"}",
+    "digest": "sha256-L8ufbEEor6c96MSNyg/HwfpSDn3KX29eewMH1oMoIMk="
+  }
+}

package/vectors/host/artifact.dependencies.result.json

@@ -0,0 +1,35 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.artifact.dependencies",
+  "description": "Dependency inspection answers with the authorized reference list.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "dependencies",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/publish", "studio.permission/save"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.dependencies",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "requests/vector-1",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1"
+  },
+  "argument": {
+    "id": "vector.blueprint",
+    "version": "1.0.0"
+  },
+  "expect": {
+    "outcome": "result",
+    "value": "artifact-references"
+  }
+}

package/vectors/host/artifact.load.stored.json

@@ -0,0 +1,36 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.artifact.load.stored",
+  "description": "Loading a stored artifact returns it with the revision it is stored at.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "load",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/publish", "studio.permission/save"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.load",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "requests/vector-1",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1"
+  },
+  "argument": {
+    "id": "vector.blueprint",
+    "version": "1.0.0"
+  },
+  "expect": {
+    "outcome": "result",
+    "revision": "vector.blueprint-r1",
+    "value": "artifact"
+  }
+}

package/vectors/host/artifact.load.unknown.error.json

@@ -0,0 +1,37 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.artifact.load.unknown",
+  "description": "An unknown artifact identifier is refused as not-found without disclosing whether it exists.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "load",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/publish", "studio.permission/save"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.load",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "requests/vector-1",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1"
+  },
+  "argument": {
+    "id": "vector.absent",
+    "version": "1.0.0"
+  },
+  "expect": {
+    "outcome": "error",
+    "category": "not-found",
+    "retryable": false,
+    "messageMustNotContain": ["vector.absent"]
+  }
+}

package/vectors/host/artifact.publish.accepted.json

@@ -0,0 +1,37 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.artifact.publish.accepted",
+  "description": "Publishing under the current revision is accepted and advances the revision.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "publish",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/publish", "studio.permission/save"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.publish",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "requests/vector-1",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1",
+    "expectedRevision": "vector.blueprint-r1"
+  },
+  "argument": {
+    "id": "vector.blueprint",
+    "version": "1.0.0"
+  },
+  "expect": {
+    "outcome": "result",
+    "revisionAdvances": true,
+    "value": "null"
+  }
+}

package/vectors/host/artifact.publish.forbidden.error.json

@@ -0,0 +1,37 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.artifact.publish.forbidden",
+  "description": "Publication authority is distinct from save authority: holding one never grants the other.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "publish",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/save"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.publish",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "requests/vector-1",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1",
+    "expectedRevision": "vector.blueprint-r1"
+  },
+  "argument": {
+    "id": "vector.blueprint",
+    "version": "1.0.0"
+  },
+  "expect": {
+    "outcome": "error",
+    "category": "forbidden",
+    "retryable": false
+  }
+}

package/vectors/host/artifact.publish.stale.error.json

@@ -0,0 +1,38 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.artifact.publish.stale",
+  "description": "Publishing against a superseded revision conflicts and carries the safe current revision.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "publish",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/publish", "studio.permission/save"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.publish",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "requests/vector-1",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1",
+    "expectedRevision": "vector.blueprint-r0"
+  },
+  "argument": {
+    "id": "vector.blueprint",
+    "version": "1.0.0"
+  },
+  "expect": {
+    "outcome": "error",
+    "category": "conflict",
+    "retryable": false,
+    "revision": "vector.blueprint-r1"
+  }
+}

package/vectors/host/artifact.save.accepted.json

@@ -0,0 +1,38 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.artifact.save.accepted",
+  "description": "A save whose expected revision matches the stored revision is accepted and advances the revision.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "save",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/publish", "studio.permission/save"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.save",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "requests/vector-1",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1",
+    "expectedRevision": "vector.blueprint-r1",
+    "idempotencyKey": "idempotency/save-1"
+  },
+  "argument": {
+    "id": "vector.blueprint",
+    "kind": "blueprint"
+  },
+  "expect": {
+    "outcome": "result",
+    "revisionAdvances": true,
+    "value": "null"
+  }
+}

package/vectors/host/artifact.save.forbidden.error.json

@@ -0,0 +1,38 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.artifact.save.forbidden",
+  "description": "A save the acting identity is not authorized for is refused before the artifact is touched, and the refusal does not disclose whether it exists.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "save",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/publish"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.save",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "requests/vector-1",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1",
+    "expectedRevision": "vector.blueprint-r1"
+  },
+  "argument": {
+    "id": "vector.blueprint",
+    "kind": "blueprint"
+  },
+  "expect": {
+    "outcome": "error",
+    "category": "forbidden",
+    "retryable": false,
+    "messageMustNotContain": ["vector.blueprint"]
+  }
+}

package/vectors/host/artifact.save.stale.error.json

@@ -0,0 +1,39 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.artifact.save.stale",
+  "description": "A save against a superseded revision conflicts and returns the safe current revision so the client resolves without a second read.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "save",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/publish", "studio.permission/save"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.save",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "requests/vector-1",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1",
+    "expectedRevision": "vector.blueprint-r0",
+    "idempotencyKey": "idempotency/save-2"
+  },
+  "argument": {
+    "id": "vector.blueprint",
+    "kind": "blueprint"
+  },
+  "expect": {
+    "outcome": "error",
+    "category": "conflict",
+    "retryable": false,
+    "revision": "vector.blueprint-r1"
+  }
+}

package/vectors/host/artifact.unpublish.stale.error.json

@@ -0,0 +1,38 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.artifact.unpublish.stale",
+  "description": "Unpublishing is revision-checked exactly like every other mutation.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "unpublish",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/publish", "studio.permission/save"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.unpublish",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "requests/vector-1",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1",
+    "expectedRevision": "vector.blueprint-r0"
+  },
+  "argument": {
+    "id": "vector.blueprint",
+    "version": "1.0.0"
+  },
+  "expect": {
+    "outcome": "error",
+    "category": "conflict",
+    "retryable": false,
+    "revision": "vector.blueprint-r1"
+  }
+}

package/vectors/host/envelope.malformed-context.error.json

@@ -0,0 +1,36 @@
+{
+  "contractVersion": "0.1-draft",
+  "kind": "host-vector",
+  "id": "vector.host-vector.envelope.malformed-context",
+  "description": "A structurally invalid request envelope is refused as invalid-request rather than partially honoured.",
+  "profile": "studio.profile/host-baseline",
+  "port": "artifact",
+  "operation": "load",
+  "given": {
+    "artifacts": [
+      {
+        "id": "vector.blueprint",
+        "kind": "blueprint",
+        "revision": "vector.blueprint-r1"
+      }
+    ],
+    "permissions": ["studio.permission/publish", "studio.permission/save"],
+    "sessionGeneration": "session-r1"
+  },
+  "context": {
+    "operationId": "studio.operation/artifact.load",
+    "protocolVersion": "0.1.0-draft.2",
+    "requestId": "",
+    "resourceContextKey": "contexts/vector",
+    "sessionGeneration": "session-r1"
+  },
+  "argument": {
+    "id": "vector.blueprint",
+    "version": "1.0.0"
+  },
+  "expect": {
+    "outcome": "error",
+    "category": "invalid-request",
+    "retryable": false
+  }
+}