@lapxo/obligations 0.4.4 → 0.4.6

package/vectors/laws/projection-chain.native-capture.json

@@ -0,0 +1,311 @@
+{
+  "archiveApproval": false,
+  "candidatePublicationCorrectionCovered": false,
+  "captures": [
+    {
+      "elapsedMs": 307.3755,
+      "expected": "fact",
+      "name": "orchard-projection",
+      "passed": true,
+      "requestSHA256": "sha256:af165a2d5e4a5764e3116e1b209eb2fe38d97404b45c0a8ec56e13db8b0bacb1",
+      "result": {
+        "kind": "fact",
+        "lines": [
+          "bound-lock/1 at=receipt:1 form=alphabet measure=reads role=reads scope=publication/evidence/projection-chain value=vectors/laws/projection-chain.native.json|contracts/projection-chain.json|proofs/projection-chain.md|vectors/laws/policy.json|vectors/laws/projection-chain.json|samples/laws/projection-chain/yes/sample.json|samples/laws/projection-chain/no/sample.json"
+        ],
+        "protocol": "bound-lock/1"
+      }
+    },
+    {
+      "elapsedMs": 235.60654100000005,
+      "expected": "fact",
+      "name": "orchard-read",
+      "passed": true,
+      "requestSHA256": "sha256:8fa5a772cbe667f2b45fb24ba9a0245449a20865601f69fcd6ecc4cdbb174f67",
+      "result": {
+        "claims": [
+          {
+            "bound": {
+              "hi": 0,
+              "kind": "interval",
+              "lo": 0
+            },
+            "measure": "count",
+            "role": "writes",
+            "scope": "publication/evidence/projection-chain"
+          },
+          {
+            "bound": {
+              "kind": "enumerated",
+              "values": [
+                "sha256:87f01570d75f4b49b8bd88880198c2ed8966a7219c294ee44a2f03de7e4c94f3"
+              ]
+            },
+            "measure": "digest",
+            "role": "writes",
+            "scope": "publication/evidence/projection-chain/verification"
+          }
+        ],
+        "kind": "fact",
+        "protocol": "bound-lock/1"
+      }
+    },
+    {
+      "elapsedMs": 148.71291699999995,
+      "expected": "refuse",
+      "name": "orchard-missing-input",
+      "passed": true,
+      "requestSHA256": "sha256:2d7a5bc8fbbeaf54ec47fd8ef22eb07067d2b4a13626194485555064bbc03945",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection missing-input samples/laws/projection-chain/yes/sample.json"
+      }
+    },
+    {
+      "elapsedMs": 151.12358299999994,
+      "expected": "refuse",
+      "name": "orchard-handed-source-differs",
+      "passed": true,
+      "requestSHA256": "sha256:734a8a62ea33abc798b03fdd7a79896c6ffd0e1b13a9577d402bdafe0c82e3b9",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection fixture-source-differs samples/laws/projection-chain/yes/sample.json"
+      }
+    },
+    {
+      "elapsedMs": 157.01758299999995,
+      "expected": "refuse",
+      "name": "orchard-unsupported-general-law",
+      "passed": true,
+      "requestSHA256": "sha256:d921d08e6cfa0044e82bfad47ce55e288ab76544e79e68defa4f533559761a95",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection unsupported-general-law"
+      }
+    },
+    {
+      "elapsedMs": 154.974334,
+      "expected": "refuse",
+      "name": "orchard-non-chain",
+      "passed": true,
+      "requestSHA256": "sha256:393fc624fd442040e3fbe011aedab85dd1dff39aabe22fa02e6c33616525da47",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/non-chain"
+      }
+    },
+    {
+      "elapsedMs": 151.61958400000003,
+      "expected": "refuse",
+      "name": "orchard-changed-prior",
+      "passed": true,
+      "requestSHA256": "sha256:80c0ad5d3cf5e11af22ca96b8feb62b953e75547c0ba3a2e5824f3bea02b07a4",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/changed-prior"
+      }
+    },
+    {
+      "elapsedMs": 150.62041599999998,
+      "expected": "refuse",
+      "name": "orchard-randomized-map",
+      "passed": true,
+      "requestSHA256": "sha256:c13a1747da3d1e0c4078a9f8916133311697268361e9d00429335729c9de6e8d",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/randomized-map"
+      }
+    },
+    {
+      "elapsedMs": 151.52029199999993,
+      "expected": "refuse",
+      "name": "orchard-prior-required",
+      "passed": true,
+      "requestSHA256": "sha256:ceaf5464c4fcf847f87c09024293492df90c9b5a60356819923c1da45357acb7",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/prior-required"
+      }
+    },
+    {
+      "elapsedMs": 177.98341700000014,
+      "expected": "fact",
+      "name": "catalog-projection",
+      "passed": true,
+      "requestSHA256": "sha256:af165a2d5e4a5764e3116e1b209eb2fe38d97404b45c0a8ec56e13db8b0bacb1",
+      "result": {
+        "kind": "fact",
+        "lines": [
+          "bound-lock/1 at=receipt:1 form=alphabet measure=reads role=reads scope=publication/evidence/projection-chain value=vectors/laws/projection-chain.native.json|contracts/projection-chain.json|proofs/projection-chain.md|vectors/laws/policy.json|vectors/laws/projection-chain.json|samples/laws/projection-chain/yes/sample.json|samples/laws/projection-chain/no/sample.json"
+        ],
+        "protocol": "bound-lock/1"
+      }
+    },
+    {
+      "elapsedMs": 242.84375,
+      "expected": "fact",
+      "name": "catalog-read",
+      "passed": true,
+      "requestSHA256": "sha256:8fa5a772cbe667f2b45fb24ba9a0245449a20865601f69fcd6ecc4cdbb174f67",
+      "result": {
+        "claims": [
+          {
+            "bound": {
+              "hi": 0,
+              "kind": "interval",
+              "lo": 0
+            },
+            "measure": "count",
+            "role": "writes",
+            "scope": "publication/evidence/projection-chain"
+          },
+          {
+            "bound": {
+              "kind": "enumerated",
+              "values": [
+                "sha256:87f01570d75f4b49b8bd88880198c2ed8966a7219c294ee44a2f03de7e4c94f3"
+              ]
+            },
+            "measure": "digest",
+            "role": "writes",
+            "scope": "publication/evidence/projection-chain/verification"
+          }
+        ],
+        "kind": "fact",
+        "protocol": "bound-lock/1"
+      }
+    },
+    {
+      "elapsedMs": 259.4943330000001,
+      "expected": "refuse",
+      "name": "catalog-missing-input",
+      "passed": true,
+      "requestSHA256": "sha256:2d7a5bc8fbbeaf54ec47fd8ef22eb07067d2b4a13626194485555064bbc03945",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection missing-input samples/laws/projection-chain/yes/sample.json"
+      }
+    },
+    {
+      "elapsedMs": 180.65495799999962,
+      "expected": "refuse",
+      "name": "catalog-handed-source-differs",
+      "passed": true,
+      "requestSHA256": "sha256:734a8a62ea33abc798b03fdd7a79896c6ffd0e1b13a9577d402bdafe0c82e3b9",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection fixture-source-differs samples/laws/projection-chain/yes/sample.json"
+      }
+    },
+    {
+      "elapsedMs": 181.70924999999988,
+      "expected": "refuse",
+      "name": "catalog-unsupported-general-law",
+      "passed": true,
+      "requestSHA256": "sha256:d921d08e6cfa0044e82bfad47ce55e288ab76544e79e68defa4f533559761a95",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection unsupported-general-law"
+      }
+    },
+    {
+      "elapsedMs": 182.4347499999999,
+      "expected": "refuse",
+      "name": "catalog-non-chain",
+      "passed": true,
+      "requestSHA256": "sha256:393fc624fd442040e3fbe011aedab85dd1dff39aabe22fa02e6c33616525da47",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/non-chain"
+      }
+    },
+    {
+      "elapsedMs": 183.4891249999996,
+      "expected": "refuse",
+      "name": "catalog-changed-prior",
+      "passed": true,
+      "requestSHA256": "sha256:80c0ad5d3cf5e11af22ca96b8feb62b953e75547c0ba3a2e5824f3bea02b07a4",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/changed-prior"
+      }
+    },
+    {
+      "elapsedMs": 179.2228329999998,
+      "expected": "refuse",
+      "name": "catalog-randomized-map",
+      "passed": true,
+      "requestSHA256": "sha256:c13a1747da3d1e0c4078a9f8916133311697268361e9d00429335729c9de6e8d",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/randomized-map"
+      }
+    },
+    {
+      "elapsedMs": 176.76712499999985,
+      "expected": "refuse",
+      "name": "catalog-prior-required",
+      "passed": true,
+      "requestSHA256": "sha256:ceaf5464c4fcf847f87c09024293492df90c9b5a60356819923c1da45357acb7",
+      "result": {
+        "kind": "refuse",
+        "protocol": "bound-lock/1",
+        "why": "Error: REFUSE\u00b7projection projection/prior-required"
+      }
+    }
+  ],
+  "classification": "retained actual host responses; exact historical input identities only",
+  "format": "native-reading-capture@1",
+  "ownerAdmitted": true,
+  "sameOrigin": true,
+  "sourceInputDigests": [
+    {
+      "bytes": 1969,
+      "path": "vectors/laws/projection-chain.native.json",
+      "sha256": "sha256:f9c8005c6da3593efb40c50b5449b375f4bc21c6820a0c6ef214ee1f29db1386"
+    },
+    {
+      "bytes": 1315,
+      "path": "contracts/projection-chain.json",
+      "sha256": "sha256:34add91f4dfd04d38490f85577fcbb95059a58803c8b82c4a82af2d265a421d9"
+    },
+    {
+      "bytes": 1373,
+      "path": "proofs/projection-chain.md",
+      "sha256": "sha256:7e6edc63c8dccd35ad6cc076f36cb61e4f8283cb97f3860d8355c7cab2ba4a5b"
+    },
+    {
+      "bytes": 2761,
+      "path": "vectors/laws/policy.json",
+      "sha256": "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
+    },
+    {
+      "bytes": 751,
+      "path": "vectors/laws/projection-chain.json",
+      "sha256": "sha256:904476a29e10dc29403d9dbc1f9c5d59d0793befccaed72cf8d57aff2d4e300a"
+    },
+    {
+      "bytes": 217,
+      "path": "samples/laws/projection-chain/yes/sample.json",
+      "sha256": "sha256:070799ba415f7a264e3755f0c136fdb58c8c0e077688ec34aaf5d0d132b251d5"
+    },
+    {
+      "bytes": 262,
+      "path": "samples/laws/projection-chain/no/sample.json",
+      "sha256": "sha256:647ec37e4ac3852211391f2bf81d1c05134860207d33d9eb8010c7ff43076965"
+    }
+  ]
+}

package/vectors/laws/projection-chain.native.json

@@ -0,0 +1,56 @@
+{
+  "id": "projection-chain-native@1",
+  "classification": "bounded-enumeration",
+  "universalLeanLaw": false,
+  "originalThreeCards": "open",
+  "scope": "publication/evidence/projection-chain",
+  "identityInputs": [
+    "vectors/laws/projection-chain.native.json",
+    "contracts/projection-chain.json",
+    "proofs/projection-chain.md",
+    "vectors/laws/policy.json",
+    "vectors/laws/projection-chain.json",
+    "samples/laws/projection-chain/yes/sample.json",
+    "samples/laws/projection-chain/no/sample.json"
+  ],
+  "anchors": [
+    {
+      "path": "contracts/projection-chain.json",
+      "sha256": "sha256:34add91f4dfd04d38490f85577fcbb95059a58803c8b82c4a82af2d265a421d9"
+    },
+    {
+      "path": "proofs/projection-chain.md",
+      "sha256": "sha256:7e6edc63c8dccd35ad6cc076f36cb61e4f8283cb97f3860d8355c7cab2ba4a5b"
+    },
+    {
+      "path": "vectors/laws/policy.json",
+      "sha256": "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
+    },
+    {
+      "path": "vectors/laws/projection-chain.json",
+      "sha256": "sha256:904476a29e10dc29403d9dbc1f9c5d59d0793befccaed72cf8d57aff2d4e300a"
+    },
+    {
+      "path": "samples/laws/projection-chain/yes/sample.json",
+      "sha256": "sha256:070799ba415f7a264e3755f0c136fdb58c8c0e077688ec34aaf5d0d132b251d5"
+    },
+    {
+      "path": "samples/laws/projection-chain/no/sample.json",
+      "sha256": "sha256:647ec37e4ac3852211391f2bf81d1c05134860207d33d9eb8010c7ff43076965"
+    }
+  ],
+  "instrument": {
+    "mix-loss.js": "sha256:af9c6a3dbeda91981b394b61e187f916dc0e0304801b7b654ff3e025ebce94cb",
+    "rational.js": "sha256:f25343eee4bbea1de211543a7036ca58f62aeefec1d124f787151ea57cbda2e7"
+  },
+  "capturePolicy": {
+    "timeoutMs": 25000,
+    "responseBytes": 65536
+  },
+  "result": {
+    "checks": 2100,
+    "zeroSupportCases": 2040,
+    "maxResidual": 1.1102230246251565e-16,
+    "transcriptSHA256": "sha256:389843437eed32a21777c1b754abd69826a3ac9b5450ae0720fd1b76b9adf323"
+  }
+}

package/vectors/measures/installed-artifact.cli.json

@@ -6,7 +6,7 @@
       "code": "sha256:72df3154eb2896bb552c3a052cfa3ba4e943742877c31871e341d9bc1ce0ec05",
       "tests": {
         "status": 0,
-        "stdout": "\u2714 installed 0.4.4 exports have no Bound or Topos runtime dependency (5.040375ms)\n\u2714 installed universal algebra retains the four states and named invalid-chain rejection (0.402875ms)\n\u2714 installed cofailure measures retain models, unmeasured inputs and named conflict refusal (10.096167ms)\n\u2714 installed marginal information retains the declared joint prior, two orders and named order refusal (1.380833ms)\n\u2139 tests 4\n\u2139 suites 0\n\u2139 pass 4\n\u2139 fail 0\n\u2139 cancelled 0\n\u2139 skipped 0\n\u2139 todo 0\n\u2139 duration_ms 93.171416\n",
+        "stdout": "\u2714 installed 0.4.6 exports have no Bound or Topos runtime dependency (8.869542ms)\n\u2714 installed universal algebra retains the four states and named invalid-chain rejection (0.413833ms)\n\u2714 installed cofailure measures retain models, unmeasured inputs and named conflict refusal (17.652041ms)\n\u2714 installed marginal information retains the declared joint prior, two orders and named order refusal (1.941791ms)\n\u2139 tests 4\n\u2139 suites 0\n\u2139 pass 4\n\u2139 fail 0\n\u2139 cancelled 0\n\u2139 skipped 0\n\u2139 todo 0\n\u2139 duration_ms 86.485917\n",
         "stderr": ""
       },
       "exports": {
@@ -16,8 +16,8 @@
       },
       "check": {
         "status": 0,
-        "stdout": "PASS     closed \u00b7 1 places \u00b7 456 ms\n",
-        "stderr": "RECEIPTS 21 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 456 ms\nCOST     act 0 s\n"
+        "stdout": "PASS     closed \u00b7 1 places \u00b7 748 ms\n",
+        "stderr": "RECEIPTS 41 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 748 ms\nCOST     act 1 s\n"
       }
     },
     {
@@ -25,7 +25,7 @@
       "code": "sha256:72df3154eb2896bb552c3a052cfa3ba4e943742877c31871e341d9bc1ce0ec05",
       "tests": {
         "status": 0,
-        "stdout": "\u2714 installed 0.4.4 exports have no Bound or Topos runtime dependency (5.045875ms)\n\u2714 installed universal algebra retains the four states and named invalid-chain rejection (0.407542ms)\n\u2714 installed cofailure measures retain models, unmeasured inputs and named conflict refusal (10.023166ms)\n\u2714 installed marginal information retains the declared joint prior, two orders and named order refusal (1.298958ms)\n\u2139 tests 4\n\u2139 suites 0\n\u2139 pass 4\n\u2139 fail 0\n\u2139 cancelled 0\n\u2139 skipped 0\n\u2139 todo 0\n\u2139 duration_ms 92.05125\n",
+        "stdout": "\u2714 installed 0.4.6 exports have no Bound or Topos runtime dependency (5.71325ms)\n\u2714 installed universal algebra retains the four states and named invalid-chain rejection (0.37925ms)\n\u2714 installed cofailure measures retain models, unmeasured inputs and named conflict refusal (10.334ms)\n\u2714 installed marginal information retains the declared joint prior, two orders and named order refusal (1.658083ms)\n\u2139 tests 4\n\u2139 suites 0\n\u2139 pass 4\n\u2139 fail 0\n\u2139 cancelled 0\n\u2139 skipped 0\n\u2139 todo 0\n\u2139 duration_ms 97.375167\n",
         "stderr": ""
       },
       "exports": {
@@ -35,8 +35,8 @@
       },
       "check": {
         "status": 0,
-        "stdout": "PASS     closed \u00b7 1 places \u00b7 452 ms\n",
-        "stderr": "RECEIPTS 21 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 452 ms\nCOST     act 0 s\n"
+        "stdout": "PASS     closed \u00b7 1 places \u00b7 624 ms\n",
+        "stderr": "RECEIPTS 41 read \u00b7 0 opened \u00b7 reading closures\nRECEIPTS 1 read \u00b7 0 opened \u00b7 624 ms\nCOST     act 1 s\n"
       }
     }
   ]