@lapxo/obligations 0.4.2 → 0.4.3

package/vectors/laws/l7-tolerant-k.json

@@ -0,0 +1,253 @@
+{
+  "id": "L7",
+  "classification": "law by counterexample; conditional bound arithmetic",
+  "policy": "vectors/laws/policy.json",
+  "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\":\"{\\\"group\\\":\\\"l7-tolerant-k\\\",\\\"operation\\\":\\\"subset-bound\\\",\\\"probabilitySpace\\\":\\\"declared:finite-common-space\\\",\\\"k\\\":1,\\\"failures\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":\\\"1\\\",\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":\\\"0\\\",\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":\\\"0\\\",\\\"justification\\\":\\\"hypothesis:2\\\"}],\\\"expectedFailureUpperBound\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"place\\\":\\\"orchard\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:ad81bcbec78912796a7ee9ec90e0ff8dee6364744b706b07c38ec4631e6bc7ea",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 150.923958,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"fact\",\"claims\":[{\"scope\":\"measurement/l7-tolerant-k/orchard\",\"role\":\"writes\",\"measure\":\"result\",\"bound\":{\"kind\":\"enumerated\",\"values\":[\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-subset-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"probabilitySpace\\\":\\\"declared:finite-common-space\\\",\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"}],\\\"allowedFailures\\\":1,\\\"totalDeclarations\\\":3,\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"declared-marginal-upper-bounds\\\"],\\\"referencesVerified\\\":false,\\\"terms\\\":[{\\\"id\\\":\\\"1\\\",\\\"subsets\\\":\\\"2\\\",\\\"contribution\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"}},{\\\"id\\\":\\\"2\\\",\\\"subsets\\\":\\\"1\\\",\\\"contribution\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"uncappedFailureBound\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"trivial\\\":false},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"]}}]}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:5611fc9eb845a4ca4ee0f40762be1687bbba840970e318f5c4c023532d70647d",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+        "repeat": {
+          "status": 0,
+          "runtimeMs": 133.74875000000003,
+          "stdoutSha256": "sha256:5611fc9eb845a4ca4ee0f40762be1687bbba840970e318f5c4c023532d70647d",
+          "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\":\"{\\\"group\\\":\\\"l7-tolerant-k\\\",\\\"operation\\\":\\\"independent-convolution\\\",\\\"probabilitySpace\\\":\\\"declared:finite-common-space\\\",\\\"k\\\":1,\\\"failures\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:2\\\"}],\\\"independence\\\":{\\\"probabilitySpace\\\":\\\"declared:finite-common-space\\\",\\\"pairwiseIndependence\\\":true,\\\"rho\\\":0,\\\"justification\\\":\\\"pairwise-only\\\"},\\\"expectedRefusal\\\":\\\"REFUSE·L7 joint-independence-required\\\",\\\"place\\\":\\\"orchard\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:f94abf6dd4d1e4799686aae17d26c1915b0dcceded96b54cb2ad88dd9c31d620",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 132.110209,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"refuse\",\"why\":\"Error: REFUSE·L7 joint-independence-required\"}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:b0d0d32f76b255efca0631ea85d38df6cceb13d3e1d4c0ba52a453711006f5d0",
+        "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\":\"{\\\"group\\\":\\\"l7-tolerant-k\\\",\\\"operation\\\":\\\"subset-bound\\\",\\\"probabilitySpace\\\":\\\"declared:finite-common-space\\\",\\\"k\\\":1,\\\"failures\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":\\\"1\\\",\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":\\\"0\\\",\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":\\\"0\\\",\\\"justification\\\":\\\"hypothesis:2\\\"}],\\\"expectedFailureUpperBound\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"place\\\":\\\"catalog\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:846de2b4088df5aa8c38659006e591854980ba47d79d53c798986cd6f13782a4",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 135.03954199999998,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"fact\",\"claims\":[{\"scope\":\"measurement/l7-tolerant-k/catalog\",\"role\":\"writes\",\"measure\":\"result\",\"bound\":{\"kind\":\"enumerated\",\"values\":[\"{\\\"result\\\":{\\\"model\\\":\\\"declared-failure-subset-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"probabilitySpace\\\":\\\"declared:finite-common-space\\\",\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"}],\\\"allowedFailures\\\":1,\\\"totalDeclarations\\\":3,\\\"conditions\\\":[\\\"common-probability-space\\\",\\\"declared-marginal-upper-bounds\\\"],\\\"referencesVerified\\\":false,\\\"terms\\\":[{\\\"id\\\":\\\"1\\\",\\\"subsets\\\":\\\"2\\\",\\\"contribution\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"}},{\\\"id\\\":\\\"2\\\",\\\"subsets\\\":\\\"1\\\",\\\"contribution\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"}}],\\\"uncappedFailureBound\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"0\\\",\\\"denominator\\\":\\\"1\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"1\\\"},\\\"trivial\\\":false},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"]}}]}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:0f0e3fdd113c56f94c5cbe17c0141cbfca0de83195a53d237b2c659d69aed5a3",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+        "repeat": {
+          "status": 0,
+          "runtimeMs": 123.25308400000006,
+          "stdoutSha256": "sha256:0f0e3fdd113c56f94c5cbe17c0141cbfca0de83195a53d237b2c659d69aed5a3",
+          "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\":\"{\\\"group\\\":\\\"l7-tolerant-k\\\",\\\"operation\\\":\\\"independent-convolution\\\",\\\"probabilitySpace\\\":\\\"declared:finite-common-space\\\",\\\"k\\\":1,\\\"failures\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:2\\\"}],\\\"independence\\\":{\\\"probabilitySpace\\\":\\\"declared:finite-common-space\\\",\\\"pairwiseIndependence\\\":true,\\\"rho\\\":0,\\\"justification\\\":\\\"pairwise-only\\\"},\\\"expectedRefusal\\\":\\\"REFUSE·L7 joint-independence-required\\\",\\\"place\\\":\\\"catalog\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:6da5c9f5c102202a072f04e4542881a244897a055f19f5417e437283667dd057",
+        "status": 0,
+        "signal": null,
+        "runtimeMs": 123.31112500000006,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"refuse\",\"why\":\"Error: REFUSE·L7 joint-independence-required\"}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:b0d0d32f76b255efca0631ea85d38df6cceb13d3e1d4c0ba52a453711006f5d0",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+      },
+      {
+        "place": "orchard",
+        "case": "independentYes",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"operation\\\":\\\"independent-convolution\\\",\\\"probabilitySpace\\\":\\\"declared:independent-Bernoulli\\\",\\\"k\\\":1,\\\"failures\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:2\\\"}],\\\"independence\\\":{\\\"probabilitySpace\\\":\\\"declared:independent-Bernoulli\\\",\\\"jointIndependence\\\":true,\\\"justification\\\":\\\"hypothesis:joint-product-law\\\"},\\\"expectedFailureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"group\\\":\\\"l7-tolerant-k\\\",\\\"place\\\":\\\"orchard\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:49cae487c47f721bbf6848d9c305109f95ed03edf54a9eaa7e0d101c1c0b381c",
+        "status": 0,
+        "runtimeMs": 136.89020800000003,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"fact\",\"claims\":[{\"scope\":\"measurement/l7-tolerant-k/orchard\",\"role\":\"writes\",\"measure\":\"result\",\"bound\":{\"kind\":\"enumerated\",\"values\":[\"{\\\"result\\\":{\\\"model\\\":\\\"declared-joint-independent-count-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"probabilitySpace\\\":\\\"declared:independent-Bernoulli\\\",\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"}],\\\"allowedFailures\\\":1,\\\"totalDeclarations\\\":3,\\\"jointIndependence\\\":{\\\"declared\\\":true,\\\"justification\\\":\\\"hypothesis:joint-product-law\\\"},\\\"referencesVerified\\\":false,\\\"bernoulliEnvelope\\\":[{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"8\\\"},{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"8\\\"},{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"8\\\"},{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"8\\\"}],\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"trivial\\\":false},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"]}}]}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:42ef2b918f93c41ce5f9ec00b05ccc7981c3a7c77cd362f38a8e7d0e81f7d3e6",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+        "repeat": {
+          "status": 0,
+          "runtimeMs": 113.61795800000002,
+          "stdoutSha256": "sha256:42ef2b918f93c41ce5f9ec00b05ccc7981c3a7c77cd362f38a8e7d0e81f7d3e6",
+          "stderr": "",
+          "byteIdentical": true,
+          "meaning": "fresh host execution, not a cache-reuse receipt"
+        }
+      },
+      {
+        "place": "catalog",
+        "case": "independentYes",
+        "input": "[{\"protocol\":\"bound-lock/1\",\"verb\":\"read\",\"rootScope\":\"inputs/sample.json\",\"region\":\"measure\",\"files\":[{\"place\":\"inputs/sample.json\",\"text\":\"{\\\"operation\\\":\\\"independent-convolution\\\",\\\"probabilitySpace\\\":\\\"declared:independent-Bernoulli\\\",\\\"k\\\":1,\\\"failures\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":\\\"1/2\\\",\\\"justification\\\":\\\"hypothesis:2\\\"}],\\\"independence\\\":{\\\"probabilitySpace\\\":\\\"declared:independent-Bernoulli\\\",\\\"jointIndependence\\\":true,\\\"justification\\\":\\\"hypothesis:joint-product-law\\\"},\\\"expectedFailureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"group\\\":\\\"l7-tolerant-k\\\",\\\"place\\\":\\\"catalog\\\"}\\n\"}],\"lines\":[]}]",
+        "stdinSha256": "sha256:18ed62461b44e6225c370912d067d8c68c3029447d11c441bb021fa89ac4bf0c",
+        "status": 0,
+        "runtimeMs": 114.046333,
+        "stdout": "\n[{\"protocol\":\"bound-lock/1\",\"kind\":\"fact\",\"claims\":[{\"scope\":\"measurement/l7-tolerant-k/catalog\",\"role\":\"writes\",\"measure\":\"result\",\"bound\":{\"kind\":\"enumerated\",\"values\":[\"{\\\"result\\\":{\\\"model\\\":\\\"declared-joint-independent-count-bound@1\\\",\\\"status\\\":\\\"conditional-bound\\\",\\\"unit\\\":\\\"probability\\\",\\\"probabilitySpace\\\":\\\"declared:independent-Bernoulli\\\",\\\"declarations\\\":[{\\\"id\\\":\\\"0\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"justification\\\":\\\"hypothesis:0\\\"},{\\\"id\\\":\\\"1\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"justification\\\":\\\"hypothesis:1\\\"},{\\\"id\\\":\\\"2\\\",\\\"p\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"justification\\\":\\\"hypothesis:2\\\"}],\\\"allowedFailures\\\":1,\\\"totalDeclarations\\\":3,\\\"jointIndependence\\\":{\\\"declared\\\":true,\\\"justification\\\":\\\"hypothesis:joint-product-law\\\"},\\\"referencesVerified\\\":false,\\\"bernoulliEnvelope\\\":[{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"8\\\"},{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"8\\\"},{\\\"numerator\\\":\\\"3\\\",\\\"denominator\\\":\\\"8\\\"},{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"8\\\"}],\\\"failureUpperBound\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"value\\\":{\\\"numerator\\\":\\\"1\\\",\\\"denominator\\\":\\\"2\\\"},\\\"trivial\\\":false},\\\"states\\\":[\\\"FREE\\\",\\\"REQUIRED\\\",\\\"FORBIDDEN\\\",\\\"CONFLICT\\\"]}\"]}}]}]\n",
+        "stderr": "",
+        "stdoutSha256": "sha256:bd2d77f25fce51ac596b469b158dd909c51c45b7c7077ec59c381c7851ec1fdc",
+        "stderrSha256": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+        "repeat": {
+          "status": 0,
+          "runtimeMs": 113.99241699999993,
+          "stdoutSha256": "sha256:bd2d77f25fce51ac596b469b158dd909c51c45b7c7077ec59c381c7851ec1fdc",
+          "stderr": "",
+          "byteIdentical": true,
+          "meaning": "fresh host execution, not a cache-reuse receipt"
+        }
+      }
+    ],
+    "isolation": "two separate working directories with identical digest-verified reader image; no ledger, key or store; one origin"
+  },
+  "evidenceKind": "mathematical oracle and exact finite witnesses; native execution not yet captured",
+  "proof": [
+    "{N>k} is the union of intersections of k+1 failure events.",
+    "Each intersection probability is at most its smallest declared marginal upper bound.",
+    "Union bound then cap at 1; empty subset family for k=m gives 0."
+  ],
+  "cases": [
+    {
+      "p": [
+        "1",
+        "0",
+        "0"
+      ],
+      "k": 1,
+      "subsetFailureBound": "0",
+      "trivial": false
+    },
+    {
+      "p": [
+        "1/10",
+        "1/10",
+        "1/10"
+      ],
+      "k": 1,
+      "subsetFailureBound": "3/10",
+      "trivial": false,
+      "note": "not a counterexample to old top-two guarantee; stronger 0.4.2 bound gives success17/20"
+    },
+    {
+      "p": [
+        "2/5",
+        "2/5",
+        "2/5",
+        "2/5",
+        "2/5",
+        "2/5"
+      ],
+      "k": 2,
+      "subsetFailureBound": "1",
+      "uncappedFailureBound": "8",
+      "trivial": true,
+      "oldClaimedSuccess": "-1/5"
+    },
+    {
+      "p": [],
+      "k": 0,
+      "subsetFailureBound": "0",
+      "trivial": false
+    }
+  ],
+  "oldClaimActualCounterexample": {
+    "p": [
+      "1/10",
+      "1/10",
+      "1/10",
+      "1/10",
+      "1/10",
+      "1/10"
+    ],
+    "k": 1,
+    "denominator": 10,
+    "outcomes": [
+      {
+        "failed": [
+          0,
+          1
+        ],
+        "weight": 1
+      },
+      {
+        "failed": [
+          2,
+          3
+        ],
+        "weight": 1
+      },
+      {
+        "failed": [
+          4,
+          5
+        ],
+        "weight": 1
+      },
+      {
+        "failed": [],
+        "weight": 7
+      }
+    ],
+    "actualSuccess": "7/10",
+    "oldClaimedSuccess": "4/5"
+  },
+  "pairwiseNotJoint": {
+    "states": [
+      "000",
+      "011",
+      "101",
+      "110"
+    ],
+    "prior": [
+      "1/4",
+      "1/4",
+      "1/4",
+      "1/4"
+    ],
+    "p": [
+      "1/2",
+      "1/2",
+      "1/2"
+    ],
+    "k": 1,
+    "actualFailure": "3/4",
+    "independentFailure": "1/2"
+  },
+  "domains": {
+    "k": "integer in0..m",
+    "probabilities": "exact rational upper bounds in[0,1]",
+    "commonSpace": "explicit nonblank identifier, not verified",
+    "independence": "explicit joint declaration and justification required only for convolution",
+    "references": "retained, never verified"
+  },
+  "sample": "samples/measures/l7-tolerant-k.json"
+}

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"
+  }
+}