- 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]>
290 lines
6.5 KiB
JSON
290 lines
6.5 KiB
JSON
{
|
|
"header":{"magic":"WVG1","format":1,"tb":120000,"t0":0,"dur":4800,"design_w":256,"design_h":20,"n_sizes":1,"n_rates":1,"n_sets":1,"n_tables":0,"n_paints":1,"n_texts":1,"n_tracks":0,"n_paths":0,"n_items":1,"n_keys":0,"n_glyphs":256,"n_clusters":1,"path_contours":0,"path_points":0,"strings_len":4,"inline_len":493,"held_len":0,"zero@72":[0,0,0,0,0,0,0,0]},
|
|
"sizes":[
|
|
{"w":256,"h":20,"cost":1065969}
|
|
],
|
|
"rates":[
|
|
{"num":25,"den":1}
|
|
],
|
|
"sets":[
|
|
{"carriage":1,"zero@1":[0,0,0],"length":493,"sha256":"0acaca06b002e139c843158874c46e8862a2ad2bb59f072d6b6c37bfed834b21"}
|
|
],
|
|
"tables":[],
|
|
"paints":[
|
|
[255,255,255,255]
|
|
],
|
|
"tracks":[],
|
|
"keys":[],
|
|
"paths":[],
|
|
"path_ends":[],
|
|
"path_points":[],
|
|
"texts":[
|
|
{"purpose":3,"dir":0,"lang_len":3,"mode":0,"group":0,"ruby":0,"ruby_start":0,"ruby_len":0,"str_len":1}
|
|
],
|
|
"items":[
|
|
{"kind":3,"rule":0,"zero@2":0,"ref":0,"paint":0,"text":0,"zero@10":0,"n_glyphs":256,"n_clusters":1,"t_on":0,"t_off":4800,"unit_scale":65536,"m00":65535,"m01":65535,"m10":65535,"m11":65535,"tx":65535,"ty":65535,"op":65535,"zero@42":[0,0,0,0,0,0]}
|
|
],
|
|
"glyphs":[
|
|
[3,0,0,1024],
|
|
[3,0,1025,1024],
|
|
[3,0,2050,1024],
|
|
[3,0,3075,1024],
|
|
[3,0,4100,1024],
|
|
[3,0,5125,1024],
|
|
[3,0,6150,1024],
|
|
[3,0,7175,1024],
|
|
[3,0,8200,1024],
|
|
[3,0,9225,1024],
|
|
[3,0,10250,1024],
|
|
[3,0,11275,1024],
|
|
[3,0,12300,1024],
|
|
[3,0,13325,1024],
|
|
[3,0,14350,1024],
|
|
[3,0,15375,1024],
|
|
[3,0,16400,1024],
|
|
[3,0,17425,1024],
|
|
[3,0,18450,1024],
|
|
[3,0,19475,1024],
|
|
[3,0,20500,1024],
|
|
[3,0,21525,1024],
|
|
[3,0,22550,1024],
|
|
[3,0,23575,1024],
|
|
[3,0,24600,1024],
|
|
[3,0,25625,1024],
|
|
[3,0,26650,1024],
|
|
[3,0,27675,1024],
|
|
[3,0,28700,1024],
|
|
[3,0,29725,1024],
|
|
[3,0,30750,1024],
|
|
[3,0,31775,1024],
|
|
[3,0,32800,1024],
|
|
[3,0,33825,1024],
|
|
[3,0,34850,1024],
|
|
[3,0,35875,1024],
|
|
[3,0,36900,1024],
|
|
[3,0,37925,1024],
|
|
[3,0,38950,1024],
|
|
[3,0,39975,1024],
|
|
[3,0,41000,1024],
|
|
[3,0,42025,1024],
|
|
[3,0,43050,1024],
|
|
[3,0,44075,1024],
|
|
[3,0,45100,1024],
|
|
[3,0,46125,1024],
|
|
[3,0,47150,1024],
|
|
[3,0,48175,1024],
|
|
[3,0,49200,1024],
|
|
[3,0,50225,1024],
|
|
[3,0,51250,1024],
|
|
[3,0,52275,1024],
|
|
[3,0,53300,1024],
|
|
[3,0,54325,1024],
|
|
[3,0,55350,1024],
|
|
[3,0,56375,1024],
|
|
[3,0,57400,1024],
|
|
[3,0,58425,1024],
|
|
[3,0,59450,1024],
|
|
[3,0,60475,1024],
|
|
[3,0,61500,1024],
|
|
[3,0,62525,1024],
|
|
[3,0,63550,1024],
|
|
[3,0,64575,1024],
|
|
[3,0,64,2048],
|
|
[3,0,1089,2048],
|
|
[3,0,2114,2048],
|
|
[3,0,3139,2048],
|
|
[3,0,4164,2048],
|
|
[3,0,5189,2048],
|
|
[3,0,6214,2048],
|
|
[3,0,7239,2048],
|
|
[3,0,8264,2048],
|
|
[3,0,9289,2048],
|
|
[3,0,10314,2048],
|
|
[3,0,11339,2048],
|
|
[3,0,12364,2048],
|
|
[3,0,13389,2048],
|
|
[3,0,14414,2048],
|
|
[3,0,15439,2048],
|
|
[3,0,16464,2048],
|
|
[3,0,17489,2048],
|
|
[3,0,18514,2048],
|
|
[3,0,19539,2048],
|
|
[3,0,20564,2048],
|
|
[3,0,21589,2048],
|
|
[3,0,22614,2048],
|
|
[3,0,23639,2048],
|
|
[3,0,24664,2048],
|
|
[3,0,25689,2048],
|
|
[3,0,26714,2048],
|
|
[3,0,27739,2048],
|
|
[3,0,28764,2048],
|
|
[3,0,29789,2048],
|
|
[3,0,30814,2048],
|
|
[3,0,31839,2048],
|
|
[3,0,32864,2048],
|
|
[3,0,33889,2048],
|
|
[3,0,34914,2048],
|
|
[3,0,35939,2048],
|
|
[3,0,36964,2048],
|
|
[3,0,37989,2048],
|
|
[3,0,39014,2048],
|
|
[3,0,40039,2048],
|
|
[3,0,41064,2048],
|
|
[3,0,42089,2048],
|
|
[3,0,43114,2048],
|
|
[3,0,44139,2048],
|
|
[3,0,45164,2048],
|
|
[3,0,46189,2048],
|
|
[3,0,47214,2048],
|
|
[3,0,48239,2048],
|
|
[3,0,49264,2048],
|
|
[3,0,50289,2048],
|
|
[3,0,51314,2048],
|
|
[3,0,52339,2048],
|
|
[3,0,53364,2048],
|
|
[3,0,54389,2048],
|
|
[3,0,55414,2048],
|
|
[3,0,56439,2048],
|
|
[3,0,57464,2048],
|
|
[3,0,58489,2048],
|
|
[3,0,59514,2048],
|
|
[3,0,60539,2048],
|
|
[3,0,61564,2048],
|
|
[3,0,62589,2048],
|
|
[3,0,63614,2048],
|
|
[3,0,64639,2048],
|
|
[3,0,128,3072],
|
|
[3,0,1153,3072],
|
|
[3,0,2178,3072],
|
|
[3,0,3203,3072],
|
|
[3,0,4228,3072],
|
|
[3,0,5253,3072],
|
|
[3,0,6278,3072],
|
|
[3,0,7303,3072],
|
|
[3,0,8328,3072],
|
|
[3,0,9353,3072],
|
|
[3,0,10378,3072],
|
|
[3,0,11403,3072],
|
|
[3,0,12428,3072],
|
|
[3,0,13453,3072],
|
|
[3,0,14478,3072],
|
|
[3,0,15503,3072],
|
|
[3,0,16528,3072],
|
|
[3,0,17553,3072],
|
|
[3,0,18578,3072],
|
|
[3,0,19603,3072],
|
|
[3,0,20628,3072],
|
|
[3,0,21653,3072],
|
|
[3,0,22678,3072],
|
|
[3,0,23703,3072],
|
|
[3,0,24728,3072],
|
|
[3,0,25753,3072],
|
|
[3,0,26778,3072],
|
|
[3,0,27803,3072],
|
|
[3,0,28828,3072],
|
|
[3,0,29853,3072],
|
|
[3,0,30878,3072],
|
|
[3,0,31903,3072],
|
|
[3,0,32928,3072],
|
|
[3,0,33953,3072],
|
|
[3,0,34978,3072],
|
|
[3,0,36003,3072],
|
|
[3,0,37028,3072],
|
|
[3,0,38053,3072],
|
|
[3,0,39078,3072],
|
|
[3,0,40103,3072],
|
|
[3,0,41128,3072],
|
|
[3,0,42153,3072],
|
|
[3,0,43178,3072],
|
|
[3,0,44203,3072],
|
|
[3,0,45228,3072],
|
|
[3,0,46253,3072],
|
|
[3,0,47278,3072],
|
|
[3,0,48303,3072],
|
|
[3,0,49328,3072],
|
|
[3,0,50353,3072],
|
|
[3,0,51378,3072],
|
|
[3,0,52403,3072],
|
|
[3,0,53428,3072],
|
|
[3,0,54453,3072],
|
|
[3,0,55478,3072],
|
|
[3,0,56503,3072],
|
|
[3,0,57528,3072],
|
|
[3,0,58553,3072],
|
|
[3,0,59578,3072],
|
|
[3,0,60603,3072],
|
|
[3,0,61628,3072],
|
|
[3,0,62653,3072],
|
|
[3,0,63678,3072],
|
|
[3,0,64703,3072],
|
|
[3,0,192,4096],
|
|
[3,0,1217,4096],
|
|
[3,0,2242,4096],
|
|
[3,0,3267,4096],
|
|
[3,0,4292,4096],
|
|
[3,0,5317,4096],
|
|
[3,0,6342,4096],
|
|
[3,0,7367,4096],
|
|
[3,0,8392,4096],
|
|
[3,0,9417,4096],
|
|
[3,0,10442,4096],
|
|
[3,0,11467,4096],
|
|
[3,0,12492,4096],
|
|
[3,0,13517,4096],
|
|
[3,0,14542,4096],
|
|
[3,0,15567,4096],
|
|
[3,0,16592,4096],
|
|
[3,0,17617,4096],
|
|
[3,0,18642,4096],
|
|
[3,0,19667,4096],
|
|
[3,0,20692,4096],
|
|
[3,0,21717,4096],
|
|
[3,0,22742,4096],
|
|
[3,0,23767,4096],
|
|
[3,0,24792,4096],
|
|
[3,0,25817,4096],
|
|
[3,0,26842,4096],
|
|
[3,0,27867,4096],
|
|
[3,0,28892,4096],
|
|
[3,0,29917,4096],
|
|
[3,0,30942,4096],
|
|
[3,0,31967,4096],
|
|
[3,0,32992,4096],
|
|
[3,0,34017,4096],
|
|
[3,0,35042,4096],
|
|
[3,0,36067,4096],
|
|
[3,0,37092,4096],
|
|
[3,0,38117,4096],
|
|
[3,0,39142,4096],
|
|
[3,0,40167,4096],
|
|
[3,0,41192,4096],
|
|
[3,0,42217,4096],
|
|
[3,0,43242,4096],
|
|
[3,0,44267,4096],
|
|
[3,0,45292,4096],
|
|
[3,0,46317,4096],
|
|
[3,0,47342,4096],
|
|
[3,0,48367,4096],
|
|
[3,0,49392,4096],
|
|
[3,0,50417,4096],
|
|
[3,0,51442,4096],
|
|
[3,0,52467,4096],
|
|
[3,0,53492,4096],
|
|
[3,0,54517,4096],
|
|
[3,0,55542,4096],
|
|
[3,0,56567,4096],
|
|
[3,0,57592,4096],
|
|
[3,0,58617,4096],
|
|
[3,0,59642,4096],
|
|
[3,0,60667,4096],
|
|
[3,0,61692,4096],
|
|
[3,0,62717,4096],
|
|
[3,0,63742,4096],
|
|
[3,0,64767,4096]
|
|
],
|
|
"clusters":[
|
|
[256,0,0,1]
|
|
],
|
|
"strings":"undA",
|
|
"inline":"574f53310100000000080100060000001c00000006000000d5000000000000000100010004000000000000fc8001000002000100030000004000ecfa4001b4fb0300010004000000000000fe000200000400010008000000000000fe00020000050001000500000000007cfcbc022c010600010004000000000000fc0002000003000200030007000400030000000000008001000000800100fc00000000fc004000b4fb004001b4fb00c000ecfa0000000000000002000000000200fe00000000fe0000010000000002000001000200ff00000200fe01000100fe00000000fe01000000ff0000000000010000000000c8007cfc02f4012c0102bc0244fd00bc0200000000000000000002000000000200fc00000000fc006e616d653d73796e7468657469632d720a736f757263653d67656e657261746564206279207761692d766563746f7220766563746f72732067656e2066726f6d20666f726d756c61730a6c6963656e63653d4170616368652d322e300a0a54686973206f75746c696e6520736574207761732067656e65726174656420696e2074686973207265706f7369746f72792066726f6d20666f726d756c61732e204974206973206c6963656e73656420756e6465722074686520417061636865204c6963656e73652c2056657273696f6e20322e302e0a"
|
|
}
|