FIXTURE / regression-rotation-restricted
Forbidden orientation
A keep-upright item that would have fitted lying down. The refusal names the rule: rotation_restricted, proven.
COVERSrotations · invalid_input
PROVESrotation_restricted · proven
STATUSVALIDATED
PLACEMENTS FROM THE ENGINE RENDER INTO THIS SURFACE
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-rotation-restricted
Bounds18 / 18
Collision0
Allowed rotations18 / 18
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.