Counterexample CE-SCORE-ERROR-ALIGNMENT-ORDER-001
What it falsifies
The trace-loss alignment bound is always <= the crude bound; both separately bound |T1|.
- Cell 0
- Cell 1
- Cell 2
| Atom | Weight | Score 1 | Score 2 | Cell before |
|---|---|---|---|---|
| 1 | 1/20 | -1 | -9 | 0 |
| 2 | 1/20 | 1 | -9 | 1 |
| 3 | 9/20 | -1 | 1 | 2 |
| 4 | 9/20 | 1 | 1 | 2 |
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.