237f117a67
- geom.rs, RS1: the levels and the closed forms in i64, and the 32-bit quotient-remainder identity behind cfg(test, kani) and the i32-forms feature; - cover.rs, RS2-RS6: the row split, the cell split walked left to right with the columns left of the canvas folded into one contribution per row piece, the delta buffer over the fill's canvas-clipped box, the scan, the quantisers and the run's glyph-wise sum; a debug build asserts D_r <= 256 p <= 2^22 - 256 before accumulating; - paint.rs, RS7-RS9: p' = div255(p o), then div255(p' alpha) and source-over; the group pop div255(m o_g) then div255(G k); RGBA8S; - frame.rs: R(P, S, z, r, g), with a run's outlines placed and flattened once per glyph ID; render_request's size_unlisted, rate_unlisted and frame_range. Vectors: flatten (levels and vertices), fills, runs (a set drawn here from formulas), composite (with RGBA8S), motion, clock and slicing, each frame's SHA-256 and each (size, rate)'s clip digest in its expected file and in sha256.json. Co-Authored-By: Claude Opus 5.5 <[email protected]>
30 lines
2.9 KiB
JSON
30 lines
2.9 KiB
JSON
{
|
|
"canvas-edges":"squares one subpixel inside each edge of the canvas and squares just outside it: accepted",
|
|
"comb-16382":"a comb of 16,382 points whose every segment crosses row 2: D_r = 256 p, the bound attained: accepted",
|
|
"curves":"a contour of a quadratic, a cubic and its closing line: accepted",
|
|
"curves-reversed":"a contour of a quadratic, a cubic and its closing line, every contour reversed: the same frames (P1): accepted",
|
|
"fringe-evenodd":"a contour duplicated under even-odd: the interior 0 and the half-covered edge pixels 255 (a documented cost, §3.13): accepted",
|
|
"hole":"an outer contour and a hole of the other orientation, non-zero: accepted",
|
|
"hole-reversed":"an outer contour and a hole of the other orientation, non-zero, every contour reversed: the same frames (P1): accepted",
|
|
"left-fold":"contours crossing the left edge, one wholly left of the canvas (it draws nothing), and one crossing the top: accepted",
|
|
"negative":"a fill placed at negative coordinates, its crossings floors of negative rationals: accepted",
|
|
"pixel-edges":"edges exactly on pixel boundaries (255 inside, 0 outside) and one subpixel inside them: accepted",
|
|
"points-16383":"a path of 16,383 points, the cap, under even-odd: accepted",
|
|
"random-0":"random polygons, partly off the canvas: accepted",
|
|
"random-0-reversed":"random polygons, partly off the canvas, every contour reversed: the same frames (P1): accepted",
|
|
"random-1":"random polygons, partly off the canvas: accepted",
|
|
"random-1-reversed":"random polygons, partly off the canvas, every contour reversed: the same frames (P1): accepted",
|
|
"random-2":"random polygons, partly off the canvas: accepted",
|
|
"random-2-reversed":"random polygons, partly off the canvas, every contour reversed: the same frames (P1): accepted",
|
|
"random-3":"random polygons, partly off the canvas: accepted",
|
|
"random-3-reversed":"random polygons, partly off the canvas, every contour reversed: the same frames (P1): accepted",
|
|
"rect":"a rectangle with every edge inside a pixel: accepted",
|
|
"rect-reversed":"a rectangle with every edge inside a pixel, every contour reversed: the same frames (P1): accepted",
|
|
"seam-nonzero":"two abutting rectangles of opposite orientation in one non-zero fill: the seam's pixel column reads 0 (a documented cost, §3.13): accepted",
|
|
"slivers":"slivers one subpixel across, near-horizontal and near-vertical: accepted",
|
|
"star-evenodd":"the star under even-odd: its centre a hole: accepted",
|
|
"star-evenodd-reversed":"the star under even-odd: its centre a hole, every contour reversed: the same frames (P1): accepted",
|
|
"star-nonzero":"a self-intersecting star under non-zero: its centre covered: accepted",
|
|
"star-nonzero-reversed":"a self-intersecting star under non-zero: its centre covered, every contour reversed: the same frames (P1): accepted",
|
|
"triangle-af5":"the triangle (0,0)-(512,3)-(0,3): |v| = 1280 and 512 in its two pixels, the snapped polygon's area, not the outline's: accepted"
|
|
}
|