@lapxo/obligations 0.4.1 → 0.4.3

package/vectors/laws/l8-phase-defect.json

@@ -0,0 +1,214 @@
+{
+  "id": "L8",
+  "classification": "law by finite enumeration",
+  "policy": "vectors/laws/policy.json",
+  "numeric": {
+    "logarithm": "binary64-log2",
+    "absoluteTolerance": 1e-12
+  },
+  "contract": {
+    "domain": "n,p positive safe integers, p divides n; s integer with 0 <= s < p",
+    "value": "D(n,p,s)=log2(n/p)-h(s/p), h(0)=h(1)=0",
+    "minimum": "log2(n/p)-h(floor(p/2)/p); shifts floor(p/2),ceil(p/2), deduplicated, p=1 gives s=0",
+    "maximum": "all shifts: s=0; nonzero shifts: empty for p=1, {1} for p=2, {1,p-1} for p>=3",
+    "interpretation": "phase defect only; n>=2p is a nonnegative regime, not an information certificate",
+    "scope": "Enumeration verifies only 3<=n<=64; no unrestricted proof or mutual-information claim"
+  },
+  "enumeration": {
+    "nMinimum": 3,
+    "nMaximum": 64,
+    "divisorPairs": 277,
+    "shifts": 3399,
+    "nonzeroShifts": 3122
+  },
+  "cases": [
+    {
+      "n": 3,
+      "p": 3,
+      "s": 1,
+      "expected": -0.9182958340544896
+    },
+    {
+      "n": 4,
+      "p": 4,
+      "s": 2,
+      "expected": -1
+    },
+    {
+      "n": 8,
+      "p": 4,
+      "s": 1,
+      "expected": 0.18872187554086717
+    },
+    {
+      "n": 8,
+      "p": 4,
+      "s": 0,
+      "expected": 1
+    },
+    {
+      "n": 3,
+      "p": 1,
+      "s": 0,
+      "expected": 1.584962500721156
+    }
+  ],
+  "negativeClaims": [
+    {
+      "claim": "odd-period minimum equals log2(n/p)-1",
+      "counterexample": [
+        3,
+        3,
+        1
+      ],
+      "rejectedValue": -1
+    },
+    {
+      "claim": "maximum over all shifts occurs only at 1,p-1",
+      "counterexample": [
+        8,
+        4,
+        0
+      ],
+      "expected": 1
+    },
+    {
+      "claim": "F4 is information when n<p*2",
+      "counterexample": [
+        4,
+        4,
+        2
+      ],
+      "expectedRefusal": "REFUSE·phase-defect information interpretation unsupported"
+    }
+  ],
+  "invalid": [
+    {
+      "input": [
+        8,
+        3,
+        1
+      ],
+      "expectedRefusal": "REFUSE·phase-defect positive integer divisor domain required"
+    },
+    {
+      "input": [
+        3,
+        3,
+        1.5
+      ],
+      "expectedRefusal": "REFUSE·phase-defect integer shift domain required"
+    },
+    {
+      "input": [
+        4,
+        4,
+        4
+      ],
+      "expectedRefusal": "REFUSE·phase-defect integer shift domain required"
+    },
+    {
+      "input": [
+        0,
+        1,
+        0
+      ],
+      "expectedRefusal": "REFUSE·phase-defect positive integer divisor domain required"
+    },
+    {
+      "input": [
+        4.5,
+        1,
+        0
+      ],
+      "expectedRefusal": "REFUSE·phase-defect positive integer divisor domain required"
+    }
+  ],
+  "nativeCapture": {
+    "instrument": "@lapxo/bound@0.1.8",
+    "mode": "published-host-ABI",
+    "host": "dist/cli/host.js",
+    "hostSha256": "sha256:b0f52ce76b88ed793543897a0bef490414bfb4af2f5b876a3665dabf8583f879",
+    "reader": "test/support/measures-reader.js",
+    "implementation": "vectors/laws/implementation-043.json",
+    "implementationSha256": "sha256:361492637c3ea9eeec83fe7707fd16a0ae53b8882fe4de212bae1838721b710f",
+    "limits": {
+      "timeoutMs": 5000,
+      "responseBytes": 65536
+    },
+    "fullFold": false,
+    "admission": false,
+    "signatures": false,
+    "captures": [
+      {
+        "place": "orchard",
+        "case": "yes",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"n\\\":8,\\\"p\\\":4,\\\"s\\\":1,\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"interpretation\\\":\\\"phase-defect\\\",\\\"expected\\\":0.18872187554086717,\\\"group\\\":\\\"l8-phase-defect\\\",\\\"place\\\":\\\"orchard\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:06f6b9a12d8895a54df623905ce22d7531b50478fa5392bc8a176ab33b69521d",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 118.95100000000002,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"fact\",\"claims\":[{\"scope\":\"measurement/l8-phase-defect/orchard\",\"role\":\"writes\",\"measure\":\"result\",\"bound\":{\"kind\":\"enumerated\",\"values\":[\"{\\\"result\\\":{\\\"reading\\\":{\\\"model\\\":\\\"F4-integer-phase-defect@1\\\",\\\"parameters\\\":{\\\"n\\\":8,\\\"p\\\":4,\\\"s\\\":1},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"meaning\\\":\\\"phase defect; information interpretation open\\\",\\\"regime\\\":\\\"nonnegative\\\",\\\"value\\\":0.18872187554086717},\\\"extrema\\\":{\\\"model\\\":\\\"F4-integer-phase-defect@1\\\",\\\"parameters\\\":{\\\"n\\\":8,\\\"p\\\":4},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"minimum\\\":{\\\"value\\\":0,\\\"shifts\\\":[2]},\\\"maximum\\\":{\\\"value\\\":1,\\\"shifts\\\":[0]},\\\"nonzeroMaximum\\\":{\\\"value\\\":0.18872187554086717,\\\"shifts\\\":[1,3]}}},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"]}}]}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:0262bdd4cc1402588919fd1a42eaf8544fe3484541a26ecb15868e7580dbe8ed",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+        "repeat": {
+          "status": 0,
+          "runtimeMs": 119.88958300000013,
+          "stdoutSha256": "sha256:0262bdd4cc1402588919fd1a42eaf8544fe3484541a26ecb15868e7580dbe8ed",
+          "stderr": "",
+          "byteIdentical": true,
+          "meaning": "fresh host execution, not a cache-reuse receipt"
+        }
+      },
+      {
+        "place": "orchard",
+        "case": "no",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"n\\\":4,\\\"p\\\":4,\\\"s\\\":2,\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"interpretation\\\":\\\"information\\\",\\\"expectedRefusal\\\":\\\"REFUSE·phase-defect information interpretation unsupported\\\",\\\"group\\\":\\\"l8-phase-defect\\\",\\\"place\\\":\\\"orchard\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:0ac114567245151d155ec713f55215806f630b7937094f83ff27378fe9cfed0c",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 123.7919579999998,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"refuse\",\"why\":\"Error: REFUSE·phase-defect information interpretation unsupported\"}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:aa12855ff3dd5ea02507092e7d1ecb8762d148ab88f040882616d1b8a7e88dc3",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+      },
+      {
+        "place": "catalog",
+        "case": "yes",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"n\\\":8,\\\"p\\\":4,\\\"s\\\":1,\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"interpretation\\\":\\\"phase-defect\\\",\\\"expected\\\":0.18872187554086717,\\\"group\\\":\\\"l8-phase-defect\\\",\\\"place\\\":\\\"catalog\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:65e9154f7c47afb92af45d9fb15d46f144e2f084f501a8b7cfe6396209d84387",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 125.11133399999994,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"fact\",\"claims\":[{\"scope\":\"measurement/l8-phase-defect/catalog\",\"role\":\"writes\",\"measure\":\"result\",\"bound\":{\"kind\":\"enumerated\",\"values\":[\"{\\\"result\\\":{\\\"reading\\\":{\\\"model\\\":\\\"F4-integer-phase-defect@1\\\",\\\"parameters\\\":{\\\"n\\\":8,\\\"p\\\":4,\\\"s\\\":1},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"meaning\\\":\\\"phase defect; information interpretation open\\\",\\\"regime\\\":\\\"nonnegative\\\",\\\"value\\\":0.18872187554086717},\\\"extrema\\\":{\\\"model\\\":\\\"F4-integer-phase-defect@1\\\",\\\"parameters\\\":{\\\"n\\\":8,\\\"p\\\":4},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"minimum\\\":{\\\"value\\\":0,\\\"shifts\\\":[2]},\\\"maximum\\\":{\\\"value\\\":1,\\\"shifts\\\":[0]},\\\"nonzeroMaximum\\\":{\\\"value\\\":0.18872187554086717,\\\"shifts\\\":[1,3]}}},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"]}}]}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:98c24a9572f20c68459370a9b8235400caae0c37f75b32ee003c1f7fc3b5ad40",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+        "repeat": {
+          "status": 0,
+          "runtimeMs": 125.88366599999995,
+          "stdoutSha256": "sha256:98c24a9572f20c68459370a9b8235400caae0c37f75b32ee003c1f7fc3b5ad40",
+          "stderr": "",
+          "byteIdentical": true,
+          "meaning": "fresh host execution, not a cache-reuse receipt"
+        }
+      },
+      {
+        "place": "catalog",
+        "case": "no",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"n\\\":4,\\\"p\\\":4,\\\"s\\\":2,\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"interpretation\\\":\\\"information\\\",\\\"expectedRefusal\\\":\\\"REFUSE·phase-defect information interpretation unsupported\\\",\\\"group\\\":\\\"l8-phase-defect\\\",\\\"place\\\":\\\"catalog\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:ee411cddb841554d41b6918f53713a8162012c9435ff79f6f6e194b4fcb391d1",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 124.19862499999999,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"refuse\",\"why\":\"Error: REFUSE·phase-defect information interpretation unsupported\"}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:aa12855ff3dd5ea02507092e7d1ecb8762d148ab88f040882616d1b8a7e88dc3",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+      }
+    ],
+    "isolation": "two separate working directories with identical digest-verified reader image; no ledger, key or store; one origin"
+  }
+}

package/vectors/laws/l9-mix-loss.json

@@ -0,0 +1,130 @@
+{
+  "id": "L9-mix-noninjectivity",
+  "classification": [
+    "law-by-counterexample:existence-of-noninjectivity",
+    "measure-with-declared-prior"
+  ],
+  "policy": "vectors/laws/policy.json",
+  "sample": "samples/measures/l9-mix-loss.json",
+  "contract": {
+    "configuration": "Assignments of each named factor to a named value in the explicitly supplied admissible finite configuration list; duplicate assignments with new IDs are refused.",
+    "mix": "Exact rational sum of nonnegative declared weights by value, positive total; unique maximum emits that value, every tie emits the same distinguished bottom.",
+    "fork": "Assignments retain all factor names and values, hence are injective on the declared configurations.",
+    "prior": "Uniform is a selected modeling choice only when kind=uniform is explicitly present. Without a prior, unmeasured; explicit prior must name every configuration and sum exactly to one.",
+    "loss": "H(configuration | mix) under that prior, equal to H(configuration)-H(mix) for a deterministic projection; no causal, M/3, M/4 or algebraic-act contract is added.",
+    "ceiling": "budget bounds declared configuration count only; input validation, rational arithmetic and elapsed act cost are not claimed bounded by that count."
+  },
+  "oracle": {
+    "counterexample": {
+      "configurations": [
+        {
+          "x": "a",
+          "y": "b"
+        },
+        {
+          "x": "b",
+          "y": "a"
+        }
+      ],
+      "sameMix": "tie",
+      "distinctNamedForks": true
+    },
+    "uniformFourConfigurations": {
+      "configurationBits": 2,
+      "mixBits": 1.5,
+      "conditionalLossBits": 0.5,
+      "tiePosteriorBits": 1,
+      "forkLossBits": 0
+    },
+    "rejectedInterpretation": "log2(4/3) is not the conditional loss for this prior",
+    "numeric": "binary64-log2 approximations; tolerance 1e-12"
+  },
+  "nativeCapture": {
+    "instrument": "@lapxo/bound@0.1.8",
+    "mode": "published-host-ABI",
+    "host": "dist/cli/host.js",
+    "hostSha256": "sha256:b0f52ce76b88ed793543897a0bef490414bfb4af2f5b876a3665dabf8583f879",
+    "reader": "test/support/measures-reader.js",
+    "implementation": "vectors/laws/implementation-043.json",
+    "implementationSha256": "sha256:361492637c3ea9eeec83fe7707fd16a0ae53b8882fe4de212bae1838721b710f",
+    "limits": {
+      "timeoutMs": 5000,
+      "responseBytes": 65536
+    },
+    "fullFold": false,
+    "admission": false,
+    "signatures": false,
+    "captures": [
+      {
+        "place": "orchard",
+        "case": "yes",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"model\\\":{\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":\\\"1\\\"},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":\\\"1\\\"}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}],\\\"prior\\\":{\\\"kind\\\":\\\"uniform\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"expected\\\":{\\\"configurationBits\\\":2,\\\"mixBits\\\":1.5,\\\"lossBits\\\":0.5,\\\"tieConditionalBits\\\":1,\\\"forkLossBits\\\":0},\\\"group\\\":\\\"l9-mix-loss\\\",\\\"place\\\":\\\"orchard\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:8490e9d9db186156ef7edd9052bfd4765b516b873d58e0de198cfdf231fb2cb9",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 126.06233299999985,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"fact\",\"claims\":[{\"scope\":\"measurement/l9-mix-loss/orchard\",\"role\":\"writes\",\"measure\":\"result\",\"bound\":{\"kind\":\"enumerated\",\"values\":[\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"model\\\":\\\"declared-weighted-mix-projection@1\\\",\\\"parameters\\\":{\\\"m\\\":2,\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}]},\\\"prior\\\":{\\\"kind\\\":\\\"uniform\\\",\\\"probabilities\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}}]},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"unit\\\":\\\"bits\\\",\\\"approximation\\\":\\\"binary64-log2\\\",\\\"configurationBits\\\":2,\\\"mixBits\\\":1.5,\\\"lossBits\\\":0.5,\\\"entropyDifferenceBits\\\":0.5,\\\"forkLossBits\\\":0,\\\"mixInjectiveOnConfigurations\\\":false,\\\"mixInjectiveOnPositiveSupport\\\":false,\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"a\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"a\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"a\\\"}]},{\\\"id\\\":\\\"ab\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"a\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"b\\\"}]},{\\\"id\\\":\\\"ba\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"b\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"a\\\"}]},{\\\"id\\\":\\\"bb\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"b\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"b\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"b\\\"}]}],\\\"outputs\\\":[{\\\"output\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"a\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"configurations\\\":[\\\"aa\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"conditionalBits\\\":0},{\\\"output\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"configurations\\\":[\\\"ab\\\",\\\"ba\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}}],\\\"conditionalBits\\\":1},{\\\"output\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"b\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"configurations\\\":[\\\"bb\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"conditionalBits\\\":0}],\\\"meaning\\\":\\\"conditional entropy of the declared configuration given its deterministic mix output; named fork is injective\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"]}}]}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:ecb4e88e7e6525974d1e69a52d323501155dc359bf72249621dc1eebd7c73060",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+        "repeat": {
+          "status": 0,
+          "runtimeMs": 127.334292,
+          "stdoutSha256": "sha256:ecb4e88e7e6525974d1e69a52d323501155dc359bf72249621dc1eebd7c73060",
+          "stderr": "",
+          "byteIdentical": true,
+          "meaning": "fresh host execution, not a cache-reuse receipt"
+        }
+      },
+      {
+        "place": "orchard",
+        "case": "no",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"model\\\":{\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":\\\"1\\\"},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":\\\"1\\\"}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}],\\\"prior\\\":{\\\"kind\\\":\\\"explicit\\\",\\\"probabilities\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":\\\"1/8\\\"}]}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"expectedRefusal\\\":\\\"REFUSE·mix-loss prior probabilities must sum exactly to one\\\",\\\"group\\\":\\\"l9-mix-loss\\\",\\\"place\\\":\\\"orchard\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:9454f6951a913341f4c5435abaa75d675ef78c675639c9c8f2b5012cda13f595",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 124.40258300000005,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"refuse\",\"why\":\"Error: REFUSE·mix-loss prior probabilities must sum exactly to one\"}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:22e1ffc0fc7c27e0fed1e1a62dacdd17088a6c0814e2301138c80b0758b3de34",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+      },
+      {
+        "place": "catalog",
+        "case": "yes",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"model\\\":{\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":\\\"1\\\"},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":\\\"1\\\"}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}],\\\"prior\\\":{\\\"kind\\\":\\\"uniform\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"expected\\\":{\\\"configurationBits\\\":2,\\\"mixBits\\\":1.5,\\\"lossBits\\\":0.5,\\\"tieConditionalBits\\\":1,\\\"forkLossBits\\\":0},\\\"group\\\":\\\"l9-mix-loss\\\",\\\"place\\\":\\\"catalog\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:8b75462af1be9958dd5abffeb94a37d6803024495466da8c313f207beb9e7745",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 125.88016700000003,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"fact\",\"claims\":[{\"scope\":\"measurement/l9-mix-loss/catalog\",\"role\":\"writes\",\"measure\":\"result\",\"bound\":{\"kind\":\"enumerated\",\"values\":[\"{\\\"result\\\":{\\\"status\\\":\\\"measured\\\",\\\"model\\\":\\\"declared-weighted-mix-projection@1\\\",\\\"parameters\\\":{\\\"m\\\":2,\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}]},\\\"prior\\\":{\\\"kind\\\":\\\"uniform\\\",\\\"probabilities\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}},{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"}}]},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"unit\\\":\\\"bits\\\",\\\"approximation\\\":\\\"binary64-log2\\\",\\\"configurationBits\\\":2,\\\"mixBits\\\":1.5,\\\"lossBits\\\":0.5,\\\"entropyDifferenceBits\\\":0.5,\\\"forkLossBits\\\":0,\\\"mixInjectiveOnConfigurations\\\":false,\\\"mixInjectiveOnPositiveSupport\\\":false,\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"a\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"a\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"a\\\"}]},{\\\"id\\\":\\\"ab\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"a\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"b\\\"}]},{\\\"id\\\":\\\"ba\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"b\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"a\\\"}]},{\\\"id\\\":\\\"bb\\\",\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"mix\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"b\\\"},\\\"fork\\\":[{\\\"factor\\\":\\\"x\\\",\\\"value\\\":\\\"b\\\"},{\\\"factor\\\":\\\"y\\\",\\\"value\\\":\\\"b\\\"}]}],\\\"outputs\\\":[{\\\"output\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"a\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"configurations\\\":[\\\"aa\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"conditionalBits\\\":0},{\\\"output\\\":{\\\"kind\\\":\\\"tie\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"configurations\\\":[\\\"ab\\\",\\\"ba\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}}],\\\"conditionalBits\\\":1},{\\\"output\\\":{\\\"kind\\\":\\\"value\\\",\\\"value\\\":\\\"b\\\"},\\\"probability\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"4\\\"},\\\"configurations\\\":[\\\"bb\\\"],\\\"posterior\\\":[{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"conditionalBits\\\":0}],\\\"meaning\\\":\\\"conditional entropy of the declared configuration given its deterministic mix output; named fork is injective\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"]}}]}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:a90a0118bdde5f1fa65353304761ea57b9d67a09155e9174288f3a7501c0b916",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+        "repeat": {
+          "status": 0,
+          "runtimeMs": 129.32158299999992,
+          "stdoutSha256": "sha256:a90a0118bdde5f1fa65353304761ea57b9d67a09155e9174288f3a7501c0b916",
+          "stderr": "",
+          "byteIdentical": true,
+          "meaning": "fresh host execution, not a cache-reuse receipt"
+        }
+      },
+      {
+        "place": "catalog",
+        "case": "no",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"model\\\":{\\\"factors\\\":[{\\\"id\\\":\\\"x\\\",\\\"weight\\\":\\\"1\\\"},{\\\"id\\\":\\\"y\\\",\\\"weight\\\":\\\"1\\\"}],\\\"alphabet\\\":[\\\"a\\\",\\\"b\\\"],\\\"configurations\\\":[{\\\"id\\\":\\\"aa\\\",\\\"values\\\":[\\\"a\\\",\\\"a\\\"]},{\\\"id\\\":\\\"ab\\\",\\\"values\\\":[\\\"a\\\",\\\"b\\\"]},{\\\"id\\\":\\\"ba\\\",\\\"values\\\":[\\\"b\\\",\\\"a\\\"]},{\\\"id\\\":\\\"bb\\\",\\\"values\\\":[\\\"b\\\",\\\"b\\\"]}],\\\"prior\\\":{\\\"kind\\\":\\\"explicit\\\",\\\"probabilities\\\":[{\\\"configuration\\\":\\\"aa\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"ab\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"ba\\\",\\\"p\\\":\\\"1/8\\\"},{\\\"configuration\\\":\\\"bb\\\",\\\"p\\\":\\\"1/8\\\"}]}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\",\\\"budget\\\":\\\"100\\\"},\\\"expectedRefusal\\\":\\\"REFUSE·mix-loss prior probabilities must sum exactly to one\\\",\\\"group\\\":\\\"l9-mix-loss\\\",\\\"place\\\":\\\"catalog\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:d4dec3671ea9f327062e3e54e2638d9b0c3231a25148d6642db62475b6710612",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 126.56683399999974,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"refuse\",\"why\":\"Error: REFUSE·mix-loss prior probabilities must sum exactly to one\"}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:22e1ffc0fc7c27e0fed1e1a62dacdd17088a6c0814e2301138c80b0758b3de34",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+      }
+    ],
+    "isolation": "two separate working directories with identical digest-verified reader image; no ledger, key or store; one origin"
+  },
+  "admission": "not performed; no signatures or owner authority"
+}

package/vectors/laws/policy.json

@@ -0,0 +1,22 @@
+{
+  "id": "obligations-mathematical-vectors@1",
+  "scope": "Mathematical vector interpretation and test-only byte identity; no admission, signing, origin status or general fold engine.",
+  "numeric": {
+    "probabilities": "Exact rational arithmetic. Fractions use rational strings or numerator/denominator integer strings. Explicit finite dyadic constants such as 0, 0.25, 0.5 and 1 in fixed tables denote those exact rationals; do not infer measured probabilities from agreement.",
+    "integerCertificates": "Integer coefficients, counts and finite certificate identities are exact. State counts and partition witnesses retain their handed finite domains.",
+    "logarithms": {"policy":"binary64-log2","meaning":"Entropy, phase and information values computed with Math.log2 are explicit binary64 approximations, not exact real certificates.","defaultAbsoluteTolerance":1e-12,"exception":"A vector or reused historical sample may declare its own decimal precision or tolerance; the specific test must state it."}
+  },
+  "jsonIdentity": {
+    "objectKeys": "Sort object keys lexicographically recursively before JSON serialization.",
+    "arrays": "Preserve every array's order, including constraint witnesses, coefficient order, effective act order and timestamps. Never sort arrays merely to make hashes equal.",
+    "numbers": "Use the handed finite JSON numbers with standard JSON encoding; no decimal rounding, epsilon normalization or replacement of approximation by an exact claim.",
+    "hash": "SHA-256 of the resulting UTF-8 JSON bytes, demonstrated only in tests. A hash establishes byte identity under the declared projection, not theorem truth."
+  },
+  "claimCollectionProjection": {
+    "domain": "Fixed distinct static claims with explicit unique IDs, fixed values and origins, and no order-sensitive widening, withdrawal, epoch or mark interpretation.",
+    "operation": "Keep every claim field and sort this explicitly named collection by its unique ID before canonical JSON encoding. This sorting is a projection specific to that unordered collection; it does not reorder the object or its effective acts.",
+    "duplicates": "Duplicate IDs fall outside the distinct-claim domain and are refused; conflicting duplicates are never resolved by first/last arrival or a chosen value.",
+    "limit": "Equal hashes across arrival permutations apply only to this fixed unordered projection. Distinct effective mark order, including equal-time widening/signature sequence, remains visible and may have different values and hashes."
+  },
+  "research": "Claimed general hypotheses, C3 unqualified odd-period argmin and any unspecified objective stay open. Passing finite vectors alone does not establish unrestricted proofs or independent origins."
+}

package/vectors/measures/common-cause-capacity.cli.json

@@ -0,0 +1,97 @@
+{
+  "instrument": "@lapxo/bound@0.1.8",
+  "implementation": "sha256:8a6086d042bbf67cf6161cd97022aa8eaf43d41ac2a46fbd4680a83f394fa7cf",
+  "inventory": "vectors/measures/implementation-042.json",
+  "captures": [
+    {
+      "place": "orchard",
+      "negative": false,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:032c5e4f8302f41cdb19f7604852f5b9d40970eea80a71b87ab24cc5336ad4d7 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=032c5e4f8302f41c\nbound-lock/1 at=place:sha256:032c5e4f8302f41cdb19f7604852f5b9d40970eea80a71b87ab24cc5336ad4d7 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/common-cause-capacity/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-covering-symmetric-cause@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"q\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"cause-indicator-independent-of-truth\\\",\\\"active-cause-copies-one-symmetric-channel\\\",\\\"inactive-private-channel-unrestricted\\\"],\\\"value\\\":1.6415037499278844,\\\"meaning\\\":\\\"upper bound after revealing cause indicator; copies do not add; no achievability claim\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817\n",
+          "stderr": "READER   test/support/measures-reader.js · 1 run · 190 ms\nOBSERVE  1 run · 0 read by key · 194 ms\nOWN      imports 22 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 4 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT    fold capsules 5 ms · own 31 ms · regions 11 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT     fold 09ea742a folded 0.4 s\nKEPT     fold 09ea742a miss · no fold was kept before this one\n",
+          "runtimeMs": 518
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:032c5e4f8302f41cdb19f7604852f5b9d40970eea80a71b87ab24cc5336ad4d7 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=032c5e4f8302f41c\nbound-lock/1 at=place:sha256:032c5e4f8302f41cdb19f7604852f5b9d40970eea80a71b87ab24cc5336ad4d7 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/common-cause-capacity/orchard value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-covering-symmetric-cause@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"q\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"cause-indicator-independent-of-truth\\\",\\\"active-cause-copies-one-symmetric-channel\\\",\\\"inactive-private-channel-unrestricted\\\"],\\\"value\\\":1.6415037499278844,\\\"meaning\\\":\\\"upper bound after revealing cause indicator; copies do not add; no achievability claim\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817\n",
+          "stderr": "OBSERVE  0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN      imports 17 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 1 ms · zoom 0 ms · nos 0 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT    fold capsules 5 ms · own 27 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 1 ms · ceilings 1 ms\nBEAT     fold 09ea742a folded 0.1 s · 0.4 s folded\nKEPT     fold 09ea742a miss · no fold was kept before this one\n",
+          "runtimeMs": 260
+        }
+      ]
+    },
+    {
+      "place": "orchard",
+      "negative": true,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 1,
+          "stdout": "",
+          "stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·capacity common-cause accuracy q required\nOBSERVE  0 run · 0 read by key · 175 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·capacity common-cause accuracy q required\n",
+          "runtimeMs": 340
+        }
+      ]
+    },
+    {
+      "place": "catalog",
+      "negative": false,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:3c2bb264120d56c6bb793ffeaafffd66526e0b229e169a47a353b9aee0732c04 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=3c2bb264120d56c6\nbound-lock/1 at=place:sha256:3c2bb264120d56c6bb793ffeaafffd66526e0b229e169a47a353b9aee0732c04 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/common-cause-capacity/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-covering-symmetric-cause@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"q\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"cause-indicator-independent-of-truth\\\",\\\"active-cause-copies-one-symmetric-channel\\\",\\\"inactive-private-channel-unrestricted\\\"],\\\"value\\\":1.6415037499278844,\\\"meaning\\\":\\\"upper bound after revealing cause indicator; copies do not add; no achievability claim\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817\n",
+          "stderr": "READER   test/support/measures-reader.js · 1 run · 169 ms\nOBSERVE  1 run · 0 read by key · 174 ms\nOWN      imports 18 ms · bodies 0 ms · removed 0 ms · readers 1 ms · alphabets 0 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 1 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 0 ms · ship 0 ms\nSPENT    fold capsules 4 ms · own 28 ms · regions 10 ms · ceilings 2 ms · paid 0 ms · docs 0 ms · ceilings 0 ms\nBEAT     fold fcb5d07d folded 0.3 s\nKEPT     fold fcb5d07d miss · no fold was kept before this one\n",
+          "runtimeMs": 479
+        },
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 0,
+          "stdout": "bound-lock/1 at=place:sha256:3c2bb264120d56c6bb793ffeaafffd66526e0b229e169a47a353b9aee0732c04 by=reader:9dcadacead03 form=alphabet measure=observed role=writes scope=inputs/sample.json value=3c2bb264120d56c6\nbound-lock/1 at=place:sha256:3c2bb264120d56c6bb793ffeaafffd66526e0b229e169a47a353b9aee0732c04 by=reader:9dcadacead03 form=alphabet measure=result role=writes scope=measurement/common-cause-capacity/catalog value=\"{\\\"result\\\":{\\\"model\\\":\\\"single-covering-symmetric-cause@1\\\",\\\"parameters\\\":{\\\"n\\\":4,\\\"c\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"5\\\"},\\\"q\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"}},\\\"policy\\\":{\\\"logarithm\\\":\\\"binary64-log2\\\"},\\\"status\\\":\\\"measured\\\",\\\"unit\\\":\\\"bits\\\",\\\"conditions\\\":[\\\"uniform-truth\\\",\\\"cause-indicator-independent-of-truth\\\",\\\"active-cause-copies-one-symmetric-channel\\\",\\\"inactive-private-channel-unrestricted\\\"],\\\"value\\\":1.6415037499278844,\\\"meaning\\\":\\\"upper bound after revealing cause indicator; copies do not add; no achievability claim\\\"},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"\nbound-lock/1 at=place:sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817 by=bound form=alphabet measure=digest role=writes scope=instrument/implementation value=sha256:7216b46885c91cae64058e1a51f5741242500f55103faa1667a25a18aacf1817\n",
+          "stderr": "OBSERVE  0 run · 1 read by key · 1 readers kept whole · 3 ms\nOWN      imports 18 ms · bodies 0 ms · removed 0 ms · readers 0 ms · alphabets 1 ms · capsules 0 ms · regions 1 ms · vectors 0 ms · zoom 0 ms · nos 1 ms · zoomed 0 ms · applied 1 ms · laid 3 ms · resets 0 ms · store 1 ms · ship 0 ms\nSPENT    fold capsules 5 ms · own 27 ms · regions 9 ms · ceilings 1 ms · paid 0 ms · docs 0 ms · ceilings 1 ms\nBEAT     fold fcb5d07d folded 0.1 s · 0.3 s folded\nKEPT     fold fcb5d07d miss · no fold was kept before this one\n",
+          "runtimeMs": 255
+        }
+      ]
+    },
+    {
+      "place": "catalog",
+      "negative": true,
+      "events": [
+        {
+          "args": [
+            "fold",
+            "--as",
+            "receipts"
+          ],
+          "status": 1,
+          "stdout": "",
+          "stderr": "REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·capacity common-cause accuracy q required\nOBSERVE  0 run · 0 read by key · 173 ms\nbound: REFUSE·reader test/support/measures-reader.js · REFUSE·reader <place>/test/support/measures-reader.js · Error: REFUSE·capacity common-cause accuracy q required\n",
+          "runtimeMs": 336
+        }
+      ]
+    }
+  ]
+}

package/vectors/measures/confidence/expected.json

@@ -0,0 +1,26 @@
+{
+  "evidence": "fixed arithmetic oracle",
+  "values": [
+    {
+      "p": [
+        "1/10",
+        "1/5"
+      ],
+      "lowerBound": "7/10"
+    },
+    {
+      "p": [
+        "1/2",
+        "1/2"
+      ],
+      "lowerBound": "0"
+    },
+    {
+      "p": [
+        "3/5",
+        "3/5"
+      ],
+      "lowerBound": "0"
+    }
+  ]
+}