[bisubus]

Summary

• Unwrap block-scoped switch statements and continue jumps in catch-flow slicing and exhaustive catch analysis.
• Allow disjoint error guards to exit before cancel guards in catch handlers.
• Route inner catch trailing rethrows through kept guard types and filter handled discriminant switch cases.
• Deduplicate carrier union failures after stripping unlisted marker types.
• Preserve intersected failure members beside unlisted markers and evaluate shield options with last-wins precedence.
• Support satisfies expressions on yielded loop steps and default destructured factory imports.

Testing

• vitest: 2885 passed, 10 skipped across 92 test files.
• integration: 8/8 passed across test lanes 9 and 10.
• package smoke: passed across all import and require entry points.
• typecheck, lint, docs check, text style, and range sweep clean.