@lapxo/obligations 0.4.3 → 0.4.5

package/samples/laws/cofailure-pairs/no/sample.json

@@ -0,0 +1 @@
+{"name":"conflicting-value-for-one-event-origin","mutation":{"event":"e0","origin":"a","value":"0"},"expectedRefusal":"REFUSE·cofailure conflicting-value e0/a"}

package/samples/laws/cofailure-pairs/yes/sample.json

@@ -0,0 +1,20 @@
+{
+  "id":"cofailure-pairs-models@1",
+  "origins":["a","b","c","d"],"values":["0","1"],"budget":"100000",
+  "handedCategoricalReference":{"model":"independent-categorical@1","marginals":[
+    {"origin":"a","probabilities":[{"value":"0","p":"1/2"},{"value":"1","p":"1/2"}]},
+    {"origin":"b","probabilities":[{"value":"0","p":"1/2"},{"value":"1","p":"1/2"}]},
+    {"origin":"c","probabilities":[{"value":"0","p":"1/2"},{"value":"1","p":"1/2"}]},
+    {"origin":"d","probabilities":[{"value":"0","p":"1/2"},{"value":"1","p":"1/2"}]}
+  ]},
+  "separated":{"T":400,"blocks":[{"count":200,"values":["1","1","0","0"],"truth":"0"},{"count":200,"values":["0","0","1","1"],"truth":"0"}],
+    "oracleTheta":"1/4","oracleEpsilon":"1/8","observationalTheta":"0","observationalEpsilon":"1/4","referenceGroups":[["a","b"],["c","d"]]},
+  "sameReportsOtherTruth":{"truthFromOrigin":"a","meaning":"same value bytes; the oracle changes which answers count as wrong"},
+  "sharedQuestion":{"T":400,"blocks":[{"count":200,"values":["0","0","0","0"],"truth":"0"},{"count":200,"values":["1","1","1","1"],"truth":"1"}],
+    "meaning":"perfect responses to a varying common question; zero errors do not make marginal categorical reference adequate"},
+  "betweenMeans":{"T":100,"theta":"3/20","blocks":[{"count":59,"values":["1","1","0","0"],"truth":"0"},{"count":21,"values":["1","1","1","0"],"truth":"0"},{"count":20,"values":["0","0","1","1"],"truth":"0"}],"referenceGroups":[["a","b"],["c","d"]]},
+  "finiteConfusion":{"T":4,"c":"1/4","e":"1/4","theta":"1/4","epsilon":"1/8","blocks":[{"count":4,"values":["0","0","0","0"],"truth":"0"}],
+    "declaredGenerator":"factor covering a,b fires with c, otherwise private Bernoulli errors e; c=e=1/4; independent cells and private draws declared; binary wrong symbol is 1",
+    "allCorrectPerCell":"(1-c)*(1-e)^4", "meaning":"a nonzero-probability all-correct batch cannot recover the hidden group even when c=e"},
+  "fixtureProvenance":"new deterministic finite fixtures, not recovered browser outputs; iid sampling is an external conditional premise, not inferred from the fixture"
+}

package/samples/laws/linage-rest/no/sample.json

@@ -0,0 +1,19 @@
+{
+  "cases": [
+    {
+      "region": "helly-comb",
+      "claim": "pairwise-implies-global",
+      "expectedRefusal": "REFUSE·linage-rest comb-pairwise-is-not-global"
+    },
+    {
+      "region": "resolution-encounters",
+      "claim": "unconditional-monotone-K-N",
+      "expectedRefusal": "REFUSE·linage-rest resolution-counting-model-required"
+    },
+    {
+      "region": "coordination",
+      "claim": "curve-without-joint-model",
+      "expectedRefusal": "REFUSE·linage-rest joint-conditional-independence-required"
+    }
+  ]
+}

package/samples/laws/linage-rest/yes/sample.json

@@ -0,0 +1,100 @@
+{
+  "id": "linage-rest@1",
+  "helly": {
+    "universe": [
+      0,
+      1,
+      2
+    ],
+    "sets": [
+      [
+        0,
+        1
+      ],
+      [
+        1,
+        2
+      ],
+      [
+        0,
+        2
+      ]
+    ]
+  },
+  "resolution": {
+    "publishedSample": "samples/yes/H1-uncertainty.json",
+    "resolutions": [
+      1,
+      2,
+      3,
+      4,
+      5,
+      7
+    ],
+    "encounters": [
+      "4.8",
+      "5.74",
+      "5.2",
+      "5.86",
+      "5.19",
+      "6.04"
+    ],
+    "countertables": [
+      {
+        "r": [
+          1,
+          2
+        ],
+        "e": [
+          "4",
+          "1"
+        ],
+        "K": "1",
+        "N": "8"
+      },
+      {
+        "r": [
+          1,
+          2,
+          4
+        ],
+        "e": [
+          "2",
+          "2",
+          "2"
+        ],
+        "K": "3",
+        "N": "5"
+      }
+    ]
+  },
+  "coordination": {
+    "n": 5,
+    "f": "1/4",
+    "e": "1/5",
+    "sizes": [
+      1,
+      2,
+      3,
+      4,
+      5,
+      6
+    ],
+    "privateJoint": "conditionally-iid-given-truth",
+    "active": "all-selected-sources-same-wrong-label",
+    "fittingPolicy": {
+      "procedure": "exact-c-slices-on-declared-p-grid@1",
+      "p": [
+        "1/5"
+      ],
+      "tolerance": "0",
+      "budget": "1000000",
+      "bootstrap": {
+        "B": 0,
+        "seed": 7,
+        "prng": "xorshift32",
+        "randomWords": 0
+      }
+    }
+  }
+}

package/samples/laws/lineage-ceiling/no/sample.json

@@ -0,0 +1,8 @@
+{
+  "name":"missing-markov-bottleneck",
+  "model":"single-dominant-factor@1",
+  "n":2,"c":"1/2","p":"1/10","k":1,
+  "falseClaim":"capacityP0 is an upper bound without the declared symmetric Markov bottleneck",
+  "expectedRefusal":"REFUSE·lineage markov-model-required",
+  "meaning":"The published general model gives positive information while capacityP0 is zero. The API remains unchanged; this claim is outside the new conditional contract."
+}

package/samples/laws/lineage-ceiling/yes/sample.json

@@ -0,0 +1,30 @@
+{
+  "model": "truth->symmetric-lineage->reports->aggregate@1",
+  "conditions": {
+    "truth": "uniform on n named symbols",
+    "lineageChannel": "P(Z=x|X=x)=1-c; P(Z=z|X=x)=c/(n-1) for z!=x",
+    "markov": "X -> Z -> (Y_1,...,Y_K) -> A",
+    "extraTruthAccess": false,
+    "revealedCauseIndicator": false
+  },
+  "policy": {"logarithm":"binary64-log2","budget":"100000"},
+  "copies": [
+    {"n":2,"c":"0","ks":[1,3]},
+    {"n":2,"c":"1/2","ks":[1,3]},
+    {"n":2,"c":"1","ks":[1,3]},
+    {"n":3,"c":"1/5","ks":[1,2,3]},
+    {"n":4,"c":"3/4","ks":[1,2]}
+  ],
+  "finiteApproachExperiment": {
+    "classification": "new exact finite experiment, not recovered browser bytes or an asymptotic certificate",
+    "reportsGivenZ": "jointly independent n-ary symmetric channels with error e",
+    "aggregator": "plurality-uniform-ties@1",
+    "regimes": [
+      {"n":2,"c":"1/5","e":"1/5","ks":[1,3,5,7,9]},
+      {"n":3,"c":"1/4","e":"1/5","ks":[1,3,5]},
+      {"n":4,"c":"1/5","e":"1/4","ks":[1,3]}
+    ],
+    "limitHypothesis": "a fixed n,c,e, conditionally iid reports and e<1/2 suffice for plurality to recover Z with probability tending to one; finite rows alone do not verify that limit"
+  },
+  "f1Witness": {"N":4,"x":[[0],[1,2],[3]],"y":[[0,1],[2,3]],"uniformLiftN":16}
+}

package/samples/laws/m0-allocation/no/sample.json

@@ -0,0 +1,5 @@
+{
+  "name": "missing-input",
+  "expectedExit": 1,
+  "causePolicy": "actual reader/Lean diagnostic captured; no expected stdout is invented"
+}

package/samples/laws/m0-allocation/yes/sample.json

@@ -0,0 +1,7 @@
+{
+  "name": "m0-allocation",
+  "contract": "contracts/m0-allocation.json",
+  "model": "M0-binary-lineage",
+  "claimsFullDiagonalLeanProof": false,
+  "claimsAdmission": false
+}

package/samples/laws/m0-finite-grid/no/sample.json

@@ -0,0 +1,5 @@
+{
+  "name": "false-wf-floor-monotonicity",
+  "expectedExit": 1,
+  "causePolicy": "actual reader/Lean diagnostic captured; no expected stdout is invented"
+}

package/samples/laws/m0-finite-grid/yes/sample.json

@@ -0,0 +1,7 @@
+{
+  "name": "m0-finite-grid",
+  "contract": "contracts/m0-finite-grid.json",
+  "model": "M0-binary-lineage",
+  "claimsFullDiagonalLeanProof": false,
+  "claimsAdmission": false
+}

package/samples/laws/m0-limit-diag/no/sample.json

@@ -0,0 +1,5 @@
+{
+  "name": "zero-diagonal-mass",
+  "expectedExit": 1,
+  "causePolicy": "actual reader/Lean diagnostic captured; no expected stdout is invented"
+}

package/samples/laws/m0-limit-diag/yes/sample.json

@@ -0,0 +1,7 @@
+{
+  "name": "m0-limit-diag",
+  "contract": "contracts/m0-limit-diag.json",
+  "model": "M0-binary-lineage",
+  "claimsFullDiagonalLeanProof": false,
+  "claimsAdmission": false
+}

package/samples/laws/m0-limit-offdiag/no/sample.json

@@ -0,0 +1,5 @@
+{
+  "name": "missing-offdiag-hypothesis",
+  "expectedExit": 1,
+  "causePolicy": "actual reader/Lean diagnostic captured; no expected stdout is invented"
+}

package/samples/laws/m0-limit-offdiag/yes/sample.json

@@ -0,0 +1,7 @@
+{
+  "name": "m0-limit-offdiag",
+  "contract": "contracts/m0-limit-offdiag.json",
+  "model": "M0-binary-lineage",
+  "claimsFullDiagonalLeanProof": false,
+  "claimsAdmission": false
+}

package/samples/laws/m0-pair-coincidence/no/sample.json

@@ -0,0 +1,5 @@
+{
+  "name": "false-triple-moment",
+  "expectedExit": 1,
+  "causePolicy": "actual reader/Lean diagnostic captured; no expected stdout is invented"
+}

package/samples/laws/m0-pair-coincidence/yes/sample.json

@@ -0,0 +1,7 @@
+{
+  "name": "m0-pair-coincidence",
+  "contract": "contracts/m0-pair-coincidence.json",
+  "model": "M0-binary-lineage",
+  "claimsFullDiagonalLeanProof": false,
+  "claimsAdmission": false
+}

package/samples/laws/marginal-information/no/sample.json

@@ -0,0 +1,17 @@
+{
+  "name": "duplicate-source-in-addition-order",
+  "case": "copy-versus-new-channel",
+  "orders": [
+    [
+      "a",
+      "a",
+      "b"
+    ],
+    [
+      "b",
+      "a",
+      "copy"
+    ]
+  ],
+  "expectedRefusal": "REFUSE\u00b7marginal order-must-be-permutation"
+}