open-standards/joule-code/joule-code-rs/crates/joule-moq-remote
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 36f4842a0f
Some checks failed
joule-moq-room room service / joule-moq-room · does this change touch it (push) Successful in 29s
wai-sink-android native sink library / does this change touch it (push) Successful in 32s
wai-sink-swift native sink package / does this change touch it (push) Successful in 34s
wai-quantum for JavaScript / does this change touch it (push) Successful in 34s
wai-fleet service / does this change touch it (push) Successful in 34s
wai-app and Create / wai-app · does this change touch it (push) Successful in 1m29s
wai-quantum studio and desktop / does this change touch it (push) Successful in 1m18s
joule-moq-web browser client / joule-moq-web · does this change touch it (push) Successful in 1m30s
joule-moq-remote host agent / joule-moq-remote · does this change touch it (push) Successful in 1m31s
wai-audit collector and player integration / does this change touch it (push) Successful in 1m20s
WAI operation catalogue / does this change touch it (push) Successful in 1m22s
wai-ledger service / does this change touch it (push) Successful in 1m22s
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (push) Successful in 13s
WAI Studio / does this change touch it (push) Successful in 2m19s
joule-code conformance gate / Build + round-trip C1-C4 vectors (push) Successful in 3m24s
wai-fleet service / service · linux (push) Successful in 2m46s
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (push) Successful in 42s
joule-code conformance gate / joule-moq-relay, every target (push) Successful in 7m2s
joule-moq-remote host agent / joule-moq-remote, every target (linux-arm64) (push) Successful in 5m31s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Successful in 6m27s
joule-code conformance gate / joule-moq-ingest, every target (push) Successful in 8m14s
wai-quantum for JavaScript / javascript · linux (push) Successful in 5m37s
wai-audit collector and player integration / collector · linux (push) Successful in 3m29s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Failing after 10m5s
joule-moq-room room service / joule-moq-room, every target (push) Successful in 10m3s
wai-ledger service / service · linux (push) Successful in 3m20s
wai-quantum studio and desktop / studio · browser (push) Successful in 7m58s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (push) Successful in 2m54s
wai-quantum studio and desktop / desktop app · linux (push) Successful in 10m7s
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Successful in 1m39s
joule-code conformance gate / joule-moq-relay, its own energy on a counter (macos) (push) Successful in 50s
WAI operation catalogue / the catalogue and every door · linux (push) Successful in 13m15s
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (push) Successful in 11m31s
wai-fleet service / service · macos (push) Successful in 58s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Successful in 5m11s
joule-moq-remote host agent / joule-moq-remote, every target (macos) (push) Successful in 1m2s
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Successful in 2m5s
wai release binaries build on Windows / the seven release binaries · windows (push) Successful in 17m41s
wai-app and Create / wai-app · Create, browser end-to-end (macos) (push) Successful in 9m4s
wai-quantum studio and desktop / desktop app · macos (push) Successful in 3m35s
wai-ledger service / service · macos (push) Successful in 1m8s
WAI Studio / Studio in WebKit · linux (push) Successful in 21m29s
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (push) Successful in 13m3s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Successful in 18m13s
wai-quantum studio and desktop / desktop app · windows (push) Successful in 9m57s
WAI Studio / Studio in Chromium and Firefox · macos (push) Successful in 12m33s
Every MoQ catalog we write is MSF's, wai-link is defined, and the catalog check holds MSF's own rules
The deviations from MSF that draft-charlot-moq-wai-packaging-01 listed, and two more the
extended check found, fixed in every writer:

- version: each writer wrote MSF's root version as the number 1; MSF §5.1.1 requires a
  string, "draft-01" for draft-ietf-moq-msf-01, which wai-pack, joule-moq-ingest,
  joule-moq-remote, joule-moq-interop and joule-moq-web now write. No reader compared it.
  The readers of a room's catalogs (the room page, catalogVersionKnown; the gateway's WHEP
  session, catalog::version_known) now refuse a version they do not know (MSF §5.1.1),
  reading "draft-01" and the number 1, which the room deployed at
  wai.transaction.science/room/ (live since 2026-10-19) writes until it is deployed again;
  the interop subscriber requires "draft-01", which its own publisher writes.
- the packager's cmaf floor tracks: isLive false and initRef (the floor name), with the
  floor's initialization segment inline in initDataList (CMSF §3.1, the field name of
  draft-ietf-moq-cmsf-01), after tracks (MSF §5.1.7): moq/catalog.json is RFC 8785
  canonical but for that member, written last (packaging §8.4). FloorView carries the
  init segment's bytes; pack_verify.py writes the same catalog independently;
  catalogs/expected.json names each case's floor by its sequence header OBU and
  timescale, from which both write the init segment.
- event timelines: the room page and the remote host wrote "mimetype" for MSF's mimeType,
  and no depends (MSF §8.2); they write mimeType and depends [] (the events track is the
  only track of its namespace, and MSF §5.2.14 names dependencies in the declaring
  track's namespace). live-events §8.1 says so.
- wai-link: the contribution gateway's link track carries WLK1 link records, signed,
  chained and verified by live_contribution_verify.py: neither envelopes ("wai") nor JSON
  events ("eventtimeline"), and read by a subscriber that verifies a room's tracks. A real
  interop surface, so it is defined rather than mapped: live-contribution §5.4 defines
  it, moq-streaming-format §3 names it, the registry lists it as a catalog wire
  identifier (export regenerated), and the -01 draft defines it in a new §9 (IANA table,
  required fields, correspondence). The gateway writes it as before.

The corpus is regenerated by `wai-pack conformance regen` (pack-conformance/ and the
composed package of wai-web/compose); each other writer's test holds a committed sample
(joule-moq-ingest/tests/catalogs/{whip,contribution}.json,
joule-moq-remote/tests/catalogs/host.json, joule-moq-interop/tests/catalogs/wai-receipts.json,
joule-moq-web/e2e/catalogs/room.json), written by its JOULE_MOQ_*_WRITE_CATALOGS=1 run. The
room page's catalog moves into web/room/catalog.js, tested by catalog.test.mjs with the
page's other unit tests.

wai/ietf/catalog_check.py reads every writer's catalogs and, under --strict, holds MSF's
and CMSF's own rules: the version string, a name and isLive on every track, an MSF field
in another case, an event timeline's eventType, mimeType and depends, eventType elsewhere,
a cmaf track's initRef naming an inline initDataList entry that follows tracks; wai-link
tracks are held to the draft's §9. The repository checks run it with --strict. 23
catalogs of 6 writers pass with no note; the self-test plants 43 faults (a numeric
version, a cmaf track without isLive, mimetype and an undefined packaging value among
them) and catches each.

The draft stays -01 (the wire meaning of "wai" is unchanged): Implementation Status says
the deviations are fixed. xml2rfc 3.35.0 renders it with no warning; idnits 2.17.1: 0
errors, 0 flaws, 1 warning (no first-submission date on the datatracker).

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-10 14:05:27 -05:00
..
src Every MoQ catalog we write is MSF's, wai-link is defined, and the catalog check holds MSF's own rules 2026-11-10 14:05:27 -05:00
tests Every MoQ catalog we write is MSF's, wai-link is defined, and the catalog check holds MSF's own rules 2026-11-10 14:05:27 -05:00
Cargo.lock wai-relay answers /metrics on its control listener, and wai-quantum-service on its API 2026-11-09 20:06:07 -05:00
Cargo.toml Cargo: no minimum-supported-version floor, because the policy is latest stable 2026-11-03 17:42:20 -05:00
README.md The service binaries are wai-relay, wai-room and wai-ingest; the crates keep their names 2026-10-27 04:52:31 -04:00

joule-moq-remote

A host agent for WAI remote desktop rooms (wai.live.remote, wai/extensions/remote-desktop.md) over joule-moq-relay, and a viewer with no display.

The host captures its screen, encodes it with the platform's encoder, and publishes it as the room's screen track, one frame a group, each with its receipts (WAI moq-streaming-format §4.1, jwp-receipts). It signs a screen statement (WDS1) naming what it captures, the frame size every input's coordinates are in, the actions it injects and the encoder that made the frames. It reads every participant's events, decides each input statement (WDI1) by the rules of §5.3 at its place in the room's order, with wai-rs's own remote_desktop::decide, injects what the rules accept, and signs an outcome (WDO1) for every input: applied, anchored on the first frame it captured after the injection, or refused with the rule's number. A room that keeps a floor passes it by floor statements (WDF1): the host gives it on request, or when told.

The host makes a sealing key for each session (an X25519 key pair) and states its public half in its screen statement (§5.5): controllers seal their key, text and clipboard actions to it, so the relay, the room service and every viewer hold only ciphertext and commitments, and the host opens each sealed input before it injects it (wai-rs's decide_opened, all nine rules of §5.3). The opening key never leaves the session unless the host is asked for it: --opening-key <file> writes it (mode 0600, never over a file) for a verifier the host chooses, which checks the session at the opened level (remote_desktop_verify.py --room <session> --opening-key <hex>).

A room a room service keeps

A room service (joule-moq-room with [remote]) keeps the room: it grants the host, each controller and each viewer for a key the visitor makes, and its clock records who is present and takes every principal's records in order. The host makes a key once, and runs in the room:

wai-remote-host key ./host.key                       # mode 0600; prints the public key
wai-remote-host run --room https://room.example/room-api --key ./host.key \
    [--invitation <hex from wai-room invite>] --relay wss://relay.example/moq \
    [--ca ./private-ca.pem] --floor floor --give-on-request

The service names the host's key in its configuration, or takes the first key that presents an invitation its authority signed. The host asks for its grant, publishes its screen, and states it once the service's clock has recorded it joining; it learns each participant from the clock's join, reads the room's grants again for one it does not hold, and stamps its records on the service's clock, by the skew the service's answer states. It hands control over by asking the service for a grant exchange (agent::Command::Control), its grant and a proof of its key over the service's challenge. The service is reached over https:// (or http:// on loopback) and the relay over wss:// (or ws://). Over TLS every certificate is verified: its chain against the system's roots and any certificate a PEM file names (--ca, a private deployment's authority), and its name against the host the URL names; nothing turns that off (tls). A host on another machine than the service needs no front of its own. tls::front is the other end, a TLS front for a plain backend, which the tests put before the service and the relay. A page enters such a room through the room page of joule-moq-web, under a key it makes; viewer::Viewer::join_service is the headless one.

Either way the host takes each participant's records in its chain's order, as the service's clock does: under the policy of its grant in effect (live-events §6), after its join, each statement read and held to who may sign it; a floor statement §7.2 refuses is taken and changes nothing, as a verifier has it. A participant whose record is out of that order is cut there: the host takes nothing more of it, and decides none of its inputs, so the host and the clock hold the same records. In a service's room the host also reads the service's bound per principal (GET /room's remote.max_records_per_principal) and cuts a participant whose records pass it at the bound, the record at which the service's clock cuts and removes it.

A room the host keeps

wai-remote-host room <dir> makes a desk, a room the host keeps itself: its descriptor and grants, signed by an authority whose key is derived from a seed, the host's grant marked remote_host, and a grant for each participant with its control classes in remote_control (1 pointer, 2 keys, 4 touch, 8 clipboard; 0 for a viewer). It writes room.json (public), host-keys.json (the host's and the clock's keys, mode 0600), participant-<name>.json for each participant (the room and that participant's key, mode 0600, for the headless viewer), and relay.toml: the lines the relay's configuration takes, the authority's key and the clock's token by its SHA-256. The host is its room's clock: a participant joins when its events track appears on the relay, and leaves when it ends.

wai-remote-host room ./desk --size 1280x720 --fps 30 --participant alice:3 --participant bob:0
# append ./desk/relay.toml to the relay's configuration, then
wai-remote-host run ./desk --relay wss://relay.example/moq --floor floor --give-on-request

run takes --source display|pattern, --encoder platform|platform-hevc|ipcm, --input platform|record, --floor open|floor, --max-age-ms, --redact x,y,w,h (any number) and --seconds. wai-remote-host check says what the machine offers: the platform encoder and whether it runs on the media engine, and whether the operating system lets the process capture the screen and inject input. Both need the user's permission once, in the system's privacy settings; until then run --source display refuses to start, and states why.

What each platform gives

capture encode input
macOS the display stream of the window server, BGRA (adapter_macos_capture) the media framework's encoder on the hardware media engine, AVC High 4.0 or HEVC Main, real time, no reordering (adapter_macos_encode) the window server's event services: pointer, buttons and drags, wheel in pixels, keys by HID usage, composed text; clipboard through the system's pasteboard tool (adapter_macos_inject)
Linux the X Window System's root window through its client library, loaded at run time (adapter_linux_x11) the pure-function encoder; a platform encoder adapter plugs in behind the same trait the kernel's user-level input device: an absolute pointer, buttons, wheels and keys; clipboard through the display's clipboard tool when one is installed (adapter_linux_uinput)
anywhere a pattern source that draws what was injected (capture::Pattern) encode::Ipcm: H.264 with every macroblock I_PCM, every picture an IDR picture, a pure function of its input that every conforming decoder decodes inject::Recorder, which draws on the pattern

A screen statement's accepts states what the injector injects, so a controller sees, before it sends, that touch is not taken on a desktop and text not on the kernel's input device. The encoder sits behind encode::Encoder: an adapter of the platform-encode interfaces plugs in as another implementation.

The viewer

viewer::Viewer joins a room under its participant file, fetches what the clock and the host said before it arrived, verifies every frame against its receipt, sends input and floor statements, its key, text and clipboard actions sealed to the host's sealing key, and signs latency records of source 3 (no display: the instant it held the frame verified). It keeps the records it receives, and follows another principal's events when told to. The browser viewer is the room page of joule-moq-web (web/room/remote.js).

Tests

  • cargo test --locked --all-targets -- --test-threads=1: the units (the bit writer's Exp-Golomb codes, emulation prevention, an I_PCM unit's parameter sets, redactions, the pattern and the recorder, the room's grants, the envelope, timestamps, a service's URL, and the gate's order: a record that arrives before the one it follows waits, one stamped before it cuts its author, one of a principal not yet joined waits for its join and is out of order once the clock's chain is held past it), and tests/loopback.rs: a session over a relay on loopback that requires grants with their proofs. Alice's click under the floor is applied, bob (no control power) is refused input_not_permitted, carol off the floor input_no_floor; alice types a string and composes a text, sealed, and the host injects them as typed while bob, following her events, receives no trace of them, and her text in the clear is refused input_unsealed; the floor is handed to carol, and alice is refused while carol's move is applied; the host pauses and carol is refused input_screen_paused. Every viewer verifies every frame; alice and carol sign latency records; and the session's chains, as the host holds them, verify whole by wai-rs, at the commitment level and at the opened level under the host's opening key, every outcome the rules', each latency with its legs. tests/tls.rs: the service over https:// and the relay over wss:// through a TLS front, trusted by a PEM file; refused when only the system's roots are trusted, and refused for a certificate that names another host. On macOS the session runs a second time with the platform's hardware encoder, and a third test holds its units to the Annex B form wai.video.avc carries.
  • The same host in a room the room service keeps is joule-moq-room's tests/remote_room.rs.