make-refactor-target-compliant
Use BEFORE renaming a symbol/attribute (Python or TypeScript) to make its blast radius verifiable — type the code that might reference it (untyped params/vars that could hold the class, classes with matching attribute names, overrides not marked as such) so the post-rename type-check gate is sound.
Target: Software development & testing. Automatically collected · unverified.
Excerpt from the author’s documentation
Extracted from a fixed version of SKILL.md in its original language. This is the author’s documentation; installation, compatibility and runtime results have not been verified by this site.
Read the original English text
Topics in the source
- 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-
This is an excerpt. Refer to the complete source and its current requirements.
- Source repository
- MotleyAI/living-architecture
- Source file
- plugin/skills/make-refactor-target-compliant/SKILL.md
- Fixed revision
- d515fa3449c9734b464fc67d231a6e6b051106fc
Sources and evidence
This record was collected automatically. Its documentation, suitability and runtime behavior have not been manually verified.
Author: MotleyAI/living-architecture · original repository metadata. Documentation review: Not reviewed. Last source check: 2026-11-09T18:02:06.018Z.
Categories are inferred from names, descriptions and paths. They do not establish compatibility.
License and attribution
MIT. Third-party content and copyright remain with their authors. Refer to the original license and terms.
Original license ↗Synchronization, copying and user-reported success do not mark a resource as runtime-tested.
Limitations and notes
- Collecting metadata does not mean this site has installed, adapted, runtime-tested or security-reviewed the resource.