Counterexample `CE-SCORE-ERROR-SINGULAR-LS-001`

What it falsifies

The least-squares map A* is always an admissible nonsingular reporting reparameterization.

Labels before

Cell 0

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.