//! Coordinator API definitions: the client-facing gRPC contract for the ZisK
//! coordinator.
//!
//! [`grpc`] holds the tonic-generated proto types and the client/server stubs;
//! [`dto`] holds the hand-written domain types and the proto ↔ domain
//! conversions used by the coordinator, server, and clients.
/// Domain types and proto ↔ domain conversions.
/// gRPC transport: generated proto types and client/server stubs.