Conservative affine training constraints
24/24 identities pass; state: complete.
| Family | Completed | Passed | Exact feasible points retained |
|---|---|---|---|
| exact | 4 | 4 | 8 |
| empty | 4 | 4 | 0 |
| weak | 4 | 4 | 8 |
| coupled | 12 | 12 | 768 |
All 27 coordinates remain present. Coupled controls preserve seven wholly unidentified columns; weak systems must remain unchanged, and known contradictions must be explicit. Every declared feasible point is checked with independent rational arithmetic before contraction.
Elapsed 1.58 seconds. Zero native evaluations, optimizer starts or archive reads.
This verifies a mathematical necessary-constraint component, not measurement error, global nonlinear bounds or observational coverage. No native uncertainty region has been narrowed. All scientific decisions abstain.