Counterexample CE-D-COMPILE-BATCH-TOLERANCE-001
What it falsifies
The tolerance bound on individual compilation disagreements bounds the simultaneous training log-determinant change by the same tolerance.
- Cell 0
- Cell 1
| Atom | Weight | Score 1 | Cell before | Cell after |
|---|---|---|---|---|
| 1 | 1 | -3 | 0 | 0 |
| 2 | 1 | -1 | 1 | 0 |
| 3 | 1 | 1 | 0 | 1 |
| 4 | 1 | 3 | 1 | 1 |
Objective
The criterion value at each labelling, exactly as the fixture certifies it.
| Labelling | Objective |
|---|---|
| Labels before | log(4) |
| Labels after | log(16) |
How it was verified
Method: exact_formula.
Fraction regression enumerates every admissible one-row relocation; log ratios are invariant under uniform weight scaling. Singleton prediction is inadmissible; the batch fixture retains both cells.
Claims that cite it
Recorded 11 September 2026. The fixture as JSON.