@lapxo/bound 0.2.0 → 0.2.1

package/samples/authenticated-reference/compatibility.json

@@ -0,0 +1,306 @@
+{
+  "profile": "authenticated-standing-compatibility@1",
+  "carrierPolicy": "original bytes and signatures unchanged",
+  "publicInspection": "legacy trust supplied independently; no contracts@2 identity inferred",
+  "nativeReceiver": "explicit backend absent: reference/backend before transport; no fallback",
+  "places": [
+    {
+      "place": "weather-reading",
+      "cases": [
+        {
+          "name": "yes",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Af285a014cc9e9453aebd4c4ed94354fba5cac55c05929f4ad7cdd1b3348a9717&source=fixture%3A%2F%2Fcarrier%2Fyes",
+          "inputs": [
+            "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
+            "samples/authenticated-reference/yes/weather-reading/inputs/yes.json",
+            "samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json"
+          ],
+          "exit": 0,
+          "matches": [
+            {
+              "stream": "stdout",
+              "pattern": "AUTHENTICATED standing sha256:6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8"
+            },
+            {
+              "stream": "stdout",
+              "pattern": "CELL \\{\"cell\":\"weather/temperature\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"lo\":2,\"hi\":3\\},\"ceiling\":\\{\"lo\":2,\"hi\":3\\},\"origins\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"lo\":2,\"hi\":3\\}\\}\\],\"rest\":\\[\\],\"required\":\\{\"lo\":0,\"hi\":10\\},\"signed\":\\{\"lo\":0,\"hi\":6\\}\\},\"rest\":\\[\\],\"ownMarks\":\\[\"parent-ceiling\"\\],\"ownClaims\":\\[\\{\"id\":\"claim-first\",\"origin\":\"origin-one\"\\}\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":\\{\"lo\":0,\"hi\":6\\},\"id\":\"parent-ceiling\",\"at\":3\\}\\],\"claims\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"lo\":2,\"hi\":3\\}\\}\\]\\}"
+            },
+            {
+              "stream": "stdout",
+              "pattern": "CELL \\{\"cell\":\"weather/indoor\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"lo\":0,\"hi\":10\\},\"ceiling\":\\{\"lo\":0,\"hi\":9\\},\"origins\":\\[\\],\"rest\":\\[\"weather/temperature\"\\],\"required\":\\{\"lo\":0,\"hi\":10\\},\"signed\":\\{\"lo\":0,\"hi\":9\\}\\},\"rest\":\\[\"weather/temperature\"\\],\"ownMarks\":\\[\"child-join\"\\],\"ownClaims\":\\[\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":\\{\"lo\":0,\"hi\":9\\},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"\\}\\],\"claims\":\\[\\]\\}"
+            }
+          ]
+        },
+        {
+          "name": "signature",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3A2049bbbf88077727911a0cfec3193ab6ce7bccb8d4e3bb22fc537c59f5addf58&source=fixture%3A%2F%2Fcarrier%2Fsignature",
+          "inputs": [
+            "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
+            "samples/authenticated-reference/yes/weather-reading/inputs/signature.json",
+            "samples/authenticated-reference/yes/weather-reading/inputs/transport.signature.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "signature"
+            }
+          ]
+        },
+        {
+          "name": "coverage",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Ae313d0de2c5676093f6c7fff023a923fd489c122f241b1e211dd1ff6bf10e335&source=fixture%3A%2F%2Fcarrier%2Fcoverage",
+          "inputs": [
+            "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
+            "samples/authenticated-reference/yes/weather-reading/inputs/coverage.json",
+            "samples/authenticated-reference/yes/weather-reading/inputs/transport.coverage.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "cover"
+            }
+          ]
+        },
+        {
+          "name": "era",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Ab51f57e7433bfce9e31496552ea5dd9445eaedab3fc3d6a2093e9bb1763b5442&source=fixture%3A%2F%2Fcarrier%2Fera",
+          "inputs": [
+            "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
+            "samples/authenticated-reference/yes/weather-reading/inputs/era.json",
+            "samples/authenticated-reference/yes/weather-reading/inputs/transport.era.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "signature"
+            }
+          ]
+        },
+        {
+          "name": "order",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Ac9ce0f452ac4b0465993c2c4997a30d2a95c0d1f71c5cc2485b95c06c1b995ef&source=fixture%3A%2F%2Fcarrier%2Forder",
+          "inputs": [
+            "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
+            "samples/authenticated-reference/yes/weather-reading/inputs/order.json",
+            "samples/authenticated-reference/yes/weather-reading/inputs/transport.order.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "cell not declared before claim-first"
+            }
+          ]
+        },
+        {
+          "name": "arrival",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3A7543cb2f595484527ac15fb5787cc2ca1ac37e580b6a0b0de577466bb185fb90&source=fixture%3A%2F%2Fcarrier%2Farrival",
+          "inputs": [
+            "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
+            "samples/authenticated-reference/yes/weather-reading/inputs/arrival.json",
+            "samples/authenticated-reference/yes/weather-reading/inputs/transport.arrival.json"
+          ],
+          "exit": 0,
+          "matches": [
+            {
+              "stream": "stdout",
+              "pattern": "AUTHENTICATED standing sha256:6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8"
+            },
+            {
+              "stream": "stdout",
+              "pattern": "CELL \\{\"cell\":\"weather/temperature\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"lo\":2,\"hi\":3\\},\"ceiling\":\\{\"lo\":2,\"hi\":3\\},\"origins\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"lo\":2,\"hi\":3\\}\\}\\],\"rest\":\\[\\],\"required\":\\{\"lo\":0,\"hi\":10\\},\"signed\":\\{\"lo\":0,\"hi\":6\\}\\},\"rest\":\\[\\],\"ownMarks\":\\[\"parent-ceiling\"\\],\"ownClaims\":\\[\\{\"id\":\"claim-first\",\"origin\":\"origin-one\"\\}\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":\\{\"lo\":0,\"hi\":6\\},\"id\":\"parent-ceiling\",\"at\":3\\}\\],\"claims\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"lo\":2,\"hi\":3\\}\\}\\]\\}"
+            },
+            {
+              "stream": "stdout",
+              "pattern": "CELL \\{\"cell\":\"weather/indoor\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"lo\":0,\"hi\":10\\},\"ceiling\":\\{\"lo\":0,\"hi\":9\\},\"origins\":\\[\\],\"rest\":\\[\"weather/temperature\"\\],\"required\":\\{\"lo\":0,\"hi\":10\\},\"signed\":\\{\"lo\":0,\"hi\":9\\}\\},\"rest\":\\[\"weather/temperature\"\\],\"ownMarks\":\\[\"child-join\"\\],\"ownClaims\":\\[\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":\\{\"lo\":0,\"hi\":9\\},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"\\}\\],\"claims\":\\[\\]\\}"
+            }
+          ]
+        },
+        {
+          "name": "blob",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3A0000000000000000000000000000000000000000000000000000000000000000&source=fixture%3A%2F%2Fcarrier%2Fyes",
+          "inputs": [
+            "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
+            "samples/authenticated-reference/yes/weather-reading/inputs/yes.json",
+            "samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "blob integrity"
+            }
+          ]
+        },
+        {
+          "name": "standing",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=0000000000000000000000000000000000000000000000000000000000000000&blob=sha256%3Af285a014cc9e9453aebd4c4ed94354fba5cac55c05929f4ad7cdd1b3348a9717&source=fixture%3A%2F%2Fcarrier%2Fyes",
+          "inputs": [
+            "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
+            "samples/authenticated-reference/yes/weather-reading/inputs/yes.json",
+            "samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "standing identity"
+            }
+          ]
+        }
+      ]
+    },
+    {
+      "place": "editorial-state",
+      "cases": [
+        {
+          "name": "yes",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3Ad0c251889330c27f3eac8066c59556f1ea95fba907ce083bcca5f0fab4061931&source=fixture%3A%2F%2Fcarrier%2Fyes",
+          "inputs": [
+            "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
+            "samples/authenticated-reference/yes/editorial-state/inputs/yes.json",
+            "samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json"
+          ],
+          "exit": 0,
+          "matches": [
+            {
+              "stream": "stdout",
+              "pattern": "AUTHENTICATED standing sha256:48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c"
+            },
+            {
+              "stream": "stdout",
+              "pattern": "CELL \\{\"cell\":\"editorial/state\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\},\"ceiling\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\},\"origins\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\}\\}\\],\"rest\":\\[\\],\"required\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"signed\":\\{\"words\":\\{\"0\":3\\},\"width\":3\\}\\},\"rest\":\\[\\],\"ownMarks\":\\[\"parent-ceiling\"\\],\"ownClaims\":\\[\\{\"id\":\"claim-first\",\"origin\":\"origin-one\"\\}\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":\\{\"words\":\\{\"0\":3\\},\"width\":3\\},\"id\":\"parent-ceiling\",\"at\":3\\}\\],\"claims\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\}\\}\\]\\}"
+            },
+            {
+              "stream": "stdout",
+              "pattern": "CELL \\{\"cell\":\"editorial/review\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"ceiling\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"origins\":\\[\\],\"rest\":\\[\"editorial/state\"\\],\"required\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"signed\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\}\\},\"rest\":\\[\"editorial/state\"\\],\"ownMarks\":\\[\"child-join\"\\],\"ownClaims\":\\[\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"\\}\\],\"claims\":\\[\\]\\}"
+            }
+          ]
+        },
+        {
+          "name": "signature",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A839091ff13acc4695b1f0d41afd7bccb808b8ade6e2f51cae8c698ed1f52ac3f&source=fixture%3A%2F%2Fcarrier%2Fsignature",
+          "inputs": [
+            "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
+            "samples/authenticated-reference/yes/editorial-state/inputs/signature.json",
+            "samples/authenticated-reference/yes/editorial-state/inputs/transport.signature.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "signature"
+            }
+          ]
+        },
+        {
+          "name": "coverage",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A5e134fbce70c50f5f777c5e8c52929187699dc6f7e2b7c054caba4d59e98137e&source=fixture%3A%2F%2Fcarrier%2Fcoverage",
+          "inputs": [
+            "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
+            "samples/authenticated-reference/yes/editorial-state/inputs/coverage.json",
+            "samples/authenticated-reference/yes/editorial-state/inputs/transport.coverage.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "cover"
+            }
+          ]
+        },
+        {
+          "name": "era",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3Aa6802fb8be3d954a9551d22d94c58d974bffd432746443b08be7da63442f0169&source=fixture%3A%2F%2Fcarrier%2Fera",
+          "inputs": [
+            "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
+            "samples/authenticated-reference/yes/editorial-state/inputs/era.json",
+            "samples/authenticated-reference/yes/editorial-state/inputs/transport.era.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "signature"
+            }
+          ]
+        },
+        {
+          "name": "order",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A6e3dcacb310fd2a631c739b1f0fa198259c086f690a27cedd952c57bd20f49d2&source=fixture%3A%2F%2Fcarrier%2Forder",
+          "inputs": [
+            "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
+            "samples/authenticated-reference/yes/editorial-state/inputs/order.json",
+            "samples/authenticated-reference/yes/editorial-state/inputs/transport.order.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "cell not declared before claim-first"
+            }
+          ]
+        },
+        {
+          "name": "arrival",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A5602a5247fde99b2295faa26523ef3134bc18eef87ea31e1289db297d2278e7e&source=fixture%3A%2F%2Fcarrier%2Farrival",
+          "inputs": [
+            "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
+            "samples/authenticated-reference/yes/editorial-state/inputs/arrival.json",
+            "samples/authenticated-reference/yes/editorial-state/inputs/transport.arrival.json"
+          ],
+          "exit": 0,
+          "matches": [
+            {
+              "stream": "stdout",
+              "pattern": "AUTHENTICATED standing sha256:48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c"
+            },
+            {
+              "stream": "stdout",
+              "pattern": "CELL \\{\"cell\":\"editorial/state\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\},\"ceiling\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\},\"origins\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\}\\}\\],\"rest\":\\[\\],\"required\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"signed\":\\{\"words\":\\{\"0\":3\\},\"width\":3\\}\\},\"rest\":\\[\\],\"ownMarks\":\\[\"parent-ceiling\"\\],\"ownClaims\":\\[\\{\"id\":\"claim-first\",\"origin\":\"origin-one\"\\}\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":\\{\"words\":\\{\"0\":3\\},\"width\":3\\},\"id\":\"parent-ceiling\",\"at\":3\\}\\],\"claims\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\}\\}\\]\\}"
+            },
+            {
+              "stream": "stdout",
+              "pattern": "CELL \\{\"cell\":\"editorial/review\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"ceiling\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"origins\":\\[\\],\"rest\":\\[\"editorial/state\"\\],\"required\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"signed\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\}\\},\"rest\":\\[\"editorial/state\"\\],\"ownMarks\":\\[\"child-join\"\\],\"ownClaims\":\\[\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"\\}\\],\"claims\":\\[\\]\\}"
+            }
+          ]
+        },
+        {
+          "name": "blob",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A0000000000000000000000000000000000000000000000000000000000000000&source=fixture%3A%2F%2Fcarrier%2Fyes",
+          "inputs": [
+            "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
+            "samples/authenticated-reference/yes/editorial-state/inputs/yes.json",
+            "samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "blob integrity"
+            }
+          ]
+        },
+        {
+          "name": "standing",
+          "reference": "#bound:1?class=standing&algorithm=sha256&digest=0000000000000000000000000000000000000000000000000000000000000000&blob=sha256%3Ad0c251889330c27f3eac8066c59556f1ea95fba907ce083bcca5f0fab4061931&source=fixture%3A%2F%2Fcarrier%2Fyes",
+          "inputs": [
+            "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
+            "samples/authenticated-reference/yes/editorial-state/inputs/yes.json",
+            "samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json"
+          ],
+          "exit": 1,
+          "matches": [
+            {
+              "stream": "stderr",
+              "pattern": "standing identity"
+            }
+          ]
+        }
+      ]
+    }
+  ]
+}

package/samples/authenticated-reference/yes.json

@@ -5,14 +5,14 @@
       "place": "yes/weather-reading",
       "target": "yes/weather-reading/TARGET.bound",
       "data": "yes/weather-reading/inputs/yes.json",
-      "procedure": "keyless native land preparation, then public CLI fold of declared #bound reference",
+      "procedure": "public inspectAuthenticatedReference against independently prepared admitted authority; original carrier bytes retained; native receiver without explicit backend refuses reference/backend",
       "expected": "AUTHENTICATED with standing identity and two REQUIRED cells"
     },
     {
       "place": "yes/editorial-state",
       "target": "yes/editorial-state/TARGET.bound",
       "data": "yes/editorial-state/inputs/yes.json",
-      "procedure": "keyless native land preparation, then public CLI fold of declared #bound reference",
+      "procedure": "public inspectAuthenticatedReference against independently prepared admitted authority; original carrier bytes retained; native receiver without explicit backend refuses reference/backend",
       "expected": "AUTHENTICATED with standing identity and two REQUIRED cells"
     }
   ]

package/samples/host-ports/no.json

@@ -0,0 +1,16 @@
+{
+  "codes": [
+    "budget",
+    "cancelled",
+    "timeout",
+    "failed",
+    "integrity",
+    "response"
+  ],
+  "ports": [
+    "signer",
+    "content",
+    "persistence"
+  ],
+  "authority": "never-created"
+}

package/samples/host-ports/yes.json

@@ -0,0 +1,9 @@
+{
+  "places": [
+    "host-sensor",
+    "host-editorial"
+  ],
+  "state": "REQUIRED",
+  "commit": false,
+  "retention": "bytes-only"
+}

package/samples/readme/no.json

@@ -0,0 +1 @@
+{"mutation":"append-one-carrier-byte","refusal":"blob integrity"}

package/samples/readme/yes.json

@@ -0,0 +1 @@
+{"places":["sensor","editorial"],"state":"REQUIRED"}

package/samples/reference-backend/no.json

@@ -0,0 +1 @@
+{"mutation":"append-one-carrier-byte","expectedCode":"authenticated-reference/integrity","commit":false}

package/samples/reference-backend/world-fixture.json

@@ -0,0 +1,8 @@
+{
+  "profile": "reference-world-fixture@1",
+  "source": "https://github.com/Lapxo/bound/releases/download/v0.2.0/native-publication-readings.tgz",
+  "blob": "sha256:859a3684c434e66ee963ff13f6028863caa2c0d6864cdcde27718034a8730e58",
+  "bytes": 932057,
+  "timeoutMs": 15000,
+  "standing": "sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e"
+}

package/samples/reference-backend/yes.json

@@ -0,0 +1 @@
+{"places":["water-level-reference","editorial-reference"],"backends":["esm@1","wasm@1"],"expectedState":"REQUIRED","projection":"byte-equal","commit":false}

package/samples/reference-export/no.json

@@ -0,0 +1,5 @@
+{
+  "mutation": "flip-one-carrier-byte",
+  "expectedRefusal": "blob integrity",
+  "expectedResult": "no projection; no successful receipt"
+}

package/samples/reference-export/yes.json

@@ -0,0 +1,15 @@
+{
+  "source": "https://example.test/place/carrier.json",
+  "cell": {
+    "scope": "sample/value",
+    "params": {
+      "lo": 0,
+      "hi": 10
+    }
+  },
+  "claim": {
+    "origin": "one",
+    "value": "2..3"
+  },
+  "expectedState": "REQUIRED"
+}

package/samples/reference-port/no/catalog/TARGET.bound

@@ -0,0 +1,33 @@
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/at-classes value=origin|place|receipt|witness|policy
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/digest-algorithms value=sha256
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/era value=sample
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/families value=keys|signer|wire|tree|write|leaf|reader|read|fold|receipts|rendered|resolved|beat|view|region|conformance|vector|sample|cost|source|class|pipeline|host
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/fields value=scope|role|form|measure|value|by|at|needs|sig|epoch|shape|restsOn|condition|about|kind|view
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/forms value=alphabet|interval
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-empty value=declared-empty@1
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-inputs value=declared-presence@1
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-lifetime value=bounded-process@2
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/receipt-fields value=scope|role|form|measure|value|by|at
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/region-coordinate value=coordinates
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/region-measures value=coordinates
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/required value=scope|role|form|measure|value|by|at
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/roles value=reads|writes|demands
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/shapes value=run|sample.json
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/signature-algorithms value=ed25519:sample
+bound-lock/1 at=policy:reference-sample by=owner epoch=1 form=alphabet measure=public-key role=writes scope=keys/owner sig="ed25519:sample:OfZHc70C2a63W+Ss/qNPC7DnW9DK+QyPTnsOYZ/v5/RoRDdV/5sCSF8wBbPANW5dqvDMl5tTCgdeV80Ump38AQ==" value="MCowBQYDK2VwAyEAgzRfZFzMTVGnWAhu/mKptNmltXexEOzJ5JuXGDqMXG8="
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/folder value=fold
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/owner value=authorize
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/reader value=read
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=coverage role=writes scope=keys/owner value=*
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=id role=demands scope=view/receipts shape=receipts.bound value=receipts@8|receipts@0|receipts@1
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=id role=writes scope=reader/inputs value=required
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=reader needs=inputs/ role=writes scope=reader/conformance shape=sample.json value=reader.js
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=signer role=writes scope=keys/owner value=file
+bound-lock/1 at=policy:reference-sample by=target form=interval measure=bytes role=writes scope=reader/response-bytes value=0..65536
+bound-lock/1 at=policy:reference-sample by=target form=interval measure=bytes role=writes scope=signer/response-bytes value=65536..65536
+bound-lock/1 at=policy:reference-sample by=target form=interval measure=milliseconds role=writes scope=reader/timeout value=0..5000
+bound-lock/1 at=policy:reference-sample by=target form=interval measure=milliseconds role=writes scope=signer/timeout value=5000..5000
+bound-lock/1 form=alphabet measure=id role=writes scope=wire/transport value=content-request/1
+bound-lock/1 form=alphabet measure=id role=writes scope=transport/http value=fetch
+bound-lock/1 form=interval measure=milliseconds role=writes scope=transport/timeout value=0..300
+bound-lock/1 form=interval measure=bytes role=writes scope=transport/response-bytes value=0..8192

package/samples/reference-port/no/route-notes/TARGET.bound

@@ -0,0 +1,33 @@
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/at-classes value=origin|place|receipt|witness|policy
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/digest-algorithms value=sha256
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/era value=sample
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/families value=keys|signer|wire|tree|write|leaf|reader|read|fold|receipts|rendered|resolved|beat|view|region|conformance|vector|sample|cost|source|class|pipeline|host
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/fields value=scope|role|form|measure|value|by|at|needs|sig|epoch|shape|restsOn|condition|about|kind|view
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/forms value=alphabet|interval
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-empty value=declared-empty@1
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-inputs value=declared-presence@1
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/reader-lifetime value=bounded-process@2
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/receipt-fields value=scope|role|form|measure|value|by|at
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/region-coordinate value=coordinates
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/region-measures value=coordinates
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/required value=scope|role|form|measure|value|by|at
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/roles value=reads|writes|demands
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/shapes value=run|sample.json
+bound-lock/1 at=policy:conformance by=target form=alphabet measure=id role=writes scope=wire/signature-algorithms value=ed25519:sample
+bound-lock/1 at=policy:reference-sample by=owner epoch=1 form=alphabet measure=public-key role=writes scope=keys/owner sig="ed25519:sample:XCWMBdyYOt3H3sTjX+A6YXirK3JMoVkagUOLxKBw+U4rQr+pOhAVKW0Va8MDBLQ4cN/sXk+N8Ob5CPDVHIXSDQ==" value="MCowBQYDK2VwAyEA7cXQUTJ0F/6tJ8v/zL+ORgdkaKPE3pQ7D4VzGdhhb4I="
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/folder value=fold
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/owner value=authorize
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=class role=writes scope=keys/reader value=read
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=coverage role=writes scope=keys/owner value=*
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=id role=demands scope=view/receipts shape=receipts.bound value=receipts@8|receipts@0|receipts@1
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=id role=writes scope=reader/inputs value=required
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=reader needs=inputs/ role=writes scope=reader/conformance shape=sample.json value=reader.js
+bound-lock/1 at=policy:reference-sample by=target form=alphabet measure=signer role=writes scope=keys/owner value=file
+bound-lock/1 at=policy:reference-sample by=target form=interval measure=bytes role=writes scope=reader/response-bytes value=0..65536
+bound-lock/1 at=policy:reference-sample by=target form=interval measure=bytes role=writes scope=signer/response-bytes value=65536..65536
+bound-lock/1 at=policy:reference-sample by=target form=interval measure=milliseconds role=writes scope=reader/timeout value=0..5000
+bound-lock/1 at=policy:reference-sample by=target form=interval measure=milliseconds role=writes scope=signer/timeout value=5000..5000
+bound-lock/1 form=alphabet measure=id role=writes scope=wire/transport value=content-request/1
+bound-lock/1 form=alphabet measure=id role=writes scope=transport/http value=fetch
+bound-lock/1 form=interval measure=milliseconds role=writes scope=transport/timeout value=0..300
+bound-lock/1 form=interval measure=bytes role=writes scope=transport/response-bytes value=0..8192

package/samples/refusals/no.json

@@ -0,0 +1,4 @@
+{
+  "mutation": "duplicate-one-catalog-record",
+  "code": "catalog/invalid"
+}

package/samples/refusals/yes.json

@@ -0,0 +1,9 @@
+{
+  "profile": "bound-refusals@1",
+  "required": [
+    "code",
+    "class",
+    "next"
+  ],
+  "expect": "catalog-bound"
+}

package/samples/standing/no.json

@@ -0,0 +1,4 @@
+{
+  "mutation": "replace-admitted-value-without-resigning",
+  "expect": "forged-line-excluded"
+}

package/samples/standing/yes.json

@@ -0,0 +1,21 @@
+{
+  "classes": [
+    "authorize",
+    "attest",
+    "read",
+    "fold"
+  ],
+  "delivery": [
+    "journal",
+    "act"
+  ],
+  "places": [
+    "observations",
+    "inventory"
+  ],
+  "expect": [
+    "collisions-retained",
+    "exact-withdrawals",
+    "replay-identical"
+  ]
+}

package/vectors/native/authenticated-reference-formation.vector.json

@@ -3,7 +3,7 @@
   "measure": "count",
   "result": "failures",
   "execution": "independent",
-  "phase": "preparation before timed reference readings",
+  "phase": "fixture preparation before independent timed readings; existing public signed places, no private key",
   "cases": [
     {
       "program": "/usr/bin/env",
@@ -48,6 +48,60 @@
           "pattern": "FACT     landed 56 unique lines from 56 in TARGET \u00b7 0 of 56 signed lines fail admission by declared authority"
         }
       ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "land"
+      ],
+      "cwd": "samples/wasm/water-level",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/water-level/TARGET.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "FACT\\s+landed"
+        }
+      ]
+    },
+    {
+      "program": "runtime",
+      "args": [
+        "../../../dist/cli/verb.js",
+        "land"
+      ],
+      "cwd": "samples/wasm/editorial-notes",
+      "inputs": [
+        "dist/cli/verb.js",
+        "dist/wasm/node-worker.js",
+        "package.json",
+        "assets/wasm/manifest.json",
+        "assets/wasm/runtime.js",
+        "assets/wasm/runtime.wasm",
+        "assets/wasm/guest.js",
+        "samples/wasm/editorial-notes/TARGET.bound"
+      ],
+      "timeoutMs": 20000,
+      "maxBytes": 1048576,
+      "exit": 0,
+      "matches": [
+        {
+          "stream": "stdout",
+          "pattern": "FACT\\s+landed"
+        }
+      ]
     }
   ]
 }