@lapxo/obligations 0.4.3 → 0.4.4

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/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"
+}

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

@@ -0,0 +1,459 @@
+{
+  "id": "marginal-information-models@1",
+  "policy": {
+    "logarithm": "binary64-log2",
+    "budget": "100000"
+  },
+  "cases": [
+    {
+      "id": "copy-versus-new-channel",
+      "classification": "declared joint model, not inferred independence",
+      "generation": "uniform binary truth; a is BSC(1/4), copy is exactly a; b is a separate BSC(1/4); the two noise bits are jointly independent given truth by this declared joint table",
+      "model": {
+        "model": "finite-declared-joint@1",
+        "truthValues": [
+          "0",
+          "1"
+        ],
+        "sources": [
+          {
+            "id": "a",
+            "lineage": "L1",
+            "values": [
+              "0",
+              "1"
+            ]
+          },
+          {
+            "id": "copy",
+            "lineage": "L1",
+            "values": [
+              "0",
+              "1"
+            ]
+          },
+          {
+            "id": "b",
+            "lineage": "L2",
+            "values": [
+              "0",
+              "1"
+            ]
+          }
+        ],
+        "atoms": [
+          {
+            "id": "0",
+            "truth": "0",
+            "values": {
+              "a": "0",
+              "copy": "0",
+              "b": "0"
+            },
+            "p": "9/32"
+          },
+          {
+            "id": "1",
+            "truth": "0",
+            "values": {
+              "a": "0",
+              "copy": "0",
+              "b": "1"
+            },
+            "p": "3/32"
+          },
+          {
+            "id": "2",
+            "truth": "0",
+            "values": {
+              "a": "1",
+              "copy": "1",
+              "b": "0"
+            },
+            "p": "3/32"
+          },
+          {
+            "id": "3",
+            "truth": "0",
+            "values": {
+              "a": "1",
+              "copy": "1",
+              "b": "1"
+            },
+            "p": "1/32"
+          },
+          {
+            "id": "4",
+            "truth": "1",
+            "values": {
+              "a": "1",
+              "copy": "1",
+              "b": "1"
+            },
+            "p": "9/32"
+          },
+          {
+            "id": "5",
+            "truth": "1",
+            "values": {
+              "a": "1",
+              "copy": "1",
+              "b": "0"
+            },
+            "p": "3/32"
+          },
+          {
+            "id": "6",
+            "truth": "1",
+            "values": {
+              "a": "0",
+              "copy": "0",
+              "b": "1"
+            },
+            "p": "3/32"
+          },
+          {
+            "id": "7",
+            "truth": "1",
+            "values": {
+              "a": "0",
+              "copy": "0",
+              "b": "0"
+            },
+            "p": "1/32"
+          }
+        ]
+      },
+      "orders": [
+        [
+          "a",
+          "copy",
+          "b"
+        ],
+        [
+          "b",
+          "a",
+          "copy"
+        ]
+      ],
+      "comparison": {
+        "previous": [
+          "a"
+        ],
+        "same": "copy",
+        "other": "b"
+      }
+    },
+    {
+      "id": "equal-quality-reverses-lineage-ranking",
+      "classification": "counterexample to universal ranking even at equal individual accuracy and information",
+      "generation": "uniform two-bit truth; L1 carries the full truth and supplies two different projections; L2 directly supplies the first-bit projection. All source predictions have accuracy 1/2 and individual information 1 bit. This is outside any additional hypothesis that all siblings are identical copies.",
+      "model": {
+        "model": "finite-declared-joint@1",
+        "truthValues": [
+          "00",
+          "01",
+          "10",
+          "11"
+        ],
+        "sources": [
+          {
+            "id": "a",
+            "lineage": "L1",
+            "values": [
+              "00",
+              "10"
+            ]
+          },
+          {
+            "id": "sibling",
+            "lineage": "L1",
+            "values": [
+              "00",
+              "01"
+            ]
+          },
+          {
+            "id": "b",
+            "lineage": "L2",
+            "values": [
+              "00",
+              "10"
+            ]
+          }
+        ],
+        "atoms": [
+          {
+            "id": "0",
+            "truth": "00",
+            "values": {
+              "a": "00",
+              "sibling": "00",
+              "b": "00"
+            },
+            "p": "1/4"
+          },
+          {
+            "id": "1",
+            "truth": "01",
+            "values": {
+              "a": "00",
+              "sibling": "01",
+              "b": "00"
+            },
+            "p": "1/4"
+          },
+          {
+            "id": "2",
+            "truth": "10",
+            "values": {
+              "a": "10",
+              "sibling": "00",
+              "b": "10"
+            },
+            "p": "1/4"
+          },
+          {
+            "id": "3",
+            "truth": "11",
+            "values": {
+              "a": "10",
+              "sibling": "01",
+              "b": "10"
+            },
+            "p": "1/4"
+          }
+        ]
+      },
+      "orders": [
+        [
+          "a",
+          "sibling",
+          "b"
+        ],
+        [
+          "a",
+          "b",
+          "sibling"
+        ]
+      ],
+      "comparison": {
+        "previous": [
+          "a"
+        ],
+        "same": "sibling",
+        "other": "b"
+      }
+    },
+    {
+      "id": "xor-synergy",
+      "classification": "counterexample to unconditional diminishing returns",
+      "generation": "truth and mask are jointly independent uniform bits; the two handed views are mask and truth XOR mask. The sources share the declared masking mechanism; no conditional independence of those views is claimed.",
+      "model": {
+        "model": "finite-declared-joint@1",
+        "truthValues": [
+          "0",
+          "1"
+        ],
+        "sources": [
+          {
+            "id": "mask",
+            "lineage": "Lmask",
+            "values": [
+              "0",
+              "1"
+            ]
+          },
+          {
+            "id": "masked",
+            "lineage": "Lmask",
+            "values": [
+              "0",
+              "1"
+            ]
+          }
+        ],
+        "atoms": [
+          {
+            "id": "0",
+            "truth": "0",
+            "values": {
+              "mask": "0",
+              "masked": "0"
+            },
+            "p": "1/4"
+          },
+          {
+            "id": "1",
+            "truth": "0",
+            "values": {
+              "mask": "1",
+              "masked": "1"
+            },
+            "p": "1/4"
+          },
+          {
+            "id": "2",
+            "truth": "1",
+            "values": {
+              "mask": "0",
+              "masked": "1"
+            },
+            "p": "1/4"
+          },
+          {
+            "id": "3",
+            "truth": "1",
+            "values": {
+              "mask": "1",
+              "masked": "0"
+            },
+            "p": "1/4"
+          }
+        ]
+      },
+      "orders": [
+        [
+          "mask",
+          "masked"
+        ],
+        [
+          "masked",
+          "mask"
+        ]
+      ]
+    },
+    {
+      "id": "saturated-truth",
+      "classification": "counterexample to strict gain from another lineage",
+      "generation": "both declared channels are noiseless; after either source, truth is known",
+      "model": {
+        "model": "finite-declared-joint@1",
+        "truthValues": [
+          "0",
+          "1"
+        ],
+        "sources": [
+          {
+            "id": "a",
+            "lineage": "L1",
+            "values": [
+              "0",
+              "1"
+            ]
+          },
+          {
+            "id": "b",
+            "lineage": "L2",
+            "values": [
+              "0",
+              "1"
+            ]
+          }
+        ],
+        "atoms": [
+          {
+            "id": "0",
+            "truth": "0",
+            "values": {
+              "a": "0",
+              "b": "0"
+            },
+            "p": "1/2"
+          },
+          {
+            "id": "1",
+            "truth": "1",
+            "values": {
+              "a": "1",
+              "b": "1"
+            },
+            "p": "1/2"
+          }
+        ]
+      },
+      "orders": [
+        [
+          "a",
+          "b"
+        ],
+        [
+          "b",
+          "a"
+        ]
+      ]
+    },
+    {
+      "id": "majority-is-not-the-joint-observation",
+      "classification": "counterexample to monotonic information after a lossy mix",
+      "generation": "a is perfect; zero1 and zero2 always output zero. Equal-weight majority with three reports is constant even though the joint tuple retains truth.",
+      "model": {
+        "model": "finite-declared-joint@1",
+        "truthValues": [
+          "0",
+          "1"
+        ],
+        "sources": [
+          {
+            "id": "a",
+            "lineage": "L1",
+            "values": [
+              "0",
+              "1"
+            ]
+          },
+          {
+            "id": "zero1",
+            "lineage": "Lzero",
+            "values": [
+              "0"
+            ]
+          },
+          {
+            "id": "zero2",
+            "lineage": "Lzero",
+            "values": [
+              "0"
+            ]
+          }
+        ],
+        "atoms": [
+          {
+            "id": "0",
+            "truth": "0",
+            "values": {
+              "a": "0",
+              "zero1": "0",
+              "zero2": "0"
+            },
+            "p": "1/2"
+          },
+          {
+            "id": "1",
+            "truth": "1",
+            "values": {
+              "a": "1",
+              "zero1": "0",
+              "zero2": "0"
+            },
+            "p": "1/2"
+          }
+        ]
+      },
+      "orders": [
+        [
+          "a",
+          "zero1",
+          "zero2"
+        ],
+        [
+          "zero1",
+          "zero2",
+          "a"
+        ]
+      ]
+    }
+  ],
+  "provenance": "new finite declared joint tables; no original browser bytes, empirical truth labels or lineage identification are claimed",
+  "identity": "both orders of a case use the identical model object and all its atoms; no resampling or refitting by prefix"
+}

package/samples/laws/semilattice/no/sample.json

@@ -0,0 +1,18 @@
+{
+  "name": "raw-api-antisymmetry-counterclaim",
+  "a": {
+    "lo": 5,
+    "hi": 3
+  },
+  "b": {
+    "lo": 8,
+    "hi": 6
+  },
+  "fact": "published apiLeq holds both ways while endpoint pairs differ",
+  "falseClaim": "the published apiLeq is antisymmetric on raw Cell values",
+  "negativeInstrument": "Lean decide",
+  "negativeDeclaration": "raw_api_antisymmetry_counterclaim",
+  "expectedExit": 1,
+  "meaning": "refutes a wrong order identification, not the meet laws or the current algebra",
+  "boundRuntimeRefusalClaimed": false
+}