@lapxo/obligations 0.4.0 → 0.4.2

package/samples/measures/confidence.json

@@ -0,0 +1,70 @@
+[
+  {
+    "yes": {
+      "group": "confidence",
+      "failures": [
+        {
+          "id": "A",
+          "p": "1/10",
+          "justification": "hypothesis:A"
+        },
+        {
+          "id": "B",
+          "p": "1/5",
+          "justification": "hypothesis:B"
+        }
+      ],
+      "expectedLowerBound": {
+        "numerator": "7",
+        "denominator": "10"
+      },
+      "place": "orchard"
+    },
+    "no": {
+      "group": "confidence",
+      "failures": [
+        {
+          "id": "A",
+          "p": "1/10",
+          "justification": ""
+        }
+      ],
+      "expectedRefusal": "justification reference required",
+      "place": "orchard"
+    }
+  },
+  {
+    "yes": {
+      "group": "confidence",
+      "failures": [
+        {
+          "id": "A",
+          "p": "1/10",
+          "justification": "hypothesis:A"
+        },
+        {
+          "id": "B",
+          "p": "1/5",
+          "justification": "hypothesis:B"
+        }
+      ],
+      "expectedLowerBound": {
+        "numerator": "7",
+        "denominator": "10"
+      },
+      "place": "catalog"
+    },
+    "no": {
+      "group": "confidence",
+      "failures": [
+        {
+          "id": "A",
+          "p": "1/10",
+          "justification": ""
+        }
+      ],
+      "expectedRefusal": "justification reference required",
+      "place": "catalog"
+    }
+  }
+]

package/samples/measures/decisions.json

@@ -0,0 +1,66 @@
+[
+  {
+    "yes": {
+      "group": "decisions",
+      "place": "orchard",
+      "k": 4,
+      "model": {
+        "n": 4,
+        "c": "1/5",
+        "p": "3/10"
+      },
+      "policy": {
+        "logarithm": "binary64-log2",
+        "budget": "100000"
+      },
+      "rule": "posterior-map-uniform-ties@1"
+    },
+    "no": {
+      "group": "decisions",
+      "place": "orchard",
+      "k": 4,
+      "model": {
+        "n": 4,
+        "c": "1/5",
+        "p": "3/10"
+      },
+      "policy": {
+        "logarithm": "binary64-log2",
+        "budget": "100000"
+      },
+      "rule": "undeclared"
+    }
+  },
+  {
+    "yes": {
+      "group": "decisions",
+      "place": "catalog",
+      "k": 1,
+      "model": {
+        "n": 2,
+        "c": "1/5",
+        "p": "1"
+      },
+      "policy": {
+        "logarithm": "binary64-log2",
+        "budget": "100000"
+      },
+      "rule": "posterior-map-uniform-ties@1"
+    },
+    "no": {
+      "group": "decisions",
+      "place": "catalog",
+      "k": 1,
+      "model": {
+        "n": 2,
+        "c": "1/5",
+        "p": "1"
+      },
+      "policy": {
+        "logarithm": "binary64-log2",
+        "budget": "100000"
+      },
+      "rule": "undeclared"
+    }
+  }
+]

package/samples/measures/t12/common-cause.json

@@ -0,0 +1,32 @@
+{
+  "yes": {
+    "group": "common-cause-capacity",
+    "n": 4,
+    "c": "1/5",
+    "q": "1/2",
+    "policy": {
+      "logarithm": "binary64-log2"
+    },
+    "expectedBits": 1.6415037499278844
+  },
+  "no": {
+    "group": "common-cause-capacity",
+    "n": 4,
+    "c": "1/5",
+    "policy": {
+      "logarithm": "binary64-log2"
+    },
+    "expectedRefusal": "common-cause accuracy q required"
+  },
+  "copyInvariant": {
+    "sameCauseCopies": [
+      1,
+      2,
+      20
+    ],
+    "expectedBits": 1.6415037499278844
+  },
+  "open": [
+    "duplicated/disjoint/triangle governance"
+  ]
+}

package/samples/measures/tolerant-count.json

@@ -0,0 +1,144 @@
+[
+  {
+    "yes": {
+      "group": "tolerant-count",
+      "place": "orchard",
+      "k": 2,
+      "failures": [
+        {
+          "id": "0",
+          "p": "9/10",
+          "justification": "hypothesis:0"
+        },
+        {
+          "id": "1",
+          "p": "1/10",
+          "justification": "hypothesis:1"
+        },
+        {
+          "id": "2",
+          "p": "1/10",
+          "justification": "hypothesis:2"
+        },
+        {
+          "id": "3",
+          "p": "1/10",
+          "justification": "hypothesis:3"
+        },
+        {
+          "id": "4",
+          "p": "1/10",
+          "justification": "hypothesis:4"
+        }
+      ],
+      "expectedLowerBound": {
+        "numerator": "4",
+        "denominator": "5"
+      }
+    },
+    "no": {
+      "group": "tolerant-count",
+      "place": "orchard",
+      "k": 6,
+      "failures": [
+        {
+          "id": "0",
+          "p": "9/10",
+          "justification": "hypothesis:0"
+        },
+        {
+          "id": "1",
+          "p": "1/10",
+          "justification": "hypothesis:1"
+        },
+        {
+          "id": "2",
+          "p": "1/10",
+          "justification": "hypothesis:2"
+        },
+        {
+          "id": "3",
+          "p": "1/10",
+          "justification": "hypothesis:3"
+        },
+        {
+          "id": "4",
+          "p": "1/10",
+          "justification": "hypothesis:4"
+        }
+      ],
+      "expectedRefusal": "allowed failure count must be an integer in 0..m"
+    }
+  },
+  {
+    "yes": {
+      "group": "tolerant-count",
+      "place": "catalog",
+      "k": 2,
+      "failures": [
+        {
+          "id": "0",
+          "p": "9/10",
+          "justification": "hypothesis:0"
+        },
+        {
+          "id": "1",
+          "p": "1/10",
+          "justification": "hypothesis:1"
+        },
+        {
+          "id": "2",
+          "p": "1/10",
+          "justification": "hypothesis:2"
+        },
+        {
+          "id": "3",
+          "p": "1/10",
+          "justification": "hypothesis:3"
+        },
+        {
+          "id": "4",
+          "p": "1/10",
+          "justification": "hypothesis:4"
+        }
+      ],
+      "expectedLowerBound": {
+        "numerator": "4",
+        "denominator": "5"
+      }
+    },
+    "no": {
+      "group": "tolerant-count",
+      "place": "catalog",
+      "k": 6,
+      "failures": [
+        {
+          "id": "0",
+          "p": "9/10",
+          "justification": "hypothesis:0"
+        },
+        {
+          "id": "1",
+          "p": "1/10",
+          "justification": "hypothesis:1"
+        },
+        {
+          "id": "2",
+          "p": "1/10",
+          "justification": "hypothesis:2"
+        },
+        {
+          "id": "3",
+          "p": "1/10",
+          "justification": "hypothesis:3"
+        },
+        {
+          "id": "4",
+          "p": "1/10",
+          "justification": "hypothesis:4"
+        }
+      ],
+      "expectedRefusal": "allowed failure count must be an integer in 0..m"
+    }
+  }
+]

package/samples/measures/unanimity-fit.json

@@ -0,0 +1,166 @@
+[
+  {
+    "yes": {
+      "group": "unanimity-fit",
+      "place": "orchard",
+      "policy": {
+        "procedure": "exact-c-slices-on-declared-p-grid@1",
+        "p": [
+          "0",
+          "1/5",
+          "3/10",
+          "1/2",
+          "1"
+        ],
+        "tolerance": "3/100",
+        "budget": "1000000",
+        "bootstrap": {
+          "B": 0,
+          "seed": 1,
+          "prng": "xorshift32",
+          "randomWords": 0
+        }
+      },
+      "experiment": {
+        "model": "single-dominant-factor@1",
+        "n": 64,
+        "c": "1/20",
+        "p": "1/5",
+        "lineage": "orchard",
+        "sizes": [
+          2,
+          4,
+          8,
+          16,
+          32
+        ],
+        "prng": "xorshift32",
+        "seed": 1729,
+        "trials": 2000,
+        "randomWords": 200000
+      }
+    },
+    "no": {
+      "group": "unanimity-fit",
+      "place": "orchard",
+      "policy": {
+        "procedure": "exact-c-slices-on-declared-p-grid@1",
+        "p": [
+          "0",
+          "1/5",
+          "3/10",
+          "1/2",
+          "1"
+        ],
+        "tolerance": "3/100",
+        "budget": "1000000",
+        "bootstrap": {
+          "B": 0,
+          "seed": 1,
+          "prng": "xorshift32",
+          "randomWords": 0
+        }
+      },
+      "experiment": {
+        "model": "single-dominant-factor@1",
+        "n": 64,
+        "c": "1/20",
+        "p": "1/5",
+        "lineage": "orchard",
+        "sizes": [
+          2,
+          4,
+          8,
+          16,
+          32
+        ],
+        "prng": "xorshift32",
+        "seed": 0,
+        "trials": 2000,
+        "randomWords": 200000
+      }
+    }
+  },
+  {
+    "yes": {
+      "group": "unanimity-fit",
+      "place": "catalog",
+      "policy": {
+        "procedure": "exact-c-slices-on-declared-p-grid@1",
+        "p": [
+          "0",
+          "1/5",
+          "3/10",
+          "1/2",
+          "1"
+        ],
+        "tolerance": "3/100",
+        "budget": "1000000",
+        "bootstrap": {
+          "B": 0,
+          "seed": 1,
+          "prng": "xorshift32",
+          "randomWords": 0
+        }
+      },
+      "experiment": {
+        "model": "single-dominant-factor@1",
+        "n": 64,
+        "c": "1/5",
+        "p": "3/10",
+        "lineage": "catalog",
+        "sizes": [
+          2,
+          4,
+          8,
+          16,
+          32
+        ],
+        "prng": "xorshift32",
+        "seed": 2718,
+        "trials": 2000,
+        "randomWords": 200000
+      }
+    },
+    "no": {
+      "group": "unanimity-fit",
+      "place": "catalog",
+      "policy": {
+        "procedure": "exact-c-slices-on-declared-p-grid@1",
+        "p": [
+          "0",
+          "1/5",
+          "3/10",
+          "1/2",
+          "1"
+        ],
+        "tolerance": "3/100",
+        "budget": "1000000",
+        "bootstrap": {
+          "B": 0,
+          "seed": 1,
+          "prng": "xorshift32",
+          "randomWords": 0
+        }
+      },
+      "experiment": {
+        "model": "single-dominant-factor@1",
+        "n": 64,
+        "c": "1/5",
+        "p": "3/10",
+        "lineage": "catalog",
+        "sizes": [
+          2,
+          4,
+          8,
+          16,
+          32
+        ],
+        "prng": "xorshift32",
+        "seed": 0,
+        "trials": 2000,
+        "randomWords": 200000
+      }
+    }
+  }
+]

package/samples/no/installed-artifact.json

@@ -140,7 +140,7 @@
     },
     {
       "path": "dist/lattice/obligatory.js",
-      "sha256": "sha256:1cce37198c95a6afd9842d82feef430414f1c6f0933a631f70e0d21b9eafb924"
+      "sha256": "sha256:767c01b525fe5e97997acebdd2aac89c0d6e579fd9d6955c339292d17d34d048"
     },
     {
       "path": "dist/lattice/order.js",
@@ -178,9 +178,21 @@
       "path": "dist/lattice/vacuity.js",
       "sha256": "sha256:86a33399266ad3d5274838e9580a467d045e8edba6bded643ffdb580a79ae37d"
     },
+    {
+      "path": "dist/measures/capacity.js",
+      "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:df5c77620adf2de919a0f1eb3df53837ce62d43bfdf72acfde04f80961ded97e"
+      "sha256": "sha256:6a67eb1fbfa48629cff9bc173c9ae569b4803b9dbdbf945368add0ac52a6d200"
     },
     {
       "path": "dist/measures/experiments.js",
@@ -196,7 +208,7 @@
     },
     {
       "path": "dist/measures/index.js",
-      "sha256": "sha256:e056393908931aac0ef64e7abcab68ece360536b6578be1e945e62af6a409475"
+      "sha256": "sha256:f9c946e806f64b1865656ff599d4ee73c32b96001b8d16473f0c457de81ea13b"
     },
     {
       "path": "dist/measures/m3-experiment.js",
@@ -218,6 +230,10 @@
       "path": "dist/measures/spectrum.js",
       "sha256": "sha256:06b38b556472d7c27bf51e423b4305cb1427af5aedb0012c3a77f3168a8a9c53"
     },
+    {
+      "path": "dist/measures/unanimity-fit.js",
+      "sha256": "sha256:dccb3a3c4fe72954f02b1e7e0c3a59f26253bd2b10909d56ef599c4e447f7c76"
+    },
     {
       "path": "dist/replay.js",
       "sha256": "sha256:195a93d0e955b30575e5172e4dcb779f8c688997de1a3a3a5c649bcc6a723ab3"

package/samples/yes/installed-artifact.json

@@ -1,7 +1,7 @@
 {
   "format": "installed-acceptance/1",
   "name": "@lapxo/obligations",
-  "version": "0.4.0",
+  "version": "0.4.2",
   "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",
@@ -242,9 +242,21 @@
       "path": "dist/lattice/vacuity.js",
       "sha256": "sha256:86a33399266ad3d5274838e9580a467d045e8edba6bded643ffdb580a79ae37d"
     },
+    {
+      "path": "dist/measures/capacity.js",
+      "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:df5c77620adf2de919a0f1eb3df53837ce62d43bfdf72acfde04f80961ded97e"
+      "sha256": "sha256:6a67eb1fbfa48629cff9bc173c9ae569b4803b9dbdbf945368add0ac52a6d200"
     },
     {
       "path": "dist/measures/experiments.js",
@@ -260,7 +272,7 @@
     },
     {
       "path": "dist/measures/index.js",
-      "sha256": "sha256:e056393908931aac0ef64e7abcab68ece360536b6578be1e945e62af6a409475"
+      "sha256": "sha256:f9c946e806f64b1865656ff599d4ee73c32b96001b8d16473f0c457de81ea13b"
     },
     {
       "path": "dist/measures/m3-experiment.js",
@@ -282,6 +294,10 @@
       "path": "dist/measures/spectrum.js",
       "sha256": "sha256:06b38b556472d7c27bf51e423b4305cb1427af5aedb0012c3a77f3168a8a9c53"
     },
+    {
+      "path": "dist/measures/unanimity-fit.js",
+      "sha256": "sha256:dccb3a3c4fe72954f02b1e7e0c3a59f26253bd2b10909d56ef599c4e447f7c76"
+    },
     {
       "path": "dist/replay.js",
       "sha256": "sha256:195a93d0e955b30575e5172e4dcb779f8c688997de1a3a3a5c649bcc6a723ab3"
@@ -363,8 +379,24 @@
       "sha256": "sha256:982ffa68c9512832cce698785d1f67816a504b98d1dd05b7c1962dda0584e808"
     }
   ],
-  "code": "sha256:36e9236efa5873e1620b9f33011cc6bf488f8cecf4a06e80f8d7f2dfd80f5d30",
+  "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",
@@ -392,6 +424,10 @@
     "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"
+    "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"
   ]
 }