@lapxo/obligations 0.4.1 → 0.4.3

package/samples/yes/installed-artifact.json

@@ -1,7 +1,7 @@
 {
   "format": "installed-acceptance/1",
   "name": "@lapxo/obligations",
-  "version": "0.4.1",
+  "version": "0.4.3",
   "exports": {
     ".": {
       "types": "./dist/lattice/index.d.ts",
@@ -204,7 +204,7 @@
     },
     {
       "path": "dist/lattice/obligatory.js",
-      "sha256": "sha256:1cce37198c95a6afd9842d82feef430414f1c6f0933a631f70e0d21b9eafb924"
+      "sha256": "sha256:767c01b525fe5e97997acebdd2aac89c0d6e579fd9d6955c339292d17d34d048"
     },
     {
       "path": "dist/lattice/order.js",
@@ -244,12 +244,16 @@
     },
     {
       "path": "dist/measures/capacity.js",
-      "sha256": "sha256:d9a178aa08c3ecd4d2630cd99560d1461d1f1e557fb96b01fc21052db5f20881"
+      "sha256": "sha256:cb4bca882f1b3352e30821904e9fa5eccb003116e50cea14a34f201ee99768f4"
     },
     {
       "path": "dist/measures/coincidence.js",
       "sha256": "sha256:61b7c27f3e60b6b5ce026295afe53458a88058c8efd0cd8449ed8b12a4f1d7c2"
     },
+    {
+      "path": "dist/measures/confidence.js",
+      "sha256": "sha256:28e7f2c69c392abf08788db2a4a24a215c4f8d135d68359b99a477b2aee2a752"
+    },
     {
       "path": "dist/measures/error-events.js",
       "sha256": "sha256:6a67eb1fbfa48629cff9bc173c9ae569b4803b9dbdbf945368add0ac52a6d200"
@@ -268,7 +272,7 @@
     },
     {
       "path": "dist/measures/index.js",
-      "sha256": "sha256:2ad8dfb4eb2da8fdbbfd002656e5fc13f1756247080e40ebcb9aa1183fb32d24"
+      "sha256": "sha256:f91b8411e19f7e58d7edd6956ef828974605ae19584fcb2af6c0b0f0cedd8212"
     },
     {
       "path": "dist/measures/m3-experiment.js",
@@ -278,10 +282,18 @@
       "path": "dist/measures/m3.js",
       "sha256": "sha256:b971ae5160893f9565087b7e6b79eb9ad24431d232ad3f37ff290cc4adb44a35"
     },
+    {
+      "path": "dist/measures/mix-loss.js",
+      "sha256": "sha256:af9c6a3dbeda91981b394b61e187f916dc0e0304801b7b654ff3e025ebce94cb"
+    },
     {
       "path": "dist/measures/model.js",
       "sha256": "sha256:70b5d5d4e3c835e03fefa2adf632669eec248a2a2adabf9b054be4fd018cb85a"
     },
+    {
+      "path": "dist/measures/phase-defect.js",
+      "sha256": "sha256:02188b862c7d9976c8c40f7f3bec5a94358d7ef3257264cec00cb046f74cb807"
+    },
     {
       "path": "dist/measures/rational.js",
       "sha256": "sha256:f25343eee4bbea1de211543a7036ca58f62aeefec1d124f787151ea57cbda2e7"
@@ -290,6 +302,10 @@
       "path": "dist/measures/spectrum.js",
       "sha256": "sha256:06b38b556472d7c27bf51e423b4305cb1427af5aedb0012c3a77f3168a8a9c53"
     },
+    {
+      "path": "dist/measures/tolerant-subsets.js",
+      "sha256": "sha256:e99481ddf1c92fbef2ba34e9ad75e98f7aa98e29e9e638837e1c6ad49c99e2bb"
+    },
     {
       "path": "dist/measures/unanimity-fit.js",
       "sha256": "sha256:dccb3a3c4fe72954f02b1e7e0c3a59f26253bd2b10909d56ef599c4e447f7c76"
@@ -375,50 +391,21 @@
       "sha256": "sha256:982ffa68c9512832cce698785d1f67816a504b98d1dd05b7c1962dda0584e808"
     }
   ],
-  "code": "sha256:df91b63109afbe37c359ee07b497ebc2ded0af71a2fb10982376a095ff685dbc",
   "tests": [
-    "finite exact joint probabilities reproduce the four captured information vectors",
-    "p=0 is k-invariant; limit statements never overwrite finite or uninformative channels",
-    "the binary all-wrong channel carries a full bit; plurality is not an information bound",
-    "finite decision accuracy, decision information and posterior information stay separate",
-    "work budgets refuse before exponential evaluation and logs are explicitly declared",
-    "equal pair marginals hide XOR dependence; signed coincidence excess keeps the triple deficit",
-    "uniform independent wrong values exactly match the declared reference",
-    "independent events with nonuniform labels exceed the uniform reference without proving a cause",
-    "redelivery and ordering add no event; conflicting values refuse; inputs stay unchanged",
-    "absence, zero reference and insufficient budget are distinct, never inferred independence",
-    "estimated marginals condition on truth rather than pooling distinct populations",
-    "analytic eigensystem satisfies residual and orthogonality; inputs are unchanged",
-    "repeated eigenvalues have no unique top loading; their full variance subspace remains readable",
-    "subset variance is descriptive, not a probability of error",
-    "invalid matrices refuse, and an insufficient numerical budget never claims a spectrum",
-    "spectrum and trace participation ratios agree on handed error events",
-    "T1 handles counterexample, degeneracies, and large counts without underflow misclassification",
-    "descent counts distinct scopes, keeps absence unknown, and refuses cycles",
-    "independent balanced errors and perfectly shared errors have different effective ranks",
-    "redelivery and declaration order add neither observations nor origins",
-    "missing observations and no variation do not prove independence",
-    "population covariance is normalized by the observed event population",
-    "T5 reference stream reproduces model counts without claiming certification",
-    "interest is an explicit controlled bias within the reference model",
-    "declared finite-data fit recovers shared log survival, records residuals and reproducible bootstrap, never Φ or D",
-    "zero joint counts, absent rank and insufficient resources never report fitted probabilities",
-    "the same finite-data procedure identifies a declared overlapping two-factor system",
-    "population identification recovers exact shared survival without identifying private versus singleton error",
-    "rank, zero correctness, incompatible moments and budget retain unidentified or misfit outcomes",
-    "general declared pair systems recover more than one factor and reject unexplained residuals",
-    "dissent certificate depends on actual ordered configuration, never on dissent alone",
-    "M/3 captured covering, partial and impossible-conditioning vectors are exact",
-    "singleton governance is preserved and collision partitions distinguish zero from absence",
-    "probe uses the exact posterior and is unmeasured only at zero extension mass",
-    "validation and budget refuse or remain unmeasured before accumulating a partial result",
-    "half-even display is independent of binary floating point and uses declared digits",
-    "controlled T1 and T5 declare their stream and denominators and match handed M/3 populations",
-    "partition evaluator equals direct wrong-value enumeration for overlapping factors on a three-value cell",
-    "the actual four algebraic states and their cells survive every descriptive measure unchanged",
-    "an exact curve retains both binary parameter branches rather than fabricating identification",
-    "perfect unanimity keeps the whole compatible ambiguity and no causal result",
-    "paired-group bootstrap retains cross-size sampling dependence and is deterministic",
-    "counts alone do not invent sampling uncertainty; inconsistent paired outcomes refuse"
-  ]
+    "L7 exact oracles include sum-p>=1 without triviality and retain stronger 0.4.2 bound",
+    "L7 actual dependent witness refutes top-k+1 guarantee",
+    "L7 sorted coefficient formula bounds all triples of events on nonuniform four-atom space",
+    "L7 pairwise zero correlation cannot pay for joint-independence convolution",
+    "L7 refuses absent hypotheses, malformed marginals and count domains by name",
+    "L8 fixed numerical controls distinguish odd minimum, negative defect and zero-shift maximum",
+    "L8 exhaustively checks the handed finite domain, including degeneracies and symmetry",
+    "L8 refuses invalid domains and information interpretations by name",
+    "L9: one mix tie hides two named forks; uniform mean loss is half a bit",
+    "L9: missing prior stays unmeasured, invalid declared priors refuse by name",
+    "L9: support and prior affect loss; zero mass does not imply global injectivity",
+    "L9: constant winners may lose information and weight rescaling adds none",
+    "L9: named value tie and bottom tie remain distinct; aliases cannot inflate configuration entropy",
+    "L9: explicit logarithm policy and configuration ceiling are retained"
+  ],
+  "code": "sha256:16593a568f0aef344df7c9f5d3363c86ef3b53f4ecda724f55f08c005f14c401"
 }

package/vectors/laws/implementation-043.json

@@ -0,0 +1,98 @@
+[
+  {
+    "path": "src/debit/ideal.js",
+    "sha256": "sha256:17b76451902fdfe3b6c9d294474a6db6a4f4e0d22414a2b3d053fa89a0adb126"
+  },
+  {
+    "path": "src/debit/unit-span.js",
+    "sha256": "sha256:d5020644158abfa4ea2b04b3483c0ded13e4ba3835a0e86e637d9959c1da81b9"
+  },
+  {
+    "path": "src/debit/unit.js",
+    "sha256": "sha256:a26c30d5456d99667ab44ff56663fff0ced252de60b860acefb820c32a0f5f78"
+  },
+  {
+    "path": "src/lattice/errors.js",
+    "sha256": "sha256:0cc476498db21b2aab91e90cc0172bb34373cbe2876a21a21efdc8ba088112b0"
+  },
+  {
+    "path": "src/lattice/order.js",
+    "sha256": "sha256:4752a5da2995163d26712bb96acc9c14d5d65f76366e941ec29c25dd8fdd6741"
+  },
+  {
+    "path": "src/measures/capacity.js",
+    "sha256": "sha256:6e23144abdcb38905f2d89446cc620fd4285fc9420bf97dc387ddf0ba2743194"
+  },
+  {
+    "path": "src/measures/coincidence.js",
+    "sha256": "sha256:b933cbf41b4450b6e0eadef9655f8fa28ba1795259b2b28a8f40acc8520a236d"
+  },
+  {
+    "path": "src/measures/confidence.js",
+    "sha256": "sha256:0b3377619777f75042526f8e36cb6b6fef3f01694e19e78c1f49a617b5d420da"
+  },
+  {
+    "path": "src/measures/error-events.js",
+    "sha256": "sha256:c748e76c03579fec1fd95e2c00ef9530ccddf34df8570ac59d6c10c0411aca09"
+  },
+  {
+    "path": "src/measures/experiments.js",
+    "sha256": "sha256:0d302c409bb17ed8085140a132c647d61d59582d0ca1fcb7f18d9dfc9ac4ad29"
+  },
+  {
+    "path": "src/measures/fitting.js",
+    "sha256": "sha256:ff9011bc1b7c862a47821a4220341a8a39dc002a6d35cda3ff63ce6e05dc43ce"
+  },
+  {
+    "path": "src/measures/identification.js",
+    "sha256": "sha256:aca5c9c62796a42a2eb7fbebc2f6f5054580081d1e1c3d5aade36ab52d08c623"
+  },
+  {
+    "path": "src/measures/index.js",
+    "sha256": "sha256:f91b8411e19f7e58d7edd6956ef828974605ae19584fcb2af6c0b0f0cedd8212"
+  },
+  {
+    "path": "src/measures/m3-experiment.js",
+    "sha256": "sha256:871b6f618fa199846b5b4f8e2cc956cf28683dcb21f0916f699700902ad19b1c"
+  },
+  {
+    "path": "src/measures/m3.js",
+    "sha256": "sha256:527c424cdf2848510a2fcb7f5d770ca1426da7920f9eff76404cd5406df0e0c8"
+  },
+  {
+    "path": "src/measures/mix-loss.js",
+    "sha256": "sha256:aff23c193600e57895f765d971327797d2e2a22a7157f8a97f2a21eca7e3ebc5"
+  },
+  {
+    "path": "src/measures/model.js",
+    "sha256": "sha256:8c8a97f909e4467f8cda14c843911ac61af3bdd3dc107448ed1d834067906654"
+  },
+  {
+    "path": "src/measures/phase-defect.js",
+    "sha256": "sha256:0af62179f23db3163e70a450a3779d0938e66222ae5c5a333fd86a6aa697a71f"
+  },
+  {
+    "path": "src/measures/rational.js",
+    "sha256": "sha256:f25343eee4bbea1de211543a7036ca58f62aeefec1d124f787151ea57cbda2e7"
+  },
+  {
+    "path": "src/measures/spectrum.js",
+    "sha256": "sha256:eec8a1121c9d39c3ddcbdb54167a09f5ae418a792ff79074a0be015239ae21e8"
+  },
+  {
+    "path": "src/measures/tolerant-subsets.js",
+    "sha256": "sha256:f57da182b6d540e62be451fe6e3a40dbca9129caa7c591e7f19ed6c61320eac5"
+  },
+  {
+    "path": "src/measures/unanimity-fit.js",
+    "sha256": "sha256:f7a46433a2543d9e6f3dfd553b869894d5468f6b001329599da682d85aaffe81"
+  },
+  {
+    "path": "test/support/measures-reader.js",
+    "sha256": "sha256:f745da92a58fc7fa7f1b47f19f88c36d41a44b44f5a19efab5d4e6125814d973"
+  },
+  {
+    "path": "test/support/unanimity-experiment.js",
+    "sha256": "sha256:3e3a38fa254f9d35bc35a2693c5303ab42e70f115b5f63772c711c22e3bb6279"
+  }
+]

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