Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 15 Packages Wiki Activity Actions 82
open-standards/wai/vector-conformance/vectors/fills
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 237f117a67 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 
- 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]>
2026-10-11 04:19:10 -04:00
..
canvas-edges.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
canvas-edges.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
comb-16382.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
comb-16382.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
curves-reversed.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
curves-reversed.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
curves.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
curves.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
fringe-evenodd.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
fringe-evenodd.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
hole-reversed.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
hole-reversed.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
hole.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
hole.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
index.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
left-fold.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
left-fold.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
negative.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
negative.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
pixel-edges.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
pixel-edges.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
points-16383.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
points-16383.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-0-reversed.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-0-reversed.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-0.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-0.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-1-reversed.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-1-reversed.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-1.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-1.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-2-reversed.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-2-reversed.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-2.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-2.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-3-reversed.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-3-reversed.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-3.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
random-3.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
rect-reversed.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
rect-reversed.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
rect.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
rect.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
seam-nonzero.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
seam-nonzero.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
slivers.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
slivers.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
star-evenodd-reversed.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
star-evenodd-reversed.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
star-evenodd.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
star-evenodd.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
star-nonzero-reversed.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
star-nonzero-reversed.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
star-nonzero.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
star-nonzero.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
triangle-af5.json wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00
triangle-af5.wvg1 wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3) 2026-10-11 04:19:10 -04:00