Function commit_leave 

pub fn commit_leave<EF, V, LF, D>(
    member: LiveMember<EF>,
    binding_state: BindingState,
    detach_cell: DetachCell<D>,
    verified: VerifiedLeaveRequest<V, LF>,
    authority: PreparedLeaveAuthority,
    parameters: LeaveCommitParameters,
) -> Result<LeaveCommit<EF, V, LF>, LeaveCommitError>

Commits bound or already-detached Leave, deriving all optional result fields.

Errors

Returns LeaveCommitError when authority, binding, history/cell, or order is inconsistent. Pending finalization must use commit_pending_leave.