Counterexample CE-CLASSIFIER-CALIBRATION-CHART-001

What it falsifies

Positive classifier reliability lower-bounds score error for an arbitrary fixed linear score chart.

CE-CLASSIFIER-CALIBRATION-CHART-001: labels before, 2 atoms in 2 cells-1-0.50000.5001score 1
Labels before
  • Cell 0
  • Cell 1
Atoms of CE-CLASSIFIER-CALIBRATION-CHART-001
AtomWeightScore 1Cell before
11/210
21/2-11

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.