wai-vector: section 5 and the text layer, its checker, and the three-engine browser leg (D7-7, D7-8) #237

Merged

dcharlot merged 5 commits from wai/d7-text-and-browser into main 2026-10-13 07:57:39 -04:00

Conversation 0 Commits 5 Files changed 115 +6854 -122

2026-10-13

Transaction Science

Merge main into wai/d7-text-and-browser ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

473d47aaab

• View at this point in history

2026-10-13 06:38:19 -04:00

Transaction Science

graphics-vector 5.4: the worked example states each block's string and writing mode ...

The independent checker, written from the text alone, could not rebuild the
example's input from its list of blocks: the strings appeared only in the
printed output, and no block stated its writing mode. Each bullet now does.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

4084a31bc6

• View at this point in history

2026-10-13 02:46:34 -04:00

Transaction Science

wai-vector: the wasm exports and the three-engine browser leg (D7-8) ...

- wai/wai-vector/wasm: the sink's exports (wv_alloc, wv_free, wv_open,
  wv_close, wv_render, wv_out_ptr, wv_out_len, wv_sha256, wv_cost,
  wv_transcript, wv_projection), no_std with its own allocator, built for
  wasm32v1-none so the module is WebAssembly 1.0 only; check-mvp.mjs refuses
  any post-1.0 feature, and fails on the wasm32-unknown-unknown build.
- build-pkg.sh: the package a page serves.
- browser/: a harness that renders every listed frame of every vector in
  Chromium, WebKit and Firefox, hashes it in the page twice, re-hashes sampled
  frames in Node, recomputes the arithmetic vectors and authoring forms, and
  compares each a11y payload's transcript and projections with its text record.
  A missing engine fails the run.
- wai-vector.yml: the browser job, in a Playwright container pinned by digest,
  on the linux runner.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

5189e5f50b

• View at this point in history

2026-10-13 02:44:44 -04:00

Transaction Science

wai_vector_check.py: section 5, from the extension text alone ...

The independent checker recomputes, from graphics-vector.md section 5, each
a11y payload's text record byte for byte and its digest, by two derivations
that share neither the interval code nor the JSON writer, and compares every
file under expected/, the text records among them. Canonical vectors that name
a rule must be refused under it. It agrees with every expected file of the
corpus; twenty deliberate changes to it each made it disagree.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

2ed3aff4eb

• View at this point in history

2026-10-13 02:43:02 -04:00

Transaction Science

wai-vector: the text layer and section 5, text and accessibility (D7-7) ...

graphics-vector.md section 5 (Draft): what a sink exposes to assistive
technology and to a text consumer, and how. Each text block's active set (the
effective windows of the items that draw it, merged), the projection at a
frame and the transcript as exact JSON, the text record and its digest, ruby,
purposes, writing modes and the cluster rule.

- wai-vector: src/text.rs (no_std, no dependency), the a11y and text commands,
  and vectors verify recomputing every text record.
- The corpus: a new a11y group, each payload with its text record
  (<name>.a11y.jsonl) and its digest in the expected file; canonical and
  refusal vectors for TEXT. No existing expected file changes.
- tests/text_layer.rs: each rule of section 5, with expected JSON written by
  hand from the text, each falsified once.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

10ba6e9bcc

• View at this point in history

2026-10-13 02:43:02 -04:00