This page is the demo

Everything.
One envelope. Every class. Verified in this tab.

A single wai.film.reel carries several cargo classes at once. This one holds the cut picture — a sealed skeletal world (the avatars sim) framed by three camera shots — and its soundtrack, an embedded wai.audio.score. Your browser re-derives every part with the same deterministic Rust engines that made the corpus: the reel hash and the per-frame Merkle root (reel-equivalence), and the score's mixdown hash (mixdown-equivalence). Then it plays them in sync — the figure rendered through the cuts, the music from the embedded score. A whole movie-with-sound, about six kilobytes, every part checked on your machine.

—
world tick — shots — camera fov — reel hash — mixdown hash —

One envelope, many classes

The reel container nests a sealed wai.world.replay, a set of camera shots, and a wai.audio.score — each a registered cargo class, each with its own -equivalence. The reel hash binds them into one signed object.

Every part verified

Nothing here is taken on trust. The picture re-derives to a Merkle root over per-frame BLAKE3(world state || camera pose); the sound re-derives to the score's mixdown hash. Both checked against the corpus, in this tab, on your hardware.

Played in sync

The render — projecting the world through the cut cameras — and the Web-Audio playback of the embedded score are the sink's presentation. The wire carried instructions; your machine reconstructed the experience and proved it matches.

Reference engines + conformance corpus in the open-standards repo; Apache-2.0. The figure is the embedded skeletal world drawn by FK; the cuts are the reel's three shots (one revisits an earlier beat from a high angle); the music is the embedded four-note score. WAI carries whatever it can reconstruct, and verifies whatever it carries — here, all of it at once.