open-standards/wai/vector-conformance/vectors/arith/r_rat.json
Transaction Science 2f147d2a30
Some checks failed
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 2m13s
standards workspaces build + test / aac-rs (pull_request) Successful in 1m58s
standards workspaces build + test / joule-code-rs (pull_request) Successful in 50s
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 34s
standards workspaces build + test / map-rs (pull_request) Successful in 31s
standards workspaces build + test / mesh-rs (pull_request) Successful in 31s
no-vanity-metrics / Scan committed Markdown for vanity metrics (pull_request) Has been cancelled
no-vanity-metrics / WAI public text names no comparison (pull_request) Has been cancelled
no-vanity-metrics / WAI public text names no company or product (pull_request) Has been cancelled
standards workspaces build + test / arl-rs (pull_request) Has been cancelled
standards workspaces build + test / eoc-rs (pull_request) Has been cancelled
standards workspaces build + test / jcp-rs (pull_request) Has been cancelled
standards workspaces build + test / joule-ui-rs (pull_request) Has been cancelled
standards workspaces build + test / jouledesk-rs (pull_request) Has been cancelled
standards workspaces build + test / joulehook-rs (pull_request) Has been cancelled
standards workspaces build + test / proof-rs (pull_request) Has been cancelled
standards workspaces build + test / sandbox-rs (pull_request) Has been cancelled
standards workspaces build + test / sense-rs (pull_request) Has been cancelled
standards workspaces build + test / smart-byte-rs (pull_request) Has been cancelled
standards workspaces build + test / macOS energy backends (pull_request) Has been cancelled
WAI conformance / cargo-class corpora · linux (pull_request) Has been cancelled
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Has been cancelled
WAI conformance / cargo-class corpora · macos (pull_request) Has been cancelled
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Has been cancelled
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Has been cancelled
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Has been cancelled
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Has been cancelled
WAI conformance / cross-arch byte-equality · linux (pull_request) Has been cancelled
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Has been cancelled
WAI conformance / cross-arch byte-equality · macos (pull_request) Has been cancelled
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Has been cancelled
WAI energy receipts / energy receipts · linux (pull_request) Has been cancelled
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Has been cancelled
WAI energy receipts / energy receipts · macos (pull_request) Has been cancelled
WAI section references / cited sections exist (pull_request) Has been cancelled
wai-vector vector graphics / linux-aarch64 (pull_request) Has been cancelled
wai-vector vector graphics / linux-x86_64 (pull_request) Has been cancelled
wai-vector vector graphics / macos-arm64 (pull_request) Has been cancelled
wai-vector vector graphics / wasm32-wasip2 (wasmtime) (pull_request) Has been cancelled
wai-vector vector graphics / wasm32 under Node (pull_request) Has been cancelled
wai-vector vector graphics / fuzz, peak allocation, comparison count (pull_request) Has been cancelled
workflow hygiene / every workflow supersedes its own queue (pull_request) Has been cancelled
standards workspaces build + test / openpay (pull_request) Has been cancelled
wai-vector: WOS1 and WVG1 with the refusal order of §2.7, the clock, tracks, the interval check and the cost (D7-2)
The reference crate of wai.graphics.vector (no_std + alloc, no
dependencies; SHA-256 is wai-ops's, by #[path]):
- WOS1 parsed with §2.1's load checks in order, and written;
- WVG1 split (steps 1-3, nothing allocated before the exact length),
  the record pass (step 4), the cross-record checks (step 5(a)-(h)),
  the sets by digest with at most length + 1 bytes read (step 6), the
  glyphs (7), the interval check (8) and the per-frame cost (9);
- the clock with the frame range by division, track evaluation, and
  placement;
- the JSON authoring form, one member per field, packing back to the
  same bytes;
- the CLI: check, cost, pack, unpack, vectors gen and verify;
- a wasm32 module and verify.mjs for Node.

The corpus wai/vector-conformance/ (arith, canonical, refusals,
geometry, cost) with its README's provenance line and a sha256.json
sidecar naming the div255 table; wai-vector.yml with native, wasip2,
node and fuzz jobs.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-11 03:59:47 -04:00

1 line
12 KiB
JSON

{"cases":[[-600,1],[-593,1],[-586,1],[-579,1],[-572,1],[-565,1],[-558,1],[-551,1],[-544,1],[-537,1],[-530,1],[-523,1],[-516,1],[-509,1],[-502,1],[-495,1],[-488,1],[-481,1],[-474,1],[-467,1],[-460,1],[-453,1],[-446,1],[-439,1],[-432,1],[-425,1],[-418,1],[-411,1],[-404,1],[-397,1],[-390,1],[-383,1],[-376,1],[-369,1],[-362,1],[-355,1],[-348,1],[-341,1],[-334,1],[-327,1],[-320,1],[-313,1],[-306,1],[-299,1],[-292,1],[-285,1],[-278,1],[-271,1],[-264,1],[-257,1],[-250,1],[-243,1],[-236,1],[-229,1],[-222,1],[-215,1],[-208,1],[-201,1],[-194,1],[-187,1],[-180,1],[-173,1],[-166,1],[-159,1],[-152,1],[-145,1],[-138,1],[-131,1],[-124,1],[-117,1],[-110,1],[-103,1],[-96,1],[-89,1],[-82,1],[-75,1],[-68,1],[-61,1],[-54,1],[-47,1],[-40,1],[-33,1],[-26,1],[-19,1],[-12,1],[-5,1],[2,1],[9,1],[16,1],[23,1],[30,1],[37,1],[44,1],[51,1],[58,1],[65,1],[72,1],[79,1],[86,1],[93,1],[100,1],[107,1],[114,1],[121,1],[128,1],[135,1],[142,1],[149,1],[156,1],[163,1],[170,1],[177,1],[184,1],[191,1],[198,1],[205,1],[212,1],[219,1],[226,1],[233,1],[240,1],[247,1],[254,1],[261,1],[268,1],[275,1],[282,1],[289,1],[296,1],[303,1],[310,1],[317,1],[324,1],[331,1],[338,1],[345,1],[352,1],[359,1],[366,1],[373,1],[380,1],[387,1],[394,1],[401,1],[408,1],[415,1],[422,1],[429,1],[436,1],[443,1],[450,1],[457,1],[464,1],[471,1],[478,1],[485,1],[492,1],[499,1],[506,1],[513,1],[520,1],[527,1],[534,1],[541,1],[548,1],[555,1],[562,1],[569,1],[576,1],[583,1],[590,1],[597,1],[0,1],[0,1],[-600,2],[-593,2],[-586,2],[-579,2],[-572,2],[-565,2],[-558,2],[-551,2],[-544,2],[-537,2],[-530,2],[-523,2],[-516,2],[-509,2],[-502,2],[-495,2],[-488,2],[-481,2],[-474,2],[-467,2],[-460,2],[-453,2],[-446,2],[-439,2],[-432,2],[-425,2],[-418,2],[-411,2],[-404,2],[-397,2],[-390,2],[-383,2],[-376,2],[-369,2],[-362,2],[-355,2],[-348,2],[-341,2],[-334,2],[-327,2],[-320,2],[-313,2],[-306,2],[-299,2],[-292,2],[-285,2],[-278,2],[-271,2],[-264,2],[-257,2],[-250,2],[-243,2],[-236,2],[-229,2],[-222,2],[-215,2],[-208,2],[-201,2],[-194,2],[-187,2],[-180,2],[-173,2],[-166,2],[-159,2],[-152,2],[-145,2],[-138,2],[-131,2],[-124,2],[-117,2],[-110,2],[-103,2],[-96,2],[-89,2],[-82,2],[-75,2],[-68,2],[-61,2],[-54,2],[-47,2],[-40,2],[-33,2],[-26,2],[-19,2],[-12,2],[-5,2],[2,2],[9,2],[16,2],[23,2],[30,2],[37,2],[44,2],[51,2],[58,2],[65,2],[72,2],[79,2],[86,2],[93,2],[100,2],[107,2],[114,2],[121,2],[128,2],[135,2],[142,2],[149,2],[156,2],[163,2],[170,2],[177,2],[184,2],[191,2],[198,2],[205,2],[212,2],[219,2],[226,2],[233,2],[240,2],[247,2],[254,2],[261,2],[268,2],[275,2],[282,2],[289,2],[296,2],[303,2],[310,2],[317,2],[324,2],[331,2],[338,2],[345,2],[352,2],[359,2],[366,2],[373,2],[380,2],[387,2],[394,2],[401,2],[408,2],[415,2],[422,2],[429,2],[436,2],[443,2],[450,2],[457,2],[464,2],[471,2],[478,2],[485,2],[492,2],[499,2],[506,2],[513,2],[520,2],[527,2],[534,2],[541,2],[548,2],[555,2],[562,2],[569,2],[576,2],[583,2],[590,2],[597,2],[1,2],[-1,2],[-600,3],[-593,3],[-586,3],[-579,3],[-572,3],[-565,3],[-558,3],[-551,3],[-544,3],[-537,3],[-530,3],[-523,3],[-516,3],[-509,3],[-502,3],[-495,3],[-488,3],[-481,3],[-474,3],[-467,3],[-460,3],[-453,3],[-446,3],[-439,3],[-432,3],[-425,3],[-418,3],[-411,3],[-404,3],[-397,3],[-390,3],[-383,3],[-376,3],[-369,3],[-362,3],[-355,3],[-348,3],[-341,3],[-334,3],[-327,3],[-320,3],[-313,3],[-306,3],[-299,3],[-292,3],[-285,3],[-278,3],[-271,3],[-264,3],[-257,3],[-250,3],[-243,3],[-236,3],[-229,3],[-222,3],[-215,3],[-208,3],[-201,3],[-194,3],[-187,3],[-180,3],[-173,3],[-166,3],[-159,3],[-152,3],[-145,3],[-138,3],[-131,3],[-124,3],[-117,3],[-110,3],[-103,3],[-96,3],[-89,3],[-82,3],[-75,3],[-68,3],[-61,3],[-54,3],[-47,3],[-40,3],[-33,3],[-26,3],[-19,3],[-12,3],[-5,3],[2,3],[9,3],[16,3],[23,3],[30,3],[37,3],[44,3],[51,3],[58,3],[65,3],[72,3],[79,3],[86,3],[93,3],[100,3],[107,3],[114,3],[121,3],[128,3],[135,3],[142,3],[149,3],[156,3],[163,3],[170,3],[177,3],[184,3],[191,3],[198,3],[205,3],[212,3],[219,3],[226,3],[233,3],[240,3],[247,3],[254,3],[261,3],[268,3],[275,3],[282,3],[289,3],[296,3],[303,3],[310,3],[317,3],[324,3],[331,3],[338,3],[345,3],[352,3],[359,3],[366,3],[373,3],[380,3],[387,3],[394,3],[401,3],[408,3],[415,3],[422,3],[429,3],[436,3],[443,3],[450,3],[457,3],[464,3],[471,3],[478,3],[485,3],[492,3],[499,3],[506,3],[513,3],[520,3],[527,3],[534,3],[541,3],[548,3],[555,3],[562,3],[569,3],[576,3],[583,3],[590,3],[597,3],[1,3],[-1,3],[-600,4],[-593,4],[-586,4],[-579,4],[-572,4],[-565,4],[-558,4],[-551,4],[-544,4],[-537,4],[-530,4],[-523,4],[-516,4],[-509,4],[-502,4],[-495,4],[-488,4],[-481,4],[-474,4],[-467,4],[-460,4],[-453,4],[-446,4],[-439,4],[-432,4],[-425,4],[-418,4],[-411,4],[-404,4],[-397,4],[-390,4],[-383,4],[-376,4],[-369,4],[-362,4],[-355,4],[-348,4],[-341,4],[-334,4],[-327,4],[-320,4],[-313,4],[-306,4],[-299,4],[-292,4],[-285,4],[-278,4],[-271,4],[-264,4],[-257,4],[-250,4],[-243,4],[-236,4],[-229,4],[-222,4],[-215,4],[-208,4],[-201,4],[-194,4],[-187,4],[-180,4],[-173,4],[-166,4],[-159,4],[-152,4],[-145,4],[-138,4],[-131,4],[-124,4],[-117,4],[-110,4],[-103,4],[-96,4],[-89,4],[-82,4],[-75,4],[-68,4],[-61,4],[-54,4],[-47,4],[-40,4],[-33,4],[-26,4],[-19,4],[-12,4],[-5,4],[2,4],[9,4],[16,4],[23,4],[30,4],[37,4],[44,4],[51,4],[58,4],[65,4],[72,4],[79,4],[86,4],[93,4],[100,4],[107,4],[114,4],[121,4],[128,4],[135,4],[142,4],[149,4],[156,4],[163,4],[170,4],[177,4],[184,4],[191,4],[198,4],[205,4],[212,4],[219,4],[226,4],[233,4],[240,4],[247,4],[254,4],[261,4],[268,4],[275,4],[282,4],[289,4],[296,4],[303,4],[310,4],[317,4],[324,4],[331,4],[338,4],[345,4],[352,4],[359,4],[366,4],[373,4],[380,4],[387,4],[394,4],[401,4],[408,4],[415,4],[422,4],[429,4],[436,4],[443,4],[450,4],[457,4],[464,4],[471,4],[478,4],[485,4],[492,4],[499,4],[506,4],[513,4],[520,4],[527,4],[534,4],[541,4],[548,4],[555,4],[562,4],[569,4],[576,4],[583,4],[590,4],[597,4],[2,4],[-2,4],[-600,7],[-593,7],[-586,7],[-579,7],[-572,7],[-565,7],[-558,7],[-551,7],[-544,7],[-537,7],[-530,7],[-523,7],[-516,7],[-509,7],[-502,7],[-495,7],[-488,7],[-481,7],[-474,7],[-467,7],[-460,7],[-453,7],[-446,7],[-439,7],[-432,7],[-425,7],[-418,7],[-411,7],[-404,7],[-397,7],[-390,7],[-383,7],[-376,7],[-369,7],[-362,7],[-355,7],[-348,7],[-341,7],[-334,7],[-327,7],[-320,7],[-313,7],[-306,7],[-299,7],[-292,7],[-285,7],[-278,7],[-271,7],[-264,7],[-257,7],[-250,7],[-243,7],[-236,7],[-229,7],[-222,7],[-215,7],[-208,7],[-201,7],[-194,7],[-187,7],[-180,7],[-173,7],[-166,7],[-159,7],[-152,7],[-145,7],[-138,7],[-131,7],[-124,7],[-117,7],[-110,7],[-103,7],[-96,7],[-89,7],[-82,7],[-75,7],[-68,7],[-61,7],[-54,7],[-47,7],[-40,7],[-33,7],[-26,7],[-19,7],[-12,7],[-5,7],[2,7],[9,7],[16,7],[23,7],[30,7],[37,7],[44,7],[51,7],[58,7],[65,7],[72,7],[79,7],[86,7],[93,7],[100,7],[107,7],[114,7],[121,7],[128,7],[135,7],[142,7],[149,7],[156,7],[163,7],[170,7],[177,7],[184,7],[191,7],[198,7],[205,7],[212,7],[219,7],[226,7],[233,7],[240,7],[247,7],[254,7],[261,7],[268,7],[275,7],[282,7],[289,7],[296,7],[303,7],[310,7],[317,7],[324,7],[331,7],[338,7],[345,7],[352,7],[359,7],[366,7],[373,7],[380,7],[387,7],[394,7],[401,7],[408,7],[415,7],[422,7],[429,7],[436,7],[443,7],[450,7],[457,7],[464,7],[471,7],[478,7],[485,7],[492,7],[499,7],[506,7],[513,7],[520,7],[527,7],[534,7],[541,7],[548,7],[555,7],[562,7],[569,7],[576,7],[583,7],[590,7],[597,7],[3,7],[-3,7],[-600,255],[-593,255],[-586,255],[-579,255],[-572,255],[-565,255],[-558,255],[-551,255],[-544,255],[-537,255],[-530,255],[-523,255],[-516,255],[-509,255],[-502,255],[-495,255],[-488,255],[-481,255],[-474,255],[-467,255],[-460,255],[-453,255],[-446,255],[-439,255],[-432,255],[-425,255],[-418,255],[-411,255],[-404,255],[-397,255],[-390,255],[-383,255],[-376,255],[-369,255],[-362,255],[-355,255],[-348,255],[-341,255],[-334,255],[-327,255],[-320,255],[-313,255],[-306,255],[-299,255],[-292,255],[-285,255],[-278,255],[-271,255],[-264,255],[-257,255],[-250,255],[-243,255],[-236,255],[-229,255],[-222,255],[-215,255],[-208,255],[-201,255],[-194,255],[-187,255],[-180,255],[-173,255],[-166,255],[-159,255],[-152,255],[-145,255],[-138,255],[-131,255],[-124,255],[-117,255],[-110,255],[-103,255],[-96,255],[-89,255],[-82,255],[-75,255],[-68,255],[-61,255],[-54,255],[-47,255],[-40,255],[-33,255],[-26,255],[-19,255],[-12,255],[-5,255],[2,255],[9,255],[16,255],[23,255],[30,255],[37,255],[44,255],[51,255],[58,255],[65,255],[72,255],[79,255],[86,255],[93,255],[100,255],[107,255],[114,255],[121,255],[128,255],[135,255],[142,255],[149,255],[156,255],[163,255],[170,255],[177,255],[184,255],[191,255],[198,255],[205,255],[212,255],[219,255],[226,255],[233,255],[240,255],[247,255],[254,255],[261,255],[268,255],[275,255],[282,255],[289,255],[296,255],[303,255],[310,255],[317,255],[324,255],[331,255],[338,255],[345,255],[352,255],[359,255],[366,255],[373,255],[380,255],[387,255],[394,255],[401,255],[408,255],[415,255],[422,255],[429,255],[436,255],[443,255],[450,255],[457,255],[464,255],[471,255],[478,255],[485,255],[492,255],[499,255],[506,255],[513,255],[520,255],[527,255],[534,255],[541,255],[548,255],[555,255],[562,255],[569,255],[576,255],[583,255],[590,255],[597,255],[127,255],[-127,255],[-600,510],[-593,510],[-586,510],[-579,510],[-572,510],[-565,510],[-558,510],[-551,510],[-544,510],[-537,510],[-530,510],[-523,510],[-516,510],[-509,510],[-502,510],[-495,510],[-488,510],[-481,510],[-474,510],[-467,510],[-460,510],[-453,510],[-446,510],[-439,510],[-432,510],[-425,510],[-418,510],[-411,510],[-404,510],[-397,510],[-390,510],[-383,510],[-376,510],[-369,510],[-362,510],[-355,510],[-348,510],[-341,510],[-334,510],[-327,510],[-320,510],[-313,510],[-306,510],[-299,510],[-292,510],[-285,510],[-278,510],[-271,510],[-264,510],[-257,510],[-250,510],[-243,510],[-236,510],[-229,510],[-222,510],[-215,510],[-208,510],[-201,510],[-194,510],[-187,510],[-180,510],[-173,510],[-166,510],[-159,510],[-152,510],[-145,510],[-138,510],[-131,510],[-124,510],[-117,510],[-110,510],[-103,510],[-96,510],[-89,510],[-82,510],[-75,510],[-68,510],[-61,510],[-54,510],[-47,510],[-40,510],[-33,510],[-26,510],[-19,510],[-12,510],[-5,510],[2,510],[9,510],[16,510],[23,510],[30,510],[37,510],[44,510],[51,510],[58,510],[65,510],[72,510],[79,510],[86,510],[93,510],[100,510],[107,510],[114,510],[121,510],[128,510],[135,510],[142,510],[149,510],[156,510],[163,510],[170,510],[177,510],[184,510],[191,510],[198,510],[205,510],[212,510],[219,510],[226,510],[233,510],[240,510],[247,510],[254,510],[261,510],[268,510],[275,510],[282,510],[289,510],[296,510],[303,510],[310,510],[317,510],[324,510],[331,510],[338,510],[345,510],[352,510],[359,510],[366,510],[373,510],[380,510],[387,510],[394,510],[401,510],[408,510],[415,510],[422,510],[429,510],[436,510],[443,510],[450,510],[457,510],[464,510],[471,510],[478,510],[485,510],[492,510],[499,510],[506,510],[513,510],[520,510],[527,510],[534,510],[541,510],[548,510],[555,510],[562,510],[569,510],[576,510],[583,510],[590,510],[597,510],[255,510],[-255,510],[288230376151711743,1],[-288230376151711743,1],[288230376151711742,1],[-288230376151711742,1],[144115188075855872,1],[-144115188075855872,1],[0,1],[0,1],[1,1],[-1,1],[288230376151711743,3],[-288230376151711743,3],[288230376151711742,3],[-288230376151711742,3],[144115188075855873,3],[-144115188075855873,3],[1,3],[-1,3],[2,3],[-2,3],[288230376151711743,1048576],[-288230376151711743,1048576],[288230376151711742,1048576],[-288230376151711742,1048576],[144115188076380160,1048576],[-144115188076380160,1048576],[524288,1048576],[-524288,1048576],[524288,1048576],[-524288,1048576],[288230376151711743,268435456],[-288230376151711743,268435456],[288230376151711742,268435456],[-288230376151711742,268435456],[144115188210073600,268435456],[-144115188210073600,268435456],[134217728,268435456],[-134217728,268435456],[134217728,268435456],[-134217728,268435456],[288230376151711743,268435455],[-288230376151711743,268435455],[288230376151711742,268435455],[-288230376151711742,268435455],[144115188210073599,268435455],[-144115188210073599,268435455],[134217727,268435455],[-134217727,268435455],[134217728,268435455],[-134217728,268435455],[288230376151711743,268435456],[-288230376151711743,268435456],[288230376151711742,268435456],[-288230376151711742,268435456],[144115188210073600,268435456],[-144115188210073600,268435456],[134217728,268435456],[-134217728,268435456],[134217728,268435456],[-134217728,268435456]],"op":"r_rat"}