Counterexample CE-CLASSIFIER-CALIBRATION-CHART-001
What it falsifies
Positive classifier reliability lower-bounds score error for an arbitrary fixed linear score chart.
- Cell 0
- Cell 1
| Atom | Weight | Score 1 | Cell before |
|---|---|---|---|
| 1 | 1/2 | 1 | 0 |
| 2 | 1/2 | -1 | 1 |
How it was verified
Method: exact_formula.
Rational witness; independently recomputed in tests/test_research_claims.py. See audit for the corrected theorem.
Claims that cite it
Recorded 8 September 2026. The fixture as JSON.