@lapxo/obligations 0.4.3 → 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/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,7 +1,7 @@
 {
   "format": "installed-acceptance/1",
   "name": "@lapxo/obligations",
-  "version": "0.4.3",
+  "version": "0.4.4",
   "exports": {
     ".": {
       "types": "./dist/lattice/index.d.ts",
@@ -68,7 +68,7 @@
   "implementation": [
     {
       "path": "dist/debit/debit.js",
-      "sha256": "sha256:0000000000000000000000000000000000000000000000000000000000000000"
+      "sha256": "sha256:e8816859eebe62dedcbf903246230b9dd60f7065a19406962cac6f242f46494d"
     },
     {
       "path": "dist/debit/graph.js",
@@ -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:f91b8411e19f7e58d7edd6956ef828974605ae19584fcb2af6c0b0f0cedd8212"
+      "sha256": "sha256:d4f2d30a15a31715f02458a2bc75ce11bbfd10862ee7047b747a43f9291edbc0"
     },
     {
       "path": "dist/measures/m3-experiment.js",
@@ -282,6 +286,10 @@
       "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"
@@ -326,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"
@@ -346,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"
@@ -354,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"
@@ -378,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"
@@ -392,20 +400,10 @@
     }
   ],
   "tests": [
-    "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"
+    "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:0000000000000000000000000000000000000000000000000000000000000000"
+  "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.3",
+  "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:f91b8411e19f7e58d7edd6956ef828974605ae19584fcb2af6c0b0f0cedd8212"
+      "sha256": "sha256:d4f2d30a15a31715f02458a2bc75ce11bbfd10862ee7047b747a43f9291edbc0"
     },
     {
       "path": "dist/measures/m3-experiment.js",
@@ -282,6 +286,10 @@
       "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"
@@ -326,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"
@@ -346,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"
@@ -354,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"
@@ -378,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"
@@ -392,20 +400,10 @@
     }
   ],
   "tests": [
-    "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"
+    "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:16593a568f0aef344df7c9f5d3363c86ef3b53f4ecda724f55f08c005f14c401"
+  "code": "sha256:72df3154eb2896bb552c3a052cfa3ba4e943742877c31871e341d9bc1ce0ec05"
 }