Counterexample CE-SCORE-ERROR-TRANSLATION-001

What it falsifies

Uncentred determinant retention is invariant under affine translations.

CE-SCORE-ERROR-TRANSLATION-001: labels before, 3 atoms in 2 cells-1-0.50000.5001score 1
Labels before
  • Cell 0
  • Cell 1
Atoms of CE-SCORE-ERROR-TRANSLATION-001
AtomWeightScore 1Cell before
11/3-10
21/300
31/311

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.