TypeScript+Stateful Actors：构建高可靠群发消息追踪器

群发消息的送达状态追踪一直是开发者头疼的问题：一条消息发给多人，每个收件人的状态可能不同，还有回复、失败、重试等异步事件。最近，一个名为 Crew Cast 的开源项目展示了如何用 TypeScript 和 Stateful Actors 将这种混乱的异步事件流转化为一个持久化的工作流，让群发追踪变得清晰可控。

reddit source: built a durable Group MMS delivery tracker with TypeScript and Stateful Actors

核心设计：一个群发任务对应一个 Actor

Crew Cast 的核心思路是为每个群发任务创建一个 Stateful Actor。Actor 模型天然适合处理并发和状态管理，每个 Actor 独立维护自己负责的群发任务状态，避免了共享状态带来的竞态条件。项目使用 group_message_id 作为事件关联的纽带，所有与该群发相关的事件——无论是送达回执、用户回复还是 webhook 重试——都通过这个 ID 路由到对应的 Actor。

据项目作者介绍，这种设计让一个群发任务的所有异步结果都能被有序地聚合到一个“投递看板”上，清晰展示谁已收到、谁已回复、谁发送失败以及谁的状态仍然未知。

Stateful Actor 模型是一种并发计算模型，其中每个 Actor 是一个独立的实体，拥有自己的私有状态和邮箱，通过异步消息与其他 Actor 通信。Actor 之间不共享内存，因此天然避免了竞态条件。在 Crew Cast 中，每个群发任务对应一个 Actor，该 Actor 串行处理所有相关事件（如送达回执、回复），保证了状态更新的顺序性和一致性。这种模型特别适合需要维护长时间运行状态的工作流，因为 Actor 可以持久化其状态并在故障后恢复。

技术栈与关键机制

Crew Cast 用到了多种存储和验证机制来保证可靠性：

KV 存储：用于 webhook 到 Actor 的路由，快速将外部事件映射到对应的处理单元。
SQL 存储：支持按收件人维度的报告查询，方便统计和分析。
重放安全的 webhook 处理：确保重复的 webhook 不会导致状态重复更新或错误。
定时检查：对于未解决的状态（如长时间未收到回执），系统会定期检查并更新。
Ed25519 验证：在 live 模式下对 webhook 进行签名验证，保证事件来源可信。
演示模式：不发送真实消息，方便开发者测试和体验。

这些机制共同构建了一个持久化、可审计的追踪系统。作者特别提到，该模式可以推广到现场服务调度、事件响应、活动团队管理、配送团队等任何“一条消息产生多个异步结果”的工作流场景。

Ed25519 是一种基于椭圆曲线的数字签名算法，以其高安全性和高性能著称。在 webhook 处理中，Ed25519 用于验证事件来源的真实性：发送方使用私钥对 webhook 负载签名，接收方使用公钥验证签名。这能防止恶意第三方伪造事件，确保只有可信来源才能更新 Actor 状态。Ed25519 签名短（64 字节）且验证速度快，适合高并发场景。

重放安全的 webhook 处理指系统能够识别并忽略重复的 webhook 事件，避免同一事件被多次处理导致状态错误。常见实现方式包括为每个事件分配唯一 ID 并记录已处理 ID，或使用幂等操作。在 Crew Cast 中，结合 group_message_id 和事件 ID，可以确保即使 webhook 因网络问题重试，Actor 状态也不会重复更新，从而保证最终一致性。

待解问题：生命周期清理与留存策略

尽管 Crew Cast 已实现核心功能，但作者在社区中主动寻求反馈，特别关注 Actor 模型的设计以及已完成群发线程的生命周期清理和留存策略。对于长期运行的系统，如何及时释放已完成任务占用的资源、如何保留历史数据以备审计，都是需要权衡的工程问题。目前项目尚未给出明确方案，这也为开发者提供了参与讨论和贡献的机会。

Actor 生命周期管理是 Actor 模型中的常见挑战，涉及 Actor 的创建、激活、停用和销毁。对于已完成群发任务的 Actor，长期保留会占用内存和存储资源，但立即销毁可能丢失审计所需的历史数据。常见的策略包括：设置空闲超时后自动停用 Actor（状态持久化到存储），或根据业务需求保留一段时间后再归档。Crew Cast 作者寻求的反馈正是关于如何平衡资源释放与数据留存。

对开发者的启示

Crew Cast 的价值在于它提供了一个可复用的模式：用 Actor 模型管理有状态的异步工作流，结合 KV 和 SQL 存储解决路由与查询需求，并通过重放安全和签名验证提升可靠性。对于正在构建消息通知、任务分派或协作工具的团队，这个开源示例值得深入研究。代码已在 GitHub 上开源，开发者可以直接参考实现或基于此进行扩展。

随着分布式系统和事件驱动架构的普及，如何优雅地处理异步状态一致性将成为更多开发者面临的挑战。Crew Cast 的实践或许能为你提供一种思路。