- 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]>
237f117a67