Small models beat large ones when failure modes are explicitly constrained — type0 | type0