deterministic-refactor

原文涵盖的主题

• Deterministic refactor
• Procedure
• Commands

Preflight: run la-doctor --plugin --require-config once per session before using any la- or dr- command. If it reports the missing-config finding (the one naming /la:init), run the fast path of the la:init skill, then re-run this preflight; stop and show the user its output on anything it still reports, or on any other failure. The mutator is best-effort — no tool reliably rewrites every annotated obj.attr, super() call, and override. The type-check gate is the guarantee, and it is only sound on code that meets the compliance conditions (docs/deterministic-refactoring.md). If the blast radius is not typed, run la:make-refactor-target-compliant first. The file's language decides the mutator and its idioms: read /../../languages/ .md for each language the refactor touches (la-config get languages lists the repo's). 1. Locate the symbol with the editor/LSP (not grep) → file, line, col. 2. Check the verifier: run la-typecheck. It runs the project's type checker in the project env (the one the tests use) against its committed baseline, and it must pass before you start. If it prints "nothing to check", STOP and tell the user: with no type check there is no guarantee, so offer to set one

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