PACKVIUM
    SourceTry it
    FIXTURE / regression-rotation-restricted

    Forbidden orientation

    A keep-upright item that would have fitted lying down. The refusal names the rotation rule that stopped it, and proves it.

    COVERSrotations · invalid input
    PROVESnamed rule, proven
    STATUSVALIDATED
    PLACEMENTS FROM THE ENGINE RENDER INTO THIS SURFACE
    REFUSED · 1
    plank-0No permitted rotation fitsProven
    RULES THIS FIXTURE EXERCISES

    What it pins down.

    rotationsvalidation
    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
    Bounds0 / 0
    Collision0
    Allowed rotations0 / 0
    Support ratioPASS
    Cumulative top loadPASS
    Stack densityPASS
    Centre of massPASS
    Axle loadPASS
    scoreUnits left over 0
    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.