Smithy trait library for messaging contracts (Kafka, Redis): trait definitions, protocol specs, and validators.