[bisubus]

Summary

• Require loop handle advancement on every non-exiting path in loop bodies.
• Match loop handle advances by lexical variable reference and unwrap receiver type expressions.
• Honor try-finally loop advances executed prior to continue statements.
• Add corpus fixture coverage and test assertions for branded error name checks.
• Document path-exhaustive advance checks in require-loop-advance rule documentation.

Testing

• vitest: 2789 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.