Function decide_detached_operation 

pub fn decide_detached_operation<EF, V>(
    conversation: ParticipantConversation,
    transition: CommittedDetachTransition<EF, V>,
) -> AggregateOperationResult<CommittedDetachTransition<EF, V>>

Selects the aggregate Detached event for one consumed detach transition.

Detach is ONE event: the consumed CommittedDetachTransition carries the terminal append, floor transition, cell replacement, and binding release together, and the event summarizes exactly that committed transaction, recording the replay cell’s own attempt token.

Errors

Returns AggregateOperationFault with AggregateOperationFaultReason::DetachTerminalCellMismatch if the transition’s terminal and cell fail their pairing revalidation — an internal invariant super::commit_detach makes unreachable. The shell and transition return unchanged.