Module do_try_segment 

Stop semantics (ADR-0025)

This segment implements OutcomePipeline and propagates PipelineOutcome::Stopped(ex) with the exchange state intact. See ADR-0025 §3.

Structs

CatchClauseSegment

Handled: the exchange continues through finally and downstream.Propagate: the catch body runs for side effects, finally runs with the catch body’s exchange, and the original try-error re-throws as Failed.

DoTrySegment

Outcome-aware structural EIP segment for the doTry/doCatch/doFinally pattern.

FinallyClauseSegment

Compilable segment for a doFinally clause within a DoTrySegment.