open-standards/wai/live-conformance/rooms

live-conformance/rooms — live rooms

The corpus of extensions/live-rooms.md §12: rooms, each a signed WRD1 descriptor, its WRG1 grants, the head of its authority's key log, and its principals' WEV1 chains, with the outcome a room verifier gives them; and the records of the registered publish profiles.

Room equivalence. For each vector, a conforming room verifier given its descriptor, its grants in order, its key_log_head (or none) and its chains (each one principal's records in stream order) reaches the outcome the vector states (§9.4):

• refuse: the reason and where, at: ["descriptor"], ["key_log"], ["grant", i], or ["record", c, i] for record i of chain c;
• gap: no record refused, and the gaps (principal, first and last seq not held), under the code delivery_gap, with the room id and the merged order;
• accept: the room id; every grant's digest (grant_digests); the merged order (§9.2), each entry [chain, record, grant] with the digest of the grant the record was verified under, or null for a room key's record; the room state (§9.3); the tally of the room's polls (live-events §7); and, per grant, the moqt scopes and reval interval it maps onto (§10.2).

A verifier that reaches another outcome, reason, place, gap, digest, order, state, tally or scope does not conform.

Provenance. Generated here: wai_live_room_vectors gen writes every descriptor, grant, key-log head and record from rooms authored in code, from fixed seeds. Each key is SHA-256 of a fixed label and the principal's index, each nonce and viewer id likewise, every time is a constant (the rooms' t0 is 2026-10-16T00:00:00Z), and Ed25519 signing is deterministic (RFC 8032), so the file is the same bytes on every machine. The generator asserts that each vector reaches the outcome it was written to have before it writes it. The key-log heads are sealed by the reference's key log (jwp-receipts §7.2) under a fixed root. The origins are .example names (RFC 2606). No recorded data.

Layout

One file, vectors.json:

• principals: the keys, by name (informative).
• registered_profiles: each profile §8.2 registers, by name, with its record (§8.1) in hexadecimal; a verifier compares its own table with them.
• vectors: each with name, about, descriptor and grants (hexadecimal), key_log_head (a key-log revision's JSON text, or null), chains (lists of records in hexadecimal), outcome, and as above reason, at, room, gaps, grant_digests, order, state, tally and moqt.

state has present (each principal and its grant in effect, by principal), published (each own track: principal, media kind, profile name, number of layers, by principal and media code), slots (each slot in the descriptor's order: its live publisher, standby, and the live publisher's precedence), tracks (the rendered Full Track Names of every track a subscriber can reach, §6.1, sorted), and timeline (each change of a principal's grant in effect, with its t).

Vectors:

• accepted rooms: lesson (a director's remote record control of a performer, an audience under single-use grants, review and recording policies with a region pin, a key-log head revoking a grant and a viewer the room never admits), broadcast (one publisher, viewers voting, a moderator's decision, no key log, the authority its own clock), takeover, redundant_failover and promote_viewer;
• room_gap: a chain with a record not delivered;
• one negative control per refusal, each a single defect: the descriptor truncated, with trailing bytes, of another version, with a flipped signature bit, with a tick of 0, with a registered profile changed, with a role beyond the ceiling, and with a recording policy whose jitter exceeds its commit interval; the key log missing, of another origin, re-signed wrongly, not listing the authority, and revoking it; a grant truncated, signed by another key, of another room, permitting a lifecycle kind, with oversized attributes, too long, beyond its role, beyond the room's ceiling, chained to nothing, and chained to another principal's; and in the records, a bad signature, the wrong room, a kind not in the grant, a participant's lifecycle event, events outside a grant's window, a principal not present, a revoked grant and a revoked viewer, a reused single-use grant, an unknown grant, another principal's grant, a second join, the participant limit, a malformed detail, every publish refusal, every exchange refusal, a takeover without higher precedence, both failover refusals, a command without its power, a grant's rate and payload bounds, and a stated tally the replay does not reach.

Running

cd ../../wai-rs
cargo run --no-default-features --features live_room --bin wai_live_room_vectors -- verify ../live-conformance/rooms
cargo run --no-default-features --features live_room --bin wai_live_room_vectors -- gen    ../live-conformance/rooms   # regenerate
cargo test --no-default-features --features live_room --test live_room
cd ../live-conformance
python3 live_rooms_verify.py rooms

wai_live_room_vectors verify and tests/live_room.rs require the file to regenerate byte for byte and wai-rs to give every vector its outcome; the test also requires every reason of §11 to refuse a vector and §11 to list exactly the reasons the reference reports. live_rooms_verify.py is the second implementation, written from the extension's text and sharing no code with wai-rs: it verifies every event with live_events_verify.py, the live-events corpus's own second implementation, gives every vector the same outcome, and requires the same coverage. Pass = an exit status of 0 from each.