@lapxo/bound 0.1.9 → 0.2.1

package/vectors/native/reference-export.vector.json

@@ -0,0 +1,78 @@
+{
+  "scope": "conformance/reference-export-native",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "native-export-native-reference-export",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "native reference export from a real admitted place native-reference-export",
+        "test/reference-export.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/reference-export.test.ts",
+        "test/support/acting-root.ts",
+        "samples/reference-export/yes.json",
+        "samples/reference-export/no.json",
+        "docs/contracts/refusals.bound",
+        "docs/contracts/standing.bound",
+        "assets/wasm/guest.js",
+        "test/support/reference-root.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "EXPORT real-admission \u00b7 contracts-bound \u00b7 signatures-verified \u00b7 REQUIRED \u00b7 no commit"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "REFUSE altered-carrier \u00b7 blob integrity"
+        }
+      ]
+    },
+    {
+      "name": "native-export-editorial-delivery",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "native reference export from a real admitted place editorial-delivery",
+        "test/reference-export.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/reference-export.test.ts",
+        "test/support/acting-root.ts",
+        "samples/reference-export/yes.json",
+        "samples/reference-export/no.json",
+        "docs/contracts/refusals.bound",
+        "docs/contracts/standing.bound",
+        "assets/wasm/guest.js",
+        "test/support/reference-root.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "EXPORT real-admission \u00b7 contracts-bound \u00b7 signatures-verified \u00b7 REQUIRED \u00b7 no commit"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "REFUSE altered-carrier \u00b7 blob integrity"
+        }
+      ]
+    }
+  ]
+}

package/vectors/native/refusals.vector.json

@@ -0,0 +1,95 @@
+{
+  "scope": "conformance/refusals",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "refusals-native-quartet",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "test/refusal-catalog.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "samples/refusals/yes.json",
+        "samples/refusals/no.json",
+        "docs/contracts/refusals.bound",
+        "test/refusal-catalog.test.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "REFUSALS lines \u00b7 unique codes \u00b7 exact metadata \u00b7 duplicate refused"
+        }
+      ]
+    },
+    {
+      "name": "refusals-native-native-reference-export",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "native reference export from a real admitted place native-reference-export",
+        "test/reference-export.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/reference-export.test.ts",
+        "test/support/acting-root.ts",
+        "docs/contracts/refusals.bound",
+        "docs/contracts/standing.bound",
+        "samples/reference-export/yes.json",
+        "samples/reference-export/no.json",
+        "assets/wasm/guest.js",
+        "test/support/reference-root.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "REFUSALS native-reference-export \u00b7 native usage budget context history query fallback \u00b7 named"
+        }
+      ]
+    },
+    {
+      "name": "refusals-native-editorial-delivery",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "native reference export from a real admitted place editorial-delivery",
+        "test/reference-export.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/reference-export.test.ts",
+        "test/support/acting-root.ts",
+        "docs/contracts/refusals.bound",
+        "docs/contracts/standing.bound",
+        "samples/reference-export/yes.json",
+        "samples/reference-export/no.json",
+        "assets/wasm/guest.js",
+        "test/support/reference-root.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "REFUSALS editorial-delivery \u00b7 native usage budget context history query fallback \u00b7 named"
+        }
+      ]
+    }
+  ]
+}

package/vectors/native/standing.vector.json

@@ -0,0 +1,116 @@
+{
+  "scope": "conformance/standing",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "standing-observations-journal",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "public standing includes attest evidence in observations via journal",
+        "test/standing-result-cli.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "samples/standing/yes.json",
+        "samples/standing/no.json",
+        "docs/contracts/standing.bound",
+        "test/standing-result-cli.test.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "STANDING observations journal · all classes · collisions retained · exact withdrawals · replay identical · forged excluded"
+        }
+      ]
+    },
+    {
+      "name": "standing-observations-act",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "public standing includes attest evidence in observations via act",
+        "test/standing-result-cli.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "samples/standing/yes.json",
+        "samples/standing/no.json",
+        "docs/contracts/standing.bound",
+        "test/standing-result-cli.test.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "STANDING observations act · all classes · collisions retained · exact withdrawals · replay identical · forged excluded"
+        }
+      ]
+    },
+    {
+      "name": "standing-inventory-journal",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "public standing includes attest evidence in inventory via journal",
+        "test/standing-result-cli.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "samples/standing/yes.json",
+        "samples/standing/no.json",
+        "docs/contracts/standing.bound",
+        "test/standing-result-cli.test.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "STANDING inventory journal · all classes · collisions retained · exact withdrawals · replay identical · forged excluded"
+        }
+      ]
+    },
+    {
+      "name": "standing-inventory-act",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "public standing includes attest evidence in inventory via act",
+        "test/standing-result-cli.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "samples/standing/yes.json",
+        "samples/standing/no.json",
+        "docs/contracts/standing.bound",
+        "test/standing-result-cli.test.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "STANDING inventory act · all classes · collisions retained · exact withdrawals · replay identical · forged excluded"
+        }
+      ]
+    }
+  ]
+}