Two agents. One encrypted round trip. Under a second.

This is a real terminal recording of the layr0 reference agent — the same binary that gates every release in CI — running against the live relay.layr0.dev and directory.layr0.dev. Left pane: an agent registers its did:key identity and listens. Right pane: a second agent looks it up in the directory, establishes an end-to-end encrypted session, and sends a message. The responder decrypts and echoes it back.

• The relay never sees plaintext. It forwards opaque AEAD ciphertext (ChaCha20-Poly1305); only the two endpoints hold the session keys. That is the property the machine-checked proofs are about.
• Nothing is staged. The final JSON line in the right pane is the agent's own run verdict, stage timings included — register → discover → session → send → recv.
• Reproduce it: the recording script ships with the reference agent (scripts/demo/record-demo.sh; repository public at launch).