| id | knowledge-to-code-alignment |
| name | Knowledge-to-Code Alignment 新知識のコード反映・設計知識の保全 |
| description | リファクタリングを「更新されたチームの理解と、コードが表現する過去の理解の差分同期」と捉え、今回得た新知識(要求・ドメイン知識・制約)が naming と responsibility へ反映されているか、boundary が現在の understanding を表現しているか、diff の削除行やコメントに現れる過去の design history と constraint を失っていないかを diff-time で確認する。Knowledge Delta の signal は diff(追加/削除された hunk・コメント・ADR 参照)を一次情報とし、PR 本文が供給されるときは補助に用い、不確実なら question に留める。ドメイン用語の一貫性は ubiquitous-language-naming、集約/コンテキスト境界の設計判断は bounded-context-language、投機的抽象化・caller special-case は altitude-generalization、スコープ逸脱/前提破壊は fix-scope-integrity、振る舞い変更と構造変更の分離は behavior-structure-separation、完了主張の反証は refactor-claim-audit へ委譲する |
| version | 0.1.0 |
| category | midstream |
| phase | midstream |
| applyTo | ["src/**/*.{ts,tsx,js,jsx,mjs}","app/**/*.{ts,tsx,js,jsx,mjs}","lib/**/*.{ts,tsx,js,jsx,mjs}"] |
| tags | ["knowledge-to-code","knowledge-delta","refactoring","naming","responsibility","design-history","midstream"] |
| severity | minor |
| inputContext | ["diff"] |
| outputKind | ["findings","questions"] |
| modelHint | high-accuracy |
| dependencies | ["code_search","adr_lookup"] |
Origin / 由来
inspired by:
上記は観測された考え方の紹介であり、本文の転載・著者による endorsement を含まない(nominative fair use)。命名は skills/README.md Naming に従い value を表す新規名として付与した。
Pattern declaration
Primary pattern: Reviewer
Secondary patterns: Inversion
Why: 新知識のコード反映と設計知識の保全は意味的判断が主だが、Knowledge Delta(比較基準)が discover できない差分では実行を止めるゲートが必要。
Goal / 目的
リファクタリング・機能変更の diff に対し、次を diff-time で確認する。テストが通るだけでは見つからない「設計知識の消失」と「古い理解の残存」を検出する。
- 新知識の反映: 今回新しく得た要求・ドメイン知識・制約(Knowledge Delta)が、命名(naming)と責務(responsibility)へ反映されているか。
- 境界の表現: モジュール/関数の境界(boundary)が、古い理解ではなく現在の understanding を表現しているか。意図がコメントだけで補足され、コード構造へ反映されていない状態になっていないか。
- 設計知識の保全: ADR・過去 PR・コメントに残る過去の design history(設計判断・制約・例外・運用知識)を、今回の変更で失っていないか。
report-only。finding/question のみを出力し、自動修正・自動マージはしない。
Non-goals / 扱わないこと(委譲表)
- ドメイン用語の一貫性: 同一概念の別名・別概念の同名という命名ドリフトは
ubiquitous-language-naming が担う。本 skill は用語の一貫性ではなく、新知識が命名・責務へ反映されたか(Knowledge Delta の反映)を見る。
- 集約・コンテキスト境界の設計判断: 境界づけられたコンテキスト・集約境界の妥当性は
bounded-context-language が artifact ベースで担う。本 skill は diff 上の関数/モジュール境界が現在の理解を表現するかに集中する。
- 投機的抽象化・caller special-case: 将来予測に基づく過剰抽象化・共有基盤への継ぎ接ぎは
altitude-generalization が担う。本 skill は「新知識の反映不足」「設計知識の消失」を見る。
- スコープ逸脱・前提破壊: 指摘対応ループでのスコープ creep・成立済み前提の破壊は
fix-scope-integrity が担う。
- 振る舞い変更と構造変更の分離: 外部挙動維持・振る舞い/構造変更の混在判定は
behavior-structure-separation(sibling)が担う。本 skill は挙動ではなく知識の反映・保全を見る。
- 完了主張の反証: 「全部置換した」「-N%削減」等の完了主張の grep 反証は
refactor-claim-audit が担う。
Pre-execution Gate / 実行前ゲート
このスキルは以下の条件がすべて満たされない限り NO_REVIEW を返す。