Type Alias TerminalPropagationPolicy 

pub type TerminalPropagationPolicy<A> = fn(&TerminalOutcome<A>) -> TerminalDisposition;

Pure policy deciding whether one exact terminal outcome crosses this composition’s terminal boundary.