Community Refactoring Best Practices: Same Results, Less Code
Code-review and refactoring guide focused on the parts of code volume that come from judgment and modelling gaps — wrong abstraction choices, hidden semantic duplication, defensive habits, premature generality. This skill deliberately skips what linters and tools like knip, eslint, ruff, tsc --noUnusedLocals, or formatters already catch. It is the second pass: after the mechanical cleanup, what remains?
Core Principles
- Preserve behaviour. Every transformation must produce identical observable behaviour — same outputs, same errors, same side effects, same API surface.
- Earlier mistakes cascade. A wrong frame multiplies into wrong shapes, which multiply into duplicate logic. Optimise from the top of the lifecycle.
- Explain why, not just what. Each rule explains the cost of the anti-pattern so judgment can transfer to novel cases.
- Quantify where possible. Prefer "eliminates N lines / prevents X bug class" over "cleaner."
- Don't over-refactor. Rule of three: extract abstractions when duplication has actually appeared three times, not in anticipation.
When to Apply
Use this skill when:
- Reviewing a PR for "could this be simpler?" (the question linters can't answer)
- Refactoring code that has grown in volume without growing in capability
- Auditing a module that "feels heavy" — many flags, many layers, many checks
- Onboarding to an unfamiliar codebase and trying to spot the parts that are accidental volume vs essential complexity
- Designing a new module and wanting to avoid the common over-abstraction traps
- Working alongside knip / eslint / ruff and wanting the layer of judgment those tools can't supply
Don't use this skill for:
- Mechanical cleanup that a linter or formatter already does (unused imports, dead exports, style) — use
knip, eslint, ruff, or prettier/black instead.
- Algorithmic complexity / performance tuning — use
complexity-optimizer for that.
- General cleanup of recently modified code regardless of mental-model gaps — use
code-simplifier.
Rule Categories by Priority
| # |
Category |
Prefix |
Impact |
Rules |
Gist |
| 1 |
Reinvention |
reinvent- |
CRITICAL |
5 |
You wrote what the platform/stdlib already provides |
| 2 |
Wrong Frame |
frame- |
CRITICAL |
5 |
Wrong abstraction shape — class where a function fits, manager nouns, OO over data |
| 3 |
Hidden Duplication |
dup- |
HIGH |
5 |
Semantic copies hiding behind syntactic differences |
| 4 |
Derived State Stored |
derive- |
HIGH |
5 |
Storing what should be computed |
| 5 |
Procedural Rebuilds |
proc- |
MEDIUM-HIGH |
5 |
Imperative reimplementation of declarative concepts |
| 6 |
Speculative Generality |
spec- |
MEDIUM |
5 |
Generality built for a second user who never arrived |
| 7 |
Defensive Excess |
defense- |
MEDIUM |
4 |
Checks for states the type/flow already rules out |
| 8 |
Type System Underuse |
types- |
LOW-MEDIUM |
6 |
Runtime guards that should be types |
Quick Reference
1. Reinvention (CRITICAL)
reinvent-stdlib-collection-ops — Reach for .map/.filter/.reduce before writing loops
reinvent-date-and-time — Stop hand-rolling date and time arithmetic
reinvent-deep-equality — Use a real deep-equal instead of hand-recursing objects
reinvent-explicit-state-machine — Surface a state machine instead of boolean flag juggling
reinvent-builtin-data-structures — Recognise when a custom container is just a Map, Set, or Queue
2. Wrong Frame (CRITICAL)
frame-function-not-class — Use a function when the class has no identity
frame-manager-noun-is-a-verb — Rename Manager/Helper/Util classes until the real verb appears
frame-composition-over-inheritance-for-shared-fields — Compose shared fields instead of inheriting
frame-data-over-procedure — Model the problem as data before writing procedure
frame-monolith-by-cohesive-axis — Split a god-function along its cohesive axis, not by line count
3. Hidden Duplication (HIGH)
dup-parallel-types-same-shape — Collapse parallel types that share a shape
dup-near-twin-functions — Parameterize two functions that differ by a literal
dup-mirrored-branches — Lift shared lines out of mirrored if/else branches
dup-config-not-copies — Replace many hardcoded copies with one table
dup-cross-layer-shape — Collapse identical DTOs, DB rows, and domain objects
4. Derived State Stored (HIGH)
derive-dont-store-computed — Compute what you can compute; store only what you can't
derive-single-source-of-truth — Pick one source of truth; derive the rest
derive-boolean-from-data — Derive booleans from the data, don't track them separately
derive-cache-as-getter-not-field — Turn cached fields into getters until profiling proves otherwise
derive-url-as-state — Let the URL or route be the state, not a mirror of it
5. Procedural Rebuilds (MEDIUM-HIGH)
proc-mutation-builder-over-pipeline — Compose pipelines when the mutation-builder hides the intent
proc-if-chain-as-lookup — Replace if/elif returning constants with a lookup table
proc-manual-recursion-of-walk — Use a recognised tree/object walk, not hand-coded recursion
proc-build-vs-declarative-template — Use the declarative form when the framework provides one
proc-sequential-awaits-could-be-parallel — Parallelise independent awaits
6. Speculative Generality (MEDIUM)
spec-interface-of-one — Avoid defining an interface for a single implementation
spec-options-bag-of-one — Avoid options bags where every caller passes the same values
spec-flag-driven-paths — Split a function that a boolean flag has made into two
spec-no-extension-point-without-extender — Delete extension points that have no second user
spec-generic-over-one-type — Drop the generic parameter when only one concrete type uses it
7. Defensive Excess (MEDIUM)
defense-guard-against-impossible — Stop guarding against states the type/flow already rules out
defense-validate-once-at-boundary — Validate once at the boundary, trust inside
defense-let-it-throw — Let exceptions propagate; don't catch what you can't handle
defense-null-pollution-from-bad-modelling — Fix the type that makes the null checks necessary
8. Type System Underuse (LOW-MEDIUM)
types-discriminated-union-over-flags — Use a discriminated union instead of optional fields + tags
types-literal-union-over-string — Narrow string down to a literal union when the set is closed
types-no-any-to-silence — Avoid reaching for any/as to silence a type error
types-branding-over-runtime-checks — Brand a validated value so you don't validate it twice
types-exhaustive-switch-not-default — Use exhaustiveness checks instead of a catch-all default
types-readonly-and-immutable-by-default — Mark data readonly until mutation is actually needed
How to Apply (Workflow)
When asked to review or refactor code with this skill:
- Run the mechanical pass first.
knip/eslint/ruff/tsc --noUnusedLocals will catch dead code, unused imports, style. Don't duplicate that work here.
- Read the file or PR for intent. Ask: what is this code trying to do? The judgment skill is recognising when the implementation overshoots the intent.
- Walk the categories in priority order.
- Start with Reinvention and Frame — the biggest wins live there.
- Then Duplication and Derived state.
- Then Procedural rebuilds and Speculative generality.
- Defensive and type-system issues last — they're high frequency but localised.
- Propose minimal-diff transformations. Each rule shows incorrect → correct as a tight diff; preserve that property in suggestions.
- Verify behaviour. Outputs, errors, and side effects must be identical. Tests must still pass.
- Don't bundle unrelated changes. Each transformation should map to one category. Mixing them makes the change hard to review.
When NOT to Apply
- Code is younger than the rule of three (one or two duplicates) — extracting is premature.
- The pattern is genuinely a known exception (see each rule's "When NOT to use this pattern" section).
- The refactor would be a large, risky rewrite without a clear test safety net — propose, don't execute.
- Performance-critical hot paths where the "simpler" form has measurable cost — measure first.
Reference Files
| File |
Description |
| references/_sections.md |
Category definitions and ordering |
| assets/templates/_template.md |
Template for new rules |
| metadata.json |
Version and reference information |
Related Skills
code-simplifier — Mechanical simplification (naming, dead code, nesting). Complementary first pass.
complexity-optimizer — Algorithmic/performance complexity. Different axis.
refactor — General-purpose refactoring workflow.
clean-code — Broader clean-code principles. This skill is the narrower, judgment-focused subset.
1---2name: same-results-less-code3description: Same behaviour in fewer, clearer lines — covers the judgment gaps that linters cannot catch (reinvention, wrong frame, hidden duplication, derived state, procedural rebuilds, speculative generality, defensive excess, type-system underuse). Trigger when reviewing, refactoring, or simplifying code — and even when the user doesn't explicitly ask for "simplification" but is reviewing code, refactoring, or asking "is there a shorter way to write this?". Complements knip/eslint/ruff/tsc by focusing on the conceptual modelling layer those tools cannot see.4---5# Community Refactoring Best Practices: Same Results, Less Code
6
7Code-review and refactoring guide focused on the parts of code volume that come from **judgment and modelling gaps** — wrong abstraction choices, hidden semantic duplication, defensive habits, premature generality. This skill deliberately skips what linters and tools like `knip`, `eslint`, `ruff`, `tsc --noUnusedLocals`, or formatters already catch. It is the second pass: after the mechanical cleanup, what remains?
8
9## Core Principles
10
111. **Preserve behaviour.** Every transformation must produce identical observable behaviour — same outputs, same errors, same side effects, same API surface.
122. **Earlier mistakes cascade.** A wrong frame multiplies into wrong shapes, which multiply into duplicate logic. Optimise from the top of the lifecycle.
133. **Explain why, not just what.** Each rule explains the cost of the anti-pattern so judgment can transfer to novel cases.
144. **Quantify where possible.** Prefer "eliminates N lines / prevents X bug class" over "cleaner."
155. **Don't over-refactor.** Rule of three: extract abstractions when duplication has actually appeared three times, not in anticipation.
16
17## When to Apply
18
19Use this skill when:
20
21- Reviewing a PR for "could this be simpler?" (the question linters can't answer)
22- Refactoring code that has grown in volume without growing in capability
23- Auditing a module that "feels heavy" — many flags, many layers, many checks
24- Onboarding to an unfamiliar codebase and trying to spot the parts that are accidental volume vs essential complexity
25- Designing a new module and wanting to avoid the common over-abstraction traps
26- Working alongside knip / eslint / ruff and wanting the layer of judgment those tools can't supply
27
28**Don't use this skill for:**
29
30- Mechanical cleanup that a linter or formatter already does (unused imports, dead exports, style) — use `knip`, `eslint`, `ruff`, or `prettier`/`black` instead.
31- Algorithmic complexity / performance tuning — use [`complexity-optimizer`](../complexity-optimizer/) for that.
32- General cleanup of recently modified code regardless of mental-model gaps — use [`code-simplifier`](../../.curated/code-simplifier/).
33
34## Rule Categories by Priority
35
36| # | Category | Prefix | Impact | Rules | Gist |
37|---|----------|--------|--------|-------|------|
38| 1 | Reinvention | `reinvent-` | CRITICAL | 5 | You wrote what the platform/stdlib already provides |
39| 2 | Wrong Frame | `frame-` | CRITICAL | 5 | Wrong abstraction shape — class where a function fits, manager nouns, OO over data |
40| 3 | Hidden Duplication | `dup-` | HIGH | 5 | Semantic copies hiding behind syntactic differences |
41| 4 | Derived State Stored | `derive-` | HIGH | 5 | Storing what should be computed |
42| 5 | Procedural Rebuilds | `proc-` | MEDIUM-HIGH | 5 | Imperative reimplementation of declarative concepts |
43| 6 | Speculative Generality | `spec-` | MEDIUM | 5 | Generality built for a second user who never arrived |
44| 7 | Defensive Excess | `defense-` | MEDIUM | 4 | Checks for states the type/flow already rules out |
45| 8 | Type System Underuse | `types-` | LOW-MEDIUM | 6 | Runtime guards that should be types |
46
47## Quick Reference
48
49### 1. Reinvention (CRITICAL)
50
51- [`reinvent-stdlib-collection-ops`](references/reinvent-stdlib-collection-ops.md) — Reach for `.map`/`.filter`/`.reduce` before writing loops
52- [`reinvent-date-and-time`](references/reinvent-date-and-time.md) — Stop hand-rolling date and time arithmetic
53- [`reinvent-deep-equality`](references/reinvent-deep-equality.md) — Use a real deep-equal instead of hand-recursing objects
54- [`reinvent-explicit-state-machine`](references/reinvent-explicit-state-machine.md) — Surface a state machine instead of boolean flag juggling
55- [`reinvent-builtin-data-structures`](references/reinvent-builtin-data-structures.md) — Recognise when a custom container is just a Map, Set, or Queue
56
57### 2. Wrong Frame (CRITICAL)
58
59- [`frame-function-not-class`](references/frame-function-not-class.md) — Use a function when the class has no identity
60- [`frame-manager-noun-is-a-verb`](references/frame-manager-noun-is-a-verb.md) — Rename Manager/Helper/Util classes until the real verb appears
61- [`frame-composition-over-inheritance-for-shared-fields`](references/frame-composition-over-inheritance-for-shared-fields.md) — Compose shared fields instead of inheriting
62- [`frame-data-over-procedure`](references/frame-data-over-procedure.md) — Model the problem as data before writing procedure
63- [`frame-monolith-by-cohesive-axis`](references/frame-monolith-by-cohesive-axis.md) — Split a god-function along its cohesive axis, not by line count
64
65### 3. Hidden Duplication (HIGH)
66
67- [`dup-parallel-types-same-shape`](references/dup-parallel-types-same-shape.md) — Collapse parallel types that share a shape
68- [`dup-near-twin-functions`](references/dup-near-twin-functions.md) — Parameterize two functions that differ by a literal
69- [`dup-mirrored-branches`](references/dup-mirrored-branches.md) — Lift shared lines out of mirrored if/else branches
70- [`dup-config-not-copies`](references/dup-config-not-copies.md) — Replace many hardcoded copies with one table
71- [`dup-cross-layer-shape`](references/dup-cross-layer-shape.md) — Collapse identical DTOs, DB rows, and domain objects
72
73### 4. Derived State Stored (HIGH)
74
75- [`derive-dont-store-computed`](references/derive-dont-store-computed.md) — Compute what you can compute; store only what you can't
76- [`derive-single-source-of-truth`](references/derive-single-source-of-truth.md) — Pick one source of truth; derive the rest
77- [`derive-boolean-from-data`](references/derive-boolean-from-data.md) — Derive booleans from the data, don't track them separately
78- [`derive-cache-as-getter-not-field`](references/derive-cache-as-getter-not-field.md) — Turn cached fields into getters until profiling proves otherwise
79- [`derive-url-as-state`](references/derive-url-as-state.md) — Let the URL or route be the state, not a mirror of it
80
81### 5. Procedural Rebuilds (MEDIUM-HIGH)
82
83- [`proc-mutation-builder-over-pipeline`](references/proc-mutation-builder-over-pipeline.md) — Compose pipelines when the mutation-builder hides the intent
84- [`proc-if-chain-as-lookup`](references/proc-if-chain-as-lookup.md) — Replace if/elif returning constants with a lookup table
85- [`proc-manual-recursion-of-walk`](references/proc-manual-recursion-of-walk.md) — Use a recognised tree/object walk, not hand-coded recursion
86- [`proc-build-vs-declarative-template`](references/proc-build-vs-declarative-template.md) — Use the declarative form when the framework provides one
87- [`proc-sequential-awaits-could-be-parallel`](references/proc-sequential-awaits-could-be-parallel.md) — Parallelise independent awaits
88
89### 6. Speculative Generality (MEDIUM)
90
91- [`spec-interface-of-one`](references/spec-interface-of-one.md) — Avoid defining an interface for a single implementation
92- [`spec-options-bag-of-one`](references/spec-options-bag-of-one.md) — Avoid options bags where every caller passes the same values
93- [`spec-flag-driven-paths`](references/spec-flag-driven-paths.md) — Split a function that a boolean flag has made into two
94- [`spec-no-extension-point-without-extender`](references/spec-no-extension-point-without-extender.md) — Delete extension points that have no second user
95- [`spec-generic-over-one-type`](references/spec-generic-over-one-type.md) — Drop the generic parameter when only one concrete type uses it
96
97### 7. Defensive Excess (MEDIUM)
98
99- [`defense-guard-against-impossible`](references/defense-guard-against-impossible.md) — Stop guarding against states the type/flow already rules out
100- [`defense-validate-once-at-boundary`](references/defense-validate-once-at-boundary.md) — Validate once at the boundary, trust inside
101- [`defense-let-it-throw`](references/defense-let-it-throw.md) — Let exceptions propagate; don't catch what you can't handle
102- [`defense-null-pollution-from-bad-modelling`](references/defense-null-pollution-from-bad-modelling.md) — Fix the type that makes the null checks necessary
103
104### 8. Type System Underuse (LOW-MEDIUM)
105
106- [`types-discriminated-union-over-flags`](references/types-discriminated-union-over-flags.md) — Use a discriminated union instead of optional fields + tags
107- [`types-literal-union-over-string`](references/types-literal-union-over-string.md) — Narrow `string` down to a literal union when the set is closed
108- [`types-no-any-to-silence`](references/types-no-any-to-silence.md) — Avoid reaching for `any`/`as` to silence a type error
109- [`types-branding-over-runtime-checks`](references/types-branding-over-runtime-checks.md) — Brand a validated value so you don't validate it twice
110- [`types-exhaustive-switch-not-default`](references/types-exhaustive-switch-not-default.md) — Use exhaustiveness checks instead of a catch-all default
111- [`types-readonly-and-immutable-by-default`](references/types-readonly-and-immutable-by-default.md) — Mark data `readonly` until mutation is actually needed
112
113## How to Apply (Workflow)
114
115When asked to review or refactor code with this skill:
116
1171. **Run the mechanical pass first.** `knip`/`eslint`/`ruff`/`tsc --noUnusedLocals` will catch dead code, unused imports, style. Don't duplicate that work here.
1182. **Read the file or PR for *intent*.** Ask: what is this code trying to do? The judgment skill is recognising when the implementation overshoots the intent.
1193. **Walk the categories in priority order.**
120 - Start with [Reinvention](references/reinvent-stdlib-collection-ops.md) and [Frame](references/frame-function-not-class.md) — the biggest wins live there.
121 - Then [Duplication](references/dup-parallel-types-same-shape.md) and [Derived state](references/derive-dont-store-computed.md).
122 - Then [Procedural rebuilds](references/proc-loop-to-collection-method.md) and [Speculative generality](references/spec-interface-of-one.md).
123 - Defensive and type-system issues last — they're high frequency but localised.
1244. **Propose minimal-diff transformations.** Each rule shows incorrect → correct as a tight diff; preserve that property in suggestions.
1255. **Verify behaviour.** Outputs, errors, and side effects must be identical. Tests must still pass.
1266. **Don't bundle unrelated changes.** Each transformation should map to one category. Mixing them makes the change hard to review.
127
128## When NOT to Apply
129
130- Code is younger than the rule of three (one or two duplicates) — extracting is premature.
131- The pattern is genuinely a known exception (see each rule's "When NOT to use this pattern" section).
132- The refactor would be a large, risky rewrite without a clear test safety net — propose, don't execute.
133- Performance-critical hot paths where the "simpler" form has measurable cost — measure first.
134
135## Reference Files
136
137| File | Description |
138|------|-------------|
139| [references/_sections.md](references/_sections.md) | Category definitions and ordering |
140| [assets/templates/_template.md](assets/templates/_template.md) | Template for new rules |
141| [metadata.json](metadata.json) | Version and reference information |
142
143## Related Skills
144
145- [`code-simplifier`](../../.curated/code-simplifier/) — Mechanical simplification (naming, dead code, nesting). Complementary first pass.
146- [`complexity-optimizer`](../complexity-optimizer/) — Algorithmic/performance complexity. Different axis.
147- [`refactor`](../refactor/) — General-purpose refactoring workflow.
148- [`clean-code`](../clean-code/) — Broader clean-code principles. This skill is the narrower, judgment-focused subset.