@lapxo/obligations 0.4.2 → 0.4.3

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/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",
@@ -208,7 +272,7 @@
     },
     {
       "path": "dist/measures/index.js",
-      "sha256": "sha256:f9c946e806f64b1865656ff599d4ee73c32b96001b8d16473f0c457de81ea13b"
+      "sha256": "sha256:f91b8411e19f7e58d7edd6956ef828974605ae19584fcb2af6c0b0f0cedd8212"
     },
     {
       "path": "dist/measures/m3-experiment.js",
@@ -218,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"
@@ -230,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"
@@ -314,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"
 }

package/samples/yes/installed-artifact.json

@@ -1,7 +1,7 @@
 {
   "format": "installed-acceptance/1",
   "name": "@lapxo/obligations",
-  "version": "0.4.2",
+  "version": "0.4.3",
   "exports": {
     ".": {
       "types": "./dist/lattice/index.d.ts",
@@ -272,7 +272,7 @@
     },
     {
       "path": "dist/measures/index.js",
-      "sha256": "sha256:f9c946e806f64b1865656ff599d4ee73c32b96001b8d16473f0c457de81ea13b"
+      "sha256": "sha256:f91b8411e19f7e58d7edd6956ef828974605ae19584fcb2af6c0b0f0cedd8212"
     },
     {
       "path": "dist/measures/m3-experiment.js",
@@ -282,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"
@@ -294,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"
@@ -379,55 +391,21 @@
       "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"
-  ]
+    "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"
+  }
+]