Counterexample `CE-SCORE-ERROR-LOG-LOWER-001`

What it falsifies

Lemma 4 scalar inequality with positive lambda_min; the final epsilon-based curvature bound survives.

Labels before

Cell 0
Cell 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

Reported versus true retention of a frozen label map under a score error: an exact two-term expansion in the Fisher-whitened score errorSCORE-ERROR-RETENTION-BUDGETbounded by this fixture

Recorded 8 September 2026. The fixture as JSON.