FA-51838 / Raster clipping / Member archive

Circle span scissor: right bound exclusive · case 03

The inclusive right pixel index is used as the exclusive end, dropping the last covered pixel.

Member previewVariant 3 · 3 implementations · 10 checks per implementation

Case contract

Each command is [cx,cy,r,scissor] for a filled disc centred on the integer pixel-corner point (cx,cy). Pixel (x,y) is covered when its center (x+1/2,y+1/2) lies within the closed disc. Rows of the half-open scissor [left,top,right,bottom) intersected with [0,size) are scanned in order, computing exact integer span bounds with half-pixel doubled coordinates and an integer square root, then clipping to scissor columns. Non-empty spans are [row,start,end).

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 0	`[[[1, 2, 3], [2, 1, 4], [3, 1, 4], [4, 2, 3]]]`	`[[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]]`	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.