FIXTURE / regression-group-atomicity
Group atomicity
A two-item group that cannot travel together is rejected as a whole, and the unrelated items in the same order are not stranded with it.
COVERSgrouping
PROVESgroup rejected as a whole
STATUSVALIDATED
loose × 4
REFUSED · 2
half-a-0Its group cannot be kept togetherInferred
half-b-1Its group cannot be kept togetherInferred
RULES THIS FIXTURE EXERCISES
What it pins down.
INDEPENDENT VALIDATION
Checked again by an implementation that shares no code.
The validator recomputes the objective and every affected rule from the returned placements, with an implementation that shares no code with the solver. Inject a failure to see how a rejected result reports itself.
VALIDATEDfixture / regression-group-atomicity
Bounds4 / 4
Collision0
Allowed rotations4 / 4
Support ratioPASS
Cumulative top loadPASS
Stack densityPASS
Centre of massPASS
Axle loadPASS
SOURCE-FIRST
The fixture id is the same everywhere.
The fixture id is the same in the conformance corpus, the field matrix and a bug report. Reproducing a defect means naming a file, not describing a screenshot.