Rule lifecycle and autofix flow

This sequence diagram models what happens from lint invocation through optional fix output and safety fallback behavior.

Safety checkpoints

• Syntax-first guards prevent expensive checker access when unnecessary.
• Type operations are wrapped with safe fallbacks to avoid linter crashes.
• Autofix only applies when parse-safe and semantic-safe constraints are met.

Maintainer reading guide

• Focus on the loop body to reason about performance.
• Treat checker calls as optional/guarded operations, not defaults.
• Keep report() construction centralized so policy checks stay consistent.