make-refactor-target-compliant

原文涵盖的主题

• Make a refactor's blast radius compliant
• Steps

Preflight: run la-doctor --plugin once per session before using any la- or dr- command; if it fails, stop and show the user its output. A rename is only provable over code the type checker can resolve. This closes the blind spots first, so the la:deterministic-refactor gate afterwards is sound. The idioms for each language are in /../../languages/ .md. 1. Identify the target: the symbol, and for a member rename the attribute NAME and its owning class. 2. Enumerate blind spots (checking machinery): dr-compliance --attr NAME → attr-blindspot sites: x.NAME where x is untyped. Each names the receiver to type. LSP workspaceSymbol / findReferences on the class and on NAME to map the real reference set; compare against what the checker resolves today. Grep \.NAME\b for accesses on receivers the checker treats as untyped (untyped locals, results of untyped calls) — the "right-looking" names. 3. Make them resolvable (do NOT rename yet): Type the flagged parameters/variables with the owning class (or its interface/protocol); type the class's own attributes. Mark the overrides in the hierarchy. Type any test doubles of the class (dr-mock-lint). 4. Re-check until the blast radius is typed: dr-

这里只展示节选，请以完整原文和当前要求为准。