@lapxo/obligations 0.4.1 → 0.4.3

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

@@ -0,0 +1,48 @@
+[
+  {
+    "yes": {
+      "group": "common-cause-capacity",
+      "n": 4,
+      "c": "1/5",
+      "q": "1/2",
+      "policy": {
+        "logarithm": "binary64-log2"
+      },
+      "expectedBits": 1.6415037499278844,
+      "place": "orchard"
+    },
+    "no": {
+      "group": "common-cause-capacity",
+      "n": 4,
+      "c": "1/5",
+      "policy": {
+        "logarithm": "binary64-log2"
+      },
+      "expectedRefusal": "common-cause accuracy q required",
+      "place": "orchard"
+    }
+  },
+  {
+    "yes": {
+      "group": "common-cause-capacity",
+      "n": 4,
+      "c": "1/5",
+      "q": "1/2",
+      "policy": {
+        "logarithm": "binary64-log2"
+      },
+      "expectedBits": 1.6415037499278844,
+      "place": "catalog"
+    },
+    "no": {
+      "group": "common-cause-capacity",
+      "n": 4,
+      "c": "1/5",
+      "policy": {
+        "logarithm": "binary64-log2"
+      },
+      "expectedRefusal": "common-cause accuracy q required",
+      "place": "catalog"
+    }
+  }
+]

package/samples/measures/confidence/union-bound.json

@@ -0,0 +1,54 @@
+{
+  "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"
+    }
+  },
+  "no": {
+    "group": "confidence",
+    "failures": [
+      {
+        "id": "A",
+        "p": "1/10",
+        "justification": ""
+      }
+    ],
+    "expectedRefusal": "justification reference required"
+  },
+  "trivial": {
+    "group": "confidence",
+    "failures": [
+      {
+        "id": "A",
+        "p": "3/5",
+        "justification": "hypothesis:A"
+      },
+      {
+        "id": "B",
+        "p": "3/5",
+        "justification": "hypothesis:B"
+      }
+    ],
+    "expectedLowerBound": {
+      "numerator": "0",
+      "denominator": "1"
+    }
+  },
+  "open": [
+    "tolerant intersection semantics"
+  ]
+}

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/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/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/no/installed-artifact.json

@@ -1,6 +1,70 @@
 {
   "format": "installed-acceptance/1",
-  "code": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
+  "name": "@lapxo/obligations",
+  "version": "0.4.3",
+  "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",
@@ -140,7 +204,7 @@
     },
     {
       "path": "dist/lattice/obligatory.js",
-      "sha256": "sha256:1cce37198c95a6afd9842d82feef430414f1c6f0933a631f70e0d21b9eafb924"
+      "sha256": "sha256:767c01b525fe5e97997acebdd2aac89c0d6e579fd9d6955c339292d17d34d048"
     },
     {
       "path": "dist/lattice/order.js",
@@ -180,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"
@@ -204,7 +272,7 @@
     },
     {
       "path": "dist/measures/index.js",
-      "sha256": "sha256:2ad8dfb4eb2da8fdbbfd002656e5fc13f1756247080e40ebcb9aa1183fb32d24"
+      "sha256": "sha256:f91b8411e19f7e58d7edd6956ef828974605ae19584fcb2af6c0b0f0cedd8212"
     },
     {
       "path": "dist/measures/m3-experiment.js",
@@ -214,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"
@@ -226,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"
@@ -310,5 +390,22 @@
       "path": "dist/views/valuation.js",
       "sha256": "sha256:982ffa68c9512832cce698785d1f67816a504b98d1dd05b7c1962dda0584e808"
     }
-  ]
+  ],
+  "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"
+  ],
+  "code": "sha256:0000000000000000000000000000000000000000000000000000000000000000"
 }