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]>
6 lines
403 B
JSON
6 lines
403 B
JSON
{
|
|
"piece-0":"S1-mini from tick 0 to 44434: its frames equal the whole's at the same g (P7): accepted",
|
|
"piece-1":"S1-mini from tick 44434 to 96000: its frames equal the whole's at the same g (P7): accepted",
|
|
"piece-2":"S1-mini from tick 96000 to 144000: its frames equal the whole's at the same g (P7): accepted",
|
|
"whole":"S1-mini, a short roll of bars and runs under a group that fades in: accepted"
|
|
}
|