Module do_try 

Stop semantics (ADR-0025)

This segment implements OutcomePipeline and propagates PipelineOutcome::Stopped(ex) with the exchange state intact (including mutations made inside the segment body before Stop fired). See ADR-0025 §3 (stopped-exchange-state-preservation invariant).

Catch-block failure envelope (bd rc-zgbqq): if a catch body fails, the catch error stays the main error in every disposition; the original error lives in the warn record (“do_try catch block failed; catch error supersedes original”, fields original_error and catch_error) and, when a span is active, in the span event. See the error-handler spec, requirement “delegate failure propagates the original error” (that rule covers handled_by delegates, not catch bodies).

Structs

CatchClause

A single doCatch clause.

DoTryService

The doTry processor. Wrap with BoxProcessor::new(DoTryService::new(...)).

Enums

CatchMatcher

Matcher for a doCatch clause.