Watches event-driven services for state divergence, traces the cause, and verifies recovery. Go, NATS JetStream, PostgreSQL.
