@lapxo/obligations 0.4.2 → 0.4.4

package/samples/laws/semilattice/yes/sample.json

@@ -0,0 +1,29 @@
+{
+  "contract": "static interval meet over a declared LinearOrder",
+  "bridgeDomain": {
+    "endpoints": [
+      -1,
+      0,
+      1,
+      2
+    ],
+    "representation": "exact finite integers; no NaN, infinities or negative-zero identity claim"
+  },
+  "claims": [
+    "commutative",
+    "associative",
+    "idempotent",
+    "narrows in the existing API preorder"
+  ],
+  "semanticOrder": "interval inclusion; distinct crossed endpoint pairs are equivalent only observationally",
+  "context": "fixed bounds and complete context; accumulated restrictions only",
+  "replicationConsequence": "finite permutation and duplicate delivery preserve the reduced interval result; eventual delivery is a separate assumption",
+  "excluded": [
+    "withdrawal",
+    "witnessed widening",
+    "changing epochs or signed context",
+    "equality of full attributed histories",
+    "general all-IEEE-754 implementation verification"
+  ],
+  "proof": "proofs/lean/Obligations/Cell.lean"
+}

package/samples/measures/l7-tolerant-k.json

@@ -0,0 +1,90 @@
+{
+  "yes": {
+    "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"
+    }
+  },
+  "no": {
+    "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"
+  },
+  "independentYes": {
+    "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"
+    }
+  }
+}

package/samples/measures/l8-phase-defect.json

@@ -0,0 +1,19 @@
+{
+  "group": "l8-phase-defect",
+  "yes": {
+    "n": 8,
+    "p": 4,
+    "s": 1,
+    "policy": {"logarithm": "binary64-log2"},
+    "interpretation": "phase-defect",
+    "expected": 0.18872187554086717
+  },
+  "no": {
+    "n": 4,
+    "p": 4,
+    "s": 2,
+    "policy": {"logarithm": "binary64-log2"},
+    "interpretation": "information",
+    "expectedRefusal": "REFUSE·phase-defect information interpretation unsupported"
+  }
+}

package/samples/measures/l9-mix-loss.json

@@ -0,0 +1,36 @@
+{
+  "group": "l9-mix-loss",
+  "yes": {
+    "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}
+  },
+  "no": {
+    "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"
+  }
+}

package/samples/no/H1-uncertainty.json

@@ -0,0 +1,24 @@
+{
+ "brief": "the product rises as reading sharpens",
+ "about": [
+  "The falsifier: a cell read at four resolutions whose product of resolution and independent encounters comes out above the floor while the encounters fall away with the sharpening. A product that rises as the reading sharpens would say the floor is not a floor but an accident of how coarsely the cell was read."
+ ],
+ "cases": [
+  {
+   "resolution": [
+    1,
+    2,
+    3,
+    4
+   ],
+   "origins": [
+    4,
+    1,
+    1,
+    1
+   ],
+   "expect": 4.8,
+   "expected.ok": false
+  }
+ ]
+}

package/samples/no/installed-artifact.json

@@ -1,10 +1,74 @@
 {
   "format": "installed-acceptance/1",
-  "code": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
+  "name": "@lapxo/obligations",
+  "version": "0.4.4",
+  "exports": {
+    ".": {
+      "types": "./dist/lattice/index.d.ts",
+      "default": "./dist/lattice/index.js"
+    },
+    "./debit": {
+      "types": "./dist/debit/debit.d.ts",
+      "default": "./dist/debit/debit.js"
+    },
+    "./encounter": {
+      "types": "./dist/field/encounter.d.ts",
+      "default": "./dist/field/encounter.js"
+    },
+    "./field": {
+      "types": "./dist/field/field.d.ts",
+      "default": "./dist/field/field.js"
+    },
+    "./forms": {
+      "types": "./dist/lattice/forms.d.ts",
+      "default": "./dist/lattice/forms.js"
+    },
+    "./lattice": {
+      "types": "./dist/lattice/lattice.d.ts",
+      "default": "./dist/lattice/lattice.js"
+    },
+    "./measures": {
+      "types": "./dist/measures/index.d.ts",
+      "default": "./dist/measures/index.js"
+    },
+    "./packed": {
+      "types": "./dist/debit/packed.d.ts",
+      "default": "./dist/debit/packed.js"
+    },
+    "./present": {
+      "types": "./dist/field/present.d.ts",
+      "default": "./dist/field/present.js"
+    },
+    "./price": {
+      "types": "./dist/lattice/price/index.d.ts",
+      "default": "./dist/lattice/price/index.js"
+    },
+    "./replay": {
+      "types": "./dist/replay.d.ts",
+      "default": "./dist/replay.js"
+    },
+    "./shuffle": {
+      "types": "./dist/debit/shuffle.d.ts",
+      "default": "./dist/debit/shuffle.js"
+    },
+    "./signatures": {
+      "types": "./dist/field/signatures.d.ts",
+      "default": "./dist/field/signatures.js"
+    },
+    "./views/field": {
+      "types": "./dist/views/field.d.ts",
+      "default": "./dist/views/field.js"
+    },
+    "./views/product": {
+      "types": "./dist/views/product.d.ts",
+      "default": "./dist/views/product.js"
+    },
+    "./package.json": "./package.json"
+  },
   "implementation": [
     {
       "path": "dist/debit/debit.js",
-      "sha256": "sha256:0000000000000000000000000000000000000000000000000000000000000000"
+      "sha256": "sha256:e8816859eebe62dedcbf903246230b9dd60f7065a19406962cac6f242f46494d"
     },
     {
       "path": "dist/debit/graph.js",
@@ -182,6 +246,10 @@
       "path": "dist/measures/capacity.js",
       "sha256": "sha256:cb4bca882f1b3352e30821904e9fa5eccb003116e50cea14a34f201ee99768f4"
     },
+    {
+      "path": "dist/measures/cofailure-pairs.js",
+      "sha256": "sha256:f1b13c0f233b86e6e40e793aa5a7f341c2f3f3cf6e4edb22a60e28c010dcca88"
+    },
     {
       "path": "dist/measures/coincidence.js",
       "sha256": "sha256:61b7c27f3e60b6b5ce026295afe53458a88058c8efd0cd8449ed8b12a4f1d7c2"
@@ -208,7 +276,7 @@
     },
     {
       "path": "dist/measures/index.js",
-      "sha256": "sha256:f9c946e806f64b1865656ff599d4ee73c32b96001b8d16473f0c457de81ea13b"
+      "sha256": "sha256:d4f2d30a15a31715f02458a2bc75ce11bbfd10862ee7047b747a43f9291edbc0"
     },
     {
       "path": "dist/measures/m3-experiment.js",
@@ -218,10 +286,22 @@
       "path": "dist/measures/m3.js",
       "sha256": "sha256:b971ae5160893f9565087b7e6b79eb9ad24431d232ad3f37ff290cc4adb44a35"
     },
+    {
+      "path": "dist/measures/marginal-information.js",
+      "sha256": "sha256:cb6679315dfc693d8cd11d20d2bcb9f252a2e525d76568934f857642b9312698"
+    },
+    {
+      "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"
@@ -230,6 +310,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"
@@ -250,10 +334,6 @@
       "path": "dist/views/dual.js",
       "sha256": "sha256:8e609bb71c20b858c77f0e9f90bb1319db8477b13f9f965f1a1e18524bf50881"
     },
-    {
-      "path": "dist/views/field.js",
-      "sha256": "sha256:691ea483df5d6021feae901607ccd3b67721514c2963ad539466839d6a1db430"
-    },
     {
       "path": "dist/views/field/physics.js",
       "sha256": "sha256:69e500cdd7bb1a3eff095c4e15078db508d214adae84c3b3d751ec60de314ddb"
@@ -270,6 +350,10 @@
       "path": "dist/views/field/wave.js",
       "sha256": "sha256:ab030ffa1cf49b5b26a9e5b62a94d4f553c6313c5e7138f66016d7d12f620c0d"
     },
+    {
+      "path": "dist/views/field.js",
+      "sha256": "sha256:691ea483df5d6021feae901607ccd3b67721514c2963ad539466839d6a1db430"
+    },
     {
       "path": "dist/views/galois.js",
       "sha256": "sha256:d00226bf65a595b09fd87a93be678161d87f12978ff2e602784a740645b90d05"
@@ -278,10 +362,6 @@
       "path": "dist/views/ideal.js",
       "sha256": "sha256:808ae8d7d6b8aabe93aea301078940accf2f983b717d13e8422d7edd0fd22473"
     },
-    {
-      "path": "dist/views/product.js",
-      "sha256": "sha256:30e36e380abf5889add3344a02391a9b380f9caeec074b7a31aae8cb705e7e07"
-    },
     {
       "path": "dist/views/product/design.js",
       "sha256": "sha256:25a6f4a9ace42b36ccb5a3c3ba22e2f6d9c0c1f17e3daf1155b7f0241ccdd82d"
@@ -302,6 +382,10 @@
       "path": "dist/views/product/resolution.js",
       "sha256": "sha256:e99ff8ea01f66fc62144dc160995f8fa4e64adda336d1c31be156dc8d8bd90da"
     },
+    {
+      "path": "dist/views/product.js",
+      "sha256": "sha256:30e36e380abf5889add3344a02391a9b380f9caeec074b7a31aae8cb705e7e07"
+    },
     {
       "path": "dist/views/quotient.js",
       "sha256": "sha256:17bfe8d1d4dfabf20478ffbce8ff23e2602463d1e5c79ea6c3976a53932c2cc0"
@@ -314,5 +398,12 @@
       "path": "dist/views/valuation.js",
       "sha256": "sha256:982ffa68c9512832cce698785d1f67816a504b98d1dd05b7c1962dda0584e808"
     }
-  ]
+  ],
+  "tests": [
+    "installed 0.4.4 exports have no Bound or Topos runtime dependency",
+    "installed universal algebra retains the four states and named invalid-chain rejection",
+    "installed cofailure measures retain models, unmeasured inputs and named conflict refusal",
+    "installed marginal information retains the declared joint prior, two orders and named order refusal"
+  ],
+  "code": "sha256:38f98c2ad931ce52d8f20089ff6b97b21b10a70439e78db7cf0f547d131c982f"
 }

package/samples/yes/H1-uncertainty.json

@@ -0,0 +1,25 @@
+{
+ "title": "Uncertainty",
+ "brief": "a cell cannot be both arbitrarily fine and arbitrarily well seen",
+ "cases": [
+  {
+   "resolution": [
+    1,
+    2,
+    3,
+    4,
+    5,
+    7
+   ],
+   "origins": [
+    4.8,
+    5.74,
+    5.2,
+    5.86,
+    5.19,
+    6.04
+   ],
+   "expect": 4.8
+  }
+ ]
+}

package/samples/yes/installed-artifact.json

@@ -1,7 +1,7 @@
 {
   "format": "installed-acceptance/1",
   "name": "@lapxo/obligations",
-  "version": "0.4.2",
+  "version": "0.4.4",
   "exports": {
     ".": {
       "types": "./dist/lattice/index.d.ts",
@@ -246,6 +246,10 @@
       "path": "dist/measures/capacity.js",
       "sha256": "sha256:cb4bca882f1b3352e30821904e9fa5eccb003116e50cea14a34f201ee99768f4"
     },
+    {
+      "path": "dist/measures/cofailure-pairs.js",
+      "sha256": "sha256:f1b13c0f233b86e6e40e793aa5a7f341c2f3f3cf6e4edb22a60e28c010dcca88"
+    },
     {
       "path": "dist/measures/coincidence.js",
       "sha256": "sha256:61b7c27f3e60b6b5ce026295afe53458a88058c8efd0cd8449ed8b12a4f1d7c2"
@@ -272,7 +276,7 @@
     },
     {
       "path": "dist/measures/index.js",
-      "sha256": "sha256:f9c946e806f64b1865656ff599d4ee73c32b96001b8d16473f0c457de81ea13b"
+      "sha256": "sha256:d4f2d30a15a31715f02458a2bc75ce11bbfd10862ee7047b747a43f9291edbc0"
     },
     {
       "path": "dist/measures/m3-experiment.js",
@@ -282,10 +286,22 @@
       "path": "dist/measures/m3.js",
       "sha256": "sha256:b971ae5160893f9565087b7e6b79eb9ad24431d232ad3f37ff290cc4adb44a35"
     },
+    {
+      "path": "dist/measures/marginal-information.js",
+      "sha256": "sha256:cb6679315dfc693d8cd11d20d2bcb9f252a2e525d76568934f857642b9312698"
+    },
+    {
+      "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"
@@ -294,6 +310,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"
@@ -314,10 +334,6 @@
       "path": "dist/views/dual.js",
       "sha256": "sha256:8e609bb71c20b858c77f0e9f90bb1319db8477b13f9f965f1a1e18524bf50881"
     },
-    {
-      "path": "dist/views/field.js",
-      "sha256": "sha256:691ea483df5d6021feae901607ccd3b67721514c2963ad539466839d6a1db430"
-    },
     {
       "path": "dist/views/field/physics.js",
       "sha256": "sha256:69e500cdd7bb1a3eff095c4e15078db508d214adae84c3b3d751ec60de314ddb"
@@ -334,6 +350,10 @@
       "path": "dist/views/field/wave.js",
       "sha256": "sha256:ab030ffa1cf49b5b26a9e5b62a94d4f553c6313c5e7138f66016d7d12f620c0d"
     },
+    {
+      "path": "dist/views/field.js",
+      "sha256": "sha256:691ea483df5d6021feae901607ccd3b67721514c2963ad539466839d6a1db430"
+    },
     {
       "path": "dist/views/galois.js",
       "sha256": "sha256:d00226bf65a595b09fd87a93be678161d87f12978ff2e602784a740645b90d05"
@@ -342,10 +362,6 @@
       "path": "dist/views/ideal.js",
       "sha256": "sha256:808ae8d7d6b8aabe93aea301078940accf2f983b717d13e8422d7edd0fd22473"
     },
-    {
-      "path": "dist/views/product.js",
-      "sha256": "sha256:30e36e380abf5889add3344a02391a9b380f9caeec074b7a31aae8cb705e7e07"
-    },
     {
       "path": "dist/views/product/design.js",
       "sha256": "sha256:25a6f4a9ace42b36ccb5a3c3ba22e2f6d9c0c1f17e3daf1155b7f0241ccdd82d"
@@ -366,6 +382,10 @@
       "path": "dist/views/product/resolution.js",
       "sha256": "sha256:e99ff8ea01f66fc62144dc160995f8fa4e64adda336d1c31be156dc8d8bd90da"
     },
+    {
+      "path": "dist/views/product.js",
+      "sha256": "sha256:30e36e380abf5889add3344a02391a9b380f9caeec074b7a31aae8cb705e7e07"
+    },
     {
       "path": "dist/views/quotient.js",
       "sha256": "sha256:17bfe8d1d4dfabf20478ffbce8ff23e2602463d1e5c79ea6c3976a53932c2cc0"
@@ -379,55 +399,11 @@
       "sha256": "sha256:982ffa68c9512832cce698785d1f67816a504b98d1dd05b7c1962dda0584e808"
     }
   ],
-  "code": "sha256:978a5ef46a25146aea963e22998812e4198628ed97823c71ed83922a2c260840",
   "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",
-    "042 installed covering cause preserves declared symmetric channel boundaries",
-    "042 installed covering cause refuses missing accuracy and invalid probabilities",
-    "042 installed union bound retains justification and refuses unnamed premises",
-    "042 installed tolerant count keeps heterogeneous subset bounds and paired failure counterexample",
-    "042 installed three conditional measures preserve every frozen algebra state",
-    "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"
-  ]
+    "installed 0.4.4 exports have no Bound or Topos runtime dependency",
+    "installed universal algebra retains the four states and named invalid-chain rejection",
+    "installed cofailure measures retain models, unmeasured inputs and named conflict refusal",
+    "installed marginal information retains the declared joint prior, two orders and named order refusal"
+  ],
+  "code": "sha256:72df3154eb2896bb552c3a052cfa3ba4e943742877c31871e341d9bc1ce0ec05"
 }