Communitygithub.com

system-reverse-engineer

証拠に基づいたリバースエンジニアリングエージェントと、GitHub Copilot向けスキルです。

system-reverse-engineer とは?

このスキルは、設計成果物(TDD、詳細設計、検証レポートなど)から実装タスク(WBS)を系統的に導出するための決定的なフレームワークを提供します。主な目的は、「何を実装するか」を明確に定義することであり、工数見積もりではありません。検証済みの設計決定のみからタスクを導出し、曖昧なリファクタリングや承認されていないアーキテクチャ変更を防ぎます。各タスクにはWBS-001のような安定したIDが割り当てられ、一次成果物が参照する設計成果物の責任範囲と意味的に一致していることが厳密に要求されます(セマンティック・アイデンティティ)。WBSテーブル、依存関係DAG、検証マッピング、トレーサビリティマトリックスが完備され、最終的にはWBSゲートを通じて設計と実装の一貫性が100%チェックされます。設計上のギャップが検出された場合はWBS_BLOCKED_DESIGN_GAPとして報告され、無理なマッピングは許可されません。このスキルはGitHub Copilot上で動作し、設計成果物とコードベースを入力として利用します。

対応~Claude Code~Codex CLI~Cursor
npx skills add tuana-vn/system-reverse-engineer

お気に入りのAIに質問する

このエージェントスキルを事前に読み込んだ状態で新しいチャットを開きます。

ドキュメント

実装WBS生成

目的

WBSは「何を実装するか」を定義するものであり、工数見積もりではありません。

TDDの散文から直接汎用的なタスクに飛び降りてはいけません。

入力には検証済みの詳細設計が含まれている必要があります。

要件
→ ギャップ
→ TDD
→ 設計成果物
→ 検証済み詳細設計
→ WBSタスク
→ 検証

入力

  • 権威ある要件
  • 検証済みギャップ分析
  • 検証済みTDD
  • 設計成果物レジストリ
  • すべての DD_VERIFIED 詳細設計
  • 詳細設計検証レポート
  • 利用可能な場合はテスト設計
  • 現在のリポジトリ

1. タスク導出

検証済みの設計決定のみからタスクを導出します。

タスクカテゴリ:

  • プロダクションコード
  • API/契約
  • 統合
  • データ/永続化
  • 設定
  • 移行/互換性
  • テスト
  • ビルド/デプロイ
  • ドキュメント
  • 承認された設計で必要な場合のみクリーンアップ

「あると便利」なリファクタリングは追加しないでください。

2. タスクの粒度

タスクは以下の条件を満たすのに十分に小さい必要があります:

  • 明確な成果物が1つ
  • 具体的なソース/設計アンカー
  • 明示的な依存関係
  • 検証可能な完了基準

ただし、機械的な編集を数十の意味のないマイクロタスクに分割してはいけません。

3. 安定したID

以下を使用します:

WBS-001, WBS-002, ...

3A. WBS ↔ 設計の意味的同一性

トレーサビリティは、WBS行に既存の成果物IDが含まれているだけでは満たされません。

WBSタスクごとに、その一次実装成果物を特定し、参照された設計成果物がその成果物を所有していることを証明します。

必須の意味的チェーン:

WBSタスクのタイトル / 目的 / 一次成果物
↔ レジストリ成果物名 + 責任範囲
↔ 検証済みDDが所有する実装ユニット
↔ TDD設計決定

ルール:

  1. 成果物IDへの参照は必要ですが十分ではありません。
  2. 型/クラス/インターフェースがDDで単に言及、インポート、参照、リンクされていても、その成果物がその実装ユニットを所有していることの証明にはなりません。
  3. WBSタスクの一次成果物が従属型である場合、次のいずれかが真でなければなりません:
    • レジストリ/DDがその従属型を所有成果物のスコープ内で明示的に宣言している、または
    • 設計成果物の分解を改訂して、それを個別に追跡する必要があります。
  4. コンポーネント/型Aを対象とするタスクのタイトルを、登録された責任範囲がコンポーネント/型Bである成果物にマッピングしないでください。ただし、成果物が明示的にAを所有している場合を除きます。
  5. 意味的な所有権が証明できない場合は、WBS_BLOCKED_DESIGN_GAP で停止してください。近くのTDD散文からマッピングを作り出してはいけません。

WBSを出力する前に、内部/公開の一貫性テーブルを作成します:

WBS ID一次成果物参照された成果物IDレジストリの責任範囲DDが所有するユニット意味的一致?証拠

必要な閾値:

WBS ↔ 成果物の意味的同一性 = 100%

4. WBSテーブル

WBS ID設計成果物IDタスク既存のソースアンカー / 提案された場所変更種別依存関係要件IDTDD/DD参照検証完了基準

変更種別:

  • ADD
  • MODIFY
  • REMOVE
  • CONFIGURE
  • MIGRATE
  • TEST
  • DOCUMENT
  • VERIFY

5. 依存関係DAG

成果物の依存関係とコード/実行時の依存関係から実装順序を導出します。

作成:

WBS ID依存先依存理由ハード/ソフト

循環依存を検出します。

ファイルの順序だけから順序をでっち上げてはいけません。

6. 検証マッピング

コードを変更するすべてのタスクには検証パスが必要です。

以下にマッピングします:

  • 更新する既存のテスト
  • 新しいテストID/視点
  • ソース/ビルド検証
  • ランタイム/統合検証
  • 自動化が不可能な場合のみ手動検証

7. トレーサビリティ

作成:

要件IDギャップIDTDD決定ID成果物IDDDWBS IDテスト/検証IDカバレッジ

検証済みの設計成果物を孤立させてはいけません。

8. WBSゲート

WBS_READY_FOR_VERIFICATION の前に:

[ ] すべての DD_VERIFIED 成果物に実装/検証タスクのカバレッジがある
[ ] すべての WBS タスクが検証済み設計にマッピングされている
[ ] すべての WBS タスクの一次成果物が、参照された成果物の責任範囲/所有ユニットと意味的に一致している
[ ] 単に言及されたDD/TDDシンボルを成果物所有の証明として使用しているタスクがない
[ ] ソースアンカー/提案された場所が具体的である
[ ] 依存関係が明示的である
[ ] コード変更タスクに完了基準と検証がある
[ ] 必要な場合に設定/移行/ドキュメント/テスト作業が含まれている
[ ] 承認されていないアーキテクチャ/リファクタリングが追加されていない
[ ] タスク内に HIGH/CRITICAL ソースギャップが隠されていない

ステータス:

  • WBS_READY_FOR_VERIFICATION
  • WBS_BLOCKED_DESIGN_GAP
  • WBS_BLOCKED_SOURCE_GAP

重要

このスキルでは時間/日数/ストーリーポイントを見積もらないでください。 工数見積もりは別の関心事です。

関連スキル