@lapxo/bound 0.2.4 → 0.2.6

package/samples/no/module-inventory/no.json

@@ -0,0 +1,10 @@
+[
+  {
+    "name": "field-notes",
+    "carrier": "{\"manifest\":{\"format\":\"esm-file-closure/1\",\"needs\":[{\"name\":\"field-notes\",\"snapshot\":\"sha256:73d7146ce6e337d89811c94fd4848e24d3a9431b01eaf56e422833e31e0a78ae\",\"entry\":\"entry.js\"}],\"modules\":[{\"snapshot\":\"sha256:73d7146ce6e337d89811c94fd4848e24d3a9431b01eaf56e422833e31e0a78ae\",\"coordinate\":\"entry.js\",\"path\":\"modules/73d7146ce6e337d89811c94fd4848e24d3a9431b01eaf56e422833e31e0a78ae/entry.js\"},{\"snapshot\":\"sha256:73d7146ce6e337d89811c94fd4848e24d3a9431b01eaf56e422833e31e0a78ae\",\"coordinate\":\"value.js\",\"digest\":\"sha256:f1670f52eabccbb1f1c1c047ccee88965a894854b9717d470835475b7f7920b1\",\"path\":\"modules/73d7146ce6e337d89811c94fd4848e24d3a9431b01eaf56e422833e31e0a78ae/value.js\"}],\"libraries\":[],\"notices\":[]},\"files\":[{\"path\":\"modules/73d7146ce6e337d89811c94fd4848e24d3a9431b01eaf56e422833e31e0a78ae/entry.js\",\"source\":\"import './value.js'; export const result=7;\"},{\"path\":\"modules/73d7146ce6e337d89811c94fd4848e24d3a9431b01eaf56e422833e31e0a78ae/value.js\",\"source\":\"export const value=7;\"}]}"
+  },
+  {
+    "name": "water-level",
+    "carrier": "{\"manifest\":{\"format\":\"esm-file-closure/1\",\"needs\":[{\"name\":\"water-level\",\"snapshot\":\"sha256:d99ba0cf723d36c49ca5da30d9e1d1fb1afb52159372dd14ea6c1bb3c8dfd60b\",\"entry\":\"entry.js\"}],\"modules\":[{\"snapshot\":\"sha256:d99ba0cf723d36c49ca5da30d9e1d1fb1afb52159372dd14ea6c1bb3c8dfd60b\",\"coordinate\":\"entry.js\",\"path\":\"modules/d99ba0cf723d36c49ca5da30d9e1d1fb1afb52159372dd14ea6c1bb3c8dfd60b/entry.js\"},{\"snapshot\":\"sha256:d99ba0cf723d36c49ca5da30d9e1d1fb1afb52159372dd14ea6c1bb3c8dfd60b\",\"coordinate\":\"value.js\",\"digest\":\"sha256:ca83bd49a1d3b94db4076def1fdd98150b73b240ed6293a68ffaa2b4ff306825\",\"path\":\"modules/d99ba0cf723d36c49ca5da30d9e1d1fb1afb52159372dd14ea6c1bb3c8dfd60b/value.js\"}],\"libraries\":[],\"notices\":[]},\"files\":[{\"path\":\"modules/d99ba0cf723d36c49ca5da30d9e1d1fb1afb52159372dd14ea6c1bb3c8dfd60b/entry.js\",\"source\":\"import './value.js'; export const result=13;\"},{\"path\":\"modules/d99ba0cf723d36c49ca5da30d9e1d1fb1afb52159372dd14ea6c1bb3c8dfd60b/value.js\",\"source\":\"export const value=13;\"}]}"
+  }
+]

package/samples/physical-lines/no.json

@@ -0,0 +1,5 @@
+{
+  "over": "0..2",
+  "changedWitnessResult": "other result",
+  "invalidText": "invalid\rline"
+}

package/samples/physical-lines/yes.json

@@ -0,0 +1,9 @@
+{
+  "places": [
+    "native-lines-one-",
+    "native-lines-other-"
+  ],
+  "coreSource": "// comment\n\nexport const n=1;\n",
+  "portsSource": "// comment\r\n\r\nexport const n=2;",
+  "within": "0..3"
+}

package/samples/profile-composition/no.json

@@ -0,0 +1,6 @@
+{
+  "intervalWidening": "0..9",
+  "alphabetWidening": "a|b|c",
+  "changedParent": "changed",
+  "disjointInterval": "10..20"
+}

package/samples/profile-composition/yes.json

@@ -0,0 +1,14 @@
+{
+  "places": [
+    "orchard",
+    "harbor"
+  ],
+  "interval": {
+    "parent": "0..5",
+    "narrow": "0..3"
+  },
+  "alphabet": {
+    "parent": "a|b",
+    "narrow": "a"
+  }
+}

package/samples/reading-identity/no.json

@@ -0,0 +1,26 @@
+{
+  "cases": [
+    "selected archive bytes altered",
+    "current native grant withdrawn",
+    "handed input differs",
+    "physical input missing",
+    "transitive reference changed",
+    "cancelled before projection",
+    "handed byte budget exhausted",
+    "a query stub persists bytes despite returning an unchanged identity",
+    "receipt-only projection over an obsolete rendered leaf",
+    "byte-only sealing attempts to close an obsolete rendered leaf",
+    "selected delivery leaf is missing",
+    "selected delivery leaf differs from its native rendering",
+    "missing outputs implicitly select a delivery subset"
+  ],
+  "missing": "needs",
+  "integrity": "refuse",
+  "authority": "refuse",
+  "ownerSigning": false,
+  "nativeViews": {
+    "unsupported": "reading-identity/selection",
+    "changedSnapshot": "reading-identity/context",
+    "staleResultBytes": 0
+  }
+}

package/samples/reading-identity/yes.json

@@ -0,0 +1,69 @@
+{
+  "places": [
+    {
+      "name": "counts",
+      "inputs": [
+        "input.txt"
+      ],
+      "readings": [
+        "extent"
+      ]
+    },
+    {
+      "name": "catalogue",
+      "inputs": [
+        "input.txt"
+      ],
+      "readings": [
+        "extent",
+        "extent/total"
+      ],
+      "unpaidDependency": "extent"
+    }
+  ],
+  "surface": "@lapxo/bound/host",
+  "operation": "prepareNativeReadingIdentity",
+  "cli": [
+    "fold",
+    "--as",
+    "reading-identity"
+  ],
+  "finalReadingDuringPreparation": false,
+  "existingReceipts": "verified and retained",
+  "nativeViews": {
+    "places": [
+      "editorial-notes",
+      "water-level"
+    ],
+    "views": [
+      "lines",
+      "evidence"
+    ],
+    "operation": "prepareNativeViewIdentity",
+    "noRootExclusion": true,
+    "resultBoundToConsumedIdentity": true,
+    "unchangedQueryProtocol": {
+      "places": [
+        "coastal-readings",
+        "archive-register"
+      ],
+      "repetitionsPerView": 8,
+      "persistentFileDelta": 0,
+      "persistentByteDelta": 0,
+      "treeExclusions": []
+    }
+  },
+  "renderedLeaves": {
+    "places": [
+      "calibration",
+      "inventory"
+    ],
+    "admittedChange": "sample/edition",
+    "nextOrdinaryFold": "renders current bytes and closes",
+    "delivery": {
+      "selection": "captured from the manifest before copying a closed source",
+      "sourceOnlyOutput": "view capability retained, not materialized or certified present",
+      "selectedOutput": "same native rendering, public check passes"
+    }
+  }
+}

package/vectors/native/authority-preflight.vector.json

@@ -0,0 +1,55 @@
+{
+  "scope": "conformance/authority-preflight",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "authority-preflight/coverage-and-retirement",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "test/native-authority-card.test.ts",
+        "test/authority-dependency-withdrawal.test.ts",
+        "test/native-authority-card-view.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "src/host/native/authority-card.ts",
+        "src/cli/accept.ts",
+        "src/cli/takes.ts",
+        "src/fold/signed.ts",
+        "test/native-authority-card.test.ts",
+        "test/authority-dependency-withdrawal.test.ts",
+        "docs/contracts/authority-preflight.md",
+        "samples/authority-preflight/yes.json",
+        "samples/authority-preflight/no.json",
+        "test/setup.ts",
+        "test/support/acting-root.ts",
+        "src/host/reference-contracts.ts",
+        "docs/contracts/refusals.bound",
+        "docs/contracts/standing.bound",
+        "src/host/native/reading-witness-admission.ts",
+        "src/host/physical-lines.ts",
+        "test/native-authority-card-view.test.ts",
+        "src/host/native/authority-card-view.ts"
+      ],
+      "timeoutMs": 30000,
+      "maxBytes": 16777216,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "native authority card checks admission and rechecks current grants"
+        },
+        {
+          "stream": "stdout",
+          "pattern": "native dependency reading refuses withdrawal through the authority port"
+        }
+      ]
+    }
+  ]
+}

package/vectors/native/installed-package.vector.json

@@ -0,0 +1,31 @@
+{
+  "scope": "conformance/installed-package",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "installed-package/native-parameter-cases",
+      "program": "runtime",
+      "args": [
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "--test-concurrency=1",
+        "test/installed-package.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/installed-package.test.ts",
+        "test/setup.ts",
+        "samples/installed-package/yes.json",
+        "samples/installed-package/no.json",
+        "docs/contracts/installed-package.md"
+      ],
+      "timeoutMs": 180000,
+      "maxBytes": 16777216,
+      "exit": 0,
+      "matches": []
+    }
+  ]
+}

package/vectors/native/materialized-leaf-sequence.vector.json

@@ -0,0 +1,31 @@
+{
+  "scope": "conformance/materialized-leaf-sequence",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "materialized-leaf-sequence/native-parameter-cases",
+      "program": "runtime",
+      "args": [
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "--test-concurrency=1",
+        "test/materialized-leaf-sequence.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/materialized-leaf-sequence.test.ts",
+        "test/setup.ts",
+        "samples/materialized-leaf-sequence/yes.json",
+        "samples/materialized-leaf-sequence/no.json",
+        "docs/contracts/materialized-leaf-sequence.md"
+      ],
+      "timeoutMs": 180000,
+      "maxBytes": 16777216,
+      "exit": 0,
+      "matches": []
+    }
+  ]
+}

package/vectors/native/module-inventory.vector.json

@@ -0,0 +1,56 @@
+{
+  "scope": "conformance/module-inventory",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "module-inventory/field-notes",
+      "program": "runtime",
+      "args": [
+        "--input-type=module",
+        "-e",
+        "import assert from 'node:assert/strict';import{readFileSync}from'node:fs';import{createHash}from'node:crypto';import{moduleInventory}from'@lapxo/bound/closure/native';const digest=b=>'sha256:'+createHash('sha256').update(b).digest('hex'),limits={members:20,bytes:100000,responseBytes:200000},context={scope:'consumer/modules',by:'consumer',at:'policy:module-inventory'},fixture=JSON.parse(readFileSync('samples/module-inventory/yes.json','utf8')).find(one=>one.name==='field-notes'),negative=JSON.parse(readFileSync('samples/no/module-inventory/no.json','utf8')).find(one=>one.name==='field-notes'),yes=new TextEncoder().encode(fixture.carrier),inventory=moduleInventory(yes,fixture.pin,limits,fixture.sources,context);assert.equal(inventory.lines,fixture.expected);assert.equal(inventory.modules.length,2);assert.ok(!inventory.modules.some(one=>one.module==='unreached.js'));assert.equal(moduleInventory(yes,fixture.pin,limits,fixture.sources,context).lines,fixture.expected);const bad=new TextEncoder().encode(negative.carrier);assert.throws(()=>moduleInventory(bad,digest(bad),limits,fixture.sources,context),/REFUSE·closure delivery/);assert.throws(()=>moduleInventory(bad,fixture.pin,limits,fixture.sources,context),/bundle bytes differ/);assert.throws(()=>moduleInventory(yes,fixture.pin,limits,[],context),/source coverage/);console.log('INVENTORY field-notes · 2 modules · exact canonical lines · integrity and coverage refused');"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "package.json",
+        "samples/module-inventory/yes.json",
+        "samples/no/module-inventory/no.json"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "INVENTORY field-notes · 2 modules · exact canonical lines · integrity and coverage refused"
+        }
+      ]
+    },
+    {
+      "name": "module-inventory/water-level",
+      "program": "runtime",
+      "args": [
+        "--input-type=module",
+        "-e",
+        "import assert from 'node:assert/strict';import{readFileSync}from'node:fs';import{createHash}from'node:crypto';import{moduleInventory}from'@lapxo/bound/closure/native';const digest=b=>'sha256:'+createHash('sha256').update(b).digest('hex'),limits={members:20,bytes:100000,responseBytes:200000},context={scope:'consumer/modules',by:'consumer',at:'policy:module-inventory'},fixture=JSON.parse(readFileSync('samples/module-inventory/yes.json','utf8')).find(one=>one.name==='water-level'),negative=JSON.parse(readFileSync('samples/no/module-inventory/no.json','utf8')).find(one=>one.name==='water-level'),yes=new TextEncoder().encode(fixture.carrier),inventory=moduleInventory(yes,fixture.pin,limits,fixture.sources,context);assert.equal(inventory.lines,fixture.expected);assert.equal(inventory.modules.length,2);assert.ok(!inventory.modules.some(one=>one.module==='unreached.js'));assert.equal(moduleInventory(yes,fixture.pin,limits,fixture.sources,context).lines,fixture.expected);const bad=new TextEncoder().encode(negative.carrier);assert.throws(()=>moduleInventory(bad,digest(bad),limits,fixture.sources,context),/REFUSE·closure delivery/);assert.throws(()=>moduleInventory(bad,fixture.pin,limits,fixture.sources,context),/bundle bytes differ/);assert.throws(()=>moduleInventory(yes,fixture.pin,limits,[],context),/source coverage/);console.log('INVENTORY water-level · 2 modules · exact canonical lines · integrity and coverage refused');"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "package.json",
+        "samples/module-inventory/yes.json",
+        "samples/no/module-inventory/no.json"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "INVENTORY water-level · 2 modules · exact canonical lines · integrity and coverage refused"
+        }
+      ]
+    }
+  ]
+}

package/vectors/native/native-host.vector.json

@@ -57,6 +57,220 @@
           "pattern": "HOST coastal-survey \u00b7 admitted \u00b7 recovered \u00b7 held without signing \u00b7 altered coverage cancellation format refused"
         }
       ]
+    },
+    {
+      "name": "native-host/persistent-catalog",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "persistent native host shares CLI bytes and authority: catalog",
+        "test/persistent-host.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/persistent-host.test.ts",
+        "test/support/acting-root.ts",
+        "samples/native-host/yes.json",
+        "samples/native-host/no.json",
+        "test/support/pinned-host-instrument.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "PERSISTENT-HOST catalog \u00b7 CLI identity text sign refusal act matched \u00b7 no retained request files \u00b7 closed"
+        }
+      ]
+    },
+    {
+      "name": "native-host/persistent-weather",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "persistent native host shares CLI bytes and authority: weather",
+        "test/persistent-host.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/persistent-host.test.ts",
+        "test/support/acting-root.ts",
+        "samples/native-host/yes.json",
+        "samples/native-host/no.json",
+        "test/support/pinned-host-instrument.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "PERSISTENT-HOST weather \u00b7 CLI identity text sign refusal act matched \u00b7 no retained request files \u00b7 closed"
+        }
+      ]
+    },
+    {
+      "name": "native-host/persistent-lifecycle",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "environment sanitation|cancelling an active|consumer dies|startup deadline|bounded queue",
+        "test/persistent-host.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/persistent-host.test.ts",
+        "test/support/acting-root.ts",
+        "samples/native-host/yes.json",
+        "samples/native-host/no.json",
+        "test/support/pinned-host-instrument.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "a native host exits and removes its scratch when its consumer dies"
+        }
+      ]
+    },
+    {
+      "name": "native-host/persistent-current-bytes",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "persistent non-view|externally edited public lock|receiver-selected instrument",
+        "test/persistent-host.test.ts",
+        "test/persistent-current-bytes.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/persistent-host.test.ts",
+        "test/persistent-current-bytes.test.ts",
+        "test/support/acting-root.ts",
+        "samples/native-host/yes.json",
+        "samples/native-host/no.json",
+        "test/support/pinned-host-instrument.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "receiver-selected instrument bytes are checked again before sign and land"
+        }
+      ]
+    },
+    {
+      "name": "native-host/signers-and-foundation",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "host signer selection and birth state",
+        "test/persistent-host-gaps.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/persistent-host-gaps.test.ts",
+        "test/support/acting-root.ts",
+        "test/support/pinned-host-instrument.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "host signer selection and birth state"
+        }
+      ]
+    },
+    {
+      "name": "native-host/installed-pin",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "installed instrument pins",
+        "test/persistent-host-gaps.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/persistent-host-gaps.test.ts",
+        "test/support/acting-root.ts",
+        "test/support/pinned-host-instrument.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "installed instrument pins"
+        }
+      ]
+    },
+    {
+      "name": "native-host/cross-process-serialization",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "--test-name-pattern",
+        "two independent host processes",
+        "test/persistent-host-gaps.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/persistent-host-gaps.test.ts",
+        "test/support/acting-root.ts",
+        "test/support/pinned-host-instrument.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "two independent host processes"
+        }
+      ]
+    },
+    {
+      "name": "native-host/request-act-cost",
+      "program": "runtime",
+      "args": [
+        "--experimental-strip-types",
+        "--test",
+        "test/persistent-act-cost.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/persistent-act-cost.test.ts"
+      ],
+      "timeoutMs": 15000,
+      "maxBytes": 262144,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "request accounting preserves a red"
+        }
+      ]
     }
   ]
 }

package/vectors/native/native-probes.vector.json

@@ -0,0 +1,31 @@
+{
+  "scope": "conformance/native-probes",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "native-probes/native-parameter-cases",
+      "program": "runtime",
+      "args": [
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "--test-concurrency=1",
+        "test/native-probes.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/native-probes.test.ts",
+        "test/setup.ts",
+        "samples/native-probes/yes.json",
+        "samples/native-probes/no.json",
+        "docs/contracts/native-probes.md"
+      ],
+      "timeoutMs": 180000,
+      "maxBytes": 16777216,
+      "exit": 0,
+      "matches": []
+    }
+  ]
+}

package/vectors/native/native-view-batch.vector.json

@@ -0,0 +1,31 @@
+{
+  "scope": "conformance/native-view-batch",
+  "measure": "count",
+  "result": "failures",
+  "execution": "independent",
+  "cases": [
+    {
+      "name": "native-view-batch/native-parameter-cases",
+      "program": "runtime",
+      "args": [
+        "--import",
+        "./test/setup.ts",
+        "--test",
+        "--test-concurrency=1",
+        "test/native-view-batch.test.ts"
+      ],
+      "cwd": ".",
+      "inputs": [
+        "test/native-view-batch.test.ts",
+        "test/setup.ts",
+        "samples/native-view-batch/yes.json",
+        "samples/native-view-batch/no.json",
+        "docs/contracts/native-view-batch.md"
+      ],
+      "timeoutMs": 180000,
+      "maxBytes": 16777216,
+      "exit": 0,
+      "matches": []
+    }
+  ]
+}