conclavelib/protocol.rs
1//! Wire frames shared between the bridge and the central server.
2//!
3//! Both peers serialize [`ProtocolMessage`] with a fixed `bincode` configuration behind a
4//! length-delimited framing (the [`ProtocolWrite`] / [`ProtocolRead`] stream extensions). Two
5//! properties are fixed here for forward-compat (DESIGN.md §13), so later additions are additive
6//! rather than breaking:
7//!
8//! - a **protocol-version field** carried in [`ProtocolMessage::Hello`] and checked with
9//! [`negotiate_version`]; peers advertising an incompatible version are rejected,
10//! - an opaque **encrypted-payload envelope + key-id** ([`Payload::Encrypted`]), so end-to-end
11//! encryption (DESIGN.md §19) can be layered in without a wire break.
12//!
13//! `ProtocolError` is the typed, wire-crossing error surfaced as a [`ProtocolMessage::Error`]
14//! frame; application glue elsewhere uses `anyhow` via the `Res` / `Void` aliases.
15
16use std::future::Future;
17
18use anyhow::Context as _;
19use serde::{Deserialize, Serialize};
20use tokio::io::{AsyncRead, AsyncReadExt as _, AsyncWrite, AsyncWriteExt as _};
21
22use crate::base::{Constant, Res, SessionPath, Visibility};
23
24/// An opaque end-to-end-encrypted payload envelope, reserved now for v2 (DESIGN.md §13, §19).
25///
26/// The server fans this out without reading it; `key_id` names the per-channel key the sender
27/// wrapped the content with. Unused in v1 — reserving it keeps E2E an additive change.
28#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
29pub struct Envelope {
30 /// Ciphertext the server relays but cannot read.
31 pub ciphertext: Vec<u8>,
32 /// Identifier of the per-channel key this ciphertext was wrapped with.
33 pub key_id: Option<String>,
34}
35
36/// A message body: plaintext in v1, or the reserved E2E [`Envelope`] in v2.
37#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
38pub enum Payload {
39 /// A plaintext UTF-8 body (v1).
40 Plain(String),
41 /// An opaque end-to-end-encrypted body (v2; the envelope is reserved now).
42 Encrypted(Envelope),
43}
44
45/// A channel as surfaced by discovery ([`ProtocolMessage::ChannelList`], DESIGN.md §6).
46///
47/// Only channels the caller is allowed to see are ever listed, so no private name leaks to a
48/// non-member; `member` marks the ones the caller already belongs to.
49#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
50pub struct ChannelInfo {
51 /// The channel name.
52 pub name: String,
53 /// The visibility tier.
54 pub visibility: Visibility,
55 /// Whether the requesting user is already a member.
56 pub member: bool,
57}
58
59/// An enrolled machine as surfaced by [`ProtocolMessage::MachineList`] (`machine list`, §5.1).
60#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
61pub struct MachineInfo {
62 /// The machine name (unique within the user).
63 pub name: String,
64 /// The machine's public key, base64-encoded.
65 pub pubkey: String,
66 /// RFC 3339 enrollment timestamp.
67 pub added_at: String,
68}
69
70/// An outstanding invite as surfaced by the channel-admin audit ([`ProtocolMessage::InviteList`]).
71#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
72pub struct InviteInfo {
73 /// The opaque token string.
74 pub token: String,
75 /// Remaining redemptions, or unlimited if absent.
76 pub uses_remaining: Option<i64>,
77 /// RFC 3339 expiry, or non-expiring if absent.
78 pub expires_at: Option<String>,
79}
80
81/// An admin / moderation operation (DESIGN.md §7), authorized server-side by user role.
82#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
83pub enum AdminOp {
84 /// Create a channel with a visibility tier.
85 CreateChannel {
86 /// Channel name.
87 name: String,
88 /// Visibility tier.
89 visibility: Visibility,
90 },
91 /// Delete a channel.
92 DeleteChannel {
93 /// Channel name.
94 name: String,
95 },
96 /// Rename a channel.
97 RenameChannel {
98 /// Current name.
99 name: String,
100 /// New name.
101 new_name: String,
102 },
103 /// Change a channel's visibility tier.
104 SetVisibility {
105 /// Channel name.
106 name: String,
107 /// New visibility tier.
108 visibility: Visibility,
109 },
110 /// Add a user to a channel's access-control list.
111 AclAdd {
112 /// Channel name.
113 channel: String,
114 /// Username to add.
115 user: String,
116 },
117 /// Remove a user from a channel's access-control list.
118 AclRemove {
119 /// Channel name.
120 channel: String,
121 /// Username to remove.
122 user: String,
123 },
124 /// Create an invite token for a channel.
125 InviteCreate {
126 /// Channel name.
127 channel: String,
128 /// Maximum redemptions, or unlimited if absent.
129 uses: Option<u32>,
130 /// Lifetime in seconds, or non-expiring if absent.
131 expires_in_secs: Option<u64>,
132 },
133 /// Revoke an invite token.
134 InviteRevoke {
135 /// The token to revoke.
136 token: String,
137 },
138 /// Kick a live session or user from a channel.
139 Kick {
140 /// Channel name.
141 channel: String,
142 /// Session path or username to kick.
143 target: String,
144 },
145 /// Ban a user from a channel.
146 Ban {
147 /// Channel name.
148 channel: String,
149 /// Username to ban.
150 user: String,
151 },
152 /// Remove a user from the server (server-admin).
153 UserRemove {
154 /// Username to remove.
155 username: String,
156 },
157 /// Revoke an enrolled machine (server-admin / self), force-dropping its live sessions.
158 MachineRemove {
159 /// Machine name to revoke.
160 name: String,
161 },
162 /// Enroll a new machine key under the authenticated user (self-service, DESIGN.md §5.1).
163 ///
164 /// Appended after `MachineRemove` so existing variant indices are unchanged (forward-compat).
165 MachineAdd {
166 /// Unique-within-user name for the new machine.
167 name: String,
168 /// The new machine's Ed25519 public key (proves possession on its own first connect).
169 pubkey: Vec<u8>,
170 },
171 /// List a channel's ACL members (channel-admin; answered with a `UserList`).
172 AclList {
173 /// Channel name.
174 channel: String,
175 },
176 /// Lift a channel ban (channel-admin; does not grant ACL membership).
177 Unban {
178 /// Channel name.
179 channel: String,
180 /// Username to unban.
181 user: String,
182 },
183 /// List a channel's banned users (channel-admin; answered with a `UserList`).
184 BanList {
185 /// Channel name.
186 channel: String,
187 },
188 /// List a channel's outstanding invites (channel-admin; answered with an `InviteList`).
189 InviteList {
190 /// Channel name.
191 channel: String,
192 },
193}
194
195/// The versioned frame exchanged between a bridge and a central server.
196///
197/// Variants are append-only across protocol versions: later milestones may add variants but must
198/// not renumber or repurpose existing ones without a version bump (see [`negotiate_version`]).
199#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
200pub enum ProtocolMessage {
201 /// Client → server on connect: advertise the protocol version and the session handle.
202 Hello {
203 /// The client's protocol version.
204 protocol_version: u32,
205 /// The session handle (`--as`, defaulting to the repo/dir name).
206 session: String,
207 },
208 /// Server → client: a random nonce for the client to sign (challenge-response).
209 Challenge {
210 /// The random nonce.
211 nonce: Vec<u8>,
212 },
213 /// Client → server: the machine public key and its signature over the nonce.
214 Auth {
215 /// The machine's Ed25519 public key.
216 pubkey: Vec<u8>,
217 /// The signature over the server's nonce.
218 signature: Vec<u8>,
219 },
220 /// Server → client: authentication succeeded; the resolved full participant path.
221 Established {
222 /// The resolved `user/machine/session` path.
223 path: SessionPath,
224 },
225 /// Client → server: claim a username and enroll this machine as its first key.
226 Register {
227 /// Username to claim.
228 username: String,
229 /// Machine name for this key.
230 machine: String,
231 /// The machine's Ed25519 public key.
232 pubkey: Vec<u8>,
233 },
234 /// Client → server: join a channel, optionally redeeming an invite token.
235 Join {
236 /// Channel name.
237 channel: String,
238 /// Invite token, if required.
239 token: Option<String>,
240 },
241 /// Client → server: leave a channel.
242 Leave {
243 /// Channel name.
244 channel: String,
245 },
246 /// Client → server: request presence, optionally scoped to one channel.
247 Who {
248 /// Channel to scope to, or all subscribed channels if absent.
249 channel: Option<String>,
250 },
251 /// Client → server: an admin / moderation operation.
252 Admin(AdminOp),
253 /// A message addressed to all sessions subscribed to a channel.
254 ChannelMsg {
255 /// Channel name.
256 channel: String,
257 /// The sender's full participant path.
258 from: SessionPath,
259 /// The message body.
260 payload: Payload,
261 },
262 /// A direct message to exactly one session path.
263 Whisper {
264 /// The sender's full participant path.
265 from: SessionPath,
266 /// The single recipient's full participant path.
267 target: SessionPath,
268 /// The message body.
269 payload: Payload,
270 },
271 /// Server → client: presence enumerated as full session paths.
272 Presence {
273 /// Channel the presence is scoped to, or server-wide if absent.
274 channel: Option<String>,
275 /// The present sessions.
276 sessions: Vec<SessionPath>,
277 },
278 /// A typed error surfaced to the peer that triggered it.
279 Error(ProtocolError),
280 // ---------------------------------------------------------------------
281 // M2 additions — appended after `Error` so every existing variant keeps
282 // its wire index (the append-only, forward-compat discipline of §13).
283 // ---------------------------------------------------------------------
284 /// Client → server: request the channels visible to the authenticated user (discovery).
285 ListChannels,
286 /// Server → client: the discovery result, already visibility-gated.
287 ChannelList {
288 /// The channels the caller may see.
289 channels: Vec<ChannelInfo>,
290 },
291 /// Server → client: a [`ProtocolMessage::Join`] succeeded; the session is now subscribed.
292 Joined {
293 /// The channel that was joined.
294 channel: String,
295 },
296 /// Server → client: a control / admin operation succeeded, with an optional human detail.
297 Ack {
298 /// A short human-readable detail (e.g. the affected name), if any.
299 detail: Option<String>,
300 },
301 /// Server → client: the token minted by an [`AdminOp::InviteCreate`].
302 InviteToken {
303 /// The opaque invite token.
304 token: String,
305 },
306 /// Client → server: liveness keepalive; refreshes presence and draws a [`ProtocolMessage::Pong`]
307 /// (the application-level realization of the §10 heartbeat, uniform across transports).
308 Ping,
309 /// Server → client: keepalive acknowledgement.
310 Pong,
311 // ---------------------------------------------------------------------
312 // M4 additions — appended (forward-compat): machine / user listing and the
313 // post-auth server-role signal that gates the bridge's admin tools.
314 // ---------------------------------------------------------------------
315 /// Server → client, immediately after [`ProtocolMessage::Established`]: the authenticated user's
316 /// server-wide role, so the bridge can gate its admin tools (DESIGN.md §7).
317 ServerInfo {
318 /// Whether the user is a server admin (on the serve-config allowlist).
319 admin: bool,
320 },
321 /// Client → server: list the machines enrolled under the authenticated user.
322 ListMachines,
323 /// Server → client: the caller's enrolled machines.
324 MachineList {
325 /// The machines under the caller's account.
326 machines: Vec<MachineInfo>,
327 },
328 /// Client → server: list the server's users (server-admin only).
329 ListUsers,
330 /// Server → client: the registered usernames (server-admin only).
331 UserList {
332 /// The registered usernames.
333 users: Vec<String>,
334 },
335 // ---------------------------------------------------------------------
336 // M10 additions — appended (forward-compat): operator-visibility listings.
337 // ---------------------------------------------------------------------
338 /// Server → client: a channel's outstanding invites (channel-admin audit, PRD-0011).
339 InviteList {
340 /// The outstanding invites.
341 invites: Vec<InviteInfo>,
342 },
343}
344
345/// Errors that cross the wire as a [`ProtocolMessage::Error`] frame and are matched on by the
346/// server and bridge (DESIGN.md §16). Application glue elsewhere uses `anyhow` via `Res` / `Void`.
347// The public name `ProtocolError` is fixed by DESIGN.md §13 / §22; `module_name_repetitions` is a
348// false positive against that mandated vocabulary (the sibling ratrod uses the same name).
349#[allow(clippy::module_name_repetitions)]
350#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize, thiserror::Error)]
351pub enum ProtocolError {
352 /// The peer's protocol version is incompatible with ours.
353 #[error("incompatible protocol version: ours={ours}, theirs={theirs}")]
354 VersionMismatch {
355 /// This build's protocol version.
356 ours: u32,
357 /// The peer's advertised version.
358 theirs: u32,
359 },
360 /// A frame could not be decoded, or violated the schema.
361 #[error("malformed frame: {0}")]
362 MalformedFrame(String),
363 /// The operation was denied (authentication or authorization).
364 #[error("unauthorized: {0}")]
365 Unauthorized(String),
366 /// The named channel, session, or target does not exist / is not visible.
367 #[error("not found: {0}")]
368 NotFound(String),
369 /// An unexpected server-side error.
370 #[error("internal error: {0}")]
371 Internal(String),
372}
373
374/// Returns this build's protocol version if `theirs` is compatible, else a [`ProtocolError::VersionMismatch`].
375///
376/// v1 speaks exactly one version, so compatibility is equality; a later minor-compatible range
377/// widens this without changing the call sites.
378///
379/// # Errors
380///
381/// Returns [`ProtocolError::VersionMismatch`] when the peer's version is not compatible.
382pub fn negotiate_version(theirs: u32) -> Result<u32, ProtocolError> {
383 if theirs == Constant::PROTOCOL_VERSION {
384 Ok(Constant::PROTOCOL_VERSION)
385 } else {
386 Err(ProtocolError::VersionMismatch { ours: Constant::PROTOCOL_VERSION, theirs })
387 }
388}
389
390/// Encodes a frame to its wire bytes with the fixed codec configuration.
391///
392/// # Errors
393///
394/// Returns an error if the frame cannot be serialized.
395pub fn encode(message: &ProtocolMessage) -> Res<Vec<u8>> {
396 bincode::serde::encode_to_vec(message, bincode::config::standard()).context("failed to encode protocol frame")
397}
398
399/// Decodes a frame from its wire bytes with the fixed codec configuration.
400///
401/// # Errors
402///
403/// Returns an error if the bytes are not a valid encoded frame.
404pub fn decode(bytes: &[u8]) -> Res<ProtocolMessage> {
405 let (message, _) = bincode::serde::decode_from_slice(bytes, bincode::config::standard()).context("failed to decode protocol frame")?;
406 Ok(message)
407}
408
409/// Length-delimited sending of protocol frames over any async writer.
410pub trait ProtocolWrite: AsyncWrite + Unpin {
411 /// Encodes `message` and writes it as a `u32`-length-prefixed frame, then flushes.
412 ///
413 /// # Errors
414 ///
415 /// Returns an error if the frame cannot be encoded, exceeds `u32` in length, or the write fails.
416 fn send_message(&mut self, message: &ProtocolMessage) -> impl Future<Output = Res<()>> {
417 async move {
418 let body = encode(message)?;
419 let len = u32::try_from(body.len()).context("protocol frame exceeds u32 length")?;
420 self.write_all(&len.to_be_bytes()).await?;
421 self.write_all(&body).await?;
422 self.flush().await?;
423 Ok(())
424 }
425 }
426}
427
428impl<T: AsyncWrite + Unpin + ?Sized> ProtocolWrite for T {}
429
430/// Length-delimited receiving of protocol frames over any async reader.
431pub trait ProtocolRead: AsyncRead + Unpin {
432 /// Reads one `u32`-length-prefixed frame and decodes it.
433 ///
434 /// # Errors
435 ///
436 /// Returns an error on EOF / read failure, a length prefix beyond [`Constant::MAX_FRAME_SIZE`],
437 /// or a body that does not decode.
438 fn recv_message(&mut self) -> impl Future<Output = Res<ProtocolMessage>> {
439 async move {
440 let mut len_buf = [0_u8; 4];
441 self.read_exact(&mut len_buf).await?;
442 let len = usize::try_from(u32::from_be_bytes(len_buf)).context("frame length overflow")?;
443
444 anyhow::ensure!(len <= Constant::MAX_FRAME_SIZE, "protocol frame of {len} bytes exceeds the {} byte cap", Constant::MAX_FRAME_SIZE);
445
446 let mut body = vec![0_u8; len];
447 self.read_exact(&mut body).await?;
448 decode(&body)
449 }
450 }
451}
452
453impl<T: AsyncRead + Unpin + ?Sized> ProtocolRead for T {}
454
455#[cfg(test)]
456mod tests {
457 // Tests relax `unwrap_used` (house convention; DESIGN.md §22).
458 #![allow(clippy::unwrap_used)]
459
460 use super::*;
461 use crate::tests::duplex;
462 use pretty_assertions::assert_eq;
463
464 fn assert_round_trips(message: &ProtocolMessage) {
465 let bytes = encode(message).unwrap();
466 assert_eq!(&decode(&bytes).unwrap(), message);
467 }
468
469 #[test]
470 fn hello_round_trips_with_version_field() {
471 assert_round_trips(&ProtocolMessage::Hello {
472 protocol_version: Constant::PROTOCOL_VERSION,
473 session: "razel".to_owned(),
474 });
475 }
476
477 #[test]
478 fn channel_message_round_trips_plaintext() {
479 assert_round_trips(&ProtocolMessage::ChannelMsg {
480 channel: "ops".to_owned(),
481 from: SessionPath::new("aaron", "workstation", "razel"),
482 payload: Payload::Plain("hello, agents".to_owned()),
483 });
484 }
485
486 #[test]
487 fn data_frame_round_trips_the_reserved_e2e_envelope() {
488 assert_round_trips(&ProtocolMessage::Whisper {
489 from: SessionPath::new("aaron", "workstation", "razel"),
490 target: SessionPath::new("david", "desktop", "main"),
491 payload: Payload::Encrypted(Envelope {
492 ciphertext: vec![0xDE, 0xAD, 0xBE, 0xEF],
493 key_id: Some("channel-key-1".to_owned()),
494 }),
495 });
496 }
497
498 #[test]
499 fn admin_op_round_trips() {
500 assert_round_trips(&ProtocolMessage::Admin(AdminOp::CreateChannel {
501 name: "ops".to_owned(),
502 visibility: Visibility::Private,
503 }));
504 }
505
506 #[test]
507 fn machine_add_admin_op_round_trips() {
508 assert_round_trips(&ProtocolMessage::Admin(AdminOp::MachineAdd {
509 name: "sno-box".to_owned(),
510 pubkey: vec![1, 2, 3, 4],
511 }));
512 }
513
514 #[test]
515 fn acl_list_admin_op_round_trips() {
516 assert_round_trips(&ProtocolMessage::Admin(AdminOp::AclList { channel: "ops".to_owned() }));
517 }
518
519 #[test]
520 fn invite_list_round_trips_op_and_response() {
521 assert_round_trips(&ProtocolMessage::Admin(AdminOp::InviteList { channel: "ops".to_owned() }));
522 assert_round_trips(&ProtocolMessage::InviteList {
523 invites: vec![InviteInfo {
524 token: "tok".to_owned(),
525 uses_remaining: Some(3),
526 expires_at: None,
527 }],
528 });
529 }
530
531 #[test]
532 fn ban_visibility_admin_ops_round_trip() {
533 assert_round_trips(&ProtocolMessage::Admin(AdminOp::Unban {
534 channel: "ops".to_owned(),
535 user: "bob".to_owned(),
536 }));
537 assert_round_trips(&ProtocolMessage::Admin(AdminOp::BanList { channel: "ops".to_owned() }));
538 }
539
540 #[test]
541 fn m2_response_frames_round_trip() {
542 assert_round_trips(&ProtocolMessage::ListChannels);
543 assert_round_trips(&ProtocolMessage::ChannelList {
544 channels: vec![ChannelInfo {
545 name: "ops".to_owned(),
546 visibility: Visibility::Private,
547 member: true,
548 }],
549 });
550 assert_round_trips(&ProtocolMessage::Joined { channel: "ops".to_owned() });
551 assert_round_trips(&ProtocolMessage::Ack { detail: Some("ops".to_owned()) });
552 assert_round_trips(&ProtocolMessage::InviteToken { token: "tok-abc".to_owned() });
553 assert_round_trips(&ProtocolMessage::Ping);
554 assert_round_trips(&ProtocolMessage::Pong);
555 }
556
557 #[test]
558 fn m4_frames_round_trip() {
559 assert_round_trips(&ProtocolMessage::ServerInfo { admin: true });
560 assert_round_trips(&ProtocolMessage::ListMachines);
561 assert_round_trips(&ProtocolMessage::MachineList {
562 machines: vec![MachineInfo {
563 name: "workstation".to_owned(),
564 pubkey: "PUBKEY".to_owned(),
565 added_at: "2026-07-02T00:00:00Z".to_owned(),
566 }],
567 });
568 assert_round_trips(&ProtocolMessage::ListUsers);
569 assert_round_trips(&ProtocolMessage::UserList {
570 users: vec!["aaron".to_owned(), "david".to_owned()],
571 });
572 }
573
574 #[test]
575 fn appending_variants_preserves_existing_wire_indices() {
576 // The forward-compat guarantee (§13): an old variant's encoding must be byte-identical
577 // after new variants are appended. `Hello` is the first variant (index 0) and must still
578 // start with a 0 discriminant byte.
579 let hello = ProtocolMessage::Hello {
580 protocol_version: Constant::PROTOCOL_VERSION,
581 session: "razel".to_owned(),
582 };
583 assert_eq!(encode(&hello).unwrap()[0], 0, "the first variant's discriminant must remain 0");
584 }
585
586 #[test]
587 fn error_frame_round_trips() {
588 assert_round_trips(&ProtocolMessage::Error(ProtocolError::VersionMismatch { ours: 1, theirs: 2 }));
589 }
590
591 #[tokio::test]
592 async fn frames_stream_over_an_async_duplex() {
593 let (mut a, mut b) = duplex();
594 let sent = ProtocolMessage::Presence {
595 channel: Some("ops".to_owned()),
596 sessions: vec![SessionPath::new("aaron", "workstation", "razel"), SessionPath::new("david", "desktop", "main")],
597 };
598
599 a.send_message(&sent).await.unwrap();
600 let got = b.recv_message().await.unwrap();
601
602 assert_eq!(got, sent);
603 }
604
605 #[test]
606 fn version_negotiation_accepts_matching_and_rejects_mismatch() {
607 assert_eq!(negotiate_version(Constant::PROTOCOL_VERSION).unwrap(), Constant::PROTOCOL_VERSION);
608 assert_eq!(
609 negotiate_version(999),
610 Err(ProtocolError::VersionMismatch {
611 ours: Constant::PROTOCOL_VERSION,
612 theirs: 999,
613 })
614 );
615 }
616
617 #[tokio::test]
618 async fn recv_rejects_a_frame_larger_than_the_cap() {
619 // A length prefix beyond the cap is rejected before the body is allocated.
620 let oversized = u32::try_from(Constant::MAX_FRAME_SIZE + 1).unwrap();
621 let framed = oversized.to_be_bytes();
622 let mut reader = framed.as_slice();
623
624 assert!(reader.recv_message().await.is_err());
625 }
626}