FA-51670 / Raster clipping / Member archive

Blit source destination clip: empty either dimension · case 05

A copy empty in one dimension is still reported as a blit with nonpositive width or height.

Member previewVariant 5 · 3 implementations · 12 checks per implementation

Case contract

Each command is [sw,sh,sx,sy,w,h,dx,dy,clip]: a source image sw by sh, a requested source rectangle origin and size, a destination origin, and a half-open destination scissor [left,top,right,bottom) first intersected with the size by size target. Negative source origins trim width/height and shift the destination by the same amount; the source rectangle is limited to the image; destination pixels left/top of the scissor trim size and advance the source origin; right/bottom trims use half-open bounds. The result is [sx,sy,dx,dy,w,h] or None when either dimension is empty.

Why this case matters

Raster clipping decides which pixels a primitive may touch; a single wrong clip decision writes outside the target or scissor, or silently drops visible coverage.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
explicit case 6	`[[0, 0, 0, 0, 0, 4]]`	`[null]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.