Co-Authored-By: Claude Opus 5.5 <[email protected]>
2.8 KiB
live-conformance/access — access services
The corpus of extensions/access-services.md §11: room
sessions whose captions are WEV1 events with their WTX1 annotations, and the records of the
extension beside them: sources, reference transcripts, quality figures, audio descriptions,
signings, reviews and completeness claims, each a JSON text signed under wai:access.
Access-services equivalence. For each vector, a conforming verifier of the corpus's room,
offered the events of the vector's stream in the order given and then its records (§8.1),
reaches the outcome the vector states (§8.2): refuse, with at (events or record), the
index of the record and the reason; or accept, with the figures: each whole caption
track's figure (§4.7), each description's events, voiced events and offsets (§5.3), each
signing's segments, revisions named, offsets and video floor (§6.3), and each claim's dialogue
overlap (§7.2). Signed integers are written as strings. For each entry of documents, the
description record it names maps, with the voicing track's uri and type, onto the DAPT
document in file byte for byte (§5.5), or is refused with reason. A verifier that reaches
another outcome, place, reason, figure or byte does not conform.
Provenance. Generated here: wai_access_services_vectors gen writes vectors.json and
each DAPT document from events and records authored in code, from fixed seeds. Each key,
model, track and object digest is SHA-256 of a fixed label and an index, the room id
likewise, every time is a constant, and Ed25519 signing is deterministic (RFC 8032), so every
file is the same bytes on every machine. The captions, descriptions and transcripts are
written for the corpus, in English. The objects a signing names are digests only: no pose
stream, video or audio is in the corpus. The generator asserts, before it writes, that each
vector reaches the outcome it was written to have and that every reason of §10 refuses a
case. No recorded data.
Layout
vectors.json:room,pt0_ms,principals(the event authorscaptioner,asr,hostanddevice, and the record signers),streams(each a list ofWEV1records in lowercase hexadecimal:lesson,reviewed, and three defective copies of the lesson),vectors(each withname,note,stream,recordsand its outcome) anddocuments.NAME.dapt.ttml: the DAPT document of vectorNAME's description.
Checking
cargo run --no-default-features --features access_services --bin wai_access_services_vectors -- verify ../live-conformance/access
python3 -I access_services_verify.py access
The first runs from wai-rs/, the second from live-conformance/. The second is the
corpus's second implementation, written from the extension's text; it shares no code with
wai-rs.