@lapxo/obligations 0.4.3 → 0.4.5

package/vectors/laws/helly-comb.json

@@ -0,0 +1,95 @@
+{
+  "id": "helly-comb@1",
+  "policy": "vectors/laws/policy.json",
+  "anchors": [
+    {
+      "path": "proofs/helly-comb.json",
+      "sha256": "sha256:1a8ce99e55a79eaa5685c7cc0253ea9f49bc3fb8e5cb024eeeda25ebdd3279a1"
+    },
+    {
+      "path": "proofs/resolution-encounters.json",
+      "sha256": "sha256:7ce955b553e8f60371ebfc885a76e56fb6f069c8ce34788b7e15ad0fec41024f"
+    },
+    {
+      "path": "proofs/coordination.json",
+      "sha256": "sha256:cce0a70047d346d80bb61e130f1e319b7ffc83d5d68e15ae4b6b875ccdd29c5a"
+    },
+    {
+      "path": "proofs/lean/Obligations/HellyComb.lean",
+      "sha256": "sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06"
+    },
+    {
+      "path": "vectors/laws/helly-comb.lean.json",
+      "sha256": "sha256:e3ae1b0a9a579180a6d4495682bfbd7742e423e59e8a0b0fdd8d0528c16f497d"
+    },
+    {
+      "path": "samples/laws/linage-rest/yes.json",
+      "sha256": "sha256:5545d2fa682a565bc05fc15210f3d848a4ed4da16306343f6c2022fa4934971f"
+    },
+    {
+      "path": "samples/laws/linage-rest/no.json",
+      "sha256": "sha256:c6430a75437b5bb80139574e5e4e78b6fc7ae3533338c20cd723e0ea8aa5d13d"
+    },
+    {
+      "path": "samples/yes/H1-uncertainty.json",
+      "sha256": "sha256:c776e1efdcb23a2c19f692e1b49300d4779027f953ad1c4e581c2ca2162c9304"
+    },
+    {
+      "path": "samples/no/H1-uncertainty.json",
+      "sha256": "sha256:ce55c4a2fb22e001a41cd7f6227ddbbbcda2ca675663c8a913cad4cd2423f3a7"
+    },
+    {
+      "path": "vectors/laws/policy.json",
+      "sha256": "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
+    },
+    {
+      "path": "src/measures/unanimity-fit.ts",
+      "sha256": "sha256:bfe9b5d3b24d9dd5391bbb426f19e60ea5064449b95f81994ae55293ed915c47"
+    },
+    {
+      "path": "src/measures/rational.ts",
+      "sha256": "sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a"
+    },
+    {
+      "path": "test/support/linage-rest-reader.ts",
+      "sha256": "sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315"
+    }
+  ],
+  "result": {
+    "classification": "law by counterexample with finite Lean certificate",
+    "pairs": [
+      {
+        "sets": [
+          0,
+          1
+        ],
+        "intersection": [
+          1
+        ]
+      },
+      {
+        "sets": [
+          0,
+          2
+        ],
+        "intersection": [
+          0
+        ]
+      },
+      {
+        "sets": [
+          1,
+          2
+        ],
+        "intersection": [
+          2
+        ]
+      }
+    ],
+    "triple": [],
+    "intervalT38Unchanged": true,
+    "notAUniversalHellyNumberClaim": true
+  },
+  "admission": false,
+  "signatures": 0
+}

package/vectors/laws/helly-comb.lean.json

@@ -0,0 +1,94 @@
+{
+  "instrument": "Lean 4.19.0 (6caaee842e94)",
+  "mathlib": "c44e0c8ee63ca166450922a373c7409c5d26b00b",
+  "source": "proofs/lean/Obligations/HellyComb.lean",
+  "sourceSha256": "sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06",
+  "events": [
+    {
+      "place": "orchard",
+      "operation": "positive",
+      "inputSha256": "sha256:f17221b376155b23cc43996177be95f1abbb0fd9c9e20fe1e7a8d36cd74b321f",
+      "sourceSha256": "sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06",
+      "exitCode": 0,
+      "executionMs": 2716.497542,
+      "stdout": "'Obligations.HellyComb.pairwise_nonempty' does not depend on any axioms\n'Obligations.HellyComb.triple_empty' does not depend on any axioms\n'Obligations.HellyComb.c_has_a_hole' does not depend on any axioms\n",
+      "stderr": "",
+      "stdoutSha256": "sha256:eeb25025656ad0b32157c9ba3c11ea3f2e190adc1882227ec12e5d9f0aa475bb",
+      "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+    },
+    {
+      "place": "orchard",
+      "operation": "negative",
+      "inputSha256": "sha256:ffb807040f8fbe4464c3add7de20215473c49aff05772a9e4e242cd2aff4a279",
+      "sourceSha256": "sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06",
+      "exitCode": 1,
+      "executionMs": 523.7031249999999,
+      "stdout": "negative.lean:22:52: error: tactic 'decide' proved that the proposition\n  (triple != []) = true\nis false\n",
+      "stderr": "",
+      "stdoutSha256": "sha256:73882a5329e1322637c17ab383fbd682164ca93ac716883b92df075b8f49ea4c",
+      "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+      "stdoutProjection": {
+        "profile": "diagnostic-location@1",
+        "meaning": "Public diagnostic retains the source basename, line, column and compiler refusal; the absolute fixture directory is omitted. This is a projection of captured output, not raw stdout.",
+        "originalSha256": "sha256:1a05ee1a4eda61b2e85ebb098cd32166ce3fd59945a82fcde8d3b36fb49b6d3c",
+        "projectedSha256": "sha256:73882a5329e1322637c17ab383fbd682164ca93ac716883b92df075b8f49ea4c"
+      }
+    },
+    {
+      "place": "catalog",
+      "operation": "positive",
+      "inputSha256": "sha256:f17221b376155b23cc43996177be95f1abbb0fd9c9e20fe1e7a8d36cd74b321f",
+      "sourceSha256": "sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06",
+      "exitCode": 0,
+      "executionMs": 534.43875,
+      "stdout": "'Obligations.HellyComb.pairwise_nonempty' does not depend on any axioms\n'Obligations.HellyComb.triple_empty' does not depend on any axioms\n'Obligations.HellyComb.c_has_a_hole' does not depend on any axioms\n",
+      "stderr": "",
+      "stdoutSha256": "sha256:eeb25025656ad0b32157c9ba3c11ea3f2e190adc1882227ec12e5d9f0aa475bb",
+      "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+    },
+    {
+      "place": "catalog",
+      "operation": "negative",
+      "inputSha256": "sha256:ffb807040f8fbe4464c3add7de20215473c49aff05772a9e4e242cd2aff4a279",
+      "sourceSha256": "sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06",
+      "exitCode": 1,
+      "executionMs": 553.2174580000002,
+      "stdout": "negative.lean:22:52: error: tactic 'decide' proved that the proposition\n  (triple != []) = true\nis false\n",
+      "stderr": "",
+      "stdoutSha256": "sha256:73882a5329e1322637c17ab383fbd682164ca93ac716883b92df075b8f49ea4c",
+      "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+      "stdoutProjection": {
+        "profile": "diagnostic-location@1",
+        "meaning": "Public diagnostic retains the source basename, line, column and compiler refusal; the absolute fixture directory is omitted. This is a projection of captured output, not raw stdout.",
+        "originalSha256": "sha256:c85643ae1dab911d1b69f5d2b337661cece25ad00c5a11ffcde73dc206290cf3",
+        "projectedSha256": "sha256:73882a5329e1322637c17ab383fbd682164ca93ac716883b92df075b8f49ea4c"
+      }
+    }
+  ],
+  "limits": {
+    "timeoutMs": 25000,
+    "responseBytes": 65536
+  },
+  "places": "two directories, one origin, shared immutable compiler and dependency cache",
+  "proofStatus": "kernel-checked finite witness; no general Helly theorem claimed",
+  "signatures": 0,
+  "admission": false,
+  "execution": {
+    "profile": "lean-kernel@1",
+    "auditedTheorems": [
+      "Obligations.HellyComb.pairwise_nonempty",
+      "Obligations.HellyComb.triple_empty",
+      "Obligations.HellyComb.c_has_a_hole"
+    ],
+    "allowedAxioms": [],
+    "negative": {
+      "name": "nonconvex-helly",
+      "source": "import Obligations.HellyComb\nexample : (Obligations.HellyComb.triple != []) = true := by decide\n",
+      "exitCode": 1,
+      "cause": [
+        "tactic 'decide'",
+        "is false"
+      ]
+    }
+  }
+}

package/vectors/laws/linage-rest.native.json

@@ -0,0 +1,335 @@
+{
+  "instrument": "@lapxo/bound@0.2.1",
+  "instrumentClosureSha256": "sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af",
+  "readerRuntime": "sha256:6e2764c1d05979e595328e421a529098691ddfd698df2f435f83fd57e96cbf0b",
+  "provider": "sha256:95234b03ea9bcfa8088740b2430d6792aebfeef038f5463a12e1fe3bf4a19a98",
+  "limits": {
+    "timeoutMs": 5000,
+    "responseBytes": 65536
+  },
+  "structuralForks": 0,
+  "grammar": "pass",
+  "events": [
+    {
+      "place": "orchard",
+      "case": "yes",
+      "context": {
+        "instrument": "sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af",
+        "implementation": "sha256:6e2764c1d05979e595328e421a529098691ddfd698df2f435f83fd57e96cbf0b",
+        "policy": "sha256:844cb5523cb2c62ec49e6c1fe509245bdc9bc7e1f239f1092fda4b89ffdcfc89",
+        "inputs": [
+          [
+            "provider",
+            "sha256:95234b03ea9bcfa8088740b2430d6792aebfeef038f5463a12e1fe3bf4a19a98"
+          ],
+          [
+            "fixture",
+            "sha256:483fc04760d05583958942668995107e1d364c0336f3da1b049c5850bac21306"
+          ],
+          [
+            "proofs/helly-comb.json",
+            "sha256:1a8ce99e55a79eaa5685c7cc0253ea9f49bc3fb8e5cb024eeeda25ebdd3279a1"
+          ],
+          [
+            "proofs/resolution-encounters.json",
+            "sha256:7ce955b553e8f60371ebfc885a76e56fb6f069c8ce34788b7e15ad0fec41024f"
+          ],
+          [
+            "proofs/coordination.json",
+            "sha256:cce0a70047d346d80bb61e130f1e319b7ffc83d5d68e15ae4b6b875ccdd29c5a"
+          ],
+          [
+            "proofs/lean/Obligations/HellyComb.lean",
+            "sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06"
+          ],
+          [
+            "vectors/laws/helly-comb.lean.json",
+            "sha256:95ca2c78b90bb17ce06e0b7cad561b1d87ce6df8fcf0c52f299ac7f73a05845f"
+          ],
+          [
+            "samples/laws/linage-rest/yes.json",
+            "sha256:5545d2fa682a565bc05fc15210f3d848a4ed4da16306343f6c2022fa4934971f"
+          ],
+          [
+            "samples/laws/linage-rest/no.json",
+            "sha256:c6430a75437b5bb80139574e5e4e78b6fc7ae3533338c20cd723e0ea8aa5d13d"
+          ],
+          [
+            "samples/yes/H1-uncertainty.json",
+            "sha256:c776e1efdcb23a2c19f692e1b49300d4779027f953ad1c4e581c2ca2162c9304"
+          ],
+          [
+            "samples/no/H1-uncertainty.json",
+            "sha256:ce55c4a2fb22e001a41cd7f6227ddbbbcda2ca675663c8a913cad4cd2423f3a7"
+          ],
+          [
+            "vectors/laws/policy.json",
+            "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
+          ],
+          [
+            "src/measures/unanimity-fit.ts",
+            "sha256:bfe9b5d3b24d9dd5391bbb426f19e60ea5064449b95f81994ae55293ed915c47"
+          ],
+          [
+            "src/measures/rational.ts",
+            "sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a"
+          ],
+          [
+            "test/support/linage-rest-reader.ts",
+            "sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315"
+          ],
+          [
+            "vectors/laws/helly-comb.json",
+            "sha256:00c19f7731f3905eae5a53300f8cb053b461acbc810cc51506fa6acb32d17986"
+          ],
+          [
+            "vectors/laws/resolution-encounters.json",
+            "sha256:2e259c30ca032990d29606463d79bbb5f443f88edbebb8dd5905284415d672b3"
+          ],
+          [
+            "vectors/laws/coordination.json",
+            "sha256:8354b4a688387b58c208aba34d091a9558462ae5e54622296a55877443dfc7ee"
+          ]
+        ],
+        "environment": [
+          [
+            "variables",
+            "sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80"
+          ],
+          [
+            "cwd",
+            "sha256:dca12248fbdf4745c082f88af5274d49c293b5cc762aa7523fe42338b8c70a71"
+          ],
+          [
+            "flags",
+            "sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945"
+          ],
+          [
+            "runtime",
+            "sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090"
+          ],
+          [
+            "platform",
+            "sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288"
+          ]
+        ]
+      },
+      "fixture": "sha256:483fc04760d05583958942668995107e1d364c0336f3da1b049c5850bac21306",
+      "receiptSha256": "sha256:d684cddde903f0b2aa17bbd985c77cf3de1d9c8aa94905e443c4f8dd088c1ee6",
+      "selection": "sha256:95234b03ea9bcfa8088740b2430d6792aebfeef038f5463a12e1fe3bf4a19a98 offers/capsule/linage-rest-044",
+      "read": 1,
+      "executed": 1,
+      "reusedRetainedExactReceipt": false,
+      "reuseExecuted": 0,
+      "executionMs": 606.67075,
+      "verificationMs": 0.629207999999835,
+      "reuseMs": 10.165250000000015,
+      "verifiedWithoutLedgerOrStore": 1,
+      "requireReadingContext": true,
+      "tamperedCarrierRejected": true,
+      "differentEnvironmentRejected": true,
+      "receipts": "bound-lock/1 at=place:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=publication/evidence/linage-rest value=sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=proofs/helly-comb.json value=sha256:1a8ce99e55a79eaa5685c7cc0253ea9f49bc3fb8e5cb024eeeda25ebdd3279a1\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=proofs/resolution-encounters.json value=sha256:7ce955b553e8f60371ebfc885a76e56fb6f069c8ce34788b7e15ad0fec41024f\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=proofs/coordination.json value=sha256:cce0a70047d346d80bb61e130f1e319b7ffc83d5d68e15ae4b6b875ccdd29c5a\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=proofs/lean/Obligations/HellyComb.lean value=sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=vectors/laws/helly-comb.lean.json value=sha256:95ca2c78b90bb17ce06e0b7cad561b1d87ce6df8fcf0c52f299ac7f73a05845f\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=samples/laws/linage-rest/yes.json value=sha256:5545d2fa682a565bc05fc15210f3d848a4ed4da16306343f6c2022fa4934971f\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=samples/laws/linage-rest/no.json value=sha256:c6430a75437b5bb80139574e5e4e78b6fc7ae3533338c20cd723e0ea8aa5d13d\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=samples/yes/H1-uncertainty.json value=sha256:c776e1efdcb23a2c19f692e1b49300d4779027f953ad1c4e581c2ca2162c9304\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=samples/no/H1-uncertainty.json value=sha256:ce55c4a2fb22e001a41cd7f6227ddbbbcda2ca675663c8a913cad4cd2423f3a7\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=src/measures/unanimity-fit.ts value=sha256:bfe9b5d3b24d9dd5391bbb426f19e60ea5064449b95f81994ae55293ed915c47\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=src/measures/rational.ts value=sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=test/support/linage-rest-reader.ts value=sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=vectors/laws/helly-comb.json value=sha256:00c19f7731f3905eae5a53300f8cb053b461acbc810cc51506fa6acb32d17986\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=vectors/laws/resolution-encounters.json value=sha256:2e259c30ca032990d29606463d79bbb5f443f88edbebb8dd5905284415d672b3\nbound-lock/1 at=witness:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=vectors/laws/coordination.json value=sha256:8354b4a688387b58c208aba34d091a9558462ae5e54622296a55877443dfc7ee\nbound-lock/1 at=place:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=interval measure=count role=writes scope=publication/evidence/linage-rest value=0..0\nbound-lock/1 at=place:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=digest role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b/identity value=sha256:5f3135255edc46a250790e3cfee418bc9829bc1fb761492558b393fd9155fe6b\nbound-lock/1 at=place:sha256:64258dbd515f242c77054d240bb620be9ab8008628599a726905b5d3182bccdf by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b value=sha256:64258dbd515f242c77054d240bb620be9ab8008628599a726905b5d3182bccdf\nbound-lock/1 about=\"[\\\"reading-context@1\\\",\\\"sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af\\\",\\\"sha256:6e2764c1d05979e595328e421a529098691ddfd698df2f435f83fd57e96cbf0b\\\",\\\"sha256:96a5b40b9b21e2f79a88ac9c49f8417c1cab9e62e1ca614077eb9a4598dbc421\\\",[[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"fixture\\\\\\\"]\\\",\\\"sha256:483fc04760d05583958942668995107e1d364c0336f3da1b049c5850bac21306\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/coordination.json\\\\\\\"]\\\",\\\"sha256:cce0a70047d346d80bb61e130f1e319b7ffc83d5d68e15ae4b6b875ccdd29c5a\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/helly-comb.json\\\\\\\"]\\\",\\\"sha256:1a8ce99e55a79eaa5685c7cc0253ea9f49bc3fb8e5cb024eeeda25ebdd3279a1\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/Obligations/HellyComb.lean\\\\\\\"]\\\",\\\"sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/resolution-encounters.json\\\\\\\"]\\\",\\\"sha256:7ce955b553e8f60371ebfc885a76e56fb6f069c8ce34788b7e15ad0fec41024f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"provider\\\\\\\"]\\\",\\\"sha256:95234b03ea9bcfa8088740b2430d6792aebfeef038f5463a12e1fe3bf4a19a98\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/linage-rest/no.json\\\\\\\"]\\\",\\\"sha256:c6430a75437b5bb80139574e5e4e78b6fc7ae3533338c20cd723e0ea8aa5d13d\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/linage-rest/yes.json\\\\\\\"]\\\",\\\"sha256:5545d2fa682a565bc05fc15210f3d848a4ed4da16306343f6c2022fa4934971f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/no/H1-uncertainty.json\\\\\\\"]\\\",\\\"sha256:ce55c4a2fb22e001a41cd7f6227ddbbbcda2ca675663c8a913cad4cd2423f3a7\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/yes/H1-uncertainty.json\\\\\\\"]\\\",\\\"sha256:c776e1efdcb23a2c19f692e1b49300d4779027f953ad1c4e581c2ca2162c9304\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/rational.ts\\\\\\\"]\\\",\\\"sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/unanimity-fit.ts\\\\\\\"]\\\",\\\"sha256:bfe9b5d3b24d9dd5391bbb426f19e60ea5064449b95f81994ae55293ed915c47\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"test/support/linage-rest-reader.ts\\\\\\\"]\\\",\\\"sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/coordination.json\\\\\\\"]\\\",\\\"sha256:8354b4a688387b58c208aba34d091a9558462ae5e54622296a55877443dfc7ee\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/helly-comb.json\\\\\\\"]\\\",\\\"sha256:00c19f7731f3905eae5a53300f8cb053b461acbc810cc51506fa6acb32d17986\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/helly-comb.lean.json\\\\\\\"]\\\",\\\"sha256:95ca2c78b90bb17ce06e0b7cad561b1d87ce6df8fcf0c52f299ac7f73a05845f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/resolution-encounters.json\\\\\\\"]\\\",\\\"sha256:2e259c30ca032990d29606463d79bbb5f443f88edbebb8dd5905284415d672b3\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/coordination.json\\\\\\\"]\\\",\\\"sha256:cce0a70047d346d80bb61e130f1e319b7ffc83d5d68e15ae4b6b875ccdd29c5a\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/helly-comb.json\\\\\\\"]\\\",\\\"sha256:1a8ce99e55a79eaa5685c7cc0253ea9f49bc3fb8e5cb024eeeda25ebdd3279a1\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/Obligations/HellyComb.lean\\\\\\\"]\\\",\\\"sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/resolution-encounters.json\\\\\\\"]\\\",\\\"sha256:7ce955b553e8f60371ebfc885a76e56fb6f069c8ce34788b7e15ad0fec41024f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/linage-rest/no.json\\\\\\\"]\\\",\\\"sha256:c6430a75437b5bb80139574e5e4e78b6fc7ae3533338c20cd723e0ea8aa5d13d\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/linage-rest/yes.json\\\\\\\"]\\\",\\\"sha256:5545d2fa682a565bc05fc15210f3d848a4ed4da16306343f6c2022fa4934971f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/no/H1-uncertainty.json\\\\\\\"]\\\",\\\"sha256:ce55c4a2fb22e001a41cd7f6227ddbbbcda2ca675663c8a913cad4cd2423f3a7\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/yes/H1-uncertainty.json\\\\\\\"]\\\",\\\"sha256:c776e1efdcb23a2c19f692e1b49300d4779027f953ad1c4e581c2ca2162c9304\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/rational.ts\\\\\\\"]\\\",\\\"sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/unanimity-fit.ts\\\\\\\"]\\\",\\\"sha256:bfe9b5d3b24d9dd5391bbb426f19e60ea5064449b95f81994ae55293ed915c47\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"test/support/linage-rest-reader.ts\\\\\\\"]\\\",\\\"sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/coordination.json\\\\\\\"]\\\",\\\"sha256:8354b4a688387b58c208aba34d091a9558462ae5e54622296a55877443dfc7ee\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/helly-comb.json\\\\\\\"]\\\",\\\"sha256:00c19f7731f3905eae5a53300f8cb053b461acbc810cc51506fa6acb32d17986\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/helly-comb.lean.json\\\\\\\"]\\\",\\\"sha256:95ca2c78b90bb17ce06e0b7cad561b1d87ce6df8fcf0c52f299ac7f73a05845f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/resolution-encounters.json\\\\\\\"]\\\",\\\"sha256:2e259c30ca032990d29606463d79bbb5f443f88edbebb8dd5905284415d672b3\\\"],[\\\"[\\\\\\\"plan\\\\\\\"]\\\",\\\"sha256:b9f066ab71228741a0843bcbaef846ac25779b9cb6d86b4fd78d2023eafb91ca\\\"]],[[\\\"cwd\\\",\\\"sha256:dca12248fbdf4745c082f88af5274d49c293b5cc762aa7523fe42338b8c70a71\\\"],[\\\"flags\\\",\\\"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945\\\"],[\\\"platform\\\",\\\"sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288\\\"],[\\\"runtime\\\",\\\"sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090\\\"],[\\\"variables\\\",\\\"sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80\\\"]]]\\n\" at=place:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=alphabet measure=bytes role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b value=sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b\nbound-lock/1 about=\"bound-lock/1 at=place:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=interval measure=count role=writes scope=publication/evidence/linage-rest value=0..0\\n\" at=place:sha256:64258dbd515f242c77054d240bb620be9ab8008628599a726905b5d3182bccdf by=reader:93cf8f2ccce2 form=interval measure=count role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b value=1..1\nbound-lock/1 at=place:sha256:f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b by=reader:93cf8f2ccce2 form=interval measure=s role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/f80de4f206409a812b0d3be2f69c0a4b90bfdf5afda8639db2e98f5eeb7d938b value=0.305350..0.305350\n"
+    },
+    {
+      "place": "orchard-changed-bytes",
+      "case": "no",
+      "fixture": "sha256:0595b5484657f1cf8aa7ab4be9f96810d9e4410d313932feab840ce8949732d3",
+      "expectedRefusal": "REFUSE·linage-rest anchor-digest proofs/coordination.json",
+      "refusal": "Error: REFUSE·reading publication/evidence/linage-rest · Error: REFUSE·linage-rest anchor-digest proofs/coordination.json",
+      "executionMs": 550.6138330000001,
+      "fixturePreserved": true
+    },
+    {
+      "place": "orchard-undeclared-joint-model",
+      "case": "no",
+      "fixture": "sha256:d1f9bcd1ec167c1a4645a71799551afb4da7de1bf78f0d6b2c357e4d21649f9b",
+      "expectedRefusal": "REFUSE·linage-rest joint-conditional-independence-required",
+      "refusal": "Error: REFUSE·reading publication/evidence/linage-rest · Error: REFUSE·linage-rest joint-conditional-independence-required",
+      "executionMs": 516.849459,
+      "fixturePreserved": true
+    },
+    {
+      "place": "orchard-missing-lean-evidence",
+      "case": "no",
+      "fixture": "sha256:24e4354c5be386370dcbae106051699262a01e7b6482cea8e23cf150ac8dcec3",
+      "expectedRefusal": "REFUSE·linage-rest missing-input vectors/laws/helly-comb.lean.json",
+      "refusal": "Error: REFUSE·input projection Error: REFUSE·linage-rest missing-input vectors/laws/helly-comb.lean.json",
+      "executionMs": 255.55358399999977,
+      "fixturePreserved": true
+    },
+    {
+      "place": "catalog",
+      "case": "yes",
+      "context": {
+        "instrument": "sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af",
+        "implementation": "sha256:6e2764c1d05979e595328e421a529098691ddfd698df2f435f83fd57e96cbf0b",
+        "policy": "sha256:844cb5523cb2c62ec49e6c1fe509245bdc9bc7e1f239f1092fda4b89ffdcfc89",
+        "inputs": [
+          [
+            "provider",
+            "sha256:95234b03ea9bcfa8088740b2430d6792aebfeef038f5463a12e1fe3bf4a19a98"
+          ],
+          [
+            "fixture",
+            "sha256:483fc04760d05583958942668995107e1d364c0336f3da1b049c5850bac21306"
+          ],
+          [
+            "proofs/helly-comb.json",
+            "sha256:1a8ce99e55a79eaa5685c7cc0253ea9f49bc3fb8e5cb024eeeda25ebdd3279a1"
+          ],
+          [
+            "proofs/resolution-encounters.json",
+            "sha256:7ce955b553e8f60371ebfc885a76e56fb6f069c8ce34788b7e15ad0fec41024f"
+          ],
+          [
+            "proofs/coordination.json",
+            "sha256:cce0a70047d346d80bb61e130f1e319b7ffc83d5d68e15ae4b6b875ccdd29c5a"
+          ],
+          [
+            "proofs/lean/Obligations/HellyComb.lean",
+            "sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06"
+          ],
+          [
+            "vectors/laws/helly-comb.lean.json",
+            "sha256:95ca2c78b90bb17ce06e0b7cad561b1d87ce6df8fcf0c52f299ac7f73a05845f"
+          ],
+          [
+            "samples/laws/linage-rest/yes.json",
+            "sha256:5545d2fa682a565bc05fc15210f3d848a4ed4da16306343f6c2022fa4934971f"
+          ],
+          [
+            "samples/laws/linage-rest/no.json",
+            "sha256:c6430a75437b5bb80139574e5e4e78b6fc7ae3533338c20cd723e0ea8aa5d13d"
+          ],
+          [
+            "samples/yes/H1-uncertainty.json",
+            "sha256:c776e1efdcb23a2c19f692e1b49300d4779027f953ad1c4e581c2ca2162c9304"
+          ],
+          [
+            "samples/no/H1-uncertainty.json",
+            "sha256:ce55c4a2fb22e001a41cd7f6227ddbbbcda2ca675663c8a913cad4cd2423f3a7"
+          ],
+          [
+            "vectors/laws/policy.json",
+            "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
+          ],
+          [
+            "src/measures/unanimity-fit.ts",
+            "sha256:bfe9b5d3b24d9dd5391bbb426f19e60ea5064449b95f81994ae55293ed915c47"
+          ],
+          [
+            "src/measures/rational.ts",
+            "sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a"
+          ],
+          [
+            "test/support/linage-rest-reader.ts",
+            "sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315"
+          ],
+          [
+            "vectors/laws/helly-comb.json",
+            "sha256:00c19f7731f3905eae5a53300f8cb053b461acbc810cc51506fa6acb32d17986"
+          ],
+          [
+            "vectors/laws/resolution-encounters.json",
+            "sha256:2e259c30ca032990d29606463d79bbb5f443f88edbebb8dd5905284415d672b3"
+          ],
+          [
+            "vectors/laws/coordination.json",
+            "sha256:8354b4a688387b58c208aba34d091a9558462ae5e54622296a55877443dfc7ee"
+          ]
+        ],
+        "environment": [
+          [
+            "variables",
+            "sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80"
+          ],
+          [
+            "cwd",
+            "sha256:572c0b524990598e9672c03e8a26af75f48aefbcfbdc9a8cce70c69218368c08"
+          ],
+          [
+            "flags",
+            "sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945"
+          ],
+          [
+            "runtime",
+            "sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090"
+          ],
+          [
+            "platform",
+            "sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288"
+          ]
+        ]
+      },
+      "fixture": "sha256:483fc04760d05583958942668995107e1d364c0336f3da1b049c5850bac21306",
+      "receiptSha256": "sha256:c15df3064216be757b8376c121966b9aa4c31fb9c3db901c4b54e39c756955ba",
+      "selection": "sha256:95234b03ea9bcfa8088740b2430d6792aebfeef038f5463a12e1fe3bf4a19a98 offers/capsule/linage-rest-044",
+      "read": 1,
+      "executed": 1,
+      "reusedRetainedExactReceipt": false,
+      "reuseExecuted": 0,
+      "executionMs": 566.9354589999998,
+      "verificationMs": 0.32333399999970425,
+      "reuseMs": 7.3379580000000715,
+      "verifiedWithoutLedgerOrStore": 1,
+      "requireReadingContext": true,
+      "tamperedCarrierRejected": true,
+      "differentEnvironmentRejected": true,
+      "receipts": "bound-lock/1 at=place:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=publication/evidence/linage-rest value=sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=proofs/helly-comb.json value=sha256:1a8ce99e55a79eaa5685c7cc0253ea9f49bc3fb8e5cb024eeeda25ebdd3279a1\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=proofs/resolution-encounters.json value=sha256:7ce955b553e8f60371ebfc885a76e56fb6f069c8ce34788b7e15ad0fec41024f\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=proofs/coordination.json value=sha256:cce0a70047d346d80bb61e130f1e319b7ffc83d5d68e15ae4b6b875ccdd29c5a\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=proofs/lean/Obligations/HellyComb.lean value=sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=vectors/laws/helly-comb.lean.json value=sha256:95ca2c78b90bb17ce06e0b7cad561b1d87ce6df8fcf0c52f299ac7f73a05845f\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=samples/laws/linage-rest/yes.json value=sha256:5545d2fa682a565bc05fc15210f3d848a4ed4da16306343f6c2022fa4934971f\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=samples/laws/linage-rest/no.json value=sha256:c6430a75437b5bb80139574e5e4e78b6fc7ae3533338c20cd723e0ea8aa5d13d\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=samples/yes/H1-uncertainty.json value=sha256:c776e1efdcb23a2c19f692e1b49300d4779027f953ad1c4e581c2ca2162c9304\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=samples/no/H1-uncertainty.json value=sha256:ce55c4a2fb22e001a41cd7f6227ddbbbcda2ca675663c8a913cad4cd2423f3a7\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=src/measures/unanimity-fit.ts value=sha256:bfe9b5d3b24d9dd5391bbb426f19e60ea5064449b95f81994ae55293ed915c47\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=src/measures/rational.ts value=sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=test/support/linage-rest-reader.ts value=sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=vectors/laws/helly-comb.json value=sha256:00c19f7731f3905eae5a53300f8cb053b461acbc810cc51506fa6acb32d17986\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=vectors/laws/resolution-encounters.json value=sha256:2e259c30ca032990d29606463d79bbb5f443f88edbebb8dd5905284415d672b3\nbound-lock/1 at=witness:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=vectors/laws/coordination.json value=sha256:8354b4a688387b58c208aba34d091a9558462ae5e54622296a55877443dfc7ee\nbound-lock/1 at=place:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=interval measure=count role=writes scope=publication/evidence/linage-rest value=0..0\nbound-lock/1 at=place:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=digest role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f/identity value=sha256:d8e2c2b45a9b99366230f6342fa6b37ab184b9c09c512639fa15dcbccb5007fb\nbound-lock/1 at=place:sha256:c511726e05b8687e607d1612838a1ca44802e783c467f32c62d1450d1633ae39 by=reader:93cf8f2ccce2 form=alphabet measure=observed role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f value=sha256:c511726e05b8687e607d1612838a1ca44802e783c467f32c62d1450d1633ae39\nbound-lock/1 about=\"[\\\"reading-context@1\\\",\\\"sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af\\\",\\\"sha256:6e2764c1d05979e595328e421a529098691ddfd698df2f435f83fd57e96cbf0b\\\",\\\"sha256:96a5b40b9b21e2f79a88ac9c49f8417c1cab9e62e1ca614077eb9a4598dbc421\\\",[[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"fixture\\\\\\\"]\\\",\\\"sha256:483fc04760d05583958942668995107e1d364c0336f3da1b049c5850bac21306\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/coordination.json\\\\\\\"]\\\",\\\"sha256:cce0a70047d346d80bb61e130f1e319b7ffc83d5d68e15ae4b6b875ccdd29c5a\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/helly-comb.json\\\\\\\"]\\\",\\\"sha256:1a8ce99e55a79eaa5685c7cc0253ea9f49bc3fb8e5cb024eeeda25ebdd3279a1\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/lean/Obligations/HellyComb.lean\\\\\\\"]\\\",\\\"sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/resolution-encounters.json\\\\\\\"]\\\",\\\"sha256:7ce955b553e8f60371ebfc885a76e56fb6f069c8ce34788b7e15ad0fec41024f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"provider\\\\\\\"]\\\",\\\"sha256:95234b03ea9bcfa8088740b2430d6792aebfeef038f5463a12e1fe3bf4a19a98\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/linage-rest/no.json\\\\\\\"]\\\",\\\"sha256:c6430a75437b5bb80139574e5e4e78b6fc7ae3533338c20cd723e0ea8aa5d13d\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/linage-rest/yes.json\\\\\\\"]\\\",\\\"sha256:5545d2fa682a565bc05fc15210f3d848a4ed4da16306343f6c2022fa4934971f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/no/H1-uncertainty.json\\\\\\\"]\\\",\\\"sha256:ce55c4a2fb22e001a41cd7f6227ddbbbcda2ca675663c8a913cad4cd2423f3a7\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/yes/H1-uncertainty.json\\\\\\\"]\\\",\\\"sha256:c776e1efdcb23a2c19f692e1b49300d4779027f953ad1c4e581c2ca2162c9304\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/rational.ts\\\\\\\"]\\\",\\\"sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/unanimity-fit.ts\\\\\\\"]\\\",\\\"sha256:bfe9b5d3b24d9dd5391bbb426f19e60ea5064449b95f81994ae55293ed915c47\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"test/support/linage-rest-reader.ts\\\\\\\"]\\\",\\\"sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/coordination.json\\\\\\\"]\\\",\\\"sha256:8354b4a688387b58c208aba34d091a9558462ae5e54622296a55877443dfc7ee\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/helly-comb.json\\\\\\\"]\\\",\\\"sha256:00c19f7731f3905eae5a53300f8cb053b461acbc810cc51506fa6acb32d17986\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/helly-comb.lean.json\\\\\\\"]\\\",\\\"sha256:95ca2c78b90bb17ce06e0b7cad561b1d87ce6df8fcf0c52f299ac7f73a05845f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/resolution-encounters.json\\\\\\\"]\\\",\\\"sha256:2e259c30ca032990d29606463d79bbb5f443f88edbebb8dd5905284415d672b3\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/coordination.json\\\\\\\"]\\\",\\\"sha256:cce0a70047d346d80bb61e130f1e319b7ffc83d5d68e15ae4b6b875ccdd29c5a\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/helly-comb.json\\\\\\\"]\\\",\\\"sha256:1a8ce99e55a79eaa5685c7cc0253ea9f49bc3fb8e5cb024eeeda25ebdd3279a1\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/lean/Obligations/HellyComb.lean\\\\\\\"]\\\",\\\"sha256:63aaee48944cd7b36bfbf22cd3fb38aad2b1846908d79c8061647d0523069c06\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/resolution-encounters.json\\\\\\\"]\\\",\\\"sha256:7ce955b553e8f60371ebfc885a76e56fb6f069c8ce34788b7e15ad0fec41024f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/linage-rest/no.json\\\\\\\"]\\\",\\\"sha256:c6430a75437b5bb80139574e5e4e78b6fc7ae3533338c20cd723e0ea8aa5d13d\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/linage-rest/yes.json\\\\\\\"]\\\",\\\"sha256:5545d2fa682a565bc05fc15210f3d848a4ed4da16306343f6c2022fa4934971f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/no/H1-uncertainty.json\\\\\\\"]\\\",\\\"sha256:ce55c4a2fb22e001a41cd7f6227ddbbbcda2ca675663c8a913cad4cd2423f3a7\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/yes/H1-uncertainty.json\\\\\\\"]\\\",\\\"sha256:c776e1efdcb23a2c19f692e1b49300d4779027f953ad1c4e581c2ca2162c9304\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/rational.ts\\\\\\\"]\\\",\\\"sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/unanimity-fit.ts\\\\\\\"]\\\",\\\"sha256:bfe9b5d3b24d9dd5391bbb426f19e60ea5064449b95f81994ae55293ed915c47\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"test/support/linage-rest-reader.ts\\\\\\\"]\\\",\\\"sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/coordination.json\\\\\\\"]\\\",\\\"sha256:8354b4a688387b58c208aba34d091a9558462ae5e54622296a55877443dfc7ee\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/helly-comb.json\\\\\\\"]\\\",\\\"sha256:00c19f7731f3905eae5a53300f8cb053b461acbc810cc51506fa6acb32d17986\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/helly-comb.lean.json\\\\\\\"]\\\",\\\"sha256:95ca2c78b90bb17ce06e0b7cad561b1d87ce6df8fcf0c52f299ac7f73a05845f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/resolution-encounters.json\\\\\\\"]\\\",\\\"sha256:2e259c30ca032990d29606463d79bbb5f443f88edbebb8dd5905284415d672b3\\\"],[\\\"[\\\\\\\"plan\\\\\\\"]\\\",\\\"sha256:b9f066ab71228741a0843bcbaef846ac25779b9cb6d86b4fd78d2023eafb91ca\\\"]],[[\\\"cwd\\\",\\\"sha256:572c0b524990598e9672c03e8a26af75f48aefbcfbdc9a8cce70c69218368c08\\\"],[\\\"flags\\\",\\\"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945\\\"],[\\\"platform\\\",\\\"sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288\\\"],[\\\"runtime\\\",\\\"sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090\\\"],[\\\"variables\\\",\\\"sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80\\\"]]]\\n\" at=place:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=alphabet measure=bytes role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f value=sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f\nbound-lock/1 about=\"bound-lock/1 at=place:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=interval measure=count role=writes scope=publication/evidence/linage-rest value=0..0\\n\" at=place:sha256:c511726e05b8687e607d1612838a1ca44802e783c467f32c62d1450d1633ae39 by=reader:93cf8f2ccce2 form=interval measure=count role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f value=1..1\nbound-lock/1 at=place:sha256:61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f by=reader:93cf8f2ccce2 form=interval measure=s role=writes scope=receipts/readings/a7a58654534ce5b717093954852979d847a0b2fcc6eb9cfe838c32c4b90b15e9/61f1ee42c0cea66e821ad867b4add7aae7b1bd9f2fbee142b581d4bc09ae070f value=0.293864..0.293864\n"
+    },
+    {
+      "place": "catalog-changed-bytes",
+      "case": "no",
+      "fixture": "sha256:0595b5484657f1cf8aa7ab4be9f96810d9e4410d313932feab840ce8949732d3",
+      "expectedRefusal": "REFUSE·linage-rest anchor-digest proofs/coordination.json",
+      "refusal": "Error: REFUSE·reading publication/evidence/linage-rest · Error: REFUSE·linage-rest anchor-digest proofs/coordination.json",
+      "executionMs": 549.549959,
+      "fixturePreserved": true
+    },
+    {
+      "place": "catalog-undeclared-joint-model",
+      "case": "no",
+      "fixture": "sha256:d1f9bcd1ec167c1a4645a71799551afb4da7de1bf78f0d6b2c357e4d21649f9b",
+      "expectedRefusal": "REFUSE·linage-rest joint-conditional-independence-required",
+      "refusal": "Error: REFUSE·reading publication/evidence/linage-rest · Error: REFUSE·linage-rest joint-conditional-independence-required",
+      "executionMs": 507.05558299999984,
+      "fixturePreserved": true
+    },
+    {
+      "place": "catalog-missing-lean-evidence",
+      "case": "no",
+      "fixture": "sha256:24e4354c5be386370dcbae106051699262a01e7b6482cea8e23cf150ac8dcec3",
+      "expectedRefusal": "REFUSE·linage-rest missing-input vectors/laws/helly-comb.lean.json",
+      "refusal": "Error: REFUSE·input projection Error: REFUSE·linage-rest missing-input vectors/laws/helly-comb.lean.json",
+      "executionMs": 226.11920800000007,
+      "fixturePreserved": true
+    }
+  ],
+  "signatures": 0,
+  "admission": false,
+  "ownerUsed": false,
+  "kernelReexecution": false,
+  "currentAdmissionResponse": false,
+  "publicDeliveryVerified": false,
+  "READY": false,
+  "meaning": "actual context-bearing native candidate receipts for the finite Helly witness, H1 diagnostic tables and declared coordination mixture; no universal product law, causal identification or admitted public export",
+  "resultVectors": [
+    {
+      "path": "vectors/laws/helly-comb.json",
+      "sha256": "sha256:00c19f7731f3905eae5a53300f8cb053b461acbc810cc51506fa6acb32d17986"
+    },
+    {
+      "path": "vectors/laws/resolution-encounters.json",
+      "sha256": "sha256:2e259c30ca032990d29606463d79bbb5f443f88edbebb8dd5905284415d672b3"
+    },
+    {
+      "path": "vectors/laws/coordination.json",
+      "sha256": "sha256:8354b4a688387b58c208aba34d091a9558462ae5e54622296a55877443dfc7ee"
+    }
+  ],
+  "readerSource": "test/support/linage-rest-reader.ts",
+  "readerSourceSha256": "sha256:6b1ff1cd94934070821ee4e843d5a68227f77b5f1f9c74746bb3282713e7f315",
+  "providerStanding": "bound-lock/1 at=witness:044/linage-rest-evidence form=alphabet kind=capsule measure=digest restsOn=sha256:6e2764c1d05979e595328e421a529098691ddfd698df2f435f83fd57e96cbf0b role=writes scope=offers/capsule/linage-rest-044 value=sha256:6e2764c1d05979e595328e421a529098691ddfd698df2f435f83fd57e96cbf0b\nbound-lock/1 at=witness:044/linage-rest-evidence form=alphabet measure=input-projection role=writes scope=region/linage-rest-044 value=inputs\nbound-lock/1 at=witness:044/linage-rest-evidence form=alphabet measure=reads role=writes scope=region/linage-rest-044 value=offers/capsule/linage-rest-044|region/linage-rest-044|proofs/helly-comb.json|proofs/resolution-encounters.json|proofs/coordination.json|proofs/lean/Obligations/HellyComb.lean|vectors/laws/helly-comb.lean.json|samples/laws/linage-rest/yes.json|samples/laws/linage-rest/no.json|samples/yes/H1-uncertainty.json|samples/no/H1-uncertainty.json|vectors/laws/policy.json|src/measures/unanimity-fit.ts|src/measures/rational.ts|test/support/linage-rest-reader.ts|vectors/laws/helly-comb.json|vectors/laws/resolution-encounters.json|vectors/laws/coordination.json\nbound-lock/1 at=witness:044/linage-rest-evidence form=alphabet measure=writes role=writes scope=region/linage-rest-044 value=count\n",
+  "places": "two directories, one origin; shared immutable dependencies",
+  "setupCosts": "Compiler/dependency acquisition, fixture construction, transpilation, enumeration used in preparation and packaging are preparation, not included in native execution timings. Native reading recomputes the finite quantities; it checks existing Lean captures, it does not rerun Lean."
+}