@lapxo/bound 0.2.4 → 0.2.6

package/vectors/native/physical-lines.vector.json

@@ -0,0 +1,105 @@
+{
+  "scope": "conformance/physical-lines",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "physical-lines/native-parameter-cases",
+      "program": "runtime",
+      "args": [
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "--test-concurrency=1",
+        "test/physical-lines-place.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/physical-lines-place.test.ts",
+        "test/setup.ts",
+        "samples/physical-lines/yes.json",
+        "samples/physical-lines/no.json",
+        "docs/contracts/physical-lines.md"
+      ],
+      "timeoutMs": 180000,
+      "maxBytes": 16777216,
+      "exit": 0,
+      "matches": []
+    },
+    {
+      "name": "physical-lines/actual-native-witness-admission",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-concurrency=1",
+        "test/physical-lines-policy-land.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/physical-lines-policy-land.test.ts",
+        "test/support/installed-consumer.mjs",
+        "test/support/native-physical-place.mjs",
+        "test/support/physical-witness-proof.mjs",
+        "samples/native/physical-line-reader.source.mjs",
+        "samples/native/physical-line-reader.mjs",
+        "samples/physical-lines/yes.json",
+        "samples/physical-lines/no.json",
+        "docs/contracts/reading-witness-admission.md",
+        "src/host/native/reading-witness-admission.ts"
+      ],
+      "timeoutMs": 180000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": []
+    },
+    {
+      "name": "physical-lines/public-refusals-and-compiled-resolution",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-concurrency=1",
+        "test/physical-lines-public-refusals.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/physical-lines-public-refusals.test.ts",
+        "test/support/installed-consumer.mjs",
+        "docs/contracts/physical-lines.md"
+      ],
+      "timeoutMs": 30000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": []
+    },
+    {
+      "name": "physical-lines/source-hook-native-evidence-regression",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-concurrency=1",
+        "test/reading-witness-hook.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/reading-witness-hook.test.ts",
+        "test/support/installed-consumer.mjs",
+        "test/support/native-physical-place.mjs",
+        "test/support/physical-witness-proof.mjs",
+        "samples/native/physical-line-reader.source.mjs",
+        "samples/native/physical-line-reader.mjs",
+        "src/host/native/reading-witness-admission.ts",
+        "src/host/physical-lines.ts",
+        "src/host/call-context.ts",
+        "docs/contracts/reading-witness-admission.md"
+      ],
+      "timeoutMs": 60000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": []
+    }
+  ]
+}

package/vectors/native/profile-composition.vector.json

@@ -0,0 +1,53 @@
+{
+  "scope": "conformance/profile-composition",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "profile-composition/native-parameter-cases",
+      "program": "runtime",
+      "args": [
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "--test-concurrency=1",
+        "test/profile-composition.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/profile-composition.test.ts",
+        "test/setup.ts",
+        "samples/profile-composition/yes.json",
+        "samples/profile-composition/no.json",
+        "docs/contracts/profile-composition.md"
+      ],
+      "timeoutMs": 180000,
+      "maxBytes": 16777216,
+      "exit": 0,
+      "matches": []
+    },
+    {
+      "name": "profile-composition/actual-native-land-and-effective-meet",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-concurrency=1",
+        "test/profile-composition-meaning.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/profile-composition-meaning.test.ts",
+        "test/support/installed-consumer.mjs",
+        "samples/profile-composition/yes.json",
+        "samples/profile-composition/no.json",
+        "docs/contracts/profile-preparation-native-meaning.md"
+      ],
+      "timeoutMs": 60000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": []
+    }
+  ]
+}

package/vectors/native/reading-identity.vector.json

@@ -0,0 +1,139 @@
+{
+  "scope": "conformance/reading-identity",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "reading-identity/counts",
+      "program": "runtime",
+      "args": [
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "--test-concurrency=1",
+        "--test-name-pattern",
+        "native public identity and quiet reuse preserve current authority: counts",
+        "test/native-quiet-grant.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/native-quiet-grant.test.ts",
+        "test/setup.ts",
+        "docs/contracts/reading-identity.md",
+        "samples/reading-identity/yes.json",
+        "samples/reading-identity/no.json"
+      ],
+      "timeoutMs": 90000,
+      "maxBytes": 67108864,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "native public identity and quiet reuse preserve current authority: counts"
+        }
+      ]
+    },
+    {
+      "name": "reading-identity/catalogue",
+      "program": "runtime",
+      "args": [
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "--test-concurrency=1",
+        "--test-name-pattern",
+        "native public identity and quiet reuse preserve current authority: catalogue",
+        "test/native-quiet-grant.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/native-quiet-grant.test.ts",
+        "test/setup.ts",
+        "docs/contracts/reading-identity.md",
+        "samples/reading-identity/yes.json",
+        "samples/reading-identity/no.json"
+      ],
+      "timeoutMs": 90000,
+      "maxBytes": 67108864,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "native public identity and quiet reuse preserve current authority: catalogue"
+        }
+      ]
+    },
+    {
+      "name": "reading-identity/native-views",
+      "program": "runtime",
+      "args": [
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "--test-concurrency=1",
+        "test/native-view-identity.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/native-view-identity.test.ts",
+        "test/support/acting-root.ts",
+        "test/setup.ts",
+        "docs/contracts/reading-identity.md",
+        "samples/reading-identity/yes.json",
+        "samples/reading-identity/no.json"
+      ],
+      "timeoutMs": 90000,
+      "maxBytes": 67108864,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "7. result names consumed identity"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "no Root lock or writes"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "unchanged native view queries preserve every persisted byte"
+        }
+      ]
+    },
+    {
+      "name": "reading-identity/rendered-leaves",
+      "program": "runtime",
+      "args": [
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "--test-concurrency=1",
+        "test/pass-receipt-order.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/pass-receipt-order.test.ts",
+        "test/setup.ts",
+        "docs/contracts/reading-identity.md"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "completed calibration renders seal native file receipts"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "completed inventory renders seal native file receipts"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "materialized delivery preserves required-output refusals"
+        }
+      ]
+    }
+  ]
+}

package/vectors/native/refusals.vector.json

@@ -90,6 +90,144 @@
           "pattern": "REFUSALS editorial-delivery \u00b7 native usage budget context history query fallback \u00b7 named"
         }
       ]
+    },
+    {
+      "name": "refusals/complete-producers/catalog-register",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-concurrency=1",
+        "--test-name-pattern",
+        "public producers: catalog-register$",
+        "test/conformance-catalog-complete.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/conformance-catalog-complete.test.ts",
+        "docs/contracts/refusals.bound",
+        "docs/contracts/conformance.json",
+        "docs/contracts/determinism.bound",
+        "test/support/conformance-catalog-current.ts",
+        "test/support/pinned-host-instrument.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "fail 0"
+        }
+      ]
+    },
+    {
+      "name": "refusals/complete-producers/tidal-ledger",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-concurrency=1",
+        "--test-name-pattern",
+        "public producers: tidal-ledger$",
+        "test/conformance-catalog-complete.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/conformance-catalog-complete.test.ts",
+        "docs/contracts/refusals.bound",
+        "docs/contracts/conformance.json",
+        "docs/contracts/determinism.bound",
+        "test/support/conformance-catalog-current.ts",
+        "test/support/pinned-host-instrument.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "fail 0"
+        }
+      ]
+    },
+    {
+      "name": "reference-conformance",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-concurrency=1",
+        "test/conformance-reference.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/conformance-reference.test.ts",
+        "docs/contracts/refusals.bound",
+        "docs/contracts/conformance.json",
+        "docs/contracts/determinism.bound"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "fail 0"
+        }
+      ]
+    },
+    {
+      "name": "computation-ports",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-concurrency=1",
+        "test/computation.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/computation.test.ts",
+        "docs/contracts/refusals.bound",
+        "docs/contracts/conformance.json",
+        "docs/contracts/determinism.bound"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "fail 0"
+        }
+      ]
+    },
+    {
+      "name": "computation-native",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-concurrency=1",
+        "test/computation-cli.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/computation-cli.test.ts",
+        "docs/contracts/refusals.bound",
+        "docs/contracts/conformance.json",
+        "docs/contracts/determinism.bound"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "fail 0"
+        }
+      ]
     }
   ]
 }

package/vendor/syntax/LICENSE.md

@@ -0,0 +1,7 @@
+ISC License
+
+Copyright (c) 2019 and later, KFlash and others.
+
+Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby granted, provided that the above copyright notice and this permission notice appear in all copies.
+
+THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.