produces

the events of the aggregate the function can decide, which the Manifest lists as the command's produces, for a function whose return type does not say: a Decision, a Mono<Decision>, Any. Each must be an event of the aggregate. A function whose return type already names its events (an event, a sealed type, a list of them) may not declare them again. Empty, the default, declares nothing: produces stays unknown.