仕様駆動開発で起こる「仕様とコードのズレ」をハッシュで決定的に検出するツールを作った

はじめに 仕様・ドキュメント・コード・テストの乖離 (ドリフト) を検出する CLI ツール「artgraph」を作りました。仕様駆動開発 (以後、SDD) を進めていると起こる「コードが変わったのに仕様書が古いまま」、「仕様を変えたのに実装が置き去り」を、LLM に頑張って見つけさせるのではなく、決定的な仕組みで検出します。 仕組みの中心は、Spec Kit や Kiro が仕様書に振るFR-001、### Requirement 1のような要求 ID です。artgraph はこの ID を実装コードやテストの側にもタグとして書き込んで 4 層を紐づけ、それぞれの本文をハッシュで管理します。たとえば仕様書に次の 1 行があるとします。

[short_tanu]

決定的に検出したいならTDDで良いのでは？

[crimson_diamond]

なぜ、コーディングのコストが桁違いに小さくなったのに従前の仕様書のままの運用なのか、書類を揃えないと安心できない官僚制なのか

[thorthewind]

仕様書駆動開発ってワンショットの仕様書でやるから仕様とコードなんかズレようがないと思うんだけど、わいの知ってる仕様書駆動開発とは別物のようだ

[kagerouttepaso]

TDDでAIがテストを書いたら誰が要求を満たした事を証明するのかって話でしょ?とはいえ、SDDで怖いのは仕様同士の矛盾や優先順位の認識ズレなのでなので、そこをカバーできないと痛みは無くならないと思う。

[queeuq]

AIそのまま感すごかったので真面目に読んでないが、コードはほぼ自動生成してる以上、今後もブラックボックス化が進むと思うのでテスト側と仕様書を紐づけたほうがまだ筋が良いように思う。

[korilog]

ちゃんと読んでないけどFR-001とかのIDってユニークにできるの？

[komutan1]

仕様駆動開発のつらみは仕様とコードのズレではなくて、AIに指示するためにドキュメントが詳細設計レベルになってしまうことなんだよな。最終的にこのドキュメント必要？ってなる。

[ys0000]

SDDとTDDは両方やった方がいいのだと思うが、SDDを元にテストも自動生成してると仕様書がマスターになる。テストは極力動かさない方がいいが。

[snow8-yuki]

「仕様書がコードそのものになるくらい肥大化する」は、自然言語でコードを書いてると言えて、ブラックボックスじゃなく制御したいというニーズには合うのかな。実質的には柔軟な「なでしこ」

[hathewy]

あとで詳しく見る。紐づけは分かったが、ズレ自体をどのように検知するのか

[pmint]

チェックリストを面倒くさくした程度。バイブコーダーの浅知恵。

[koseki]

よさそうー

[taguch1]

ついこういったツールで人間がコードを書く感覚でボトルネックや問題点が頭に浮かんでオールドタイプを実感する。開発スタイルで問題点が大分違うよなぁ。

[simplememofast]

肝は検証をLLMでなく決定的CLIに任せ、Stop Hookのexitコードでループに挟んだ点。エージェントが自分の出力を自分で採点して通す構図を断てるのが、4層統合以上に効く

[mr_mayama]

Ctx消費しないし更新が決定論的。応用すれば何にでも使えそう。専用のルールをAgentに強いるのがめんどいぐらいで、メンテが雑なことが予見されてるプロジェクトでは良さそう。考え方だけもらおうかな

[FreeCatWork]

ズレを見つけるなんてお利口さんだにゃ！ボクの毛玉の絡まりも直してほしいにゃ。

[strawberryhunter]

関数レベルの変更を検出するツール。仕様というか、入出力や振る舞いの詳細設計と関連付けるようだ。仕様と言うには詳細すぎるし、ハッシュは手段なので、本筋には関係が無い。／うまく機能する気がしないが。

[ka-ka_xyz]

「複数のドキュメントの整合性が維持できない」は割と現実的に感じてる痛みではあるが……関数単位の仕様についてはjsdocとかで困らないのだよな。ズレが出るのはより上の文書

[MtAsuka]

SDDを理解できてないから的外れかもしれないけど、仕様とコードのズレって構成管理の仕組みで担保するものじゃないのか

[hogetax]

この辺、バランスが難しいよね...どんどんエージェントのskillが進化するから自前実装を躊躇してしまう...

[dowson]

長期間続けているうちにごちゃごちゃになったりしないだろうか

[nWY2RhxQPXKQloX3z]

例の validatePassword が void or 例外投げる という部分が興味深い

[otihateten3510]

そうだね　バージョン＋ハッシュでも良さそう

[nguyen-oi]

LLMの気まぐれに頼らず、IDとハッシュで仕様と実装のズレを決定的に検知するのアプローチとして凄く良い

[pure_luca]

こういうのが切実にほしい。